GT、MRP—Ⅱ、JIT一体化应用的构思

<正> 科学技术的进步和市场竞争的加剧,促进了生产的发展和产品品种的多样化,致使产品品种不断更新,产品寿命周期日益缩短。在这种生产经营环境下,企业被迫从过去单一品种的大批量生产转向多品种、小批量生产,以适应市场需求的变化。过去那种“20年一贯制”的产品生产现象已不存在,多品     

高能氩离子在钇铁柘榴石中引起的非晶化研究(英文)

用倾斜样品X-射线衍射学(STD)和饱和磁化强度测量,研究了960MeV氩离子低温(195K)辐照多晶钇铁柘榴石Y_3Fe_5O_(12)(YIG)所引起的非晶化过程。分析结果表明,960MeV氩离子引起YIG晶态→非晶态转变是一个逐步的过程,在这个过程中电子能损起主导作用,但也需要一定的辐照剂量。并在辐照剂量0≥1×10~(14)Ar/cm~2时,在电子能损S_e=8.3MeV处,首次观察到了几乎完全的非晶态。     

PMOSFET低剂量率辐射损伤增强效应研究

为研究PMOSFET的低剂量率辐射损伤增强效应,本文对4007电路中PMOSFET在不同剂量率、不同偏置条件下的辐射响应特性及高剂量率辐照后不同温度下的退火效应进行了讨论。实验结果表明：相比高剂量率,低剂量率辐照时PMOSFET阈值电压漂移更明显,此种PMOSFET具有低剂量率辐射损伤增强效应;高剂量率辐照后进行室温退火时,由于界面陷阱电荷的影响,PMOSFET阈值电压继续负向漂移,退火温度越高,阈值电压回漂越明显;辐照时,零偏置条件下器件阈值电压的漂移较负偏置时的大,认为是最劣偏置。     

文昌13-1/2油田珠江组储层酸化技术研究与应用

文昌13-1/2油田珠江组储层主要属高孔、中高渗储层,储层胶结疏松,容易出砂。通过对文昌13-1/2油田珠江组储层的损害机理进行分析,优选了适用于文昌13-1/2油田珠江组储层的酸化体系——MH缓速酸体系。室内综合性能评价表明,MH缓速酸体系能够延缓酸岩反应速度,络合能力强,并能防止二次沉淀、抑制黏土水化膨胀、有效解除储层污染和堵塞。在WC13-1-A10、WC13-1-A7井酸化中效果显著。现场实践证明,MH缓速酸体系对文昌13-1/2油田珠江组储层具有较强针对性,对今后同类储层酸化增产措施的制定和实施有一定参考意义。     

陶瓷刀具高速干式切削等温淬火球铁的表面粗糙度研究

结合现有等温淬火球墨铸铁(ADI)材料的生产情况,制备三组试样并测定力学性能;采用CC650陶瓷刀具实施高速切削试验,探讨ADI高速切削时加工材料-刀具材料-切削用量-表面粗糙度之间的关系,基于微粒群算法建立了ADI高速切削过程中工件表面糙度与切削参数之间的理论模型,为高速切削加工ADI的最佳生产工艺提供理论指导。     

钢水测温仪自动检测系统的研制

介绍一种钢水测温仪自动检测系统,阐述该系统的工作原理,着重介绍高精度信号源的硬件电路设计。用本检测系统输出的分辨率为1μV的mV级仿真热电偶信号对KZ-300BPR型测温仪进行了验证测试,结果表明各项测试指标(特别是动态参数)优于厂家检测沿用电位差计的性能指标。     

海藻酸钠中多酚类物质的检测与去除研究

采用荧光法,检测了不同产地海藻酸钠中的荧光类杂质-多酚类物质,并采用活性炭吸附、透析及乙醇萃取等方法去除了海藻酸钠中的多酚类物质.结果表明,不同产地的海藻酸钠中均含有多酚类物质,其相对含量由147.1～491.4AFU不等;采用不同方法对多酚类物质的去除均有显著效果,去除率为29.2%～72.1%,其中活性炭吸附法的效果最佳,去除率可达72.1%.     

Power VDMOS中辐照引起的氧化物陷阱电荷和界面态电荷

为研究Power VDMOS中辐照引起的氧化物陷阱电荷和界面态电荷情况,用Co-60源对Pow-er MOSFET进行了总剂量的辐照实验,移位测试了器件的亚阈值曲线漂移情况,通过最大斜率线性外推法和亚阈值分离方法提取了开启电压、增益因子、迁移率、氧化物陷阱电荷和界面态电荷随辐照总剂量的漂移情况.研究结果表明:在1000krad(Si)辐照下器件开启电压漂移小于2V,迁移率退化小于20%,氧化物陷阱电荷和界面态电荷处于比较理想的状态,小于2×1011cm-2.     

基于ESO的BTT导弹自动驾驶仪滑模反演设计

针对BTT导弹非线性动力学模型中的参数不确定性及系统存在未知外部干扰的问题,提出了一种基于扩张状态观测器的反演滑模控制设计方法。将系统参数不确定性和未知外界干扰作为系统的复合干扰,采用扩张状态观测器估计系统的复合干扰,并实时补偿。利用Lyapunov方法证明系统的稳定性。设计的控制器算法简单、计算量小,更易于实际工程应用。仿真结果表明,设计的控制器对导弹控制系统受到的复合干扰具有较强的鲁棒性和稳定性,满足导弹姿态快速机动和高稳定度的控制要求,性能指标明显优于滑模反演控制器。     

一种验证指针程序的方法

利用形状图逻辑和形状系统来解决指针程序的分析和验证中的困难。该方法要求程序员声明各种递归结构体类型参与构建的数据结构的形状,并声明指针变量所指向的形状,以便程序分析工具能建立各程序点的形状图,并以此来支持程序验证。探讨了在指针相等关系静态可确定的情况下,避免在Hoare逻辑上做复杂扩展的指针程序验证方法。

Abstract：

Analysis and verification of programs dealing with pointers are still difficult problems so far. This paper uses a shape graph logic and a shape system to solve these problems. Using our method, programmers must declare the shapes that the recursive data