国外标准化通用航空电子自动测试设备现状和发展

以美国ATE发展为例，回顾了通用ATE标准化发展历史，进而从操作系统、控制平台、测试语言、仪器硬件、驱动软件、附加功能、系统扩展性等方面介绍了美国、法国、英国、以色列具有代表性的商用标准化ATE的技术现状，阐明了通用ATE标准化的意义和ATE标准化技术今后的发展方向。     

基于可能性测度的计算树逻辑

首先,提出了可能的Kripke结构的定义,建立了可能的Kripke结构的可能性测度空间,并分析了可能的Kripke结构的一系列性质,即任一路径转移的可能性可由其初始状态的可能性分布与各转移的可能性取下确界而得到;依据可能的Kripke结构所定义的可能性测度具有其合理性等等。其次,给出了可能性计算树逻辑(PoCTL)的概念,讨论了两个PoCTL状态公式以及PoCTL与经典计算树逻辑(CTL)公式的等价性。最后,证明了PoCTL公式有与CTL*公式中"一致性"相对应的公式。     

基于PLC的香烟包装生产线的控制

本文介绍了香烟包装生产线的工艺流程,研究PLC在香烟包装控制系统中的应用、系统的组成与系统的硬件配置,以及上位机与PLC的通讯软件设计方法和香烟小包装控制部分的PLC工作流程图。     

谈谈“新闻评论”

近些年,电台、电视台、有线台等新闻媒体有关新闻评论的节目越来越多,在新闻报道中也穿插着越来越多的编者按、编后语等评论性内容,这充分反映了新闻事业发展与进步,形式活跃了、内容丰富了、思想性强了。但新闻评论有着强烈的政治性、导向性等特点,是应该很严肃的,...     

在松嫩低平原建立区域水质管理模型的构想

松嫩低平原地区位于黑龙江省西部嫩江干流左岸,是国家石油工业、农牧业生产和振兴东北老工业基地哈大齐工业走廊的中心区,是人口比较集中和用水量最大以及工业废水、生活污水排泄量最多的地区。通过现代科学管理手段使区域内的水体在松嫩低平原地区作为水资源在水质上可利用、在水质上可管理,排入地球水循环系统时水质达标。     

基于量子逻辑的图灵机及其通用性

基于量子逻辑的自动机理论是量子计算模型的一个重要研究方向.该文研究了基于量子逻辑的图灵机(简称量子图灵机)及其一些变形,给出了包括非确定型量子图灵机l-VTM,确定型量子图灵机l-VDTM以及相应类型的多带量子图灵机,并引入量子图灵机基于深度优先与宽度优先识别语言的两种不同定义方式,证明了这两种定义方式在量子逻辑意义下是不等价的.进一步证明了l-VTM、l-VDTM与相应类型的多带量子图灵机之间的等价性.其次,给出了量子递归可枚举语言及量子递归语言的定义,并给出了二者的层次刻画,证明了l-VTM与l-VDTM不等价,但两者作为量子递归语言的识别器是等价的.最后,文中讨论了基于量子逻辑的通用图灵机的存在性问题,给出了一套合理编码系统,证明了基于量子逻辑的通用图灵机在其所取值的正交模格无限时不存在,而在其所取值的正交模格有限时是存在的.     

军车隐秘编队的无线紫外光通信最优多跳中继研究

无线紫外光通信成为强电磁干扰下的有效通信手段,满足复杂战场环境下车队执行战略物资运输和弹车队隐蔽行驶时车辆间保持可靠隐秘通信的需求。在行驶中每辆车自身作为其它车辆的中继,通过多跳方式为非视线内车辆之间建立稳定可靠的通信链路。因此,基于紫外光单次散射模型,该文研究了最优多跳中继问题,理论分析了收发仰角与频谱效率的关系,依据使频谱效率最大化原则,得出最优跳数近似表达式。仿真结果表明,不同距离移位范围和不同收发仰角都对应特定的最优跳数值,与最优能量计算方法相比,最大频谱效率计算方法在小功率传输时有更好的传输能力,并且达到节约功率的需求。紫外光长距离通信时,系统性能并不随着协作中继数的增加而提高,选取合适的中继数及小发射仰角和大接收仰角的结构配置,系统可获得较高的传输能力。     

基于P2P的即时通信系统的研究

描述了一个简易的基于P2P的即时通信系统的设计、实现过程.本系统实现了网络中在线用户的实时信息传送以及文件传输功能.系统采用了混合P2P模式,其中服务器端程序采用多线程技术,用于登录节点的身份验证、状态信息查询;P2P网络中的信息通信直接在客户端节点之间进行.基于P2P的即时通信系统具有方便、高效、廉价、即时等优点,正在迅速成为个人应用和企业应用的重要工具.     

一种地市级广电综合信息网设计模型

全国各地的数字化整体转换工作正在有序展开,而地市级广电综合信息网是全国性网络最重要的组成部分。根据前期有条件实施城市的网络设计经验,综合各个地区网络建设的优点,总结出地市级广电综合信息网的模型,供决策者参考。