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

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

带着未婚夫出嫁的新娘

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

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

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

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

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

DDBMS中的并发控制理论

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

“班长”在党委决策中的“掌舵”艺术

近些年,武装战线人员流动大,班子更新快,一批年富力强的干部不断充实人武战线。来自不同军兵种、不同单位的军官组成新的党委班子后,党委书记怎样当好“班长”?本文的经验之谈作了较好总结和提示,值得各级党委的新老“班长”借鉴思考、品味揣摩。     

坚持胆与识的统一

这里所说的胆,就是创造性开展工作的勇气、魄力;识,就是创造性开展工作的认识水平和实际能力,也就是对客观事物及其规律性把握的程度。 干事业,抓工作,勇于创新,善于开拓,既需要胆,也需要识。实践证明,有识无胆成不了事,有胆无识要坏事,有胆有识才能成大事。当我们对客观事物有了基本认识时,如果还犹豫不决,就会丧失良机,犯右倾保守错误;当我们对客观事物还没有基本认识,没有“看准”时,如果还大胆地上,硬着头皮干,就会在客观事物面前败下阵来,犯主观盲动主义的错误。可见,有胆有识是创造性工作的内在要求,二者是辩证的统一。实际工作中,我们既要防止“重胆     

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

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

韩国“天安”号护卫舰沉没引发的思考

<正>"天安"号护卫舰的沉没吸引了世界各国媒体及海军爱好者的注意,也引发了本人的几点思考。轻型护卫舰难以抵抗重型雷弹攻击1200吨级的护卫舰,通常设计成轻型船体结构、具有快速机动能力和强攻击火     

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

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