运动想象脑机接口系统的Petri网建模方法

针对脑机接口(BCI)中的共享控制问题,提出一种BCI系统的Petri网建模方法.首先,将共享控制策略与BCI系统的内外部信息相结合,构建运动想象BCI系统的Petri网模型,描述系统的运行状态,分析和改进共享控制策略.然后,加入控制库所描述系统的外部输入,并通过合成Petri网的方法简化Petri网的建模过程.结果表明:所提方法能够正确地演化BCI系统的运行过程,提高BCI系统的适用性,可用于设计、验证和执行共享控制策略.     

具有死区的饱和工业过程控制系统的迭代学习控制

对具有死区的非光滑饱和工业过程的稳态优化进程施加迭代学习控制,给出加权开环PD型迭代学习控制算法。算法基于前次迭代的输出动态信息和事先给定的理想轨张,修正工业过程控制系统的阶跃输入,以期改善控制系统的动态品质。给出了理想轨线的选取方法,提出了理想轨线的δ可达性和迭代学习算法的ε收敛性的概念。利用Bellman-Gronwall不等式和λ范数理论,论证了算法的ε收敛性。数字仿真表明,迭代学习控制能有效改善工业过程稳态优化进程中控制系统的动态品质,如减少超调,加快动态响应速度,缩短过渡时间等,显示了算法对工业过程控制系统的有效性。     

Combination Reduction： A SYN-Sequence Selection Strategy for Reachability Testing of Concurrent Programs

Reachability testing is an approach to testing concurrent programs, which can systematically exercise every partially ordered SYN-sequence without constructing the static model. In fact, not all the SYN-sequences need to be tested. This paper proposed a SYN-sequence selection strategy for reachability testing, which can reduce the number of SYN-sequences generated without decreasing the effectiveness of detecting programs＇ errors. We described a simple algorithm to implement the strategy, and then discussed several optimizations to the algorithm. Experiments have been carried out in a case study to verify the efficacy of the strategy.     

关于滑模变结构控制系统中滑动状态可达性探讨

推导出了被控对象的状态方程为一般形式下的滑动状态可达性条件,并在滑模变结构控制的直流调速系统中得到了数字仿真验证。     

有限网格上一类二维系统的线段能达性和能控性

T.Kaczorek等研究了定义在两条射线组成的区域内通常边界条件下一般奇异模型(GSM)的局部能达性和能控性.本文讨论了有限网格上二维GSM，它是图象处理和工程应用中的另一类边界问题．利用Z变换，我们得到一个定义在矩形区域上的模型的状态响应公式，与有线网格上系统的非因果关系一致，进而定义和研究了线段的能达性和能控性，推广了[1，2]关于局部的直线段能达性和能控性的结果．本研究扩大了二维系统模型边界条件类型的应用范围．     

自主存取控制的Petri网建模和分析

对计算机系统安全中的自主存取控制Ｔａｋｅ－Ｇｒａｎｔ模型提出了一种有色Ｐｅｔｒｉ网表达，并用可达性树技术对ｃａｎ；ｓｈａｒｅ问题提供了一个更为简明实用的解答。文中用一个实际的信息处理系统为例，演示了所提出的方法。     

基于马尔科夫链模型的网络链路权重评价方法

网络链路权重评价是网络运维管理的重要依据?将马尔科夫链的转移概率引入到网络链路权重评价中,从概率的角度来衡量相邻节点的可达性;充分考虑链路?节点的故障性,将网络中任意两相邻节点的通信过程近似为马尔科夫过程,基于此,提出了基于马尔科夫链模型的网络链路权重评价方法?根据网络的关联矩阵得到1步概率转移矩阵,进而求得网络的多步马尔科夫转移概率矩阵,直至所有节点概率可达,通过累加相邻节点间概率来衡量链路可达性?通过算例分别分析了串联网络?桥式网络和复杂网络的链路权重评价问题?分析表明,该方法不仅能准确评价网络链路的权重,而且还解决了删边或缩边方法难以分析串联网络的问题,具有计算量小?易编程实现的特点?     

一种新型卫星网管协议的Petri网描述与验证

介绍了一种新型的卫星网网络管理协议,阐述了此协议服务联系和服务原语的设计,利用Petri网描述协议的方法,对此网络管理协议模型进行了形式化描述,并利用Petri网的可达性分析、S-不变量分析和T-不变量分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、守恒性、完整性、前进性等性质,从而减少了协议设计中潜在的错误,为此协议的实现打下了良好的基础·     

Buck变换器混杂动态系统的能控性和能达性

尝试在Buck变换器的能控性和能达性研究中引入混杂动态系统和切换线性系统的概念．首先建立Buck变换器的切换线性系统模型;然后根据该模型的特点,给出系统矩阵定常、输入矩阵切换的切换线性系统的能控性和能达性定义和定理,并严格证明了Buck变换器的能控性和能达性;最后讨论了能控性和能达性与输出能控性的关系,指出能控性、能达性和输出能控性是一致的,同时对Buck变换器的能控性进行实验验证,结果表明,在负载阶跃变化的情况下,变换器的输出完全可以控制并且稳定在设计值,这和Buck变换器作为切换线性系统模型的能控性分析结果是一致的．本文的研究方法也可用于其他功率变换器的能控性和能达性的研究．