关于半鞅向量随机积分的两个结果

首先利用半鞅Girsanov定理与闭图像定理证明了:若{Xn}是带滤基的完备概率空间(Ω,F,F,P)中的一列半鞅,其中滤基F=(Ft)t≥0满足通常条件,且{Xn}在关于P的Emery拓扑空间中收敛于X,则当概率测度Q相似文献   

基于循环子空间理论的线性系统测试矩阵优化

研究了线性定常系统在循环指数大于1(即其约当标准形不同的约当块有重根)的情况下测试矩阵的优化方法.以循环子空间相关定理的证明为基础,根据根向量链的相关特性,得到了测试向量的线性和与系统观测性的直接关系,给出了在保证系统可观测性的同时,使得测试代价最小的测试矩阵优化方法.算例表明,提出的方法简单直观,对配置测试向量具有良好的工程价值.     

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

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

关于军事通信系统顽存性及最低限度通信能力若干问题的研究

本文根据现代高技术战争信息动广泛的特点和规律,阐述了军事通信系统关键性系统特性的概念,重点探讨了系统顽存在,最低通信能力和最低限度通信能力的基本含义,在此基础上,围绕“打赢”和“三打三防”,分析了对军事通信系统生存能力的需求,最后提出了最低限度通信能力的评估方法。     

一类装甲车辆对不平路面的激励响应模型

研究内容为(轮式、履带)车辆在不平路面行驶和通过障碍时的平顺性问题。利用状态方程法建立了包括随机和确定路面轮廓、3维车体等较为通用的车辆行驶平顺性模型。并针对行驶振动中车轮与悬架的碰撞建立了专门模型。对某型装甲车辆进行了计算机仿真和验证,对模型的精度和有效性进行检验和评估。结果表明所建立的车辆-地面系统模型是有效的。该模型和建模采用的方法为装甲车辆的系统设计和动力学分析提供了一条途径。     

新型聚合物水泥砂浆的研制

为解决地下坑道、海港码头及建筑工程的防腐、防水、防盐碱等防护问题,通过对成品乳液进行改性,使乳液在水泥中极易分散,能有效地使聚合物与水泥水化产物及砂、石形成有机整体。以此保证聚合物水泥砂浆具有较高的抗渗性及粘结强度。其结果证明了这种方法的有效性和实用性。     

装备互用性若干问题研究

互用性是联合作战的基础,是装备系统构成体系的纽带或黏结剂,随着信息化的发展互用性问题已经成为制约部队联合作战能力的关键因素。尽管互用性是两个或两个以上装备之间的一个关系特性,但有互用关系的单个装备本身要具有互用的能力。实现互用性的模式基本上分为点对点的方式和以网络基础设施为基础的方式。互用性的论证分为两个层次的论证,一个是体系级的论证,一个是系统级论证,系统级互用性要求来自于体系级互用性要求。加强对装备互用性研究对于提高部队联合作战能力具有重要现实意义。     

DDBMS中的并发控制理论

本文叙述了并发控制的数学理论,以此达到两个目的:一是以精确的术语定义并发控制方法的正确性;二是把并发控制问题分解成两个更容易处理的子问题:读一写同步和写一写同步。为后继论文对分布式并发控制的分析和设计打下基础。     

中温石墨流态床热处理炉的加热装置与电极设计

本文以笔者早年设计的小型石墨流态床热处理炉(LTR)和随后研制大功率炉的经验,讨论加热装置的最佳方案和电极设计的有关问题,通过理论分析和试验,给出950℃以下的温度-电阻曲线和屏蔽电极区间的电压-幂次和电阻-幂次曲线。     

计算机辅助设计管理数字库

本文介绍了美国“几何与智能计算实验室”开发的一个数字库的最初研究成果,该成果是用于支持计算机辅助的合作设计。目前作为工程设计的知识资料档案库,这个实验平台用于收集和归档公共领域的设计数据,以便供研究者和专业技术人员使用。我们预见这个成果将被推广以方便分布设计和制造人员的技术合作,并简化归档过程。基于知识的CAD对于设计人员来说是核心,他们通过对大量共同的传统数据进行研究,并且通过浏览在线数据表精确地检索组装到新产品上的所需的正确组件,该项研究试图寻找到提高计算方法所需要的关键要求,来论证复杂的几何图形和设计信息。该实验室把焦点集中在机械电子系统的设计和制造数据的归档和再使用上。本文介绍了这个研究课题的一个详细说明。一个关于实验平台最初结构的综述,一个关于概念化设计和设计检索的最初结果的说明。