二次型时频分析技术的开发与应用

基于二次型的时频分析是高分辨率时频分析技术的有效方法之一，该项技术能够有效反映时变信号的频谱特性，具有分辨率高、能量集中和跟踪瞬时频率的特点。从时变信号的特点出发，阐述了二次型时频分析技术的基本方法原理，采用正演模型分析验证了该方法的有效性，并在实际地震资料中应用于识别物源方向、划分沉积相带、预测储层结构以及相对厚度等诸多方面，均取得了较好的效果。     

等离子炉炭热法冶炼钼铁

等离子炉炭热法冶炼钼铁是利用炭在高温下的强还原性，以炭热和等离子热代替金属热．直接得到优质钼铁。     

热载流子注入对MOS结构C─V和I─V特性的影响

讨论了热载流子注入对ＭＯＳ结构Ｃ─Ｖ和Ｉ─Ｖ特性的影响。指出热载流子效应引起载流子陷落和界面态的产生，导致Ｃ─Ｖ特性曲线畸变、平带电压漂移和恒定电压下ＳｉＯ２漏电流随时间漂移。本文论述了这些漂移的机理，提出了漂移的ｔｎ物理模型，从而很好地解释了实验所观察到的现象。     

Finite element micromechanical modelling of unidirectional fibre-reinforced metal-matrix composites

Typical finite element formulations and models for unidirectional composite materials are reviewed. The application of micromechanical finite element analysis to the modelling of unidirectional fibre-reinforced metal-matrix composites is demonstrated by presenting some studies from recent publications. It is shown that while analytical models offer a simple tool for obtaining the overall response of composites, finite element analysis provides more accurate and detailed characterisation of composite properties for complicated geometries and constituent property variations. Various effects that influence the stress/strain response and fibre/matrix deformation of composites are studied through modelling. These effects include the fibre coating and reaction layer, fibre shape and distribution, metallurgical and environmental factors, stress distributions and damage. It is demonstrated that the properties and constituent phase interaction of metal-matrix composites are best modelled by finite element analysis. It is emphasized that in order to obtain good predictions, the models must be coupled with first-hand characterisations of the constituent phases and their interactions, including the thermal history of the specimens.     

高纯锗探测器的快定时性能及其应用

为了将高纯锗（ＨＰＧｅ）探测器用于快定时的物理实验中，本实验研究厂影响高纯锗探测器定时谱仪时间性能的各种因素，找出了获得谱仪最小时间分辨的各种最佳参数。并建立了分辨时间为４．１９ｎｓ，能量分辨率为２０ｋｅＶ，微分非线性好于±２．０％，计效率可承受１２０×１０￣３ｓ￣（－１）的时间微分扰动角关联谱仪。利用此谱仪，以￣（２０４）Ｂｉ为探针核，研究了Ｂｉ系高温超导的微观机理，取得了较好的结果。     

任意型一维FIR数字滤波器设计新方法

本文介绍了一种设计任意型（宽带、窄带、低阶、高阶、低通、高通、带通、带阻）一维FIR数字滤波器新方法．给出设计不同类型滤波器的统一方法。各种类型滤波器脉冲响应的设计公式简单、计算方便。该方法消除了Gibbs现象．不仅克服了优化设计中收敛速度、设计精度及初值选取等问题，而且减少设计高阶滤波器的时间。最后，本文给出了各种类型滤波器设计的仿真结果。     

高质量的一级光栅1．55μmDFB激光器

本文详细叙述了ＤＦＢ激光器的设计要点和新的工艺。采用一级全息光栅和二步液相外延法批量研制出高稳定单纵模工作的１．５５μｍ分布反馈激光器（ＤＦＢ—ＬＤ）。外延片成品率＞４０％。器件特性：２５℃时阈值电流２０ｍＡ，单面光功率＞１０ｍｗ，主边模抑制比ＳＭＳＲ达４３ｄＢ（λ／４相移光栅），谱线宽度△ν－２０ｄＢ＝０．３ｎｍ，调制速率＞１．８ＧＨｚ。可靠性测试显示：高温监测光谱稳定，２５°Ｃ时阈值退化率△Ｉｔｈ／ｔ＜０．３ｍＡ／ｋｈ，对应器件预估寿命将超过１０万ｈ。     

聚丙烯酸酯类纺织染整助剂及其应用

简述了国内外聚丙烯酸酯类纺织染整助剂的生产和应用概况,评述了其合成方法及其在纺织染整工业中的应用,并提出了发展我国聚丙烯酸酯类纺织染整助剂的建议。     

On the monotonicity of (LDL) logic programs with set

LDL is one of the recently proposed logical query languages, which incorporate set, for data and knowledge base systems. Since LDL programs can simulate negation, they are not monotonic in general. On the other hand, there are monotonic LDL programs. This paper addresses the natural question of “When are the generally nonmonotonic LDL programs monotonic?” and investigates related topics such as useful applications for monotonicity. We discuss four kinds of monotonicity, and examine two of them in depth. The first of the two, called “ω-monotonicity”, is shown to be undecidable even when limited to single-stratum programs. The second, called “uniform monotonicity”, is shown to implyω-monotonicity. We characterize the uniform monotonicity of a program (i) by a relationship between its Bancilhon-Khoshafian semantics and its LDL semantics, and (ii) with a useful property called subset completion independence. Characterization (ii) implies that uniformly monotonie programs can be evaluated more efficiently by discarding dominated facts. Finally, we provide some necessary and/or sufficient, syntactic conditions for uniform monotonicity. The conditions pinpoint (a) enumerated set terms, (b) negations of membership and inclusion, and (c) sharing of set terms as the main source for nonuniform monotonicity.     

准噶尔盆地加快天然气勘探有利条件及预探领域分析

准噶尔盆地天然气资源十分丰富,勘探潜力巨大。该盆地具备形成大气区的地质背景,发育石炭系、二叠系、侏罗系三套气源岩,演化程度高,气源条件充足;发育多类型、多套储集体和四套区域盖层,形成了有利的储盖组合及成藏配置。通过对五彩湾、滴西、莫索湾、莫北地区典型气藏的分析研究,该盆地发育多种气藏类型,包括构造型、古潜山型、火山岩内幕型及地层(不整合遮挡)型。通过研究指出,天然气勘探的现实领域有陆东—五彩湾地区、陆西—莫北—莫索湾地区;待突破的领域有腹部下组合大型古隆起及岩性气藏、南缘冲断带;正在准备的勘探领域主要为煤层气。