基于静态语义流图的漏洞检测模型

随着软件系统的复杂性不断增加和规模的扩大,漏洞检测成为确保软件安全性和稳定性的重要环节,但传统的静态分析方法在应对复杂漏洞时表现出一定的局限性。文章提出了一种基于静态语义流图(Static Semantic Flow Graph,SSFG)的漏洞检测模型。该模型结合了程序的语义信息和数据流分析,通过构建语义流图实现对软件漏洞的精准检测。实验结果表明,该方法在检测常见漏洞类型(如缓冲区溢出与SQL注入等)时具有较高的准确率和较强的有效性。

俄语运动动词的静态语义衍生

词汇语义的参数化研究是建构词义动态模式的基本方法,这种分析方法与多义词的传统研究和认知研究迥异,它是从语言自身结构出发对词义变化进行考察。通过把握语义参数的规律性变化来探讨动词语义的变化,能够有效解释俄语运动动词的静态语义衍生机制,即它们可以分别衍生出行为最终状态的保留、使役状态的保留、地理位置状态和性能意义。这种研究模式对提高词义信息处理的有效性具有积极的意义。

基于内容的静态语义概念视频检索方法研究

本文针对互联网视频检索技术的发展,阐述了目前主流视频搜索引擎的技术现状,分析了互联网视频检索的关键技术,特别是对于视频特征的提取技术。本文的创新点是提出了一种通用的基于内容的静态语义视频检索方法,该方法可以弥补基于文本视频检索的有关不足,并且在TRECVID的视频概念检索数据的静态语义概念中得到验证,运行稳定。

结合静态语义和基于矩阵的异常事务识别方法

使用入侵检测找出数据库中异常事务是当前常用方法。但是 ,现今许多签字检测和非签字检测都是针对操作系统级而不是系统管理级 ,而且还不能保证对所有异常行为作出正确响应。为此给出一种新的异常事务识别方法。该方法使用静态语义分析读、写前及写后集合之间的关系来确定异常事务 ,使用基于矩阵的损失评估方法识别受此异常事务影响的数据客体。该方法由于避免读取数据库日志文件而减少了损失评估时间 。

一种用基本ASM定义SDL静态语义的方法

提出直接用基本AbstractStateMachine定义SpecificationandDescriptionLanguage静态语义的形式方法,其主要特点是:语法域中的元素统一解释为语法值;转换规则定义为ASM规则;映射规则定义为一系列称为t-函数的映射函数形式.

增量静态语义分析的一个对象模型

本文给出了一个对象模型用以描述类ＰＡＳＣＡＬ程序设计语言的静态语义（语义对象，语义依赖）．讨论了基于该模型的增量静态语义分析的过程，动作，并发机制与实现手段．在文章的最后部分对模型扩充讨论了在多用户，分布式环境中的增量语义分析．文中的模型可稍加扩充以适应一般的高级程序设计语言．

SDL静态语义定义研究

在分析当前 SDL (Specification and Description Language)静态语义定义方法的基础上 ,从另一角度给出了用抽象状态机 (ASM:Abstract State Machine)定义 SDL静态语义定义的方法。与现有方法相比 ,该方法不直接使用语法树 ,而是利用静态和动态函数定义静态语义 ,解决了现行方法中“=”引起的二义性问题 。

一种基于属性文法的C++静态语义描述

主要讨论了利用属性文法对Ｃ＋＋中在类的定义、对象说明、成员函数、继承与派生等方面涉及的全局及局部静态性质进行形式化描述的方法。

SDL形式语义定义现状及其改进

SDL语言自身的形式化描述对于该语言的不断发展、完善将发挥重要的核心作用 ,而SDL- 92的形式语义已无法充分满足应用需要 ,本文分析了现有形式语义定义的基本方法 ,指出其存在的主要不足 ,并针对SDL形式语义的定义方法提出了一种基于SDL未来发展方向的语义定义框架。

否定副词“不”的语义指向及相关问题

在区分语义平面与语用平面、“不”的否定焦点与否定句的焦点的基础上,考察否定副词“不”的语义指向,并就相关问题展开讨论。

介词over的认知语义研究

本文从认知的角度研究了介词over静态和动态的空间语义及其意象图式。介词over存在四种静态空间语义,在这四种语义的基础上,该词通过空间隐喻延伸出其它五种隐喻语义。同时,介词over还存在一种动态空间的意象图式。

动态场景下基于视觉的SLAM技术研究

针对视觉同时定位与地图构建(SLAM)技术在动态环境中存在定位精度低、地图虚影等问题,提出了一种基于深度学习的动态SLAM算法。该算法利用网络参数少且目标识别率高的YOLOv8n改善系统的视觉前端,为视觉前端增加语义信息,提取动态区域特征点。然后采用LK光流法识别动态区域的动态特征点,剔除动态特征点并保留动态区域内的静态特征点,提高特征点利用率。此外,该算法通过增加地图构建线程,剔除YOLOv8n提取的动态物体点云,接收前端提取的语义信息,实现静态语义地图构建,消除由动态物体产生的虚影。实验结果显示,在动态环境下该算法与ORB-SLAM3相比,定位精度提升92.71%,与其他动态视觉SLAM算法相比,也有小幅度改善。

反事实条件句语义学理论的发展

一般认为,反事实条件句是前件为假的条件句,但前件为假有两种情况,一种是客观事实上是假的,另一种是主观认定是假的(而客观事实是真的)。反事实条件句是重要的,因为它涉及逻辑学的核心问题——推理,历史上人们尝试用各种不同的方法来刻画它,这些方法大致来自三个方面的:语形的、语义的和语用的,本文主要从语义学的角度综述了反事实条件句理论的发展。反事实条件句语义学理论的发展经历了从传统的静态语义学向现代的动态语义学的发展。

语境──语义的信息源

语境语义是指在言语交际中，由于语境的异化作用而使语言中某个词语产生异变的语义成分。本文借鉴西方语境论者的观点，从汉语语用角度对语义异变情况作些描写与分析，旨在超越传统的静态语义观，从动态语义方面来观察语义之现状，并企望有益于深化语义的教学与研究。

语境与模糊语义

文章将语境分为上下语境和情景语境；模糊语义分为相对的动态模糊语义和静态模糊语义。文章从五个方面讨论了语境对模糊语义的影响，并得出结论：语境对动态模糊语义极为重要，动态模糊语义的研究有助于静态模糊语义的理解。

基于历史拓扑和描述子的时空数据模型

针对已有时空数据模型在表达时空信息上存在的问题,提出基于一个新的历史拓扑和描述子的时空数据模型STORM。STORM采用结合显式表达和隐式表达的混合型方法来表示时空信息,其中历史拓扑显式表达时空对象间的历史关联,而描述子隐式表达单个时空对象的内部属性变化以及时空对象间的空间拓扑关系。该模型可以同时表达时空信息的静态语义和动态语义,并可通过扩展的关系结构和关系代数操作进行表示和查询。

Java虚拟机动态类加载的形式化模型

Java虚拟机支持一种功能很强的动态加载类的机制,它具有惰性加载、类型安全连接、用户自定义加载策略、以及动态名字空间等特性。但是,在Java的早期实现(JDK1.0和1.1)中,这种机制包含了一种称为类型欺骗的严重设计错误。尽管JDK1.2通过引入一种类加载约束策略修正了这个错误,但是由动态加载引起的其它形式的类型欺骗仍然存在于JDK1.2和1.3中。本文详细讨论了与动态类加载相关的类型欺骗问题,提出了一个严格定义Java虚拟机操作语义和静态语义的形式化模型。其中,操作语义描述了类加载约束策略、字段及方法解析算法等类加载的主要特性;静态语义采用类型规修正了JDK1.2和1.3中的类型欺骗。

基于时序描述逻辑的UML顺序图形式化方法

根据统一建模语言(UML)顺序图的时序特征,提出一种基于时序描述逻辑ALCQIUS的UML顺序图形式化方法。研究ALCQIUS时序扩展部分的语法和语义、ALCQIUS断言公式集一致性定理,给出ALCQIUS断言公式集一致性推理算法,并证明该推理算法的可判定性。以公安报警系统为例,说明基于ALCQIUS的UML顺序图形式化规约和形式化验证具备可行性,并且ALCQIUS为UML顺序图形式化提供了合理的逻辑基础。

基于时态描述逻辑的UML活动图形式化规约

UML活动图是一种特殊的状态机,被认为最适合描述软件过程建模,但其缺乏精确的语义,不利于对模型进行形式化分析和验证。针对传统描述逻辑无法表达动态行为和时序特征的不足,提出了一种基于时态描述逻辑的UML活动图形式化规约方案,讨论了时序描述逻辑时序扩展部分的语法和语义,研究了UML活动图的静态语义和动态语义的ALCQIUS形式化规约,通过具体应用实例说明所提方案的可行性。

Java字节代码程序的部分计值

为了有效地构造一个 Java部分计值器 ,并且形式化地描述计值规则 ,提出了 Java字节代码程序的静态语义 ,在此基础上构造了一个 online的 Java部分计值器 。