从过程描述语言到Z语言

Z语言是一种得到广泛应用的形式化规格语言，Z语言可以方便地描述系统操作的数据转换，却很难描述系统操作间的时序关系，而过程描述语言可以方便地描述时序关系，本文利用时序状态转换系统作为中介，提出一种把过程描述语言的项转换成Z规格的机械算法，利用这一算法，Z文也能方便地描述时序关系，本文还通过实例说明了该算法在多视点需求工程中的应用。     

扩展呼叫处理语言:一种面向综合通信服务的语言

介绍了一种面向电信增值业务领域的流程描述语言XPL(extended-calling process language)以及支持该语言的业务生成系统.XPL拥有较强的语音类业务描述能力和数据类业务描述能力,具有抽象层次高,使用灵活、简单,开发业务速度快的特点.该业务生成系统基于面向服务的构架(services-oriented architecture,简称SOA),适用于网络融合条件下的业务生成.     

逻辑型语言和过程型语言中的COM技术

本文探讨了在过程型程序设计语言与逻缉型程序设计语言中COM(Component 0bject Model)技术的实现方法，从而改变了以往用这两类语言编写的程序之间的松耦合关系，实现了两类不同种类语言之间的无缝连接，使它们能在深层次上自由地进行信息交流．本文还以Visual C 和Visual．Prolog为例，给出了一些有参考价值的实例．     

汇编语言与C语言的接口技术

汇编语言没有高级语言要占用较大的存储空间和较长的运行时间等缺点 ,它的运行速度快是高级语言所不能比拟的。可以说高级语言与汇编语言各有千秋。有时我们采用高级语言编程速度达不到要求 ,全部采用汇编语言编程工作量又大 ,此时可以采用“混合”编程 ,彼此相互调用 ,进行参数传递 ,共享数据结构及数据信息 ,是一种有效的编程方法。这种方法可以发挥各种语言的优势和特点 ,充分利用现有的多种实用程序、库程序等使软件的开发周期大大缩短。1　高级语言与汇编语言的接口需要解决的问题　　 1、需要说明和建立调用者与被调用者间的关系被调…     

C语言编程技巧在C语言学习中的应用

C语言是功能强大、应用广泛的编程语言,也是目前高校理工类的公共必修课程之一,可见其重要性,C语言集高级编程语言和汇编语言的特点于一身,目前市面上的许多软件也是在C语言的平台上产生的,所以高校在C语言的教学中也可谓是＂不遗余力＂的。但是从近年来的教学效果来看,学生的普遍反映却让人大跌眼镜,大部分人认为C语言晦涩难学,学起来是非常吃力,经常是非常努力学习却达不到想要的效果,课程过后没有任何收获,甚至连一个小程序都写不出来,针对上述情况做了初步分析,并从C语言的编程技巧上提出了相关改善对策。     

Java语言与C＋＋语言的比较

Java语言是一门很优秀的语言,具有面向对象、与平台无关、安全、稳定和多线程等优良特性,是目前软件中极为健壮的编程语言。Java已成为网络时代最重要的语言之一。与C＋＋语言比较,Java是一种更纯粹的面向对象程序设计语言。     

产品语义学——企业产品语言的创造

产品语义学是研究产品语言的表达意义。产品造型除表达其功能性目的以外,还要透过其语义特征来传达产品的整体视觉感受,传递出企业产品特性,同时还包括使用方式、文化内涵,并体现特定社会的时代感和价值取向。正如法国著名符号学家皮埃尔·杰罗所说的,在很多情况下,人们并不是购买具体的物品,而是在寻求潮流、青春和成功的象征。本文从企业产品设计角度研究产品设计的差异化竞争,主要探讨产品语义学是如何帮助企业进行完成独特产品语言的塑造;如何向消费者传达整体的产品视觉感受,以达到独特的企业产品视觉识别的目的。     

基于语言计算方法的语言认知实验综述

人脑对语言的理解过程十分复杂,涉及多个脑网络和加工机制。以往的工作大多采用严格控制的实验设计,针对特定的语言现象展开研究,导致了研究结论趋于碎片化,无法形成关于大脑语言理解的总体结论。另一方面,深度学习的出现引发了语言计算领域的技术变革,语言计算模型在多个任务上达到甚至超越了人类的水平。这为进行全局性、高生态效度的人脑语言理解实验带来可能性,促进了语言认知实验中引入语言计算模型方法的快速发展。那么,利用新兴的语言计算方法可以为大脑语言认知机理的研究带来哪些新的机遇和启发呢？该文归纳总结了利用语言计算方法进行语言认知实验的相关工作,并对未来发展趋势予以展望。     

汉语统计语言模型训练样本容量的定量化度量

统计语言模型的参数训练是语言建模的关键,选择多大的训练样本就能够达到建模的参数估计误差要求,是语言建模理论关心的问题之一。应用数理统计理论对汉语统计语言模型的训练语料样本容量进行了定量化描述,给出了汉语n-gram模型训练样本容量下界的估算方法及量化估算公式,可根据模型参数估计的误差要求计算出模型训练所需的样本容量。     

Heap-Bounded Assembly Language

We present a first-order linearly typed assembly language, HBAL, that allows the safe reuse of heap space for elements of different types. Linear typing ensures the single pointer property, disallowing aliasing but allowing safe, in-place-update compilation of programming languages. We prove that HBAL is sound for a low-level untyped model of the machine, using a satisfiability relation that captures when a location correctly models a value of some type. This interpretation is closer to the machine than previous abstract machines used for typed assembly language models, and we separate typing of the store from an untyped operational semantics of programs, as would be required for proof-carrying code. Our ultimate aim is to design a family of assembly languages that have high-level typing features for expressing resource-bound constraints. We want to link the assembly-level with high-level languages expressing similar constraints, to provide end-to-end guarantees and a viable framework for proof-carrying code. HBAL is a first exemplifying step in this direction. It is designed as a target low-level language for Hofmann's LFPL language. Programs written in LFPL run in a bounded amount of heap space, and this property carries over when they are compiled to HBAL: the resulting program does not allocate store or assume an external garbage collector. Following LFPL, we include a special diamond resource type that stands for a unit of heap space of uncommitted type.     

自然语言文本水印

本文主要介绍了基于自然语言处理的文本水印技术,也即自然语言文本水印技术。该技术是在不改变文本原意的前提下,将需要隐藏的文本信息(水印信息) 插入到原始文本中的一种信息隐藏技术。这种技术对于确认信息来源和信息的秘密传送,以及版权维护等方面都有着很大的应用价值。本文首先给出了基于自然语言处理技术的文本水印的概念、特点及攻击模型,并对文本水印的研究现状进行了分析。通过分析可以看出,自然语言文本水印技术有着更好的灵活性,并且在适度的攻击下,不会破坏水印信息。本文详细介绍了文本水印系统的设计过程,包括该技术的基础数学理论- 二次余数理论。最后详细介绍了两种自然语言文本水印嵌入方法,分别是基于句法分析和基于语义的水印嵌入方法。     

语种确认中基于段长的语言模型修正方法

为了改善语言模型提出了一种新型的语言模型修正方法,先利用音素段长的筛选性来获得部分音素的语言模型修正因子,再对修正因子加以权重用于纠正语言模型的偏差,从而能够有效提高系统识别性能。在CALLFRIEND Corpus上进行的测试中,系统单个前端的最好性能达到等错率下降1154%,整个系统等错率下降了693%,最后的等错率为950%。     

C语言程序与汇编语言程序的接口分析

分析了C语言程序和汇编语言程序接口中参数传递的规则和方法，讨论了二者连接过程中的注意问题，并给出了应用程序示例。     

基于知识库的语言翻译系统研究

语言翻译是工作和学习中经常要做的事,传统的语言翻译是基于词法结构分析,然而自然语言并不是那么的规范,这导致了这种翻译方式存在本质上的缺陷,不管算法如何改进,翻译结果和人工翻译都会相差很远。本文以英汉翻译为例介绍了基于知识库的语言翻译,详细讲解了基于知识库翻译的原理,以及这种翻译方式与传统的基于词法结构分析的翻译方式相比具有的优越性,并实现了一个简单的基于知识库的翻译软件。     

透视编程语言

如果说语言是人与人沟通的工具,那么编程语言就是人与计算机沟通的工具。我们使用这个工具,向计算机描述我们跳动的思维。回首2008,编程语言的世界里发生了许多令人兴奋的变化:函数式语言异军突起、Python 3k发布等。本期月度关注,我们将带您走进编程语言的世界:回顾2008,展望2009,你会发现编程语言的世界如此多娇!     

Prological Language Processing

We describe a Prolog-based approach to the development of language processors (such as preprocessors, frontends, evaluators, tools for software modification and analysis). The design of the corresponding environment Laptob for prological language processing is outlined. Language processor definitions in Laptob are basically Prolog programs. The programs might contain grammars, that is, we consider logic grammars. The programs can be typed, and they can be higher-order. The adaptation and composition of the logic programs themselves is supported by meta-programming. The environment offers tool support for efficient scanning, testing, and application development based on a make-system. We report on recent and ongoing applications of the Prolog-based approach.     

语言技术平台

中文信息处理不仅需要基础数据平台的支撑,而且需要基础技术平台的支撑.该文介绍了我们历经八年研制并不断改进的语言技术平台LTP(Language Technology Platform).该平台包括中文词法分析、句法分析以及语义分析等多项中文处理技术,其中的句法语义分析技术在CoNLL 2009国际评测中获得第一名的成绩...     

室内设计色彩语言与图形语言的情感追踪

我国室内设计的理念已经从最初满足人类居住的基本需求和用各式各样的材料来显示豪华气派,转移到了用什么样的技术和手法能够渲染室内环境,也就是对情感的追踪。色彩语言与图形语言的研究对室内设计的情感追踪有的紧密的联系。因此,作为一个优秀的设计师,应该对色彩语言与图形语言有一定的深刻了解和研究,设计出属于自己风格和特色的设计,同时也满足人类随着经济发展,物质也不断膨胀的需求。