采用BP神经网络记忆模糊规则的控制

本文提供了一种比模糊推理更为自然的方式使用人们的经验知识,通过一组神经元不同 程度的兴奋表达一个抽象的概念值,由此将抽象的经验规则转化成多层神经网络的输入一输 出样本.通过Back-Propagation学习算法使得网络记忆这些样本.控制器以"联想记忆"方 式使用这些经验.本文介绍了控制器的构造方法,给出了控制仿真结果,并讨论了这种控制器 的特点和发展前途.     

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.     

化工软测量技术研究进展

详细说明了软测量技术的含义以及软测量系统的组成。在此基础上，介绍了软测量技术中基于机理分析建模、应用状态观测器建模、应用统计分析建模、神经元网络、模糊技术、以及支持向量机的智能建模等软测量建模理论方法和最新研究成果，之后介绍了小波分析、推断控制算法在软测量数据处理中的应用，最后介绍了基于虚拟仪器开发平台的软测量系统实现技术。     

Fuzzy Weirstrass theorem and convex fuzzy mappings

The convexity and continuity of fuzzy mappings are defined through a linear ordering and a metric on the set of fuzzy numbers. The local-global minimum property of real-valued convex functions is extended to convex fuzzy mappings. It is proved that a strict local minimizer of a quasiconvex fuzzy mapping is also a strict global minimizer. Characterizations for convex fuzzy mappings and quasiconvex fuzzy mappings are given. In addition, the Weirstrass theorem is extended from real-valued functions to fuzzy mappings.     

变频电液速度控制系统的实验研究

本文基于变频调速技术,构建了一个较合理的变频电液速度控制系统,并采取模糊控制算法进行试验,实现了快速维持负载突变时液压马达转速的稳定。     

操纵员心理评价方法研究

文章对核电厂操纵员心理定性化评价以及定量化评价方法进行分析和探讨。对轮廓图匹配法和模糊综合评价法的适用范围、应用效果进行了比较分析。该研究的结果可为操纵员评价提供有益参考。     

一种考虑分布电容的模糊故障测距算法

提出了一种考虑分布电容的故障测距新算法。该算法基于微分方程描述的线路数学模型，利用单端信息对高压输电线路进行故障测距，保留了解微分方程算法的简单可靠、现实可行、不必考虑衰减直流分量和谐波及电网频率波动影响的特点，同时考虑过渡电阻和分布电容的影响，克服了传统解微分方程法中在经高阻接地故障时测距误差过大和忽略分布电容引起的故障定位不准确的缺点。为了检验算法的精度，进行了大量的动模实验。结果表明，算法原理正确并具有较高的测距精度。     

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采取基于顺序号的补充措施;同时,文中指出了另一种改进方案.