An Invasive Composition System for Local-to-Global Transformations

Transformation systems are particularly well suited to implement modular rules, transforming one language feature of the source language into a single or a composition of language features of the target language. However, in practice, transformation rules must be written which take one language feature and transform them into several language features belonging to various locations in the output program. The implementation of these so-called local-to-global transformations with rewrite rules is very complex and tightly coupled which imposes severe constraints on maintenance and evolvability. The four main coupling problems of the current-day implementations are presented and we indicate how these can be eliminated and reduced by our extension of the rewrite rule system. Furthermore we show how complex invasive compositions can be solved by abstract, reusable algorithms and mechanisms, rendering the implementation of local-to-global transformations into a semi-automatic process.     

程序切片技术浅析

程序切片技术是一种重要的程序分析理解方法，可以帮助开发人员和维护人员理解程序的结构和作用。随着编程语言逐渐趋于人性化、多功能化和复杂化，为了适应编程语言的这种进步，程序切片技术也在不断的演化发展着。文章中主要介绍了程序切片技术的一些基本的准则，介绍了程序切片的一些类型，以度如何利用源程序和图形进行程序切片，并且进行了举例说明。     

基于VB的应变计检测系统的设计与实现

本文主要介绍利用计算机I／O接口、Microsoft Visual Basic程序、OLE面向对象设计，实现应变计的性能检测、检测路数扩展和性能检测数据可视化的功能，并根据实际应用方面的需求，对程序进行了优化设计和改进，同时探讨了应变计检测系统的精度提高方法。     

基于VB的应变计检测系统的设计与实现

本文主要介绍利用计算机I/O接口、MicrosoftVisualBasic程序、OLE面向对象设计,实现应变计的性能检测、检测路数扩展和性能检测数据可视化的功能,并根据实际应用方面的需求,对程序进行了优化设计和改进,同时探讨了应变计检测系统的精度提高方法。     

Slicing XML Documents

Program slicing is a well-known technique to extract the program statements that (potentially) affect the values computed at some point of interest. In this work, we introduce a novel slicing method for XML documents. Essentially, given an XML document (which is valid w.r.t. some DTD), we produce a new XML document (a slice) that contains the relevant information in the original XML document according to some criterion. Furthermore, we also output a new DTD such that the computed slice is valid w.r.t. this DTD. A prototype implementation of the XML slicer has been undertaken.     

Mu-calculus path checking

We investigate the path model checking problem for the μ-calculus. Surprisingly, restricting to deterministic structures does not allow for more efficient model checking algorithm, as we prove that it can encode any instance of the standard model checking problem for the μ-calculus.     

可擦除可编程只读存储器的复制

目前计算机技术迅速发展，ERPOM在程控系统中得到广泛应用。本文从应用的角度，设计一种切实可行的能对ERPOM进程程序复制的电路，并扼要的阐述了电路的工作原理，让从事各种程控系统的工作人员，在不具备EPROM程序复制所需的专门设备情况下，也能把程序复制和写入到EPROM中去。     

启动office程序时的Oleaut32.dll文件过期错误消息及解决方法

介绍启动office程序时Oleaut32.dll文件过期出现的错误消息及解决方法。     

Matlab C++数学库的开发应用研究

通过使用科学工程运算语言Matlab5.3内含的C++数学库,该文介绍了运用VisualC++与Matlab两种语言工具联合开发科学工程应用软件的方法,并给出了一个字符编码转换的办法,解决了MatlabC++数学库不支持双字节汉字符的输入输出问题。     

Windows环境下计算机与高速数字信号处理系统实时通信

介绍了Windows应用程序访问计算机硬件的主要方法 ,结合实例描述了如何运用Windows虚拟设备驱动程序实现计算机应用程序与高速数字信号处理系统之间实时通信