导读:本文包含了统一模型语言论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:模型,建模,语言,语义,区间,在线,管理系统。
统一模型语言论文文献综述
蒋占四,吴义忠,王衍学[1]（2013）在《基于统一建模语言的仿真模型参数试验研究》一文中研究指出分析多领域物理系统统一建模技术的基础上,针对Modelica模型参数试验分析的关键技术,研究了两种模型试验方案构建的方法,一种是基于模型的编译信息的启发式方法,另一种利用Modelica统一语言表达来构建模型试验方案。研究实现了模型试验仿真求解过程。以数值模型和某耦合离合器模型参数试验验证了方法的有效性。从而为研究仿真模型参数之间耦合关系提供了有效方法和工具。(本文来源于《机械设计与制造》期刊2013年05期）
朱维军,周清雷,张海宾[2]（2011）在《扩展Tempura语言统一模型检测算法》一文中研究指出针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序逻辑公式所描述的性质.具体方法是首先翻译规范程序到命题扩展区间时序逻辑公式,然后使用该逻辑的公式满足性判定算法进行自动验证.验证实例证实了新方法的有效性.(本文来源于《华南理工大学学报(自然科学版)》期刊2011年07期）
周刘勇,程祖国[3]（2011）在《基于统一模型语言的城市轨道交通在线检测系统预研究》一文中研究指出城市轨道交通在线检测系统负责对运行中的车辆设备、轨道设备等的工作状态及参数进行实时检测及故障诊断。因关系到安全运行,故要求其具有高可靠性和较强的数据处理能力。阐述了在线检测系统的总体结构,在UML(统一模型语言)建模技术的基础上,提出了基于UML的系统模型。(本文来源于《城市轨道交通研究》期刊2011年02期）
魏桐,潘晓平,汤学军,张彤[4]（2010）在《基于统一建模语言的妇幼保健信息统计管理系统模型的建立》一文中研究指出目的建立妇幼保健信息统计管理系统功能模型,为下一步建立信息交互模型提供基础,同时为妇幼保健信息各分系统功能模型的建立提供依据。方法采用用例分析方法对妇幼保健信息统计管理系统进行功能分析,据此建立基于统一建模语言(UML)的系统用例图、静态模型及动态模型。结果建立了妇幼保健信息统计管理系统的用例图、静态模型及动态模型。结论基于UML的系统建模可以对系统功能精确把握,并支持新业务需求,优化业务过程,能够加速软件开发进程,提高系统开发效率。(本文来源于《中国妇幼卫生杂志》期刊2010年02期）
孙晓玲,林鸿飞[5]（2009）在《统一语义视图下的垂直领域跨语言检索模型》一文中研究指出随着Internet的快速发展和人们需求的不断提高,单语言的信息检索已经不能满足人们的需要,而网络语言的多样化和用户所掌握语言的差异性导致自由获取信息困难,因此跨语言检索受到了越来越多的关注。本文探讨了在生物医学领域的跨语言检索系统,利用医学本体CMeSH为检索语言和目标语言建立统一的语义视图。实验结果表明,统一语义视图下的垂直领域跨语言检索模型要比流行的机器翻译的方法效果有所提高。(本文来源于《中国计算机语言学研究前沿进展（2007-2009）》期刊2009-07-24）
牛力,周泓,贾素玲,韩小汀[6]（2009）在《基于统一建模语言的作业排序系统模型库设计研究》一文中研究指出针对车间作业排序系统中的模型库管理问题,采用面向对象的建模技术,结合模型库管理的一般要求和生产作业排序算法的具体特点,提出了一种可重用的车间作业排序系统模型库设计方案。该方案采用面向服务架构,引用各种所开发的排序模型和算法,建立了一套算法模型自动匹配与生成机制,并使用所生成的模型对排序问题进行优化计算。引入仿真模型对优化结果进行验证,并通过信息反馈对优化模型加以修正,最后通过示例阐述了使用统一建模语言对系统进行建模的过程。(本文来源于《计算机集成制造系统》期刊2009年03期）
陈希林,肖明清,王学奇[7]（2008）在《基于XML的模型统一描述语言研究》一文中研究指出结合机载导弹阵地战场抢修决策平台项目开发,提出模型统一描述语言来统一模型全寿命周期内的通信语言以减少通信噪声。提出了基于BNF和XML的模型统一描述语言的开发方法,研究了模型统一描述语言的体系结构和元语。作为开发方法的示例,给出了模型表示知识语言和模型复合知识语言的模式结构。(本文来源于《计算机工程与应用》期刊2008年35期）
汪洋,钱贵平,韩承双[8]（2008）在《基于STEP标准的统一BOM模型的EXPRESS语言描述》一文中研究指出在统一BOM模型的EXPRESS-G图基础上,从引用通用资源、类型定义、物料项实体定义、物料项关系实体定义4个方面详细阐述了基于STEP标准的统一BOM模型的EXPRESS语言描述。构建了产品、零部件、中间件、原材料与毛坯、资源和文档六类物料项实体,描述了具体产品的BOM、具体产品由下级具体零部件构成的层次关系和具体部件由下级子部件、零件及原材料(毛坯)构成的层次关系,并给出了具体实例。(本文来源于《机械工程师》期刊2008年07期）
颜博[9]（2008）在《统一模型语言UML2.0新特性》一文中研究指出随着面向对象技术在软件业界的广泛应用,为了解决复杂软件系统的开发,统一模型语言 UML 扮演的角色显得越发重要。在十多年不断的扩充与完善,UML 最新版本2.0已经相当完备。本文针对统一建模语言 UML 的新版本2.0与先前版本1.x 做了比较详实的比较,着重描述新版本的新增图组件以及原有图的一些新特性。剖析了如何借助 UML2.0版本的新特性,更加全面、方便的描绘软件蓝图,实现复杂软件系统的各种成分的可视化。(本文来源于《计算机与网络》期刊2008年06期）
郭峰[10]（2007）在《统一建模语言状态图的Petri网模型及其分析方法》一文中研究指出针对现有关于统一建模语言状态图形式化语义研究过程中存在的缺点,给出一种统一建模语言状态图的形式化语法表示方法,结合统一网、着色网定义了描述统一建模语言状态图动态语义的Petri网模型状态图网,状态图网可以准确描述状态图中的层间转移、转移的冲突和并发等现象,并且可以描述状态图转移上的数据处理和状态图之间的通讯机制,给出了从统一建模语言状态图到状态图网的转换规则,讨论了基于状态图网验证统一建模语言状态图正确性和一致性的方法。(本文来源于《计算机集成制造系统》期刊2007年07期）
统一模型语言论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序逻辑公式所描述的性质.具体方法是首先翻译规范程序到命题扩展区间时序逻辑公式,然后使用该逻辑的公式满足性判定算法进行自动验证.验证实例证实了新方法的有效性.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
统一模型语言论文参考文献
[1].蒋占四,吴义忠,王衍学.基于统一建模语言的仿真模型参数试验研究[J].机械设计与制造.2013
[2].朱维军,周清雷,张海宾.扩展Tempura语言统一模型检测算法[J].华南理工大学学报(自然科学版).2011
[3].周刘勇,程祖国.基于统一模型语言的城市轨道交通在线检测系统预研究[J].城市轨道交通研究.2011
[4].魏桐,潘晓平,汤学军,张彤.基于统一建模语言的妇幼保健信息统计管理系统模型的建立[J].中国妇幼卫生杂志.2010
[5].孙晓玲,林鸿飞.统一语义视图下的垂直领域跨语言检索模型[C].中国计算机语言学研究前沿进展（2007-2009）.2009
[6].牛力,周泓,贾素玲,韩小汀.基于统一建模语言的作业排序系统模型库设计研究[J].计算机集成制造系统.2009
[7].陈希林,肖明清,王学奇.基于XML的模型统一描述语言研究[J].计算机工程与应用.2008
[8].汪洋,钱贵平,韩承双.基于STEP标准的统一BOM模型的EXPRESS语言描述[J].机械工程师.2008
[9].颜博.统一模型语言UML2.0新特性[J].计算机与网络.2008
[10].郭峰.统一建模语言状态图的Petri网模型及其分析方法[J].计算机集成制造系统.2007
论文知识图
