Preparation and properties of nano-sized SnO2 powder

1　INTRODUCTIONSnO2isoneofthemainmaterialsusedingassensor.Becauseofthehumidityandgassensingfunction,itattractsmoreandmoreattentions.Butthepresentproblemishowtoimprovethestabilityandsensibilityofgassensor.Researchershavetakenmanymeasurestoresolvethisproble…     

丙烯腈－苯乙烯共聚物水解磺化产物对泥浆的稳定作用

在实验室条件下对用丙烯腈－苯乙烯共聚物在硫酸存在下的水解磺化产物（ＨＳＡＳ）处理的泥浆性能进行了评定。ＨＳＡＳ处理的泥浆有较小的滤失性，较好的耐盐和抗高温性。     

烧结工艺对液相合成（SrPb）TiO3基陶瓷热敏特性影响的研究

本文在液相合成（ＳｒＰｂ）ＴｉＯ３粉的基础上，研究了升温速率、保温时间、烧结温度及降温方式对（ＳｒＰｂ）ＴｉＯ３基陶瓷的Ｖ型ＰＴＣ热敏特性的影响。实验表明：升温速率对其热敏特性影响不大，保温时间和烧结温度的作用是一致的，具有一最佳范围。而降浊方式对材料的热敏特性影响较大。综合各因素的影响，本配方中，样品的烧结制度定为：以２００℃／ｈ的速率升温，在１２５０℃保温１ｈ，炉冷至９５０℃，保温０．５ｈ，再     

邻—(4—乙基苯甲酰基)苯甲酸的研究

本文阐述了通过Friedel-Crafts反应合成邻-(4-乙基苯甲酰基)苯甲酸的方法.研究了影响产物质量的因素,提出了适宜的工艺条件.     

Error in the UNITY substitution rule for subscripted operators

UNITY, introduced by Chandy and Misra [ChM88], is a programming logic intended to reason about temporal properties of distributed programs. Despite the fact that UNITY does not have the full power of, for example, linear temporal logic, it enjoys popularity due to its simplicity.There was however a serious problem with the Substitution Rule. The logic is incomplete without the rule, and with the rule it is inconsistent.     

插补法CAI研究

数字程序控制计算机辅助教学是将计算机技术用于数字程序控制的教学过程，它帮助学生学习并模拟教学实验．本文介绍了数字程序控制中直线插补和圆孤插补的ＣＡＩ实现方法．     

A formal description of open distributed processing (ODP) trading based on guidelines for the definition of managed objects (GDMO)

New requirements of growing computer networks and information systems have an influence on extended client/server models with increased functionality. This forms the basis for service management in distributed systems which is realized by a service trading concept. This paper studies the requirements derived from the Open Distributed Processing (ODP) Reference Model in order to consider an open service market. Furthermore, it examines management possibilities for describing the service trading scenario. Because of similar architectures and properties ODP services, service offers, types, exporters and traders are mapped onto management components and modeled as managed objects. Therefore, the Guidelines for the Definition of Managed Objects (GDMO) are used. The final concept allows a precise and unambiguous study of the service trading scenario and provides means for exporting and importing of service offers in a distributed environment.     

超细Fe3O4粒子表面包覆酞菁钴性质研究

本文研究了合成载氧体的金属有机化学液相淀积法制造工艺，所得产物经ＴＥＭ、ＸＰＳ、Ｍｏｓｓ－ｂａｕｅｒ谱和Ｂ－Ｈ仪等手段，研究了它的结构和磁性能。实验表明，酞青钴以薄层形式包覆在Ｆｅ＿３Ｏ＿４的表面，封闭了Ｆｅ＿３Ｏ＿４的表面孔洞，稳定了Ｆｅ＿３Ｏ＿４的物相，增强了磁性能。     

脉冲序列的快速搜索法及可信度分析

对于周期脉冲序列的信号分选识别，可采用序列搜索的时域方法[1，2]。本文将大周期内完全重复的脉冲序列分解为多个“单周期信号”．并把它们均定义为周期性信号．同时，提出了序列搜索的一种软件实现方法及密集视频脉冲信号分选的变步长、信步长快速搜索法．在此基础上，本文针对序列搜索分选法的可信度计算公式进行了推导和分析，证实了这种方法的可行性和有效性．     

硫化铜矿中提取铜的新方法研究

对从硫化铜矿中提取铜的溶剂进行了详细研究，提出了“过硫酸铵－氨水－Ａｇ￣＋”催化、氧化、络合的提取法。