以逻辑分析仪为主的自动测试系统

智能逻辑分析仪ＳｏｎｙＴｅｋｔｒｏｎｉｘ３１８带有标准ＲＳ－２３２接口，具有完备的远控指令集，本文以逻辑定时分析，实现最佳采样频率的自动选择为例，介绍该逻辑分析仪的可程控特性及经它为主组建的自动测试系统。     

基于模糊逻辑系统的武器系统故障诊断研究

复杂的大型武器系统中广泛存在着模糊问题 ,某些故障与征兆之间的关系更具有模糊性。理论和实践表明 ,用模糊数学的方法处理这类模糊问题具有明显的优势 ,而模糊逻辑则是模糊数学的重要方法。首先讨论了一般的模糊逻辑系统模型 ,研究了基于模糊逻辑系统的故障诊断方法 ,并结合故障诊断问题 ,建立了基于模糊逻辑系统的大型武器系统故障诊断模型 ,对诊断过程和结果进行了分析     

完全多值逻辑函数的完备性理论(英文)

多值逻辑的研究是计算机科学技术中的一个十分重要的领域,它与未来计算机密切相关。国际上技术先进的国家如美国、苏联、日本、加拿大等都十分重视。自1971年以来每年召开一次国际会议,完全多值逻辑函数的完备性理论自四十年代起始终是多值逻辑中引入注目的,活跃的课题之一。本文总结了近代的发展情况和主要的新成果,并对仅有中文的结论以简要的证明。     

混合系统建模、分析与综合:研究进展与展望

包含离散事件和连续时间两种特征的混合系统的研究受到关注 .对混合系统研究成果按照其更强调连续动态抑或离散动态的复杂性 ,从两条不同的研究路线阐述了在混合系统建模、分析与综合领域的研究进展 ,指出了其中的难点问题 ,并对今后的研究作了展望.     

柯尔莫哥洛夫:复杂性研究的逻辑建构过程评述

本文试图理清柯尔莫哥洛夫关于直觉主义逻辑、信息论、概率论的批判与建构的逻辑发展脉络；把柯尔莫哥洛夫“复杂性”概念置于逻辑发展过程中理解并阐明其出现的逻辑必然性。     

一类非线性系统的模型参考自适应模糊控制

针对一类不确定非线性系统 ,基于一种修改的监督控制方案并利用广义多线性模糊逻辑系统的逼近能力 ,提出了一种模型参考自适应模糊控制器设计的新方案。该方案利用参考模型作为性能指标 ,自适应调节模糊控制器的规则库 ,并通过引入最优逼近误差的自适应补偿项来消除建模误差的影响 ,不但能保证闭环系统稳定 ,而且可使跟踪误差收敛到零。仿真结果表明了该方法的有效性     

太钢七轧厂新横切机组电气控制系统

本文主要介绍太钢七轧厂新横切机组电气工程的设计、安装与调试运行等有关问题。     

利用谱方法设计三值T门组合网络Ⅰ:理论

讨论了三值函数的Walsh谱及其谱的一种分解方法。提出了求三值函数的Walsh谱系数的一种快速并行算法。这种算法可在三值函数的真值表阵列上方便地实现。给出了利用谱方法三值T门组合网络设计的一种方法。这种方法可使待设计的三值T门组合网络被化简到最小化或接近最小化,并且容易实现三值T门组合网络的自动综合。     

双片TM1300视频采集卡的高速数据传递方案

介绍了一种基于双片TM1300的双路视频采集卡的高速数据传递方案。在分析了TM1300芯片的EVO、VI、PCI、SSI等外设接口特性的基础上,提出了用EVO与VI互联来实现双路视频采集卡中双片TM1300间高速数据传递的设计方案。其特点是实现简单,数据传送效率高,并采用CPLD芯片设计了EVO与VI的逻辑接口,通过MAX+PLUSII时序仿真验证了CPLD设计的正确性。     

简单本体的形式化模型及包含性检验

本体是指对领域概念化的一个显式的规格说明,应用在智能体间的通信、异构信息的集成、语义Web等领域。利用描述逻辑建立了一个简单本体的形式化模型——一个四元组,包括术语集、实例集、术语定义集和实例声明集,然后分析了本体术语检验问题。术语检验包括术语的可满足性、等价性、包含性及非交性检验,这4种检验可以归结为包含性检验。最后给出术语包含性的检验方法,并证明了这种方法的合理性与完备性。