多体系统仿真分析平台子系统建模技术

针对多体系统建模效率低、模型重用困难等问题,研究了复杂多体系统模型的子系统建模技术.提出支持系统分解和模型重用的子系统结构,采用虚部件定义子系统外部拓扑连接关系,通过主控参数封装模型设计知识和内部参数信息,从而建立自顶向下的层次化子系统结构模型;然后依据子系统主控参数关联关系及层次化结构特点,提出复杂多体系统参数化求解与装配算法.最后以卡车整车建模实例,介绍复杂多体系统的子系统建模过程.     

面向重用的产品设计过程知识建模与检索

针对传统的产品设计过程知识模型与知识检索方法在提高产品设计过程知识重用性上的不足,提出了多层次多粒度的知识模型以及基于语义的智能检索算法。首先通过分析产品设计过程知识重用的需求,将产品设计过程知识分为项目管理知识、领域知识、产品设计对象知识三类,并建立对应的多层次知识模型。然后在运用本体技术建立产品设计过程知识本体库的基础上,提出了一种基于语义的智能检索算法。最后给出了产品设计过程知识重用模型,并以柴油发动机方案设计为例,证明了该模型的有效性。     

一种无线传感器网络空间重用TDMA链路调度算法

本文研究了无线传感器网络最小空间重用链路调度(MSRLS)模型,给出了该模型的形式化描述,并在此基础上提出一种求解一般网络下MSRLS问题的集中式近似算法MSRLS-C。该算法同时考虑了无线传感器网络带宽需求分布和通信过程中的无线信道干扰,更适合真实网络。通过理论分析和实验对该算法的性能进行了论证和比较。     

面向业务问题求解的知识资源特定领域建模方法

针对企业中解决业务问题时知识资源利用不合理的问题,提出一种面向业务问题求解的知识资源特定领域模型。首先从领域纲要出发,将业务问题求解领域的基本元素描述出来,并详细分析其中对象之间的关系;然后通过在领域模板中建立的问题-知识事件驱动过程链(PK-EPC)模型对问题求解的流程进行格式化,并匹配到相应的知识单元;其次是通过对应的应用模型对业务问题进行分解,并将前面的知识单元与知识载体匹配。根据前面的模型可得出可供企业选择的集成业务活动、知识单元和知识载体的多层次求解方案模型,为企业业务问题求解提供了快捷准确的方法。最后基于Java设计了面向业务问题求解的企业求解方案建模系统,通过实例验证了该模型的可行性。     

基于点的POMDPs在线值迭代算法

部分可观察马尔可夫决策过程(partially observable Markov decision processes,简称POMDPs)是动态不确定环境下序贯决策的理想模型,但是现有离线算法陷入信念状态“维数灾”和“历史灾”问题,而现有在线算法无法同时满足低误差与高实时性的要求,造成理想的POMDPs模型无法在实际工程中得到应用.对此,提出一种基于点的POMDPs在线值迭代算法(point-based online value iteration,简称PBOVI).该算法在给定的可达信念状态点上进行更新操作,避免对整个信念状态空间单纯体进行求解,加速问题求解;采用分支界限裁剪方法对信念状态与或树进行在线裁剪;提出信念状态结点重用思想,重用上一时刻已求解出的信念状态点,避免重复计算.实验结果表明,该算法具有较低误差率、较快收敛性,满足系统实时性的要求.     

一种无线传感器网络链路调度模型与算法

研究无线传感器网络最小空间重用链路调度（MSRLS）模型,提出一种求解一般网络下MSRLS问题的分步式近似算法MSRLS-D。该算法同时考虑无线传感器网络带宽需求分布和通信过程中的无线信道干扰,更适用于真实网络。通过理论分析和仿真实验,对该算法的性能进行论证和比较。     

基于Ontology的多Agent智能答疑系统模型研究

针对目前智能答疑系统在知识共享、知识重用以及问题求解查全率和查准率方面的不足,提出了基于Ontology的多Agent智能答疑系统模型。该模型首先需要建立基于Ontology的问题解答知识库,然后对用户输入的问题进行关键词拆分、本体交互和语义扩展等,并在问题解答库中进行查询,得到合适的问题答案。与同类答疑系统比较,在知识共享、知识重用以及问题答案的精确定位与表达有了较为明显的改进。     

基于多维层次情境模型的业务过程知识推送方法研究

针对企业业务过程知识重用的需求,提出一种基于多维层次情境模型的知识推送方法.首先对业务过程情境进行分析,根据情境层次结构特点,以任务和用户为主维度提出业务过程的多维层次情境模型,进一步构建知识应用情境驱动的知识库模型,其中强调了知识与知识情境的多对多的映射关系;然后构建包括知识匹配和知识推送的知识推送框架,并给出相应的知识匹配算法,实现了基于情境的知识匹配和推送的方法,可以实现较为精确的知识推送.以某企业飞机翼梁的工艺设计过程的工艺知识推送为例,说明了该方法的可行性.     

异构信息空间中实体关联关系挖掘算法CFRQ4A

丰富的实体关联关系是在异构信息空间中进行数据分析、数据挖掘、知识发现和语义查询等许多应用的前提条件和关键所在.然而不同于同构信息网络,由于异构信息空间中实体关联关系的复杂性、多样性和异构性使得实体关联关系挖掘并不是一件简单的任务,更具有挑战性.以作者文献网络为例,提出了一个通用的,由聚类、过滤、推理和量化4步骤组成的异构信息空间中基于聚类的实体关联关系挖掘算法CFRQ4A(clustering,filtering,reasoning and qualifying for associations).CFRQ4A算法不仅利用了异构实体自身的属性值,还利用了异构信息网络的结构(路径)信息;在挖掘过程中引入关联关系约束来保证关联关系的语义和逻辑正确性,并且针对实体关联关系的特点提出了关联强度量化模型.在真实数据集DBLP上的实验结果表明所提出算法是可行和有效的.     

一种求解约束优化问题的混沌文化算法*

在求解约束优化问题时,为了有效处理约束条件,克服文化算法易陷入局部极值点、混沌搜索优化初值敏感、搜索效率低等缺陷,将混沌搜索优化嵌入至文化算法框架,提出一种求解约束优化问题的混沌文化算法。该模型由基于混沌的群体空间和存储知识的信念空间组成,利用地形知识表达约束条件,标准知识和地形知识共同引导混沌搜索,并利用形势知识引导混沌扰动。实例表明,该算法具有较优良的搜索性能,尤其能有效处理高维复杂约束优化问题。     

基于协作的协同设计过程控制对象知识建模技术

在分析协同设计领域问题的协作求解模式基础上，分析了协同设计领域问题求解的过程控制对象，提出了协同设计领域问题求解过程控制对象的多层次协作求解机制。并以领域问题协作求解、业务处理的过程控制以及领域控制知识的处理过程为核心，构建基干协作的协同设计过程控制对象的知识处理模型。最后以活动框架的业务处理过程控制为背景，讨论了协同设计领域问题求解过程控制对象的知识处理算法及其程序实现过程。     

建筑供应链信息共享平台设计与应用

针对建筑供应链异构信息无法充分共享的问题,分析异构信息对信息共享平台的需求,设计基于本体集成的建筑供应链信息共享模型和共享过程模型,提出基于本体集成的建筑供应链信息共享平台,并且描述其中的关键功能模块。论述基于本体集成的信息共享平台如何支持建筑供应链的信息共享。结果证明,基于本体集成的建筑供应链信息共享平台能够更有效地检索信息、学习领域知识及支持决策。     

MAS系统的问题求解能力分析

本文用状态空间搜索模型分析了多Agent系统(MAS)的问题求解能力，认为MAS系统中Agent之间知识的组合应用和对问题搜索方向的交互和决策是影响MAS系统问题求解能力的主要原因，在状态空间搜索模型下可以将Agent间知识的组合应用表达为不同Agent的搜索路径的组合，而Agent对搜索方向的判断是基于启发式信息做出的，从而为形式化分析MAS系统的性能建立了通用的模型．本文以A*算法为例探讨了可采纳算法下多Agent合作求解效果与Agent的知识和启发信息之间的关系，指出只有在一定条件下MAS系统才会获得更好的解题能力．本文还对非可采纳算法下MAS系统性能分析方法提出了初步看法．     

复杂问题知识转换的综合集成

复杂问题处理是一项知识密集型任务,在综合集成法的应用中对于相关知识转换过程的把握具有重要意义。文中针对问题的复杂性特点提出一种知识转换过程模型,基于显性知识同隐性知识间的转换,经过认知、外化、集成、内化一系列螺旋上升的动态知识过程获得知识创新。该模型被用于支撑处理复杂问题的方法论——综合集成法,丰富充实问题研讨流程。通过复杂灾害问题实例说明结合知识管理的综合集成法应用。     

Verifying soundness of business processes: A decision process Petri nets approach

This paper presents a trajectory-tracking approach for verifying soundness of workflow/Petri nets represented by a decision-process Petri net. Well-formed business processes correspond to sound workflow nets. The advantage of this approach is its ability to represent the dynamic behavior of the business process. We show that the problem of finding an optimum trajectory for validation of well-formed business processes is solvable. To prove our statement we use the Lyapunov stability theory to tackle the soundness verification problem for decision-process Petri nets. As a result, applying Lyapunov theory, the well-formed verification (soundness) property is solved showing that the workflow net representation using decision process Petri nets is uniformly practically stable. It is important to note that in a complexity-theoretic sense checking the soundness property is computationally tractable, we calculate the computational complexity for solving the problem. We show the connection between workflow nets and partially ordered decision-process Petri net used for business process representation and analysis. Our computational experiment of supply chains demonstrate the viability of the modeling and solution approaches for solving computer science problems.     

面向业务的E-维护知识供应模型

为使E-维护中的知识支持维护任务,提出面向业务的知识供应模型。采用维护知识概念本体规范任务描述、维护对象和知识功能,通过知识对象本体集成知识资源。将知识供应的需求和权限集成到业务过程中,构建维护知识供应信息模型,建立知识匹配方法控制知识供应。在某石化企业E-维护平台上的应用结果表明,该模型能提升企业的维护水平。     

Structured development of problem solving methods

Problem solving methods (PSMs) describe the reasoning components of knowledge-based systems as patterns of behavior that can be reused across applications. While the availability of extensive problem solving method libraries and the emerging consensus on problem solving method specification languages indicate the maturity of the field, a number of important research issues are still open. In particular, very little progress has been achieved on foundational and methodological issues. Hence, despite the number of libraries which have been developed, it is still not clear what organization principles should be adopted to construct truly comprehensive libraries, covering large numbers of applications and encompassing both task-specific and task-independent problem solving methods. In this paper, we address these "fundamental" issues and present a comprehensive and detailed framework for characterizing problem solving methods and their development process. In particular, we suggest that PSM development consists of introducing assumptions and commitments along a three-dimensional space defined in terms of problem-solving strategy, task commitments, and domain (knowledge) assumptions. Individual moves through this space can be formally described by means of adapters. In the paper, we illustrate our approach and argue that our architecture provides answers to three fundamental problems related to research in problem solving methods: 1) what is the epistemological structure and what are the modeling primitives of PSMs? 2) how can we model the PSM development process? and 3) how can we develop and organize truly comprehensive and manageable libraries of problem solving methods?     

Prediction of retail sales of footwear using feedforward and recurrent neural networks

Fluctuation of sales over time is one of the major problems faced by most of the industries. To alleviate this problem management tries to base their plans on forecast of sales pattern, which are mostly adhoc and rarely provides solid foundation for the plans. This study makes an attempt to solve this problem by taking a neural network approach, at the process of sales of footwear, and arriving at an optimum neural network model. The algorithms used for developing such model through neural network are both feedforward and recurrent Elman network. The data used in this work are the weekly sales of footwear and the information about the seasonality of sales process. While solving the problem, the focus is on forecasting of weekly retail sales as per the requirement of management. This work would reduce the uncertainty existing in the short-term/middle term planning of sales and distribution logistics of footwear over different time horizons across the entire supply chain of footwear business.     

业务导向及模型驱动MIS软件构建的模型体系研究*

针对目前模型驱动架构对MIS开发中的业务建模与需求建模不能提供有效支持这一问题,提出一个以业务为导向、支持模型驱动MIS软件构建的模型体系;建立了一个以业务过程建模为核心的集成化建模元模型,给出了模型详细定义,为实现业务导向及模型驱动的MIS构造模式提供理论基础。