面向对象方法开发模型研究

从现代的信息系统的观点看，信息系统与模型是密不可分的。现代的信息系统的建立是以模型为基础的。信息系统是由一系列模型构成的有序集合。面向对象开发方法就是模型在不同层次上的建立方法。模型建立的过程实质上是代数系统中的同构映射过程。     

面向对象Petri网在制造系统建模中的应用

本文介绍了制造系统的概念及制造系统建模的目的和意义,针对制造系统建模的特点,利用面向对象Petri网(Object-oriented Petri Net,OOPN)对其进行建模和优化。系统地介绍了OOPN建模优点及其在系统建模中的应用现状,分析了制造系统建模特点,探讨了制造系统建模的具体流程。最后结合生产车间制造系统建模实例,进一步阐述了OOPN技术在制造系统建模中的应用。     

欠驱动漂浮基空间多体系统的递推动力学

针对欠驱动漂浮基空间多体系统,将欠驱动关节分解为主动和被动关节,研究用李群和李代数表示其动力学问题.将牛顿-欧拉反向动力学方法推广到适合于含主被动关节的形式,同时得到了漂浮基空间多体系统的主被动关节递推动力学建模方法.该方法可以用于对链式、树形拓扑结构的空间系统建模,也可用于对采用有限段方法建立的柔性梁式构件的离散模型进行高效率递推计算.结果表明,用李群李代数理论中的方法和符号更有助于形成递推的高效动力学建模,得到的动力学公式简明、清晰.     

Modeling switched circuits based on wavelet decomposition and neural networks

In this paper, switched circuits are modeled based on wavelet decomposition and neural network. Also describes the usage of wavelet decomposition and neural network for modeling and simulation of nonlinear systems. The switched circuits are piecewise-linear circuits. At each position of switch the circuit is linear but when considered all switching positions of the circuit it becomes nonlinear. An important problem which arises in modeling switched circuit is high structural complexity. In this study, wavelet decomposition is used for feature extracting from input signals and neural network is used as an intelligent modeling tool. Two performance measures root-mean-square (RMS) and the coefficient of multiple determinations (R²) are given to compare the predicted and computed values for model validation. The evaluated R² value is 0.9985 and RMS value is 0.0099. All simulations showed that the proposed method is more effective and can be used for analyzing and modeling switched circuits. When we consider obtained performance, we can easily say that the proposed method can be used efficiently for modeling any other nonlinear dynamical systems.     

Dynamic games for secure and resilient control system design

Modern control systems are featured by their hierarchical structure composed of cyber, physical and human layers. The intricate dependencies among multiple layers and units of modern control systems require an integrated framework to address cross-layer design issues related to security and resilience challenges. To this end, game theory provides a bottom-up modeling paradigm to capture the strategic interactions among multiple components of the complex system and enables a holistic view to understand and design cyber-physical-human control systems. In this review, we first provide a multi-layer perspective toward increasingly complex and integrated control systems and then introduce several variants of dynamic games for modeling different layers of control systems. We present game-theoretic methods for understanding the fundamental tradeoffs of robustness, security and resilience and developing a cross-layer approach to enhance the system performance in various adversarial environments. This review also includes three quintessential research problems that represent three research directions where dynamic game approaches can bridge between multiple research areas and make significant contributions to the design of modern control systems. The paper is concluded with a discussion on emerging areas of research that crosscut dynamic games and control systems.     

基于UML的电梯控制系统的分析与设计

UML是一种基于面向对象的可视化建模语言。本文简要介绍了UML的建模机制并将电梯管理系统作为实例,运用UML语言的图形表达方式,从需求分析到详细设计,及类与类之间的消息传递关系,给出了该方法的应用细节,探索了基于UML的应用领域的系统开发及UML各图形之间的内在联系,说明了应用UML语言丰富的可视化表达元素,可以清晰、快速地定义面向对象的软件系统模型。     

化学发展中的理论与计算

理论与计算对现代化学的发展起着至关重要的作用。通过电子结构计算我们可以获得体系的各种性质。电子结构理论与计算的发展方向是提高对某些复杂体系的计算精度,同时提高计算效率使处理更大的体系成为可能。对三原子反应,反应动力学计算已经可以精确地考虑量子效应。多原子气相反应和复杂体系的动力学行为是目前的研究难点。统计力学与分子模拟面临的最大挑战是构造普适精确的分子力场与粗粒化模型,以及多尺度模拟方法。近年来,我国的理论与计算化学发展很快,同时也面临很大的机遇与挑战。     

社会计算:科学·技术·人文

阐述了社会计算的历史、现状及其意义,探讨了科学、技术和人文有机组合的途径,特别是如何利用复杂系统理论及先进的计算手段和方法,包括利用人工社会,计算试验、平行系统等方法,把传统上限于语言层次和静态的人文知识数字化和动态化,并用于各种复杂社会问题的建模、分析和决策支持。     

基于本体和语义Petri网的自适应超媒体ICAI框架研究

本文对自适应超媒体智能计算机辅助教学（ICAI）中的教学系统建模和超媒体自适应问题进行了深入研究。通过建立学生本体、能力本体、知识本体、资源本体和测试本体对教学系统进行系统建模,采用语义Petri网技术解决了超媒体的自适应问题,并利用XML存储超媒体ICAI模型以及课件。从而构造以自适应超媒体为核心的ICAI课件开发平台框架。     

宏观政策作用下成都市经济发展的自组织模型

在控制论和神经网络思想的基础上提出复杂系统的自组织建模理论，并以自组织模型研究国家宏观经济政策对成都区域经济的影响。定量说明各政策在不同时段发挥的作用。另外也建模比较各因素对全国整体的作用水平，得出成都经济发展的自身特点。     

Permissible control of general constrained mechanical systems

This paper develops a unified approach for modeling and controlling mechanical systems that are constrained with general holonomic and nonholonomic constraints. The approach conceptually distinguishes and separates constraints that are imposed on the mechanical system for developing its physical structure between constraints that may be used for control purposes. This gives way to a general class of nonlinear control systems for constrained mechanical systems in which the control inputs are viewed as the permissible control forces. In light of this view, a new and simple technique for designing nonlinear state feedback controllers for constrained mechanical systems is presented. The general applicability of the approach is demonstrated by considering the nonlinear control of an underactuated system.     

面向跨系统个性化服务的用户建模方法研究

以一种用户为中心的方式,共享和整合分布在多个应用系统中的多样的、异构的数据是当前个性化服务面临的最大挑战.以分布式多应用环境下,实现来自不同系统,有关同一用户的多样化数据共享和整合的技术方法为研究对象,在分析面向单应用系统的用户建模方法局限性,提炼多应用环境下用户建模基本问题与核心目标的基础上,对实现多系统用户数据整合的技术方法进行梳理,按照构建的视角将其划分为自上而下的基于标准的方法和自下而上的基于映射的方法两大派系,对代表性研究成果进行评述,并指出发展趋势.     

基于UML和J2EE的社区管理信息系统设计

统一建模语言UML（Unified Modeling Language）是一种对面向对象系统进行可视化、详细描述、构造和文档化的标准建模语言。UML汲取了近十年在建模领域出现的方法的优点。它的出现消除了各种开发方法在表示上的差异，并成为面向对象技术领域内占主导地位的建模语言。它适用于软件开发的每个阶段。本文以低保管理系统为例，探讨了基于UML和J2EE的系统设计方法，并从多角度描述这种方法的优点。     

Modeling and control of microgrid: An overview

A microgrid (MG) is a building block of future smart grid, it can be defined as a network of low voltage power generating units, storage devices and loads. System of systems (SoS) is another concept involving large scale integration of various systems. In this paper, we provide an overview of recent developments in modeling and control methods of microgrid as well as presenting the reason towards incorporating MG into the existing grid. Various SoS control strategies when applied to MG are discussed.     

A survey Of learning-Based control of robotic visual servoing systems

Major difficulties and challenges of modern robotics systems focus on how to give robots self-learning and self-decision-making ability. Visual servoing control strategy is an important strategy of robotic systems to perceive the environment via the vision. The vision can guide new robotic systems to complete more complicated tasks in complex working environments. This survey aims at describing the state-of-the-art learning-based algorithms, especially those algorithms that combine with model predictive control (MPC) used in visual servoing systems, and providing some pioneering and advanced references with several numerical simulations. The general modeling methods of visual servo and the influence of traditional control strategies on robotic visual servoing systems are introduced. The advantages of introducing neural-network-based algorithms and reinforcement-learning-based algorithms into the systems are discussed. Finally, according to the existing research progress and references, the future directions of robotic visual servoing systems are summarized and prospected.     

Safety control using barrier certificates for multiagent systems with input saturation and formation constraints

Maintaining the given operational area is critical in guaranteeing the safety of nonlinear second-order multiple autonomous agents. The properties of multiagent systems and several physical constraints, including bounded modeling error and actuator saturation, dramatically affect the maneuverability of multiagent systems inside the specified operational area. Moreover, the existing safety control algorithms heavily rely on the boundaries of the operational area. To overcome this issue, by constructing a novel scalable control technique, the safety area for multiagent systems can be transformed into input-constrained control barriers along each coordinate of motion for agents. It is shown that the safety of each agent and the global asymptotic stability are guaranteed under the proposed distributed control algorithm. The asymmetrical closed-form scheme for the agent's safety rule is built by applying the adjustable low and high bounds of the control signals associated with the actual control inputs, which are repeatedly computed by using new local measurements as the agents move, and the saturated control inputs with asymmetrical constraints are ensured. The absolute values of the modeling errors and external disturbances can be tracked by the proposed safety controller. Super-twisting control (STC) is employed to address the formation constraint problem of multiagent systems, where the effect that arises from uncertain nonlinear complexity of the agents and external disturbances is eliminated. Moreover, finite-time convergence, a desirable robust behavior of multiagent systems, and the formation constraint are simultaneously achieved. Furthermore, the stability of the proposed integrated control strategy for multiagent systems is analyzed, which reveals that the proposed distributed safety control can seamlessly integrate with the robust control protocol with minimum modification under the directed information interaction topology. Safety formation control calibration and tuning are carried out, and comparative simulation results are provided to illustrate the effective performance of the obtained theoretical results.     

基于AFAR企业本体的医院信息系统业务架构应用研究

企业架构提供一个构建企业战略、业务和IT技术之间的集成视角.企业本体是将本体理论应用于企业管理领域,建立知识共享和不同系统互操作的通信基础.基于企业本体理论,提出AFAR企业本体,包括5个公理和1个定理以及表示企业本体知识的4个特征模型和特征模型开发方法,并以某医院信息系统业务架构为实例构建其业务架构施动者交易图和业务流程过程结构图.研究结果表明,企业本体使企业的运作透明,从而得到一种被整个组织所理解和共享的共同语言.     

基于演化和计算的管理科学

基于系统科学的研究进展,分析复杂性科学、演化经济学、理论与计算化学、计算经济学的方法论及研究思路对管理理论的影响,针对目前管理理论的现状,论述了复杂适应系统理论应用于管理理论研究的必要性,提出基于演化和计算思想的管理学研究新视角——计算管理学,探讨计算管理学研究的建模思想、建模分析框架和计算框架平台,分析了计算管理学研究的应用前景。