TENA与某C2系统互操作研究

C2与试验领域的互联基础设施TENA间的异构性阻碍了两类系统的互操作。报文传输服务包括端-端和跨网部署模式,相应地设计了与TENA系统的两种互联架构。网关的设计方案有单线程和多线程模式;从互操作视角来看,网关实现了通信协议、对象模型和支撑服务间的互操作。针对TENA的"拉"模式通信机制,设计了与C2系统通信时的协调机制;利用OWL建立报文的元模型,通过模型转换实现异构对象模型的互操作;利用自定义的消息代表支撑服务,解决了异构系统间服务的不匹配问题。通过原型试验得到交互实体个数、线程个数与信息交换实时性之间的规律。     

电子支付协议可追究性的Petri网建模与分析

可追究性是电子支付协议必须满足的安全属性之一,针对电子支付协议,建立了支持支付协议可追究性分析的分层有色Petri网模型,并基于此提出一种对支付协议可追究性分析的一般性方法.Kungpisdan等人曾提出一种可追究性逻辑,证明一个典型的移动支付协议KSL协议满足可追究性.但使用上述所提方法对该协议建模并进行可追究性分析,发现了可追究性逻辑未发现的漏洞,分析例证结果表明了所提方法的有效性.     

银行现代支付系统与超跃模型

本文研究了超跃模型在银行现代支付系统中的应用，导出特征参数公式，结合实例求得特征参数并得以验证。     

无线Mesh网中实现网关负载均衡部署的混合算法

提出网关部署的贪婪算法,尽可能地实现网关之间的负载均衡;提出遗传算法与贪婪算法相结合的混合算法,通过精心设计各个进化操作,利用遗传算法在多目标寻优方面的优势,该算法在较少迭代次数下可以达到网关数量和负载均衡两方面的优化.仿真实验表明,混合算法得到的网关数量与其它算法得到的结果非常接近,甚至更优;在网关负载均衡方面,该算法优势明显,与Recursive DS算法相比,网关负载样本标准差约减少45%.     

基于网络支付的电子商务环境中洗钱行为的识别和监管

针对基于网络支付的电子商务环境中洗钱行为研究识别方法和监管措施) 总结电子商务可疑交易行为的一般规律和特点;在此基础上构造洗钱%反洗钱模型,提出对此类洗钱行为进行识别的方法;根据模型进行计算机仿真,表明延缓洗钱者进入速度、增强识别算法筛选区间扩展性、提高监管者对舆论压力的敏感程度、加大对洗钱犯罪的处罚力度和反洗钱判决能力会对反洗钱监管效果产生积极影响。     

HLA多联邦系统的实现问题研究

随着计算机、网络和仿真技术的不断发展，仿真需求和应用范围不断扩大。重用已有系统实现广域网(WAN)上的大规模分布式仿真演练已成为军事训练亟需解决的问题，而实现基于高层体系结构(HLA)的多联邦仿真系统的互连是当前的研究热点，其中应用桥接技术构建多联邦系统是扩大仿真规模的有效途径。研究了桥接成员和多联邦系统的设计与实现原则，并提出了分布式桥接成员(DBF)的概念。     

HLA/RTI的研究与实现

介绍了新一代分布式交互仿真系统结构ＨＬＡ的主要研究内容与关键技术,特别是数据分发管理和时间管理的实现技术,描述了我们在“８６３”的资助下所研制的ＲＴＩ原型系统的整体结构,特别阐述了数据分发管理的具体实现,最后简要介绍了ＨＬＡ的发展现状及我们的对策。     

Linux安全增强系统中能力机制的实现与评估

访问控制是安全操作系统中的核心机制，最小授权是安全操作系统必须符合的原则之一，也是研究的难点，文章分析了传统操作系统中信任状模型存在的问题，详细讨论了基于能力机制的信任状模型的内容与优点，给出基于能力的访问控制，改进了Linux中采用能力机制实现最小授权算法，在文章的最后，给出了实现结果的效能评估并展望了下一步工作。     

延期支付期限与订货量相关情形下的EOQ模型

在产品的年需求量依赖于零售商售价的条件下,根据零售商的订货量,供应商给予零售商延期支付的优惠,建立了零售商库存决策模型.从零售商的角度出发,探讨如何制定最优订货周期和最优售价,以实现年总费用最小,并给出寻求模型最优解的算法.最后,通过具体算例,结合灵敏度分析方法,分析了模型中参数变化对最优订货策略的影响.     

我国大额支付系统中的流动性风险

提出支付系统流动性风险管理的新方法,并使用芬兰银行的BoF-PSS2模拟软件对我国大额支付数据进行实证分析,通过研究存款准备金率与支付系统流动性需求的关系,以及在支付系统中引入优化算法对流动性需求和系统效率的作用,论证新的风险管理方法的可行性.实证结果表明随着存款准备金率的不断上调,支付系统中的参与者面临越来越大的流动性需求压力.而引入优化算法可以降低参与者对流动性的需求并且提高系统的效率.因此中央银行可以在加强监管、要求参与者提供抵押并在当天末归还全部日间信贷等条件下向参与者提供流动性,并且引入优化算法,应用新的风险管理方法来有效管理支付系统中的流动性风险.     

C3I中HLA和TCP/IP子系统的桥接器实现研究

高层体系结构(HLA)是新一代的仿真技术框架,它的主要目标是实现不同仿真应用间的互操作,促进仿真模型和组件在不同领域的重用。已有的C3I仿真系统中网络的连接很多是直接基于TCP/IP的,为了实现C3I仿真系统与HLA仿真系统的互操作,在比较三种不同接口技术的结构和实现方法后,选定HLA桥接器进行研究。分析了HLA中的FED文件,建立了该文件的文法,并用VC 遵从编译原理实现了桥接器。     

基于状态观测器的超混沌同步保密通信系统

提出了一种基于状态观测器的超混沌同步保密通信系统。用超混沌系统的多个状态量对信息信号进行复杂的加密后注入超混沌系统实现混沌调制,同时将加密后的信息信号混沌掩盖后传送出去。用状态观测器思想实现了发送系统和接收系统的同步,并在接收端将信息信号解密。由于用了超混沌系统的多个状态量对信息信号加密,增加了传输信号的复杂性,提高了通信系统的保密性。     

基于电子支付密码的支票自动容错识别系统研究

系统地研究了基于电子支付密码 (又称变码印鉴 )的支票自动容错识别技术 ,包括基于电子支付密码的支票识别系统的组成 ,支票数字图形的提出、特征提取和预处理、应用多种神经网络识别方法对大写和阿拉伯数字识别、对多种侯选方案进行容错识别等技术 ,并建立了支票识别原型系统 ,并取得了理论成果 ,该系统有应用前景 .     

基于税款时间价值的税企动态规划模型

针对我国税收征管现状,在考虑税款时间价值的基础上,证明了当纳税企业迟交税款时间服从泊松分布时,税款滞纳金每日征收率应高于同期银行每日贷款利率;然后,建立税务机关与纳税企业的动态规划模型.运用逆推归纳法分析纳税企业在不同阶段纳税申报决策;利用弹性分析理论得到当偷税罚款系数一定时,税款滞纳金每日征收率应适当下调;给出激励纳税企业按时纳税的税收政策建议.     

带有时变需求和滞后支付的库存系统的最优经济批量模型

本文建立了带有多种不同滞后支付规则及时变需求的库存系统在有限计划期内的确定性经济批量(Economic Lot Size,ELS)模型,提供了寻求上述模型唯一最优解的简便方法,并给出了应用实例。     

购买费用的滞后支付对库存系统最优订货策略的影响

通过考虑资金时值而建立了带有两种不同滞后支付规则：（１）固定滞后支付期；（２）边销售边支付的库存系统在有限计划期内的经济订货量模型，讨论了模型解的存在与唯一性，提供了模型寻求最优解的一种简便方法，并给出了应用实例.     

卫星导航系统精度试验分析的设计与实现

导航系统精度（NSP,Navigation System Precision）分析是卫星导航系统定位、测速和授时性能仿真分析与评估的重要组成部分,NSP的可用性和连续性是导航系统服务能力的重要标志之一。研究了NSP的相关概念,分析了NSP的可用性和连续性算法,在此基础上提出了面向卫星导航系统的NSP仿真模型框架,并基于此框架设计和实现了支持NSP分析的插件工具,最后针对格网分辨率为5°×5°的区域格网进行了NSP的仿真试验分析,验证了提出的仿真模型框架和设计的插件工具的正确性。

Abstract：

Navigation System Precision Analysis is a part of the simulation analysis and evaluation of the Navigation System＇s performance on positioning,velocity-measuring and time-telling,and the availability and continuity of NSP is an important symbol of service capability of the navigation system. The NSP concept was introduced firstly,and then algorithms of the availability and continuity of NSP were researched,based on these,model architecture of the NSP was proposed and the NSP simulation analysis system was designed and implemented,finally,the simulated experiment of the grid with 10 resolution was implemented and the system architecture and the plug-in facility were testified.     

基于批量折扣和支付时间折扣的多物品多阶段联合订购模型

假定系统运行在有限计划期的前提下,考虑了基于3种不同形式批量折扣及支付时间折扣的多物品多阶段联合订购问题.给出了在有限计划期内每个阶段寻求多种物品最优订购批量和最佳滞后(或提前)支付货款时间的算法.并针对基本订购费用为零时,提出了一个基于动态规划方法寻求多种物品最优订购策略的更有效算法,分析了基本订购费用取不同值和供货商提供不同批量折扣方式对销售商最优订购策略和总利润的影响.最后,利用数字实例说明模型的求解过程.     

陕西省科技经济系统运行机制研究

在对陕西省的基本经济状况、科技状况以及科学技术向生产力转化运行机制定性分析的基础上，利用陕西科技向生产力转化系统动力学模型，对陕西科技与经济运行情况进行了定量模拟，这种定量模拟在一定程度上揭示了陕西省科技与经济的内在规律。同时在此基础上进行了政策分析和政策灵敏度分析，并得出了几点重要的结论；从而为政府决策提供了多种可供参考的最优决策方案。     

基于HLA的作战模拟系统一体化设计与实现

为了提高现有作战模拟系统的互操作性、可重用性与可扩展性,完善作战模拟系统的一体化建设,首先,分析了一体化系统建设的主要任务,归纳了其主要涉及的四类十一项关键技术。其次,重点阐述了如何利用HLA仿真技术框架来搭建海军诸兵种一体化作战模拟系统的体系结构,并详细描述了系统间信息交换协议的设计思路,定义了一个对象类、七个交互类及路径空间。最后,给出了系统仿真实现的流程图及其时钟推进机制,并用一个仿真实例验证了设计的可行性。

Abstract：

The research is to improve the interoperability,reusability and extensibility of the existing wargame simulation systems,and to construct an integrated wargame simulation system. Firstly,the main tasks of the research were defined and eleven key technologies in four categories were introduced. Secondly,it was described how to set up an architecture for the Navy arms wargame simulation system based on HLA （High Level Architecture） simulation framework. Also,the design ideas of the information exchange protocol of the system were elaborated,including definitions of object class,interaction class and routing space. At the end,a flow chart and advancing time mechanism were given. The feasibility of design has been verified with an instance.