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

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

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

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

中国重载线路列车重量与速度和密度关系研究

重载运输是中国铁路货运未来的发展方向,列车重量、速度和密度的合理匹配是解决铁路重载运输的关键问题之一,应根据国民经济和社会的需求及线路基本情况等确定三者间的匹配关系.本文从运输管理理论的角度,论述了我国重载线路列车重量、速度、密度合理匹配的基本准则应是"技术可行,经济有利,社会有益".这一准则对于推进我国铁路重载运输的发展有着重要的指导意义.     

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

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

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

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

铁路运输动态车流组织的策略优化模型研究

基于我国铁路网络规模大、列车组织形式多样化以及按图行车的特点,设计了与物理时空网络有所区别的服务时空网络.时空网是研究铁路动态车流组织的一种有效方法.借助于服务时空网,构建了我国铁路运输动态车流组织的策略优化模型,该模型将重空车运输联合考虑,并兼顾站点装卸能力、解编能力、输送能力以及政策性运输任务等对优化目标的影响.基于模型的特点,设计了能解决大规模网络问题的基于整数编码的改进遗传算法.最后以实例显示了该算法的有效性.     

需求导向的广珠城际铁路列车停站方案优化设计

本文根据广珠城际铁路客流特点,以旅客的总旅行时间最小为目标函数,考虑客流节点服务频率、单列列车停站次数、车站能力和列车运输能力约束,构建了广珠城际铁路列车停站方案优化模型,并设计遗传算法进行求解.算例分析表明,相比于现有方案,优化方案各等级节点服务频率分别减少了4.88％、7.41％、33.33％,各等级节点间平均服务...     

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

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

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

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

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

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