构件化技术在编译器语义分析中的应用研究

基于构件化软件开发思想,在航空领域通用测试语言ATLAS编译器的实现过程中,提出采用构件化开发方式解决语义分析阶段中"仪器选择和分配"模块的多样性和复杂性问题,给出实现"仪器选择和分配"模块的层次软件体系结构的详细描述,以及通过微软公司的COM构件对象模型给出的资源配置构件的接口说明.项目完成中,采用这种COM构件实现模型很好解决了语义分析阶段中的资源调用和信号语句的语义翻译问题.     

一种Verilog的操作语义

用形式化的方法描述了硬件描述语言Verilog的语法和语义,建立了一个Verilog的操作语义模型。分别用二元组和四元组描述Verilog非并发和并发成分的状态,刻画了不同语句的状态转换规则,并用实例描述了并发程序的执行过程,证明了该操作语义模型的正确性。     

基于轨迹的指称语义方法

文章提出一种基于轨迹的指称语义框架,该框架结合了操作语义和代数语义的特征,避免使用专门的数学理论,将静态语义和动态语义结合在一起统一处理.文章引入了轨迹概念和模型语言,然后讨论该语言的各句法成分所对应的语义论域,并对过程和函数进行了一些描述。     

一种基于UPPAAL的智能合约属性形式化验证方法

针对智能合约的属性验证问题,该文提出了一种基于UPPAAL的智能合约属性形式化验证方法.首先定义了Solidity基本语句的操作语义及其到时间自动机的转换,将智能合约转换成时间自动机网络模型;然后定义并描述智能合约常见的安全性和活性,再使用模型检测工具UPPAAL验证智能合约的属性;最后对购物合约进行了建模与验证,验证了该方法的有效性.     

道路交通场景事件的语义解释方法

针对传统道路交通事件语义解释方法依赖于定量数学建模方法,且底层语义概念与高级事件表达之间存在语义鸿沟的问题,提出了基于动态描述逻辑框架的事件语义定性表达和推理新方法.首先,对静态道路场景信息进行分类标记,构建交通领域本体模型,给出了本体知识库实时修改算法;其次,基于动态描述逻辑的动作公理,提出了描述车辆运动变化的运动模式集,实现了对一定约束条件下车辆机动能力范畴的刻画;最后,将事件语义解释过程抽象简化为目标的实现过程,提出了子目标生成以及实现规则,达到了依据交通事件语义解释交通态势变化过程的目的.实验结果表明:领域本体知识库的定义明确,拥有统一的框架结构,便于理解,且具有通用性;动态描述逻辑良好的表达和推理能力增强了事件语义描述的可靠性,较好地解决了语义鸿沟问题.     

一种扩展式动态环境演算范型的Petri网描述

为了以可视化的方式验证扩展式动态环境演算范型对移动协同中移动性和协作性的描述能力及描述语义的正确性,提出了一种扩展式动态环境演算范型的Petri网描述(PND).首先,给出基本演算实体的Petri网表示,用Petri网的顺序行为理论和并发行为理论中的变迁来表达任意动作,用库所来表达任意动作前后的各种环境状态及其变量.其次,给出演算实体的各操作语义关系的Petri网表示,并引入弧权重来刻画动作与其前后相关的环境、状态的相互作用关系.最后,引入了Petri网的合成理论,用简单Petri网合成法来构造动态复杂环境的模型.采用染色Petri网工具进行仿真,结果表明PND具有正确的描述语义,从而进一步为扩展式动态环境演算范型的有效性提供了有力的论证.     

基于实例和本体的甲骨文机器翻译方法研究

为解决基于实例的甲骨文机器翻译缺乏深层次语义分析的问题,引入了本体技术.采用实例和本体相结合的办法,分阶段实现甲骨文语句的机器翻译.基于实例的方法用于仅需浅层语义分析的句子,基于本体的方法用于需深层语义分析的句子.在对比分析甲骨文与现代汉语之间的内在联系基础上,建立了甲骨文知识本体,为机器翻译的词典和语义提供概念及其层次网络,解决甲骨文同义词、兼类词及词义消歧问题.实验结果表明:对常规的简单甲骨文语句,基于实例的机器翻译结果较好;对复杂的甲骨文语句,需要利用基于本体的机器翻译,其结果也基本满足研究需求.     

基于领域本体的语句相似度研究

语句相似度计算是设计和实现智能答疑系统的关键技术.由于智能答疑系统一般面向受限领域的特点,在构建出其领域本体的基础上,利用本体语义树计算词汇相似度,从而计算出语句的语义相似度.最后,设计了一个实验模型验证了该语句相似度算法的有效性.     

知网、HNC和框架网的语义知识表示异同

语义知识的表示和使用是自然语言处理的重要方面.知网从描述词语之间的关系以及属性之间的关系入手建立了中文词语语义知识的表示方法.HNC设计了语义概念基元和语句基元,形成了自然语言的概念空间,用基元描述语句理解处理中知识.不同于以上两种方法.框架网则是根据单词的不同的义项对应不同的语义框架,用不同的语义唤醒激活不同的框架,从而理解词语的语义.在此比较了三者在语义知识表示方面的异同.     

烟草类根瘤中质体蛋白体的超微结构研究

提出了一种基于累计积分及阈值判断的数据处理方法,实现了检测人体动作的无线加速度传感器系统,无线加速度传感器模块使用Analog Device公司的3轴加速度传感器ADXL330.无线蓝牙模块将加速度信号采集并发送至PC机.该文是对动作识别系统的硬件与软件实现及动作处理算法的描述,并分析相应的实验结果,详细给出了数据处理算法.该方法应用于基于网络的数字娱乐系统,采集及处理时间150ms,有一定的实用价值.     

Repeat-until语句的操作语义与指称语义的等价性证明

在计算机科学中，形式语义学以数学为工具，精确地定义和解释计算机程序设计语言的含义或语义．其中操作语义学和指称语义学是形式语义学的两大类别．本文使用简单的命令式语言IMP的语法，首先给出了repeat—until循环语句的操作语义，然后详细推导出了其指称语义，并在此基础上详细证明了它们二者之间的语义等价性．     

论情境语义学的语用视角

自创立始,情境语义学被定位为自然语言语义理论或逻辑语法理论,但它有鲜明的语用视角,主要表现在:它与诸多语用研究或思想之间的渊源关系;它和语用学在研究对象或研究内容方面的一致性;它对形式语义学兼容语用研究的研究传统和当今大语义观的发展趋势的遵循。通过对自然语言条件句陈述的情境语义解释,可以看出语用因素在情景语义学中无处不在,情景语义学与语用研究中的相关理论有内在联系。     

在VFP下用SQL生成通用报表

介绍了在VFP中将ⅡF函数和宏替换应用在SELECT-SQL语句中，生成灵活多变的汇总报表的方法，并给出了源程序代码。报表中数据项的名称和数目随应用情况而异。该报表可以在屏幕上浏览，也可以送往打印机输出，还可以转换成Excel表格文件由用户用Excel编辑后再输出。     

面向自动问答系统的问句相似度计算研究

结构化自动问答系统采用传统方法缺少对词汇、词序和结构的划分,导致语句相似度较低,为了解决该问题,提出了基于Web语义的混合问句相似度计算方法。根据结构化自动问答系统结构,设计系统语句分析模型,通过正向匹配方法,对模型专业词库中的用户输入自然语句进行分词处理,并对字符串之间的关系展开分析。采用非恒定相似度系数来描述2个字符串的相似情况,并由此分析词形、词序和结构相似度,完成不同语句相似度的计算。通过实验对比可知,文章提出的基于Web语义的混合问句相似度计算方法最高计算精准度可达到96%,可提升自动问答系统的整体性能。     

I/O通讯中时序和同步的高级综合

研究VHDL中表示时序和约束的方法和综合前后模拟一致性在不同设计中的含义.根据这一含义,说明并实现了VHDL中循环语句的综合方法、条件语句和分支语句的综合方法,并实现了与循环有关的其它语句的综合.通过典型的例子给出程序的运行结果,说明实现的方法具有正确性和实用性.     

利用现金流量表分析企业财务状况

现金流量表是目前世界上通用的主要会计报表之一，利用现金流量表，可以了解企业的财务收支状况，加强企业的资金管理。从现金流量结构、现金流量趋势、财务比率3个方面说明如何利用现金流量表来分析企业的部分财务状况。     

论被害人虚假陈述行为的定性——兼谈《刑法》第305条的修改

被害人陈述作为法定证据的一种，有其自身的复杂性。实践中被害人作出虚假陈述的情况广泛存在．原因是多方面的，危害性很大。被害人故意作出虚假陈述的行为构成伪证，应修改《刑法》第305条，将被害人纳入伪证罪的主体范围。     

面向应用领域的Web服务发现与匹配

面向应用领域的Web服务发现的目标是帮助用户找到能够为其构建应用系统提供功能支持的Web服务,从而降低应用系统开发成本、提高开发效率.提出了一种基于功能语义的Web服务发现方法,以支持面向应用领域的Web服务发现需要.通过定义Web服务功能语义描述模型,为服务提供者和用户提供了统一的Web服务描述方法;同时在建立领域功能本体的基础上,依靠语义标注机制,消除服务描述间的语义异构;在此基础上,进一步提出基于功能语义的Web服务发现与匹配策略.实验表明该方法是可行和有效的.     

数据库自然语言查询条件研究

通过对汉语查询句的研究,建立了复合概念、逻辑概念与标准概念的内在联系.通过分析各种查询条件,得出查询条件表达式可以形式化表示为二叉树的结论,在此基础上,构造了查询条件字符块转换为二叉树的一套算法.     

“尧眉”考辨

指出“尧眉八彩”的说法渊远流长。考诸文献发现尧眉之说至少有三：形态派、色彩派、骑墙派。形态派最先出现，且较为贴近真实；色彩派随后出现。影响最大；骑墙派则最晚出现，影响不大。