Vega中的传感器模块在红外成像仿真中的应用

针对红外成像制导系统仿真对红外场景的需求,提出一种基于Vega中传感器模块的红外成像仿真的方法。介绍红外成像仿真的原理及研究现状,阐述传感器模块的特点和功用。给出了红外图像实时生成系统的组成及工作流程,较为详细地阐述了红外成像仿真的流程,重点阐述了红外传感器仿真模块、传感器视效模拟模块在红外成像仿真中的应用并给出了仿真结果。实验证明,该方法能够满足实际任务对图像仿真逼真度和实时性的要求。     

新型矿用智能红外吸收瓦斯传感器的研究

针对传统矿用瓦斯传感器的缺点,文章设计了一种基于红外光谱吸收原理的新型瓦斯传感器,介绍了红外吸收检测原理,阐述了红外吸收瓦斯传感器的组成,并给出了瓦斯浓度值的标定和计算方法。实验结果表明,由红外吸收瓦斯传感器测量的浓度值与实际值之间的误差达到了煤安验证的要求。     

一种光电式电子白板的技术解析

对比电阻式电子白板、电容式电子白板、红外式电子白板、超声波式电子白板、CCD光扫描式电子白板和电磁感应式电子白板的优缺点,详细论述了光电式电子白板的光电笔的设计、图像处理系统的设计,以及它们的软件系统,指出了改进和发展的方向.     

基于红外光谱的煤矿新型瓦斯传感器的设计

利用E2V公司的IR22GJ红外瓦斯检测模块及CC2430芯片设计了煤矿新型红外瓦斯传感器电路。结合井下气体测量环境和红外光的瓦斯传感器测量原理,利用单片机的外围电路和硬件架构、C语言及汇编语言编写系统程序,研究设计了红外瓦斯传感器系统。最后搭建了气体测量环境,完成了红外吸收型瓦斯浓度检测系统的实验及测试。     

多静态红外传感器反导预警部署优化研究

红外传感器测量目标位置信息时存在高斯白噪声,在分析多静态红外传感器定位原理的基础上,建立了其定位误差模型;多红外传感器对目标的精确定位,等价于传感器对目标位置的无偏估计.基于Bayesian Cramer-Rao下界定理,为保证传感器对目标的定位误差最小,建立了多静态红外传感器反导预警部署优化模型.依据局部增强原理改进微分进化算法,并得到了基于MPDE的求解模型.通过仿真实例分析,验证了模型和算法的有效性.     

基于单片机的红外超声室内定位系统

介绍一个以单片机为主控制单元、红外和超声传感器为测距工具、采用三个参考点的较高精度室内定位系统。其中重点说明系统测距的原理与实现，详细论述了一种新的测距方法，并通过实际的测距实验说明此方法的可行性与优点。     

超声传感器在明渠流量计中的应用

简单叙述了超声传感器用于明渠流量计的测量原理。对超声传感器的设计作了详细分析,特别对气介式超声传感器为提高灵敏度而增加声学匹配层作了研究,推出合理选择匹配层材质声阻抗和匹配层厚度的计算公式。另对信号发射与接收电路的设计也作了详细介绍。     

移动机器人非视觉传感器及其信号处理方法

非视觉传感器是机器人认识和了解外部环境的重要途径，移动机器人常用的非视觉 传感器包括超声、红外、接近传感器等．这些传感器大多是以环或阵列的形式出现，因此其 信号处理往往要占用机器人大量的CPU时间．本文提出了一种采用多DSP控制和处理各类非视 觉传感器的方法，给出了传感器信号处理的原理和具体实现．同时我们引入了并行处理的机 制，各类传感器信号处理可同时进行，在很大程度上提高了机器人传感器信号处理的速度， 有利于机器人在实时动态环境中运行．并给出了非视觉传感器信号处理的实验结果，验证了 该方法的有效性．      

基于微型泵吸式的矿用红外一氧化碳传感器研制

现有基于电化学原理的矿用一氧化碳传感器测量数据易受烷类气体、氢气苯类等气体及矿井环境压力的影响,测量结果误差大,且需定期调校。针对该问题,研制了一种基于微型泵吸式的矿用红外一氧化碳传感器。该传感器基于非分散式红外吸收原理,利用CO气体对4.5μm的红外辐射具有强烈的吸收,通过测量红外辐射的初始能量和红外辐射被气体吸收后的能量,检测出CO气体浓度。针对扩散式一氧化碳传感器检测采样速度慢,检测结果容易受检测环境的风速、温度等外界因素干扰的问题,采用微型泵吸式检测方式,气体通过微型气泵的流动进入红外敏感元件气室,保证了传感器气流的稳定性。6个月的工业性试验结果表明,该传感器相比传统电化学传感器,具有红外波长固定、测量数据不受其他气体影响的优势;使用中,矿用红外一氧化碳传感器的维护周期大于6个月,主要维护操作是清洁处理,无需更换敏感元件及标校。     

一种红外传感器阵列探测方法的研究

根据热释电红外传感器的工作原理和特性,设计了一种红外传感器信号的采集探测实验方法。由于敏感元件在传感器阵列的四面,故设计圆周运动的探测方法。实验结果证明：本探测方法与采集系统采集红外信号良好,实验方法具有重要实用价值。     

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集成定制实现的关键步骤及方法。     

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

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

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

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

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

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

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

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

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

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

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.