多个并行并联的作战单元备件优化配置建模

资源优化配置是作战单元维修保障的关键因素.对作战单元部件备件满足率进行研究的基础上,针对任务时序逻辑关系为完全并行并联关系的情况,建立了多个作战单元任务的任务成功概率模型.在满足任务成功概率约束条件下,给出了多个作战单元备件携行量优化模型,并运用边际分析法进行了求解,通过算例证明了模型的正确性.     

SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.     

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

多机CEC系统的传感器联网核心技术

对协同传感器联网的基本概念、原理以及重要性进行了阐述,提出了一种分布式无线传感器网络体系结构,对协同传感器管理的基本方法进行了分析与综合,指出了协同传感器方法发展的基本特征和进一步需要研究的问题.CEC传感器网络集成了无线网络通信、嵌入式处理和传感器技术等多项技术,分析了传感器网络的自组织、自适应的特点与需求,并在此基础上就若干关键性技术问题进行了探讨.     

一种新的分布事务处理模型和算法

分布事务处理是分布式数据库管理系统设计中的一项关键技术。为保证分布事务的原子性,对基本分布事务处理模型和加工协议进行改进,提出了一种新的分布事务处理机制,并给出了其在分布式工程数据库管理系统dEDBMS中的实现方法。     

用8097单片机访问16位RAM中的奇地址字

MCS96系列单片机的外部总线宽度是可以编程控制的.为了达到访问16位RAM奇地址空间中的字,需要特殊的硬件结构支持.笔者讨论了两种方案,并进行了比较分析.     

OLE2.0综述

本文分析了基于构件技术COM的OLE2规范,重点讲述了其技术内容及发展过程。从中可得出OLE2为软件集成和复用奠定了基础。     

软件无线电数字信号处理关键技术分析

本文首先简要介绍了软件无线电数字信号处理部分所包含的关键技术,然后对各关键技术如宽带Ａ／Ｄ变换技术、数字中频处理技术,等进行较详细的分析,并设计了实现方案和技术指标,为软件无线电的最终实现打下基础。     

美印核协议风波的深层原因

美国的全球战略与印度的大国梦想从根本上是不相容的;美国要求印度将核合作与停止核试验挂钩根本不可能;印度国内强烈的反对呼声提醒美国:在核不扩散问题上的实用主义和双重标准根本行不通。     

军队被装协议采购现状分析及后续管理对策

2010年我军被装采购进入以协议采购为主的新时期。这种采购方式具有稳定被装供应商队伍、实施区域化保障、降低采购成本及端正行业风气等特点,但也存在制度体系不健全、价格调控机制不灵活等不足。在后续工作中应逐步健全协议采购制度体系,积极培育新的竞争机制,实时掌握生产供应情况,加强对产品质量的监控。