摘要：文档安全性对于信息共享Peer-to-Peer(或P2P)系统而言是一项重要的性能指标,以P2P系统的文档安全性优化为目标.P2P系统的文档安全性主要取决于两方面的因素:其载体的安全性和文档相关机制的构造,如副本管理等.对于P2P这样高度自主的分布式系统而言,文档安全性的提高无法依赖于结点安全性的提高,而应依靠对文档相关机制的控制来实现.首先设计了一个对文档安全性敏感的查询协议,以该查询协议为基础,与文档相关的机制就可以形式化地表述为函数,而系统文档安全性的提高就转化为函数空间上的数学分析.基于函数分析的结果,设计了一套旨在提高文档真实性的副本管理算法集合.理论分析的结果表明:在理想情况下,该算法集合可达到文档真实性的优化.对于实际系统,经过大量的模拟实验结果验证,该算法集可以获得良好的效果,接近优化水平.

摘要：在Arvind提出的概率时钟同步算法基础上针对传感器网络进行了改进,采用在线测量传感器节点间消息传输时延值的方法,从根本上解决了传感器网络进行时钟同步时即要保证同步精度又要降低能耗和带宽消耗的矛盾.针对不同网络拓扑结构设计了簇内时钟同步协议和全局时钟同步协议,针对节点的事件触发工作模式设计了主动同步协议.实验结果表明,基于统计的时钟同步协议能够适应传感器网络的工作特性和需求.

摘要：在现代小卫星通用平台的设计中 ,由于功能及计算量的增加 ,使得对星载计算机及其外围设备的管理成为制约系统性能和可靠性的瓶颈 .针对这一问题 ,以某小卫星为例 ,讨论了现代小卫星星务管理软件对星载计算机及其外围设备的管理方法和技术 .通过引入实时多任务嵌入式操作系统 ,设计以多任务并行运行为主要特征的星务管理软件体系结构 ,把外设划分为二级三类 ,通过调度任务对与不同外设相对应的任务进行调度 ,并裁剪PSOS实时多任务操作系统 ,提高代码利用率 ,缩短了系统的运行周期 ,提高了系统控制精度和可靠性 .

摘要：微小卫星系统是一个可靠性要求很高的系统,需要由具有容错能力的星载计算机来控制。针对微小卫星重量、体积、功耗的限制,提出了一种微小卫星的星务计算机系统的可靠性设计方案,设计中采用双模冗余方案搭建系统的容错结构,并根据卫星的运行要求提出了适用于微小卫星的温备份方式容错控制策略,介绍了一些用于支持温备份方式容错控制策略的关键技术。通过分析在微小卫星设计中的适用情况,温备份策略从硬件开销和时间开销两个方面都有利于卫星的设计。在立体测绘微小卫星“试验卫星一号”的星务计算机系统中的应用表明,提出的可靠性设计方案能够提高小卫星的可靠性、安全性以及实时性。

摘要：小卫星由于一些突出的优点正成为研究的焦点，而星载操作系统是星务管理软件指挥卫星运行的平台。当前没有专门为小卫星设计的实时操作系统，一般都是对通用嵌入式实时操作系统进行裁剪来完成，需要很大的工作量。在某小卫星设计的基础上，提出了一种星载实时操作系统内核的设计方法，其特点是：面向小卫星应用，代码少、实时性强、稳定性高。

摘要：为解决基于COrpS处理器的现代微小卫星系统的软件容错问题，提出了基于虚拟寄存器的软件加固技术（SHVR），它把运行在COTS处理器上的软件故障分为数据流错误和控制流错误，设计了一套虚拟寄存器分配方法来突破现有的只能采用高级语言源程序作为输入的限制，提出了基于虚拟寄存器的数据流和控制流错误检测算法，并在实际应用背景下对这一方案进行了优化。模拟实验和实际应用表明，这套完全基于软件技术的方案在平均付出82．6％性能代价的前提下，对随机注入故障检测率达到91．4％。该方法现已成功应用于哈工大某重大航天课题中。

摘要：提出一套适用于空间机器人的高可信软件设计模型和算法,将空间机器人软件错误检测分为单元级和系统级2个层级,针对单元级检测设计程序基本块模型以及基于该模型的数据流和控制流错误检测算法;针对分布式软件系统级的错误检测,设计多节点自适应冗余模型,在此基础上设计基于微检查点的错误检测算法,对空间机器人软件系统的错误检测形成一个完整覆盖,该方法已得到成功应用。

摘要：针对小卫星自主飞行和自主管理的要求,以某小卫星为例,介绍星务管理软件的基本功能、体系结构和系统设计.并对软件设计原则、多任务设计、数据通信、双机容错和故障诊断与处理作了较详细的讨论.充分利用多任务操作系统的能力,在体系结构上,将星务管理、姿控管理、数据通信和容错系统彩一体化设计,在不影响正常飞行任务的前提下,有效地提高系统的可靠性,较好地解决了小卫星期自主飞行和自主管理的难题.

摘要：可靠性较高的数据网格多采用双副本容灾可以保证节点在灾难发生时进行有效恢复,但由于节点数据存储量较大,当节点发生灾难时,从一个节点进行数据恢复速度较慢,导致在数据恢复期备份节点发生失效的概率较大.针对这些问题,本文给出一个容灾存储模型,基于该模型推导出一个数据失效模型,理论证明该失效模型的数据失效概率明显小于双副本容灾方式的数据失效概率,同时在灾难发生时又能达到较快的恢复速度.设计了仿真实验,将模型的数据失效概率与双副本失效概率进行了比较,实验结果与理论推导一致,证明了存储模型和数据失效模型的正确性和有效性.最后给出进一步研究思路.

摘要：知识库机是管理知识库系统的专用机,知识库操作语言(KBL)是为用户提供对知识库机进行组织和管理的语言工具。本文介绍一个知识库机的设计并重点讨论它的知识库操作语言的设计与实现。