基于软件体系结构的反射工作流

提出了基于软件体系结构的反射工作流模型．作为元层的抽象软件体系结构和物理软件体系结构概念的分离,使得应用语义和实现技术相分离;映射元对象建立抽象软件体系结构到基层工作流任务结构的因果连接;行为元对象执行工作流实例的活动调度等功能．讨论了工作流活动和过程级别的动态性．     

PROMELA语义引擎执行研究

模型检查工具SPIN的核心是PROMELA语言,对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。该文从语义角度研究了PROMELA语义引擎问题。首先给出PROMELA语法的抽象对象模型形式化定义,然后给出一个算法来实现PROMELA语法到抽象对象模型的映射,描述了PROMELA指称语义。     

基于语义和访问权限的室内移动对象索引

随着无线通信和室内定位技术的发展,室内移动对象索引技术在基于位置的服务等方面越来越重要.室内场景结构复杂且形式多样,现有的室内移动对象索引技术的研究都是将室内实体抽象为单元,将移动对象抽象为查询点,不区分它们之间的语义,也不考虑对象和单元之间的访问权限.针对这一问题,研究了一种基于语义的室内移动对象索引方法,并提出了基于语义和访问权限的轨迹推荐查询算法.另外,将室内场景、移动对象的语义和访问权限信息进行了形式化定义,提出了一个新的室内语义模型.通过大量实验,从多个方面与现有室内移动对象索引方法进行对比分析,验证了所提索引的高效性和鲁棒性.     

基于语义层行为结构的变换对形式化格局识别技术的再探究*

程序的语义层是程序的词法层和语法层的抽象表达,而蕴涵在软件中的语义层构成了人脑思维与机器思维交互过程的中间变换,从程序的语义层出发,利用行为结构的高层表达进行软件理解,进而抽取设计决策,成为了软件逆向工程理论研究的热门课题,形式化格局识别技术在不同程度上表达了上述思想。基于以上分析,对格局识别技术作进一步探究,并在原有基础上提出了新的改进算法与实施技术。     

SPIN语义引擎执行方式研究

模型检查工具SPIN的核心是PROMELA语言,对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。本文从语义角度研究PROMELA语义引擎问题,首先给出PROMELA语法的抽象对象模型形式化定义,然后给出一个算法来实现PROMELA语法到抽象对象模型的映射,描述PROMELA指称语义。最后针对SPIN中atomic序列和同步通信等复杂问题给出解决方法。     

基于语义层行为结构的变换对形式化格局识别技术的再探究

程序的语义层是程序的词法层和语法层的抽象表达,而蕴涵在软件中的语义层构成了人脑思维与机器思维交互过程的中间变换,从程序的语义层出发,利用行为结构的高层表达进行软件理解,进而抽取设计决策,成为了软件逆向工程理论研究的热门课题,形式化格局识别技术在不同程度上表达了上述思想。基于以上分析,对格局识别技术作进一步探究,并在原有基础上提出了新的改进算法与实施技术。     

面向应用的Web服务组合设计和验证框架

针对Web服务组合设计规范缺乏形式化的语义和验证方法的问题,提出了一个自顶向下的Web服务设计和验证的框架-iFrame4WS。在iFrame4WS中,将Web服务组合的设计方案划分为描述层、抽象层和执行层,并通过抽象层的形式化模型和形式化验证来检查Web服务组合的正确性。     

操作系统对象语义模型(OSOSM)及形式化验证

操作系统的复杂性使得其安全性问题日益突出.有不少的研究工作采用形式化的方式对现有的操作系统进行了正确性的验证,这些工作主要是采用程序形式逻辑验证代码级的功能实现性.从系统设计的角度,以高阶逻辑和类型论为基础,提出了操作系统对象语义模型(OSOSM).OSOSM采用分层结构,包括基本功效层、实现层和优化层.OSOSM将操作系统中的行为主体和资源抽象为操作系统对象,建立操作系统的论域,利用以操作系统对象变元集合为定义域到论域的映射表示操作系统的状态,描述操作系统系统调用等行为的语义,使用逻辑系统的谓词公式表达操作系统的安全属性,给出如何验证操作系统在运行过程中保持安全策略和属性的形式化描述方法.以实现并经过形式化验证的可信操作系统(VTOS)为例,阐述OSOSM的语义正确性.使用Isabelle定理证明工具验证设计和安全需求的一致性,以说明VTOS具有预期的安全属性.     

基于Bayes算法实现图像语义分类

介绍了根据图像的逻辑特征和抽象属性进行检索的基于语义分类的图像检索技术,并用Bayes分类算法设计了一个语义分类器,该语义分类器通过计算用户要查询图像的后验概率,对被查询的图像进行语义分类。     

一种构造OWL本体的方法研究

在该文中,首先讨论了3种最常见的抽象(即包含、聚集和联系)以及他们在本体中含义,然后分析并用实例演示了3种抽象的OWL实现方法。当所有的语义联系都被识别和描述后,就产生了OWL本体的主干部分(即分类、对属性的约束、以及分类间的关系)。并提出了一种支持本体构造的语义分析方法,该方法可以识别和定义概念间的语义联系,并将概念间的语义联系映射或转换成OWL原语。     

A Novel Network Management Model Based on XML for Service and Resource

XML can allow for the interchange of data between management applications using different information models.Furthermore, CORBA technique is increasingly used in the management of service and resource in the heterogeneous network environment. As the scheme of information arrangement of CORBA is flat file style, which handles querying, deleting, and inserting information inefficiently, this paper puts forward a novel network management model based on XML in the domain of the management of CERNET (China Education and Research Network), which has used a tree structure of managed objects arrangement to provide efficient operation on managed objects. In addition, arrangement, definition, implementation and finding schemes for CORBA managed objects using XML are also given by the tree structure, and thus can arrange and retrieve managed objects efficiently.     

基于数据库的网管系统的设计与实现

网络管理系统以数据为中心。文章提出了基于数据库的多域网管系统的思想及模型。根据管理需求将被管对象ＭＯ（Ｍａｎａｇｅｄ　Ｏｂｊｅｃｔ）划分成域（Ｄｏｍａｉｎ）,每个域内实施特殊的管理政策模型以数据库为中心,将ＭＯ、ＭＩＢ以及采集到的数据全部映射到数据库中,可以将高层应用与Ｄｏｍａｉｎ　Ｍａｎａｇｅｒ分离,使高层应用全部建立在对数据库数据分析的基础上。     

一种改进的针对合著关系网络的链接预测方法

主要针对那些实体类标号属性未知的社会网络进行链接预测.由于实体的类标号属性与具体的社会网络有关,因此具体解决对作者之间合著关系网络图的链接预测问题.首先,给出了合著关系图的结构表示,然后把一个作者是否是多产的定义为合著关系图中作者实体的类标号属性.另外,还提出了一种改进的利用有指导学习进行链接预测的方法.在改进的链接预测方法中为每对作者新引入了一个特征属性--是否至少有一个是多产的.当所要预测的合著关系图中作者实体的类标号属性不完全已知时,用改进后的ICCLP算法对合著关系进行预测,以提高链接预测的性能.改进后的ICCLP算法中采用上面提到的改进后的链接预测方法.     

基于Web对象流行度的PPM预测模型

Web预取技术是减少网络延迟，提高服务质量的主要解决方案之一．利用Zipf第一法则和第二法则分别对Web高频区对象和低频区对象建立访问流行度模型，进而提出一种基于Web对象流行度的PPM预测模型,实验表明，该模型除继承了传统PPM模型简单易实现的特点外，在缩减模型规模的同时预测精度也有一定程度的提高，并且控制了由预取引起的网络流量．     

动态网络管理信息模型的设计与实现*

在参考国际标准化组织给出的管理信息模型的基础上,结合具体通信系统的特点提出了基于SNMP框架的动态信息模型的设计原则,即信息模型采用树型结构以反映动态变化网络中被管设备的信息、网络单元之间的连接关系以及分级管理的组织结构,从而形成一个完整的网络结构逻辑视图。该模型具有结构紧密合理,相关的数据操作准确、响应快速,数据加载、设备增删能很容易地实现等特点,有效地解决了动态网络管理系统中,节点管理中心对链路的动态管理及链路所辖设备的动态管理问题。最后用VC++和Oracle加以实现。     

基于SNMP++的MIB浏览器研究

MIB是一个保存网络管理信息的虚拟数据存储空间,由多组被管理对象组成;MIB浏览器是对被管理设备中SNMP变量进行管理的图形化网络管理工具。分析了开发MIB浏览器的难点,给出了实现一个基于SNMP++的MIB浏览器的关键算法。     

分布式网络管理系统中SNMP的开发与实现

SNMP简单网络管理协议广泛应用在基于TCP/IP网络的分布式系统中,用来实现获取和设置分布式环境中代理端的信息,以实现对分布式系统的有效管理。本文讨论了SNMP中的实体结构和开发过程等问题,在被管理的实体中,通过代理进程获取本实体的状态等信息,再发送给指定的管理站软件,也可用通过trap方式将本身的改变信息发送给管理站软件;在管理端的软件中,通过SNMP在网络上任何地方获取所有支持简单网络管理协议的网络节点的信息,并且对其进行远程管理和控制。     

Reliable Distributed Network Management by Replication

This paper presents a new clustering architecture for SNMP agents that supports semi-active replication of managed objects. A cluster of agents provides fault-tolerant object functionality: replicated managed objects of a crashed agent of a given cluster may be accessed through a peer cluster. The proposed architecture is structured in three layers. The lower layer corresponds to the managed objects at the network elements. The middle layer contains management entities called clusters that monitor and replicate managed objects. The upper layer allows the definition of management clusters as well as the relationship between clusters. A practical tool was implemented and is presented. The impact of replication on network performance is evaluated as well as a probabilistic analysis of replicated object consistency.     

SNMP网络管理中管理信息库结构与功能

本文详细论述了ＳＮＭＰ网络管理中的管理信息库结构与功能。     

基于移动代理的网络配置管理模型的研究

配置管理作为网络管理的功能之一,负责监控和管理整个网络的配置状态,调整网络设备配置以保持整个网络的正常操作。利用移动代理进行网络配置管理的目的是解决当前集中式网络管理所带来的管理信息流量大、效率低和灵活性差等问题。基于移动代理的网络配置管理模型利用移动代理分布式计算能力改进了传统的集中式网络配置管理模型,它能够适应配置管理功能的发展和变化,对网络进行高效、持续、实时和准确的配置管理。文中通过对该模型的构成、配置管理过程和特点等进行详细研究,充分说明了利用移动代理进行配置管理的可行性和优势。