从两种变项及其差异看两种逻辑的本质

从传统逻辑变项的特征看,传统逻辑语言是自然语言的语法语言,所以传统逻辑本质上是自然语言的形式逻辑。传统逻辑只注重对自然语言的语法分析,而忽视对自然语言的语义分析,这就不能不产生其所特有的缺陷:一是拘泥于自然语言命题的表层形式,二是命题形式的语义不清。从数理逻辑变项的特征看,数理逻辑语言只是表意符号语言,而不是自然语言的语法语言,所以数理逻辑本质上只是符号逻辑,而不是自然语言的形式逻辑:首先,数理逻辑最多只能用来解释自然语言的逻辑涵义,而不能用来解释自然语言的形式结构;其次,即使是对自然语言作语义解释,数理逻辑也是难以胜任的。     

性能优异的稳定子码的设计

根据量子纠错码的性能界限对[[8,3,3]]码的性能进行分析,指出其强大的编码能力及其优异的性能。运用群的理论及稳定子码的基本原理构造了该码的稳定子生成元,计算出了其全部的稳定子并构造出其逻辑算子。在此基础上设计了该编码的基本码字,即编码子空间的一组正交基。     

ERwin在智能考试系统中的应用

介绍了ERwin的特点，以一个具体的实例应用阐述了如何使用ERwin在数据库设计阶段建立逻辑模型和物理模型，并用物理模型在数据库服务器上产生模型实例等技术问题，并给出了使用ERwin建立的智能考试系统的逻辑模型和物理模型．对于想高效、快速建立实体一关系(DR)模型的数据库应用程序的开发者来说，有一定的参考价值和借鉴意义．     

基于混沌映射的PSO及其在图像分割中的应用

目的提出了一种基于混沌映射的粒子群优化算法。方法一方面,应用逻辑自映射函数初始化均匀分布的粒群以提高初始解的质量;另一方面,根据群体早熟收敛的判断机制,在算法进化过程中引入局部变异机制和局部重新初始化粒群的方法以有效避免算法陷入局部收敛的缺点。结果该算法应用在基准测试函数优化中能有效提高全局寻优的性能,且稳定性好;应用在图像分割中取得了与遗传算法同样好的分割效果。结论提出的算法具有有效性和实用性,可用于求解高维复杂函数以及工程优化问题。     

基于FPGA的汉字点阵显示系统设计

利用可编程逻辑器件设计了一个16×16的LED点阵显示系统,通过设计VHDL程序从EEPROM(AT28C64)中取出相应的汉字代码,经过FPGA处理后,送给LED点阵显示,在相应电路控制下,能够变换不同的汉字。具有广泛的应用价值。     

角向偏振光束大数值孔径透镜聚焦的偏振开关现象

利用Richards-Wolf矢量衍射积分模型,推导双环角向偏振光束经过环状高数值孔径透镜聚焦后聚焦区域的偏振特性,并用数值计算分析各相关参数的取值变化对焦面光斑的偏振分布的影响.研究表明:双环角向偏振光束经过环状高数值孔径透镜聚焦以后,其光斑内环的偏振方向发生改变;通过控制各相关参数的取值,可以控制聚焦光斑的偏振分布,形成一种可控的偏振开关.     

基于通用串行总线的测井脉冲采集电路研究

设计了一种基于通用串行总线（USB）技术的测井脉冲信号采集系统。该系统用深度子系统驱动测井脉冲的采集，并配备了PCM遥测信号接口。系统设计包括硬件设计、单片机固件设计以及设备驱动程序和用户应用程序设计。硬件设计中用复杂可编程逻辑器件完成对脉冲采集过程中脉冲放大倍数和峰值保持电路电容充放电的控制，并检测出PCM遥测信号的同步帧，同时进行遥测数据的串并转换，节省了单片机资源。单片机控制测井脉冲采集的整个过程，并实现USB通信，在主机请求数据时发送数据。系统在实验室调试成功，数据传输速率达到300kb／s，控制逻辑灵活，可扩展升级。     

一种基于反射镜的2×2机械式光开关

研制出一种基于反射镜的 2× 2机械式光开关 ,介绍了该器件的结构、原理及影响重复性的因素 ,该器件采用两个双光纤准直器对光路进行耦合 ,利用继电器带动反射镜工作 ,能够灵活地改变光路 .该器件主要用于光交叉连接和光路信号上下载中 ,实验和测量结果表明具有插损低、可靠性好的特点 ,应用前景极其广泛 .     

线性时序逻辑转换Büchi自动机的按需即时算法

将线性时序逻辑公式转换成Büchi自动机是显式模型检测中的关键环节,Tableau规则是常用转换算法。该文提出了基于Tableau规则的改进算法,将线性时序逻辑公式转换成基于迁移的Büchi自动机。通过在状态和迁移中加入∪公式的满足信息,实现了用一个接受条件集合判断执行序列是否可接受,避免了使用多个接受条件集合进行判断。改进算法引入了按需即时(on-the-fly)去扩展化机制,算法展开状态节点的同时进行状态有效性检测,删除无效节点,合并等价状态和迁移,避免了后置化简。与其他转换工具进行比较实验表明,该算法具有执行速度快、生成自动机的状态数和迁移数少的特征。     

简易逻辑分析仪的设计与实现

该文介绍了一种基于AT89S51单片机的简易逻辑分析仪的设计方案、系统功能、软硬件电路的设计方法,并对系统性能进行测试与分析结果表明,该分析仪稳定、清晰的显示了波形。