基于π演算的多agent系统建模与分析

Dynamic architecture of multi-agent systems (MAS) is important for critical systems. As the existing formal specifications of MAS cannot describe its dynamic architecture, a formal approach using π-calculus is presented, which is suited for the describing and analyzing of concurrent MAS with dynamic topology. π-calculus describes the belief-desireintention (BDI) model that represents agent's mental states and provides many useful facilities to analyze MAS model such as deadlock, behavior equivalence, and model checking. To illustrate the favorable representation capability of π-calculus, an example of dynamic multi-agent systems in e-commerce is provided. Finally, by using an existing π-calculus supporting tool,MAS model and some key behaviors properties are analyzed and verified.     

基于π-演算的web服务流的分析与建模

为了提高web服务流程的有效性和可靠性,提出了π-演算形式化方法.该方法能克服web服务流语言不能表明一致性及进行验证等缺陷.讨论了web服务流的π-演算分析和建模,对WS-BPEL语法元素及动态基本活动进行了分析和形式化刻画,同时,对π-演算和WS-BPEL的相互映射进行了描述.最后,利用π-演算描述web商业流程基本结构,并从不同角度探讨了用π-演算进行商业建模的方法,有效地对WS-BPEL所述商业流程进行了π-演算的分析和建模.     

基于多Agent的定检修理任务调度系统建模与分析

本文根据维修作业任务调度的复杂性,以及当前存在的问题。提出了基于Multi-Agent技术的维修作业任务调度系统,采用IDEF0功能建模方法建立了基于管理Agent、任务Agent和资源Agent的系统模型,并对系统的调度流程进行了研究与分析。     

基于UML的印刷厂系统的分析与建模

本文以UML为工具,通过对印刷厂进行调查,将从业务用例图获得系统用例图这种方法用于实际中进行需求分析,说明了该方法的重要性,并进一步建立类图、序列图,以完善需求分析,为该应用软件的实现奠定基础。     

基于多agent的认知型自主学习策略模型

本文主要研究基于多agent的认知型自主学习策略模型（MACIS）。本模型建立在智能计算机辅助教学系统模型（ICAI）基础上,通过多agent之间的互相协作完成学习任务,并运用人工神经网络（ANN）中的反向传播算法（BP）,结合认知理论,建立能反映学生学习水平和认知能力的认知型自主学习策略模型。     

逻辑演算与分析教学

分析课程内容丰富,应用广泛,数学周期长,教学中出现的困难也较多。如何提高教学效率?这是很有意义的课题。实践表明,藉助于逻辑演算,可以有效地降低教和学的难度。 1 日常语言的符号化 古老的算术应用题曾使件多人大伤脑筋。代数学产生后,人们可以用代数方法轻松地解决各种各样的应用题,因为解方程的每个步骤,已经包含着算术方法的推理过程。分析中许多基本概念采用,语言描述,叙述较长,初学者难以把握。从而在推理时,容易发生“模棱两可”,“似是而非”,“有理说不清”等现象。但分析中的语句可以藉助逻辑记     

多品种多阶段生产系统问题建模优化分析

针对制造业生产车间多品种多阶段生产问题,设计其生产逻辑模型和优化方案并进行仿真实验。首先运用Erlang函数设置加工时间和输出端口,通过计算队列平均产品数和平均等待时间,找出影响生产效率的瓶颈因素;进而修正车间处理器的数量,缩减其加工时间,使得平均容量明显增加,空闲时间明显减少,产品出产量有效提高;最后运行优化后的仿真模型并进行实验结果分析,表明该模型及仿真优化方法的有效性。     

基于CPN的教学质量评价系统的建模与分析

教学质量评价是教师了解课堂教学情况、获得反馈信息、提高教学质量的有效途径之一.本文研究了高校教学质量评价的过程,利用着色Petri网对高校教学质量评价的过程进行建模与分析,并使用CPN Tools检测所建模型的合理性,实现对高校教学质量评价过程的验证.     

基于UML网站论坛系统的建模分析与设计

本文概要地介绍了UML建模语言的语法语义、应用领域及其优点，探讨了系统开发过程中以用例为中心的开发方式。并结合网站论坛系统的需求分析，较为详细地介绍了UML图形标注方法在系统可视化建模中的具体应用。     

基于五行学说的五脏系统模糊建模与分析

结合五行的基础理论与模糊系统理论,分别对单个脏系和整体的五脏系统进行分析,并建立模糊模型进行模糊化,使五脏系统处于生理平衡状态.     

基于Simulink的中央空调系统建模与仿真

随着我国经济的逐步增长，居住条件日益改善，人们对生活环境舒适度的要求越来越高，对中央空调的需求越来越大，对它的舒适、节能、健康更加重视。因此，设计一项舒适、节能、健康的中央空调工程是很有实际意义的。本文主要是利用MATLAB软件中的Simulink对在某一特定的空间内所设计的空调系统进行建模与仿真。     

基于UML系统建模的研究与实践

统一建模语言（UML）是面向对象分析和设计过程中重要的建模工具．以高校学生成绩管理系统为例。基于UML对系统进行较为完整的建模,建立了包括用例图、类图、顺序图、状态图、活动图、部署图的系统静态结构模型、动态行为模型和物理模型,使系统具备实用性、规范性和有效性．     

基于Simulink的中央空调系统建模与仿真

随着我国经济的逐步增长,居住条件日益改善,人们对生活环境舒适度的要求越来越高,对中央空调的需求越来越大,对它的舒适、节能、健康更加重视。因此,设计一项舒适、节能、健康的中央空调工程是很有实际意义的。本文主要是利用MATLAB软件中的Simulink对在某一特定的空间内所设计的空调系统进行建模与仿真。     

甘岑后继式演算系统与其自然演绎系统的比较

《逻辑演绎研究》(“Untersuchungen über das Logische Schliessen”)是甘岑提交哥廷根大学的就职论文,文中甘岑提出了两种逻辑演算系统,即“自然演绎”和“后继式演算”系统。从自然演绎开始甘岑尝试构造一个接近数学实际推理的逻辑演算,而后针对自然演绎系统的不足进行了转化和改进,构造了后继式演算系统,并证明了该逻辑演算系统的合理性。甘岑的逻辑演绎思想在逻辑史上具有十分重要的地位,对现代逻辑和证明论的发展具有深远的影响。     

基于收费系统的UML建模

采用统一建模语言（UML）对自来水公司收费系统进行需求分析,通过建立用例图、类图、时序图,完成了对典型系统静态和动态模型的建立,确保收费系统能够顺利地开发与实现。     

基于多幅照片的人脸三维建模

在通用三维人脸模型的基础上，提出了一种基于多幅不同角度的人脸照片的三维人脸建模方法。该方法从多幅照片中提取面部特征点，修改通用人脸模型来生成具体的人脸三维模型。     

基于Multi-Agent的供应链系统建模

供应链管理是目前管理界一种先进的系统管理思想,它把企业间的竞争扩展为供应链之间的竞争。然而,由于各供应链成员都是独立的利益主体和决策主体,供应链运行往往具有自治性、分布性、并行性等特点,各供应链成员在供应链运行过程中不可避免地存在着这样或那样的冲突。目前利用具有一定自主推理、自主决策能力的智能自主体以及由其组成的多智能主体系统用来模拟、优化、实施、控制企业供应链的运行,是研究和实施供应链管理的重要方法之一。     

基于Modelica语言的制粉系统建模与仿真

系统建模的主要目的是了解和研究系统运行特点及其动态特征.制粉系统中磨煤机的惯性与延迟是造成锅炉难以控制的主要因素,因此建立能够直观反映制粉系统强耦合、非线性特征的控制系统具有重要意义.使用多领域复杂物理系统的建模语言Modelica,在开发环境OpenModelica下,充分利用软件面向对象功能,以及参数化、模块化、图...     

基于Petri网的加工中心系统建模与仿真

介绍Petri网的基本理论，利用它对某车间加工中心系统生产过程建立模型，反应整个系统的加工动态特性，用ARENA7．0语言进行仿真研究，分析系统资源配置的合理性、高效性，提出更实际、更完整、更复杂的制造自动化未统的建模与仿真要求。