A singular loop transformation framework based on non-singular matrices

In this paper, we discuss a loop transformation framework that is based on integer non-singular matrices. The transformations included in this framework are called Λ-transformations and include permutation, skewing and reversal, as well as a transformation calledloop scaling. This framework is more general than existing ones; however, it is also more difficult to generate code in our framework. This paper shows how integer lattice theory can be used to generate efficient code. An added advantage of our framework over existing ones is that there is a simple completion algorithm which, given a partial transformation matrix, produces a full transformation matrix that satisfies all dependences. This completion procedure has applications in parallelization and in the generation of code for NUMA machines. This work was supported by the Cornell Theory Center, NSF Presidential Young Investigator award #CCR-8958543. by NSF Grant #CCR-9008526, and by a grant from the Hewlett-Packard Company.     

低空大气对连续波干涉仪系统相位稳定性的影响

针对三站连续波干涉仪系统，根据实时测得的系统场区大气折射率漂移数据，应用几何光学方法，从理论上估计了连续波干波仪系统两条微波基线传输的相位稳定性。     

公安110报警指挥系统组网设计

１１０是电话网中的匪警特服号，现代信息化社会的发展要求１１０接警响应迅速而准确，本文介绍了公安１１０报警指挥系统的组成原理，给出了该系统与公共市话网和公安专网的组网实现方法，并对工程设计中的系统可靠性问题进行了详细的讨论，该系统也可用于１１９报警等其待服业务。     

SDQ941地化-气测综合录井仪

地化-气测录井仪将地化、气测二种成熟的技术,有机地结合在一起.地化、气测数据在同一软件下运行,可达到技术互补的优势,克服了单一录井方法录取资料单一片面的缺陷,有利于提高油气层的发现率和解释成功率,为实现录井仪器和录井服务向综合型发展的战略创造了条件。该文主要介绍了仪器的构成、功能及计算机软件的特色,并阐述了该仪器的技术装备优势及应用前景。     

Analysis and design of aperture-coupled microstrip patch antennasand arrays fed by dielectric image line

This paper presents the analysis and design of aperture-coupled microstrip patch antennas and arrays fed by an dielectric image line. A theory based on the cavity model of the microstrip patch antenna and the change in the modal voltage of the image line at the aperture was developed to analyze the single element aperture-coupled microstrip patch antenna. The theory developed was combined with the array theory to design linear traveling wave arrays at X-band and Ka-band frequencies. The required taper in the excitations of the individual patches of the array was achieved by varying the aperture dimensions. Experiments show very good results for the antennas and the arrays     

强化管理提高特超稠油开发效果

河南稠油资源品位低,开采难度大,效益差。近几年,通过实践,逐渐摸索出一套适应开发需要的科学生产管理方法,明显地改善了稠油开发效果。以提高热效率为核心,形成了八大生产管理制度;深化油藏认识,使油藏-工艺-管理三者有机结合,充分利用了地层储热,提高了周期吞吐开发水平;以降粘、防砂、堵窜为重点,实现了地面-井筒-油层三位一体工艺配套,保证了油井正常生产。     

基于本体的BML命令语义标注方法

作战管理语言（Battle Management Language,BML）是一种无歧义的语言规范,用于解决指控和仿真系统间的互操作问题。针对BML命令缺乏语义信息,难以被计算机理解和自动处理的问题,分析了BML的五视图体系结构,引入了BNF形式化语法,并在此基础上提出了一种语义标注方法,对命令中的对象、时间和地理位置等要素进行标注,然后整合各要素来表达整条命令的语义,系统通过解析标注文档可以实现对命令的无歧义理解,最后给出实例予以说明。论文为表达BML命令的语义提出了一种借鉴思路。     

西门子自动化实验室的建立及应用

介绍以西门子S7-300/200PLC、WINCC6.0、MM440变频器、6SE70系列变频器等产品为基础建立的莱钢新区炼钢厂西门子自动化实验室。