OCS行车电子秤的设计

The composition, structure of the scale body, weighing instrument and transducer of the electronic scale for overhead crane are introduced． Several commonly used structures of the weighing body in electronic scale for overhead crane are emphasized． The system accuracy offered by different body structure is presented． The common structure and the forced conditions of the main components in such electronic scales are analyzed and the criteria should be followed in design are described．     

LonWorks现场总线的本安技术

The standard of intrinsic safety and the design of the parameters of intrinsic safety circuit are described firstly． The the intrinsic safety assembly of IS－78 and its specification are introduced． The connection between IS－78, the physical channel of LonWorks, and the network of safety area is discussed finally．     

调节阀流量系数与可调比关系的研究

The relationship between flow coefficient and turndown ratio is discussed based on the requirements of practical applications． Thus it is stated that the turndown ratio might be considered as the characteristic parameter of the flow characteristic curve． On this basis the difference between the National Standard and International Standard in regulations of the deviation of flow coefficient is stated． Through relevant calculations, the demerits existing in National Standard and product design are revealed．     

Labwindows/CVI在PC与μXL集散系统通信中的应用

Virtual instrument technology is the result of instrumental technology and computer technology． The composition of virtual instrument system and the features of Labwindows／CVI, the developing platform of virtual instrument software are introduced． By using the example of communication with μXL distributed control system the application of CVI is presented．     

DCS的远程诊断和维护

Combining with the I／A system the effect and implementing method of remote diagnosis and maintenance of the distributed control system （DCS） are presented．     

并列锅炉蒸汽母管压力控制方案

The pressure control strategy of steam header for two of the 75t／h tied up boilers is improved． One measure is by using the sum of the steam flows of two boilers as external disturbance to avoid interference of false disturbance signal; another one is implementing output bumpless switching with the Auto／Manual Swithch,one of the software blocks．The practical operation shows excellent results．     

从INTERKAMA‘99看现场总线

The exhibits of the main field bus products on INTERKAMA′99 Exhibition and their applications are introduced briefly． The developing trend is forecasted．     

基于双阈值法的超声辊型在线检测的研究

To eliminate the error of distance measurement caused by amplitude change from signal attenuation, the method based on dual thresholds is introduced． Thus the precise ultrasonic measurement is accomplished． Combining wiht the mechanical scanning the on-line detection of roller shape is implemented．     

多体系统动力学的常用积分器算法

本文将以单步法中的广义 α族积分器和多步法中的BDF族积分器为主要讨论对象,详细介绍大型多体系统动力学软件中常见类型的积分器的算法细节.每族积分器都给出了不止一套计算公式,而且其对应求解微分代数方程组(DAE)的index可以为1、2或者3.除此以外,本文还着重介绍了微分代数方程组的误差估计、变阶变步长策略等关键技术;并讨论了大型DAE问题求解过程中的初始条件分析、Jacobian矩阵复用等重要环节的算法实现;对于BDF积分器族,文中还详细描述了高阶格式的非绝对稳定性、速度变量的误差估计等瓶颈问题的解决方案.全文以多体系统动力学软件的积分器程序实现为目标,强调在满足给定精度的条件下,如何提高计算效率和保证仿真运行的鲁棒性.另外,本文也简要介绍了在某些应用场合中有很大潜力的显式积分器族.通过分析和比较,文中还将指出各种算法的优缺点以及可能的改进方向,希望能够为研究人员和程序开发者提供一定的参考.由于篇幅限制,本文只列出了几个标准的算例比较,作为文中内容的补充;并给出了几种积分器性能比较的一般性结论.文中几乎所有方法都经由作者程序实现、测试和比较,并且相关算法的实现细节也都已尽量列出,可以很容易地编程实现并应用到实际问题的求解中去.     

基于遥感与GIS的农村居民点景观特征比较

以河北省阜平县、武邑县 ,福建省清流县、惠安县作为研究区 ,利用 2 0 0 0年 TM遥感图像 ,通过解译、判读得到景观结构矢量图 ,然后利用景观生态学数量方法分析了研究区农村居民点景观特征的差异及空间分布格局。研究表明 ,研究区农村居民点规模较小 ,平原地区平均面积不到 2 0 hm2 ,山区农村居民点平均面积低于 10 hm2。农村居民点距离较近 ,山区农村居民点平均距离小于 2 .5 km,平原地区农村居民点距离小于 0 .4 hm。农村居民点规模小 ,分布零散 ,适应于农业经济的发展。为了节约居民点用地 ,应采取加快城镇及中心村发展的方针 ,促进农村居民点布局的优化     

元计算环境中任务调度的深入分析

文章主要对元计算环境中任务调度进行了深入分析与研究。先概述了元计算系统对于科学领域的贡献,分析了元计算环境的特点;然后对元计算环境中的调度算法进行了分类说明,并对几种典型的调度算法行了具体的分析,评价了其特点与不足之处;最后分析了新兴的元计算环境—校园级元计算环境面临的挑战,借鉴各种调度算法,提出了与之相适应的任务调度策略,对其可行性进行了分析,并简要概括了其创新性。     

几种三层小波提升方案及其在图像压缩中的应用

1 引言小波理论在图像压缩中已有成功的应用。在小波压缩系统中,有两个因素是至关重要的:一是小波滤波器,二是压缩编码算法。随着小波变换进入JPEG2000,与小波变换相配套的零树编码算法写进MPEG-4,小波理论在图像压缩中也占有越来越重要的地位。基于提升算法的第二代小波变换也日益受到研究者的广泛关注。与第一代小波变换相比,提升算法具有快速、高效的优点,并且提升滤波器的设计可直接在空域中完成。第一代小波变换可通过因数分解转换为提升方案,例如著名的Cohen和     

Hierarchical data structures and algorithms for computer graphics.I. Fundamentals

The fundamentals of hierarchical data structures are reviewed and it is shown how they are used in the implementation of some basic operations in computer graphics. The properties of hierarchical structures are discussed, focusing on quadtrees and octrees. The latter are defined, some of the more common ways in which they are implemented are examined, and an explanation of the quadtree/octree complexity theorem is provided. Vector quadtrees and vector octrees are discussed. The performance of basic operations using quadtrees is considered     

步态识别问题的特点及研究现状

步态识别作为一种较新的生物认证技术有其独特优势,在计算机视觉研究领域又是一个难题.本文首先分析了步态识别问题的这两个特点.其次,按一个模式识别系统所涉及的4个问题域：传感器的选择、预处理技术、表达方法、决策模型为索引去分析步态识别问题.在表达方法一节中将文献中所反映的研究方法从计算机视觉的角度分为基于模型和基于整体的两大类,并对每类方法进行了举例说明,指出了所举出的方法的优缺点和其提取步态模式中的结构成分信息和运动特征信息时所采用的方法.再次,对步态识别算法性能评价标准和可得到的数据库进行了分析说明.最后得出了目前步态识别问题研究中的几个薄弱点,指出进一步研究此问题的发展空间.     

Automatic isosurface propagation using an extrema graph and sortedboundary cell lists

A high-performance algorithm for generating isosurfaces is presented. In our method, guides to searching for cells intersected by an isosurface are generated as a pre-process. These guides are two kinds of cell lists: an extrema graph, and sorted lists of boundary cells. In an extrema graph, extremum points are connected by arcs, and each arc has a list of cells through which it passes. At the same time, all boundary cells are sorted according to their minimum and maximum values, and two sorted lists are then generated. Isosurfaces are generated by visiting adjacent intersected cells in order. Here, the starting cells for this process are found by searching in an extrema graph and in sorted boundary cell lists. In this process, isosurfaces appear to propagate themselves. Our algorithm is efficient, since it visits only cells that are intersected by an isosurface and cells whose IDs are included in the guides. It is especially efficient when many isosurfaces are interactively generated in a huge volume. Some benchmark tests described in this paper show the efficiency of the algorithm     

网络控制系统研究综述与前景展望

介绍了网络化控制系统（networked control system, NCS）出现的背景，综述了NCS面临的基本问题和现状，整理了近年来NCS分析与综合方面的研究成果和最新进展．描述了NCS的模型、特点、时延、丢包、稳定性、网络调度等内容，归纳了现有的研究方法．对TrueTime和NS2等仿真工具做了比较详细的阐述．最后，论述了NCS研究中尚待解决的问题，展望了网络控制系统未来的发展前景．     

基于Horn逻辑扩展模型的安全协议反例的自动构造

根据安全协议的Horn逻辑扩展模型和相应的安全协议验证方法,提出了自动构造不满足安全性质的安全协议反例的求解策略,并给出了重要定理的证明,设计了一系列自动构造协议攻击的构造算法,并在基于函数式编程语言Objective Caml开发的安全协议验证工具SPVT中实现了这些算法,给出了主要算法的优化方法,详细分析了主要算法的时间复杂度,从理论上证明了算法是线性时间算法.最后,用SPVT对一些典型的安全协议进行了验证,得到了不安全协议的反例,并对反例进行了分析.得到的反例非常方便于阅读,与Alice-Bob标记非常接近,从而使任何领域的专家都可以用这种形式化的方法检查安全协议是否存在真实的反例.     

软件图语言的形式描述

本文从语言学和形式化角度对软件领域中广泛使用的软件图进行了研究，提出了软件图语言这一概念。本文首先提出了关于软件图语言的一组基本概念，其次研究软件图语言的同态和同构，以构成软件图形式描述的基础；最后讨论了软件图语言的形式表示法，并提出了基于图符网的文法，使图文法更适合于表示软件图语言。本文工作可以作为设计面向软件图语言的软件工具的基础。