论动态数据结构的程序语义

在程序设计语言中，由于语言成份的语义描述不够完整，容易造成动态数据结构的使用混乱与错误，这些问题在编译程序中无法发现，并且在程序执行过程中也很难排除。本文针对这种情况，研究了如何正确刻划动态数据结构的程序语义问题。     

C语言中动态数组的建立与管理应用

由于可靠性与维修性仿真涉及大量随机变量，使用动态数据结构将大大提高仿真的效率与解题规模，本文详细讨论了仿真动态数据的使用方法，并给出相应Ｃ语言程序示例，最后以系统可靠性与维修性仿真为例，说明了动态数据的应用。     

C语言中动态数组的建立与管理应用

由于可靠性与维修性仿真涉及大量随机变量，使用动态数据结构将大大提高仿真的效率与解题规模，本文详细讨论了仿真动态数据的使用方法，并给出相应Ｃ语言程序示例，最后以系统可靠性与维修性仿真为例，说明了动态数据的应用。     

COBOL语言形式语义模型的构造

用形式技术描述过程序语义,是近年来有较大发展的一门前沿技术,其目标是用一个严格定义的形式模型表达程序的语义.这对于程序的形式开发与验证有着重要的意义.国外将它誊为“九十年代软件开发新模式的革命性方法”.本文采用这门技术构造了 COBOL 语言的形式语义模型.用抽象的形式描述等同表达 COBOL 语言文本定义中关于静态语义,功态语义的文字描述规则.第一次较完整地给出一个 COBOL 语言的形式语义模型.     

语义场分析矩阵

语言是音义结合的符号系统，一种语言词汇中的词在语义上是相互关联的，在考察时应当作一个完整的系统来加以探讨．在语言学科研究中，语义场（semantic field）是一系列的词汇相互定义、相互比较而形成的．如：表示某种颜色的词只有在色谱中与其他词汇相互比较、相互定义，才能得到准确的语义．语义场理论的矩阵分析助于人们更好地理解英语词汇的意义．本文就语义场的性质、结构、特征以及在英汉两种语言中运用空间进行尝试性的探讨．     

Visual C++扩充组态王功能的研究

动态数据交换通讯协议是Microsoft公司设计的一个完整通信协议。该文利用组态王自身提供的动态数据交换接口，设计了一个实时处理现场采集的工艺参数的程序，将其作为组态王和显示终端的通信接口。在乳化剂生产线自动控制系统中，以组态王作为服务器程序，该文所设计的通信接口模块作为客户机程序，扩展了组态王的多媒体功能，形成了功能更加强大的上位机软件环境，进一步方便了现场人员对生产过程的管理。     

复合抽象数据类型的构造型说明

研究抽象数据类型的规范说明对于实现面向对象的软件开发及程序证明等具有重要意义。本文用构造型说明法讨论了原子和复合抽象数据类型的结构语义，并介绍了这种说明如何用一个函数型语言ＭＬ来实现的方法。     

人工智能难题和程序语义学

句法机如何成为语义机是人工智能面临的难题,也是当代意向性理论研究的重点.程序语义学是试图解释这一问题的重要致思取向.它认为传统的人工智能、计算机科学等是以模态理论语义分析为基础的,其研究尚停留在符号的层面,而未涉及到真值、指称,即没有涉及到语言与世界的关联.在揭示语言与世界关联如何实现的问题上,程序语义学强调语义不是由对指称的计算所给予的,也不是由谓词逻辑的标准语义学所给予的,而是由程序给予的.程序语义学不但能够融合如福吉勒特等意义理论的局限,而且所提出的过程性分析和知识对于人工智能的研究、发展亦有启示性.     

语言发展的投射理论新观点

在词语与语句结构形成过程中，音位加工缺陷伴随投射过程分解导致匮乏性语言形成。复杂音位加工中投射的分解和表征作用，具体形式以音位的音段分解、音位分解的语义线索、语义分解的音位线索与句法的音位和语义线索等共同参与。     

从DS到INTERPRETER的机械转换——面向语义的软件自动生成

指称语义(DS)是描述程序设计语言语义的一种强有力的工具,抽象级别较高,难于在机器上实现,解决的办法就是将DS转换成易于在机器上实现的话言程序。本文给出了DS到解释程序(INTERPETER)的机械转换方法,从而将语言的形式化定义与机器实现有机地结合起来,本文的工作是在面向语义的软件自动生成领域的进一步探索。     

基于形式化语义的启发式病毒检测引擎研究

对形式化语义在启发式病毒检测引擎上的应用进行了研究,在分析了基于虚拟机技术的反病毒检测引擎的效率问题后,又分析了启发式病毒检测引擎,发现其规则的选取对病毒判断的准确率影响很大,提出基于形式化语义的启发式病毒检测引擎。进行了计算机病毒语义关系框架及数据结构的设计,通过深入剖析不同病毒程序传染部分的代码结构,从而总结出病毒程序的典型语义特征,形成描述其典型语义特征的语义关系框架;在检测时抽取蕴涵在待检程序中的语义,进而建立描述程序语义关系框架;计算二者的匹配程度来确定程序是否含有恶意程序,从而达到检测未知病毒的目的。     

SPRE语篇模式及其连贯性特征阐析

语篇模式是指语篇中各个主要部分的组合方式，是人类语言在交际中互相遵守和期待的语言规律。SPRE语篇模式是建立在“问题-解答”结构模式基础上，由各个语义功能主要成分及其依据共同构成。文章通过对这一模式特征及其连贯性的阐述分析，进一步发掘语篇表层语用序列与深层语义序列之间的对应和非对应关系，并揭示出语篇发出者对语篇表层信息分布的处理技巧及其对语篇接收者认知的影响．     

PowerBuilder中通用程序的设计

利用PowerBuilder开发工具中的数据窗口和系统表的特性，设计了有效地实现了数据查询、统计图和动态数据窗口创建的通用性程序，结合工程实例介绍上述通用程序在数据管理系统开发中的应用。     

功能动词结构在德汉机器翻译中的问题探讨

自动机器翻译系统是一门多学科交叉的边缘科学，需要对数学、语言学和计算机科学的知识有较为深入的研究和探讨．在将源语言译为目的语的过程中，它要求机器应当从人那里获得所有语言现象，包括词汇、句法、语义、语用等的准确信息．对语言现象进行最准确和最细致的观察，揭示不同语言表层和深层的异同，本文仅从语言角度对句法中功能动词结构在德汉机译系统中的问题做一些分析与探讨。     

程序表示学习综述

为了提高软件的开发效率,目前已出现应用人工智能技术进行智能化开发的趋势,如何理解程序语义是智能化开发中需要重点解决的问题.针对该问题,出现了一系列程序表示学习的研究,程序表示学习可以自动地从程序中学习有用的特征,将特征表示为低维稠密向量,高效地提取程序语义并使用于相应的下游任务.对程序表示学习的研究工作进行综述,介绍了主流的程序表示学习模型,包括基于图结构和基于token序列的程序表示学习框架.展示了程序表示学习技术在缺陷检测、缺陷定位、代码补全等任务上的应用,总结了程序表示学习的常用工具集和测试集.分析了程序表示学习未来需要应对的挑战.     

关系数据库与高级语言的嵌入式标准SQL接口

用预编译方法实现关系数据库与高级语言Ｃ的嵌入式接口称为ＦＳＱＬ－Ｃ。该接口具有标准ＳＱＬ的定义及查询功能，预编译采用语法制导的方法，在对嵌入程序进行 法分析的同时进行语义分析和程序替换，将ＳＱＬ语句翻译成ＦＳＱＬ－Ｃ库例程调用，目标程序ＦＳＱＬ－Ｃ函数库的支持下，用Ｃ语言编译系统生成可执行文件。     

浅析语义文化在跨文化交际中的意义

语言是人类的交际工具和思维工具。所以，一方面，在言语与言语的实际行为和对文字的使用中不可避免地带有使用者的文化特点，而这种文化特点又在某种程度上说明了使用者对世界的理解或认识。另一方面，由此而产生的语义文化又是语言文化的一个组成部分，也是语言文化的一个重要层次。在不同的语言文化中，语义的差异首先体现在不同语言的词汇中。本文对不同文化背景的人在交际中如何使用正确的表达方式及应注意的问题提出了作者的看法。     

I-语义学对隐喻的诠释

乔姆斯基把语言分为外部语言（E-语言）和内在语言（I-语言）。语义学作为研究语言和世界之间关系的理论,相应地,也应有E-语义学和I-语义字之分。E-语义学研究语言与世界之间的关系。I-语义学研究语言使用者（大脑）中的语言知识。语义和认知关系密切。语义结构和概念结构是一致的。隐喻是现实世界中一种无所不在的语言现象。隐喻涉及到特殊认知领域,并具有许多心理语言学的特征。     

英汉分句作定语的语义分析

英汉两种语言中都存在分句这一语言结构单位作定语修饰名词中心语的现象。分句用自身的命题限制中心名词的语义范围时,在英汉两种语言中具有相同的语义特征,即:中心名词与分句内部的谓词之间存在依存关系。分句修饰名词必然受到语义的限制,是英汉两种语言必须共同遵守的准则。     

基于极大熵谱估计准则的动态数据预测方法及应用

在进行动态数据预测时，预测结果往往会受人为因素影响而出现偏差。本文将极大熵谱估计准则应用于动态数据预测，详细介绍了趋势项提取、模型参数确定、阶数选择以及数据预报的过程，基于MATLAB平台编制了相应程序，最后结合实例对该方法的优点和不足之处进行了客观评价。