基于π演算的软件人群体形式化建模

在参考多智体系统的基础上,根据大系统控制论的分解协调思想,提出一种软件人群体体系结构,并对其关键技术如本体库、知识库、任务库、通信协议、角色模型、交互模型等进行了描述. 描述了对该系统从分析到设计的整个构建过程,并采用π演算形式化方法对整个系统的信息流和控制流,以及任务之间的4种协作方式进行了建模. 对于不同的应用领域,通过定义相应领域的本体库和所需的角色以及任务分解,即可快速构建相应的应用系统,为分布式系统提供了一种解决方案.     

基于AutoCAD三维建模的《机械基础》螺纹联接设计

<正>《机械基础》是中职类学校一门理论性很强的技术基础课,其机械零件中的螺纹联接部分,教学用具多为二维静态挂图。学生理解起来比较费力。如运用AutoCAD的三维实体功能,并将三维运动仿真引入《机械基础》教学中让静态的零件动起来,激发了学生的主观能动性,也培养了学生空间想象能力和思维能力。本文为探索培养学生以能力为本位的职教理念,结合本人近年来教学创新设计的一点体会,着重就如何运用Auto CAD软件实现螺旋传动的三维运动仿真做一介绍．以辅助教学。     

数字化设备功能建模及其综合评价

根据数字化设备的特点,采用特征建模技术将设备信息分为6大类,并建立数字化制造资源特征模型.为适应快速多变的加工模式,提出设备加工能力评价体系:根据设备信息模型,提出特征筛选规则,建立设备加工能力规则库;采用综合模糊评价技术,建立综合评价模型,并且说明特征信息映射及其模糊化表示规则,给出了评价值规范化处理方法.通过实例分析可知,结果符合实际生产情况,实现了数字化设备的优化选择.     

一种基于体系结构的仿真使能方法

分析了体系结构仿真使能的需求,基于该需求研究了体系结构完备可执行的条件,扩展了体系结构描述规范,提出了满足完备性条件的一种可执行体系结构框架,给出了该框架的开发流程,并基于该框架提出了基于体系结构产品的仿真使能方法,介绍由体系结构产品直接产生仿真平台建模输入的映射理论和转换方法。该方法为提高仿真模型开发效率、保持系统设计和系统仿真之间的一致性提供了一种有效途径。以某给水系统作为案例,验证了体系结构建模到映射转换生成仿真模型的整个流程。     

校园供水管道漏损智能监测系统研究

高校校园供水网复杂多样,传统的供水系统漏损监测弊端多见,造成大量资源浪费.基于地理信息系统与数学模型建立设计了自动型现代化校园供水管道漏损智能监测系统,介绍了研究背景、模型建立、软件设计等方面的内容.     

UML与ADL在软件体系结构建模中的应用研究

通过软件体系结构理论在实践中的应用,探讨了统一建模语言UML与体系结构描述语言ADL在软件体系结构建模中结合使用的方法和途径.着重研究了UML与XYZ/ADL在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精.     

虚拟装配系统的建模、干涉检验及仿真

以产品特征模型为核心,提出了一种开发虚拟装配系统的特征建模方法和一种干涉检验算法,该特征建模方法采用矩阵存储装配关系的层级装配模型,实现了简化装配序列求解的目的;运用此干涉检验算法可以有效地计算产品各个零部件之间任意方向上的相对距离或干涉程度,然后综合特征建模方法提供的非几何信息进行可装配性分析·仿真部分包括装配仿真和运动仿真,利用层次装配模型生成的装配序列进行交互式有监督功能的装配仿真;参数化的运动仿真使用户可以充分了解机器的运动特性,发现与运动相关的问题,进行设计修正·     

数据挖掘在数字图书馆个性化服务中的应用

提供个性化信息服务是数字图书馆发展的必由之路.用户建模是实现个性化服务的关键,利用数据挖掘技术进行用户建模是个可行的高效的手段.     

UML-G:针对地理信息应用的面向对象建模语言

在分析其他学者的针对GIS的建立的OO(Object-oriented)模型基础上,基于目前已经成为建模技术标准的UML,并利用其扩展机制,包括构造型、标记值和约束,对UML进行扩展,定义了针对地理信息应用的面向对象建模语言UML-G,描述了UML-G的元模型,并采用UML-G对空间对象和空间关系的模型表达进行了研究,包括简单空间对象、覆盖对象、复合空间对象、时态空间对象以及空间关系的表现.通过分析以及相关实例的表述,表明UML-G可以很好地在GIS开发过程中使用,从而使得模型更加简洁并具有更好的表现能力.最后指出了进一步的研究方面.     

基于并行工程的模具设计及制造

简要介绍了并行工程的意义 ,讨论了传统的模具CAD/CAM /CAE系统与并行工程的区别 ,基于并行工程来缩短模具设计及制造周期的关键技术