DDBMS中的并发控制理论

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

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

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

鱼苗喂养三法

一、饼粉喂养法:将豆饼、棉籽饼、菜籽饼及花生饼等磨成干粉喂鱼。其用法是:将干粉均匀撒于水面上即可。干粉借助于水的表面张力,在池中漂浮的时间比豆浆长,利用率高,每亩水面每天用量以1.2～2公斤,每日投喂4次即可。 二、混合喂饲法:在鱼苗下塘前3～5天,每亩水面施粪肥250～400公斤,培育轮虫等天然饲料。如水质不肥,可辅以部分化肥,下塘后几天,每亩每天投豆浆1.5～2公斤或饼     

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

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

带着未婚夫出嫁的新娘

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

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

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

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

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

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

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

欧洲“神盾”第一舰——F100

目前．英、法、德、意大利、荷兰、西班牙等老牌西欧海军强国，在水面战舰建造中具有三个明显特点：一是以6000吨以下的中、小型水面战舰为主，非常适于中、小国家海军使用；二是技术先进．作战能力不亚于美海军战舰；三是经济实用．可担负多种作战任务、而2002年2月开始海试的西班牙海军的F-100“宙斯盾”导弹护卫舰有幸成为实践新概念的先行者。     

CVN-21——新世纪的“海上霸王”

航母历来被美国人视为称霸天下的“看家法宝”。90年代以来的局部战争中,美国总是派遣多艘航母坐镇战区,取得了极好的作战效果和震慑效应。然而,美国现役航母的主力“尼米兹”级是20世纪60年代设计的,作战能力量仍然很强,但已达到设计极限、发展潜力不大,在快速部署、持续作战和遂行网络中心战等方面的能力已不能适应21世纪的作战需要。为巩固和增强海上优势、适应新世纪的作战需求,美海军从90年代起即开始制定计划,发展面向21世纪的新一代航母。