功能性能分离的可信服务构件模型

为了向分布式实时嵌入式系统(DRES)的运行过程提供可信保障服务,方便上层应用程序的开发,提出了一种针对DRES的可信构件服务模型QUOCCM。该模型将系统功能实现与性能确保分离开,把应用程序的性能确保模块抽象成通用的服务确保构件,为运行于动态环境下的应用程序提供自适应的可信保障服务。该文以一个模拟实现的飞行控制系统验证了QUOCCM模型的可行性和灵活性。     

可信密码系统中间件开发框架研究与实现

针对分布式环境下密码保障的可信性需求,从考虑密码技术应用的方便性、安全性,以及软件开发效率和质量的角度出发,讨论了可信密码中间件的特点和体系结构,并提出了一个可定制的可信密码中间件的开发框架。最后以提出的框架为基础,阐述了可定制的可信密码中间件开发原则和接口实现方法。     

面向服务的构件软件框架及构件服务挖掘

对现有构件软件框架及构件挖掘技术进行了分析，将构件挖掘和服务挖掘统一为构件服务挖掘；为适应构件服务挖掘的需要，基于HTTP协议和XML语言提出了面向服务的构件软件框架及相关的构件服务定义和操纵语言；针对该软件框架，提出了一个通用的构件服务挖掘过程模型该过程模型与未来对构件服务挖掘的需求相适应，为方便获取各种构件服务，以及为软件重用研究提供了新方法．     

嵌入式数字化仪器设备UML应用软件框架研究

为了实现软件开发的可复用性,提高软件开发的效率,在对嵌入式数字化仪器(DI)设备领域分析的基础上,提出了一个建立在面向对象基础上的构件化软件框架元模型.针对对象领域特征,采用构件化技术,抽象设计了一系列可配置、扩展性强的通用构件库和专用构件库.从而形成了嵌入式数字化仪器系统软件开发模型和相应的软件应用框架,并使用统一建模语言（UML）进行描述.以智能电表远程抄表系统(AMRS)软件应用框架为例,表明该框架可以实现嵌入式数字化仪器设备系统软件开发的有效复用.     

基于SSH框架的构件组装技术研究与应用

构件技术是支持软件复用的核心技术,构件组装技术是构件技术研究的重点与难点。分析了构件组装技术与分类,提出了基于SSH框架的构件组装模型,最后将这一模型应用到集中支付管理系统的开发中,实践表明这种构件组装模型能提高构件组装效率,提高软件开发质量。     

基于构件框架及模型驱动的操作系统内核

为了解决复杂嵌入式系统模型在操作系统上的实现要求，提出了一个新的基于模型驱动架构的嵌入
式操作系统内核Pcanel.该内核提供一个构件化的运行环境，以细粒度的构件作为基本单位，以构件框架
作为控制构件计算任务的体系结构.构件框架对应设计阶段的抽象计算模型，由计算模型解决系统在功能
方面的问题.构件框架按照触发器条件控制构件的执行，解决系统在非功能方面的问题.Pcanel采用一个规
范的状态和行为的转换系统，将控制流与构件的执行相分离，并且在规范的递归形式下实现框架的组合.
研究结果表明，Pcanel能够灵活地应用于高度复杂的嵌入式系统，通过构件模型的约束条件，构件得以更
容易组合和验证.     

基于软构件的数据库应用系统的设计

在研究软构件理论的基础上，将构件技术引入数据库系统的开发，提出了一种基于软构件的数据库系统开发模型，利用该模型研制开发了一个应用系统．     

基于服务规约匹配的业务构件获取

针对目前构件模型缺乏行为语义和脆弱接口的问题,提出了一个面向服务的业务构件模型,该模型采用有限状态机来描述业务构件的行为语义,采用基于XML的标记数据类型来表示业务数据类型,基于此模型,提出了动作、动作序列和业务构件3个层次的语义匹配关系,借鉴数据库查询语言,提出业务构件检索语言以支持业务构件的自动获取.结果表明:所提出的方法为大规模的业务构件复用提供了有利的技术支持.开发了业务构件库管理工具验证了该法方法的可行性和有效性.     

可复用构件的制作和组装

软件复用和基于构件的软件开发是软件工程化开发和工业化生产的必然趋势，可复用构件的制作和集成组装是其中涉及的两个重要活动。本文提出软件复用的条件，环境和注意问题，以及支持接口连接式和插头插座式体系结构的构件模型和基于体系结构的构件集成组装框架，并讨论给出构件的制作和组装过程。     

VirtinSpector：一种基于UEFI的虚拟机动态安全度量框架设计与实现

通过可信硬件能够弥补单纯软件安全的不足,从整体上提高云系统的安全性。但是,面对云环境运行时的安全,传统可信硬件技术无法提供足够的保障。为此,本文提出了一种基于UEFI的虚拟机动态安全框架——VirtinSpector。该框架能够将UEFI固件作为可信基础,对云系统的基础设施层进行实时、动态的安全度量,提供传统可信技术无法达到的动态保护。在此框架基础上,本文以某国产服务器为实验平台,构建云环境,实现了一个面向Xen环境的UEFI虚拟机动态安全度量原型系统。实验与分析表明,该框架能够有效检测针对虚拟域、管理域和虚拟化软件的攻击,为云系统提供来自基础设施层的安全支撑。并且对原有系统的性能损耗在允许范围之内,不影响用户的正常使用。     

面向分布式实时系统的新型可信任务调度算法

目前许多面向关键领域的应用对实时系统提出了可信要求,研究可信的实时调度算法成为当前的研究热点。文章分析了当前公开文献中各种实时调度算法的缺陷,针对现有算法的不足,提出了一种适用于分布式实时系统的启发式可信调度算法,该算法以提高系统的可靠性和安全性为目标,一方面采用改进的主动副本复制技术,在多个处理机上有效分配实时周期任务,并支持对硬件失效和软件瞬时失效的处理,另一方面利用处理机对每个运行之前的任务进行安全性检查,有效防止了非法任务进入并破坏系统。仿真实验的结果表明,文中提出的算法DTSA相对于其它算法而言,在仅增加较少硬件成本的前提下,能够有效提高运行任务的可靠性和安全性。     

A real-time fault-tolerant scheduling algorithm with low dependability cost in on-board computer system

To make the on-board computer system more dependable and real-time in a satellite, an algorithm of the fault-tolerant scheduling in the on-board computer system with high priority recovery is proposed in this paper. This algorithm can schedule the on-board fault-tolerant tasks in real time. Due to the use of dependability cost, the overhead of scheduling the fault-tolerant tasks can be reduced. The mechanism of the high priority recovery will improve the response to recovery tasks. The fault-tolerant scheduling model is presented simulation results validate the correctness and feasibility of the proposed algorithm.     

可信嵌入式系统中可靠且能量有效的任务调度

针对可信嵌入式系统对实时、可靠和能量有效等性能的需求,提出一种新的非周期实时任务调度算法.基于非周期实时任务的本质特性,该算法巧妙利用任务的调度空闲,通过动态电压/频率调整机制来降低任务的运行能耗.该算法具有线性时间复杂度,能够实现在线最小化系统能量消耗,并且不牺牲任务的高可靠和强实时需求.实验表明了本文算法在可靠性和能量有效性方面的优越性.     

基于Socket的多媒体视频会议系统

基于Java语言以及套接字接口(Socket)技术,设计并实现了一个通用的、可靠的多媒体实时交互网络视频会议系统,并提供了一个实时传输协议RTP(Real-time Transport Protocol)的实现包,完成了音视频交互、协同工作环境的文本交互和简单的电子白板功能.     

基于供应链的粮食物流信息服务网络平台研究

基于粮食供应链在粮食物流发展中的作用,阐述了基于供应链的粮食物流信息化的含义。针对我国粮食物流信息化存在的问题,基于粮食物流供应链,设计了汇集粮食质量检测信息及追溯,粮食物流管理及监控、粮食物流质量管理和专家决策等多种功能集成的粮食物流信息服务网络平台。介绍了该网络平台的主要组成和主要技术实现。依托该粮食供应链网络平台,可实现粮食质量检测信息管理和发布,粮食的可信流通及监控,促进粮食物流信息化的发展。     

热轧带钢层流冷却实时报表系统实现

对热轧带钢层流冷却实时报表系统的系统构成、系统数据的自动采集、自动存储及实时报表实现进行了详细描述.实时报表系统为模型及时改进、质量实时监督、故障及时排除及新钢种冷却工艺应用提供了可靠的数据基础.     

单片机在温度测量和控制中的应用

介绍了如何将单片机应用于温度测量与控制系统中,使测量和控制智能化。系统的核心部件是８９Ｃ５１单片机。首先建立控温模型,通过硬件的合理配置及用软件选择合适的加热模式,使控制满足模型中不同阶段的要求。系统采用一致性好、精度高的热敏电阻作为测温元件。更换测头不需要调整硬件或软件,性能稳定可靠。用光隔控制可控硅的导通与截止,从而控制加热电压的通与断,使控制具有灵敏、可靠、抗干扰能力强等优点。本系统测温、控     

小卫星测试数据在线时间序列判读方法

小卫星自动化测试是提高测试效率、缩短研制周期、降低研制成本和保证可靠性的重要手段,数据判读是测试系统的重要组成部分.传统测试数据判读多依赖于测试人员的手工比对,效率较低,难以适应于实时性较高的小卫星系统测试.针对这一问题,设计了小卫星测试系统方案和数据在线判读模型,建立了测试数据的时间序列模型,在此基础上完成数据预测算法设计和判读方法设计.最后利用飞轮和陀螺的测试数据对该方法进行了工程验证.结果表明,设计的数据预测算法和判读方法兼顾测试数据自身特点和实时性要求,能在较小的先验数据集上全面地检测出数据异常,从而显著提高测试的全面性和准确性.