软件构件

摘要： 针对ARM汇编开发门槛高以及可移植性差的问题,以ARM Cortex-M系列内核的MCU平台,提出一种可移植、可复用的汇编工程通用框架设计方案.方案针对Cortex-M4内核的STM32L431芯片最小汇编工程的研究,抽取Cortex-M系列内核汇编指令系统和汇编工程的共性,筛选出Cortex-MR内核通用的汇编指令并将汇编开发中接口函数编写和数据定义等方式标准化,采用高内聚、低耦合的方法封装GPIO、UART等汇编构件,设计出一种普适的汇编工程通用框架.基于该框架实现Cor-tex-M0+内核的KL36Z64芯片和Cortex-M4F内核的MSP432P401芯片的汇编工程;除内核固有文件外,仅需修改底层驱动的端口基地址等少部分宏定义内容,即可实现点亮小灯和串口输出的同样功能,表明了该汇编工程框架具有较高的通用性.

摘要： 全球半导体解决方案供应商瑞萨电子集团(TSE:6723)今日宣布,推出创新物联网系统设计平台——Quick-Connect,可显著简化物联网系统的原型设计。瑞萨Quick-Connect Io T系统由标准化的板卡和接口组成,使设计者能够快速、轻松地将各种传感器连接至MCU开发板。该系统还提供可在板卡之间移植的核心软件构件,大大降低了编码要求。

摘要： 电热多物理场耦合数值模拟是微电子领域集成电路设计的重要手段,涉及电-热、电-热-力等多种多物理场耦合,以及静态、瞬态、时谐等多种分析类型.面向这种多样化的多物理场耦合分析需求,如何快速研制批量电热多物理场耦合软件,是一个挑战性问题.软件复用是解决该问题的关键.提出一种数理方程构件化的软件设计模式,首先实现电流连续性方程构件、稳态热平衡方程构件等解决单一物理场求解器的可复用问题,其次设计基于单一物理场方程构件自由组装多物理场耦合计算流程的方法,支持多物理场耦合软件的定制开发,而且这种模式适应于并行计算.通过两个典型的电热耦合并行应用软件的定制开发,代码复用率达到85％以上,验证了模式的有效性.

摘要： 为了提高软件复用过程中构件检索的效率,分析了软件构件分类技术的优缺点以及构件特征,从构件刻面信息的角度,采用卷积神经网络技术,提出一种基于卷积神经网络的构件分类策略;利用卷积神经网络对构件刻面特征进行提取,减少人为因素,提高刻面信息提取精确性,并训练出基于卷积神经网络的构件分类模型,通过具体的实验,来论证该模型的准确性,以达到提高构件检索效率的目的.

摘要： 为进一步促进航天器飞行软件复用、加快项目研制进度和解决跨组织协作的问题,对航天器飞行软件功能和构件技术进行了分析和研究,提出了一种基于动态运行时环境、分层软件和基于功能构件设计思想的基础飞行系统架构,提供一个可移植和可拓展的产品开发平台基线.基于该架构开发的功能构件,具有可成长性、共享性和独立性.此外,针对软件质量维护和跨组织协作效率低的问题,提出了基础飞行系统开放社区架构,通过社区的力量,实现开放、共享、自由的基础飞行系统.实践结果表明:提出的基础飞行系统架构能够简化飞行软件维护工程,飞行软件的开发效率提高2倍以上,具有一定的应用前景.

摘要： 小卫星应用领域的不断扩展、功能和结构的日趋复杂以及数量的急剧攀升,使得星载软件的规模和复杂度快速增加,软件可复用性设计变得愈加重要;首先分析了面向体系应用的星载软件功能和技术需求,然后对星载软件体系架构进行了分层模块化设计,最后针对星务中心计算机软件,详细描述了星载软件框架的静态结构,动态结构以及可复用构件的运行模式;在小卫星向体系化应用发展的趋势下,分层模块化软件体系架构和软件框架技术将提高星载软件的可复用性,为实现小卫星快速集成,快速测试和快速生产打下重要基础.

摘要： To improve the efficiency of software system development in software reuse,the advantages and disadvantages of software component assembly technology,and the characteristics of Web development on JavaEE platform were analyzed.The models of assembling the components using adapter in Web development were proposed.The models were adopted to develop specific projects to verify the convenience and feasibility of the models.%为提高软件复用过程中软件系统的开发效率,针对适配器技术特性,分析软件构件组装技术的优缺点以及基于JavaEE平台下的Web开发特点,从构件组装的角度,提出在Web开发环境下利用适配器来组装构件的模型,对基于适配器的构件组装模型进行具体的项目开发,通过具体的项目开发论证该模型的便捷性与可行性.

摘要： PAR platform is a software platform developed by our research team to support software formality and automated development.The platform fully embodies the advantages of functional abstraction and data abstraction,thus making software development convenient and reliable.The key to achieving this performance is a batch of reusable software components.In order to ensure the correctness and reliability of the whole software platform,it is very important to ensure the correctness and reliability of the software components.In this paper,we select some typical software components in the PAR platform,formalize the semantics of the components in a formal way,and prove the correctness of the components with the help of the Coq theorem prover,hence improving the efficiency of software compoents' formal verification.%PAR平台是本团队研制成功的支撑软件形式化和自动化开发的软件平台.该平台充分体现了功能抽象和数据抽象的优越性,使得软件开发变得便捷和可靠,达到这一性能的关键要素是一批可重用软件构件.为保证整个软件平台的正确性和可靠性,确保其中软件构件的正确性和可靠性就显得十分重要.选取PAR平台中若干典型软件构件,用形式化方法对构件的语义进行形式化描述,并借助Coq定理证明系统,对构件的正确性进行形式化验证,大幅度提高了软件构件形式化验证的效率.

摘要： 在电磁层析成像技术的研究中，成熟的图像重建软件可以为整个技术的发腱提供支撑。本文对现有成熟的成像算法进行了总结，分析图像重建的软件需求，并采用MS Activex技术进行封装，实现了一个具有良好使用接口的EMT图像重建的软件构件，并采用该构件进行了电磁层析成像的图像重建。

摘要： 为了提高软件开发的有效性和正确性，提出了一种基于公理设计的构件设计与优化的新方法，该方法以构件的软件实现过程从直接按工作流程来实现转移到设计一个理想的三角设计矩阵的理论层次进行分析。通过对比调度构件的设计矩阵，进一步实现了软件构件的设计与优化，从而验证了AD理论对软件设计以及优化的可行性和正确性。

摘要： 为验证基于构件的软件系统中构件间交互的可信性,将UML与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型.在构件行为分析的基础上,利用抽取规则抽取Pi演算语义,以形式化的方式描述构件的行为.进一步利用Pi演算的操作语义推演构件间的实际交互行为.实际交互行为与预期交互行为的比对,可判断构件间交互的可信性.最后,通过实例对该模型的具体应用进行了阐述.该模型能够对基于构件的软件系统中任意两个相互交互的构件之间交互的可信性进行验证,为判断该类系统中构件问交互的可信性提供了有效方法.

摘要： 面向构件的垂直搜索引擎是该领域内的一个研究热点.本文介绍面向构件的主题爬虫的设计与实现,提出一种基于URL的面向构件的主题爬行算法,该爬行算法以构件资源在构件库网站的所处的位置,对URL队列进行优先级计算.对页面相关性判别,采用刻面关键词出现的频率来计算。实验结果表明该方法司行而且更有效。

摘要： 提出了一种软件构件安全性量化和计算方法。在体现选择构件的安全属性分解模型上,对不同构件的相同叶结点属性进行比较、获取量化值,然后通过层次分析法计算、得到各构件的安全值.构件安全值计算过程更具客观性,有利于提高构件选择的精确性。

摘要： 依托于计算机、微电子和网络等技术的迅猛发展,网络化仪器经历了从概念提出、快速进步到基本成熟的发展历程。本文试对网络化仪器及测量技术十多年的进步历程做简要归纳,并预测和展望其在新时期的发展趋势。

摘要： 依托于计算机、微电子和网络等技术的迅猛发展,网络化仪器经历了从概念提出、快速进步到基本成熟的发展历程。本文试对网络化仪器及测量技术十多年的进步历程做简要归纳,并预测和展望其在新时期的发展趋势。

摘要： 依托于计算机、微电子和网络等技术的迅猛发展,网络化仪器经历了从概念提出、快速进步到基本成熟的发展历程。本文试对网络化仪器及测量技术十多年的进步历程做简要归纳,并预测和展望其在新时期的发展趋势。

摘要： 依托于计算机、微电子和网络等技术的迅猛发展,网络化仪器经历了从概念提出、快速进步到基本成熟的发展历程。本文试对网络化仪器及测量技术十多年的进步历程做简要归纳,并预测和展望其在新时期的发展趋势。

摘要： 依托于计算机、微电子和网络等技术的迅猛发展,网络化仪器经历了从概念提出、快速进步到基本成熟的发展历程。本文试对网络化仪器及测量技术十多年的进步历程做简要归纳,并预测和展望其在新时期的发展趋势。

摘要： 本发明涉及一种软件构件库与构件开发工具的集成系统与方法。所述集成系统包括构件开发工具集成接口和构件开发工具集成模块。本发明针对构件的开发，实现了构件管理系统与构件开发工具的集成，通过构件开发工具集成接口与外部的构件开发工具之间进行数据交换，通过构件开发工具集成模块为构件开发工具提供构件库访问接口，实现构件加载与解析入库、构件导出以及构件删除，并用于更新构件库从而实现构件开发工具的结果与构件库同步。

摘要： 本发明提供了一种面向异构环境可复用的类反射式软件构件集成方法，包括；运用工厂模式结合回调机制，生成反射类基本要素包括反射类工厂、反射类基类、反射类通用部件；由反射类基类派生生成软件构件基类，支持软件构件的启停用、功能响应、心跳查询；生成软件构件集成管理类，集成管理软件构件的装卸载、启停用、心跳检测、故障修复；组合反射类通用部件并由软件构件基类派生实现各软件构件；使用软件构件集成管理类，根据相应软件的功能构成需求构件化动态集成管理软件。本发明的方法简单易行，能够为异构软硬件环境的信息处理尤其是嵌入式终端提供可跨平台复用的软件构件集成手段，可支撑信息系统软件的快速开发迭代集成。

摘要： 本发明属于软件构件检索领域，公开了一种基于信息检索的多索引集成软件构件检索方法及系统，本发明引入词性过滤对软件源代码关键词进行预处理，通过对特定词性词汇的过滤，在缩减索引空间内源代码向量的稀疏性的同时，提高了相似性计算的准确度，提升了软件构件检索的性能。本发明构件检索是建立在索引空间内的相似度计算基础之上的。本发明提出了一种集成“词袋”模型索引与词嵌入模型索引的相似性计算方法，该方法以源代码构件自身结构的“内聚度”和“耦合度”作为评价指标，将“词袋”模型索引方法与词嵌入模型索引方法所计算出的相似度进行集成，获得了更为精确的相似性度量，从而获得更为精准的构件检索结果。

摘要： 本发明公开了一种基于本体概念相似度的软件构件检索方法，包括：用户根据需求向软件构件库发出构件检索请求，软件构件库根据用户的构件需求构建相应的语义本体树；所述的软件构件库根据用户的需求，从构件的OWL描述文档库中检索出对应的构件描述本体树；将所述的构件描述本体树与用户需求本体树进行模糊匹配；如果所述的构件描述本体树与用户需求本体树的匹配不成功，则对失配的构件进行构件重组；并使用KMP算法对查询本体树的相似概念进行修改重匹配；根据构件的OWL描述文档与相对应构件的自动映射，使用户从构件库中检索到相应的构件。本发明可以利用语义相似度精确地发现目标构件，有效地提高构件的查询效率和复用率，缩短软件的开发周期。

摘要： 本发明涉及一种软件构件库与构件开发工具的集成系统与方法。所述集成系统包括构件开发工具集成接口和构件开发工具集成模块。本发明针对构件的开发，实现了构件管理系统与构件开发工具的集成，通过构件开发工具集成接口与外部的构件开发工具之间进行数据交换，通过构件开发工具集成模块为构件开发工具提供构件库访问接口，实现构件加载与解析入库、构件导出以及构件删除，并用于更新构件库从而实现构件开发工具的结果与构件库同步。

摘要： 本发明公开了一种基于异质刻面转换的网构软件构件库中构件检索方法。分析网构软件构件库的拓扑要求，引入公告牌系统作为协作模型存在于整个网络中；借助树结构匹配的方法，实现异质刻面方案之间的转换机制，使构件检索根据本地构件库的刻面方案进行。本发明首先分析网构软件构件库的拓扑要求，引入公告牌系统；其次借助树结构匹配的理论方法，实现不同构件库上刻面方案之间的转换机制，即将刻面方案映射为树结构，用树之间的匹配来完成不同刻面方案之间的转换，使检索请求能够根据本地构件库的刻面方案被提出。本发明提出一种基于异质刻面转换的构件检索方法，在保障一定的查全率的基础上追求更好的查准率。

摘要： 记载了一种在包括两个或两个以上处理单元(VEA，VEB)的计算机系统中用于尤其是按照AUTOSAR标准的软件系统(SWC1，SWC2)的软件构件(SWC1)的透明复制的方法。这些处理单元(VEA，VEB)通过一个或多个通信信道(KK1，KK2)彼此连接以用于数据交换。这些处理单元中(VEA，VEB)的每一个包含一个运行时环境(RTE)，这些处理单元(VEA，VEB)的各个要复制的运行时环境(RTE)设置有同步和选择功能(Sync，Voting)。

摘要： 本发明公开了基于动态数据流图的航天器软件构件需求分析及建模方法，涉及航天器综合电子技术领域，解决了传统数据流图难以表达复杂航天器系统构件内部模块以及构件之间的数据传递关系问题。包括如下步骤：针对航天器软件中的数据，构建动态的数据流图。对动态的数据流图进行构件需求分析，获得数据流图中的构件。针对数据流图中的构件进行构件概要设计。依据构件概要设计，对构件建立构件模型，构件模型用于在后续有工具支持后，进行可视化组装过程中的构件验证。

摘要： 本发明了一种基于电磁学实验器材的软件构件封装方法，该方法基于实验器材的三维建模，实现器材元件的逻辑封装和基于器材的交互操作。首先，构建实验器材的三维模型，并针对器材的预制体在其最外层添加基本物理属性，建立合适的VR解决方案以实现器材的可交互性；然后，分类并阐述基于两条边串联和两个接线柱的器材元件，在电磁学引擎下添加属性组件以及功能逻辑。最后，使用引擎开发管理框架快速地实现器材的封装。该方法为后面软件开发和架构提供了最基础性的支持。

摘要： 本发明公开了一种嵌入式软件构件库管理系统，包括基础运行配置模块，用于设置运行全局共享参数，完成基础数据配置；构件录入模块，用于录入一个或多个构件，并建立构件目录，并将构件上传至服务器中的构件库中；用户操作模块，用于获取并发送用户的构件操作信息；构件调整模块，用于根据用户的构件操作信息将对应的构件进行调整，并对构件目录进行更新调整，并将调整后的构件上传至构件库中，进行构件库数据更新管理。本发明还公开了一种嵌入式软件构件库管理方法。本发明可对嵌入式软件开发单位的可复用的软件构件资源进行集中统一的管理，对构件进行综合全面的管理，提高管理效率。