光学仪器故障诊断系统的数学模型

在本文提出的一种光学仪器故障诊断系统数学模型中,将一个故障及其原因,分别用m、n维矢量表示。借助光学调整理论,导出相应的判断方程,在对原因进行适当筛选后,应用拉格朗日乘子法,求出它们的解。这个模型可以用于一类新型智能化的检测设备中,也可以用于编制通用的故障分析程序。     

短路故障的测试产生方法

在PCB上,两个不相邻的芯片管脚或引线发生短路是实际应用当中最常见的故障。通过分析固定型故障和桥接故障之间的关系,给出桥接故障测试序列产生的系统计算方法。该方法已应用在一个PCB故障测试系统中。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

快速的平行码临界路径跟踪故障模拟

针对平行码临界路径跟踪故障模拟中最费时间的扇出源故障模拟,提出了若干加速技术。通过对电路结构进行的独立扇出分支、扇出源分类及扇出源的最终汇聚门等静态分析,结合对停止线及停止扇出源、测试码标记向量以及扇出源临界性确定前的预处理等动态计算,使得扇出源故障模拟区域及需要故障模拟的扇出源数目大大减少,极大地缩短了整个故障模拟时间。实验结果表明,平行码临界路径跟踪故障模拟算法,对少量和大批的随机码都非常有效,并且随着电路规模增加,其有效性更加明显。     

粘弹阻尼隔震元件的小数阶微商动力模型研究

本文研究粘弹材料的小数阶微商本构模型,指出这一本构模型不仅是在数学上对标准粘弹本构模型的推广,更重要的是它能合理地描述具有较宽频带的高应变率动载作用下粘弹材料的力学行为。给出了粘弹阻尼隔震元件的小数阶微商动力模型、确定模型参数的试验途径、以及综合模型参数的非线性规划方法。研究了粘弹液体阻尼器的小数阶微商Ｍａｘｗｅｌｌ模型,通过与试验结果的比较,表明了模型的适用性和综合模型参数方法的有效性。     

M/G/1(RVT,P(j))排队系统的另一分析方法及其应用

M/G/1(RVT,P(j))表示服务员具有随机长度休息时间(RVT)的、且一休息时间结束时有 j 个顾客等待的概率为 P(j)的、修正的 M/G/1 排队系统。我们用嵌入 Markov 链的技术已详细地分析过这一排队系统,这里提供另一分析方法。最后,应用这个排队系统的分析结果,对时隙 ALOHA 卫星公用信道的分组碰撞概率计算公式作了推导。     

爆炸冲击波对目标作用的等效计算模型

以爆炸相似律为依据,提出了计算机仿真计算爆炸冲击波对目标作用的等效模型,把远处某次爆炸对目标的作用等效为较近处另一能量的爆炸对该目标的作用。为用有限元法求解核爆炸冲击波对大型装备的毁伤破坏这一流固耦合动力学问题提供可以实施的基础。     

基于程序防护的通用防盗版模型分析

通过分析指纹存储设备的防护弱点及讨论嵌入验证的控制逻辑,提出引入身份验证技术、动态互锁机制及分布代码控制以增强应用程序的抗盗版能力,并构建通用的防护模型便于项目应用开发。     

不完全信息的装备采购博弈

目前,我国的军品市场正由封闭市场向一个相对开放竞争的环境转变。基于不完全信息的装备采购的博弈模型,探讨了在不完全信息的相对开放的竞争环境下,军企双方对对方的策略、偏好、所处的地位或者状态的信息等策略问题进行了解,并给出了求解方法,通过实例进行了说明,对装备采购实践具有一定的指导意义。