具有时滞的二阶多点边值问题3个正解的存在性

研究具有时滞的二阶多点边值问题,应用Avery和Peterson推广的Leggett-Williams不动点定理,给出了该边值问题至少存在3个正解的充分条件。     

SUPANET VPN隧道技术研究

分析了SUPANET VPN的协商流程,提出了2种隧道的建立模式,构建了SUPANET VPN拓扑结构,利用网络仿真软件OPNET对VPN—QoSNP协议进行了仿真,并验证了协议的正确性和可行性。     

基于CAS/Agent的装甲装备战损模型仿真

针对传统战损模型研究方法存在的不足,提出用人工神经网络的学习能力模拟Agent的适应性。借鉴CAS(Complex Adaptive System)理论的建模思想,引入ERA(Environment-Rules-Agents)方案建立战损模型。在外部干预Agent作用下,运用BP算法并结合CT(Cross Target)算法对红蓝双方对抗战斗进行仿真,模拟动态战场环境下装备损伤的演化过程。该模型可更好地理解装备损伤的动力学特性。     

基于制导武器的分布式半实物仿真系统研究*

应导弹动态性能指标检验的迫切需求,开发了基于制导武器的分布式半实物仿真系统。充分利用仿真模型构建一体化思想,将整个半实物仿真系统按其功能划分成若干个网络节点,采用弹道仿真工作站集中式分布的星形结构进行分布式系统仿真。仿真软件借鉴Windows操作系统消息、事件驱动方式,采用客户/服务器运行机制,基于VC++软件开发工具实现了半实物仿真系统中的数据采集、视景驱动的多线程开发,修正了视线角误差,从而确保了导弹动态性能检测精度;实现了导弹攻击过程可视化仿真,较准确地再现了制导武器在不同干扰条件下的攻击过程。     

对特殊类型Feistel密码的Square攻击

对轮函数为SP结构的两类特殊类型Feistel密码抗Square攻击的能力进行了研究。通过改变轮函数中P置换的位置从而给出了此类Feistel密码的等价结构,以SNAKE(2)和CLEFIA为例,给出了基于等价结构Square攻击的具体过程,将6轮SNAKE(2)的Square攻击的时间复杂度由224降为213.4;将6轮CLEFIA的Square攻击的时间复杂度由234.4降为212.4。结果表明,在设计轮函数为SP结构的Feistel密码时,必须充分考虑等价结构对算法抗Square攻击的影响。     

基于案例推理的战争设计工程案例库研究

论述了建设战争设计工程案例库的必要性,就战争设计工程案例结果表示以及案例库建设相关问题进行了初步的探讨,构造了战争设计工程案例框架结构,给出了案例研讨结果的结果序列空间分析模型,建立了基于案例的战争设计工程案例库的案例推理机制。     

固体发动机尾部点火性能影响因素分析

采用准一维非定常数值模型,对某小型固体发动机尾部点火瞬态过程进行性能预示;以预示结果为基础,对尾部点火性能主要影响因素进行了参数研究.研究结果可为尾部点火器和喷管堵盖的点火匹配性设计提供有益指导.     

室温工作的单电子晶体管研究

由于具有低功耗、高速度、高集成度等优点,单电子晶体管成为最有前景的纳米电子功能器件之一.但是,由于结构上的特殊性,单电子晶体管只能在低温下正常工作,该特性限制了其实用化进程.因此,研究可在室温下工作的单电子晶体管具有重要意义.在分析单电子晶体管工作机理的基础上,计算了单电子晶体管室温工作的基本条件,并实验制备出了样片.测试结果表明,所制备的单电子晶体管可在室温下表现出库仑振荡等基本特性.该研究成果将为单电子晶体管的集成实用化打下良好的基础.     

Dynamic inventory management with cash flow constraints

In this article, we consider a classic dynamic inventory control problem of a self‐financing retailer who periodically replenishes its stock from a supplier and sells it to the market. The replenishment decisions of the retailer are constrained by cash flow, which is updated periodically following purchasing and sales in each period. Excess demand in each period is lost when insufficient inventory is in stock. The retailer's objective is to maximize its expected terminal wealth at the end of the planning horizon. We characterize the optimal inventory control policy and present a simple algorithm for computing the optimal policies for each period. Conditions are identified under which the optimal control policies are identical across periods. We also present comparative statics results on the optimal control policy. © 2008 Wiley Periodicals, Inc. Naval Research Logistics 2008     

一种改进的事件驱动系统框架

在给出事件驱动系统安全漏洞的基础上,指出了产生漏洞的根本原因是:系统忽视了输入系统的事件序列之间存在的相关性;系统无条件信任任何事件源产生的事件.针对这两个原因,相应提出了事件序列形式安全分析模型及基于事件源的可信度评估模型,依据这两个模型,构建了一种改进的事件驱动系统框架.