基于模糊逻辑系统的组合大系统自适应观测器设计

针对一类非线性不确定组合大系统，利用模糊逻辑系统具有充分逼近连续函数的性质，分析和研究了这类系统自适应状态观测器设计问题，并在较弱的假设条件下，证明这种观测器与被控系统状态间的误差及各参数估计误差一致终极有界。最后的仿真实例说明了本文所提出方法的有效性。     

伺服系统中模糊控制器的设计与仿真

同步随动系统是雷达系统中十分重要的单元，它驱动平面位置显示器的偏转线圈跟随雷达天线同步转动，以便精确地测量目标方位，是典型的角度伺服系统。在现行装备中，该系统大多采用模拟调节器，带来了参数调节不方便、动态特性差和跟踪精度低等缺点，因此采用现代控制理论对其进行改造十分必要。根据交流电机的数学模型，对雷达同步随动系统采取了数字PID和模糊控制两种控制策略，通过仿真分析，说明了采用模糊控制的先进性。     

案例分析中的DNA计算

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

数字运动员人体模型及其仿真研究

提出了数字运动员的概念，讨论了基于树型的人体结构模型及其逆运动学和动力学模型，最后结合举重运动员的抓举动作介绍了一种基于知识的数字运动员的新型的人体模型的仿真系统结构，其可以很好地解决关节空间的冗余参数的优化问题。     

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

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

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

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

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

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

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

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

基于正交模型辨识辅助的欠采样数字预失真方法

针对数字预失真技术在宽带通信系统中的具体实现受到模数转换器采样率制约的问题,提出一种新的欠采样数字预失真方法。首先在欠采样速率下对功放的正交模型进行离线辨识,接着根据一定的算法得到Nyquist采样率下的简化预失真器模型,并进行在线的自适应直接学习。该方法具有预失真器模型构造简单、欠采样实现高效的特点。理论分析和仿真结果表明,该方法有效降低了对模数转换器的采样率要求,优化了简化预失真器模型的线性化条件,更好地抑制了功放非线性引起的带内失真和频谱再生。     

THE COMPOSABILITY PROBLEM OF THE SEMANTICS OF XYZ/BE-COMMUNICATING PROCESSES

1.IntroductionAwell-knownproblemfortheverificationandtheconstructionofconcurrentprogramsisthatspecificationthatwouldbesatisfiedbyagivenprocessviewedinisolationmightbeinvalidatedbyactionsperformedbyotherprocessesexecutinginparallellll.Arigorousmodularspecificationmethodrequiresaproofruleassertingthatifeachcomponentbehavescorrectlyinisolation,thenitbehavescorrectlyinconcertwithothercomponents[2].Thecomposabilityproblemwhetheraparpllelcompositionprocesscontinuestohavethepropertiesofitscompone…