基于Petri网的超媒体形式化模型

针对演播类超媒体提出一个基于Ｐｅｔｒｉ网的形式化模型ＯＯＰＮ,它由一个扩展Ｐｅｔｒｉ网、若干对象以及Ｐｅｔｒｉ网与对象之间的映射表示,具有刻画超媒体主要性质的能力．着重给出了ＯＯＰＮ模型的形式化定义以及它对超媒体逻辑结构、时序结构和语义结构的描述     

基于语义的服务资源描述模型RDF4S

在已有的语义Web服务描述框架基础上,定义了一种语义Web服务资源描述模型RDF4S,该模型从功能、接口、执行和QoS 4个层面描述服务资源的语义信息,并基于该模型提出了一个语义Web服务资源发现框架.结合旅游预订系统的一个实例,展示了RDF4S 4层语义信息的描述能力和支持发现的能力,并给出RDF4S描述模型和其他语义Web服务描述模型的比较.该工作对基于语义信息进行服务的自动发现、组合和调用具有一定的参考作用.     

时序媒体间同步控制机制的时态模型

在大量实际研制、开发多媒体软件产品工作基础上,通过分析现有同步控制方法的优缺点,提出了一个统一的、可适应时序媒体间同步关系定义的时态模型,该模型可满足时序媒体定量定性的同步控制要求,并给出了“唇同步”控制的时态定义实例．     

信任本体的形式化语义研究

针对现有的信任模型缺少信任相关概念属性在数理上的定义以及严格可靠的信任语义推理和统一的形式化抽象模型的问题,本文提出形式化动态信任本体的概念,结合本体在语义层次的形式化描述方法,对实体信任、行为信任和区域信任进行本体化,并对三种信任本体进行形式化语义演绎和推理.给出了信任相关属性的形式化理论分析,并通过典型的激发场景实例,有效地验证了信任本体化理论.     

基于时序逻辑和SCR方法的需求分析方法

以定义事件驱动型系统需求的ＳＣＲ（Ｓｏｆｔｗａｒｅ ＣｏｓｔＲｅｄｕｃｅ）方法和时序逻辑为基础,提出了一种能够根据ＳＣＲ方法与时序逻辑之间的语义联系和时序逻辑的推理能力有效地检查用ＳＣＲ方法定义的事件驱动型系统的需求分析方法．为便于理解,还给出了一个简单的例子来介绍如何分析和检查用ＳＣＲ方法定义的需求的有效性．     

UML时序图向PNML转换的研究与实现

对已有行为模型向Petri网的转换机制进行对比分析,提出改进的UML2时序图到Petri网的转换规则,实现了时序图向Petri网标记语言转换的工具.实验结果表明,本文提出的工具能有效地将时序图转化为Petri网模型并生成相应PNML文件,进而更好地对UML模型进行分析和验证.     

基于知识的多媒体创作模型

通过对传统方法进行分析,引入语义网络的知识表示方法,将面向对象技术与超媒体方法相结合,提出了一个基于知识的多媒体创作模型（ＫＡＭ）,给出了ＫＡＭ模型的形式化定义,并对该模型的结构进行了讨论．ＫＡＭ模型具有以下特点：（１）支持结构与内容的分离;（２）支持复合机制;（３）基于语义的导航,有效地避免了在交互性系统中的迷路问题;（４）独立的链服务功能和管理功能,保持系统的开放性、可扩充性     

关于图与有向图自同构群的一个定理(英文)

设Γ=(V,E)表示无重边无自环的简单图,D=(V,A)表示对Γ定向而得到的有向图。Γ与D的自同构群分别记为G(Γ)与G(D)。Jerald A.kabell在第二届国际组合数学会议上提出:何时一个图可定向而保持其自同构群不变,即G(Γ)=G(D)?本文得到的主要定理回答了这个问题。设π表示顶点集V的一个置换。π可分解为若干不相交循环置换的乘积,我们称其中长为2的循环置换为相应于π的对换。定义1 设π∈G(Γ),(i,j)为相应于π的一个对换。若(v_i,v_j)是Γ的一条边,则称对换(i,j)为π的关于Γ一个奇异对换。定义2 若图Γ存在一个定向使得D与Γ的自同构群相同,则称Γ有可行定向。定理图Γ有可行定向的充要条件是Γ的任意自同构π均无关于Γ的奇异对换。     

中文图文数据集构建

为了从更深层次语义信息来描述图像,定义了图像、文本、事件文本、事件图、图像关键要素和文本关键要素六元组,以六元组为对象建立了中文图文数据集。基于事件语义模型与事件语义标注规范,在对采集的图像文本标注事件语义角色与事件关系的基础上,采用事件图对其语义进行形式化表示。对该中文图文数据集的统计分析表明,该数据集中各个事件语义角色都有所涉及且分布适中,图文对应区域数量相对句子长度表现适中,图文对数据质量较高。     

一种新的分析和检查需求模型

由于ＳＣＲ（ＳｏｆｔｗａｒｅＣｏｓｔＲｅｄｕｃｔｉｏｎ）是较实用的定义软件系统需求的方法，以此方法为基础，提出一个形式化的分析和检查需求的模型．此分析和检查模型主要根据综合知识表示模型的一些基本原理，使用状态转换规则、语义计算规则和属性来形式化地描述ＳＣＲ中表格符号的语义，并通过执行规则来自动分析由ＳＣＲ定义的需求．为便于理解，给出了一个简单的实例来介绍如何分析和检查基于ＳＣＲ的需求的一致性和完整性．     

基因组重排问题的一个近似算法

分子生物学中基因无方向的反向基因组重排问题在数学上已被证明是一个NP困难问题．基于断点图的概念，给出一个时间复杂性为O(max{b^(π)，nb(π)})，空间复杂性为0(n)的求其近似最优解的算法．其中n为基因组中基因个数，π=(π1,π2，…，πn)表示n个基因的一种排列，b(π)表示排列π中的断点数．数据实验的结果表明，该近似算法可以求得较好的结果．     

一致可逆性质与(ω)性质的判定

利用算子的一致可逆性质,定义了一个新的谱集,分别给出了有界线性算子满足(ω)性质的充分条件和必要条件,并在此基础上得到算子与其算子演算满足(ω)性质的判定条件。     

一致可逆性质与(ω)性质的判定

利用算子的一致可逆性质,定义了一个新的谱集,分别给出了有界线性算子满足(ω)性质的充分条件和必要条件,并在此基础上得到算子与其算子演算满足(ω)性质的判定条件。     

Fuzzy超图及其顶点度

<正> 一引言对于Fuzzy超图,A·Kaufmann曾在[1]中给出了一个定义,本文考虑到吴望名在[2]中关于Fuzzy图定义的思想方法更有利于体现图的特点,另给出了一个Fuzzy超图的定义,此定义比[1]中的定义更广。然后将[2]中关于Fuzzy图的α割图,分解定理等推广到了Fuzzy超图,文章的后一部分     

应用 M IS 时序部件设计一般时序电路

本文提出把可同步激励的MSI时序部件当作一个多功能的复杂存储元件使用,并对计数型MSI与移位型MSI分别给出了它们的次态方程与激励表.此外,提出了应用这两种MSI时序部件设计一般时序电路的状态安排规则及设计程序.讨论表明,这种设计方法在本质上相当于对专用MSI时序部件的基本工作时序进行时序修改.     

单演半群的Γ图

对半群Cayley图的研究是近年来十分活跃的研究领域.定义了半群的Cayley图的一种推广图Γ图,刻画了单演半群的Γ图的结构,给出了单演半群的Γ图弱连通的一个充分必要条件.     

一些运算图的Wiener极性指数(英文)

图G=(V,E)的Wiener极性指数定义为G中距离为3的无序点对的个数.文中给出了广义hierarchical积图、笛卡尔积图及F-和图的Wiener极性指数运算公式.同时也给出了两个图的Kronecker积图和复合图的Wiener极性指数运算公式.     

J/ψ→π+π-π0 衰变中的A值分布

考察了J/ψ→π+π-π0衰变中的A值分布, 所定义的A值是一个由末态π介子动量构成的一个无量纲的量A=(Pπ-xPπ+y-Pπ-xPπ+y)/P+πP-π,其中Ph、Phx与Phy分别表示强子h的动量的大小、该动量沿X轴与Y轴方向的分量.这里J/ψ是由e+e-碰撞产生的, 而e+的动量方向被取为Z轴正向.如果实验上能够证实A的事例平均值〈A〉不等于零,则存在CP(由电荷共轭变换与空间反演变换构成的联合变换)或者T(时间反演变换)破坏.通过筛选到的748个事例,测得〈A〉=0.010 39±0.014 61±0.015 2.进而,对于深入研究所需的数据样本大小和可能达到的观测水平作了数值估算.     

关于π-纯正L~*-幂幺半群

本文定义了一类π－正则半群,即π－纯正Ｌ＊－幂幺半群,给出了此类半群为弱Ｃｌｉｆｏｒｄπ－正则半群,ＧＶ－半群,π－逆半群的充分必要条件,从而推广了Ｖｅｎｋａｔｅｓａｎ［１］的结果     

模糊数学中的非标准扩大模型

给出了非标准分析理论中非标准扩大模型在模糊数学中的表现形式及一些性质.首先,对模糊集合进行了非标准扩张,定义了相应的* 模糊集.其次,对模糊集合间的运算也进行了非标准扩张,定义了* 模糊集间的运算,这些运算与一般模糊集间的运算是类似的.最后,借助扩张后的* 模糊集和上、下确界运算,给出了非标准扩大模型在模糊数学中的表现形式,并且从多种角度给出了一些非标准扩大模型的性质.