Application of the Constrained Predicated Nets and Interval Logic to Production Systems

1 .INTRODUCTIONDuetotheireconomicsignificanceandclosenesstopersons,productionsystemsmustbemodeledbeforetheirimplementationanduse,thus,amethodwhichspecifies ,analyzesandsynthesizestheproductionsys tems—discreteeventsystems (DES)hasbeenestab lishedanddevelopedstepbystepinrecentyears.DESmethodspecifiestheplantbasedonitsdiscretecharacters,however,intherealworld ,therearefewplantsthatcanbemodeledbypurelydiscretemathe maticalmodelbecausetherearealwayssomecontinu ousparametersforstudyinnearlya…     

Dynamic Characteristics of Inter-Satellite Links in LEO Networks

To establish an efficient inter-satellite link (ISL) in an LEO network, the effect of geometric characteristics of ISL on the ISLs and the devices on the LEO satellite should be examined. Because of the continuous movement of the LEO satellite, the time-varying behaviours of the ISL's geometric charactersistics continuously change with the changes of the satellite's position on the orbit. These dynamic geometric characteristics of the ISLs are important for ISL's performance analyzing and the design of the devices on the LEO satellite. This paper describes dynamic geometric characteristics of ISL, analyzes the impact of these regulations on the tracking system of the satellite's antenna and the power adjusting system of the satellite's transmitter, with the Iridium system as an example.     

金属间化合物Ni3Al中的硼晶界偏聚特性的AES研究

本文应用俄歇能谱仪研究了不同化学计量比ＮｉＡｌ金属间化合物硼在晶界偏聚的特性。研究结果表明：硼在Ｎｉ３Ａｌ的各个晶界偏聚存在着不均匀性，硼在晶界的偏聚范围只有几个原子层，晶界结构及晶界化学环境是影响在晶界偏聚的决定因素。     

Radar Imaging Based on Iterative Algorithms

It has long been realized that the problem of radar imaging is a special case of image reconstruction in which the data are incomplete and noisy. In other fields, iterative reconstruction algorithms have been used successfully to improve the image quality. This paper studies the application of iterative algorithms in radar imaging. A discrete model is first derived, and the iterative algorithms are then adapted to radar imaging. Although such algorithms are usually time consuming, this paper shows that, if the algorithms are appropriately simplified, it is possible to realize them even in real time. The efficiency of iterative algorithms is shown through computer simulations.     

Face Recognition Based on Support Vector Machine and Nearest Neighbor Classifier

Support vector machine (SVM), as a novel approach in pattern recognition, has demonstrated a success in face detection and face recognition. In this paper, a face recognition approach based on the SVM classifier with the nearest neighbor classifier (NNC) is proposed. The principal component analysis (PCA) is used to reduce the dimension and extract features. Then one-against-all stratedy is used to train the SVM classifiers. At the testing stage, we propose an al-     

心理学和教育学课堂教学艺术漫谈

教学是一门科学，也是一门艺术，是实现全面发展教育的根本途径；心理学和教育学是师范院校两门公共必修课；如何提高两课的教学质量，关系到学生教育心理学素养的形成，本文试从笔者的教学体会谈谈两课的课堂教学艺术。     

新型齿圈式切焦机在焦炭整粒中的应用

摘要：阐述了焦炭整粒在高炉冶炼中的必要性和重要性。针对临钢双齿辊切焦机的缺点进行了改造，研制出了CQD-80型齿圈式切焦机，介绍了CQD-80型齿圈式切焦机设备构造及改进，CQD-80型切焦机使用情况说明，其性能安全可靠，效果显著。     

The Huntington's disease candidate region exhibits many different haplotypes.

Analysis of 78 Huntington's disease (HD) chromosomes with multi-allele markers revealed 26 different haplotypes, suggesting a variety of independent HD mutations. The most frequent haplotype, accounting for about one third of disease chromosomes, suggests that the disease gene is between D4S182 and D4S180. However, the paucity of an expected class of chromosomes that can be related to this major haplotype by assuming single crossovers may reflect the operation of other mechanisms in creating haplotype diversity. Some of these mechanisms sustain alternative scenarios that do not require a multiple mutational origin for HD and/or its positioning between D4S182 and D4S180.     

结构动力分析一种简易的直接积分法

本文利用方块脉冲函数优良的运算性质,提出一种结构动力分析简易的直接积分法——方块脉冲函数法,具有无条件稳定的积分格式,并表明方法的可行和有效.