InGaAs（P）分别限制应变单量子阱激光器的优化设计

针对较常用的ＩｎＧａＡｓ（Ｐ）分别限制应变单量子阱激光器，给出了为得到最大净增益的优化设计参数。对于激射波长为１．５５μｍ的无应变激光器，最佳的光限制层波长为１．２４μｍ，厚度为１００ｎｍ。当阱材料引入压缩应变后．由于价带的有效状态密度减小，量子阱激光器的微分增益变大，阱深的增大对增大线性增益的效果更加明显．所以最佳光限制层的波长将变短，为１．２０μｍ     

廊固凹陷异常压力与天然气的分布和产出关系

重点阐述异常压力对天然气的分布影响关系。以冀中地区廊固凹陷第三系地层为研究对象，对异常压力的分布特征、天然气聚集区的异常压力与天然气产量关系等进行了分析。通过分析认为，异常压力与天然气分布聚集规律有着密切联系，分析的天然气分布聚集与产出规律对勘探开发有指导作用。     

石匣小流域坡地水土流失监测系统的建立及应用

以石匣小流域为坡地水土流失监测试点,以遥感及地理信息系统技术为手段,以坡地径流小区定位观测为依据,建立石匣小流域坡地水土流失监测系统,定位、定性、定量监测各种坡地类型的水土流失量、污染物流失量,为水土流失监测预报提供数据,为全市山区水土流失监测预报工作提供经验及方法,为制定水土流失防治方针政策及水土流失生态环境建设提供依据.     

中国先进研究堆冷中子源核发热和冷中子增益研究

为准确计算和研究中国先进研究堆（CARR）冷中子源装置氢系统的核发热和冷中子增益，建立了一整套计算方法。对参考堆的验证计算证明了该方法的正确性和有效性。对影响CARR冷中子源核发热和冷中子增益的各种因素（如慢化剂、冷包材料、冷包形状等）进行了计算和优化选择。结果表明：在核发热量较小的条件下获得了较好的冷中子增益。     

县级电视台现场直播技术探讨

县级小型电视台没有电视转播车,很难对一些重要的新闻事件或文艺演出等进行现场直播,作者通过多年的实践探索出一套简单实用的方法,在现场直播中,视音频信号处理及传送、导播通信是很关键的环节,对这两个问题进行重点分析并提出具体的解决方案。     

The CADE-14 ATP System Competition

This paper documents the design, competing systems, results, and conclusions of the CADE-14 ATP System Competition (CASC-14).     

广义Foster定理

利用Ｍａｘｗｅｌｌ方程组导出了适用于有耗网络的广义Ｆｏｓｔｅｒ定理，得到了一些有关电抗斜率以及Ｑ值的有用公式及结论。     

制备低硫可膨胀石墨的研究

研究了以过二硫酸铵作氧化剂低硫可膨胀石墨的制备，找到了在较低温度下，制备低硫可膨胀石墨的最佳条件。即过二硫酸铵和石墨的重量比为１５％；反应温度为５５℃；反应时间为４０ｍｉｎ；硫酸浓度为９８％；硫酸与石墨的重量比为４∶１，草酸和硝酸（浓度为６５％）的重量比为７．５％时，所制得的可膨胀石墨含硫量为０．６５％，膨胀容积为２００ｍＬ／ｇ可膨胀石墨。并且，其终端产品柔性石墨具有优良的力学性能和抗氧化性能。     

Implicit induction in conditional theories

We propose a new procedure for proof by induction in conditional theories where case analysis is simulated by term rewriting. This technique reduces considerably the number of variables of a conjecture to be considered for applying induction schemes. Our procedure is presented as a set of inference rules whose correctness has been formally proved. Moreover, when the axioms are ground convergent and the functions are completely defined, it is possible to apply the system for refuting conjectures. The procedure is even refutationally complete for conditional equations with Boolean preconditions over free constructors. The method is entirely implemented in the proverSPIKE. This system has solved interesting problems in a completely automatic way, that is, without interaction with the user and without ad hoc heuristics. It has also proved the challenging Gilbreath card trick, with only two easy lemmas.Preliminary versions of the results have been presented at the 13th International Joint Conference on Artificial Intelligence, Chambéry (France), 1993 (Bouhoula and Rusinowith, 1993).     

主动推送模式下的情报需求预测模型

针对主动推送模式下的情报需求预测问题,提出了基于案例推理的解决方案。设计了进行情报需求预测案例分析的工作流程,建立了案例属性描述模型;应用最近邻法进行案例的相似度评价,并通过信息增益的计算确定每个属性的权值,获得相似案例(集);提出了方案调整和推理策略。