基于组合连接器的潜在无限动态结构的规范

动态软件体系结构的建模与分析是复杂软件系统设计的一个重要问题。基于体系结构描述语言Wright,提出了一种规范潜在无限动态结构的形式化方法。为了便于使用递归机制,引入了组合连接器和动态角色的概念,从而实现了动态体系结构的逐层展开。实例说明,该方法能为动态体系结构的设计提供一种增量式的开发方式,适用于连接器重用的目的。

基于组合连接器的动态软件体系结构规范方法

动态体系结构的建模与分析是复杂软件体系结构设计的一个重要问题.本文用组合连接器扩展了体系结构描述语言Wright,并由此提出了一种规范动态体系结构的形式化方法。为了支持动态机制,还提出了动态角色的概念。通过实例说明,该方法能将动态体系结构的两种基本形态的描述统一起来,并能为动态软件体系结构设计提供一种增量式的开发方法。由于该方法基于组合的机制,从而适用于体系结构重用。

运载火箭气液组合连接器动态自动对接技术

为实现未来重型运载火箭地面组合连接器与箭上接口的自动对接,提高发射准备流程安全性、可靠性,降低人员保障要求,开展了组合连接器自动对接的技术研究及总体策略分析,提出了由检测、智能控制、位姿调整系统组成的技术方案及非接触式检测+主动位姿调整+被动随动的自动对接策略,并开展了组合连接器自动对接试验系统研制,进行了组合连接器自动对接、低温加注、自动分离等全流程试验验证工作。结果表明:自动对接装置检测、智能控制、位姿调整等各项功能正常,自动对接策略准确、可行,解决了大载荷组合连接器在箭上接口大范围、高速运动条件下的自动对接难题,综合跟踪范围达±600 mm,综合跟踪速度达500 mm/s,各综合工况下完成自动对接时间约为3~5 min。

电视机、录象机、共用天线终端射频自动组合连接器

电视机、录象机、共用天线终端射频自动组合连接器昆明师范高等专科学校李惟一，吕瑞成，涂叙震目前较多的彩电都没有ＡＶ插口，这类电视机与录像机、共用天线终端的连接如图１。这样，当只使用电视机而不使用录象机时，录象机电源插头也必须插在电源插座上，才能正常收看...

基于反射的连接器组合重用方法

连接器的建模与分析是复杂软件体系结构设计的一个重要问题.基于反射机制,提出了一种连接器的组合重用方法.为了支持这一想法,借用CSP进程间的运算,提出了连接器组合的一组元操作,并给出了组合连接器的CSP语义.该方法能为连接器提供一种增量式的开发方式,并且由于其严格的形式化基础,适合进行形式化分析和自动检查.

关于汽车组合开关线束连接器

本文主要研究的方式是汽车组合开关总成的线束连接方式线束连接器出现的问题及其优化方案。本文在汽车组合开关线束连接器常规设计的基础上,根据线束及连接器的发展趋势,对线束及连接器的可靠性设计进行了研究,以现阶段连接器进行优化;根据线束及连接器的情况要求,对潜在的汽车线束连接器连接和保护问题进行分析和研究,以指导汽车组合开关线束连接器在生产制造出厂过程中进行优化。

面向服务体系结构的连接器规约及其验证

连接器建模是软件体系结构设计中研究的重要问题之一。同样,考虑到面向服务体系结构松散耦合的特性,对其所涉及的连接独立于服务的设计进行规约也是一个关键问题。本文将SOA中的服务连接抽象为面向服务设计中的第一类实体--面向服务体系结构的连接器。给出了SOA的连接器模型的规约,并采用π演算作为文中方法的形式化基础以实现对其特性的分析与推理。结合实例给出了SOA连接器的连接语义,并定义了一系列操作原语以规约SOA中与连接器相关的动态重配置和连接器组合。同时,文章用实例展示了文中方法的应用。最后,利用π演算的等价理论及其形式化工具验证了文中方法的正确性。

可叠加使用的印制板电连接器定位设计工艺分析

本文简单介绍了数个单元电连接器的组合使用特点,并重点叙述了以往这种连接器的定位设计及工艺分析,同时提出了一种靠燕尾槽与榫相配合的定位设计。这种定位可降低模具成本,提高连接器之间的定位精度。

运载火箭发射场无人值守加注发射技术研究

针对我国火箭在发射场射前操作项目多、保障人员多的问题,分析了国内外火箭发射场无人值守加注发射的现状。结合火箭射前状态,从火箭系统、地面测发控系统和发射场系统等方面提出了无人值守加注发射总体方案,通过火箭状态远程监测及故障处理技术、连接器零秒脱落技术、箭地接口组合连接技术、连接器自动对接技术和火工品自动短路保护与解保技术等关键技术研究,可提高人员和产品的安全性,为后续我国火箭实现无人值守加注发射提供参考。