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

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

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

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

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

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

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

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

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

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

语义场分析矩阵

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

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

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

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

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

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

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

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

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

基于不规则性的并行计算方法

为了有效使用异构多核架构强大的并行计算能力,根据硬件架构的特点重新组织数据并合理调度任务的执行是非常有必要的.提出一个基于不规则性的并行计算方法,是一个融合数据并行、任务并行、管道并行的多重并行计算方法,特别适合具有动态特征执行行为和不规则数据结构的复杂算法,能够在程序运行时根据存储局部性原则和单指令多数据流（SIMD）操作机制对任务执行进行基于优先级的动态调度和数据管理,能够最大限度地有效使用CPU和GPU的硬件计算资源和存储资源.实验结果表明,该方法能够提高图形并行绘制算法关于动态执行过程和不规则数据结构构造和维护的性能.     

地应力分析在老新地区油田开发中的应用

地应力是油气运移、聚集的动力之一.地应力作用引起的储层裂缝、断层及构造是油气运移、聚集的通道和场所。采用测井、岩心和地震资料,运用无源微地震法、地层倾角法、油藏动态法和综合裂缝储层描述软件对老新地区地应力进行深入分析,能够为油田开发方案部署、注采井网优化调整提供科学依据。     

框-剪结构细长连梁刚度折减非线性分析验证

算例1、2为8度区(0.2g)16层框架-剪力墙结分别按细长(跨高比为3.6)洞口连梁刚度折减和刚度不折减的方案进行结构设计,然后用拟三维非线性动力反应分析程序TS-EPA对该两算例进行动力分析,由分析结果得出以下结论:框架-剪力墙中的洞口连梁首先进入屈服后状态,表明洞口连梁是框架-剪力墙结构的第一线抗震构件;从各结构的罕遇地震作用下的反应和洞口连梁的延性需求来看,对洞口连梁进行刚度折减会给框架-剪力墙结构的动力反应带来少许不利影响。     

结构隔震体系地震反应分析

运用整体有限元法建立了隔震体系在时域内求解的运动方程,并在此基础上考虑了隔震体系的恢复力特性,编制了地震反应计算程序．计算了输入Ｅ１－Ｃｅｎｔｒｏ（Ｎ－Ｓ）地震波时体系的动力反应．计算结果表明：隔震体系上部结构的加速度反应大大降低     

基于支座加速度输入的频域地震反应分析方法

为了真实反映结构的地震荷载输入方式及在地震作用下结构的动力反应,建立了一种基于支座加速度输入的频域地震反应分析方法,研究了结构在支座加速度输入下的动力反应.根据大质量法原理在支座处附加一大质量,在频域精细传递矩阵理论基础上建立了结构的整体传递关系,输入地震加速度傅里叶谱,依据边界条件进行求解得到结构的动力反应,编制了相应的计算程序并进行了算例分析.计算结果表明,该方法正确有效,可用于结构的地震反应分析.     

点支式玻璃建筑单层索网体系的动力特性分析

点支玻璃建筑单层索网体系是一种几何非线性较强的柔性张拉结构,其刚度受索中预应力影响较大。目前专门针对该结构动力特性方面的研究尚不多见。阐述了索网这种柔性预应力结构动力特性分析的特点,编写了相应的有限元程序,对索网自振特性的重要影响因素即几何非线性和预应力进行了研究,表明忽略几何非线性会使结构计算结果产生极大偏差。索网的自振频率与预应力呈非线性关系,几何非线性和预应力对索网的自振特性的影响具有协同性。     

用PowerBuilder实现MIS系统中的动态查询

动态查询是MIS系统中的重要功能.现以PowerBuilder为开发工具,介绍MIS系统中动态查询的实现方法和实现技术.提出了基于动态数据窗口的动态查询技术,并对动态查询的实现过程作了讨论.     

基于动态混淆技术的动态图软件水印方案

提出了基于动态混淆技术的动态图软件水印方案,将动态混淆技术和动态图软件水印技术相结合,选用可归约排列图（RPG）作为水印图,嵌入水印程序,通过代码混淆,增加攻击者反编译程序的难度,提高软件水印方案的抗攻击性.将该方案与传统的软件水印方案进行比较分析,结果表明,本方案具有较高的鲁棒性和数据率,且在抵御代码分析方面有明显优势.     

煤矿采掘接替计划计算机仿真系统

根据煤矿采掘计划编制的特殊性,应用网络优化技术,开发了采掘接替计划的计算机体育场系统,实现了煤矿工作面管理、计划管理和计划实施的实时仿真。系统分为工作面管理子系统、计划管理子系统和采掘动态仿真子系统。在主系统中,采用ＶＢ５．０编写主控程序,以及控制 数据库、计划和图形的动态仿真。利用ＶＣ＋＋,ＯｐｅｎＧＬ接口开发出供ＶＢ主控程序使用的ＡｃｔｉｖｅＸ控件,主控程序利用控件和数据库中的数据,通过编程实     

实时动态模拟环境中多任务间的数据共享

根据不同应用程序之间有共享数据的要求,针对Windows NT系统和VC++的特点,提出通过动态链接库提供共享数据的方法,解决了Windows NT系统下实时动态模拟环境中多任务间数据共享,结果使各应用程序共同使用一个动态链接库,而需要共享的数据在该库中定义,达到了共享的目的。且也使不同语言的应用程序之间达到共享数据。通过地址访问方式还可以使各个应用程序通过间接访问方式使用共享数据。该方法简便、实用性强。