脉冲型时序逻辑网络设计（Ⅲ）

为文献［１］的继续，利用多值逻辑方法讨论二值脉冲型时序逻辑网络的设计，并以实例说明这种方法的设计过程。该方法适用于计算机辅助设计。此外，首次提出了初态自启动的概念及初态自启动网络设计问题。     

一种新的控制结构图设计技术

根据数据流程图处理逻辑的逐级细化原理和控制结构图模块逐层分解的原理，找出数据流程图上的逻辑模块与控制结构图上的物理模块之间的对应关系，从而实现由数据流程图快速完成控制结构图的设计。逻辑设计，物理设计，数据流程图，控制结构图，模块     

牛顿科学的"推理规则"与科学发现的逻辑

牛顿在<自然哲学的数学原理>中提出的"哲学中的推理规则",不仅浓缩了牛顿时代有关科学方法论的许多内容,而且还蕴涵着在此之后有关"科学发现的逻辑"问题的历史变化的思想根源,甚至这一规则也可以作为今天"复活发现逻辑"的一个典型的科学史范例.     

攻击直升飞机通信导航识别系统的分布式综合模块化航空电子设备综合技术研究

介绍了以AH 64D阿帕奇为代表的攻击直升飞机通信导航识别(CNI)系统,分析了基于时间触发的分布式综合模块化航空电子设备(DIMA)的结构,构建了一种基于DIMA和公共对象请求代理体系结构(CORBA)逻辑软总线的CNI系统结构.结果表明,通过构建分布式CNI系统结构和高容错的通信网络,可实现支持抵近射频前端的通信资源高度综合,适用于攻击直升飞机自然散热的装机环境,满足故障快速隔离的维护需求.     

分子生物计算在逻辑演算中的应用

DNA计算是一种基于生化反应机理的新型信息处理模式,与基于图灵机思想的电子计算机原理截然不同。近年来,DNA分子生物计算理论、实验技术的快速发展为DNA计算机的实现技术提供了一种新的理论和手段。文章首次尝试了DNA计算在逻辑演算中的应用,拓宽了DNA计算的应用领域。模型的最大优点是反应物可以在溶液中充分混合接触而进行生化反应,充分体现了DNA计算巨大并行性的优点,另外编码数和操作数都是线性增加的。     

多输出逻辑网络的卡诺图化简方法

本文提出了多输出逻辑网络的卡诺图化简方法,在输入变量个数为６个以下时,比表法简单、直观、灵活性大。     

加拿大内部责任体系:运行机制·理论基础·经验借鉴

加拿大内部责任体系运行机制研究目的在于探索未来我国职业安全健康管理改进的方向、方式、方法。研究运用文献综述和对比分析方法,对加拿大企业内部责任体系的组织架构、运行机制、内在逻辑及理论基础进行剖析,并就加拿大内部责任体系对我国完善职业安全健康管理体系的借鉴意义进行分析。研究表明,在政策、企业和员工组成的三方机制下,内部责任体系注重企业和员工的主观能动性的发挥,注重事故源头预防,注重尽职尽责原则下的持续改进。加拿大内部责任体系对我国职业安全健康管理工作借鉴意义在于,推进企业自主管理深入发展,并在此过程中从立法、简政放权、高效执法、落实企业主体责任、规范企业职业安全健康管理方案等方面持续改进。     

数学美是深奥的美

数学不但拥有真理而且还具有至高的美,这种美没有华丽的装饰,而是一种纯净而崇高的美。数学美是科学美的重要组成部分,数学方法应用于美学能充分发挥美学的社会效益,共创美好的未来,从而达到一种只有艺术才能显现的那种完美境地。本文从四个角度出发阐述数学美是美学的一种高级形式,是一种深奥的美。     

论知识增长方式与图书馆学知识的实证特征

提出了知识增长模式的"证实和证伪"原则,指出了人类知识必须经历证实和证伪检验才能发展和演化。分析了图书馆知识的证实和证伪特征;强调了知识一旦被证实或证伪都将作为真理的一部分进入人类知识体系。     

《马氏文通》起词范畴的原型分析

《马氏文通》中的各种范畴都是原型范畴,马氏的论述体现了其在范畴原型基础上进行范畴化的过程.《文通》中的起词范畴的原型具备[位于句首]、[逻辑主项]、[施事]、[名词或代词]四个特征,其非典型成员不具有此四者中的一到三个.马氏的论述中将[逻辑主项]特征拓展成[陈述对象]特征,这一对特征拓展是由家族相似性主导的.如果把[逻辑主项→陈述对象]看成一个连续统的话,就会发现起词范畴中的非典型成员均处在这个连续统上的某一点,起词范畴与其他范畴的边界也由这一特征连续统标定.所以,马氏起词范畴的核心特征是[逻辑主项→陈述对象],而不是很多人认为的[施事].[位于句首]特征也是马氏起词范畴的重要特征,这说明马氏非常重视语序问题.从这两点来看,马氏走在很多后来者的前面.