二值命题逻辑中的极大命题集与完备命题集

系统讨论了二值命题逻辑系统中极大命题集与完备命题集,给出了两种命题集的等价描述和表示定理,揭示了极大命题集和完备命题集的深刻内涵和联系.     

Coupling induced logical stochastic resonance

In this work we will demonstrate the following result: when we have two coupled bistable sub-systems, each driven separately by an external logic input signal, the coupled system yields outputs that can be mapped to specific logic gate operations in a robust manner, in an optimal window of noise. So, though the individual systems receive only one logic input each, due to the interplay of coupling, nonlinearity and noise, they cooperatively respond to give a logic output that is a function of both inputs. Thus the emergent collective response of the system, due to the inherent coupling, in the presence of a noise floor, maps consistently to that of logic outputs of the two inputs, a phenomenon we term coupling induced Logical Stochastic Resonance. Lastly, we demonstrate our idea in proof of principle circuit experiments.     

BCK-代数的模糊代数理想

在有界可换BCK-代数上引入了Fuzzy代数理想的概念,给出了Fuzzy代数理想的某些特征,讨论了Fuzzy理想与Fuzzy代数理想的关系。最后描述了全体Fuzzy集的BCK-代数特征。     

基于最小化平均分组跳的分组交换多跳光网的设计

本文研究了支持分组交换通信的波长路由光网的逻辑拓扑设计问题,并将它表示为混合整数线性规划问题(MILP),其目标函数为最小化平均分组跳数目.在约束条件中同时考虑了分组传输时延和排队时延.我们以6结点的网络为例,对于不同的收发机数目和时延边界,数值结果表明最小化平均分组跳数目等价于最小化网络拥塞.小的平均分组跳数目可以保证网络通信时具有较小的时延.最后,对于不同的通信模式,我们比较分析了网格的优化性能参数,这些结果有助于提出更好的启发式算法.     

A study of fuzzy logical petri nets and its application

In this paper, a fuzzy Petri net approach to modelling fuzzy rule-based reasoning is proposed. Logical Petri net (LPN) and fuzzy logical Petri net (FLPN) are defined. The backward reasoning algorithm based on sub-fuzzy logical Petri net is given. It is simpler than the conventional algorithm of forward reasoning; from initial propositions. An application to the partial fault model of a car engine in paper Portinale's(1993) is used as an illustrative example of FLPN.     

可编程控制器在小型污水处理站的应用

通过一机电设计实例,介绍可编程控制器ＰＬＣ在小型污水处理站的应用,和其较好的性能价值比。     

基于归并策略的一致性时钟同步算法

针对分布式飞行仿真的时钟同步问题,在Luca Schenato等人的ATS(Average Time Synchronization)算法的基础上,提出了基于归并策略的一致性时钟同步算法。该算法会在获得系统时钟后,通过邻近原则或者极大极小原则对时钟进行排序组合,以此加快算法的收敛速度;同时通过重定义ATS算法的调节因子σij,使时钟收敛具有自适应性,进一步加快时钟收敛速度,使得该算法更佳适用于飞行仿真控制试验的数据同步过程。实验表明该算法相比于原算法在同步精度、收敛速度、稳定性都得到提升。     

关于多值逻辑函数的仿射逼近

该文给出了利用函数f的谱来计算新函数afb的谱的计算公式,讨论了多值逻辑函数的仿射逼近问题.     

Extended logical function morphological operations and its optical implementation

Logical function morphology is discussed by obtaining low threshold (1 or 0 threshold). Eighteen new extended logical function morphological operations are obtained. Among them, there are eight pairs of duality operations. The principle is demonstrated by the incoherent three-plane two-lens optical correlator, in which accumulated errors can be successfully avoided by obtaining low threshold.