基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

随机删失场合半参数回归模型参数估计的重对数律‘

本文探讨了随机删失场合半参数回归模型的参数估计问题.考虑半参数回归模型Y =X}}3 + g(T)十。，其中(X,T)’为取值于Kp X [0,1〕上的随机向量，月为1'维未知参数向量，8为定义于【0.1]上的未知函数，。为随机误差，Ee = 0 . Eez = az }。未知，且(X ,T)与。独立，).被一个与之独立的随机变量V所截.此时仅能观察到:Z=min(Y,V),o=1(Y簇V)，参数I3,az的估计量禽及公 z可综合非参数的权函数估计法与参数的最小二乘估计方法得到.本文对核函数的情形得到了念及ar z的精确收敛速度即重对数律.     

Fluorescence anisotropy of acridinedione dyes in glycerol: Prolate model of ellipsoid

Time-dependent reorientations of resorcinol-based acridinidione (ADR) dyes in glycerol were studied using steady-state and time-resolved fluorescence studies. The difference between fluorescence anisotropy decays recorded at 460 nm when exciting at 250 nm and those obtained when exciting at 394 nm are reported. When exciting at 394 nm, the fluorescence anisotropy decay is bi-exponential, while on exciting at 250 nm a mono-exponential fluorescence anisotropy decay is observed. We interpret this in terms of different directions of the absorption dipole at 394 and 250 nm with the emission dipole respectively, which is experimentally validated and further analysed as a prolate model of ellipsoid.     

济南市农村土地整理模式与措施探讨

针对济南市农村土地利用现状，分析总结出了济南市农村土地整理的基本模式，包括农村居民点，农田，废弃地，未利用土地整理，并提出相关的包括发挥政府的主导作用，制定各项条例法规，建立土地整理开发专项资金，加大土地整理相关法规的宣传等措施。     

日式经营管理在邃变

８０年代引人注目的日式经营管理，９０年代来其许多本质性特征却发生了意味深长的变化。注视并研究这些变化意义甚大。本文重在概括日式经营管理现正经历的变化。     

无线异类数据网服务质量体系结构解决方案

设计了一套具有高性能的适合于移动数据网（超2．5G）和无线本地区域网（WLAN）组成的综合数据网的网络体系结构，提供基于预留端到端的QoS模型，使用带宽适应算法支持端到端的QOS，提高了系统资源的利用率，减少了呼叫拥塞概率和交接丢包概率，解决了2个系统QoS类不匹配等问题，平衡了2个系统的传输能力。     

Ferromagnetic Properties of Bond-Dilution and Random Positive or Negative Uniaxial Anisotropy Blume-Capel Model

We study the ferromagnetic properties of spin-1 system, which is considered in the frame of the bond dilution and random positive or negative anisotropy Blume-Capel model in the effective field theory and a cutting approximation. The investigation of phase diagrams displays some rich properties of the trajectory of tricritical point, reentrant henomena at low temperatures. Under certain both bond concentrations and random negative anisotropy, there are new transition lines of double tricritical points. So special emphasis is placed on the influence of the bond dilution and random anisotropy on phase diagrams. The magnetizations of the system are also discussed. Some results have not been evealed in previous reports.     

论过程控制系统的次优化方法：（Ⅱ）最简控制功能模块替换的次优化

利用低阶模型替代高阶模型，并以此为依据设计最优状态调节器，这经常是以ＰＩＤ及其组合与替换的形式出现。本文提出这种结合最常用的方式是Ｐ－ＰＩ，ＰＩＤＡ－ＰＩＤＢ以及ＰＩ－Ｉ的组合，并指出其适用的对象特性。     

Experimental and Parametric Design of Petroleum Back-pressured Hydraulic Impactor

Percussive-rotary drilling technology was considered many years ago as one of the best approaches for hard rock drilling. It is a key for popularizing this technology on a large scale to design and make an impactor with excellent performance. This paper presents a suit of method to design the percussive parameters for the oil or gas field by introducing the working principle of back-pressured impactor, dividing the working periods of impactor into three phases and establishing the computer emulational model of percussive parameters. It draws a comparison between the results of model calculation and experiment on the basis of analyzing the experiment results of impactor. The conclude provides credible foundation for designing and further ameliorating the impactor.     

平原农田防护林杨树生长模型及应用研究

应用MATLAB6．5软件，采用经典理论生长方程Logistic方程、Richards方程、单分子式（Mitscherlich）方程对苏北平原建湖县农田防护林I-72杨的平均高、优势高、平均胸径、平均材积生长数据进行曲线拟合．结果表明，Logistic方程拟合胸径、平均高生长效果最好，而Richards方程拟合优势高、材积生长效果最好，并运用拟合模型结果进行立地质量评价和成熟龄确定．