基于Warren抽象机的Prolog实现技术的研究

本文介绍了基于WAM的Prolog实现技术的研究结果。首先论述了新的Prolog执行模型WAM-PLUS。该模型由扩充了的WAM和非逻辑成分执行机制NLEM构成。它能支持Prolog动态代码,并能实现一致的动态代码语义。文中还介绍了Prolog编译策略和Prolog编译器的设计,描述了一种顺序推理机的系统结构。     

并行面向对象语言ParaObject抽象机的设计与实现

面向对象语言对于开发问题域中的并发／并行性显示出巨大的潜力，本文介绍了并行面向对象语言ＰａｒａＯｂｊｅｃｔ的抽象机设计与实现。文中首选简单描述ＰａｒａＯｂｊｅｃｔ语言，然后详细介绍了ＰａｒａＯｂｊｅｃｔ的抽象机，最后我们讨论了一些重要的实现技术。     

抽象机在Java微处理器中的应用研究

抽象机通常用在软件程序编译器中.提出了一个基于硬件抽象机的处理器设计方法,使用该方法设计了一个Java微处理器,并且利用硬件抽象机增强了处理器的指令级并行能力,提高了微处理器性能.描述了用于Java处理器的硬件抽象机设计方法,阐述了它的实现基本原理,给出了 Java处理器的逻辑设计.通过软件仿真,证明了采用硬件抽象机的Java处理器可以获得从78%到173%的指令级并行增强,处理器性能提高平均31%.说明了提出的方法可以用于嵌入式微处理器的设计,提高系统性能.     

可微分抽象机混合编程系统

自动化编程是智能软件的核心挑战之一,使用程序执行轨迹或输入输出样例学习程序,是自动化编程的典型研究方法.这些方法无法弥合常规程序元素与神经网络组件间的隔阂,不能吸收经验信息输入、缺乏编程控制能力.给出了一种可无缝结合高级编程语言与神经网络组件的混合编程模型：使用高级编程语言元素和神经网络组件元素混合开发应用程序,其中,编程语言描述程序的框架、提供经验信息,关键复杂部分则用未定、可学习的神经网络组件占位,应用程序在可微分抽象机上运行生成程序的连续可微分计算图表示,然后使用输入输出数据,通过可微分优化方法对计算图进行训练,学习程序的未定部分,自动生成完整的确定性程序.可微分抽象机混合编程模型给出了一种能够将编程经验与神经网络自学习相结合的程序自动生成方法,弥合编程语言元素与神经网络元素间的隔阂,发挥并整合高级过程化编程和神经网络可训练学习编程各自的优势,将复杂的细节交给神经网络未定部分自动生成,降低编程难度或工作量,而适当的经验输入又有助于未定部分的学习,同时,为复用长期积累的宝贵编程经验提供输入接口.     

化学抽象机的分析与应用研究

1 引言化学抽象机形式化语言(CHAM:the Chemical Abstract Machine)最早是由法国科学家Gerard Berry和Gerard Boudol提出来的,它主要用于异步并行计算模型的建模,通过把化学反应和抽象机的概念有机地结合来描述系统状态的变化。它把一个系统的状态看成化学溶液,溶液由分子组成,分子根据一定的反应规则相互反应又引起新的系统状态变化。溶液中不同的分子可以按照反应规则平行地进行反应,只要各自反应的分子集不重叠。由于CHAM在描述系统动态     

Prolog抽象机及运行模型研究

文中实现Ｐｒｏｌｏｇ集成开发环境在功能和效率方面的要求出发,通过对Ｗａｒｒｅｎ抽象机（ＷＡＭ）的改进与扩充,提出了一种改进的Ｐｒｏｌｏｇ抽象机ＰＡＭ及相应的基于Ｃｌｉｅｎｔ－Ａｇｅｎｔ结构的运行控制机制。     

基于TRANSPUTER网络的函数式语言的并行抽象机模型

本文基于函数式语言的并行ＬＥ计值语义，提出了一个针对ＴＲＡＮＳＰＵＴＥＲ网络的函数式语言的并行抽象机模型──并行ＬＥＭＡＣＨＩＮＥ．在该抽象机中由于ＬＥ计值分析方法的采用减少了函数式语言的惰性语义所带来的开销，并且在并行性开发中引入惰性计值的思想在保证充分利用系统中的并行处理能力的同时，基于ＴＨＲＥＡＤ的惰性进程生成法减少了一些不必要的并行性开发所带来的开销．双向链表的栈模型亦对并行进程的实现效率有较大的提高，原型系统的测试显示系统具有较高的执行效率．     

基于B方法抽象机和UML的货单系统

在分析货单系统的基础上,比较了B方法和UML的优缺点,从形式化B方法的抽象机和半形式化方法UML两方面描述了一个货单系统,且给出形式化B方法在软件、硬件、安全领域、计算机规约各方面的应用以及在未来发展的重要地位。     

语言解释器的面向对象构造模式

把编译器的实现分为若干相对独立的阶段已成软件模式的经典示例,但各阶段缺少具体的设计模式,需要进一步丰富.文中借鉴JVM和.NET CLR的原理,利用面向对象方法给出了一个工业监控组态语言C2000的解释器的设计,并以此为基础探讨了语言解释器的设计模式,同时说明了面向对象构造模式在虚拟机解决方案中的可行性和优势.     

针对SECD抽象机的基于踪迹的即时编译技术

为提高程序的整体执行效率,提出一种基于踪迹(trace-based)的通用即时编译技术。在SECD抽象机指令序列的解释执行中,将执行频率高的程序片段识别为踪迹,并编译成Java字节码,由Java虚拟机执行。任何用SECD抽象机实现的编程语言都可以使用该技术来提高程序执行效率。介绍该技术的实现方法,包括解释执行环境和Java字节码程序执行环境的转换方法,实现采用该技术的执行引擎框架。实验结果表明,该技术可有效提高程序的执行效率。     

UML模型到B抽象机的转换和实现

统一建模语言UML广泛用于面向对象技术的建模,B方法主要是用抽象机来描述软件系统的规格说明.文章针对软件开发中经常用到的UML模型,提出了基于B语言的UML形式化方法:通过将UML模型转化为B抽象机,实现了UML模型的形式化.实例分析表明,转换是可行的.     

J2EE平台上MVC设计模式的研究与实现

简要介绍了MVC模式思想，讨论了J2EE技术，同时以MVC模式思想构筑了J2EE企业应用平台。     

论软件设计模式的应用

设计模式是当今计算机科学中十分热门的话题之一,设计模式的重要性早已被越来越多的开发人员认识并应用到。一到底什么是软件的设计模式,它又是如何衍生而来的,种类又该如何区分,本文将展开介绍。     

基于关系演算的Java模式识别

分析了面向对象类与对象间的关系,在此基础上建立了对应的属性模型并且以关系演算的方法进行捕获模型的对象关系;讨论并实现了动、静态相结合的基于Java语言的经典设计模式检查工具,并以该工具为基础做实验对一些设计模式进行了验证。     

基于SaaS模式的软件设计方法探讨

分析了SaaS软件服务模式与传统应用软件部署之间的不同点以及SaaS软件服务模式的引入所带来的优点.针对传统MVC软件设计模式在SaaS模式下软件设计中所存在的不足之处,在原有的三层模型基础上引入了数据管理层的概念,提出了适用于SaaS模式的设计模式-MvCD模式.以基于SaaS模式的人力资源管理系统作为实例,在扩展的MVC模式～MVCD模式下对系统进行了分析设计.     

抽象机语言文本

1.引言 1.1 职能 本语言提供一套语句。这些语句反映目前常用的一部分机器的共同特征。在系列软件移植的工程中,本语言是联系各具体机器的中间语言,并且作为系列软件的任何编译系统的目标语言。 本语言也可直接描述任何编译系统或计算     

Java语言多重分派机制的研究

多重分派是面向对象语言的一个高级特性,是面向对象程序设计中多态性实现的基础。目前的主流面向对象语言Java与C++都不支持动态多重分派。文章介绍了Java语言现有的分派技术,讨论了为Java语言添加动态多重分派特性的几种途径并对它们的利弊进行比较。文章提出并分析了面向对象语言实现多重分派需要解决的若干问题,最后展望了未来的研究方向。     

基于VT-x的处理器模式转换机制研究

为降低虚拟化环境中处理器模式转换带来的开销,研究了基于VT-x技术的处理器模式转换机制.根据客户机操作系统在不同阶段的运行状态,分析了相应的处理器模式转换过程.采用客户机操作系统最小等待的基本思想,结合VT-x处理器提供的虚拟机扩展功能,设计出了处理器模式转换的整体流程,分别构造出满足客户机操作系统需求的实模式和保护模式处理器环境,模拟了客户机操作系统的执行过程以及虚拟机监控器对相关事件的处理.实验结果表明,VT-x技术可以有效辅助处理器模式转换,简化虚拟机监控器设计.     

Struts——基于MVC模式的Web开发框架

介绍了在大型Web应用开发中常使用的MVC设计模式和基于MVC模式的Web开发框架——Struts框架。首先对MVC模式做了详细介绍，指出其优点，并对Struts框架的工作原理和各个组件的构成进行了介绍，使读者对MVC设计模式和Struts框架有了一个清楚的了解。