智能知识生产模式的本质特征和社会驱动

随着人工智能的广泛应用,一种新的智能知识生产模式正在浮现。与两种传统的知识生产模式比较,这种新生产模式有弥散、多元的特征。冯·诺伊曼关于人脑语言和计算机语言具有不同逻辑深度和计算深度的观察可以成为理解这种生产模式特点的钥匙。从科学知识社会学的分析视角看,智能知识生产模式的产出内容和组织方式易受社会因素影响,其智能特征更敏感于社会政治经济等驱动因素,因而也更需要引入科学的公共决策程序来加以约束。

二维非递归的低成本FIR滤波器设计方法

为降低有限冲激响应(Finite impulse response,FIR)数字滤波器的成本,提升可综合性,提出了一种基于系数矩阵的二维非递归优化算法,并进行了仿真.首先,对现有的数字滤波器优化算法进行了调研,比较了各优化算法的优势和不足;然后,对现有的一维非递归算法进行优化,提取一维非递归算法优化后的冗余项,得到了二维非递归优化算法,并分析了算法的复杂度;最后,生成多组滤波器分别对本算法与一维非递归算法,以及本算法和现有递归算法进行仿真和对比.仿真结果表明:提出的二维非递归FIR滤波器设计方法充分利用了系数矩阵的冗余信息,保留了现有算法的最小逻辑深度特性,同时可以进一步节省中间加法器个数;相比于现有的一维非递归算法,本算法可节省10.05%(12 bit量化)和7.21%(16 bit量化)的加法器个数;在低阶滤波器的设计中,加法器使用量降低到了传统CSD表示法的30%左右,从逻辑深度和加法器个数两方面都超越了已发表的递归和非递归滤波器设计方法.

功能覆盖率驱动的自适应遗传算法验证技术

根据不同功能测试点在芯片代码中的逻辑深度与相应测试向量覆盖到的测试点多少的关系,对不同测试点设置了相应的权重,提出一种基于自适应遗传算法的激励向量生成方法。实验结果表明,该方法能减少编写约束文件时间,较快自动搜索有针对性的测试激励,提高芯片功能验证的可靠性和仿真效率。

基于形式语言学的“别以为……就……”分析

基于形式语义学、语用学理论从底层的逻辑语义开始,分析"别以为……就……"的逻辑语义结构进而归纳其语言化意义,这一意义是以底层的逻辑语义为基础在表达层面被激活的,是逻辑语义和语言化共同促动的结果。文章还用形式化手段描写了该结构式的语义生成规则,结合话语意义的建构及形式语用学理论提出"别以为……就……"语义的逻辑识解及深度关联假设,并建立了语义理解的缺省逻辑方案。

有关种子萌发的教学实践与思考

作物学是海南大学“双一流”建设学科,农学专业是作物学一流学科对应的本科专业。《种子学》是农学专业的核心课程与骨干课程。为契合海南大学一流学科建设,总结出《种子学》课程教学中剖析基本概念与理论的方法。以种子的萌发为例,分别从种子萌发的概念、吸胀伤害与吸胀冷害、光照与种子萌发等方面探讨培养大学生的探究能力和逻辑思维能力的具体措施。

论负命题推理条件句的语义实现

以往的复句研究忽视了自然语句的推理结构,对条件句的考察有失偏颇。讨论以负命题推理为基础的汉语条件句及相关句族的语义实现,指出该类句族范畴的语义是个整体,其意义是以底层的逻辑语义为基础在语言的表达层面被激活的,是逻辑语义和语言化共同促动的结果。研究运用缺省推理解释负命题推理范畴的语义理解,属于复句研究的新尝试。