分布式实时数据库系统中一种新的复制控制策略

为了更好地满足实时分布式数据库系统的实时性和一致性这两个基本要求 ,本文介绍了一种新的集成了实时任务调度和复制控制的复制控制算法 .     

A neutronics analysis of long-life, sectored compact reactor concepts for lunar surface power

Neutronics analysis is performed of low temperature (≤900 K) Sectored Compact Reactor (SCoRe-N_x) concepts for operational lives >20 years. They are cooled with circulating liquid Nak-78. The reactor vessel and the UN fuel pins cladding are made of stainless steel. The power systems with the SCoRe-N_x concepts have no moving parts and employ SiGe thermoelectric elements for converting the reactor’s thermal power to electricity at a load voltage >300 VDC. Separate SiGe elements power the electromagnetic pumps that circulate the liquid NaK-78 in the reactor and 6 pairs of primary and secondary loops. Analysis confirmed that the submerged bare reactors in wet sand and flooded with seawater, in the unlikely event of a postulated launch abort accident, are sufficiently subcritical. Results show that the SCoRe-N₅-S concept is capable of operating for 62 full power years at 200 kW_th, while requiring 75% of the control drums to shutdown the reactor at BOL. With only 50% of the control drums required at BOL to shutdown the reactor, its operational life decreases to 39 full power years.     

亚轨道飞行器任务中止再入轨迹优化设计

针对亚轨道飞行器上升段由于动力故障任务中止时再入返回的问题,考虑飞行模型简化和故障后的燃料处理方案,通过遗传算法优化设计最优返回轨迹,优化时选取经向飞行航程最远作为性能指标,并采用遗传算法,解决用于再入轨迹优化所涉及的关键问题,并进行仿真。仿真结果表明,方法不但满足飞行器返回过程中加热率、过载、动压约束以及终端状态约束,能够通过飞行航程最远消耗飞行器能量从而安全着陆,而且可以较快地搜索到全局最优解,能够用于亚轨道飞行器故障再入轨迹的优化设计。     

一种改进的主动规则的系统执行模型

主动规则及规则处理机制一直是主动数据库研究的薄弱环节,主要表现为:(1) 语义不够丰富;(2) 缺乏基础语义;(3) 缺乏对规则处理的层次化和结构化的描述.为弥补上述不足,对规则处理机制赋予了丰富的规则延伸语义,根据语义的要求,用规则处理树层次化和结构化地描述规则处理过程对系统状态的影响.新的系统执行模型和扩展后的事务使我们能够提出一种支持丰富语义的规则处理算法.与其他规则处理算法相比,该算法实现了新语义,并利用了递归技术,能更好地吻合规则处理过程.     

发电机变压器组高压断路器失灵保护分析

论述了发电机变压器组高压断路器配置失灵保护的作用,提出了目前发电机变压器组高压断路器失灵保护中存在的一些问题,结合国电调[2002]138号文件反措要求对发电机变压器组高压断路器失灵保护进行分析,提出改进意见,提高了发电机变压器组高压断路器失灵保护的动作可靠性.     

一个完全公平的安全多方计算协议

安全多方计算作为许多密码协议的抽象模型,其公平性的研究对具体应用协议有重要的指导意义。安全多方计算的公平性能够保证所有参与者都能得到正确的输出,现有的安全多方计算协议只实现了部分公平性。基于逐比特的混淆电路提出一个通用安全多方计算协议,该协议在具有少数诚实参与者的情况下能实现完全公平性。     

基于ACP方法的载人登月中止规划的计算实验研究

针对载人登月中止规划存在的不确定性因素, 提出了基于ACP (Artificial systems, computational experiments, parallel execution)方法的载人登月中止规划框架, 论述了该框架下人工系统和平行执行的初步设计, 主要讨论了计算实验设计、分析和验证过程. 针对中止规划时中止点状态误差的不确定性, 提出利用短时间的累积观测值确定中止点状态误差的计算实验方法, 并应用模拟退火单纯形混合算法求解从载人登月轨道上任一点返回地球的中止机动方案. 最后给出基于正交实验设计的计算实验示例性算例, 验证本文提出方法的有效性.     

分布式实时事务提交处理

由于提交处理的复杂性,分布式实时事务很难满足其截止期.提出了一种新的提交协议A2SC(主动的双空间提交),它适合于分布式实时事务提交处理的需要.分析了由于数据冲突访问而形成的各种依赖关系.当处于准备状态的事务和处于提交状态的事务发生数据冲突访问时,A2SC允许处于执行状态的事务在一种控制的方式下乐观地访问锁住的数据.当处于准备状态的事务夭折时,仅仅只有其夭折依赖集中的事务夭折.进一步提出了"没有结果的运行"的观念.当一个事务发现它是没有结果的允许时,它将主动夭折.进行了广泛的模拟实验比较A2SC和其它协议比如基准协议、PROMPT和DDCR的性能.模拟结果表明A2SC在最小化错过截止期的事务数方面较成功,因此A2SC适合于高性能分布式实时事务.     

工控机死机原因及对策

本文主要分类介绍了电视播出系统中工控机死机的原因及其处理方法。     

基于LTP-RSS的机会网络路由改进方法

针对机会网络中节点间连接频繁断裂,节点间可用连接时长短的特点,提出了利用接收信号强度值变化来预测可用连接时长。在此基础上,给出了基于连接时长预测的机会网络路由改进方法。改进方法在每次消息发送前先对此次发送是否会中断进行预测。实验表明,该方法可以减少消息发送的网络开销,降低消息发送过程中由于连接断裂导致消息发送中断的机率,提高数据转发性能。