真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

带延迟约束单机排序的改进算法

给出了带延迟排序的一个改进启发式算法,从而解决了Wikum等提出的一个问题。并且此算法可以最优求解单位加工时间的问题,进一步对另一个问题,此算法亦被证明好于Wikum等原来的算法。     

大面积激光自动涂敷系统及其工业应用

本文系国家“八．五”攻关课题。为解决冶金轧辊大面积激光涂敷的需要。我们研制了一套宽带激光自动涂敷系统，它由宽带扫描镜和自动喷粉机组成。适用激光功率１－１０ｋＷ，它既右作于宽带涂敷，又可直接用于聚焦窄作敷。单道一次涂敷宽度１０－３５ｍｍ连续可调，单道一次涂敷厚度０．２－８ｍｍ可控。送粉量０．５克－２００克／分连续精密地，送粉精度〈２％。     

液晶显示智能充电器设计

本文介绍了一种用ＭＣ６８７０５单片机控制的液晶显示充电器，采用国际公认的最佳充电检测方法－△Ｖ电压检测法，实现了电池充电过程的智能化，保证充电“饱而不过”，有效地避免了存储效应和电压“下沉”现象的产生，液晶显示控制电路设计新颖。简单，省去了驱动芯片。     

约束放电激励千瓦级基模CO2激光器

本文研究了约束放电激励千瓦级基模CO2激光器。约束放电激励的思想核心是:利用正交或基本正交的电场或者电磁场在阴极位降区附近形成对带电粒子的捕集阱,由此产生对放电过程中从阴极发出的带电粒子的约束作用从而影响整个气体放电激励过程。     

一种新颖的宽带可调谐掺钛蓝宝石激光器

本文报导一种能充分利用掺钛蓝宝石本身的色散能力，作为调谐及压缩线宽的掺钛蓝宝石激光器，谐振腔采用梯形棱镜掺钛蓝宝石晶体和两块ＺＦ６的色散棱镜压缩线宽并构成调谐系统，用三块输出镜，实现了２６５．３ｎｍ的调谐范围；泵浦光能为８５ｍＪ／ｐｕｌｓｅ时，在７６２．６ｎｍ处得到１１．８ｍＪ／ｐｕｌｓｅ的最大光能输出，光一光转换效率达１３．９％。     

惯性约束中子测温的误差研究

综合分析了ＩＣＦ（惯性约束）中子测温系统的误差与其参数的关系，这些参数包括靶核温度，探测的中子数、靶到探测器的距离、探测器的响应函数以及闪烁体厚度等，考虑到中子与探测器的相互作用，探测器的响应与靶的烧蚀过程，在此基础上提出了新的统计误差计算方法，该方法对于改善中子测温的相对误差并应用于闪烁体的设计具有重要意义。     

CDMA系统中的自适应门限检测技术

本文就码分多址(CDMA)系统解扩门限的选取,及其对系统性能的影响进行了讨论,提出了一种自适应门限检测技术,以提高系统的性能。