DDBMS中的并发控制理论

本文叙述了并发控制的数学理论,以此达到两个目的:一是以精确的术语定义并发控制方法的正确性;二是把并发控制问题分解成两个更容易处理的子问题:读一写同步和写一写同步。为后继论文对分布式并发控制的分析和设计打下基础。     

纤维增强混凝土抗侵彻性能分析

本文根据冲击强度等试验结果对多种纤维增强混凝土的抗侵彻性能进行了分析,并提出了今后发展抗侵彻纤维增强混凝土的一些应注意的问题。     

带着未婚夫出嫁的新娘

山东省安丘县有位姑娘叫竺玉莲。1981年,她正准备与在部队服役的战士邵亮订婚时,不料,一个雾雨朦朦的早晨,邵亮因公出差,遇车祸失去了双腿,头部也受了重伤。截脚手术后,邵亮这个一米七八的汉子,只剩下一米一的残躯,并由于脑部受损,一直处于昏迷状态。医院最后诊断:邵亮已成为一个“植物人”。     

Petri网的活跃性和非死锁性的判定算法及证明

用Petri网分析系统的逻辑特性时很重要的是分析它的活跃性、非死锁性及安全性。在此提出两个算法—Petri网深度优先算法和活跃性判定算法,并加以证明。     

一类伴随型非线性系统的快速变结构控制

基于反馈线性化、时间次优控制及变结构控制理论,针对一类伴随型不确定非线性系统,提出了一种快速鲁棒变结构控制方案。这种控制方案在控制有约束的条件下,其中一部分用来把非线性系统反馈校正成线性系统,另一部分则用来为线性系统实现时间次优控制。仿真结果表明：这种控制器不仅动态响应快,而且从初始时刻开始就可产生滑模运动,从而增强了系统鲁棒性。     

含碳透气防毒服内层对芥子气“气-气“染毒再生的研究

研究了温度和压力对含炭管气防毒服内层对芥子气“气－气”染毒解吸的影响,进一步分析了吸着层的角吸机理,论证了水洗和加热真空解吸再生方法的可行,获得了在野战条件下可实现的最佳压力温度条件,为实现含碳透气防毒服重复使用创造了可能。     

面向对象技术与面向对象数据库

本文就面向对象技术在数据库中的应用进行探讨,主要内容包括面向对象技术的基本理论,面向对象数据库的基本特征,面向对象技术在数据库中的应用实例等。     

基于战争成本—收益计算的国防支出决定模型

国防支出是国防建设的资源投入和基本保障。如何确定国防支出的比例或规模既是国家决策者关心的重大现实问题,也是国防经济学研究的最基本问题之一。与以往研究不同,文章创造性地从战争成本—收益计算的视角出发,构建了一个基于本国武器装备杀伤系数的决定国防支出比例的基础模型;并在此基础上,通过逐步引入抵抗外敌入侵的自毁系数、敌国武器装备对本国进攻与防守能力的抵消作用、敌国武器装备使本国武器装备数量的失效作用、敌国攻击本国的获胜概率等变量对模型进行扩展;最后通过跨期模型加以动态化,说明在长期均衡状态下国防支出的变化趋势。通过这些模型的构建和求解,我们得出:一国国防支出的比例(或规模)主要取决于该国武器装备的杀伤系数、自毁系数、敌国国防支出、敌国获胜概率、本国的国民财富、经济增长率和武器装备折旧率等因素。这为在实践中安排好一国的国防支出提供了十分有益的参考。     

武警指挥院校学员压力源的调查研究

采用质性研究为主要研究方法,对武警指挥院校学员的压力源进行调查。研究结果显示：（1）从整体来看,武警初级指挥院校学员压力从大到小依次为：军事体制改革压力、二次就业的双重压力、学业和军事训练压力、任务干扰与不利环境、爱情和人际压力、竞争压力、物质和精神生活状态。（2）从各年级压力源均分来看,2年级总体压力感最小,其次为毕业学员,1年级学员压力感最大。     

船舶柴油机远程诊断系统诊断中心的设计

远程诊断中心是船用柴油机远程故障诊断和维修管理系统的核心部分．文中介绍了一种基于Ｂ／Ｓ模式的船舶柴油机远程诊断中心的设计思想和关键技术的实现方法．