非接触式酸、碱浓度计的设计与实现

针对目前国内接触式在线酸、碱浓度计寿命低、误差大及电极易污染的缺点,提出一种非接触式在线酸、碱浓度计的测量原理及实验电路,并给出了电路主要参数及实验数据。     

微机化浮子式酸碱密度／浓度计

1引言无腐蚀性液体介质密度可以用振筒式密度计检测，也可用沉子称重法检测。稀酸、稀碱的浓度可以用音频电磁式酸碱浓度计检测[1][2]，百分比浓度超过10％的酸、碱浓度和密度检测大都用人工取样在化验室进行。电厂用酸碱大都为中等浓度，如HCl为26－36％，NaOH为30－43％，它们的浓度和密度的自动检测对电厂酸碱的来料和用料计量及经济核算至关重要。本密度／浓度计就是针对该种工况设计的。该系统经某电厂运行证明，设计合理、运行效果良好。2密度测量原理本密度传感器根据阿基米德原理制成，其原理模型如图1所示。它由大浮于、小浮子和…     

非接触式在线掌纹识别模拟系统的实现

为研究非接触式采集模式下的在线掌纹识别技术,利用Matlab提供的图像采集工具箱及GUI功能设计并实现了一套非接触式在线掌纹识别模拟系统;在Matlab环境下,设计的系统可模拟真实的非接触式在线掌纹识别过程,实现掌纹图像采集、预处理、特征提取及特征匹配等功能模块,在线实验多种掌纹特征提取方法的正确识别率及运行时间,为非接触式在线掌纹识别技术的深入研究和产品开发提供实验数据和理论依据.     

电容式煤粉浓度计研制

介绍一种电容式煤粉浓度计,给出了具体的传感器电极结构和测量转换电路,并在模拟气力输送管道上用稀相流对所研制的电容式煤粉浓度计进行了在线标定。结果表明,在(11.0～20.0)×10~(-3)kg/kg空气的固气质量比(浓度)变化范围内,其非线性误差加重复性误差小于5%。     

在线式超声波硫酸浓度计

介绍了超声波浓度计的测量原理及基本组成，由于进行了大范围的温度补偿和非线性修正，实现了硫酸浓度的在线检测，测量精度优于０．２％。     

基于径向基函数神经网络的挖泥船排泥管道泥浆浓度软测量模型研究

泥浆浓度是疏浚工程的一个重要测量量.超声波浓度计和γ射线浓度计虽然可以较精确地在线测量泥浆浓度,但由于价格比较昂贵,严重限制了他们在工程中的应用.本文从弯管流量计的测量原理出发,推导出泥浆浓度与其影响因素(压差、流速、弯管结构系数等)之间复杂的非线性关系,利用人工神经网络优良的非线性映射能力,建立了一个基于RBF神经网络的泥浆浓度软测量模型,仿真实验结果表明,模型计算量小,精度高,算法简单实用,为疏浚工程提供一种简单可靠、成本低廉的泥浆浓度在线连续测量的新方法.     

纸张切割非接触式成像定位测量方法与应用系统

为了探索纸张切割非接触式成像定位测量的新途径，以替代传统的接触式测量方式，提出一种利用图像分割，图像匹配和测量技术的纸张切割非接触式定位测量方法，分析和探讨涉及图像处理关键技术，并进一步分析了测量的精度和误差产生的因素。实验结果表明，该测量方法测量时间小于0．5s，测量精度为7min，从而为物体在线测量与定位提供了一种新的方案。     

ST助力卡上生物特征识别系统和卡动态验证解决方案

意法半导体(STMicroelectronics,简称ST)推出最新一代ST31安全微控制器,助力接触式和非接触式支付卡、身份证和闸机提高交易安全性。ST31N600采用意法半导体的40纳米eSTM制造技术,集成生物特征识别和卡动态验证(dCVV)所需的能量收集电路和附加连接技术,让无电池的智能卡能够在非接触式和在线交易中加强用户身份验证的安全性。ST31N600基于最新一代Arm SecurCore安全微控制器架构,符合EMV ISO 7816、ISO 14443和ISO 18092接触式和非接触式智能卡标准,并允许设计人员安全连接各种外设,在卡内引入增值功能。     

基于C8051F060的碱浓度计的研制

为了实现染色工艺过程中碱液浓度的实时检测及保证产品质量,研制了一种碱浓度计。该仪器以高速51微控制器C8051F060为控制核心,采用电导法原理实现碱液浓度的测量。并在仪器中构建了CANopen从站,可以实现高速、高可靠性的数据通信,并构成分布式测控网络。实验证明:该仪器主、从站通信可靠,精度满足染色工艺要求。     

基于超声波回波衰减理论的超声波浓度计设计

基于超声波回波衰减理论,以微控制器C8051F021为核心控制超声波发射和接收电路,实现超声波浓度计的设计。采用直接数字频率合成芯片AD9833产生脉冲串,经过功率放大电路驱动超声波换能器,超声波经过悬浊液到达接收换能器,利用92dB动态范围的对数放大器AD8307对回波衰减信号进行检波放大,最后由微控制器对数据进行处理得出浓度值。超声波浓度计在工业控制中有较高的应用价值。     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Models and Complexity of Problems of Design and Reconstruction of Telecommunication and Transport Systems

This article considers network synthesis problems arising in the design and exploitation of telecommunication and transportation systems. A formalization of network synthesis problems on graphs is proposed in which constraints on cut capacities are given and possibilities of failing some network components are taken into account. Approaches to the solution and analysis of the complexity of the considered problems are described.     

Teamcenter与NX集成客户化定制技术研究与实现

PDM产品实施过程中一项重要工作是系统集成与客户化定制。对Teamcenter Engineering(简称Teamcenter)与NX系统集成客户化定制中业务建模、属性映射等相关技术进行了研究,提出了Teamcenter与NX集成客户化定制的技术思路,并以客户化定制NX工程图纸标题栏为例,介绍了Teamcenter与NX集成定制实现的关键步骤及方法。     

Binary perfect and extended perfect codes of lengths 15 and 16 and of ranks 13 and 14

Inaccuracies in computations in the paper of the authors on classification of perfect binary codes of lengths 15 and 16 and of rank 13 are fixed. An explicit construction of all extended perfect codes of length 16 and rank 13 with a given kernel size is presented. Perfect binary codes of length 15 and rank 14 obtained by the general doubling construction are classified.     

椭圆拉伸变形长短轴的计算及应用

在CAD应用软件程序编制中,椭圆的长短轴是很重要的参数。应用相关数学知识推导出6个计算公式,可利用这些公式确定椭圆沿坐标轴拉伸变形后的长短轴大小与位置并在CAD软件中实现与之相关的功能。     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通。文中首先介绍了互通的种类和方案，并重点讲述了智能网和软交换互通过程中模型的重要部分——软交换侧的SSP。在此基础上，提出了智能网和软交换互通的实现方案，并且以智能用的典型业务FPH为例简明分析了方案，对利用业务服务器实现软交换中的智能业务进行了插述和分析。     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通.文中首先介绍了互通的种类和方案,并重点讲述了智能网和软交换互通过程中模型的重要部分--软交换侧的SSP.在此基础上,提出了智能网和软交换互通的实现方案,并且以智能网的典型业务FPH为例简明分析了方案,对利用业务服务器实现软交换中的智能业务进行了描述和分析.     

IPSEC与防火墙协同工作设计与实现

IPSEC提供网络层的安全服务，通过对IP报文的加密和验证，保证数据在传输过程中的安全．由于IPSEC封装了报文中一些重要信息，使得IPSEC与防火墙不能同时有效地工作．本文提出一种分层IPSEC(Layered IP Security，L_IPSEC)思想，即将协议头和数据部分分别进行安全处理．并将这种分层思想与分布式处理技术结合，设计与实现一种IPSEC与防火墙协同工作方案．     

Kohonen与Madaline用于解析重叠光谱测定钨和钼

首先应用Kohonen网络对钨、钼的混合吸收光谱进行波长选择，在全光谱中优选最能代表光谱特征的波长，被选波长处吸光度作为Madaline网络的输入，设定输出目标函数为G（λ）＝∑Aiexp[-4(ln20）(λ-t）^2/2]，进行解析重叠光谱，同时测定了钨和钼，该法利用特征光谱代表全谱进行光谱解析，减少了解析光谱中大量的数据。