基于BLP的Web系统多级安全策略模型

Web系统的广泛应用使其安全问题日益突出.通过分析当前Web系统存在的安全隐患,在Web资源的访问控制上引入了多级安全策略,从Web系统的功能需求和安全需求出发,分析了BLP模型直接应用于Web系统时导致的问题.在BLP模型的基础上,提出了Web系统的多级安全策略模型,对Web系统中的概念、对象和操作进行抽象和提炼,研究了Web系统处于安全状态时应当满足的安全条件,并在此基础上,对Web系统、系统状态、和状态转换进行了形式化描述.     

一种新的基于粗糙集的连续属性离散化算法

粗糙集理论作为一种新的处理含糊和不确定性问题的数学工具,已成为国际学术界的一个前沿的研究领域.传统的粗糙集理论只能对数据库中的离散属性进行处理,而绝大多数现实的数据库既包含了离散属性,又包含了连续属性.针对传统粗糙集理论的这一缺陷,提出了一种改进的基于断点重要性的属性离散化方法.最后,通过实例分析说明该方法是有效的.     

战争设计工程中专家群体研讨组织研究

通过对产生战争复杂性原因的分析,对战争设计工程提出的专家群体集体研讨方法进行了研究;并重点对专家群体组成、在研讨中的作用与专家之间协作关系进行了阐述。为对抗由战争复杂性引起的诸多战争问题,提供了一种切实可行的研究方法。     

和谐文化的人性基础

人是社会的人，人的本质是一切社会关系的总和，因而人具有广泛体现其社会本质与发展内涵的多方面的需要。人的需要具有广泛性和无限性的特点，人不仪有物质需要，而且有精神需要。人是文化的存在物，人决定文化，文化反过来又塑造人。马克思认为人的发展的必然趋势是和谐的发展，而和谐发展的人，必须是全面发展和个性丰富高度统一的人，是具有自由个性的人。和谐人性理论是建设和谐文化的基础，建设和谐文化需要和谐人性理论做前提。     

分布式系统设计中的互斥问题

介绍了互斥问题的基本概念,并针对分布式系统设计中的互斥问题分析了非基于令牌和基于令牌的两种解决方案.通过对典型算法的分析,有助于对分布式系统形成可操作的数学模型.     

飞机反区速度矢量不稳定及其控制的机理

在信号流图的基础上,提出多回路分析的方法,并用于研究反区时速度矢量不稳定及其稳定控制的机理。建立了纵向动力学的信号流图,并证明了一个回路的收敛性定理。在此基础上,通过理论分析得出了速度矢量不稳定在不同层面上的原因,也得出了速度和轨迹的发散度表达式等,并表明阻力-速度曲线、轨迹角-速度曲线、极曲线、阻力系数曲线等存在相互对应的反区和正区,并且阻力-速度曲线和轨迹角-速度曲线在斜率上成比例。研究得出进场动力补偿系统下速度矢量的稳定临界条件、收敛度、稳定机理等,理论分析和仿真比较了速度恒定进场动力补偿系统和迎角恒定进场动力补偿系统在控制性能上的差异。     

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

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

抗美援朝战争政治动员评析及启示

在抗美援朝战争中,新中国不仅在军事上创造了奇迹,而且展现了应对国际霸权的政治动员能力.抗美援朝战争政治动员的成功是多种因素促成的.分析研究抗美援朝战争政治动员的成功经验,可以得出许多有益的启示.     

基于马尔可夫过程的坦克火力随机对抗模型

根据小规模坦克火力对抗中所具有的马尔可夫性特点,将该过程视为离散状态、离散时间的马尔可夫随机过程(马尔可夫链),由此建立了坦克与反坦克武器系统之间一对一对抗的随机格斗模型,并给出双方获胜概率和平均对抗回合数的计算公式。最后通过实例验证了模型的有效性。该模型克服了轮流对抗不符合战场实际的缺点,为分队指挥员在射击策略的选择和分队火力运用上的快速决策提供了较为精确的量化依据。     

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