编译原理多媒体辅助教学软件的设计与实现

设计开发了编译原理多媒体CAI课件PCMCAI(Principle of Compile Multimedia CAI)。PCMCAI采用多媒体技术、程序组装技术和软件自动生成技术设计，在把抽象的概念和算法生动形象地演示的同时，提供了编译程序各个阶段(词法分析，语法分析，语义分析，中间代码生成和优化，目标代码生成)的自动生成及把各个部分组装成完整的编译程序的功能。该系统在教学过程中作为一种辅助教学手段，不仅方便教师在上课时使用该课件来演示部分关键算法和难点，提高了教学效果，而且也使学生从实践中进一步理解基本原理和实现算法，提高了大型软件开发能力。     

LR(1)语法分析的自动构造

讨论了LR(1)语法分析器的自动构造,可判定给定的文法是否为LR(1)文法.若是,则自动生成给定文法的LR(1)分析表,并对任一输入串进行分析,判断其是否为给定文法的句子.论文相关的软件除可用于编译原理课程教学演示外,还可用于实际编译程序的LR语法分析器的自动构造.     

LR（1）语法分析的自动构造

讨论了LR(1)语法分析器的自动构造，可判定给定的文法是否为LR(1)文法．若是，则自动生成给定文法的LR(1)分析表，并对任一输入串进行分析，判断其是否为给定文法的句子．论文相关的软件除可用于编译原理课程教学演示外，还可用于实际编译程序的LR语法分析器的自动构造．     

编译程序自动生成系统HMCGS的设计与实现

本文介绍一个基于范式有序属性转换文法NOATG的编译程序自动生成系统HMCGS。NOATG源于属性文法,可被用于描述程序语言的形式语义、编译程序的自动生成等领域。属性描述语言ADL是专为HMCGS系统设计的输入语言。HMCGS系统接受一个ADL语言程序,生成一个相应的目标编译程序。本文还简要介绍了HMCGS系统与目标编译程序的系统结构。     

NDHD软件自动产生系统的核心语言L_0

NDHD 软件自动产生系统是一个基于系统程序设计语言和自展技术的系统。核语心言 L_0的自编译程序 AC_0(用655机的机器语言编写的)是这个系统的基础。利用自展技术,可依次自动产生出以下各层语言 L_1,…,L_n 的自编译程序。目前,已由本系统成功地产生出第一代和第二代自编译程序。结果表明,不仅生产率提高了四倍,而且编译程序的功能亦有显著扩充。本文给出了核心语言 L_0的定义。     

采用C#的多轴联动石材桥切机控制系统设计与仿真分析

设计基于PC机和运动控制卡的多轴联动石材桥切机控制系统,自动提取绘图交换格式(DXF)文件的图形信息,采用直线拟合法加工轮廓曲线,实现刀具的自动化加工,并用C#语言自动生成机床常用的数控G代码和运动控制卡代码(Galil代码).通过VeriCut软件仿真及软硬件的实机测试表明:G代码成功地用于机床仿真加工,Galil代码成功地用于机床实验平台自动化空载运行,且实现了圆盘锯加工圆弧和椭圆轮廓.     

使用AU3脚本实现软件的自动安装

AU3是一种脚本编辑器,使用AU3可以编写一些脚本语言来实现自动化操作,使用它还可以实现软件的自动安装,程序的自动运行等.本文以制作搜狗拼音输入法的自动化安装软件为例介绍了自动化安装软件的制作方法,并给出了具体实现的程序代码.     

一种用于实现软件自动化的需求表设计

针对一类具有相似需求的电子政务软件项目,提出基于需求表的软件开发自动化方法,设计了一种能描述项目需求的表结构.开发的软件能依据需求表自动生成软件界面、创建数据库结构、实现数据处理.本文方法使得项目的研发只需经过需求分析、需求描述以及简单的界面设计三个步骤,就可以快速获得软件原型,从而基本实现了电子政务领域内软件项目开发的自动化.     

城市环状给水管网智能化计算与管理

利用Visual LISP语言编制程序实现给水管网水力分析的自动化.程序通过对管网图形的分析和处理,实现对管段和节点的自动编号,自动生成管网水力计算过程中需要用到的关系矩阵.利用生成的管网拓扑关系,实现对管网的平差计算,同时实现管网部分信息的自动标注,并且通过扩展数据和图形词典实现对计算结果的存贮和查询,为给水管网计算和分析带来很大的方便.     

软件漏洞自动利用研究综述

近年来,软件漏洞已成为系统安全与攻防对抗的核心要素,随着软件数量的增加和规模的复杂化,漏洞数量逐年增加,而依赖于人工的漏洞分析与利用生成已难以满足现实需求,漏洞的自动分析和利用生成是亟待解决的难点问题.现有研究已经取得了相关的成果,文章从控制流劫持漏洞自动利用、面向堆漏洞的自动分析与利用、安全机制自动化对抗方法和综合性的漏洞自动利用框架等四个方面介绍当前软件漏洞自动利用研究进展,进而分析未来软件漏洞自动利用发展趋势.     

PLC自动控制系统在常规40Ar/39Ar同位素定年系统纯化部分中的应用

对北京大学常规40Ar/39Ar同位素定年实验室纯化系统进行了自动化改造。在明确系统控制要求的基础上,设计了一种以PLC(可编程逻辑控制器)为控制核心对纯化系统进行控制的方法。自动化改造包括硬件和软件两部分:硬件部分的改造是,首先将手动阀门更换为适合系统要求的自动阀门,然后根据纯化系统对自动阀的控制要求对PLC的I/O口进行分配,并设计相关的外围电路;软件部分的改造是,利用辅助寄存器的相关位实现自动阀的互锁和对自动阀实现时序控制。纯化系统的自动化可以节省人力,提高实验仪器的利用效率,并降低人为因素对实验结果的影响,同时为实验室的进一步自动化改造奠定了基础。     

Petri网-VHDL编译程序的构造

Petri网适合于异步并发系统建模,将Petri网转换成硬件描述语言,就可以通过EDA工具来实现Petri网控制器．文中给出了Petri网-VHDL编译程序的构造方法．使用CONPAR语言对Petri网进行描述,获得Petri网的CONPAR格式文本文件;由编译软件FLEX生成的词法分析程序产生相应的单词,并将单词传给BYACC程序;再由BYACC程序识别出这些单词,并以自底向上的方式进行归约,形成一棵抽象语法树;最后,自顶向下遍历这棵抽象语法树,将Petri网的CONPAR格式文本转换为VHDL代码．文中给出了一个实例,将编译获得的VHDL代码,通过EDA软件工具MAX PLUSⅡ编译、仿真、综合并下载到系统可编程器件中,仿真波形和试验结果都证明了这个编译程序的正确性．     

脚本自动生成测试系统的设计与实现

随着软件规模的扩大和复杂性的提高,自动化测试的作用更加重要.针对开发自动测试脚本的复杂性及开发的巨大工作量,提出数据驱动及功能模板化的思想,并实现了基于WinRunner的自动生成测试脚本的系统,从而达到快速准确地生成测试脚本并进行自动化测试的目的.     

Linux藏文本地化MESSAGE实现方法探究

目前Linux上绝大多数程序都使用GNU Gettext程序库来实现多国语言界面,Gettext用于系统的国际化(I18N)和本地化(L10N),它可以在编译程序时使用本国语言支持(Native Language Support(NLS),也可以使程序的输出使用用户设置的语言不是英文。文章以红旗Linux Dektop5.0为操作系统平台,讲解藏文Linux桌面系统的实现方案,讨论了生成Linux藏文本地化信息数据库及多语言支持的方法。     

Linux藏文本地化MESSAGE实现方法探究

目前Linux上绝大多数程序都使用GNU Gettext程序库来实现多国语言界面,Gettext用于系统的国际化(I18N)和本地化(L10N),它可以在编译程序时使用本国语言支持(Native Language Support(NLS),也可以使程序的输出使用用户设置的语言不是英文。文章以红旗Linux Dektop5.0为操作系统平台,讲解藏文Linux桌面系统的实现方案,讨论了生成Linux藏文本地化信息数据库及多语言支持的方法。     

O-OCTT的多语言功能扩展研究

为了实现面向对象语言编译器自动测试工具(O-OCTT)对多种面向对象语言的支持功能,研究系统功能扩展的实现方法.基于现有O-OCTT的测试模式和整体功能构架,借鉴插件式(plus-in)的设计思想,对系统的测试用例生成器进行改进,将测试用例中间代码自动生成的方法引入测试用例自动生成过程中,实现系统对多面向对象语言的支持,使O-OCTT能适应面向对象语言编译器的自动化测试要求.     

塔式起重机运行参数模拟方法及生成系统研究

塔式起重机简称"塔机",为了解决对塔机"黑匣子"所采集参数(塔机运行参数)进行数据分析、处理软件研发而数据短缺的问题。对塔机运行参数模拟生成的方法、系统进行了研究。依据文献所述理论、公式、标准进行塔机运行参数模拟的理论研究,通过软件LABVIEW中顺序结构与循环结构对塔机运行的过程、振荡、变速整合编程,实现数据从理论到数据自动生成。所述的成果表现为一种模拟速率为实际采集速率10倍的塔机运行参数数据自动生成软件,可进行access或Excel的保存。软件模拟出的塔机各参数数据,可进行进一步研发、完善塔机"黑匣子"机制,解决了塔机"黑匣子"由于数据缺乏而无法进行后续软件研发的问题。     

基于Patran环境的框架结构参数化有限元分析

MSC PATRAN软件只需输入必要的设计参数,就可以自动完成所开发产品的有限元分析.对一实际的框架结构实现了参数化有限元计算模型的建立以及约束和载荷的自动施加, 从而实现了某框架结构的自动化静力有限元分析.开发的参数化设计软件系统具有弹出式菜单风格,便于设计人员使用.通过实际工程实例的计算,证明了所开发软件的正确性.     

基于CCD与单片机技术的自动焦度仪

检测眼镜片的度数(顶焦度D)一般使用基于调焦成像的目视式焦度计,由于被测镜片的后表面曲率(弯度)各不相同,镜片后顶点与焦度计物镜后焦点不相重合,产生离焦误差,致使在检测高度数(D>15m-1)眼镜片时误差过大,造成产品不合格。通过分析目视式焦度计测量眼镜片顶焦度的原理及其误差来源。设计了一种基于CCD与单片机技术的自动焦度仪,研究了使用软件对离焦误差进行自动校正,实现了焦度计测量的自动化并提高了测量精度。