Java与它的平台无关性

自从计算机诞生以来,人们一直渴望着能得到一种简单、高效、与计算机平台无关的语言。用这种语言来开发应用软件,可以完全不考虑用户会使用怎样的计算机,计算机上配置的是何种操作系统和应用环境。这种想法,以往只能在源程序一级得以部分实现,直到1995年初,SUN公司宣布了Java语言的诞生,才使问题有了突破。Java也因此成了计算机界的热门话题。 Java的执行方式不同于以往任何一种语言。用它编写的应用程序,首先编译成一种称为字节码(Bytecode)的二进制代码。无论何种计算机,只要具备了Java解释器,就可以对这种二进制代码高效率地解释执行。字节码本身并不针对任何具体的计算机,它所涉及的指令系统、寄存器、栈结构等都是基于抽象规格     

DJS-100系列电子计算机用BASIC语言自学入门

前言数字电子计算机可以通过程序来命令它如何进行运算。而这种程序是用机器能接受的语言来编写的,用源程序编写的程序称为源程序。不同的语言有不同的语法及规定。国产DJS-100系列数字电子计算机(DJS-120及DJS-130等)配的是BASIC语言。BASIC是Beginer's All-purpose Symbolic Ins-     

日本专家谈机器翻译系统

一、序(略)二、机器翻译的历史与现状(略)三、机器翻译的方法及富士通采取的措施机器翻译共有以下三种方法:1.直译法将输入的源语言的词或句子直接代换成与目标语言相对应的词或句子,然后再适当调整其语序的翻译方法即为直译法。这种方法最广泛地应用于早期的机器翻译系统中。时至今日,仍有许多人在研究用经改进更完善的直译法的高级机译系统。2.变换法这种翻译法首先要在源语言和目标语言之间设定一组能相应表现两种语言句型或在一定程度上表现语意的中间语言。在翻译时,首先要将源语言的语句变换成为源语言的中间语言表现形式,然后将其译成目标语言的中间语言     

网页设计的艺术处理原则

主页的设计主要是网页设计软件的操作与技术应用的问题。但是,要使主页设计、制作得漂亮,必然离不开对主页进行艺术的加工和处理,这就要涉及到美术的一些基本常识。本文将介绍一些主页设计中经常涉及到的艺术处理原则,供各位在进行主页制作的时候参考。 一、风格定位 主页的美化首先要考虑风格的定位任何主页都要根据主题的内容决     

翻译软件有新路

计算机翻译能象人工翻译一样流畅,一直是人们的梦想,但在目前人类对语言的研究及人脑如何进行语言的模糊识别和判断没有最终明了的情况下,计算机翻译达到100％的准确率还有待时日。 目前用翻译软件的用户有两个主要目的:一是用于自己了解大意,这种用户一般是英语不好或不会英语。他们就是希望通过简单的方式理解面前的英文信息,这时所需要的软件功能是自动翻译;二是用于     

自动翻译电话

日本一家研究所研制成功一种能自动翻译的新型电话。为打电话双方用不同语言通话时,通过电脑语言翻译机能自动将不同语言翻译后传送给对方,因而使说不同语言的用户之间可以进行直接的交谈。这种自动翻译电话已分别装在日本、美国和德     

两维时间域上的实时程序语言

超稠密计算模型是实时系统的一种抽象模型。该文首先简要介绍一种两维的超稠密时间域及在该域上定义的一种区间逻辑,然后用一个并行模型语言（类Ｏｃｃａｍ语言）讨论用这种逻辑定义并行语言（在超稠密模型中）的时间语义的问题,最后讨论了在这种语义框架中实时系统性质的描述。     

两维时间域上的实时程序语义

超稠密计算模型是实时系统的一种重要抽象模型．该文首先简要介绍一种两维的超稠密时间域及在该域上定义的一种区间逻辑,然后用一个并行模型语言（类Ｏｃｃａｍ 语言）讨论用这种逻辑定义并行语言（在超稠密模型中）的时间语义的问题,最后讨论了在这种语义框架中实时系统性质的描述     

MasterCAM V9在4轴和5轴加工中的应用

MasterCAM V9的5轴模块对于常规涉及的曲面加工已经能够基本够用了,但是5轴加工有一个很现实的问题,那就是首先要解决后置处理程序的问题.因为5轴数控机床的配置多种多样,有工作台双摆动、主轴双摆动、工作台旋转与主轴摆动复合运动等多种形式,所以尽管MasterCAM V9提供了5轴加工模块,但要使生成的刀具路径能够后置处理成适合某5轴机床数控系统加工的NC程序,首先应开发出适应所使用的5轴机床的后置处理程序.     

用带时钟变量的线性时态逻辑扩充Object-Z*

Object-Z是形式规格说明语言Z的面向对象扩充,适合描述大型面向对象软件规格说明,但它不能很好地描述连续性实时变量和时间限制。线性时态逻辑能够描述实时系统,但不能很好地处理连续时间关系,也不能很好地模块化描述形式规格说明。首先用时钟变量扩充线性时态逻辑,接着提出了一个方法——用带时钟变量的时态逻辑(LTLC)来扩充Object-Z。用LTLC扩充的Object-Z是一个模块化规格说明语言,是Object-Z语法和语义的最小扩充,其最大优点在于它能方便地描述和验证复杂的实时软件规格说明。     

MATLAB在模糊控制系统仿真中的应用

模糊控制系统的设计是模糊控制系统应用的重要问题之一,而系统的仿真是设计中的重要步骤和必要的保证,本文首先简要介绍了MATLAB语言、模糊逻辑工具箱和SIMULINK工具箱,然后着重介绍如何利用模糊逻辑工具箱、SIMULINK工具箱进行模糊控制系统的仿真,并给出具体实例,这种方法克服了传统用C语言进行仿真的复杂,不方便的缺点,使模糊控制系统的仿真变得容易、直观且迅速。     

电磁场瞬间干扰对电子计算机的影响

电磁場的瞬变过程是自然界和生产领域中经常发生和遇到的现象。电子计算机对电磁場瞬变过程所产生的干扰是比较敏感的,这种瞬间干扰也是一种比较大的危害。因此要避免(或消除)这种危害是电子计算机的研究、生     

旁观者眼中的《S4A和互动媒体技术》

H. Abelson＆amp;G. J. Sussman 《计算机程序结构与解释》第二版MITPress,1996 （翻译：俞中坚温州大学） 编程比通常所想更为复杂。从事计算机编程的人学习计算机语言，一般要遵循语言规范并阅读手册，但这些并非他们所做的全部。首先，程序员要以一种可靠的方式思考。他或她要认识到我们的逻辑与解决问题的思考过程，并将之简化为优雅的算法。程序员必须清晰地思考，并比普通人要更加深入地理解问题。他或她还必须将这些想法以非常精确与详尽的方式与简单沉默的机器沟通，绝不能含糊。这种思维方式被卡内基梅隆大学的周以真教授（JeannetteWing）称为“计算思维（ComputationalThinking）”。“计算思维是种思考过程，它涉及将问题与解答公式化，     

微逻辑元件

本文叙述用微逻辑元件来使计算机达到小型化的途径。用这种方法制成的可靠逻辑部件能在军用环境条件下达到1兆周的操作速度,同时,还可大大减少逻辑部件的制造成本。我们把这种途径命名为微逻辑,因为我们觉得这个名称能比其他名称能更恰当的描绘逻辑系统和逻辑部件小型化技术,而逻辑密度是逻辑系统小型化的中心问题。平面型制造工艺和蒸发线路的接线技术的应用使之有可能制造一系列的可靠的功能块,用功能块来制造逻辑部件比用单独元件更能提高逻辑部件的可靠性,因为这时有可能大大减少内部接线和外引线。研究这种生产技术的目的在于能廉价生产微逻辑元件。此外,采用微逻辑元件的逻辑部件的设计和制造的简化能进一步减少总系统的成本。1兆周的速度特性,逻辑设计的简易性,逻辑部件装配的简易性都有助于微逻辑元件在一般逻辑线路中的应用。     

逻辑控制器设计与离散事件系统监控理论

物联网等通信技术将越来越多的控制元件集成起来,导致系统规模快速增长,逻辑控制规范也日益复杂,任何逻辑错误都可能造成重大事故和人身灾难,再加上"维数灾"问题,安全可靠的逻辑控制程序的设计和调试面临巨大的计算复杂性难题.而离散事件系统监控理论旨在研究复杂控制规范的设计和实现问题,将连锁、互斥、字符串语言等复杂控制逻辑描述为自动机或Petri网,然后转换为可编程逻辑控制器或现场可编程门阵列上执行的程序代码.本文综述了现有的逻辑控制器的形式化设计方法,主要涉及如何利用监控理论(自动机或Petri网)来缩短程序开发周期、提高程序可重用性和确保程序可靠性和安全性等问题.     

融合特定语言适配模块的多语言神经机器翻译

多语言神经机器翻译利用单一的编码器-解码器模型对多种语言之间的翻译同时进行建模.多语言神经机器翻译不仅能够促进关联语言之间的知识迁移,提高低资源语言的翻译质量,并且能够实现未见语言对之间的翻译.现有多语言神经机器翻译仍然存在语言多样性建模能力不足和未见语言对翻译质量不佳的问题.为此,首先在现有的适配器模型基础上提出变维...     

不同逻辑间翻译的逻辑性质

如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类,那么可靠的(the soundness)和完备的(the completeness)翻译可以将不可满足的公式翻译为可满足的公式.针对上述问题,该文提出了语义忠实(the faithfulness)和语义满(the fullness)两条逻辑性质来确保可满足的公式翻译为可满足的公式,不可满足公式翻译为不可满足公式.该文例证了二阶逻辑在标准语义下到一阶逻辑的翻译是语义忠实的但不是语义满的,在Henkin语义下是语义忠实的和语义满的.     

国外主要自然语言理解系统概况

所谓“自然语言理解”(Understandingof Natural Language)就是利用电子计算机来理解自然语言,使计算机懂得人的语言,让计算机在人的语言的指挥下,进行某些“智能”活动。因此,有的学者干脆把自然语言理解叫做“人机对话”。早在六十年代,国外就建立了一批自然语言理解系统。这些系统一般只考虑句子中的句法信息以及词本身的部分语义信息,可以执行语言自动处理的某些任务。例如,用英语回答问题,在一定专业范围内进行人机     

组合逻辑电路和逻辑技术

3.1 概述至此,我们只是在理论上讨论了逻辑和逻辑电路。这一章较多地考虑逻辑电路的应用。对此,设计硬件的人比那些搞计算机理论和搞软件的人更感兴趣。后面几章不是本质的东西,可以跳过。在本章里,我们要研究那些不利于逻辑电路的实现问题,要考虑能够用来确定某种逻辑技术的电压值“0”和“1”的方法,要考虑因非理想逻辑元件而出现的一些问题——延迟和定时问题,功率限制以及噪音等。我们还要研究和比较主要的逻辑技术。所讨论的逻辑问题和逻     

高速S—TTL组件的测试和应用

电子计算机的发展与数字逻辑集成电路有着密切的联系,在设计一台大型高速电子计算机时,需要考虑的一个问题就是选择采用何种型式的数字逻辑集成电路。随着半导体技术和工艺的飞速发展,各种不同形式的数字逻辑集成电路不断涌现。但是,对于大型高速电子计算机来说,可以采用的数字逻辑集成电路目前主要有二种:一种是射极耦合逻辑电路(ECL),另一种是采用肖脱基二极管钳位的晶体管—晶体管逻辑电路(S—TTL),这二种线路在使用