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

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

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

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

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

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

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

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

不辱使命永向前——黑龙江省富裕县人武部全面建设纪实

早春4月,冰雪消融,大地复苏。当笔者迎着和煦的春风走进黑龙江省富裕县人武部办公大楼时,宽敞明亮、设施配套的办公条件．让人耳目一新、感慨万千。     

求真务实，加强干部作风建设

从近几场局部战争实践看．预备役部队作为国防后备力量的重点．是打赢现代高技术条件下局部战争的一支不可或缺的重要力量。预备役团党委作为领导军事斗争准备的“一线指挥部”．其领导能力直接影响军事斗争准备的程度。所以必须把提高领导军事斗争准备能力作为预备役党委班子能力建设的重中之重。首先要强化使命意识。要认真学习党中央、中央军委关于做好军事斗争准备的一系列指示要求,     

流域变换的串行与并行策略研究

流域变换是数字形态学中用于图像分割的一种经典方法,其并行化问题成为近年来研究的重点。首先给出了流域变换的数学模型,并归纳列举了几种离散情况下的形式化定义;其次分类总结了近年来流域变换串行算法研究的新进展,从而在此基础上重点讨论了相应的并行化策略。详细分析了设计并行流域算法需要考虑的几个问题;并比较评价了现有并行算法的性能特点,得出了一些结论;最后提出了有待进一步研究的问题。     

试论市场经济条件下的企业内部控制制度

一、现代企业内部控制的内容 对于内部控制的概念和内容,不同时期、不同人有不同的表述,现比较普遍接受的观点是美国COSO报告所提出,即: 1 控制环境 控制环境由反映最高管理当局、董事和企业所有者对控制以及控制对企业重要性的全面态度的各种行为、政策和程序组成。在COSO报告中,将控制环境的子要素分为正直和道德价值、委托胜任的人员、管理哲学与经营方式、组织结构、董事会或审计委员会、权责的划分以及人力资源政策和实践。     

论军事人才外流成本的控制

文章运用经济学的方法,通过分析军事人才外流的产生机理和控制理论,阐述了在控制人才外流时制度的供给问题,并对军事人才外流的控制提出了可行性建议。     

民兵参战支前的新变化

动员民兵参战支前,是发挥人民战争威力,维护国家安全的重要形式。在现代条件下,我国安全环境、军队建设以及国家经济管理体制等方面,都与过去有很大的不同,对民兵参战支前提出了许多新的要求。现代条件下民兵参战支前与传统的参战支前相比,出现以下三大变化。 一、我国安全形势的变化改变了过去民兵参战支前单一的战场环境,使民兵参战支前的任务发生了新的变化