ATR信息处理的软件体系结构

为解决雷达自动目标识别设计中的整体设计框架问题,从ATR系统的特点出发,采用领域工程的分析方法对大量的ATR系统进行了系统化分析,在此基础上构建了基于代数学的构件模型,并给出ATR系统的模型.该模型作为ATR支撑平台开发的基础,支持ATR系统的快速开发.理论分析表明:该模型支持插头插座式的软件体系结构,为开放式ATR支撑平台提供了理论基础,为后续的ATR系统建模提供了构件模型规范,同时为ATR构件库的创建提供了支撑.     

基于J2EE的软件支撑平台构件技术研究

为提高软件复用程度、系统开发效率和可维护性,提出了基于平台化、构件化的系统开发思想.应用结构化,模块化和面向对象方法,在J2EE支撑平台的基础上,研究了软件构件定义、属性、表现和模型,构件分类与管理技术.阐述了基于平台和构件的开发过程.在多个项目中应用表明,系统的开发效率被提高了20%左右,软件复用性显著提高,可维护性明显增强.     

用J2EE技术实现虚拟软件企业构件库系统

作为实现软件复用基础设施之一的构件库系统,在虚拟软件企业开发过程中扮演了极其重要的角色。本文结合虚拟软件企业支撑平台设计思想,通过对面向虚拟软件企业平台构件分类、组织模式、存储和检索算法等关键问题的分析,给出了基于J2EE技术的构件库管理系统的具体实现。     

基于非确定性推理的网构软件服务质量动态评估方法

提出了网构软件环境下一种基于非确定性推理的构件服务质量动态评估方法.该方法基于贝叶斯网络,其主要特点在于考虑了用户对构件的QoS需求,可以预测在用户多种QoS需求下采用分级策略的构件服务能力,支持评估模型的动态更新,提高了评估结果的准确性.在自主开发的服务协同总线(Once-SCB)平台上进行了应用与验证,结果表明,该评估模型准确、有效,可以在用户多种QoS需求下为其选择最为合适的构件.     

基于构件和总线集成的业务基础平台框架研究

为了提高软件复用的灵活性和软件的开发效率,提出了一个基于构件和总线集成的业务基础平台框架（CBBF）,以结构级的构件定制和复用生成业务过程,以体系结构支撑和集成软件系统。阐述了基于业务基础平台的开发模式;设计了CBBF的体系结构;分析了CBBF实现的关键设计,包括XML总线集成的内核引擎、构件分类、构件模型的形式化描述和构件组装;给出了CBBF的实现细节。实践表明CBBF可以简化软件开发过程,大幅提高软件开发效率。     

软件构件化生产集成支撑平台研发

对大型软件构件化生产过程中的构件识别与映射、构件建模、构件测试和构件评估进行了研究,报告了软件构件化研究和实践现状和存在的问题,提出了一套基于业务构件组装开发支撑平台实现框架,详细阐述了构件功能之间的关联关系,给出了构件化组装技术原理和实现过程,阐述了业务构件框架与原子业务构件组装过程,为基于业务构件组装的软件构件化生产提供了一种新的解决方案。     

PAR平台中若干软件构件形式化验证技术研究

PAR平台是本团队研制成功的支撑软件形式化和自动化开发的软件平台。该平台充分体现了功能抽象和数据抽象的优越性,使得软件开发变得便捷和可靠,达到这一性能的关键要素是一批可重用软件构件。为保证整个软件平台的正确性和可靠性,确保其中软件构件的正确性和可靠性就显得十分重要。选取PAR平台中若干典型软件构件,用形式化方法对构件的语义进行形式化描述,并借助Coq定理证明系统,对构件的正确性进行形式化验证,大幅度提高了软件构件形式化验证的效率。     

基于PXI技术的1553B总线通讯模块的设计

从硬件与软件方面介绍了基于PXI技术的1553B总线通讯模块的设计,并对PXI总线接口设计、驱动程序的开发、SDRAM存储器的控制和1553B总线通信协议实现等关键技术进行了详细的阐述,为航空领域测控系统开发PXI总线模块与搭建PXI测控平台提供了技术参考。     

基于软件总线技术的设计方法

软件总线是管理和组织软件系统构件的平台,是一种有别于硬件总线的软件开发工具。它是保证软件建设过程规范性,系统在运用中具有可靠、适用和扩展性,满足用户和发展的需求。本文对软件总线模块设计方案进行了理论阐述。     

信用构件的刻面分类及检索方法研究

本文引入软件复用来实现信用评估系统的构件化开发,通过对信用评估系统及评估建模方法的分析,提出信用评估构件库的刻面分类,结合具有良好扩展性的术语空间层次编码,对构件检索技术进行了讨论,将查询条件和构件描述的匹配转化为字符串集之间的匹配,采用向量空间模型的相似度量来提高构件的查全率。     

基于HKS1553BCRT芯片的1553B总线通信软件设计

为了提高1553B总线通信模块的统一性简化设计难度,文中选用HKS1553BCRT芯片作为系统开发的硬件平台。该硬件平台由于采用内部集成1553B协议处理器的高性能SoC,可以很好的解决多路1553B总线接口模块版本众多、互不兼容、硬件系统设计复杂的问题。基于该平台设计了一款通用的1553B通信软件,可同时支持静态总线和动态总线两种不同的工作模式,提出并实现了改进型静态总线控制（ImprovedStaticBusControllerISBC）协议。进一步满足了不同系统下数据传输需求,改善了1553B总线对实时消息的响应速度,本软件数据结构简洁、算法合理,对同类软件设计有一定的借鉴意义。     

基于PC/104-Plus总线的数字信号处理系统的设计与实现

文章简述了PC/104-Plus总线的工作原理,主要叙述了以TS101 DSP作为处理芯片的数字信号处理系统的组成、功能结构特点.对软件开发调试平台进行了描述.提供了一种嵌入式系统中利用PC/104-Plus总线实现数字信号处理系统的实现方案.     

CAD支撑系统构件—软总线模型

在分析开放系统的特点和CAD支撑系统的具体需求的基础上,提出了CAD支撑系统构件-软总线模型（CSB模型）,在该模型中,图形功能模块和应用程序都被封装成为彼此独立且便于复用的构件,由软件总线实现集成,解释型和编译型两种类型程序语言开发的应用构件在系统中共存,并可在运行态动态增加/删除;同时,由总线适配器、解释器和应用服务代理组成的应用服务界面代理了构件之间复杂的通信过程,完成异构数据向同构数据的转换,使构件更专注于功能实现,根据CSB模型实现的一个开放的CAD支撑系统OpenDesign∧TM已经成功实现了产品化,应用实践证明,基于CSB模型的CAD支撑系统效率较高,具备比较好的互操作性和伸缩性,系统开放程度增加。     

基于组态软件和仿真软件的层流冷却实验平台

针对热轧层流冷却过程的自动化系统及优化控制算法难以在实际运行环境中进行充分的调试和验证、基于仿真软件发的实验平台则脱离工业实际的监控与运行环境、购买硬件控制系统进行实物/半实物仿真价格昂贵等问题,本文提出了采用组态软件、工业控制器模拟软件、仿真软件混合编程开发层流冷却虚拟实验平台的方法。该平台采用C#语言开发参数优化子系统、组态软件开发管理监控子系统、工业控制器模拟软件运行回路控制程序、MATLAB软件开发对象模型子系统,通过OPC软总线等技术实现了各个子系统的无缝连接。本文最后采用实际工业数据验证了平台的有效性,表明其广阔的应用前景。     

基于软总线的卫星跟踪控制系统设计与实现

卫星跟踪控制是卫星通信技术中的一项重要技术;设计了一种基于软总线机制的卫星跟踪控制系统,给出了关键的设计方案;硬件平台方面处理芯片采用FPGA+ARM的ZYNQ处理平台,保障系统中处理资源和接口扩展的需求;软件方面通过构建软总线的数据管理机制和通信代理机制,解决传统系统中耦合度高及触发条件难以精准把控等问题,使跟踪系统软件架构清晰明朗,各功能模块接口高效、便捷、易扩展;跟踪流程设计中,优化了跟踪角度调节处理时机,使跟踪算法和外设控制得以并行处理,充分利用处理资源,最终搭建测试环境验证了系统能力;结果表明,该设计有效可靠,其中软总线机制还可应用于其他外部设备复杂的环境,具有较高的应用及推广价值。     

论软件开发平台的选择与应用

软件开发平台的选择是系统分析人员必须考虑的问题,通过对<个人防火墙>和<防火墙报表分析系统>所选择软件开发平台的纾解,同时对所选择软件开发平台的选择与应用之间进行对比,重点考虑了开发平台的使用要有利于保持系统的先进性、开放性、与环境的一致性、开发人员的熟练性;阐述和论证了选择软件开发平台的原则。     

The smart surface network: A bus-based approach to dense sensing

We present the Smart Surface Network (SSN), a hardware and software platform designed for dense sensing. Sensor nodes connected to the SSN communicate using a serial bus integrated within a mountable physical surface. The hardware architecture and bus access and communication mechanisms are implemented in a self-stabilizing manner, providing robust handling of unannounced arrivals and departures of network devices. An associated API supports a peer-to-peer communication paradigm, providing access to the physical, data link, and application layers of the bus. In this paper, we describe the SSN hardware architecture and present the bus access and peer discovery algorithms. We also discuss the design of the API and describe experimental results characterizing the fairness of the bus algorithm, the efficiency of the peer discovery algorithm, and the performance of the SSN system under varying load conditions.     

基于软件总线的星载系统软件结构的研究与设计

针对目前国内外星载系统软件可重构性较差的问题,提出了一种基于软件总线的星载系统软件结构。首先，介绍了软件总线和软构件的结构。其次，阐述了星载实时多任务操作系统中混合任务调度算法的设计。最后，对这个混合任务调度算法的正确性给出了证明。