An algebraic theory of object-oriented systems

The paper presents an algebraic specification of net objects. By net objects we mean those that are defined in object-oriented paradigms and those defined with nested relations in complex database models. An algebraic specification is set up that involves structures of net objects, accesses of net objects, and some features of object-oriented programming, such as multiple inheritance and polymorphism. Objects and their relationships are then characterized formally in the modeling, which utilizes the hierarchical approach in the algebraic theory of abstract data types, and is further developed by adding mechanisms from existing object systems. Categories of net objects are presented with the properties of accesses among them     

COLLISION DETECTION AMONG MOVING OBJECTSIN MACHINING PROCESS SIMULATION

ＣＯＬＬＩＳＩＯＮＤＥＴＥＣＴＩＯＮＡＭＯＮＧＭＯＶＩＮＧＯＢＪＥＣＴＳＩＮＭＡＣＨＩＮＩＮＧＰＲＯＣＥＳＳＳＩＭＵＬＡＴＩＯＮＹａｎｇＨｅｍｉｎｇ；ＬｕＡｎｓｈｅｎｇ；ＺｈｏｕＪｉＣＯＬＬＩＳＩＯＮＤＥＴＥＣＴＩＯＮＡＭＯＮＧＭＯＶＩＮＧＯＢＪＥＣ...     

SnO2超微粒子薄膜的气敏特性研究

作者用自行设计的直流气体放电活化反应蒸发装置制备出平均粒径约为40nm的SnO_2超微粒子薄膜.研究了不同氧分压下所得SnO_2超微粒膜的形貌、结构和组成等特性,以及不同样品对各种易燃气体的气敏特性,得出了灵敏度随氧分压及灵敏度随工作温度的变化曲线.     

人工关节试验机电液力伺服控制系统迭代学习控制策略仿真

本文首先介绍了人工关节试验机电液力伺服控制系统的构成，并分析了其静特性。针对力系统的特性，本文提出了一种闭环比例型一阶给定超前迭代学习控制算法，并对其控制效果进行了仿真研究。研究结果表明，采用迭代学习控制算法可以有效地提高力系统的跟随精度。     

绿色计算机与相关标准规范

本文简述了绿色计算机相关的标准和规范。     

液相颗粒包裹法制备PbNb2O6微粉的研究

本文介绍了一种采用液相颗粒包裹技术制备功能陶瓷微粉的新方法.这种方法有如下特点:(1)方法简便,不需要特殊的设备,便于扩大应用于工业生产;(2)粉体颗粒尺寸小而均匀;(3)粉体化学组成偏离小、且均匀;(4)适应性强,从双组分至十多组分的材料微粉制备均可采用;(5)特别适用于一些含有难溶组分、用液相法无法制备的材料.本工作采用这一方法,成功地制备出 PbNb_2O_6微粉,其平均腰粒尺寸<0.5μm,分散性及化学均匀性好,烧结活性高,烧结温度可以降低近100℃,瓷坯密度可达理论密度的96%以上.     

聚氧乙烯油酸酯的合成与物性

论述了合成聚氧乙烯油酸酯的较佳反应条件,探讨了不同EO加成数的聚氧乙烯油酸脂的表面物性规律。     

1，4－丁二醇的生产及市场需求

介绍了１，４－丁二醇的生产工艺、生产能力、产量和市场需求。     

荷能束辐照致使Cu/Ag表面偏析的研究

本文研究了金属(Cu)/金属(Ag衬底)系统的荷能束辐照引起的表面偏析现象。观察到Cu在多晶Ag衬底上溅射淀积过程中,Ag原子在Cu膜表面的偏析,且淀积Cu原子能量越大,Ag原子偏析程度越大,即观察到了淀积Cu原子10~(-1)～1eV量级的平均能量差异对膜层表面偏析行为的影响。对溅射淀积所得膜层进行keV量级的离子束辐照,Ag原子的表面偏析程度更甚。     

COATES GRAPH APPROACH FOR GENERATING SYMBOLIC NETWORK FUNCTION

In this paper, symbolic code matrix ,constant matrix and count matrix are defined .The first twomatrices are used to describe the elemental expression of augmented matrix and the nede admittance equa-tion is thus obtained. The third matrix is used to obtain the incoming degree matrix, and according to thematrix all the 1- factors of the Coates graph are given. By using the data code, the determinant is expandedand the same items in the expansion are merged. Thus the symbolic network function in which no term can-cellation occurs is generated.