动态模糊逻辑及其应用研究

对动态模糊逻辑及应用进行了研究 ,以实例说明了自然界中的动态模糊性问题找到了解决途径 ,同时为人们用计算机模拟人的思维提供了理论依据     

从事实逻辑到任务逻辑

在经典命题逻辑语言中引入附加算子几，较系统地研究近几年刚刚被提出的任务逻辑。这里把公式理解为“任务”，介绍了“任务逻辑”的语义理论，并从语构上定义形式系统L与之对应，证明该系统的可靠性、完备性及可判定性定理．最后建立系统L中的一系列基本定理。     

非0非1型逻辑方程构成的逻辑方程组的解法

给出了逻辑方程组成立的充要条件和化逻辑方程组为0型或1型逻辑方程的方法 ,证明了若两个0型逻辑方程的解集分别为S1,S2,则对应的逻辑方程组的解集为S1 S2;若两个1型逻辑方程的解集分别为S3,S4,则对应的逻辑方程组的解集为S3 S4,从而可应用此结论 解非0非1型逻辑方程构成的逻辑方程组.     

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

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

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

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

Bilattices for deductions in multi-valued logic

In this exploratory paper we propose a framework for the deduction apparatus of multi-valued logics based on the idea that a deduction apparatus has to be a tool to manage information on truth values and not directly truth values of the formulas. This is obtained by embedding the algebraic structure V defined by the set of truth values into a bilattice B. The intended interpretation is that the elements of B are pieces of information on the elements of V. The resulting formalisms are particularized in the framework of fuzzy logic programming. Since we see fuzzy control as a chapter of multi-valued logic programming, this suggests a new and powerful approach to fuzzy control based on positive and negative conditions.     

Measurement-Based Quantum Computation and Undecidable Logic

We establish a connection between measurement-based quantum computation and the field of mathematical logic. We show that the computational power of an important class of quantum states called graph states, representing resources for measurement-based quantum computation, is reflected in the expressive power of (classical) formal logic languages defined on the underlying mathematical graphs. In particular, we show that for all graph state resources which can yield a computational speed-up with respect to classical computation, the underlying graphs—describing the quantum correlations of the states—are associated with undecidable logic theories. Here undecidability is to be interpreted in a sense similar to Gödel’s incompleteness results, meaning that there exist propositions, expressible in the above classical formal logic, which cannot be proven or disproven.     

Stimuli-Triggered Strand Displacement-Based Multifunctional Gene Detection Platform Controlled By A Multi-Input DNA Logic Gate

Highly sensitive detection of various cancer related genes is of great significance in a number of biomedical applications. Here we describe a logic-controlled multifunctional platform that is capable of detecting two kinds of gene sequences with a 2-aminopurine (2-AP) as a quencher-free fluorescent probe, the fluorescence of which dramatically increases when it loops out the DNA helices. This detection platform is assembled from the split ATP aptamer, G-quadruplex, and the antisense strands of the P53 and K-ras genes, together with their complementary components. It is selectively activated by ATP and K⁺ via the target-induced DNA strand displacement, enabling the exposure of two long toehold regions that allow the P53 and K-ras genes to trigger the next DNA strand displacements. A hairpin DNA containing a looped-out 2-AP in the stem is finally released, accompanying with a significant increase of fluorescence intensity. The whole process behaves as a four-input AND logic gate. Such a logic-controlled gene detection platform is able to convert the external stimulation of ions and biomolecules into a detectable fluorescence output and functions well in gene detection.     

采集系统报警电路

根据自动控制系统的要求,用一片555时基电路设计了一种报警电路。介绍了设计方法并对电路工作原理作了分析,同时给出软件的程序流程圈。     

矩形盾构管片拼装机同步控制系统的设计

针对矩形盾构管片拼装机拼装拱顶块和拱底块时需要同步控制两台机械手的问题,设计了基于CAN(Controller Area Network)总线的同步控制系统并采用同步PID(Proportion Integral Derivative)算法实现对同步误差的控制.对同步控制系统的工作原理以及系统的网络架构做了分析.建立了矩形盾构管片拼装机两台机械手沿径向的立柱同步升降和沿轴向的同步拼装头移动同步控制系统的仿真模型,并对这两个动作的同步PID控制性能进行仿真分析.通过矩形盾构管片同步立柱升降和同步拼装头移动的实验对同步控制性能进行验证,结果表明,同步PID算法可减小同步误差并将立柱升降同步误差控制在±3 mm之间,拼装头移动同步误差控制在不超过±1 mm,显示了同步PID控制在矩形盾构管片拼装过程中的有效性与可实现性.