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     

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

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

Magnetization and rotation of MTG HTSC ring in magnetic field

The magnetization of a melt-texture growth (MTG) HTSC ring has been studied. It is shown that the magnetic field inside the ring is larger than the external field under a certain range of external magnetic fields. We have also investigated the magnetic field dependence of the response of a detective coil near a rotating superconducting ring. The responses of the MTG sample are different for different cooling methods.     

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.     

C/O能谱测井数据预处理的两点改进意见

简单介绍了碳氧比测井的原理及通常的数据处理方法。分析了由常规数据处理所得曲线仍然存在的问题及可能的成因 ,并给出了可行的修正办法。讨论了另一种可行的曲线异常数据的检测、剔除方法。实践表明 :文章讨论的两点建议都是可行的 ,并且在提高测量曲线质量的同时也提高了地层含油饱和度的解释精度。     

新疆伊犁托海水电站拱坝坝体变形监测分析

根据托海拱坝5号坝段、7号坝段例垂线实测资料分析，说明了新疆寒冷地区坝体采取聚胺脂喷涂施工措施后对坝体变形的影响，以及右坝肩渗漏对右坝肩岩体的影响，分析结果为托海水电站通过国家电力公司大坝安全监察中心大坝安全首次定检提供了科学依据。     

A concise process technology for 3-D suspended radio frequency micro-inductors on silicon substrate

In this letter, a concise process technology is proposed for the first time to enable the fabrication of good quality three-dimensional (3-D) suspended radio frequency (RF) micro-inductors on bulk silicon, without utilizing the lithography process on sidewall and trench-bottom patterning. Samples were fabricated to demonstrate the applicability of the proposed process technology.     

薄板坯连铸工艺液芯压下的有限元分析

简要介绍世界几种主要薄板坯连铸工艺。着重叙述应用大型通用商业软件MSC.MARC。模拟液芯压下时铸坯的变形，确定最佳压下方案的有限元分析，液芯压下应该在结晶器出口处及二冷区扇形段开始部分进行，这样能减小铸坯的应变。     

基于规则的光学邻近矫正中规则的相关处理

讨论了如何选择适当的规则,如何建立简洁实用的规则库,如何应用规则库.提出了四种主要的光学邻近矫正规则,在实验结果中列举了规则库中的部分数据.利用规则矫正后的版图光刻得到的硅片图形有了明显的改善.规则库的自动建立部分 (OPCL)是基于规则的光学邻近矫正系统的重要组成部分.     

LDPC-based space-time coded OFDM systems over correlated fadingchannels: Performance analysis and receiver design

We consider a space-time coded (STC) orthogonal frequency-division multiplexing (OFDM) system with multiple transmitter and receiver antennas over correlated frequency- and time-selective fading channels. It is shown that the product of the time-selectivity order and the frequency-selectivity order is a key parameter to characterize the outage capacity of the correlated fading channel. It is also observed that STCs with large effective lengths and ideal built-in interleavers are more effective in exploiting the natural diversity in multiple-antenna correlated fading channels. We then propose a low-density parity-check (LDPC)-code-based STC-OFDM system. Compared with the conventional space-time trellis code (STTC), the LDPC-based STC can significantly improve the system performance by exploiting both the spatial diversity and the selective-fading diversity in wireless channels. Compared with the previously proposed turbo-code-based STC scheme, LDPC-based STC exhibits lower receiver complexity and more flexible scalability. We also consider receiver design for LDPC-based STC-OFDM systems in unknown fast fading channels and propose a novel turbo receiver employing a maximum a posteriori expectation-maximization (MAP-EM) demodulator and a soft LDPC decoder, which can significantly reduce the error floor in fast fading channels with a modest computational complexity. With such a turbo receiver, the proposed LDPC-based STC-OFDM system is a promising solution to highly efficient data transmission over selective-fading mobile wireless channels