面向对象编程与定量证明相结合实现问题自动求解

本文针对一类智能决策支持系统中，基于模型行为仿真以实现解题过程自动化的需要，提出对模型对象行为的一阶词演算型表达和面向对象型模型处理过程的形式化体系。将问题自动求解过程转化为逻辑运算问题，通过归结反演求取问题的解。文中给出一个应用实例。     

面向对象编程与定理证明相结合实现问题自动求解

本文针对一类智能决策支持系统中,基于模型行为仿真以实现解题过程自动化的需要,提出对模型对象行为的一阶谓词演算型表达和面向对象型模型处理过程的形式化体系。将问题自动求解过程转化为逻辑运算过程,通过归结反演求取问题的解。文中给出一个应用实例。     

多个对象并发的面向对象编程

本文通过一个用Ｃ＋＋开发的实例来说明利用广播消息和分时方式协调多个对象动作的面向对象编程技术以及相关的ＯＯＰ的概念。     

面向对象软件自动化系统JDAUTO＼0

本文介绍了面向对象经系统ＪＤＡＵＴＯ／０的设计与实现，ＪＯＯＳＬ是一种面向对象软件形式规约语言，基于它，实现了概要设计到详细的自动工具ＰＤＡＵＴＯ和详细设计到Ｃ＋＋代码的自动转换工具ＤＤＡＵＴＯ．     

Visual Foxpro面向对象编程

ＶｉｓｕａｌＦｏｘｐｒｏ提供了一个具有全功能面向对象工具的集成开发环境，本文介绍了作者在Ｖｉｓｕａｌｆｏｘｐｒｏ应用程序开发实践中的几点体会，并附一实例说明。     

问题求解在C程序设计实验教学中的应用

在程序设计实验教学中,一直以来"难学"、"难教"成为师生共识,实验效果不够理想。本文通过引入问题求解法,改变传统实验教学模式,以达到更好的教学效果。     

如何提高面向对象编程效率

~~如何提高面向对象编程效率$株洲机械电子工业学校@甘露     

用于复杂系统建模与仿真的面向智能体技术

在构造兼具数据处理和知识处理能力的新型面对象型形式化体系上,根据复杂系统仿真的需要,使系统组分“对象”具有自主决策、控制和通信功能,建成多Agent系统。给出多Agent系统实现群组决策的示例。     

Building Linear Programming Models from Structural Model Components

Model management research investigates the formulation, analysis and interpretation of models. This paper focuses on the formulation aspects of modeling so that the task can be supported by decision support systems (DSS) environments. Given the knowledge intensive nature of the formulation process, the development of a modeling tool requires explicating the knowledge pertaining to modeling. This involves comprehending not only the static knowledge about model components (e.g. decision variables, coefficients, associated indices and constants), but also the process knowledge required to construct models from model pieces. The proposed top-down approach configures equations by exploiting the structural modeling knowledge inherent in equation components. The possible representation of equations at various abstraction levels is introduced, the aim being to uncover the structural model components together with the process knowledge required for their appropriate configuration. As part of developing this conceptual model, the role of semantic and syntactic information in model building is investigated. The paper proposes an approach where the formulation semantics are captured as a simple 'action-resource' view which composes models by identifying and piecing together the equation components. The process of equation construction is illustrated with examples from the linear programming (LP) modeling domain. The proposed top-down approach is contrasted with a bottom-up method.     

多架构体系建模与仿真联合平台

现代作战体系中通常涉及来自多个领域的复杂系统,因而体系设计时会采用到多个不同的建模工具与仿真工具,导致体系建模工具之间异构数据难以共享、体系建模工具与仿真工具联动困难等不足.为解决上述问题,提出了一种新型的多架构体系建模与仿真联合平台,形成了"元模型设计-体系建模-仿真验证"的全覆盖设计能力.在此基础上,以空地协同防御体系中的人机协同防御场景为例,验证了该平台对体系设计的有效性.具体来说,采用该平台设计了与案例场景相对应的元模型、建立了作战视图体系模型,并对作战任务中的战机行为进行了仿真,为战机出战方案设计提供了理论依据.     

基于云模型的Agent 联盟评价

针对多 Agent 系统中影响联盟功效的因素存在较强的模糊性和不确定性的问题,将定性定量转换模型—–云模型引入 Agent 联盟评价中,提出一种新的基于云模型的联盟评价方法.与已有方法相比,该方法简单有效,易于工程实现,可较好地处理评价指标的模糊性和不确定性,从而为复杂控制系统中的最佳联盟选择提供更科学、更合理的决策.     

基于知识的人力资源智能系统的研究

利用神经网络、人工智能及决策技术等理论对人力资源智能系统进行了研究，提出一种基于知识的人力资源智能系统(IHRMS)的体系结构，对系统功能进行了深入的分析，以基于神经网络的组织责献度权重模型及职业生涯管理的知识推理模型为例示重点对系统模型的构造与算法的实现作了探讨，其目的旨在使该智能系统能满足组织在不同发展时期的人力资源战略管理要求，进行自学习、自组织，从而为决策者提供决策支持功能，提升组织的人力资源管理效能。     

Ontological aspects of information modeling

Information modeling (also known as conceptual modeling or semantic data modeling) may be characterized as the formulation of a model in which information aspects of objective and subjective reality are presented (the application), independent of datasets and processes by which they may be realized (the system).A methodology for information modeling should incorporate a number of concepts which have appeared in the literature, but should also be formulated in terms of constructs which are understandable to and expressible by the system user as well as the system developer. This is particularly desirable in connection with certain intimate relationships, such as being the same as or being a part of.The conceptual basis for such a methodology, as conventionally approached, seems flavored with notions arising in the systems arena to an inappropriate degree. To counter this tendency it is useful to turn to a discipline not hitherto much involved in technology, namely analytic philosophy.     

Group Modeling: A Unified Velocity‐Based Approach

Crowd simulators are commonly used to populate movie or game scenes in the entertainment industry. Even though it is crucial to consider the presence of groups for the believability of a virtual crowd, most crowd simulations only take into account individual characters or a limited set of group behaviors. We introduce a unified solution that allows for simulations of crowds that have diverse group properties such as social groups, marches, tourists and guides, etc. We extend the Velocity Obstacle approach for agent‐based crowd simulations by introducing Velocity Connection; the set of velocities that keep agents moving together while avoiding collisions and achieving goals. We demonstrate our approach to be robust, controllable, and able to cover a large set of group behaviors.     

Sustainable interoperability on space mission feasibility studies

The evolution of ICT towards fast and robust data exchange promoted the blooming of successful technical and business concepts like cloud computing and virtualisation of enterprise assets. The escalation of service providers enabled the specialisation of enterprises (particularly SMEs) and the building of provider networks. This move from enterprise-concentric to service-dispersed strategies is leading to concerns about reaching and maintaining the interoperability between customer–provider pairs and their associated business networks. This is particularly true in the aerospace industry: a highly-competitive and demanding business supported by numerous applications, which may be general-purposed, specific, proprietary or open-sourced, all needing to be interoperable with the lowest impact on the business itself. This paper addresses the need for improving the sustainability of enterprise interoperability via the application of negotiations, with the objective of reducing the impact of changes and achieving the best solutions in the interoperability between the enterprises and their surrounding environment. It proposes a framework that features a negotiation mechanism for the management of changes towards the sustainability of the seamless business-to-business interactions, and describes its application on the real business case of the ESA-CDF space mission feasibility studies.