活动图并发语义代码自动生成算法设计

针对活动图能够比状态图更自然和直观地显示程序的并发行为,为达到图形化描述程序的并发行为并自动生成代码的目标,通过分析活动图的图元语义,以fork、join、activity、initial、activity final、flow final等6个图元作为图形建模和代码生成的基础,提出了一套代码自动生成算法.该算法把活动图拆分成若干独立的活动子图;再把每个活动子图解析成若干进程和信号量;最后对每一个进程和信号量进行代码生成.实验证明,基于本算法开发的原型系统取得了较满意的效果,同时也证明了所提出的方法和算法的正确性、有效性.

微小卫星星务计算机系统的容错控制策略研究

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

一种数据网格容灾存储模型及其数据失效模型

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

一个WWW智能搜索引擎

为避免传统搜索引擎带来的信息过量或丢失有用信息的现象，采用本体论、启发式检索和用户目标等人工智能新技术来设计搜索引擎，从而实现将检索的信息转化成用户有用的知识。

小卫星星载计算机及其外围设备的管理

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

嵌入式软件虚拟化测试技术标准框架研究

针对嵌入式系统硬件平台采用纯软件仿真并对嵌入式软件进行功能级测试的相关研究存在较多不足,缺乏整体、统一、灵活、标准的仿真部件间接口,致使不同体系、类型的处理器仿真核与各类外设间较难进行快速、直接的整合与交互、导致缺乏系统级可配置能力、各类仿真核与调试器(GDB)间不能进行直接、有效地互联和交互,从而无法达到可定制、组件化的系统级仿真及虚拟测试环境快速搭建目标.基于组件化思想,提出一套处理器仿真、外设仿真和调试器(GDB)三者间可进行直接、快速交互的标准结构、标准接口和基本处理逻辑,优化和删减了GDB层次,扩充了新功能,使之在运行时可动态加载、支持多种仿真处理器体系.研发了虚拟测试系统,验证了所提方法、结构、接口的有效性和正确性,与其他同类技术、项目进行了综合能力比较.结果表明本文所提方法、技术具有较多优势.

基于HIS的医疗设备维修管理系统的设计与实现

为了推进管理的规模化和标准化,加快信息化建设的脚步,研发了基于医院网络资源的医疗设备维修管理系统,其特殊的功能(预防性维护、自动派工、绩效考核等)对确保医疗设备良好的状态和提高员工的工作效率具有很大帮助,为提高医疗设备的维修管理水平提供了技术手段上的保障。该系统采用CS/BS结合的模式,使各科室客户端零维护,医学工程部的数据操作、统计方便,同时为今后的全院信息整合提供了基础平台。

一种文档自动生成模型的构建及其应用

针对企业在编辑数据汇总文档(Word格式)时因手动计算、人工校验造成效率低下且容易出错等问题,通过分析数据汇总文档的特点及其所包含的基本数据类型,提出了一个文档自动生成数学模型。该模型对文档生成过程中一些必要的操作及文档模板进行了定义,并应用模型经过迭代计算,将文档模板转化为特定日期的数据汇总文档。该模型已应用于某发电厂的经营决策文档自动生成系统,并成功地集成于工作流系统中。应用实验表明,该模型是可行且有效的。

小卫星姿控与星务管理的一体化设计

介绍一种将姿控系统和星务管理系统融为一体的设计思想 ,它节约了星载机资源 ,提高了系统信息处理的实时性 ,很好地体现了小卫星的质量轻、体积小、成本低的优势。对姿控系统的硬件组成、卫星的飞行模式和控制策略、星务管理软件的体系结构和总体设计思想、姿控软件和星务管理软件的接口设计等内容做了重点讨论。

基于生产消耗模型与松弛时间的数据网格服务可靠性研究

针对现有数据网格可靠性相关研究的不足,引入了生产者与消耗者模型,并提出扩展松弛时间模型。理论证明生产消耗模型使数据服务可靠性远高于网格数据可靠性,而扩展模型进一步提升了数据服务可靠性。通过仿真实验,将模型的数据服务可靠性与网格数据可靠性进行了比较,并与理论推导进行对比分析,取得了较好的效果,证明了该模型的有效性。

小卫星星务管理软件的设计

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

HL7在HIS系统中的应用研究

医院信息系统(HIS)间的"异构"问题由来己久,而业务的发展要求实现医疗信息的交换和共享。本课题引入了HL7标准作为医院信息系统间共同遵循的数据交换协议,以实现异构系统间数据的交换。文章以HL7消息作为主要研究对象,设计一个HL7消息的构建、解析演示系统。中间件包括两个功能模块:HL7消息的构建/解析模块和消息传输模块。消息的格式基于XML技术。系统的演示表明,在对现有系统不作更改的前提之下,采用外挂中间件的模式,能在系统间正常地处理传输基于XML格式的HL7消息,很好地解决了异构系统间数据的交换,符合当前的需要。本课题所作的探讨也为将来深入的研究工作提供了帮助。

一种数据网格存储模型与并行下载调度算法

针对在数据网格中创建多副本虽可有效提升下载速度、降低网络流量,但多副本创建会带来大量存储开销和网络流量开销,以及基于GridFTP协议的各种并行下载算法虽可进一步提升下载速度,但仍不能解决多副本对存储空间和网络流量的影响的问题,提出了一个能保证数据的完整性、存储的可靠性和降低存储空间的数据网格存储模型,并基于该存储模型和GridFTP协议,提出了一个并行下载调度算法。实验表明,该算法只需要较少的冗余便可达到现有的针对全副本的并行下载算法可达到的理想下载速度,取得较好的效果,实现并行快速传输、节约存储空间和降低网络流量的目标。

数据网格的存储资源预留方法

为了解决将二元法资源能力预留策略直接应用到数据网格的存储资源能力上所引起的接纳率较低、资源能力碎片过多、存储空间浪费严重等问题,通过分析数据网格应用中存储空间预留的特点,提出了四元法资源能力预留策略.传统的时间槽算法无法适用于四元法资源能力预留,进而提出了使用基本阶梯法和阈值阶梯法能很好的解决此问题.实验表明本文的资源能力预留方法具有更高的资源使用率和接纳率,而阈值阶梯法能够适应传输速度动态变化的网络特性.

一个基于消息传递接口和面向对象的图像信号处理并行向量库

传统并行软件系统的设计和实现存在着开发效率低、质量难以保证和可移植性差等问题。针对这些问题,采用开发标准并行库的方法加以解决。借鉴高性能嵌入式计算软件计划(high performance embedded computing software initiative,HPEC_SI)的解决方法,基于消息传递接口(message passing interface,MPI)的消息传递机制,对图像/信号处理中的一些典型并行算法以类组件的方式进行封装,设计和实现了具有面向对象特征的、用于图像/信号处理的并行向量库,提供给应用软件开发人员一个良好的开发环境。通过测试和实验证明,该库可以高效地实现相应的向量矩阵并行算法,并具有简单易用、可复用性和可移植性强、效率高的特点。

SELP:动态负载平衡中一种稳定有效的定位策略

在分布式系统中的动态负载平衡算法中 ,如何定位一个任务迁入或迁出的目的结点 ,是整个算法的关键步骤之一 .本文提出一种稳定有效的定位策略 SEL P,通过以较低开销收集的全局信息启发 ,来探询获得目的结点 .并用这种策略改进发送者启动、接收者启动算法 .实测结果表明 。

小卫星软件共用平台设计

以小卫星共用平台相配套，以面向对象的程序设计方法（ＯＯＰ）为基础，提出软件共用平台的设计。利用ＯＯＰ的封装性、继承性和多态性，设计小卫星软件的基本类库，介绍各个基本类的具体设计思想。最后给出由基本类库生成星载机软件系统的实例。实践表明，软件共用平台对小卫星研制是行之有效的技术。

小卫星故障诊断与处理技术

介绍一种简单有效的故障诊断及处理技术。它将小卫星的故障分为分系统级、系统级和系统外部级三种 ,并由星务管理软件处理系统级故障。在每个循环周期都对遥测参数进行采集和监测 ,当故障发生时 ,根据故障的优先级 ,选择并恢复具有最高优先级的故障。该技术在某小卫星中应用 ,能有效满足系统控制周期的限制和系统可靠性要求。

数据网格资源选择优化模型

为了满足网格数据服务的可靠性和传输时间约束，同时兼顾网络负载及节点资源的有效利用，提出了一种网格数据资源选择优化模型，该模型以网络负载和资源代价为优化目标函数，以节点的传输速度、可靠性、传输距离、网络状态、客户端带宽和容忍度阈值为输入，进而决策出参与服务的最优节点集合，同时模型中设定了权重因子来均衡网络负载与资源代价。针对资源选择优化模型又提出了备份节点传输策略，以进一步提升模型的可用性。仿真实验证明了资源选择优化模型和备份节点传输策略的正确性和有效性。

基于知识的网页检索工具

随着因特网在全球范围的广泛使用 ,越来越多的人们借助于因特网从事科研和商务活动 ,而网页检索工具成了人们必不可少的软件工具 .然而 ,目前流行的检索工具大多基于关键字查询 ,常常出现信息过载或有用信息丢失等现象 .造成这一原因主要有两方面 :用户提交的查询不能很好地表达他的目的 ;查询的结果没有建立有效的索引机制 ,引导人们快速找到有用信息 .为此我们提出一种基于知识的网页检索工具 (KWSE) ,它是在已有的检索工具的基础上增加查询概念和文档改写两项功能 ,即用户提交的不是关键字而是为达到某一目的的概念 ;并对返回的文档建立新的索引 ,指向有用信息 .实验表明 ,这种检索工具更符合人们的习惯 。