构件式体系结构模型转换的语义一致性

基于软件体系结构模型的形式化描述,从结构语义、公理语义和行为语义等几个方面分析了模型转换中特性保持问题的描述,并建立了相应的判定标准,同时探讨了证明一个转换是否满足某些特性保持约束的方法。这些方法支持以定理证明的方式,对模型转换的语义特性保持进行验证,克服了模型检测的不足。该研究可用于指导模型转换规则的定义和模型映射关系的正确性的验证。     

基于扩展时间工作流网的工作流过程建模

工作流管理系统中时间约束意义重大.为了在工作流模型中引入时间因素,对模型的时间性能进行评估,提出一种基于扩展时间工作流网模型.通过对模型进行形式化定义,描述了模型到工作流过程模型的映射,并针对工作流网模型存在的4种基本逻辑结构,提出一种时间线性简化规则;运用此简化规则,对工作流网模型进行压缩,以便计算所建模型的时间性能.最后结合一个工作流实例,运用提出的简化规则对约束上的常量时间进行了初步分析.     

一种改进的形式化本体模型研究

基于对象、属性、类及其之间的4个主要关系,即实例关系、属关系、抽象关系和区分关系,提出一种本体三角形模型.该模型符合人的抽象思维过程,其核心机制是抽象原理.采用一阶逻辑等值演算形式化定义该模型结构,根据实体及其关系分析其约束机制,论述相应公理,解释一些重要推论.这种形式化本体理论系统描述了分类学,为实现本体框架奠定了基础,可用于实现知识推理.     

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

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

三维拓扑关系形式化描述及拓扑关系模型研究

三维空间实体及其间拓扑关系的语义描述和形式化描述是三维GIS空间数据建模的重要理论基础.以点集拓扑学为基础,基于空间剖分用单纯形和单纯复形对空间实体进行形式化描述,利用代数运算和集合运算相结合的方法计算出实体内部和边界及相互之间的交集,运用维度扩展法判断交集的维数,提出基于单纯复形的维度扩展的4I模型.为了进一步区分拓扑不同胚的空间实体,给出了基于Euler示性数的4I模型.相比传统的4I或9I模型,基于维度扩展和分离数的空间拓扑关系描述模型进一步细化了三维空间实体的拓扑关系.     

CS逻辑的分析及改进

较之以往的形式化分析工具BAN及BAN类逻辑,CS逻辑是一种将时间与逻辑结构相结合的逻辑,是第一个用来分析与时间相关的Timed--release公钥协议的逻辑,本文分析了原始CS逻辑的某些推理规则的缺陷,并对其作了改进及扩展,使其能够更好地反映Timed--release公钥协议的特性,并对一个具体的Timed-release公钥协议用扩展后的推理规则进行了有效的形式化分析.     

基于Petri网的分布式多媒体同步技术研究

实现分布式多媒体同步的前提,需要借助于时间模型和形式化描述工具对多媒体同步关系进行抽象和描述．在对媒体时序关系和多媒体动态同步特性进行研究的基础上,运用Petri网数学工具,提出一种适应通信网络技术发展的多媒体同步模型．     

语义环境下个性化推荐系统建模

为解决现有个性化推荐系统中缺乏对语义信息处理能力的问题,建立了语义推荐系统模型,使用描述逻辑实现了该模型,并给出了推荐算法。在实现模型的过程中引入了两条规则实现了概念层次关系在兴趣程度和关联程度上的传递。实验证明,通过将用户的兴趣和待选资源的相关概念在语义层面进行适当扩展,语义推荐系统模型能产生更多符合用户兴趣的推荐项目。     

CS逻辑的分析及改进

较之以往的形式化分析工具BAN及BAN类逻辑，CS逻辑是一种将时间与逻辑结构相结合的逻辑，是第一个用来分析与时间相关的Timed—release公钥协议的逻辑，本文分析了原始Cs逻辑的某些推理规则的缺陷，并对其作了改进及扩展，使其能够更好地反映Timed-release公钥协议的特性，并对一个具体的Timed-release公钥协议用扩展后的推理规则进行了有效的形式化分析．     

责任政策形式化验证方法

为了验证多Agent系统设计的正确性,将责任政策作为约束多Agent交互行为的高层"需求规格"或"通信协议",对其进行形式化建模及验证。研究了建模责任政策的形式化框架语言,基于责任状态模型建模责任政策的动态演化过程。给出了政策模型形式化验证方法,将政策模型的操作语义定义为Kripke结构的状态迁移系统,政策中Agent行为的约束规则声明为线性时序逻辑公式,使用模型检测器Nu SMV验证政策模型对线性时序逻辑公式的可满足性。实验结果表明,该方法可有效分析责任政策的设计缺陷,提高多Agent系统设计的正确性。     

现代汉语处所成分的语义分析

汉语缺少词形变化,内部的语义关系靠语序和虚词的逻辑关系来体现,但是在实际运用中这种逻辑关系和句法结构很难完全统一,形式和意义并不是完全一致的,因此我们不但要分析句法结构,还要研究句子的语义结构,掌握句子内部复杂的语义关系。处所是一种句法语义范畴,因此处所成分在语义上必定具有相同点。     

多媒体高层语义框架及检索算法

针对多媒体信息检索中的"语义鸿沟"问题,提出了矩阵分裂方法的定义及其基本运算准则,描述了适用于多种多媒体信息的高层语义框架,利用该框架对多媒体信息进行高层语义检索,解决了检索多媒体信息的"语义鸿沟"问题.针对该框架提出了基于每次用户检索结果的部分优先算法,利用用户每次检索结果对高层语义分支权重进行自适应调整,从而达到提...     

基于启发式规则的多媒体主题信息挖掘

随着Internet的发展,Web上信息呈爆炸式增长趋势,呈现方式也愈发多种多样,这就给多媒体内容的检索,信息提取等计算机处理带来了巨大困难。针对信息提取后,网页的多媒体内容的不一致性,本文提出了一种Web网页多媒体信息提取的融合算法。该算法通过对图像和文本的语义融合,判断信息提取后的网页中的各种形态的内容是否一致,并通过网页中的文字更加准确地表示图片所传达的内容。对来自30个网站的307个网页进行测试后的实验表明,本文提出的方法是可行的。     

Chinese text semantic representation for text classification

Text representation based on word frequency statistics is often unsatisfactory because it ignores the semantic relationships between words, and considers them as independent features. In this paper, a new Chinese text semantic representation model is proposed by considering contextual semantic and background information on the words in the text. The method captures the semantic relationships between words using Wikipedia as a knowledge base. Words with strong semantic relationships are combined into a word-package as indicated by a graph node, which is weighted with the sum of the number and frequency of the words it contains. The contextual relationship between words in different word-packages is stated by a directed edge, which is weighted with the maximum weight of its adjacent nodes. The model retains the contextual information on each word with a large extent. Meanwhile, the semantic meaning between words is strengthened. Experimental results of Chinese text classification show that the proposed model can express the content of a text accurately and improve the performance of text classification. Compared to Support Vector Machines, Text Semantic Graph-based Classification can improve the efficiency by 7.8％, reduce the error rate by 1/3, and show more stability.     

交互式多媒体表现的同步规范方法

讨论了交互式多媒体表现中的同步问题,提出了一种新的基于Ｐｅｔｒｉ网的地体同步规范方法,这种多媒体同步规范方法可以灵活地描述确定性的时态剧情和非确定性的时态剧情,支持灵活的交互式多媒体表现。     

多媒体数据语义鸿沟问题分析

针对多媒体数据语义鸿沟已成为制约多媒体数据进一步应用的瓶颈问题,对语义鸿沟问题的来源进行了分析,并在此基础上对该问题进行了细化和扩展。将语义鸿沟问题扩展为思维与自然语言鸿沟、人机交互鸿沟、特征提取鸿沟、实体语义鸿沟和抽象语义鸿沟等层次。通过分析现有的多媒体数据获取方式,提出了解决语义鸿沟问题的可行思路。     

基于Petri网和BOM的拆卸建模方法研究

基于Petri网理论提出了虚拟拆卸网模型,关键技术是同步器对变迁的逻辑关系的确定.给出了其库所、变迁以及托肯的含义.基于基本对象模型提出了虚拟拆卸交互模型VDIM,研究了从网到VDIM的实体类型、事件类型、交互模式以及状态机的映射原理,并讨论了VDIM的模型可组合性.从联邦成员的划分,时间管理和同步管理三个方面研究了网模型和VDIM模型中仿真信息的融合,以便直接用于仿真系统的开发.最后的实例证明了研究的可行性.     

基于模块化方法的产品设计知识组织模型

为了给产品设计过程提供更高效的知识服务,提出一种基于模块化方法的产品设计知识组织模型.采用基于知识点来表示各种产品设计知识,根据知识点的特征和领域本体中的语义关系,将内容相关的知识点组合为一个知识模块,并且所有的知识点和知识模块组织为一个有向无环图.在产品设计过程中,根据有向无环图所建立的逻辑关系,可以进行快速、高效、完备的基于语义的知识查询,提高知识管理的效率.在饰品设计案例中的应用结果表明,该方法可以高效地组织饰品设计知识.     

基于Petri网的项目管理模型研究

项目管理是一类典型的离散并发不确定系统,经典Petri网及其扩展可以很好的对项目工序逻辑关系、时间约束、资源约束、项目执行过程监控等进行可视化建模的同时,提供形式化理论支撑.在综合研究现有Petri网项目管理模型基础上,提出了基于着色时间约束Petri网的项目动态管理模型,并对该模型的变迁激发规则、状态空间、可达性及可调度性进行分析.该模型能够对项目管理中时间约束及资源约束进行建模,为项目动态管理提供可视化、形式化建模工具.     

多尺度语义学习的人脸图像修复

针对卷积神经网络在图像修复过程中难以兼顾修复结果的局部细节和全局语义一致性问题,以生成对抗网络为基础,提出一种多尺度语义学习的编解码人脸图像修复模型.首先,将人脸图像用门控卷积分解为具有不同大小的感受野和特征分辨率的分量,用不同尺寸的卷积核提取多尺度特征,通过提取合适的局部特征来提升修复结果的细节;其次,将提取的多尺度特征输入至语义学习模块,从通道和空间两个角度学习特征之间的语义关系,从而增强修复结果的全局一致性;最后,引入跳跃连接将编码端的特征补充到解码端中减少采样造成的细节信息损失,改善修复结果的纹理细节.在CelebA-HQ人脸数据集上进行实验,结果表明提出的模型在峰值信噪比、结构相似性、l₁三个性能指标上均有显著提升,修复的结果在视觉上局部细节和全局语义更合理.