• 2024-07-19离散数学——2.命题逻辑公式语法和语义
    命题逻辑公式语法和语义命题逻辑基本概念命题及其真值对事物性质或关系进行判断,有真假值的陈述句非陈述句(感叹句、疑问句、祈使句)不是命题带变量的句子、认为是悖论的句子,没有真假值,不是命题命题的真值包含两个值,一个为真(true),一个为假(false)使用0或F表示假,1或T表
  • 2024-03-29(未完成)离散数学
    命题具有唯一真值的陈述句,具有客观性质。任何疑问句、祈使句、感叹句、有歧义的陈述句不属于命题。真值为“真”的命题是真命题,真值为“假”的命题是假命题。命题的分类:原子命题:不可再分解的命题(用大写英文字母P,Q,R……表示<可以有下标>)。复合命题:可再分解的命题,由原子命
  • 2024-01-29【离散数学】第一章 命题逻辑
    第一章命题逻辑真值"地球是行星"这句话(命题)是正确的,我们称它的真值为真,通常记作T或者1;这句话也被称作真命题。"2是无理数"这句话(命题)是错误的的,我们称它的真值为假,通常记作F或者0;这句话也被称作假命题。1.命题的真值一定是唯一的;如果一句话不确定真假或者有时候真有时候假,那这句话
  • 2023-12-15命题
    1.命题的概念命题是指具有唯一真值的陈述句例题\(1+101=110\)这个式子在十进制是假的,在二进制下是真的,不符合命题有唯一真值全体立正!祈使句,不符合命题是陈述句别的星球有生物。虽然我们并不知道这句话是真是假,但它的真值是客观存在的,具有唯一真值。不以我们的
  • 2023-11-152023全球智能汽车AI挑战赛——赛道二:智能驾驶汽车虚拟仿真视频数据理解赛道
    赛题:智能驾驶汽车虚拟仿真视频数据理解赛道任务:输入:元宇宙仿真平台生成的前视摄像头虚拟视频数据(8-10秒左右);输出:对视频中的信息进行综合理解,以指定的json文件格式,按照数据说明中的关键词(key)填充描述型的文本信息(value,中文/英文均可以)初赛提交格式:{"author":"abc","time":"YY
  • 2023-11-10离散数学 第一章 命题逻辑 1-2 联结词
    在自然语言中,常常使用“或”,“与”,“但是”等一些联结词,对于这种联结词的使用,一般没有很严格的定义,因此有时显得不很确切。在数理逻辑中,复合命题是由原子命题与逻辑联结词组合而成,联结词是复合命题中的重要组成部分,为了便于书写和进行推演,必须对联结词作出明确规定并符号化。下面介
  • 2023-11-10离散数学 第一章 命题逻辑 1-1 命题及其表示法
    在数理逻辑中,为了表达概念,陈述理论和规则,常常需要应用语言进行描述,但是日常使用的自然语言进行描述,往往叙述时不够确切,也易产生二义性,因此就需要引入一种目标语言,这种目标语言和一些公式符号,就形成了数理逻辑的形式符号体系。所谓目标语言就是表达判断的一些语言的汇集,而判断就是对
  • 2023-11-101PL模拟研究代码片段
    模拟研究模拟研究是教育测量研究中常见的组成部分,也是重要组成部分。其目的在于说明在模拟情况为真的情况下,模型的统计性能如何。我们可以根据我们的理论假设来设定或者调整数据生成的过程,由此探讨在不同条件下模型的统计性能如何。此外,模拟研究还有以下优势a)可以操纵多个条
  • 2023-09-10个人的一种简单一阶逻辑命题真值判定代数化方法与罗素的一些悖论的杂谈
    0.逻辑哲学相对于数学哲学来说可能更让人难绷,但既然归入哲学,意味着讨论这玩意儿也就图一乐,大家看着玩就好。显然可能有人以前也有过和我类似的一些想法,而且可能还不少。但是因为毕竟算不上什么主流,所以写出来也大概率会有一部分人没想到过。那么这篇文字对于读者的娱乐性就达到
  • 2023-09-05形式化建模与分析方法-笔记
    第五章命题逻辑定义定义3-1对事物作出确定判断的陈述句称为命题。当符号P表示一个确定命题时,该符号称为命题常元。当符号P表示任意一个命题时,该符号称为命题变元。原子命题:原子命题是不能再细分的命题复合命题:原子命题通过命题联结词构造的命题。(命题联结词:非合取
  • 2023-07-26点云叠帧_可视化的要求—真值的叠帧
    雷达Fussion传感器包括可见光相机,激光雷达和毫米波雷达Feature-levelFusion(特征层融合)、Data-levelFusion(数据层融合)和Decision-levelFusion(决策层融合)时序对齐-坐标统一(时间和空间)radarlidarlaser一般指激光camera角分辨率-测距距离-array-Radar相阵
  • 2023-07-06走近高德驾车ETA(预估到达时间)
    1.什么是驾车ETA临近节假,长途自驾返乡的你是否曾为无法预知路上到底有多堵而纠结?通勤上班,作为有车一族的你是否在为路况变幻莫测的早晚高峰而烦恼?外出旅行,赶火车、赶飞机的你是否还在为担心错过班次而焦虑?不要慌,高德的驾车ETA帮你预知未来路况,让每个用户轻松成为“时间管理大师
  • 2023-06-13二进制下的补码、反码、原码——适用于有符号整数
    简单定义简单起见,我们这里只考虑三位二进制数所能表示的范围,即${-4,-3,-2,-1,0,\1,\2,\3}$。机器数和真值一个数在计算机中的二进制表现形式,就是这个数的机器数(相当于数的原码)。例如,$-3$的机器数即为$111$,$2$的机器数为$010$。机器数在考虑最高位为符号位的情况下
  • 2023-06-05布尔代数 [计算机数学专题(8)]
    简介      布尔代数又称逻辑代数,是与计算机最紧密的一个数学分支。   布尔代数建立于俩个逻辑值和三个运算符,是计算机二进制、开关逻辑元件、逻辑电路的设计基础。      俩个逻辑值:真、假,(1、0)。      三个运算符:与、或、非,( )。历史  
  • 2023-05-31计算机组成原理—运算方式
    计算机组成原理—中央处理器(1)四、计算机的运行方式1.有符号数和无符号数计算机的数均存在寄存器中,通常称寄存器的位数为机器字长1.1无符号数没有表示符号的数,每一位均可存放数值。eg:若机器字长16位,则可表示无符号数的范围为0-65535(2^16-1)1.2有符号数符号的“+”、“-
  • 2023-05-07第2章-数据的表示和运算
    2.3浮点数的表示和运算1.浮点数尾数的表示1.阶码(E):反映数值大小;反映浮点数的表示范围及小数点的实际位置;常用补码或移码表示的定点整数;2.尾数(M):反映精度;常用原码或补码表示的定点小数浮点数的真值:N=R^E×M,阶码的底(称为基数)R通常为2例:若阶码和尾数均用补码表示,求a,b的真
  • 2023-02-255.6.2_IEEE754
    @目录一、引子二、移码(1)移码与补码(2)移码本身1.-1272.-33.偏置值普通情况特殊情况三、IEEE754标准(1)格式(2)类型1.短浮点数2.double型(3)案例1.案例一2.案例二(4)范围1.单精度2.双
  • 2023-02-215.4_C语言类型转换
    @目录一、案例一二、案例二三、案例三四、总结这个小结我们要探讨一个相对来说简单的问题,就是c语言里边的那些定点整数是如何进行强制类型转换的。一、案例一来看这样
  • 2023-02-085.1.6_移码
    在这个小节中,我们要学习带符号整数的最后一种编码方式,叫做移码。怎么得到移码?很简单,在补码的基础上,符号位取反就可以得到移码。正19和负19的原反补码分别是这么表
  • 2023-02-075.1.5_原反补码的特性对比
    这一小节中,我们要学习原码、反码、补码3种码的特性对比,需要注意这样的几个维度。一会我们会来分别探讨,这是小题当中很常见的考点哈。这个小节的内容不难,也不多,我们只需
  • 2023-02-03机器学习——逻辑回归
    回归的含义——用观察使得认知接近真值的过程,回归本源。​在我们认知(测量)这个世界的时候,我们并不能得到这个世界的全部信息(真值),只能得到这个世界展现出的可被我们观测的部
  • 2023-01-25Python入门之真值表达式
    """真值表达式if数据:语句本质就是使用bool函数操作数据条件表达式"""#1.真值表达式if"a":#ifbool("a"):print("真
  • 2022-12-20统计方法
    R2  分子为(真值i-预测值i)2,分母为(真值i-真值均值)2
  • 2022-12-14各种 IoU 损失变体
    各种IoU损失变体IoU损失及其各种变体已经在密集预测任务中展现出了优异的效果。这里做一个简单的罗列与梳理。IoUIoULoss论文:​​UnitBox:AnAdvancedObjectDetection
  • 2022-11-25原码、补码、反码的表示及计算
    今天简单总结了一下计算机的原码、补码、反码的表示,谨以此文缅怀教过我数字逻辑电路课程以及计算机组成原理课程的老师。一个数在计算机中的二进制表示形式我们称之为机器