分布式环境下基于多UIO 的测试序列生成方法

In developing distributed systems, conformance testing is required to determine whether an implementation under test （IUT） conforms to its specification. With distributed test architectures involving multiple remote testers, testing approaches may become more complicated because of issues known as controllability and observability problems. Based on a finite state machine （FSM） representation of the system＇s specification, this paper proposes a new method to generate a test sequence utilizing multiple UIO sequences. The method is essentially guided by the way of minimizing the use of external coordination messages and input/output operations. Experiments are given to evaluate the proposed method.     

李雅普诺夫方程的推广

定义了能控性矩阵及能观性矩阵,利用矩阵方程讨论了推广的李雅普诺夫方程的解的存在及唯一性.     

On nonlinear systems diagnosis using differential and algebraic methods

In this paper we tackle the diagnosis problem in nonlinear systems under failure using differential algebra. Three examples are presented in order to apply the proposed methodology. Numerical simulations of these examples are presented to illustrate the effectiveness of the suggested approach.     

乡村清洁拖拉机电液举升模糊控制系统设计

文章阐述了乡村清洁拖拉机电液举升控制系统工作原理,推导了被控对象举升缸传递函数,运用线性控制理论分析了举升缸系统输出可控性与可观性。从而设计了乡村清洁拖拉机电液举升模糊PID控制系统,并进行了仿真分析,对传统液压举升系统自动控制方面的研究具有指导作用。     

三水箱多变量液位控制实验设计

三容水箱液位控制实验系统是一种非线性、强耦合、多变量和大滞后的复杂系统。该文首先介绍三容水箱液位控制实验系统的实物系统装置,然后设计了几种典型的多变量液位控制实验,并给出了被控对象的数学模型,最后对上述系统被控对象的能控性和能观性进行了分析。     

基于MATLAB的最小实现问题

对于一个可实现的传递函数阵来说，将有无穷多的状态空间表达式与之对应。如何求出系统的最小实现，特别是对于多输入多输出系统，其计算较为复杂。文章将传递函数阵化为能观标准型，然后用matlab中的minreal工具消去输入解耦零点，从而得出系统的最小实现，并给出了一个具有实用价值的MATLAB通用程序。     

Volterra协作种群系统的能控性

研究了具齐次Neumann边界条件的非线性抛物积微分系统的精确零能控.首先建立对偶的线性化系统Carleman型估计;由此得到线性化系统的能控性;最后根据Kakutanis’s不动点定理证明非线性问题的零能控.     

Ground Alignment of Inertial Navigation System with the Aid of GPS Signals

惯性导航系统地面初始对准是惯导系统的关键技术之一,由于系统的观测性弱,仅水平对准效果好,而方位对准效果较差．针对这一问题,本文提出采用双天线将ＧＰＳ载波相位作为外部参考信号引入惯导系统地面对准,和惯导系统相组合共同完成初始对准．仿真结果表明,组合对准不仅能使方位快速对准,而且还能提高水平对准的精度,同时可对陀螺漂移作出快速估计．     

产品价值线索对众筹融资绩效的影响——创业者线索的调节作用

提升消费者价值感知以吸引消费者投资,是广大众筹创业者解决融资困难问题的关键。基于线索理论,探究直接影响消费者感知价值的低范围产品线索如何影响众筹融资绩效以及高范围创业者线索的调节作用,基于国内主要产品众筹平台之一摩点网的2 895项众筹成功项目开展实证分析。研究结果发现,引起消费者功能性、象征性、体验性价值推断的产品可观察性、稀缺性、体验性线索均能促进众筹融资绩效;创业激情促进产品可观察性、稀缺性与众筹融资绩效的正相关关系;创业经验削弱产品稀缺性与众筹融资绩效的正相关关系,促进产品体验性与众筹融资绩效的正相关关系。基于众筹情境,区分了线索类型和内容,揭示了产品价值线索对众筹融资绩效的关键作用以及高范围线索对低范围线索预测力的影响,同时探索了众筹融资绩效的最佳观测指标组合。研究发现为广大创业者解决融资困难难题提供了操作思路。     

动态投入产出控制系统的性质

针对参考文献[8]建立的动态投入产出模型的控制系统,研究了该系统的能控性、能观性和稳定性等性质,文章认为系统具有能反映实际情况的性质:能控性和不稳定性,并给出了系统能观的判断方法。