检索结果-内蒙古大学图书馆

华中科技大学学报（自然科学版） 2005年第z1期33卷 164-167页

作者：万海李磊白勇中山大学软件研究所

多流程系统表示及多流程交互模型的研究对于以业务流程为中心的复杂信息系统开发有重要意义.提出基于动作逻辑中的情景演算来描述流程的静态模型;将流程状态的变化定义为事件,作为流程间交互的中介,以描述流程的动态行为;并提出一个基... 详细信息

多流程系统表示及多流程交互模型的研究对于以业务流程为中心的复杂信息系统开发有重要意义.提出基于动作逻辑中的情景演算来描述流程的静态模型;将流程状态的变化定义为事件,作为流程间交互的中介,以描述流程的动态行为;并提出一个基于黑板的流程交互模型,实现异步数据交换,具有集中控制、共享数据结构等特点,适用于流程间事件消息的传递,模型具有松耦合、灵活、通用和高效等特点;此研究方法与模型在CTS系统设计开发中得到具体应用.

关键词：多流程交互情景演算黑板模型软件模型

来源：评论

学校读者我要写书评

暂无评论

球面等积网格系统生成算法与软件模型研究

引用

测绘学报 2007年第2期36卷 187-191页

作者：贲进童晓冲张永生陈荣国信息工程大学测绘学院河南郑州450052 资源与环境信息系统国家重点实验室北京100101

利用全球离散网格系统管理海量空间信息是一种受到普遍关注的新途径,具有等积特性的网格系统在大范围遥感影像数据处理方面具有重要的理论意义和应用前景。文中论述的算法在二十面体展开图上建立坐标系描述不同剖分产生的多分辨率网格,... 详细信息

利用全球离散网格系统管理海量空间信息是一种受到普遍关注的新途径,具有等积特性的网格系统在大范围遥感影像数据处理方面具有重要的理论意义和应用前景。文中论述的算法在二十面体展开图上建立坐标系描述不同剖分产生的多分辨率网格,利用施奈德多面体投影映射到球面。针对算法特点设计具有网络模拟功能的软件模型。实验结果表明,该软件模型具有较好的扩展性。

关键词：等积球面网格系统算法软件模型

来源：评论

学校读者我要写书评

暂无评论

基于UML的列车运行调度系统软件模型

引用

中国铁道科学 2005年第5期26卷 107-111页

作者：王宏刚张一军张琦王建英王壮峰铁道科学研究院通信信号研究所

按照面向对象软件工程的思想,在对列车运行调度系统分析的基础上,对系统中各实体之间的静态关系和动态关系进行研究,并详细描述软件系统的分析和设计过程。基于UML建立软件系统的用例图、类结构图、序列图和状态转移图,从静态和动态两... 详细信息

按照面向对象软件工程的思想,在对列车运行调度系统分析的基础上,对系统中各实体之间的静态关系和动态关系进行研究,并详细描述软件系统的分析和设计过程。基于UML建立软件系统的用例图、类结构图、序列图和状态转移图,从静态和动态两个角度描述调度系统的软件模型。用例图从用户的角度描述系统的功能;类结构图指明系统中存在的类以及类之间的静态关系,描述系统的静态模型;序列图着重描述控制流在对象之间的流动过程,状态转移图描述对象的转移过程以及状态变化的条件。序列图和状态转移图从不同的角度描述系统的动态行为,建立系统的动态模型。该模型已用VC++6.0实现,并在高速铁路综合调度仿真系统中得到应用。

关键词：列车运行调度 UML 软件模型面向对象软件工程

来源：评论

学校读者我要写书评

暂无评论

一种面向服务的水文遥测软件模型

引用

水利水电技术 2003年第11期34卷 8-11页

作者：艾萍何勇军河海大学计算机及信息工程学院江苏南京210098 南京水利科学研究院江苏南京210029

基于网络的水文遥测系统存在复杂的异构性,导致其软件系统的复杂化,致使多个系统间难以集成,为此,以面向服务的软件体系结构为分析和描述水文遥测系统的基本依据,形成基于Web Service的水文遥测系统软件模型,提出了将系统分割为业务逻... 详细信息

基于网络的水文遥测系统存在复杂的异构性,导致其软件系统的复杂化,致使多个系统间难以集成,为此,以面向服务的软件体系结构为分析和描述水文遥测系统的基本依据,形成基于Web Service的水文遥测系统软件模型,提出了将系统分割为业务逻辑相对独立的各类服务,并按控制及数据的分布部署服务的原则。

关键词：面向服务体系结构 Web Service 软件模型水文遥测系统

来源：评论

学校读者我要写书评

暂无评论

支持PnPW集成的开放式SMS软件模型与结构设计

引用

弹箭与制导学报 2011年第2期31卷 207-210页

作者：郑磊刚聂光戍许凌权王凯空军工程大学工程学院西安710038

针对即插即用武器集成要求,开放式悬挂物管理系统需要在不修改系统软件的前提下完成新武器的集成,为此,提出一种全新的软件设计思想。设计了系统的软件模型,从而得到软件的体系结构,完成了从系统功能层到武器控制层,以及操作系统和模块... 详细信息

针对即插即用武器集成要求,开放式悬挂物管理系统需要在不修改系统软件的前提下完成新武器的集成,为此,提出一种全新的软件设计思想。设计了系统的软件模型,从而得到软件的体系结构,完成了从系统功能层到武器控制层,以及操作系统和模块支持层的设计,通过系统软件对硬件资源的调用来分析软件的使用过程,最终实现了软件的功能。

关键词：即插即用武器开放式悬挂物管理系统软件体系结构软件模型模块化

来源：评论

学校读者我要写书评

暂无评论

钢铁企业APS优化引擎的软件模型研究及应用

引用

计算机应用研究 2011年第2期28卷 606-608页

作者：施灿涛杨国俊李铁克北京科技大学经济管理学院北京100083 钢铁生产制造执行系统技术教育部工程研究中心北京100083

分析了钢铁企业APS理论和应用研究现状,总结了钢铁生产计划体系中的优化问题和求解方法,在此基础上,提出了钢铁企业APS优化引擎的软件模型ISMA。模型以通用性、独立性、可重用性和可扩展性为目标,分为接口层、求解层、模型层和算法层,... 详细信息

分析了钢铁企业APS理论和应用研究现状,总结了钢铁生产计划体系中的优化问题和求解方法,在此基础上,提出了钢铁企业APS优化引擎的软件模型ISMA。模型以通用性、独立性、可重用性和可扩展性为目标,分为接口层、求解层、模型层和算法层,阐述了各层的分工和协作方式。最后以钢轧一体化批量计划编制问题为例,说明了模型的应用方法。

关键词：钢铁生产高级计划与排程系统优化引擎软件模型

来源：评论

学校读者我要写书评

暂无评论

地震资料并行处理过程的软件模型及实现

地震资料并行处理过程的软件模型及实现

引用

作者：赵连功中国科学院地质与地球物理研究所

学位级别：博士

论文结合由中国科学院与中国海洋石油总公司联合资助的“深海地震勘探技术与并行处理系统研究(1)”及“超大型地震资料处理并行计算及新技术研究”项目，围绕有效实现石油勘探软件国产化的问题，详细论述了具有自主知识产权且适合海洋... 详细信息

论文结合由中国科学院与中国海洋石油总公司联合资助的“深海地震勘探技术与并行处理系统研究(1)”及“超大型地震资料处理并行计算及新技术研究”项目，围绕有效实现石油勘探软件国产化的问题，详细论述了具有自主知识产权且适合海洋数据特点的海洋地震资料并行处理系统(简称MPS)自主设计和实现及部分子系统的详细研究，取得了以下几点研究成果：\n 1通过对软件开发过程的研究，提出了地震勘探软件自主开发成功的三个必要条件。一是要具有特色的地震勘探核心技术内涵(如具保结构算法数值性质的叠前深度偏移技术)，这是自主知识产权软件系统的关键；二是要充分了解海洋石油勘探软件的用户需求，提出符合生产应用的软件设计框架；三是要具备良好的软件系统集成能力，要将先进的软件工程理论(如OOD)与石油勘探软件系统的具体实践紧密结合，并利用优秀的开发工具(如KDE/Qt等优秀的GUI设计开发工具)实现软件设计。\n 2软件观测系统定义模块已成功地集成了以下多种功能：\n ①二维、三维手工输入和成批规则加载输入，为用户提供多种操作便于按照施工班报实现快速界面化的观测系统定义；\n ②可加载多种标准格式的观测系统文件，如SPS、UKOOA等标准格式文件；\n ③自动保存定观过程用户输入信息，减少因定观失败或者用户重新定观时的繁琐输入。\n ④采用数据库管理整个工区数据，保证了数据的安全及便捷存取。\n 3基于多线程并行计算技术，提供便于并行模块集成化的并行开发库和并行工具包；可将常规处理的单数据流集成为并行处理的多数据流，从而实现了进程内多任务并行，使得地震资料并行处理流程、并行运行和监控的能力有了显著提高，也使处理系统具有较好的可扩展能力。

关键词：地震资料并行处理软件模型深海地震勘探叠前深度偏移

来源：评论

学校读者我要写书评

暂无评论

防空导弹仿真软件模型验证方法研究

引用

现代防御技术 2013年第2期41卷 73-78页

作者：倪春雷汪浩吕隽中国人民解放军92941部队中国人民解放军92493部队博士后科研工作站

研究了防空导弹仿真软件模型验证方法,建立仿真模型验证流程,采用平滑化、归一化等方法,对试验数据进行预处理,运用图示比较、系数分析、窗谱密度估计等方法对模型进行了验证。将实物试验数据结果与相同初始条件下的仿真试验结果进行了... 详细信息

研究了防空导弹仿真软件模型验证方法,建立仿真模型验证流程,采用平滑化、归一化等方法,对试验数据进行预处理,运用图示比较、系数分析、窗谱密度估计等方法对模型进行了验证。将实物试验数据结果与相同初始条件下的仿真试验结果进行了一致性检验,并给出定量分析结果,从而验证仿真软件模型的置信度,为防空导弹仿真软件模型验证提供了一种较为有效的方法和途径。

关键词：防空导弹仿真软件模型验证

来源：评论

学校读者我要写书评

暂无评论

产品检测工业物联网软件模型及关键算法研究

产品检测工业物联网软件模型及关键算法研究

引用

作者：王玺中国海洋大学

学位级别：博士

随着工业4.0时代的到来，以及《中国制造2025》纲领的制定，智能制造成为当前工业发展的主题。质量是企业的生命，产品检测系统在保证产品质量方面发挥着不可替代的作用。目前广泛应用的各种产品检测系统，还不能够满足工业4.0的要求，... 详细信息

随着工业4.0时代的到来，以及《中国制造2025》纲领的制定，智能制造成为当前工业发展的主题。质量是企业的生命，产品检测系统在保证产品质量方面发挥着不可替代的作用。目前广泛应用的各种产品检测系统，还不能够满足工业4.0的要求，在自动化程度、智能化程度等许多方面都有欠缺，制约着企业整体生产力水平的提高。本文针对产品检测工业物联网应用场景的特点，研究了系统软件模型，设计了适用于该系统的室内定位算法、检测数据匹配算法、多传感器数据融合算法以及检测任务调度算法，通过实验和原型系统验证了本文提出模型和算法的可行性和有效性。具体的研究内容包括以下几个方面：　　1）建立了产品检测工业物联网软件整体架构模型，自下而上将系统划分为检测对象、数据采集、数据层、管理层和应用层，对具体功能进行了定义。在整体架构基础上，提出了基于标准接口的集成架构模型，以及面向产品检测的云服务模型。　　2）针对系统对人员定位管理的需要，提出了基于PDR和地标的室内融合定位算法（LandmarkaidedPDR，LaP）。算法充分利用了室内的布局信息，包括AP、门、拐角和墙壁等特殊地理位置，并建立地标数据库，利用这些地标对PDR定位结果进行修正。实验结果验证了该融合定位算法的可行性和有效性。　　3）针对检测数据匹配问题，研究了时间序列的近似表示和相似性度量，提出了基于均匀采样和特征点的混合近似表示方法，以及基于Euclidean距离和DTW距离的混合相似性度量方法。实验结果表明，本文提出的时间序列匹配算法在保证匹配成功率的同时，也提高了匹配效率。　　4）针对系统中的事件识别问题，对事件识别数据进行分析和处理，在融合多传感器检测数据基础上，得到基于概率的事件识别规则，用于事件识别和传感器故障诊断。事件识别规则可实时更新，事件识别成功率较高。　　5）针对检测任务调度问题，将其抽象为具有共享和多模资源限制的平行机调度问题（ParallelMachineSchedulingwithSharedandMulti-modeResources，PMS-SMR），建立了整数规划数学模型，分析了问题解的下界，提出了基于混合粒子群（ParticleSwarmOptimization，amp;nbsp;PSO）的优化调度算法，对粒子群进行了离散化表示，在迭代过程中引入了多种局部搜索策略，加快了求解速度和质量。仿真实验结果表明算法能够获得较优的调度结果，且算法能够在可接受的执行时间内返回结果。　　6）开发了检测质量平台原型系统，对系统的主要功能和架构进行了说明。平台基于Java和.Net语言开发，实现了产品检测整个业务流程的基本功能。通过开发原型系统，验证了本文提出的软件模型和关键算法的可行性和有效性。

关键词：软件模型工业物联网室内定位时间序列匹配数据融合任务调度

来源：评论

学校读者我要写书评

暂无评论

基于UML的软件模型检测方法研究与应用

基于UML的软件模型检测方法研究与应用

引用

作者：崔小丹西安理工大学

学位级别：硕士

统一建模语言UML(United Modeling Language)是一种面向对象分析和设计的可视化建模语言，其建模环境及其软件开发过程已被各界广泛认可及应用，但是其图形化的语言缺乏精确的语义描述，加之当前软件系统的规模及自身的复杂性不断增大... 详细信息

统一建模语言UML(United Modeling Language)是一种面向对象分析和设计的可视化建模语言，其建模环境及其软件开发过程已被各界广泛认可及应用，但是其图形化的语言缺乏精确的语义描述，加之当前软件系统的规模及自身的复杂性不断增大，导致使用UML建模的软件系统的正确性及有效性难以得到保证，而形式化方法可以很好地弥补UML在语义描述上的欠缺。因此，基于UML的软件形式化验证的研究具有很强的现实意义。模型检测技术是当前一种应用比较广泛的形式化验证方法，近来学术界努力地将其在硬件领域的成功延伸到软件领域，以加快软件系统形式化验证的研究进程。目前，基于模型检测技术对软件进行形式化验证的研究已成为热点。\n 本文将软件设计阶段的UML模型的形式化验证方法作为研究对象，在查阅大量资料、深入学习相关知识、总结国内外在该领域的研究现状及其成果的基础上进行了深入的研究，主要包括三个方面的工作：\n 首先，阐述了模型检测工具SPIN的工作原理和特点，并深入学习了其输入语言Promela和线性时态逻辑公式LTL；\n 其次，制定了一套涵盖UML模型静态信息和动态行为的形式化转换规则，同时实现了在SPIN的平台下对一组包含类图、状态图及协作图的UML模型子集的形式化验证；\n 最后，基于复杂多层次的状态图和UML2.0顺序图所增加的交互片段概念，改进了一种UML模型视图间动态特性的一致性验证方法，在该方法中，尝试使用基于XYZ/E的中间方法实现对状态图的形式化转换，通过验证状态图所对应的Promela模型是否满足顺序图所对应的LTL公式来达到验证一致性的目的。

关键词：统一建模语言转换规则软件模型检测方法

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：