基于主体建模的建筑用能行为模拟研究综述

用能行为对建筑环境及能耗有重要影响,由于人的行为具有随机性和复杂性,用能行为在建筑模拟中往往被过度简化,基于主体建模为建筑用能行为模拟提供了有效的方法.探讨了用能行为和基于主体建模的内容,归纳了主体建模应用于建筑模拟的研究现状,介绍了将用能行为模型与建筑模拟耦合的几种方法,指出了建筑模拟领域的重点与难点,为建筑模拟和建筑运行管理研究拓宽思路.     

智能代理模型在电力市场模拟系统中的运用

电力市场机制设计及运行是相当复杂的课题,传统的统计学和理论分析工具均很难精确研究电力市场的经济特性与物理特性。针对此类复杂的社会系统,采用智能代理模型仿真研究是种新颖有效的途径,因而基于智能代理模型的电力市场研究平台随之成为深入分析电力市场的重要工具。一般而言,在电力市场智能代理模型的框架中,代理就是代替发电厂商决策报价的程序模块,为了体现发电厂商报价决策的理性,不同的学习算法被用来构建代理的决策模块。本文着重分析并探讨了电力市场模拟系统中的智能代理模型及其学习算法的运用与实现。通过算例表明,智能代理模型及学习算法在电力市场中的应用具有重要意义。     

基于主体的协同软件过程建模中的知识共享机制

知识在软件过程建模中起着关键性的作用，然而建模过程中的知识管理机制却没有引起足够的重视。探讨基于工作流的协同软件过程建模环境中以主体为基础的知识共享机制。首先讨论开发过程中的共享知识元素，并提出知识库模型和基于知识流的知识通信机制，最后介绍基于主体的知识管理的实现方法。     

二语习得研究方法:CAS理论的视角

复杂适应系统理论理论为学者们研究语言提供了新的理论框架。本文就是在这一背景下尝试探讨其对研究方法的启示。在研究方法方面,二语研究方法上可以借鉴隐喻的思维方法和基于主体的建模方法。     

战争系统基于人工生命的综合仿真方法

战争系统是典型的复杂系统,对其的研究必须以复杂性科学理论为指导,而基于人工生命的综合仿真方法为战争问题研究提供了新的思路。基于人工生命的思想,采用Agent的建模仿真方法构建了战争系统人工社会;对如某地区民意、舆论、经济以及国际政治生态等模型的总体思路和功能进行了介绍,并分析了已有的大量人工社会模型;对基于人工生命思想建模的有关问题,如涌现、问题的解以及个体适应性等进行思考和讨论,以期为该领域进一步的研究提供借鉴和帮助。     

Ontology-Based Context-Aware Middleware for Smart Spaces

Context-awareness enhances human-centric, intelligent behavior in a smart environment; however, context-awareness is not widely used due to the lack of effective infrastructure to support context-aware ap- plications. This paper presents an agent-based middleware for providing context-aware services for smart spaces to afford effective support for context acquisition, representation, interpretation, and utilization to ap- plications. The middleware uses a formal context model, which combines first order probabilistic logic (FOPL) and web ontology language (OWL) ontologies, to provide a common understanding of contextual in- formation to facilitate context modeling and reasoning about imperfect and ambiguous contextual informa- tion and to enable context knowledge sharing and reuse. A context inference mechanism based on an ex- tended Bayesian network approach is used to enable automated reactive and deductive reasoning. The middleware is used in a case study in a smart classroom, and performance evaluation result shows that the context reasoning algorithm is good for non-time-critical applications and that the complexity is highly sensi- tive to the size of the context dataset.     

供应链环境下基于Agent的协商决策

针对供应链环境中双边、多主题协商,采用基于相似度的协商决策方法,把时手发送的提议与自己将要提交的提议集进行比较,选择与对手提议相似度最高的提议作为最终提议。这种方法不仅能增加达成一致的几率,而且能增加双方的共同收益。     

一种改进的基于代理的Web服务管理方案

介绍了WSDL和UDDI的基本概念及二者之间的映射关系,提出了基于WSDL代理的面向切面(AOP)的Web服务管理方案,为统一管理Web服务提供了便利,为质量评估、服务组合等在具体服务中的应用提供了解决方案.     

基于Agent的个性化推荐系统的研究

本文提出了一种基于Agent技术的个性化推荐系统的设计方法。认知Agent（Cognitive Agent）可以根据每个用户个人偏好并综合全体用户的普遍偏好情况为用户提供个性化的推荐服务,此外认知Agent还能根据每个用户的消费行为动态修正偏好设定,从而达到良好的推荐效果。本文还通过一个图书推荐系统的实例给出了基于Agent的个性化推荐系统在JACK平台下的具体设计和实现方法。     

系统动力学在国内外的发展历程与未来发展方向

回顾了系统动力学的国内外发展历程,特别是对20世纪90年代以来,系统动力学在宏观领域、项目管理领域、学习型组织领域、物流与供应链领域所取得的成果进行了综述。最后指出了在基于主体的建模,心智模型、制订动态决策与学习,组织和社会的进化等理论领域和模拟软件等技术领域系统动力学未来面临的挑战和发展方向。     

Towards a methodology for formal design and analysis of agent interaction protocols

Various extensions of UML have been developed to meet the challenges of designing modern software systems, such as agent-based electronic commerce applications. Recent advances in model checking technology have led it to be introduced into the development of approaches and tools to check the correctness of electronic commerce protocols. This paper focuses on the research of a method that connects an extension of AUML to model checker-SPIN/Promela for the specification and verification of agent interaction protocols (AIP) in electronic commerce. The method presented here allows us to combine the benefits of visual specification with the power of some static analysis and model checking. Some algorithms and rules are developed to permit all visual modeling constructs translated mechanically into some Promela models of AIP, as supported by the model checker-SPIN. Moreover, a process is illustrated to guide the specification and verification of AIP. The method is demonstrated thoroughly using the e-commerce protocol-NetBill as an example.     

基于移动agent的软件实体适配技术研究

在开放的Internet平台上，通过对已有软件实体进行集成以构建应用系统成为一种重要的软件开发方法．其中软件适配技术是关键技术之一．传统适配技术对Internet这个开放平台上的软件集成的支持存在欠缺，主要表现在对可组合、可重用、可配置和可移动的支持不够．利用agent的移动性和封装能力，提出了一种基于移动agent技术的适配方法．提出了一个统一的agent集成框架及其支撑技术，有效支持软件适配内容的封装和运行．在该框架中，对适配的一个重要方面——组合实体——进行了探讨．最后介绍了移动agent适配技术的系统实现．     

Rigorous Modeling of Real-time System Based on UML and PVS

Rigorous modeling could improve the correctness and reduce cost in embedded real-time system development for models could be verified. Tools are needed for rigorous modeling of embedded real-time system. UML is an industrial standard modeling language which provides a powerful expressi-veness, intuitive and easy to use interface to model. UML is widely accepted by software developer. However, for lack of precisely defined semantics, especially on the dynamic diagrams, UML model is hard to be verified. PVS is a general formal method which provides a high-order logic specification language and integrated with model checking and theorem proving tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time system. In this approach, we provide 1) a timed extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexible and friendly in modeling, extendable in formalization and verification content, and better performance. Time constraints are modeled and verified and its a highlight of this paper.     

Agent与基于Agent系统

对Agent、基于Agent系统、Multi-agent系统的定义、特征等方面进行了闸述。初步说明了基于Agent系统的应用特征与应用现状。     

采用ABMS方法的煤炭企业服务化绩效的影响机制研究

本研究认为煤炭企业服务化转型是促进产业结构调整与升级的有效措施.为了分析服务化对企业绩效的影响机制,将服务化分为服务创新与组织创新两个维度,并采用基于Agent的建模仿真(Agent-Based Modeling And Simulation,ABMS)方法和CobbDouglas生产函数构建企业服务化创新多Agent仿真模型,通过确定管理者、员工、科研机构和政府等Agent及其属性,借助Netlogo仿真平台模拟组织变革水平、知识获取水平和政策支持对服务化绩效的影响程度.结果表明:组织变革水平与服务化绩效之间呈S型曲线关系;知识获取水平与服务化绩效之间呈倒U型曲线关系;政策支持与服务化绩效具有显著的正向影响.多Agent仿真模型促进了服务化对绩效影响的定量化分析研究,为煤炭企业决策提供了有效依据.     

集成CORBA和UML的分布式应用开发

简要介绍了采用通用对象请求代理体系结构（CORBA）技术的分布式应用系统开发过程和基于UML的面向对象建模技术,提出了一种以基于UML的面向对象建模技术和CORBA技术为基础的分布式应用的集成开发方法,可以将系统分析、设计和实现三阶段有机、无缝地集成,以方便迅速地开发出开放、可重用和可扩展的分布对象系统,并指出了该开发方法中的2个关键问题：UML到OMG IDL的映射,以及对象在系统中的分布。最后,以虚拟银行系统的开发为例,展示了这种集成开发方法,验证其可行性和优点,并指出其局限性。     

矿床的体视化仿真技术与实现

为解决矿床仿真构模中对矿床几何信息描述和属性信息描述中存在的模型分离问题,采用体视化技术,建立了体矿床模型.通过分析矿床体视化仿真中的数据流程,建立了表现矿体空间分布、矿体中重点区域、矿体剖切分层的三类体模型,并实现了直接基于体模型的矿石储量、金属量的计算工作.经实例分析表明,利用体矿床建模技术,不仅能够进行矿床属性的定性分析,而且便于进行定量计算,为完善矿床建模技术提供了一条途径.     

基于UML活动图的动态工作流过程建模的研究

在形式语义的支持下,提出了一种适合动态工作流过程建模的方法.该方法在扩展UML活动图的基础上给出了一种建模机制,利用扩展的UML活动图来对动态工作流的过程进行建模.最后,将该方法用于一个汽车企业产品研发的过程建模实例,且建模结果证明该方法是适合的.说明了基于扩展的UML活动图的工作流过程建模方法对动态工作流过程建模的有效性.     

基于Agent的DEVS形式化描述与算法实现

为了解决离散事件系统规范DEVS(discrete event system specification)中没有对智能行为提供直接描述方法的问题,将智能体(Agent)建模思想引入到DEVS中,提出了一种具备一定智能性和协作性描述能力的离散事件系统规范Agent-DEVS。该规范以并行DEVS为基础,状态元组被扩充成为Agent特征元组;增加了体现个体智能性的Agent模型元组;并将模型端口的输入、输出扩展成为体现社会协作性的Agent消息类型。另外,还给出了Agent-DEVS模型的实现算法,并将其应用于企业生产调度的仿真建模。算法分析与仿真试验表明,Agent-DEVS的优点主要体现在建模性能上,它可以描述更加复杂的智能行为和自治行为,在计算时间上对整体复杂性的影响不大。