陆地车辆的磁流变半主动悬架模糊集成控制

分析了陆地车辆的磁流变半主动悬架系统的组成及其系统动力学模型。以平顺性、行驶稳定性与运动姿态控制为目标，讨论了半主动悬架的控制机理。提出了一种基于频率过滤、模糊控制和姿态误差增益控制的半主动悬架集成控制策略。设计的控制系统由外环和内环组成，外环系统设计机械系统的反馈理想阻尼力，内环系统实时计算电流驱动器的控制信号。磁流变减振器根据控制电流信号实时地产生阻尼力实现车辆控制目标。仿真结果表明，所设计的系统控制策略是有效的，同时也表明通过主动改变减振器阻尼力可以实现陆地车辆的性能控制。     

LOGISTICS SCHEDULING： ANALYSIS OFTWO-STAGE PROBLEMS

This paper studies the coordination effects between stages for scheduling problems where decision-making is a two-stage process. Two stages are considered as one system. The system can be a supply chain that links two stages, one stage representing a manufacturer; and the other, a distributor It also can represent a single manufacturer, while each stage represents a different department responsible for a part of operations. A problem that jointly considers both stages in order to achieve ideal overall system performance is defined as a system problem. In practice, at times, it might not be feasible for the two stages to make coordinated decisions due to (i) the lack of channels that allow decision makers at the two stages to cooperate, and/or (ii) the optimal solution to the system problem is too difficult (or costly) to achieve.Two practical approaches are applied to solve a variant of two-stage logistic scheduling problems. The Forward Approach is defined as a solution procedure by which the first sta     

案例分析中的DNA计算

DNA计算是一种模拟生物分子DNA的结构并借助于分子生物技术进行计算的新方法，开创了以化学反应作为计算工具的先例，为解决NP—完全问题提供了一种全新的途径。案例分析中常用到离散数学中的逻辑演算，特别是在信息处理方面。在基于表面的DNA计算中采用了荧光标记策略，解决了案例分析中的一个问题，尝试了DNA计算在案例分析中的应用。且这种方法具有编码简单；耗材底；操作时间短；技术先进的优点。     

基于线性时态逻辑的Petri网模型检测

Petri网是一种重要的数学工具,它能有效地对并发系统进行描述和建模.线性时态逻辑LTL则是描述和验证并发系统特性的一种重要的形式化工具,它能方便准确地描述并发系统的重要性质,如安全性和活性.文章深入描述了线性时态逻辑、Bu chi自动机、Petri网和同步积之间的内在联系,并探讨了基于线性时态逻辑的Petri网模型检测策略.与其它方法比较,这种模型检测的策略结合了线性时态逻辑和Petri网模型的不同优点,增强了Petri网的模型分析和验证能力.最后,通过对一个并发系统形式化的模型检测分析,验证了相应的结论.     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

基于可编程逻辑器和VHDL语言的容错电路设计

论述了最新的可编程逻辑技术和硬件描述语言VHDL在数字电路系统的设计和仿真中的应用。这种方法的优点是可以用简单的软件语言代替复杂的电子电路硬件,针对传统的数字电路系统中故障检测电路和容错电路硬件设计较为复杂的问题进行了分析和简化设计。在此基础之上进行了数字系统的三通道/单通道筛选冗余容错电路的设计和仿真。     

基于Matlab与VC++混编技术的混杂系统预测控制及仿真

深入研究了混杂系统基于混合逻辑的建模方法，提出变权重矩阵的预测控制策略对系统进行优化和控制，对一个具体实例进行了仿真研究，表明基于混合逻辑动态模型的变权重预测控制策略能使系统跟踪设定值并满足约束条件。基于Matlab与VC 设计的系统仿真平台，为算法工程化实施提供了一个有效途径。     

柔性空间机械臂的模糊控制及抑振最优控制

讨论了载体位置不受控、姿态受控的情况下,漂浮基柔性空间机械臂系统的轨迹跟踪和振动抑制问题。对系统进行输入输出反馈线性化,并采用奇异摄动理论,得到了慢变子系统和快变子系统。然后,设计了两种时间尺度的模糊逻辑控制器,以控制柔性空间机械臂的载体姿态和机械臂关节铰协调地来完成各自在关节空间的期望运动。慢变子系统用模糊控制来进行轨迹跟踪,而快变子系统用最优线性二次型控制来主动抑制柔性杆的振动。系统仿真结果说明了控制器的可靠性和有效性。     

不完全共因失效系统动态故障树模型分析方法

提出了不完全共因失效的概念,认为共因只能以一定概率作用于共因失效组的元件上,并产生一定程度的损伤。介绍了动态故障树分析方法常用的逻辑门结构,并在此基础上引入了新的逻辑门结构用于对不完全共因失效进行有效描述。指出了目前用于求解不完全共因失效系统动态故障树模型的马尔可夫链方法存在的不足,修正了现有研究给出的马尔可夫链状态转移图,并提出不完全共因失效系统失效概率的通用公式。最后给出应用实例,证明该方法的有效性。     

时滞对逻辑网络优化控制的影响

分析了包含两种个体的逻辑网络的时滞优化控制。其中第1种被称为机器的个体策略是固定的;第2种被称为人的个体具有自适应性,即能根据系统的整体状态做出策略的调整。以矩阵的半张量积作为逻辑分析的工具,分析了在状态时滞和输入时滞的影响下使人的收益最大的最优控制问题。理论分析显示状态时滞导致最优控制策略的周期长度增加,但人的最大收益值不会改变。最后提出仿真算法,其数值结果与理论结果一致。