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

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

老牛顶伤女工 责任该由谁担

[案例]为节约人力,同住一个农业连队的廖某、陈某、蔺某、李某等人口头协议,把几家的牛都集中起来,由大家轮流放牧。2007年2月6日,轮到蔺某与李某放牛。当天早上,蔺某与李某一起将牛群赶到渠边上吃草。当天中午,廖某将留在家中的一头怀孕母牛也赶到渠边来放。当廖某靠近蔺某所放牛群时,被牛群中冲出的陈某家的一头老牛项倒,导致腰椎骨折。为此,廖某住院治疗,并支付医疗等费用合计32724元。廖某伤愈后,曾就自己的医疗费等经济损失,找陈某及当日放牧的蔺某与李某协商赔偿。     

HLA联邦的桥接扩展和影响时空一致性的实例分析

随着计算机技术和仿真应用的发展 ,越来越需要组建大规模分布仿真系统 ,HLA框架的定义和应用为此提供了很好的契机。使用桥接技术把不同的联邦连接起来是构建大规模联邦的有效方法 ,其中桥接邦元更适合于不同RTI的异地连接。桥接HLA联邦会带来影响系统时空一致性和性能的新问题 ,时间推进和所有权转移是两个有代表性的例子 ,需要重点解决     

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

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

内边界、外边界:经济动员准备理论的两个基本概念

经济动员准备是纯公共物品,政府在进行经济动员准备过程中必须贯彻投入-产出原则。在谋求国家安全利益既定的前提下,寻求经济动员准备的适度规模是政府追求的目标。经济动员准备规模的选择与控制,必须在理论上确立两个重要概念:经济动员准备内边界和外边界。文章运用经济学理论和方法,系统阐述了经济动员准备内边界和外边界理论的内容及意义。     

DIS系统中实时通讯技术的研究

针对DIS系统实时通讯的要求 ,以UDP通讯协议为基础 ,结合采用多线程技术 ,给出了一种实时通讯方法 .经模拟试验表明该方法在WindowsNT环境下是有效的 .     

综合环网通信协议的研究

本文根据LAN(局域网络)的现状和发展趋势的讨论,指出光纤环网是未来综合业务局网的优选网络,提出了适合于ISRN(综合业务环网)中综合业务交换的帧结构,给出了ISRN中的通信协议的分层描述,提出了实现边界移动的方法,实现了以信令格式和边界可动策略为基础的信令处理软件。     

三维高超音速复杂流场的分区数值计算

基于拼接网格系统 ,推导了一种适用于高超音速复杂流场分区数值计算的区域边界格式 ,通过区域边界格式对区域边界上的通量进行守恒性处理 ;在此基础上 ,发展了一个高超音速复杂流场分区算法。对高超音速粘性绕流流场进行了分区数值模拟 ,取得了较好的结果。     

SAR图像目标分割与方位角估计

图像分割和目标方位角估计是进行SAR (SyntheticApertureRadar)图像自动目标识别的重要步骤。文章提出了一种基于MRF (MarkovRandomfield)模型的SAR图像分割算法 ,利用ICM (IterativeConditionalMode)局部优化方法 ,获得MAP (maximumaposteriori)准则下的图像分割结果 ,将图像分割为目标、阴影、背景三部分。然后确定目标离雷达最近的点 ,从而得到目标的主导边界 ,并估计出目标的方位角。用MSTAR (MovingandStationaryTargetAcquisitionandRecognition)数据进行实验 ,估计方位角的准确性与现有算法的结果相比 ,具有明显提高     

小波边界元法

将边界上的函数展成小波级数,利用循环矩阵方法,从核函数边界上的值,得到离散的积分方程系数矩阵,求解未知的小波级数系数,从而得到边界积分方程近似解,文中计算了一个二维拉普拉斯方程的解。