编译技术—-SIMPLE语言的语法制导翻译程序的设计

近年来,信息技术的迅猛发展,对软件技术和软件工具的需求急剧增加,编译技术已大量应用于各种各样软件工具的研制和开发中。从各种语言的结构化编辑器、分析器和语言解释系统到嵌入式软件,交叉编译器：从传统的强制式的程序设计语言到应用式、面向对象的语言的编译：从一般的批处理环境到交互环境及分布式环境等等：技术需求越来越大,涉及面越来越广：从事计算机系统软件和应用软件研制及开发人员对编译技术深入了解的要求也越来越高。本课程设计从最初语言的定义开始,终结符号的说明,到验证词法分析器、语法分析器功能和语义分析功能的实现,为后续内容中间代码、目标代码的生成打下更为坚实的理论和实践基础。     

基于EDA技术的八位数字频率计设计

简单介绍EDA技术的发展现状,着重介绍基于EDA技术的可编程逻辑器即八位数字频率计的设计方案选择、原理图设计输入、原理图编译和仿真等操作,比较完整的说明了八位数字频率计的功能与作用和使用QuartusII软件进行可编程逻辑器件设计的操作流程。     

嵌入式仪器上的Linux系统开发

本文结合实际例子 ,讨论了在嵌入式仪器上开发Linux系统过程中三个主要问题 :一是引导装载程序 ,二是Linux内核的编译和移植 ,三是图形用户界面。     

一种运算和数据协同优化的深度学习编译框架

近年来,深度学习算法和深度学习处理器已被广泛应用于工业界,如何从软件层面充分挖掘深度学习处理器的性能成为目前编译器领域研究的热点和难点。现有的深度学习编译框架更侧重于对程序的运算部分进行优化,对数据的优化非常有限,这并不能发挥深度学习处理器的峰值性能。本文分析了深度学习算法和硬件平台的特点,提出一种运算和数据协同优化的深度学习编译框架CDUCA,它包含计算图引擎、代码生成器、数据优化器3个不同层次的组件,在多个层次对运算和数据进行协同优化,最终生成高效的可部署模型。本文在现场可编程门阵列(FPGA)平台上评估了CDUCA,实验结果表明,对于典型的深度学习应用,CDUCA生成的模型性能能达到手工优化模型性能的86.5%。     

软件静态测试中C/C++抽象语法树的生成

本文中C/C++抽象语法树是利用GNU提供的标准编译器生成工具Lex和Yacc,由parser程序通过调用lexical(词法分析程序)进行语法分析生成的. 为了进行基于系统崩溃的故障模型的软件静态测试,需要从抽象语法树上获取相关的数据依赖关系和定义使用链.这就要求在原有抽象语法树的基础上进行语义分析,产生最终的抽象语法树.论文描述了C/C++抽象语法树及其语法和语义分析过程的具体方法.     

SNMP MIB变量应用探析

本文介绍了对SNMP MIB变量进行编译和浏览的一组计算机网络管理的底层工具,包括一个MIB编译器、一个MIB浏览器和MIB树的通用数据库实现。该组MIB工具的特点在于简单实用,并在某些方面具有特色与创新。     

基于CodeDOM的遗传程序个体处理技术研究及应用

遗传程序设计算法是根据达尔文的进化理论对个体（计算机程序）进行生物学意义上的优胜劣汰操作,最终得到性能较好的个体。使用.NET架构,采用CodeDOM机制和AppDomain技术,建立相应的个体处理和执行模型,解决编译型语言编译、执行遗传程序个体的程序设计及运行安全性问题。使用本模型可以加强遗传程序个体处理的快捷性和稳定性,从而提高遗传程序设计算法整体速度和稳定性。     

跨平台类库wxWidgets研究

wxWidgests是一个跨平台的简单易用的c++类库,是一个c++GUI应用程序开发工具包,利用该工具包,可以结合多种操作系统和编译器开发跨平台程序。对wxWidgests的特点及其类继承体系和事件处理机制作分析介绍,最后简要介绍wxWidgests在多语言实现上的应用。     

“编译原理”课程教学探讨

文章针对“编译原理”课程的特点,从实验环节、多媒体的教学、多种教育形式和多渠道教学等多个方面提出了一些教学改革的建议,希望能够激发学生的学习积极性,提高编译原理课程的教学效果.     

梯形槽法兰强度校核程序设计

使用计算机TurboC编译环境编写该梯形槽法兰强度校核程序,用该程序对一组法兰进行强度校核,并对比手工计算结果。程序检验结果表明该程序对梯形槽法兰进行强度校核可靠、准确、便捷,提高了梯形槽法兰设计的工作效率。     

基于ISO13584标准的渐开线圆柱齿轮三维实体模型的实现

依据ISO13584标准开发了渐开线圆柱齿轮的一个中性程序,同时开发了数据接口(编译器).在UG软件中,把中性程序转化为UG可以识别的GRIP程序,并实现了与UG已有标准件库的连接.阐述了渐开线圆柱齿轮实体模型在上述标准件库中实现的算法.因没有沿空间曲线扫描的GRIP函数可供使用,故采用缝合自由曲面与有界平面的方法来解决这个问题.举例介绍了算法的实现.     

多相物质粉末衍射的物相检索

讨论了多相物质粉末衍射的物相检索问题，介绍了XRDS的物相检索软件。这是一种智能型的物相检索程序，考虑了测试数据的不确定度，以及粉末样品和块状样品衍射图谱各自的特点，不仅注意到实际样品中微量物相存在的可能，也注意到块状样品结构有序性的可能。XRDS能够帮助材料工作者同时检出样品中所含的多种物相及其含量，操作简单、结果可靠。     

IB: A Monte Carlo simulation tool for neutron scattering instrument design under PVM and MPI

Design of modern neutron scattering instruments relies heavily on Monte Carlo simulation tools for optimization. IB is one such tool written in C++ and implemented under Parallel Virtual Machine and the Message Passing Interface. The program was initially written for the design and optimization of the EQ-SANS instrument at the Spallation Neutron Source. One of its features is the ability to group simple instrument components into more complex ones at the user input level, e.g. grouping neutron mirrors into neutron guides and curved benders. The simulation engine manages the grouped components such that neutrons entering a group are properly operated upon by all components, multiple times if needed, before exiting the group. Thus, only a few basic optical modules are needed at the programming level. For simulations that require higher computer speeds, the program can be compiled and run in parallel modes using either the PVM or the MPI architectures.     

DyNAMiC Workbench: an integrated development environment for dynamic DNA nanotechnology

Dynamic DNA nanotechnology provides a promising avenue for implementing sophisticated assembly processes, mechanical behaviours, sensing and computation at the nanoscale. However, design of these systems is complex and error-prone, because the need to control the kinetic pathway of a system greatly increases the number of design constraints and possible failure modes for the system. Previous tools have automated some parts of the design workflow, but an integrated solution is lacking. Here, we present software implementing a three ‘tier’ design process: a high-level visual programming language is used to describe systems, a molecular compiler builds a DNA implementation and nucleotide sequences are generated and optimized. Additionally, our software includes tools for analysing and ‘debugging’ the designs in silico, and for importing/exporting designs to other commonly used software systems. The software we present is built on many existing pieces of software, but is integrated into a single package—accessible using a Web-based interface at http://molecular-systems.net/workbench. We hope that the deep integration between tools and the flexibility of this design process will lead to better experimental results, fewer experimental design iterations and the development of more complex DNA nanosystems.     

Stability Program for Marketed Batches

The organization and implementation of a stability program for marketed batches is addressed by answering the questions: (1) What is a stability program?, (2) Why are stability programs necessary?, and (3) How do we conduct the program? Comments will be made regarding historical considerations and remarks will be directed toward the tools that are necessary for the program. There is no documented cookbook describing how to organize and perform your stability program. There are indications however, and these will be incorporated into a discussion of how one program is being used.     

Stability Program for Marketed Batches

Abstract

The organization and implementation of a stability program for marketed batches is addressed by answering the questions: (1) What is a stability program?, (2) Why are stability programs necessary?, and (3) How do we conduct the program? Comments will be made regarding historical considerations and remarks will be directed toward the tools that are necessary for the program. There is no documented cookbook describing how to organize and perform your stability program. There are indications however, and these will be incorporated into a discussion of how one program is being used.     

Analysing source code: looking for useful verb?direct object pairs in all the right places

The large time and effort devoted to software maintenance can be reduced by providing software engineers with software tools that automate tedious, error-prone tasks. However, despite the prevalence of tools such as IDEs, which automatically provide program information and automated support to the developer, there is considerable room for improvement in the existing software tools. The authors' previous work has demonstrated that using natural language information embedded in a program can significantly improve the effectiveness of various software maintenance tools. In particular, precise verb information from source code analysis is useful in improving tools for comprehension, maintenance and evolution of object-oriented code, by aiding in the discovery of scattered, action-oriented concerns. However, the precision of the extraction analysis can greatly affect the utility of the natural language information. The approach to automatically extracting precise natural language clues from source code in the form of verb- direct object (DO) pairs is described. The extraction process, the set of extraction rules and an empirical evaluation of the effectiveness of the automatic verb-DO pair extractor for Java source code are described.     

Scalable attribute-based group key establishment: from passive to active and deniable

A protocol compiler is presented which transforms any unauthenticated (attribute-based) group key establishment protocol into an authenticated attribute-based group key establishment. If the protocol to which the compiler is applied does not make use of long-term secrets, then the resulting protocol is, in addition, deniable. In particular, applying our compiler to an unauthenticated 2-round protocol going back to Burmester and Desmedt results in a 3-round solution for attribute-based group key establishment, offering both forward secrecy and deniability.     

最小区域法平面度计算软件的实现

平面度误差是平板实际工作面对理想平面的变动量。文中介绍了平板平面度误差的主要检测和评定方法。用Visualc#2008开发工具结合Matlab开发了基于最小区域算法的平板平面度计算程序。通过实例验证了程序计算过程简便、快速,计算结果准确、可靠,评定结果符合最小条件。