Analytic fuzzy tableaux

 In this paper Beth–Smullyan's tableaux method is extended to the fuzzy propositional logic. The fuzzy tableaux method is based on the concepts of t-truth and extended graded formula. As in classical logic, it is a refutation procedure. A closed fuzzy tableau beginning with the extended graded formula [r, A] asserting that this is not t-true, is a tableau proof of the graded formula (A, r). The theorems of soundness, completeness, and decidability are proved.     

基于资源优化的QoS路径选择模糊算法

文中讨论了在ＩＰ网络中支持ＱｏＳ路径时优化网络资源的模糊方法,对ＱｏＳ路径选择中出现的多目标路径费用函数进行了合理的描述。该方法综合考虑了径路中的带宽、时延和路径条数,从初选出来的若干条路径中选择更安全,又节约网络资源的路径。仿真结果表明,模糊算法既兼容普通方法,又比普通方法更合理。同时,模糊方法计算简单迅速,用ＶＬＳＩ（ｖｅｒｙ ｌａｒｇｅ ｓｃａｌｅ ｉｎｔｅｇｒａｔｉｏｎ）硬件很容易实现。     

平板玻璃实时智能自动化系统的应用

目前国内有关智能自动化技术的应用比较少。因此 ,介绍平板玻璃智能自动化系统的原理 ,并结合浮法玻璃的生产工艺进一步介绍了此系统在玻璃生产过程的具体应用 ,旨在为智能自动化技术在玻璃生产中推广应用而抛砖引玉     

Verifying Temporal Properties of Reactive Systems: A STeP Tutorial

We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions of the Bakery Mutual exclusion algorithm for mutual exclusion. We verify the classic two-process algorithm and simple variants, as well as an atomic parameterized version. The methods used include deductive verification rules, verification diagrams, automatic invariant generation, and finite-state model checking and abstraction.     

有限构模器的扩展及其在形式化方法中的应用

规约在软件开发和验证中占有重要地位,对于以一阶逻辑为基础的规约,可以利用有限模型构造技术对其执行并测试,文中研究规约中某些特性的处理,包括存在量词以及二元关系析传递闭包,对已有的一个构模工具进行扩充,发现了文献中的若干错误。     

The development of a hybrid intelligent system for developing marketing strategy

In this paper, the development of a hybrid intelligent system for developing marketing strategy is described. The hybrid system has been developed to: provide a logical process for strategic analysis; support group assessment of strategic marketing factors; help the coupling of strategic analysis with managerial intuition and judgement; help managers deal with uncertainty and fuzziness; and produce intelligent advice on setting marketing strategy. In this system, the strengths of expert systems, fuzzy logic and artificial neural networks (ANNs) are combined to support the process of marketing strategy development. Moreover, the advantages of Porter's five forces model and the directional policy matrices (DPM) are also integrated to assist strategic analysis. In the paper, the software architecture of the hybrid system is discussed in details. Particularly, the group assessment support module, the fuzzification of strategic factors, and the fuzzy reasoning for setting marketing strategy are addressed. In addition, the empirical field work on evaluating the hybrid system is also summarised. The empirical evidence indicates that the hybrid intelligent system is helpful and useful in supporting the development of marketing strategy.     

Industrial Robot Navigation and Obstacle Avoidance Employing Fuzzy Logic

This paper proposes a novel conceptual approach based on fuzzy logic to solve the local navigation and obstacle avoidance problem for industrial 3-dof robotic manipulators. The proposed system is divided into separate fuzzy units, which control individually each manipulator link. The fuzzy rule-base of each unit combines a repelling influence, which is related to the distance between the manipulator and the nearby obstacles, with the attracting influence produced by the angular difference, between the actual and the final manipulator configuration, to generate a new actuating command for each link. It can be considered as an on-line local navigation method for the generation of instantaneous collision-free trajectories. The strategy has been successfully applied to manipulators in different simulated workspace environments providing collision-free paths. Some of the simulation results obtained are included.