Matrix expression and reachability analysis of finite automata

In this paper,we propose a matrix-based approach for finite automata and then study the reachability conditions.Both the deterministic and nordeterministic automata are expressed in matrix forms,and th...     

基于MP-BGP扩展的4over6隧道技术的实现

随着IPv4地址资源的日益枯竭,互联网从IPv4向IPv6过渡势在必行。为了进一步推动该校IPv4向IPv6的平稳过渡,文章经过技术论证后,采用MP-BGP扩展的4over6隧道技术,构建了一个IPv4over IPv6实验网络平台,使运行IPv4单协议栈的网络能够跨越IPv6骨干网络实现互联互通。     

基于Verilog的8051微控制器中断系统的设计与验证

论文设计了8051微控制器的中断系统,该中断系统包括五个中断源,两个中断优先级,能够实现不同中断响应的无缝衔接,并实现了相同优先级别中断控制,优化了8051微控制器中断系统的功能。     

大型立式玻璃磨边机整机动态特性分析

大型立式玻璃磨边机的动态特性影响玻璃磨边质量和磨边效率。利用Solidworks软件建立某大型立式玻璃磨边机三维实体模型,导入ANSYS软件中,对整机结构有限元动力学分析,得到该磨边机前六阶模态参数,分析了各阶振型对磨边机动态特性的影响,为磨边机结构的改进设计提供了理论依据。     

基于本体的BML命令语义标注方法

作战管理语言（Battle Management Language,BML）是一种无歧义的语言规范,用于解决指控和仿真系统间的互操作问题。针对BML命令缺乏语义信息,难以被计算机理解和自动处理的问题,分析了BML的五视图体系结构,引入了BNF形式化语法,并在此基础上提出了一种语义标注方法,对命令中的对象、时间和地理位置等要素进行标注,然后整合各要素来表达整条命令的语义,系统通过解析标注文档可以实现对命令的无歧义理解,最后给出实例予以说明。论文为表达BML命令的语义提出了一种借鉴思路。     

全自动灯检机异物检测系统设计

构建一个基于FPGA、Gige Vidion摄像机和DSP的图像采集与处理平台,并对基于帧间差分的异物检测算法加以改进,优化处理后嵌入DSP图形处理单元,设计一套完整的异物检测系统。     

Deterministic secure quantum communication without unitary operation based on high-dimensional entanglement swapping

By analysis of the basic properties of entanglement swapping of high-dimensional Bell states,a universal and general deterministic secure quantum communication(DSQC)protocol is proposed,in which unitary operation is not required.By making use of the results of high-dimensional Bell measurement,the sender and the receiver can encode and decode the message respectively by performing the modular addition and subtraction.Two mutually complementary bases are constructed;and according to the property of mutual complement,a method for checking security of the high-dimensional quantum channel is put forward.Some common attack strategies are analyzed,and the corresponding error rates are calculated.Then the upper bound of the threshold of error rate is deduced.     

Research on resolution between multi-component LFM signals in the fractional Fourier domain

When the initial frequencies and chirp rates of multi-component linear frequency modulation (LFM or chirp) signals are close,the signals may not be distinguished in the fractional Fourier domain (FRFD).Consequently,some signals cannot be detected.In this paper,first,the spectral distribution characteristics of a continuous LFM signal in the FRFD are analyzed,and then the spectral distribution characteristics of a LFM signal in the discrete FRFD are analyzed.Second,the critical resolution distance between the peaks of two LFM signals in the FRFD is deduced,and the relationship between the dimensional normalization parameter and the distance between two LFM signals in the FRFD is also deduced.It is discovered that selecting a proper dimensional normalization parameter can increase the distance.Finally,a method to select the parameter is proposed,which can improve the resolution ability of the fractional Fourier transform (FRFT).Its effectiveness is verified by simulation results.     

基于Web Service的建材租赁管理信息系统的设计与实现

提高信息化管理水平对建材租赁企业的发展显得日益重要。在业务需求分析基础上,对系统进行设计,采用JavaEE架构,结合WebService技术及Hibemate＋Structs框架技术,以MySQL为数据库对建材租赁管理信息系统进行开发。该系统由Web服务和客户端应用两部分组成,具有跨平台应用、数据可共享与互操作、耦合度低、灵活性好、可扩展性和通用性强的特点,可向企业提供建材租赁管理信息服务。具有一定的推广价值。