双波长稳频CO_2激光模糊控制系统的建模与优化

报导一种模糊逻辑控制系统的建模与优化方法。以此方法设计的模糊逻辑控制器，用于双波长稳频ＣＯ２激光器的控制得到令人满意的结果。     

基于重量分析的OBDD变量排序算法

有序的二叉判决图（ＯＢＤＤ）是布尔表达式的一种有效表示方法，但它的体积对变量排序具有较强的依赖性。本文提出一种电路结构图，并在此基础上定义了原始输入重量和节点重量等参数，并建立了用重量分析来指导的ＯＢＤＤ变量排序算法。由于从考虑变量对输出函数的影响出发与从考虑ＯＢＤＤ节点共享性出发对变量排序的要求不同，本文分别设计了两类算法。实验结果表明，本文对大多数标准电路变量排序的效果都优于国际上的同类算法，     

R-Calculus for ELP:An Operational Approach to Knowledge Base Maintenance

Sme concepts used in knowledge base maintenace,such as sequence,new law,user‘s rejection and reconstructions of a knowledge base,are first introduced,and then a framework for extended logic programming(ELP)is given,where an extended logic program is equivalent to a knowledge base.A transition system called R-calculus for ELP is provided.For a given knowledge base and a user‘s rejection,the R-calculus for ELP will deduce best revisions of the base.The soundness and the completeness of the R-calculus for ELP are proved,and the R-calculus for ELP is implemented in Prolog.In addition,the research is compared with other relevant work.     

Freelance 2000 DCS在轴流机上的应用

简要介绍了Freelance 2000 DCS的功能特点以及轴流机的控制要求.结合轴流机的控制特点，用Freelance 2000 DCS对原模拟电子系统进行改造，实现并改进了轴流机流量－静叶位置调节、防喘振控制、逻辑控制、状态监测、信息管理等功能。改造后的系统可靠性高、技术先进、信息管理功能强，其设计思想和方法均可供石化企业大型压缩机控制系统的设计和改造借鉴。     

Pruning Redundant Alarm Correlation Patterns

1　ＩｎｔｒｏｄｕｃｔｉｏｎＴｈｅｓｔｉｃｋｉｎｇｐｏｉｎｔｏｆａｓｓｏｃｉａｔｉｏｎｒｕｌｅａｌｇｏｒｉｔｈｍｓｄｅｐｅｎｄｓｏｎｅｆｆｅｃｔｉｖｅｌｙｆｉｎｄｉｎｇａｌｌｃｏｒｒｅｌａｔｉｏｎｐａｔｔｅｒｎｓｔｈａｔｓａｔｉｓｆｙｖａｌｕｅｒｅｑｕｉｒｅｍｅｎｔｉｎｔｈｅｍａｇｎａｎｉｍｉｔｙｏｆｄａｔａ.Ｂｕｔｔｈｅａｌｇｏｒｉｔｈｍｓａｌｓｏｂｒｉｎｇａｎｅｇａｔｉｖｅｅｆ ｆｅｃｔ:ｔｈｅｎｕｍｂｅｒｏｆａｓｓｏｃｉａｔｉｏｎｒｕｌｅｓｉｓｖｅｒｙｌａｒｇｅ.Ａｌｓｏｉｎｆｏｒｍａｔｉｏｎ…     

A novel compact circuit for 4-PAM energy-efficient high speed interconnect data transmission and reception

Transmission of signals, whether on-chip or off-chip, places severe constraints on timing and extracts a large price in energy. New silicon device technologies, such as back-plane CMOS, provide a programmable and adaptable threshold voltage as an additional tool that can be used for low power design. We show that one particularly desirable use of this freedom is energy-efficient high-speed transmission across long interconnects using multi-valued encoding. Our multi-valued CMOS circuits take advantage of the threshold voltage control of the transistors, by using the signal-voltage-to-threshold-voltage span, in order to make area-efficient implementations of 4-PAM (pulse amplitude modulation) transceivers operating at high speed. In a comparison of a variety of published technologies, for signal transmission with interconnects of 10-15 mm length, we show up to 50% improvement in energy for on-chip signal transmission over binary encoding together with higher limits for operating speeds without a penalty in circuit noise margin.     

Development of a fuzzy decision model for manufacturability evaluation

A manufacturability evaluation decision model is formulated and analyzed based on fuzzy logic and multiple attribute decision-making under the concurrent engineering environment. The study emphasizes on the treatment of the linguistic and vagueness at the early product development stage. The study also considers the function integration of the total life cycle of a product. Hence, the integrated decision model covers the multi-level, multi-goal requirements of the products. Multiple criteria such as the goal space, the decision space, the function space, the development (i.e., product & process design) space, and the activity space, are then applied under different analysis of decision-making methods. For instances, the fuzzy multiple attribute decision-making (FMADM) combined with activity-based costing (ABC) can be used in the activity decision space. The fuzzy logic decision model can be applied in the goal decision space. The results of this study point out the importance of early decision making capability. An example of a high-pressure vessel is provided to demonstrate the proposed model for evaluating the manufacturability.     

Induction in the Timed Interval Calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine.     

3G认证和密钥分配协议的形式化分析及改进

介绍了第三代移动通信系统所采用的认证和密钥分配(AKA)协议,网络归属位置寄存器/访问位置寄存器(HLR/VLR)对用户UE(用户设备)的认证过程和用户UE对网络HLR/VLR的认证过程分别采用了两种不同的认证方式,前者采用基于"询问-应答"式的认证过程,后者采用基于"知识证明"式的认证过程.使用BAN形式化逻辑分析方法分别对这两种认证过程进行了分析,指出在假定HLR与VLR之间系统安全的前提下,基于"知识证明"式的认证过程仍然存在安全漏洞.3GPP采取基于顺序号的补充措施;同时,文中指出了另一种改进方案.     

Prolog逻辑程序的测试方法

Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.