广义量子Loop程序的若干性质

本文首先就广义量子loop程序(简记为GQLoop)的主体由比特翻转、去极化、幅值阻尼、相位阻尼等信道描述时,对它的终止(几乎终止)问题进行了研究.其次,讨论了两类GQLoop程序相互嵌套时loop程序的终止(几乎终止)的问题.研究表明:以量子运算的嵌套为主体的GQLoop程序终止(几乎终止)的条件依赖于刻画量子信道的参数.最后,当开放量子系统与其环境在酉运算下做为loop程序的主体时,讨论了在酉运算后去掉环境时的主系统上量子程序的执行过程.     

主动规则在XML系统中的实现及可终止性分析

文章以XML数据模型主动机制的研究作为出发点．讨论了XML中主动规则的模型与实现及其相关行为属性的分析．并结合规则实例提出了一种新的分析规则终止性的静态判定算法。这一算法提高了规则可终止性判定的精确度，降低了时间复杂度，可以作为进一步主动规则分析的理论基础。     

利用MFC设计打印程序的相关技术

本文比较了Windows的SDK(Software Development Kits)和MFC(Microsoft Foundation Class)编写打印程序的优缺点,在此基础上详细介绍了在VC++环境下利用MFC设计打印程序的相关技术,包括打印与显示的区别,影射方式,设备的无关性等技术,并给出部分源程序.     

一种500MHz高速程序分频器

文章介绍的高速程序分频器,电路方案独特,设计简洁新颖。在充分发挥各单元电路逻辑功能的基础上,通过巧妙地连接和组合,使其具有工作频率高(可高达500MHz)、功耗低、分频比预置直观、工作稳定可靠的显著特点,是一种性能优越,颇具特色的高速程序分频器。     

利用MFC设计打印程序的相关技术

本文比较了Windows的SDK（Software Development Kits)和MFC（Microsoft Foundation Class）编写的打印程序的优缺点,在此基础上详细介绍了在VC＋＋环境下利用MFC设计打印程序的相关技术,包括打印与显示的区别,影射方式,设备的无关性等技术,并给出部分源程序。     

用8031自身接口实现数码管动态显示和键盘扫描

文章着重介绍利用由程序修改ＰＣ高位字节的方法，合理使用８０３１Ｐ２口。使之与Ｐ１口组合实现对多位８段ＬＥＤ显体器的接口，与Ｐ３口组合实就对键盘矩阵的接口。     

程序简洁的单片机6位数字钟

51单片机做的电子钟程序在很多地方已经有了介绍，对于单片机学习者而言这个程序是一道门槛。常见的电子钟程序由显示部分、计算部分、时钟调整部分构成，这样程序就有了一定的长度和难度。这里为了便于大家理解和掌握单片机，我们把时钟调整部分去除，从而构成这个简单的电子钟程序。     

利用S7-200PLC的高速计数器进行数据采集

介绍了西门子S7-214可编程序控制器在气体在线监测系统中的应用，主要阐述了利用PLC的高速计数器对8路通道进行数据采集。     

实现FPGA与PC的串行通信

本文主要介绍了基于FPGA技术实现与PC串行通信的过程，给出了各个模块的具体实现方法，分析了实现结果，验证了串行通信的正确性。     

怎样判断逻辑元件图形符号的正确性

提出了判断逻辑元件图形符号正确性的标准，判断方法和判断举。     

汉字图形字符的输入与应用

针对微机汉字操作系统使用中遇到的一些问题,本文介绍汉字图形字符的输入与应用,文末给出用C语言编制的应用程序,该程序提供了一种显示或打印汉字图形字符区位码表的方法,同时它还可用于检查汉字操作系统所提供的显示和打印用汉字库的完整性、正确性及扩充性。     

基于MBSE的辅助动力装置进气风门控制需求分析

基于模型的利益相关方需求分析是一种MBSE的需求分析方法。本文以某型辅助动力装置进气风门控制为例,应用该方法进行需求分析。选择基于SysML语言的开发工具Rhapsody建立用例图、活动图、顺序图和状态机图等模型;并结合测控工具LabWindows/CVI开发了一套进气风门控制需求仿真验证系统,保证需求的正确性和完整性。     

可扩展路由协议研究

在层次化路由模式发展出现局限的现今,紧凑路由的研究已经受到了关注。针对扁平空间上的紧凑路由技术也逐步展开。现有的紧凑路由算法在完善性、动态性以及复杂性方面存在较多限制,针对典型的扁平命名紧凑路由策略在完善性和延展复杂性方面提出改进策略,并且实验验证改进策略的正确性。     

机载激光猝发通信技术研究

采用ATP技术建立机载激光数据链路,同时通过激光猝发通信方法实现战斗机之间信息传输。主要进行了激光猝发通信技术系统分析、ATP技术具体研究以及采用Optisystem软件进行通信仿真验证。为了能在高速率数据猝发传输保证数据的正确与完整,系统采用了专门设计的数据帧结构和编码方式。仿真结果表明:猝发通信方式能够满足通信要求,系统最小误码率为10-10。     

基于OVM的网络协议处理芯片验证平台的设计

针对一款网络协议处理芯片,为了保证其设计的正确性,提升验证效率,基于OVM架构,通过SystemVerilog语言搭建了具有受约束的随机激励生成、错误注入、覆盖率收集、正确性自检查等功能的验证平台。通过该验证平台对芯片进行了全方位的高效验证,实现了一次流片成功。基于OVM的验证平台具有良好的可重用性和可扩展性,相对于传统的编写定向测试激励的方法,在验证的高效性、完备性上具有显著的优势。     

信息系统安全策略研究

安全策略是信息系统安全的关键.信息系统安全的前提是确保安全策略的完备、正确和一致.安全策略的复杂性与系统本身的复杂程度密切相关.安全策略必须得到有效的实施.本文对安全策略的实施、要求和一致性进行了研究,给出了访问控制策略的一致性定理和一致性检查方法.     

传感器网络中继节点扩展部署的优化算法研究

提出了一个支持多维定标的中继节点可扩展部署算法,当现有中继节点过载时能及时增加新的中继节点并定位新增中继点的最优位置.该算法把部署问题转化为多维欧氏空间下的优化选址问题,通过启发式搜索传输空间的相交区域来查找中继节点的合理部署,并证明了算法的正确性和完备性.在此基础上进一步提出优化方法,可以把算法的复杂度降为节点数量的线性函数.仿真实验结果表明,提出的部署算法能较大程度地平衡网络流量负载,从而降低数据传输过程的能量消耗,延长网络生命周期     

基于AFT满足下行约束的物理拓扑发现方法

物理拓扑发现对于网络管理和应用具有重要意义,基于地址转发表的物理拓扑发现是目前学术界研究的热点问题.但由于实际网络的地址转发表通常不完整,导致了物理拓扑发现的难度,本文基于降低在实际拓扑发现时对AFT完整性的要求,定义了地址转发表的三类约束,并提出了地址转发表满足下行约束的树型剪裁算法,用于发现子网的物理拓扑结构.算法极大地降低了拓扑发现对地址转发表完整性的要求,是对仅通过下行端口地址转发表进行拓扑发现的最松约束.模拟仿真实验验证了算法的正确性和高效性,算法在实际网管系统中的部署进一步验证了算法在真实网络环境中的实用性.     

NS-2仿真系统TestSuite组件应用研究

应用NS-2技术进行网络仿真和协议算法研究,已广泛成为国内外学者和工程技术人员的首要选择。由于在NS-2网络仿真与模拟技术应用中常常对系统进行修改、移动和增减,相继产生的系统平台正确性与完整性问题也得到更多重视。重点对NS-2仿真系统Test Suite测试组件的应用进行研究,并以一个无线局域网测试组件为实例,较为全面地介绍Test Suite组件的测试原理、实现方法以及测试过程,希望对读者应用NS-2仿真系统Test Suite测试组件以及编写新的测试组件提供帮助。     

Precise Object Detection Using Iterative Superpixels Grouping Method

The region completeness of object detection is very crucial to video surveillance, such as the pedestrian and vehicle identifications. However, many conventional object detection approaches cannot guarantee the object region completeness because the object detection can be influenced by the illumination variations and clustering backgrounds. In order to overcome this problem, we propose the iterative superpixels grouping (ISPG) method to extract the precise object boundary and generate the object region with high completeness after the object detection. First, by extending the superpixel segmentation method, the proposed ISPG method can improve the inaccurate segmentation problem and guarantee the region completeness on the object regions. Second, the multi-resolution superpixel-based region completeness enhancement method is proposed to extract the object region with high precision and completeness. The simulation results show that the proposed method outperforms the conventional object detection methods in terms of object completeness evaluation.