软件构件
软件构件的相关文献在1996年到2022年内共计461篇,主要集中在自动化技术、计算机技术、无线电电子学、电信技术、机械、仪表工业
等领域,其中期刊论文365篇、会议论文49篇、专利文献114600篇;相关期刊209种,包括电子学报、信息技术与标准化、计算机工程等;
相关会议36种,包括第14届中国少数民族语言文字信息处理学术研讨会、2011年电磁测量技术及仪器学术年会、中国宇航学会计算机应用专业委员会2011年度技术交流会等;软件构件的相关文献由852位作者贡献,包括杨芙清、梅宏、谢冰等。
软件构件—发文量
专利文献>
论文:114600篇
占比:99.64%
总计:115014篇
软件构件
-研究学者
- 杨芙清
- 梅宏
- 谢冰
- 宁伟
- 张英俊
- 李朝辉
- 陈立潮
- 王千祥
- 王宜怀
- 王强
- 王志坚
- 陈向群
- 黄作明
- 张雷
- 潘理虎
- 王焘
- 艾萍
- 薛恒新
- 赵俊峰
- 金茂忠
- 高仲仪
- 黄罡
- 丛秋实
- 乐嘉锦
- 傅程
- 兰巨龙
- 刘会忠
- 刘强
- 刘海涛
- 刘超
- 宫云战
- 张卫民
- 张文博
- 张路
- 张驰
- 沙晓光
- 洪慧
- 滕启明
- 熊光泽
- 王盼卿
- 王立福
- 程煜
- 翟玉梅
- 袁兆山
- 袁博
- 詹瑾瑜
- 邢文凯
- 邹艳珍
- 郭立峰
- 陈德华
-
-
张建;
凌兴宏;
王宜怀
-
-
摘要:
针对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定理证明系统,对构件的正确性进行形式化验证,大幅度提高了软件构件形式化验证的效率.
-
-
-
-
常建生;
王丹;
赵文兵
- 《2010年全国软件与应用学术会议(NASAC2010)》
| 2010年
-
摘要:
为验证基于构件的软件系统中构件间交互的可信性,将UML与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型.在构件行为分析的基础上,利用抽取规则抽取Pi演算语义,以形式化的方式描述构件的行为.进一步利用Pi演算的操作语义推演构件间的实际交互行为.实际交互行为与预期交互行为的比对,可判断构件间交互的可信性.最后,通过实例对该模型的具体应用进行了阐述.该模型能够对基于构件的软件系统中任意两个相互交互的构件之间交互的可信性进行验证,为判断该类系统中构件问交互的可信性提供了有效方法.
-
-
-
- 《2008年全国开放式分布与并行计算学术年会》
| 2008年
-
摘要:
提出了一种软件构件安全性量化和计算方法。在体现选择构件的安全属性分解模型上,对不同构件的相同叶结点属性进行比较、获取量化值,然后通过层次分析法计算、得到各构件的安全值.构件安全值计算过程更具客观性,有利于提高构件选择的精确性。
-
-
-
-
-