积逻辑系统中的广义重言式

讨论积逻辑系统中的广义重言式理论 ,给出积逻辑系统中子代数和广义重言式的一系列性质。本文的主要结果表明 ,在几个重要的逻辑系统中 ,标准积逻辑系统具有最简单的广义重言式结构 ,而在推理过程中 ,它具有较差的真值传递性。     

并行多处理机系统中的光纤互连网络的设计与实现

在并行多处理机系统中应用光纤互连网络完成处理单元之间的数据交换,可以极大地提高系统中数据通信的速率、带宽、抗干扰性和准确可靠性.本文详细阐述了并行多处理机系统的体系结构、实现方法、性能分析和实验结果.     

PLC在热轧带肋钢筋矫直定尺剪切生产线的应用

热轧带肋钢筋矫直、定尺剪切生产线是钢铁公司的重要设备，采用可编程控制器作为其控制系统，提高了生产线的自动化程度，保证了生产线有连续工作的高可靠性，使生产线的生产效率和定尺剪切精度都碹以了要求。本文从可编程控制器的选择和配置、功能和特点，硬件设置和程序编制以及应注意的问题等方面都作了介绍。     

逻辑设计中比较逻辑的参与

针对带有比较器的数字逻辑电路,本文提出一种比较逻辑参与的设计方法,使设计的结果更为简单和合理。     

基于CPLD工作模式可调的线阵CCD驱动电路设计

针对传统驱动电路一旦做出修改,则需对硬件或程序进行改变的缺点,以型号为TCD1707D的线阵CCD为例,介绍了一种工作模式可调的驱动方法.该方法是利用复杂可编程逻辑器件和控制外端结合,通过分别设置内外触发来实现的.在外触发模式下,利用外触发脉冲,可由用户控制CCD的曝光和信号输出时间;内触发时,可以调节CCD的积分时间和驱动频率.为提高信号输出质量,针对EMC问题给出了线阵CCD的外围驱动电路.实验结果表明,该方法调试方便、电路结构简单、集成度较高、输出信号可靠稳定、受干扰小,可配合多种用户需要,对高速精确测量及线阵推扫模式具有一定参考价值.     

Implementing minimal clock skew Directed Logic

Although the physics of computing allows the possibility of logic operations with no energy dissipation, over 40 years of work by brilliant scientists in many fields has not achieved it. The solution described here required breaking from the tacit assumptions that logic gates had to be electronic. The system is implemented entirely with passive optical components. Also needed was a logic that could utilize those passive components. Hardy and Shamir showed how to map a Boolean logic problem into a form suitable to be implemented by light flowing through various paths and cascaded as needed. This paper examines a modular approach to implementing their approach (called Directed Logic) in an integrated optical system. We start from unit cells, implementing a dynamic flip-flop principle and combine the cells in a network or “logic fabric.” Contrary to proofs by the founders of this field, speed is limited only by the message bandwidth of the optical signal, and, of course, no energy is dissipated. There are still aspects that need additional work on issues like accuracy using analog components and size relative to electronics. But the basic problem is solved at last and paths toward solving the remaining problems have been identified.     

The Σ1-provability logic of HA

In this paper we introduce a modal theory ${\mathsf{iH}}_{\sigma }$ which is sound and complete for arithmetical ${\mathrm{\Sigma }}_1$-interpretations in $\mathsf{HA}$, in other words, we will show that ${\mathsf{iH}}_{\sigma }$ is the ${\mathrm{\Sigma }}_1$-provability logic of $\mathsf{HA}$. Moreover we will show that ${\mathsf{iH}}_{\sigma }$ is decidable. As a by-product of these results, we show that $\mathsf{HA}+\square \perp$ has de Jongh property.     

基于形式概念的对象粒的属性逻辑公式描述

基于形式概念在属性集上建立逻辑语言系统,证明基于形式概念的基本对象粒描述定理,讨论合取原子属性逻辑公式所描述对象粒的性质,提出一个求解描述对象粒的属性逻辑公式的算法。     

α-三Ⅰ约束问题的形式解

提出了α-三Ⅰ约束问题,并在逻辑系统L~*和Luk中给出了这些问题的形式解,建立了这两个逻辑系统中三Ⅰ约束算法的形式推理机制,为α-三Ⅰ约束算法建立了严格的理论基础。     

自动脱挂索货运索道小车研究

索道运输作为输电线路中一种新的运输方式,具有成本低、施工方便,不受气候影响等诸多优点,已经在输电线路施工中广泛应用。但货运索道小车需依靠人力进行脱挂索,研究并实现货运索道小车的自动脱挂索是货运索道自动化运行的关键。通过对传统的行走小车结构进行优化设计,融合锂电式冲击扳手和红外感应技术、以单片机为直流电机控制器,对货运索道小车进行改进。实验证明,优化后的自动脱挂索小车能够稳定地应用于环境变化的复杂野外工作场所。