基于现场总线的智能数据采集器的研发

首先介绍了基于现场总线的智能数据采集器的基本概念,具体讨论了智能数据采集器单片机系统设计、模拟量采集子模块设计、通讯子模块设计。实际应用结果表明,该产品大大提高了数据采集的灵活性、智能性,扩大了数据采集和处理的范围,提高了数据传输的安全性与可靠性。     

Pohl定理的一个简单证明

设Ｓ是任意一个具有全序关系的含有ｎ个元素的集合．Ｐｏｈｌ［１］证明了求Ｓ的极大元素和极小元素的过程至少要进行［２／３ｎ－２］次比较．本文用过程等价性的思想给出这个定理的一个简单证明．     

非平衡分治术和一个最优算法──兼论用分治术设计算法的基本原则

本文讨论了非平衡分治术,对一个分类问题（求极大元和极小元问题）用非平衡分治术给出 了一个最优算法．从理论和实例两方面说明：非平衡的分治术不容忽视,采用它常得到时间复杂 性为多项式阶的有效算法．本文接着对平衡的分治术进行了讨论,指出平衡不是主要的,要求 问题的大小“成倍地”减小才是基本的。最后得出了用分治术设计算法的一个基本原则。     

Belief and Knowledge Reasoning

Alternating-time Temporal Epistemic Logic (ATEL) which is an important kind of multi-agent cooperation logics only takes knowledge into account, but does not deal with belief of agents. By introducing three kinds of belief operators into ATEL, a new multi-agent cooperation logic named ATBKL (Alternating-time Temporal Belief and Knowledge Logic) was developed. A model checking algorithm was proposed. It is proved that the model checking complexity of ATBKL is the same as that of ATEL, i.e., the presented logic is better for further study of multi-agent systems.     

薄层材料导温系数的测量

在微电子学、光学、材料科学诸领域广泛应用的薄层材料的导温系数常用周期热流法测量。在对测量原理和实验方法研究的过程中，提出用半导体制冷元件通以调制电流来实现周期加热，在薄型样品的不同点粘或压接热电偶来测量温度，由两点温度变化的相位差来确定导温系数。同时为克服热电偶接合的偶然因素引起误差而采用双向加热的补偿方法．实测了厚度为５０～２００μｍ的不锈钢和铜箔，取得良好结果。     

交互时态逻辑下的三种模糊信念算子

前期工作交互时态信念逻辑ATBL仅在二值语义下刻画了三种信念算子,没有探?讨它们的模糊语义问题.利用可信度函数给出模糊并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种模糊信念算子,在模糊并发博弈结构下给出其语义,建立了模糊交互时态信念逻辑FATBL,使得ATBL成为FATBL的特殊情况.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具.     

模糊交互时态逻辑及其语义结构

Alur等人建立的交互时态逻辑（ATL ＊）是一种重要的多Agent合作逻辑,它对计算树逻辑（CTL ＊）进行了合作算子拓展,然而它缺乏对不确定时态信息的刻画。通过考察模糊时态事件和模糊时态状态、描述相对时间来改进并发博弈结构,并给出模糊并发博弈结构;把模糊并发博弈结构的若干要件从相对时间域到绝对时间域进行映射,给出已映射模糊并发博弈结构;建立了模糊交互时态逻辑（FATL ＊）,给出其语法,在已映射模糊并发博弈结构下给出其语义;阐述了FATL ＊的表达力比ATL ＊强。     

一种在Multi—Agent系统中协调形成策略的框架

通过对BDI属性的刻画让Agent个体理智行为是多Agent系统中研究的一个重要方向.为了在开放系统中理智行为,模型在传统BDI逻辑的基础上结合了ATL语言中的一些概念.进一步地,为了体现Agent个体的自主性,分别定义了环境状态转换函数与私人状态转换函数.在该框架中,Agent个体通过一些必要的步骤,就可以适应环境,计算出更有助于自己达到目标的策略.     

Multi-agent Belief, Goal and Exceptions Reasoning

Temporal logics are often adopted as basic tools to specifying mental states such as belief and goal of agents. Althoush there are works on non-monotonic extension of linear temporal logic (LTL) and branching time temporal logic (CTL), the non-monotonic extension of alternating-time temporal logic (ATL) which is an important kind of multi-agent cooperation logics has not been discussed yet in literature. To solve this problem, this paper proposed non-monotonic alternating-time temporal logic with belief and goal, namely N-ATL-BG, to facilitate the non-monotonic reasoning of mental states of agents. The semantic model, syntax and semantics of this new logic are developed. A model checking algorithm which can be finished in polynomial time is proposed for this new logic. Examples are given to show its usage.     

交互时态信念逻辑及其模型检测

交互时态认知逻辑(ATEL)是对交互时态逻辑(ATL)的扩展,但是它只刻画了知识,没有探讨信念的刻画问题.给出广义并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种信念算子,在广义并发博弈结构下给出其语义,建立了交互时态信念逻辑(ATBL).给出一个多项式时间模型检测算法,并证明了ATBL的模型检测复杂度为PTIME-complete;给出并证明了ATBL的若干良好性质,比较了相关工作.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具.