Generic model control — A case study revisited

The application of the Generic Model Control (GMC) algorithm to the control of an evaporator has been reported recently by Lee et al. (1989). The results of their case study are claimed to demonstrate the superiority of the nonlinear GMC algorithm over conventional techniques including Dynamic Matrix Control. In this note it is shown that for the evaporator example the improved performance arises primarily from the full multivariable and feedforward nature of the control law, rather than from the nonlinear nature of GMC.     

永磁同步电机模糊PID控制建模与仿真

永磁同步电机（PMSM）作为一种非线性、强耦合、参数时变的被控对象,传统PID对其控制效果欠佳。为此在PID的基础上,结合模糊控制的优点,设计了一种PMSM的模糊自适应PID控制策略,并对系统建模仿真。结果表明,与PID控制相比,该模糊PID控制方案具有自适应强、超调量小等特点。     

一种基于降维密度聚类的船舶异常轨迹识别方法

目的 有效分析和探索海洋船舶时空轨迹行为模式,提高船舶轨迹聚类的效率与质量,更好地检测真实船舶的异常行为。方法 针对当前船舶轨迹数据研究中存在的对多维特征信息利用不足、检测效率不高、检测精度较差等问题,提出一种精确度高、能自主识别分析多维特征的船舶异常轨迹识别方法。首先利用随机森林分类器评估多维特征重要性,构建轨迹特征的最优组合;然后提出一种降维密度聚类方法,将T–分布随机邻域嵌入(T–SNE)和自适应密度聚类(DBSCAN)模型结合,通过构建特征选择层和无监督聚类层实现对数据元素非线性关系的高效提取以及对聚类参数的智能选择;最后根据聚类结果构建类簇特征向量,计算距离阈值判别轨迹相似度,实现轨迹异常检测模型的构建。结果 以UCI数据集为例,降维密度聚类方法对4、13、30、64维特征数据集的F1分数能达到0.9 048、0.9 534、0.8 218、0.6 627,多个聚类指标均优于DBSCAN、K–Means等常见聚类算法的。结论 研究结果表明,降维密度聚类方法能有效提取数据多维特征结构,实现聚类参数自适应,弥补密度聚类中参数难以确定的问题,有效实现对多种类型船舶轨迹异常的识别。     

一种面向AADL架构的模型测试方法

鉴于模型在软件系统开发中日趋重要的地位和AADL模型在嵌入式软件建模中的良好应用前景,为了在嵌入式软件系统开发前期保证AADL模型的质量,提出了一种基于模型测试的AADL架构验证方法;该方法应用马尔可夫链描述AADL架构的行为,然后根据得到的马尔可夫链模型以及系统设计要求标准生成相应的测试用例和测试预言,并通过测试用例执行输出和期望值的比较判断AADL模型的正确性,实现对系统AADL模型的测试;最后通过案例分析证明了该方法的有效性。     

T–S fuzzy model-based tracking control of a one-dimensional manipulator actuated by pneumatic artificial muscles

Pneumatic artificial muscle (PAM) has highly nonlinear and time-varying behavior due to gas compression and nonlinear elasticity of the bladder containers. Hence, it is difficult to achieve excellent tracking performance when using classical control methods. This study proposes a Takagi–Sugeno (T–S) fuzzy model-based control for improving control performance. The proposed approach decomposes the model of a nonlinear system into a set of linear subsystems. This allows, the T–S fuzzy model-based controller to use simple linear control techniques providing a systematic framework for the design of a state feedback controller. Stability analysis is carried out using Lyapunov direct method. The powerful LMI Toolbox in MATLAB is employed to solve linear matrix inequalities (LMIs) to obtain the controller gains. Experimental results verified that the proposed controller can achieve excellent tracking performance under different disturbances.     

基于模型设计的处理器在回路联合仿真系统

运用基于模型设计方法开展处理器在回路联合仿真系统的设计研究.针对该方法在模型定点化重构及参数定标过程中存在的参数收敛不一致及工作量大等问题,提出一种迭代参数定标方法,设计了定标比较模块和迭代参数调整模块.建立了基于Matlab/Simulink联合仿真系统模型,以TMS320C6416为核心处理器建立联合仿真目标板平台...     

Study of high efficiency of evaluation of a PDP in authorization service

In authorization service, the efficiency of evaluation of a PDP(policy decision point) is a key issue that affects the efficiency of authorization service. However, the efficiencies of evaluation of many PDPs available are frequently influenced by the factors of conditions in rules. Said Marouf et al put forward a method in which the evaluation speed can be increased by adjusting the rules in policies according to user history access records. This paper analyzes the shortcomings of this method in real-time applications, and proposes that the rules order in policies can be instantaneously adjusted by user history access records and indexes as well as self-adaptation are added to a PDP so that the evaluation speed can be increased substantially. Experimental results indicate that when there are 9795 rules in a PDP, the evaluation time and the time consumption taken for a PDP applied with indexes and self-adaptation to complete an authorized operation call are shortened by 93.33％ and 76.32％ respectively, compared with those for a PDP which is not applied with indexes and self-adaptation. When the number of repeat visits from the same user is 7, the time consumption taken for a PDP applied with indexes and adaptation to complete an authorized operation call is shortened by 24.29％ compared with that for a PDP which is applied with indexes only.     

EDEN: An Intelligent Software Environment for Diagnosis of Discrete-Event Systems

A software environment, called EDEN, that prototypes a recent approach to model-based diagnosis of discrete-event systems, is presented. The environment integrates a specification language, called SMILE, a model base, and a diagnostic engine. SMILE enables the user to create libraries of models and systems, which are permanently stored in the model base, wherein both final and intermediate results of the diagnostic sessions are hosted as well. Given the observation of a physical system gathered during its reaction to an external event, the diagnostic engine performs the a posteriori reconstruction of all the possible evolutions of the system over time and, then, draws candidate diagnoses out of them. The diagnostic method is described using a simplified example within the domain of power transmission networks. Strong points of the method include compositional modeling, support for model update, ability to focus on any sub-system, amenability to parallel execution, management of multiple faults, and broad notions of system and observation.     

自适应模糊PID控制在烧结过程中的应用

烧结过程具有大时滞、参数不确定性等特性，仅利用常规PID控制很难使烧结过程中的各项性能指标满足工艺要求．针对这一情况，本文提出了一种参数白适应的模糊PID控制器．该控制器的参数调整采用确定性的模糊调整规则，不但使控制器的设计易于实现而且具有很强的适应性和鲁棒性．仿真结果表明，该控制器能够对烧结过程进行有效控制．