令网疯狂令我醉的ML

HTML大家一定不会陌生,我做了一个主页,其中就有不少.htm文件,不过我的主页确实不够美观,干巴巴的一些文字、图像。     

浅谈Java与C,C＋＋语言的异同

Java语言是目前较为流行的网络编程语言,它克服了C和C++语言的不足之处,具有编程简单、面向对象、分布式、解释执行、安全、与平台无关、可移植、高性能、多线程以及动态性等特点.下面笔者将它与C和C++语言作一比较和分析,从而使懂得或学过C和C++语言的读者能对它们之间的异同有进一步的了解.     

XML文档操作的高级语言XSLT

随着XML应用的日益广泛,XML的数据检索、查询、转换就成为一个非常重要的应用领域,而XSLT是用于操作XML文档的完整高级语言。本文简要介绍了XML、XSL和XSLT的关系,XSLT的原理、语言特性、及其开发工具,使读者能够对XSLT有一个清晰、简洁而相对全面的了解。     

ADA和PROLOG的比较

Ada语言是一种功能极强的程序设计语言,已成为80年代最有影响和最有代表性的一种高级语言;Prolog语言是建立在符号逻辑基础上的简单而功能却很强的程序设计语言。由于日本的FGCS计划把Prolog语言作为系统的核心语言,所以该语言目前已受到计算机界的极大重视。本文对这两种语言在通讯和同步方面、并行处理方面、变量共享方面、匹配方面、错误处理等方面的特点进行了比较和分析。如果在设计新的语言时把上述两种语言各自的优点有机结合起来,那么这种新语言的生命力一定很强。     

B语言和方法与Z、VDM的比较

1 引言形式化方法是建立在严格数学基础上的软件开发方法。软件开发的全过程中,从需求分析、规格说明、设计、编程、系统集成、测试、文档生成直至维护各阶段,凡是采用严格的数学语言、具有精确的数学语义的方法都称为形式化方法。形式化方法的一个重要研究内容是形式规格说明,即用具有精确语义的形式化语言书写的程序功能描述,它是论证程序是否正确的依据。形式化方法需要形式规格说明语言的支持,也可以说形式化方法的关键在于形式规格说明语言。形式规格说明语言提供了一个称为语法域的记号系统和一个称为语义域的目标集合,以及一组精确地定义哪些目标系统满足哪个规格说明的规则。根据对目标软件系统进行说明的方式分三种规格说明语言:     

Ada语言与Occam语言的比较

一、引言过去十年在计算语言领域的重要进展之一是出现了具有并行计算能力的Ada语言和Occam语言。Ada语言是具有类似Pascal语言的控制结构,并且能重植入过程和函数的大型语言,其初始设计目标是满足美国国防部所规定的要求,即首先考虑支持适于军事装备的嵌入式编程系统。就本质而言,Ada语言是在串行语言的结构上,扩充增加了并发执行的能力。 Occam语言是和Transputer同时设计实     

语音处理的现状与动向

本文介绍语音处理中语音模型化、语音分析与合成、语音识别、语音自动翻译等领域的技术现状,存在的问题以及今后的发展动向。     

TUILI(推理)语言编译系统的Java实现

1引言Sun公司发明的Java语言[1]是当今国际公认的长期以来最卓越的程序设计语言,它集简单、独立于平台、面向对象、分布式、安全、可靠、可移植、动态性和多线程等特性于一身,为Internet的使用提供了一个良好的开发和运行环境,开创了计算机的网络计算新时代．由于Java开发的软件“一次写成,到处可用”,故开发和运用Java对于软件与国际接轨并同步发展具有重要的现实意义和长远意义．Java的应用正在普及之中．目前,用于开发游戏一消遣软件或制作具有动化效果主页的小程序applet较多,尚未见用于实现复杂的AI系统．技术上,由于Java…     

VC下利用MATLAB引擎的程序设计

1.MATLAB简介 MATLAB是以复数矩阵作为基本编程单元的一种程序设计语言,它提供了各种矩阵的运算和操作,并具有较强的绘图功能,同时MATLAB强大的工具库提供了许多有用的功能,如各种优化算法、神经网络算法、图像处理算法、线条插值算法、偏微分方程数值解算法等等。总之,利用MATLAB可以方便地设计出功能强大、稳定可靠的应用程序来完成用户所需的一些功能。     

方程式语言及其实现

方程式语言是一种新型智能语言。本文介绍该语言的一个实现系统,该系统是以方程逻辑为语义基础,模式匹配为执行机制,本文讨论了自底向上模式匹配方法及其改进,整个系统具有时间响应快、描述能力强的特点。     

基于XML的图形结构数据表示的解决方案及其比较

可扩展标识语言XML的文档内部采用树形结构，因而对图形结构的数据缺乏直接的表示手段。该文提出了两种基于XML的图形结构数据表示的解决方案，并对其特点进行了比较。     

XML技术在电视节目个性化系统中的应用

XML具有简单、开放、灵活和可扩展的特点，它为多媒体数据表示提供了一种有效的方法。该文介绍了电视节目个性化服务系统Adaptive Agent的简单工作模型，阐述了系统中所涉及的XML技术：XML元数据表示，XML文档解析，XML数据查询和排序；以及这些技术在电视节目个性化服务系统中的具体应用。     

XML在WebGIS系统中的应用

对万维网地理信息系统（WebGIS)的技术现状和存在的问题进行了剖析，针对这些问题提出了利用XML的解决途径，并从基于XML的WebGIS系统建构的角度，对XML应用于WebGIS的几个方面及其优点进行了探讨。     

WebGIS中XML的应用前景分析

论述了当前开发WebGIS所面临的一些技术难点，介绍了Web的新兴语言——XML的概念和特征，讨论了XML应用到WebGIS开发中的优势及其存在问题。     

基于三层网络架构及DOM的XML系统模型

本文阐述如何在三层网络架构上运用XML以构造XML文档支持系统,提出了基于三层网络架构及DOM的XML系统的模型,该系统与传统的客户／服务器应用或是应用一般的数据传输方式如HTML等系统相比具有减少了网络流量、更有利于检索、可从多种不同的数据源集成数据、开放性、可扩充性、可重用性等一系列特点。     

XML的即指即显与分页显示

可扩展标记语言或者简称XML ,是Web应用的一种新技术 ,它正以其自身的优势 ,逐渐成为网络世界的“国际语言”。应用XML组织数据 ,通过XSL和JavaScript获取数据分页显示到屏幕 ,同时实现用户的即指即显。     

XML在分布式对象技术中的应用

随着Web成为新一代分布式应用程序的平台 ,将分布式对象技术同XML技术相结合 ,可以建立基于Web技术的发布和分布式计算的统一的模型。结合一些基于XML的新技术 ,从数据传输与表示、接口管理和远程调用三个方面 ,对XML在分布式对象技术中的应用进行了讨论。     

一种新型的标记语言XML

在介绍了XML的起源、特点和功能之后,分析了XML的研究内容,着重介绍了XML在电子商务、无线通讯等领域的应用,最后提出了XML的发展方向。     

XML技术在WebGIS中的应用

本文分析了基于HTML的WebGIS的弊端，通过介绍Web的新兴语言－XML的概念和特点，说明XML在WebGIS中的应用。     

一种基于CPK的传输协议

为提高VxWorks中数据传输的效率,结合组合公钥算法的原理和加密通信方法,设计一种高效、安全的嵌入式安全传输(EST)协议。EST协议能够在VxWorks环境下快速建立端到端的通信,实现保密通信,满足实时操作系统的安全需求。给出该协议的设计与实现及相应结果分析,证明了该协议的可行性、有效性。