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

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

新型可重构RF—MEMS天线的设计

设计了一种新型的可重构双C型RF-MEMS贴片天线,它由T型桥膜结构的电容式MEMS开关实时地控制天线结构,使之能够发生双频谐振.采用背腔结构的硅基底,使硅衬底的相对有效介电常数从9.18下降到1.51,这有利于减小表面波的损耗,通过优化设计有效地实现了天线的小型化.理论计算得到在开关断开和连通状态下,天线的谐振频率分别为11.14 GHz和5.56 GHz.将理论结果与HFSS软件仿真的结果进行比较,发现它们吻合得比较好,说明了可重构天线的设计具有可行性.     

舰艇编队防空火力射击冲突问题研究

从建立编队内统一的坐标系入手,利用编队中武器的位置、战术参数和来袭目标的信息,采用系统建模仿真的思想,建立火力射界冲突分析模型。借助于这个模型,通过解命中计算等方法,计算编队中武器的可抗击航路以及连续射界,进而得出其可抗击射界,与武器固有安全射界叠加,确定编队中可以参与抗击来袭目标的武器,并为进一步地探讨编队火力兼容问题,进行火力兼容控制奠定基础。     

卫星导航系统仿真效能模糊评估的新算法*

根据系统效能模糊评价矩阵,在计算系统效能隶属度时要经过一系列的隶属度转换;但是,已有的隶属度转换算法都不能揭示"指标隶属度中哪部分对目标分类有用,哪部分无用";结果是指标隶属度中原本对目标分类不起作用的冗余数值也被用于计算目标隶属度.为此,从对目标分类角度设计一种滤波器,能识别指标隶属度中对目标分类不起作用的冗余数值,提取对目标分类起作用的有效值计算目标隶属度,由此建立实现隶属度转换的一般算法,并用于卫星导航系统效能评估.     

拦截器程序悬浮控制系统非线性稳定性分析

针对拦截器姿轨控发动机工作的本质非线性特性,采用基于谐波线性化建立的描述函数法进行系统稳定性分析;推导了非线性系统的Nyquist幅相判据,同时从工程应用出发,将Nyquist幅相判据转换为Bode图对数判据,一起分析了拦截器俯仰角控制、滚动角控制和位置控制的稳定性,并对姿轨控发动机的推力进行了拉偏,分析结果表明拦截器程序悬浮姿态控制和位置控制系统是稳定的.     

POMDP在战场决策评估中的应用和仿真

通过将贝叶斯统计方法和POMDP(部分可观测马氏决策过程)方法相结合,采用计算机模拟的方式,预测在给定条件下可能产生的各种作战决策的质量.为解决不确定条件下对决策质量的定量评估提供了一种比较可行的方法.     

影响图建模算法的改进

影响图建模方法是一种规范化的复杂系统建模方法,其实质是将表征复杂系统的参量及参量间的耦合关系进行分类,并以此为基础建立系统的数学模型.影响图建模算法就是将系统的参量及参量间的耦合关系进行分类的算法.目前使用的算法是James R.Burns于1979年提出的.该算法仅考虑了最小的反馈回路,而没有考虑影响图中存在的一般反馈回路,且一些操作造成了不必要的循环.在分析该算法的基础上,考虑了一般的反馈回路,并对原算法的操作步骤进行了优化重组.     

DDBMS中的并发控制理论

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

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

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

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

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