检索结果-维普期刊中文期刊服务平台

基于组合连接器的潜在无限动态结构的规范: 1; 作者虞莉娟熊惠民应时《计算机工程》 CAS CSCD 北大核心 2007年第23期43-44,56,共3页; 动态软件体系结构的建模与分析是复杂软件系统设计的一个重要问题。基于体系结构描述语言Wright,提出了一种规范潜在无限动态结构的形式化方法。为了便于使用递归机制,引入了组合连接器和动态角色的概念,从而实现了动态体系结构的逐层... 展开更多; 关键词潜在无限动态结构组合连接器动态角色 WRIGHT; 在线阅读下载PDF 职称材料

基于组合连接器的动态软件体系结构规范方法: 2; 作者熊惠民应时虞莉娟《计算机科学》 CSCD 北大核心 2007年第8期250-253,265,共5页; 动态体系结构的建模与分析是复杂软件体系结构设计的一个重要问题.本文用组合连接器扩展了体系结构描述语言Wright,并由此提出了一种规范动态体系结构的形式化方法。为了支持动态机制,还提出了动态角色的概念。通过实例说明,该方法能将... 展开更多; 关键词组合连接器动态软件体系结构动态角色重用体系结构描述语言 WRIGHT; 在线阅读下载PDF 职称材料

运载火箭气液组合连接器动态自动对接技术被引量：6: 3; 作者李泳峄吴新跃 +2 位作者李道平张国栋肖士利《北京航空航天大学学报》 EI CAS CSCD 北大核心 2021年第9期1774-1779,共6页; 为实现未来重型运载火箭地面组合连接器与箭上接口的自动对接,提高发射准备流程安全性、可靠性,降低人员保障要求,开展了组合连接器自动对接的技术研究及总体策略分析,提出了由检测、智能控制、位姿调整系统组成的技术方案及非接触式检... 展开更多; 关键词自动对接组合连接器对接策略动态跟踪运载火箭; 在线阅读下载PDF 职称材料

基于反射的连接器组合重用方法被引量：9: 4; 作者熊惠民应时 +1 位作者虞莉娟张韬《软件学报》 EI CSCD 北大核心 2006年第6期1298-1306,共9页; 连接器的建模与分析是复杂软件体系结构设计的一个重要问题.基于反射机制,提出了一种连接器的组合重用方法.为了支持这一想法,借用CSP进程间的运算,提出了连接器组合的一组元操作,并给出了组合连接器的CSP语义.该方法能为连接器提供一... 展开更多; 关键词软件体系结构连接器组合重用反射 WRIGHT CSP; 在线阅读下载PDF 职称材料

运载火箭发射场无人值守加注发射技术研究被引量：12: 5; 作者肖士利谢志丰 +2 位作者潘忠文陈秀平赵心欣《宇航学报》 EI CAS CSCD 北大核心 2019年第4期459-465,共7页; 针对我国火箭在发射场射前操作项目多、保障人员多的问题,分析了国内外火箭发射场无人值守加注发射的现状。结合火箭射前状态,从火箭系统、地面测发控系统和发射场系统等方面提出了无人值守加注发射总体方案,通过火箭状态远程监测及故... 展开更多; 关键词无人值守加注发射远程监测零秒脱落组合连接器; 在线阅读下载PDF 职称材料

题名基于组合连接器的潜在无限动态结构的规范: 1; 作者虞莉娟熊惠民应时; 机构武汉理工大学自动化学院华中师范大学数学与统计学学院武汉大学软件工程国家重点实验室/计算机学院; 出处《计算机工程》 CAS CSCD 北大核心 2007年第23期43-44,56,共3页; 基金国家自然科学基金资助项目(60473066) 湖北省青年杰出人才基金资助项目(2003ABB004); 文摘动态软件体系结构的建模与分析是复杂软件系统设计的一个重要问题。基于体系结构描述语言Wright,提出了一种规范潜在无限动态结构的形式化方法。为了便于使用递归机制,引入了组合连接器和动态角色的概念,从而实现了动态体系结构的逐层展开。实例说明,该方法能为动态体系结构的设计提供一种增量式的开发方式,适用于连接器重用的目的。; 关键词潜在无限动态结构组合连接器动态角色 WRIGHT; Keywords potentially unbounded dynamic structure omposite connector dynamic role Wright; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于组合连接器的动态软件体系结构规范方法: 2; 作者熊惠民应时虞莉娟; 机构武汉大学软件工程国家重点实验室武汉理工大学自动化学院; 出处《计算机科学》 CSCD 北大核心 2007年第8期250-253,265,共5页; 基金国家自然科学基金项目(60473066) 湖北省青年杰出人才基金项目(2003ABB004); 文摘动态体系结构的建模与分析是复杂软件体系结构设计的一个重要问题.本文用组合连接器扩展了体系结构描述语言Wright,并由此提出了一种规范动态体系结构的形式化方法。为了支持动态机制,还提出了动态角色的概念。通过实例说明,该方法能将动态体系结构的两种基本形态的描述统一起来,并能为动态软件体系结构设计提供一种增量式的开发方法。由于该方法基于组合的机制,从而适用于体系结构重用。; 关键词组合连接器动态软件体系结构动态角色重用体系结构描述语言 WRIGHT; Keywords Composite connector, Dynamic software architecture, Dynamic role, Reuse. Architecture description language （ADL）, Wright; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名运载火箭气液组合连接器动态自动对接技术被引量：6: 3; 作者李泳峄吴新跃李道平张国栋肖士利; 机构北京航天发射技术研究所北京宇航系统工程研究所; 出处《北京航空航天大学学报》 EI CAS CSCD 北大核心 2021年第9期1774-1779,共6页; 文摘为实现未来重型运载火箭地面组合连接器与箭上接口的自动对接,提高发射准备流程安全性、可靠性,降低人员保障要求,开展了组合连接器自动对接的技术研究及总体策略分析,提出了由检测、智能控制、位姿调整系统组成的技术方案及非接触式检测+主动位姿调整+被动随动的自动对接策略,并开展了组合连接器自动对接试验系统研制,进行了组合连接器自动对接、低温加注、自动分离等全流程试验验证工作。结果表明:自动对接装置检测、智能控制、位姿调整等各项功能正常,自动对接策略准确、可行,解决了大载荷组合连接器在箭上接口大范围、高速运动条件下的自动对接难题,综合跟踪范围达±600 mm,综合跟踪速度达500 mm/s,各综合工况下完成自动对接时间约为3~5 min。; 关键词自动对接组合连接器对接策略动态跟踪运载火箭; Keywords automatic docking composite umbilical connector docking strategy dynamic tracking launch vehicle; 分类号 V553.1 [航空宇航科学与技术—人机与环境工程] V554.4 [航空宇航科学与技术—人机与环境工程]; 在线阅读下载PDF 职称材料

题名基于反射的连接器组合重用方法被引量：9: 4; 作者熊惠民应时虞莉娟张韬; 机构软件工程国家重点实验室(武汉大学) 武汉理工大学自动化学院; 出处《软件学报》 EI CSCD 北大核心 2006年第6期1298-1306,共9页; 基金国家自然科学基金湖北省青年杰出人才基金~~; 文摘连接器的建模与分析是复杂软件体系结构设计的一个重要问题.基于反射机制,提出了一种连接器的组合重用方法.为了支持这一想法,借用CSP进程间的运算,提出了连接器组合的一组元操作,并给出了组合连接器的CSP语义.该方法能为连接器提供一种增量式的开发方式,并且由于其严格的形式化基础,适合进行形式化分析和自动检查.; 关键词软件体系结构连接器组合重用反射 WRIGHT CSP; Keywords software architecture connector composition reuse reflection Wright CSP; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名运载火箭发射场无人值守加注发射技术研究被引量：12: 5; 作者肖士利谢志丰潘忠文陈秀平赵心欣; 机构北京宇航系统工程研究所; 出处《宇航学报》 EI CAS CSCD 北大核心 2019年第4期459-465,共7页; 文摘针对我国火箭在发射场射前操作项目多、保障人员多的问题,分析了国内外火箭发射场无人值守加注发射的现状。结合火箭射前状态,从火箭系统、地面测发控系统和发射场系统等方面提出了无人值守加注发射总体方案,通过火箭状态远程监测及故障处理技术、连接器零秒脱落技术、箭地接口组合连接技术、连接器自动对接技术和火工品自动短路保护与解保技术等关键技术研究,可提高人员和产品的安全性,为后续我国火箭实现无人值守加注发射提供参考。; 关键词无人值守加注发射远程监测零秒脱落组合连接器; Keywords Unattended Loading and launching Remote monitoring Zero second separation Combinatorial connector; 分类号 V554 [航空宇航科学与技术—人机与环境工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于组合连接器的潜在无限动态结构的规范	虞莉娟熊惠民应时	《计算机工程》 CAS CSCD 北大核心	2007	0	在线阅读下载PDF 职称材料
2	基于组合连接器的动态软件体系结构规范方法	熊惠民应时虞莉娟	《计算机科学》 CSCD 北大核心	2007	0	在线阅读下载PDF 职称材料
3	运载火箭气液组合连接器动态自动对接技术	李泳峄吴新跃李道平张国栋肖士利	《北京航空航天大学学报》 EI CAS CSCD 北大核心	2021	6	在线阅读下载PDF 职称材料
4	基于反射的连接器组合重用方法	熊惠民应时虞莉娟张韬	《软件学报》 EI CSCD 北大核心	2006	9	在线阅读下载PDF 职称材料
5	运载火箭发射场无人值守加注发射技术研究	肖士利谢志丰潘忠文陈秀平赵心欣	《宇航学报》 EI CAS CSCD 北大核心	2019	12	在线阅读下载PDF 职称材料