电缆气压保气率计算机统计系统

介绍了电缆气压保气率计算机统计系统开发的目的和意义，系统程序的流程和结构，以及系统程序的编制和应用。     

广播发射集散控制系统

本文介绍了广播发射台利用计算机技术、网络技术、遥控遥测技术、现代测试手段，对设备进行自动化控制与管理；实现设备技术指标自动测试，发射台无人值班、有人留守，建立机器的计算机档案制度，确保安全优质播出的方法和经验。     

二阶A型Cooper变换的增强型

对二阶Ａ型Ｃｏｏｐｅｒ变换进行增强，放宽可用性条件，并证明了其正确性，最后举例说明其应用。     

一种双光束自动测试光栅绝对与相对光谱衍射效率的原理性方案

提出了一种快速自动测试光栅光谱衍射效率的新方法。重点推导了测试平面光栅绝对光谱衍射效率与相对光谱衍射效率公式，介绍了双光束高精度自动测试光栅光谱衍射效率曲线的基本原理、方案与方法，并分析了测试精度。研究表明，本方案的测试速度和精度均比一般测试方法提高一倍，并能有效地消除光源波动对测量结果的影响，测量误差小于５×１０－３。     

CDB含水率计产生非一致性响应的原因及改进

郭海敏.CDB 含水率计产生非一致性响应的原因及改进.测井技术,1993;17(2):154～160用微波传输线理论,简化 CDB 含水率计为集总参数电路。导出了这种含水率计的响应方程,给出了油气水混合电导率与持水率的非线性关系式,在此基础上认为这种含水率计的响应曲线呈 S型。导致响应出现非一致性现象的主要因素有:工作频率低,不能有效地消除地层水矿化度的影响;仪器外壁侧孔使信号向外辐射造成损耗;仪器与其它仪器相连,此时含水率计呈非纯容性。我们认为这些因素的影响使得 CDB 含水率计与传统的电容法含水率计在实质上没有明显差别。要消除非一致性现象,应从以上几点进行改进。     

Enhanced Image Detection on an ARM based Embedded System

This paper presents a new technique for thedetection of Integrated Circuits within images of Printed Circuit Boards autonomouslyand without the need to be assisted by CAD data. The technique is a key partof a suite of algorithms targeted for an embedded System On Chip architecturebased on the ARM7 platform for real time detection of PCB images for diagnosticpurposes. The technique has a significant reduction in complexity when comparedto conventional approaches such as the Hough Transform. The reduction in complexitymakes the approach ideal for an embedded vision application suchas the one described in this paper. This paper presents the technique, thetarget embedded architecture and results showing the reduction in complexitywhen compared to a Hough Transform.     

计算机自动绘制光学零件图的软件系统的研制

介绍了计算机光学零件图自动绘制软件系统的功能，给出了用该软件完成的光学零件图图样，对程序设计过程中的难点及处理方法也进行了详细阐述。     

A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol

We present a formal model of asynchronous communication between two digital hardware devices. The model takes the form of a function in the Boyer-Moore logic. The function transforms the signal stream generated by one processor into that consumed by an independently clocked processor, given the phases and rates of the two clocks and the communications delay. The model can be used quantitatively to derive concrete performance bounds on communications at ISO protocol level 1 (physical level). We use the model to show that an 18-bit/cell biphase mark protocol reliably sends messages of arbitrary length between two processors provided the ratio of the clock rates is within 5% of unity.     

Automated model generation for performance engineering of building automation networks

Large technical systems need to be designed both reliable and efficient. Specialized design tools offer therefore a simplified, abstract design and extend details autonomously in the background. Analytic and simulation based models could improve the quality by testing and dimensioning the design before implementation, but setting up the necessary models is time-consuming and expensive. Therefore many developers ask for analysis tools which are able to create their models from the available information in the design tools. This paper presents such an automated modeling approach basing on an existing design database at the example of a network analysis for building automation fieldbuses. The process of automated modeling is unfolded, and the potentials and limitations are discussed.     

彩色显像管电子束亮度分布自动测量系统

电子束轮廓的描述是彩色显像管特性检测中的难点之一。采用光电转换与计算机信息处理技术，通过自动调整边界条件和三次样条拟合的方法建立了电子束轮廓自动测量系统。与传统测量方法相比，该系统精度高，测试速度快，极大地减轻了测试人员的工作强度，并增加了对排列率和并列率等的测试功能。