导读:本文包含了软件构件化论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:构件,软件,嵌入式,系统,机器人,复用,协议。
软件构件化论文文献综述
陈黎明,高锋[1]（2018）在《海军作战指挥软件构件化》一文中研究指出作战指挥软件顶层设计的核心是建设内容。针对海军作战指挥实际需求,提出了基于指挥对象分类、基于指挥活动业务构架及基于指挥主体集成的作战指挥软件构件化基本逻辑,构建了针对不同类别指挥对象、面向不同层次指挥主体及涵盖不同内容指挥业务需求的海军作战指挥软件体系框架和软件构件体系,分析了软件(构件)体系综合运用的基本思路。最后,通过示例分析了海军作战指挥软件构件体系的运用方法。(本文来源于《指挥信息系统与技术》期刊2018年01期）
李文进[2]（2016）在《浅谈软件构件化技术在工业机器人集成系统的应用》一文中研究指出随着国民经济的快速发展,人均物质生活水平显着提高,产品更新换代速度较快,这就对工业生产提出了更高的要求。为了能够降低劳动强度,提高生产效率,在工业生产中应用机器人能够更好的代替人在恶劣的环境下作业,具有十分突出的作用,近年来在工业生产中得到了广泛应用。但是,这种方法主要是针对某一特定的操作对象或是工艺设计软件,对于软件系统中可重构部分重视程度偏低,致使加工对象结构发生改变,在一定程度上抑制了机器人在工业生产中性能的发挥,迫切的需要完善和创新。(本文来源于《科技展望》期刊2016年17期）
孙福振[3]（2015）在《基于模型检查的嵌入式软件构件化分析与验证》一文中研究指出伴随着近年来计算机硬件设备性能的迅速提升以及嵌入式系统的广泛应用,嵌入式软件的复杂度和规模也不断膨胀,软件的可靠性占据了整个系统的统治性地位。因此,嵌入式软件的设计方法和可靠性保障已经成为近几年软件工程师和计算机科学研究者所共同关心的热点问题。传统的嵌入式软件设计方法已经难以适应现代高复杂性和大规模的嵌入式软件面临的高可靠性、资源约束、面向特定领域等需求,必须借鉴和引入软件工程中构建复杂软件系统的理论和方法。基于构件化的软件设计方法作为软件工程主流之一,已逐渐被应用到复杂嵌入式软件设计中来,大大提高了软件开发效率和软件功能可重用性。嵌入式系统通常是由面向特定领域的具有各自独立的计算子模块组成,具有较高的构件化特征,通过构件与构件之间的交互运行来完成嵌入式软件的特定功能。针对产业界广为使用的构件化设计模型是UML顺序图,以此来描述系统运行中各个构件交互的场景,作为一种非形式化建模方法具有与生俱来的缺陷即难以进行自动化分析和验证问题。本论文深入地研究了嵌入式软件构件交互协议建模的需求,对复杂嵌入式软件系统提出了以数据库为底层支撑的基于一阶逻辑和承诺理论的构件交互协议模型,并给出了与之对应的基于模型检查的数据流敏感的构件交互协议和带资源约束目标的构件交互协议的分析与验证方法。本论文的主要工作和贡献如下:(1)针对构件化嵌入式软件系统,提出了以数据库为底层支撑的基本构件交互协议模型,除了描述构件动作的输入/输出消息签名外,利用一阶逻辑规则给出构件动作的输入数据约束规则、控制流规则、输出规则和状态转换规则,使得构件之间的交互运行得以全面的形式化描述,使得构件交互协议的自动化分析和验证成为可能。(2)为赋予嵌入式软件的构件交互协议以面向特定领域的业务语义,本论文在上述基本构件交互协议模型的基础上进行语义扩展,并给出了引入承诺理论的业务构件协议模型。该模型利用面向特定领域的业务词汇对嵌入式软件构件动作的业务效果进行标注,除了包括直接效果还允许标注以间接的承诺效果,自然地建模了嵌入式软件构件与底层支撑硬件之间的契约行为。(3)为能形式化描述和分析验证嵌入式软件构件交互运行的动态行为,本论文研究了基本构件交互协议模型的线性一阶逻辑(First-Order Linear Temporal Logic,FO-LTL)性质验证问题。FO-LTL公式可表达基本构件交互协议的交互过程的控制流和数据流的复杂性质。论文证明了在输入有界条件下,基本构件交互协议的LTL-FO属性验证问题是可判定的,并给出了针对LTL-FO属性的判定算法,实现了对应的模型检查器MC4CIP,实验表明MC4CIP可以在各类场景下进行有效的验证。(4)针对嵌入式软件构件交互协议的性质验证问题,论文在FO-LTL的基础上提出了带有承诺理论扩展的线性一阶逻辑(First-Order Linear Temporal Logic with Commitment Theory,FOCT-LTL),承诺表达式可以作为原子出现在性质公式中。通过将业务构件交互协议的FOCT-LTL属性验证问题规约到基本构件交互协议的FO-LTL属性验证问题,证明了在输入有界约束条件下业务构件交互协议的FOCT-LTL的验证问题也是可判定的,可规约为基本构件交互协议的FO-LTL属性验证算法求解。(5)论文研究了带资源约束的嵌入式软件业务构件交互协议的分析和验证问题。论文提出基于FOCT-LTL公式的资源约束条件下的业务目标表达方法,针对带有资源约束和业务语义的验证目标,提出一个以模型检查技术为基础的叁阶段规划验证算法。首先采用有界模型检查技术从控制流角度迅速筛选掉不可能满足业务需求的构件交互协议。其次利用第一阶段得到的规划解规约业务构件交互协议,并利用业务构件交互协议的FOCT-LTL属性验证算法求出满足系统功能需求的可行解。最后通过约束求解进一步的验证嵌入式软件需求资源约束目标的可满足性。论文给出了资源约束下的业务构件交互协议验证框架的实现方案,实验结果表明该叁阶段算法能够适应带有资源约束的嵌入式软件的构件交互场景中的资源约束目标验证。(本文来源于《北京理工大学》期刊2015-01-01）
陈辞[4]（2014）在《基于复用的军用软件构件化与生产线技术探讨》一文中研究指出软件复用是避免重复开发的重要解决方案,软件构件化与生产线技术可以明显提高软件开发效率及复用水平。论文介绍了软件复用、构件化、生产线的基本概念和关键技术,并就其在军用软件的应用方法进行研究。(本文来源于《计算机与数字工程》期刊2014年07期）
郭东建[5]（2013）在《嵌入式分布计算环境下的高效软件构件化框架初探》一文中研究指出在科技水平的发展之下,嵌入式软件的开发与维护难度也越来越高,通过构件化框架技术简化嵌入式软件能够减少开发工作量,提升系统稳定性,本文主要分析嵌入式分布计算环境下的高效软件构件化框架。(本文来源于《科技致富向导》期刊2013年33期）
周伟花[6]（2013）在《软件构件化技术在工业机器人集成系统的应用研究》一文中研究指出近年来,随着人们对于物质文化生活的要求不断提高,产品更新速度加快,产品日趋多样化,这导致工业生产对多品种、中小批量生产的要求越来越高,工业机器人能够代替人做某些单调的工作,具有一定的通用性、柔性,近年来获得了获得大量应用并且应用量逐年增加。然而,传统的集成方法仅考虑单个工作站的应用,传统的工业机器人针对特定操作对象、特定作业工艺设计软件,忽视了软件系统中的可重构部分,加工对象的变化将导致一系列结构的改变,这些改变耗时、耗力,尤其是在软件应用方面,需要重新设计软件、测试、检测。这一模式制约了工业机器人性能的发挥,使得工业机器人的柔性优势不能充分发挥。因此,如何解决这些难题,从而最大程度实现工业机器人的柔性具有十分重要的现实意义。工业机器人在工业生产中能代替人做一些单调、频繁和重复的长时间作业,或是危险、恶劣环境下的作业,例如在焊接、铸造、热处理、喷涂、机械加工和简单装配等工序上,以及在原子能工业等部门中,代替人完成对人体有害物料的搬运或工艺操作。由于应用领域的不同,工业机器人集成软件需要根据作业领域、作业对象的加工工艺等的不同进行不同的编程。若按照传统的集成方法,需要对机器人每个作业过程进行编程,这将严重影响机器人的使用效率。通过分析这些作业过程,我们可以提取其中的共同部分,在系统设计初期,将共同部分设计成构件形式,构建构件库,这样就可以在不同的作业对象、作业工艺中调用经过测试的构件,通过构件重用,减少软件设计工作量。本文结合工业机器人的实际应用,探讨了软件工程构件技术在工业机器人系统中的应用,通过分析工业机器人集成技术的特点,设计了工业机器人焊接构件和工业机器人铸造构件。采用构件技术的工业机器人系统,不仅可以使机器人灵活适应不同产品、不同工艺的需求,而且可以花更少的代价引入新工艺,提高了设备的使用效率及生产效率,增强企业的竞争力。(本文来源于《中南大学》期刊2013-11-01）
唐朝晖,刘恒,刘金平,桂卫华[7]（2013）在《泡沫浮选过程视觉监控系统软件构件化设计与开发》一文中研究指出基于机器视觉的浮选过程监控通过搭建智能图像分析软件平台实现整个浮选回路生产工况的自动监测与智能评价,以期进一步实现浮选生产过程优化控制。泡沫视觉监控系统对系统软件的实时性、稳定性、可复用性和可维护性要求高,然而,传统的系统软件开发方法开发周期长、可移植性差、系统维护困难,不同选厂的视觉监控系统难以通过简单配置实现已有系统软件的有效复用。本文从软件复用理论与软件构件化技术入手,采用构件化软件设计方法和技术将软件系统模块化为多个独立构件,开发了可复用的视觉监控系统构件库,实现了泡沫浮选过程视觉监控系统软件的低成本、高效率开发。由于构件具有适应性和可移植性等优点,它很好地支持了系统对稳定性、可复用性和可维护性的要求,有效地提高了软件开发的效率、降低了系统的维护成本,并极大增强了软件系统的健壮性。(本文来源于《第25届中国控制与决策会议论文集》期刊2013-05-25）
刘益[8]（2013）在《面向服务的应用软件构件化开发方法研究》一文中研究指出随着信息化技术不断发展,人类社会进入了信息化时代,各种各样的应用软件也随之应运而生,如ERP、OA、SCM、PLM等。这些软件对企业的快速发展起到了重要作用,越来越多的企业也在引入各种企业应用软件来提升企业的核心竞争力。信息快速传递、提高人员利用率、降低企业成本是建立企业级应用软件的宗旨。然而应用软件的领域多样性、需求变化快、集成难等特点给软件开发与维护带来了不少的困难。随着构件技术和面向服务的架构的提出,为应用软件的开发提供了新的研究思路。构件技术提高了软件模块的重用率,并加强了软件模块的扩展性,而SOA作为一种松散耦合的架构,可以对业务需求的变更做出更快的响应,也能屏蔽构件之间的异构性。SCA(Service Component Architecture)实现了SOA的应用,并引入了“服务构件”概念。服务构件可以看成是构建一个应用软件的积木,传统的POJO类、无状态会话Bean都可以被包装成SCA中的服务组件。论文主要研究了面向服务的应用软件构件化开发过程中的服务构件模型以及组装方法,主要工作如下：(1)介绍了构件技术以及SOA面向服务架构在软件开发中的背景与意义,描述了构件技术和服务构件技术的国内外研究现状,着重介绍了叁种主流的服务构件技术的服务构件模型。(2)研究了服务构件的相关理论知识,包括构件技术中的构件模型和构件组装,SOA技术的定义、组成要素和基本特征以及服务构件的定义和SCA规范。(3)设计了一种轻量级的服务构件模型和基于工作流引擎的构件组装方法。说明并分析了服务构件模型的结构、实现机制以及基于工作流引擎的构件组装方法的基本思想、体系结构和交互机制。(4)根据对轻量级服务构件模型和基于工作流引擎的构件组装方法的研究,论文主要从应用框架、服务构件的设计两个方面对教研申报系统进行了重新分析与设计。(本文来源于《武汉理工大学》期刊2013-05-01）
曹敬瑜,柴玮岩,王博,郭永红[9]（2013）在《嵌入式分布计算环境下的高效软件构件化框架研究》一文中研究指出针对EJB、CORBA以及发布/订阅中间件等软件构架存在的不足,提出了一种适用于嵌入式分布计算环境下的高效软件构件化框架。该软件构架基于开放服务网关倡议(OSGi)标准,通过加入传输抽象层实现了在多通信协议环境下的应用,具有通用性好、稳定性高、内存占用量少的特点。实验结果表明,该软件在内存占用量、启动时间及服务器接口响应时间方面的性能均优于传统的软件构架,并且能够满足条件苛刻的嵌入式应用环境。(本文来源于《兵工学报》期刊2013年04期）
曹敬瑜,柴伟岩[10]（2012）在《软件构件化在嵌入式网络协议栈中的应用》一文中研究指出软件开发过程已经广泛采用了构件技术,这使得软件开发的效率得到了非常大的提高,但在嵌入式开发领域中,构件技术应用的还比较少。分析了嵌入式网络协议栈对构件化的要求,并通过实验测试构件化后协议栈的性能。(本文来源于《电脑开发与应用》期刊2012年12期）
软件构件化论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
随着国民经济的快速发展,人均物质生活水平显着提高,产品更新换代速度较快,这就对工业生产提出了更高的要求。为了能够降低劳动强度,提高生产效率,在工业生产中应用机器人能够更好的代替人在恶劣的环境下作业,具有十分突出的作用,近年来在工业生产中得到了广泛应用。但是,这种方法主要是针对某一特定的操作对象或是工艺设计软件,对于软件系统中可重构部分重视程度偏低,致使加工对象结构发生改变,在一定程度上抑制了机器人在工业生产中性能的发挥,迫切的需要完善和创新。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
软件构件化论文参考文献
[1].陈黎明,高锋.海军作战指挥软件构件化[J].指挥信息系统与技术.2018
[2].李文进.浅谈软件构件化技术在工业机器人集成系统的应用[J].科技展望.2016
[3].孙福振.基于模型检查的嵌入式软件构件化分析与验证[D].北京理工大学.2015
[4].陈辞.基于复用的军用软件构件化与生产线技术探讨[J].计算机与数字工程.2014
[5].郭东建.嵌入式分布计算环境下的高效软件构件化框架初探[J].科技致富向导.2013
[6].周伟花.软件构件化技术在工业机器人集成系统的应用研究[D].中南大学.2013
[7].唐朝晖,刘恒,刘金平,桂卫华.泡沫浮选过程视觉监控系统软件构件化设计与开发[C].第25届中国控制与决策会议论文集.2013
[8].刘益.面向服务的应用软件构件化开发方法研究[D].武汉理工大学.2013
[9].曹敬瑜,柴玮岩,王博,郭永红.嵌入式分布计算环境下的高效软件构件化框架研究[J].兵工学报.2013
[10].曹敬瑜,柴伟岩.软件构件化在嵌入式网络协议栈中的应用[J].电脑开发与应用.2012
论文知识图
