类JVML在线部分计值器的正确性证明

定义了JVML指令序列的程序语义，构造了相关的JVML子集部分计值器并形式化地给出了计值规则，证明了计值规则的正确性，说明了表达式和语句在一定的环境下通过部分/剩余（Partial/Residual)计值和全局（Total)计值的不变性。     

基于Java的数据库连接池技术

介绍了Java的数据库访问机制，对实际应用中出现的问题进行了分析，提出了能改善数据库应用程序性能的连接池技术，深入分析了连接池的管理策略，并构造了一个连接池实例。     

基于Java的数据库连接池技术

介绍了Java的数据库访问机制，对实际应用中出现的问题进行了分析，提出了能改善数据库应用 程序性能的连接池技术，深入分析了连接池的管理策略，并构造了一个连接池实例。     

Java虚拟机分析

研究Java平台的核心--虚拟机.为了使Java在不同的平台上顺利运行,研究Java虚拟机(Java virtual machine,简称JVM)的组成及运行机制,为编程实现JVM或向各种平台移植JVM提供参考.通过对Kaffe(一种Java虚拟机的实现)桌面版本的源代码进行分析,得出虚拟机运行的整个流程,并对流程中的关键部分进行深入研究,同时结合Sun的,总结出实现JVM的一些关键步骤,并提出改进JVM运行效率的建议.     

基于Java多线程的并行计算技术研究及应用

针对高可靠、高质量Java并行多任务程序设计,分析了Java多线程的同步机制、调度算法和通信机制的原理,探讨了多线程并行计算程序的设计方法,构造了一个具有一定实用价值的多线程并行计算应用的实例,最后指出了Java多线程的不足。     

基于JAVA的3D图形开发技术

Java语言具有结构中立性、网络分布性等优点，它的3D图形API在开发Internet及WWW上的图形网络应用程序时有极大优势，因而得到了迅速地推广和应用．介绍Java3D API的特点，总结了Java3D API的组成，对Java3D数据结构、应用程序的编程要点作了重点评述，对如何利用Java3D API进行应用程序开发作了初步研究．     

Java虚拟机及其移植

探索并实现一个基于嵌入式应用平台的Java虚拟机.在移植过程中所采用的平台是Motorola的MPC555芯片ETAS实验板,虚拟机的实现平台是RTXC实时操作系统.所实现的Java虚拟机可以在RTXC的内核机制下实现调度,并且可运行简单的Java用例,对Java虚拟机在嵌入式系统中的应用具有重要的指导意义.     

Java安全体系结构研究

全面介绍Java安全体系结构的组成部分,并以一个实例来说明Java安全体系结构中各个组成部分为Java程序提供的安全性.     

基于Rhino引擎的服务器端JavaScript脚本容器设计与实现

在JavaScript语言重新受到重视的今天,其运行环境也正逐渐从传统的Web客户端向服务器端延伸。作为服务器端JavaScript引擎的典型代表,Rhino引擎具有广泛的平台支持和应用基础。通过将Rhino引擎置于一个标准的Java servlet中,便可构造出一个支持JavaScript的服务端脚本容器。借助Rhino引擎,Web开发者不仅能在脚本容器内部访问Java对象,而且还获得了整个Java平台的丰富类库及应用框架的支持。与此同时,服务器端JavaScript还统一了Web开发的前、后台语言,降低了开发难度并提高了开发效率。     

基于JavaSDG的Java程序参数依赖性分析

基于一种带有标签的Java程序描述（JavaSDG）,给出JavaSDG中的过程依赖图（PDG）的形式化定义,然后分析Java程序方法调用引起的参数之间的依赖关系。并比较基于SDG和基于JavaSDG两种程序分析方法的异同,基于JavaSDG的Java程序分析方法构造的PDG具有结点少、可以重用、可以并发构造等优点。     

动静态结合的部分求值技术

提出一种应用于过程式语言的动静态结合的部分求值技术,并给出该方法的形式描述．采用该方法,实现一个实验性的部分求值系统．     

过程式语言的动态部分求值技术

提出了一种应用于过程式语言的动态部分求值技术，并实现了一个类如ＰＡＳＣＡＬ语言的部分求值器。     

Automatic generation of very efficient programs by Generalized Partial Computation

Generalized Partial Computation (GPC) is a program transformation method utilizing partial information about input data, properties of auxiliary functions and the logical structure of a source program. GPC uses both an inference engine such as a theorem prover and a classical partial evaluator to optimize programs. Therefore, GPC is more powerful than classical partial evaluators but harder to implement and control. We have implemented an experimental GPC system called WSDFU (Waseda Simplify-Distribute-Fold-Unfold). This paper discusses the power of the program transformation system, its theorem prover and future works.     

面向服务的分布式部分计值

从服务运行角度出发,提出利用部分计值技术优化服务的新方法,将通用服务例化为更有效的实现.基于字节码例化的部分计值和网格特性,分析并给出了分布式部分计值架构和实现机制.通过光线跟踪服务实例的分析,论述了部分计值对改进服务性能的可行性,使服务的设计和实现能够有机地统一和分离.     

基于ANN 和Boosting 的教学质量评价方法

针对学校教学质量传统评价方法中存在的线性化、静态化等缺陷,提出了更加客观、合理的智能评价方法。利用人工神经网络设计了智能评价器的方案,实现了评价因素到结果的非线性映射,采用不同时期发生的评价数据,通过机器学习方法确定当前阶段各评价因素对评价结果的作用参数,使动态权重能够适应不同时期的评价取向。评价器采用提升算法( Boosting) 集成3 个子评价器形成智能评价器,并通过多评价器集成运行规则进行智能评价。实践证明此方法相比传统的评价方法更能反映因素与结果之间的复杂关系及其动态特征,获得良好的评价结果。     

通用LR属性计算器的实现技术

目的研究基于自底向上策略的通用属性计算器的实现技术。方法采用属性空间动态管理技术及回填技术，解除自底向上属性计算策略所固有的局限性。结果给出了一个实用有效的通用LR属性计算器的实现。结论结合LR分析器强大的识别能力与成熟的自动构建技术．基于自底向上策略的通用属性计算器的实现技术具有十分广泛的应用前景。     

Java Applet和Java Servlet在网页制作中的运用

Java Applet是运行在浏览器环境下的Java程序,Java Servlet是运行在服务器环境下的Java程序,灵活运行Java a Applet和Java Servlet可以制作出具有各种特效的动态网页.本文首先概述了Java Applet的作用,然后论述用Java Applet插入HTML文档制作动态网页的一般方法,并介绍了Java Servlet的原理.     

基于Java Applet的Web数据库技术分析

Java Applet是进Java程序设计的一种开发模式,本文以Java Applet的开发模式为基础,从Java Applet的工作原理、JDBC访问数据库技术及JDBC在JavaApplet中的应用几方面出发,对基于Java Applet的Web数据库技术进行分析.     

Java中Excel操作类的设计与实现

为解决Java应用程序中复杂报表的打印问题,提出了一种采用JNI和COM技术、在Java中操纵Excel实现强有力报表工具的方法.在Java中利用JNI与COM的通信方式,通过对Excel各COM对象的调用,完成在Java中对Excel的操作;同时将Excel的各COM对象映射为Java对象,调用自行设计开发的一组纯Java API,实现在Java中的复杂报表功能.首先描述了该方案提出的方法和功能,然后给出了系统构架,最后讨论了Java和VC 的实现代码.