RSL在协议形式化描述中的应用研究

将RSL引入协议工程,探讨了对协议进行形式化描述的一条新途径。为RSL扩充了时间描述机制,讨论了基于两类基本模型（状态模型和进程模型）的协议描述方法及一般描述步骤。以示例方式给出了RIP路由简化算法的RSL形式化描述。与其他方法相比,扩充后的RSL描述能力强,描述手段灵活,能更有效地支持验证、测试等后续阶段的工作。     

Verilog语义的ASM表示方法研究

使用抽象状态机模型（ASM）对Verilog的语义进行研究，给出各类赋值语句和延迟/事件控制结构的形式定义。以此为基础与VHDL进行对比，说明各种赋值语句和延迟/事件控制结构向VHDL的转换方法以及二者在转换前后的差异。     

基于多尺度与注意力特征增强的遥感图像描述生成方法

遥感图像描述生成是同时涉及计算机视觉和自然语言处理领域的热门研究话题,其主要工作是对于给定的图像自动地生成一个对该图像的描述语句.文中提出了一种基于多尺度与注意力特征增强的遥感图像描述生成方法,该方法通过软注意力机制实现生成单词与图像特征之间的对齐关系.此外,针对遥感图像分辨率较高、目标尺度变化较大的特点,还提出了一种...     

基于神经网络机器翻译模型的英文分词研究

针对英文等符号语言不能直接使用现有的神经网络机器翻译模型(NMT)的问题。在简述LSTM神经网络的基础上,采用分桶(b ucketing)的方式将样本进行batch划分,在NMT模型中加入注意力机制提高了系统的性能,并分别利用双向LSTM神经网络和贪婪算法设计了基于上下文特征提取的编码器和输出算法的解码器。最后从语句还原程度和语义识别情况两个角度对英文的一元分词和HMM分词在NMT模型上的应用结果进行了对比,研究了英文的NMT模型适配方案。     

基于案例和模糊推理的农业虫害专家系统研究

为了满足实.际虫害诊断问题对专家系统的要求,根据虫害特征诊断的现实特点和要求,首次将模糊技术和案例推理相融合,引入到虫害诊断专家系统的设计中.阐述了模糊案例推理的知识表示,给出了模糊案例推理技术的推理过程,提出了基于案例与模糊推理的虫害诊断推理机制.对二者的结合方式做了阐述,给出了专家系统的整体实现结构,并时各个模块的实现方法进行了详尽的阐述,最终以一个实例演示了实例诊断的流程.     

基于Mealy机精化关系的验证算法

与传统验证方法相比,形式验证技术因其完备性,已在数字电路设计领域中得到越来越多的关注。通过对形式验证技术和状态机的研究,在LTL公式的可实现策略基础上,提出一个基于Mealy机精化关系的验证算法,实现了一个搜索工具原型:支持算术表达式的LTL性质描述,在设计空间中搜索满足给定规范的输入输出信号。该技术可应用于定位电路设计中满足给定功能性质的代码片段。     

基于VHDL有限状态机控制器的设计方法

有限状态机作为形式化描述方法具有独特优点,在利用VHDL进行电子系统控制功能的设计和实现中,有限状态机已成为有力的手段和途径。通过一个循环控制器的设计实例,说明了利用有限状态机的基本流程和方法,并给出了程序与仿真结果。     

递归下降分析法在组合查询中的应用

组合查询一直是管理信息系统的开发重点。文中论述了用递归下降分析法构造组合查询器的一种方法，首先简要介绍了递归下降分析法的概念，分析了组合查询器的功能，进而提出了利用递归下降分析法对组合查询条件的描述和解释方法，在此基础上讨论了基于MVC模式的设计，并给出了模型层、控制层、表示层的详细实现方案。这种方法可以满足组合查询的条件随机性、输出多样性以及接口友好性等方面的综合要求。     

Input/output control of asynchronous sequential machines

The problem of controlling a finite-state asynchronous sequential machine is examined. Main consideration is given to input/output control, where access to the state of the machine is not available. The objective is to use output feedback to control the machine so as to match a prescribed model. It is shown that necessary and sufficient conditions for the existence of appropriate controllers can be stated in terms of a simple comparison of two numerical matrices. Whenever controllers exist, algorithms for their design are outlined.     

纸机密闭气罩控制系统的设计与实现

该文简介了纸机密闭气罩的装置结构与工艺流程,重点描述了该密闭气罩控制系统的设计,该控制系统由PLC控制变频器运行。作者对所涉及的系统硬件、软件设计等问题进行了较为详细的阐述。该控制系统已经应用于中小型纸机,生产实践表明,该纸机的产量和稳定性明显地得到了提高。     

基于VxWorks的实时图像采集及处理系统

为了对给定的标记图像进行识别定位,该文讨论了一种基于嵌入式操作系统VxWorks的实时图像采集及处理系统,给出了该系统的主要架构和系统采用的图像处理算法,并对上位机和下位机之间采用的socket通信机制进行了介绍。     

低码率图像的快速SV拟合及其最优码流结构的描述方法

给出了一个在低码率图像描述中应用最优支持向量(SV)描述的编码算法,提出一个训练样本集缩减策略,在支持向量机(SVM)模型中用于快速拟合重要的交流(AC)系数,它能够在基本保持原有精度的前提下,有效地提高SVM的回归速度,减少输出参数;提出了直流(DC)系数的按位差分预测编码方法和压缩性能更好的码流产生方法。实验结果表明,该方法不仅缩减了编码时间,而且在相同码率下能获得更好的图像质量。以往基于SV的编码未提及码流结构的描述方法,而快速SV拟合和数据组织方法克服了以往算法可行性差的缺点。     

Dalvik虚拟机在龙芯平台上的移植与实现

在分析Dalvik虚拟机的结构和运行机制的基础上,针对龙芯处理器平台,研究移植Dalvik虚拟机的关键技术,描述Dalvik解释器的执行流程与方法调用过程中解释器栈帧的作用,实现可以完整运行Android系统的龙芯Dalvik虚拟机。对移植后的Dalvik虚拟机进行性能分析,并给出后续优化方案。