导读:本文包含了实时构件模型论文开题报告文献综述及选题提纲参考文献，主要关键词:BIM,单体构件,碰撞检测
实时构件模型论文文献综述
刘雅艳[1]（2016）在《基于古建筑BIM模型单体构件的实时碰撞检测研究》一文中研究指出碰撞检测技术在叁维虚拟漫游中起着非常重要的作用,传统的碰撞检测算法大多基于模型对象整体进行检测,主要通过漫游对象与建筑模型整体包围盒进行碰撞检测,进而将漫游对象与具体的建筑模型每个叁角网面片进行碰撞检测,这种针对于古建筑奇特复杂结构模型而言并不适用,复杂的计算使得碰撞检测很难达到实时性。为解决这一问题,提出了一种基于古建筑BIM模型单体构件的实时碰撞检测算法,首先将漫游对象与建筑模型整体包围盒进行碰撞检测,进而与属于该建筑整体的构件模型包围盒进行并行碰撞检测,从而实现实时的碰撞检测。(本文来源于《黑龙江科技信息》期刊2016年22期）
贾仰理,张振领,李舟军[2]（2010）在《基于自动机的构件实时交互行为的形式化模型》一文中研究指出采用形式化方法对复杂实时构件系统交互行为进行描述和验证,对于提高系统的正确性、可靠性等可信性质具有重要意义。分析了基于进程代数和自动机的构件交互行为形式化建模方法各自的优缺点,在此基础上提出了基于时间构件交互自动机的建模方法,给出了时间构件交互自动机的相关定义、组合和验证算法。时间构件交互自动机引入了时间限制、时间代价、时间代价计算半环、构件组合层次等概念,既能够描述构件交互情况,又能够清楚地表示出构件系统的体系结构信息和实时信息,便于对系统进行描述和验证。最后,结合具体应用给出了应用示例。(本文来源于《计算机科学》期刊2010年09期）
罗晓茜,刘晓燕,谷世江,孙璐炜[3]（2010）在《实时系统构件模型及构件库研究》一文中研究指出针对实时系统具有时间约束性强、可靠性要求高等特点,在吸收现有构件模型优点的基础上,提出了一种实时系统构件模型CMRTS。该模型关注实时系统构件的特征信息及其接口。为了方便管理构件,设计了一个基于Web的实时系统构件库WRRTC,为有效使用实时系统构件提供支持。(本文来源于《计算机时代》期刊2010年04期）
字天文,刘晓燕,沈嘉权[4]（2009）在《实时嵌入式构件模型组装方法及时间性推理》一文中研究指出针对实时嵌入式系统特点,提出一种可行的具有较好普适性的软构件模型及构件组装机制,使用形式化方法描述构件接口规约及组装规约,并给出构件时间性的推理方法,旨在实时嵌入式系统中构建更加通用、简易、开放的构件模型和更加合理的构件组装推理机制。(本文来源于《计算机工程与应用》期刊2009年25期）
字天文[5]（2009）在《实时嵌入式软构件模型及构件组装方法研究》一文中研究指出随着当今实时嵌入式应用的迅速发展,快速高效地开发出适合市场需要的高质量软件已经成为一个实时嵌入式产品能否成功的重要条件。基于构件的软件工程及软件开发(CBSE/CBSD)已在通用系统开发中大量应用并占据重要地位,而由于实时嵌入式系统的复杂特性及特殊应用使CBSE/CBSD在该领域的应用还尚未成熟。目前的一些应用于实时嵌入式领域的构件模型虽对CBSE/CBSE开发提出了有效的解决方案,但大多局限于具体领域及特定平台,大多缺乏对实时行为及时间性的开放描述,并在构件可复用性方面仍不完善,难以做到开放性、普适性及把CBSE/CBSD思想贯穿在整个开发周期中。鉴于以上现状,本文基于软件工程学理论进行实时嵌入式系统开发的可重用技术研究,以研究构件组装机制与组装方法为核心,基于构件技术与形式化技术提出了一种具有较好普适性并能够准确描述实时嵌入式系统功能及非功能特性、行为及时间性的抽象软件构件模型——ESDCM。该模型给出了一套可行的模型描述理论体系,定义了形式规约机制,支持图形化构件组装建模设计并使用基于规约推导的方法完成构件的组装。本文首先介绍实时嵌入式软件构件技术及相关形式化技术,提出ESDCM抽象软件构件模型,定义模型元素、规约机制并给出构件接口规约描述(使用类BNF范式),其次提出该模型的构件组装机制并使用扩展的Wright语言(基于CSP、TCSP语言)描述构件组装规约,接着研究构件组装规约中行为规约及时间规约描述方法,并重点给出了复合构件行为及时间的组装推导方法。最后给出构件组装开发策略,讨论基于ESDCM构件模型的构件组装过程及步骤,并给出一个实时嵌入式系统的构件组装开发实例,借此介绍ESDCM构件模型各种规约的描述举例以及基于规约推导的构件组装方法的应用。基于ESDCM构件模型使用规约推导的开发方法为实时嵌入式的CBSE/CBSD应用注入了一种新的开发理念。本课题研究旨在实时嵌入式系统中构建更加通用、简易、开放的构件模型和更加合理的构件组装推导机制,为实时嵌入式系统开发应用及课题后续工作提供了理论支持与技术支持。(本文来源于《昆明理工大学》期刊2009-02-27）
陈立宏[6]（2008）在《基于构件的嵌入式实时软件可靠性评估模型的研究与应用》一文中研究指出随着计算机技术的日益普及,嵌入式软件得到了广泛应用,逐步渗透到国民生活的各个方面。为了提高嵌入式软件的质量和开发效率,人们将构件化技术引入到嵌入式软件工程的领域中。通过重用第叁方构件搭建大型软件系统不仅能够降低软件的开发维护成本,提高开发效率,而且也能提高软件的质量。但是,目前的工作更多地集中在构件开发以及构件的复用技术等方面,而对软件可靠性等质量方面关注较少,特别是在嵌入式软件中,实时属性的影响,给构件软件可靠性保证带来了许多新的挑战,如何评估基于构件的嵌入式软件可靠性成为一个亟待解决的问题。本文对构件软件特点及其可靠性保证的原理、技术进行了分析研究。一方面,总结出已有的构件可靠性模型存在的问题,针对其中两点,着重研究了考虑构件间相关性的层次模型和构件再估计问题的路径分析模型,并提出了相应的改进方案;另一方面,通过研究实时软件的可靠性特征,分析任务因运行时间,重要度,失效率等不同对系统可靠性造成的不同影响,结合构件化系统的装配原理——不同的构件负责不同的任务,通过协同合作,实现系统特定功能,因此考虑将任务对整个系统的可靠性影响因素(运行时间、重要度等)映射到各个构件上,用任务中所调度构件的运行路径的可靠性评估任务的可靠性,进而计算系统的可靠性,基于这种思想,建立了一种任务路径映射的构件化实时软件可靠性评估模型。最后本文利用任务路径映射的构件化实时软件评估模型,依托于教研室广东《面向传统家电行业的构件化集成开发平台》项目(863子项目),设计开发了基于MCU的构件软件可靠性评估器,验证了此模型的可行性,为软件的设计开发提供了质量保证。(本文来源于《电子科技大学》期刊2008-03-01）
涂立,杨格兰,肖和平[7]（2007）在《实时嵌入式环境中面向构件系统的QoS模型研究》一文中研究指出将基于构件技术的开发引入到实时嵌入式软件平台能够很好地适应嵌入式领域多样性的特点,满足对软件开发效率和软件质量的要求。为保证实时嵌入式环境对资源动态变化的需求,考虑到系统资源的全局管理特性,仅从应用中增加QoS适应机制是不够的,还需在现有的构件框架中增加QoS管理机制。为此,提出了一种面向CCM构件系统的QoS模型,能够主动适应动态变化的资源状态,模型中层次式的QoS转换器的设计简化了用户对服务的QoS参数配置。(本文来源于《计算机应用》期刊2007年08期）
黄靖,卢炎生,徐丽萍[8]（2006）在《基于反射的实时构件模型规约描述研究》一文中研究指出以现有的构件模型为研究基点,应用反射技术,针对实时应用系统的开发,提出一类新的构件模型——反射式实时构件模型,由反射式实时构件语义模型和反射式实时构件语法模型组成。该模型在规约构件应有的功能需求特征的基础上,有效地标识构件的时间约束特征,使得与传统的功能性构件区别开来,能被系统开发者更好地选用。同时,该模型结合反射技术,能根据用户需求的变化,对实时构件进行动态修改,以便更准确地保障实时应用系统的构建与开发,并增强构件设计的活性,达到构件更好实现的效果。反射式实时构件模型既是一个构件理论模型,也是一个工程模型。(本文来源于《计算机科学》期刊2006年10期）
吴斌,叶绿,吴朝晖[9]（2005）在《一种分布式实时嵌入式软件的构件模型Z-CCM》一文中研究指出把运用于商务应用和桌面系统的中间件和构件化开发思想应用于分布式实时嵌入式(DistributedReal-timeandEmbedded,DRE)软件领域是当前的一个热门研究话题。CORBA构件模型(CORBAComponentModel,CCM)解决了跨平台语言无关的构件化开发问题,然而在提供QoS保证上CCM存在设计缺陷。论文首先分析了CCM的总体构架,接着提出了一种支持DRE软件开发的新的构件模型Z-CCM,这种构件模型从构件的实现框架、装配过程和运行时环境叁方面对CCM进行了优化,以改进CCM在提供QoS保证上的缺陷,从而可以提高DRE软件的开发效率,文章最后介绍了Z-CCM的应用背景。(本文来源于《计算机工程与应用》期刊2005年03期）
胡峰,林子禹,潘小进,李思广[10]（2003）在《一种基于构件模型的分布式实时应用程序设计方法》一文中研究指出本文提出了一个具有平台独立性、同步与分布特性的构件模型,阐明了模型的结构、构件活动以及利用该模型进行分布式实时应用程序设计的方法。(本文来源于《计算机工程与科学》期刊2003年01期）
实时构件模型论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
采用形式化方法对复杂实时构件系统交互行为进行描述和验证,对于提高系统的正确性、可靠性等可信性质具有重要意义。分析了基于进程代数和自动机的构件交互行为形式化建模方法各自的优缺点,在此基础上提出了基于时间构件交互自动机的建模方法,给出了时间构件交互自动机的相关定义、组合和验证算法。时间构件交互自动机引入了时间限制、时间代价、时间代价计算半环、构件组合层次等概念,既能够描述构件交互情况,又能够清楚地表示出构件系统的体系结构信息和实时信息,便于对系统进行描述和验证。最后,结合具体应用给出了应用示例。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
实时构件模型论文参考文献
[1].刘雅艳.基于古建筑BIM模型单体构件的实时碰撞检测研究[J].黑龙江科技信息.2016
[2].贾仰理,张振领,李舟军.基于自动机的构件实时交互行为的形式化模型[J].计算机科学.2010
[3].罗晓茜,刘晓燕,谷世江,孙璐炜.实时系统构件模型及构件库研究[J].计算机时代.2010
[4].字天文,刘晓燕,沈嘉权.实时嵌入式构件模型组装方法及时间性推理[J].计算机工程与应用.2009
[5].字天文.实时嵌入式软构件模型及构件组装方法研究[D].昆明理工大学.2009
[6].陈立宏.基于构件的嵌入式实时软件可靠性评估模型的研究与应用[D].电子科技大学.2008
[7].涂立,杨格兰,肖和平.实时嵌入式环境中面向构件系统的QoS模型研究[J].计算机应用.2007
[8].黄靖,卢炎生,徐丽萍.基于反射的实时构件模型规约描述研究[J].计算机科学.2006
[9].吴斌,叶绿,吴朝晖.一种分布式实时嵌入式软件的构件模型Z-CCM[J].计算机工程与应用.2005
[10].胡峰,林子禹,潘小进,李思广.一种基于构件模型的分布式实时应用程序设计方法[J].计算机工程与科学.2003