协议模型形式描述方法与趋势

本文分析了协议模型形式描述方法(自动机法,Petri-net法,高级语言模型,语义学模型,时态逻辑,代数模型,混合型模型)和特点,并简要介绍了协议形式描述技术的应用和发展趋势。     

基于细胞膜演算的Dryad形式化描述

由于Dryad编程模型的实现并不开源,导致关于Dryad编程模型的理论研究较为缺乏。本文利用细胞膜演算在描述并发系统的优势,对Dryad编程模型中任务执行过程进行了准确清晰的形式化描述,并对Dryad编程模型的容错机制进行了描述,最后通过一个实例检验了形式化描述结果。本文的形式化描述方法有效地丰富了编程模型的理论体系,为编程人员提供了任务调度的优化依据,同时该形式化描述还可作为验证程序正确性的辅助工具。     

数据清洗方法与构件的综合技术研究

为了满足分布式应用系统中的数据质量要求,需要设计数据清洗方法与构件的共享环境。提出了数据清洗方法与构件的综合模型,阐述方法模型、过程模型和构件模型,以满足使用构件时的检索和选用要求。通过一种网络映射图方法,描述过程模型与方法模型的组合特征,并给出了数据清洗方法实例。在数据清洗构件的描述方面,给出了基于形式语言的构件描述,采用XMLSchema设计了Header、Deployment、Form、Function和Implementation共5种刻面及其它们的子刻面。以数据删除任务为例,详细阐述了数据删除与恢复方法的设计过程和算法描述,给出了相应构件的XML模式表示与实现的操作界面。提出的方法与构件综合技术已在实际科研项目中发挥重要作用。     

一种基于角色的MDA模型转换方法

模型转换是MDA(Model Driven Architecture)中的关键技术,正成为一个新的研究热点.提出一种基于角色的模型转换方法,通过角色的分配和组合,灵活、自然地实现模型的转换.给出了其转换规则及形式化描述方法,介绍了该方法在Web应用程序建模中的应用.使用这些转换规则及形式化描述方法可以清晰地描述角色间的约束关系,有助于设计者实现角色的分配及组合.该方法特别适用于基于模式的软件开发.     

网上服务合成系统中的服务描述

为了解决服务合成中的服务描述这一关键问题,提出了一种基于输入-输出接口模型和数据流图模型的服务描述方法.用功能对象的概念表示通过网络连接的各种硬件、软件和多媒体资源,通过描述功能对象的输入-输出接口来表示用户所需要的资源.采用数据流图来表示所需资源之间的连接.根据以上基于输入-输出接口描述和数据流图的模型,提出了基于扩展标记语言(extensible markup language,XML)的服务描述规范,同时介绍了一个生成服务描述文档的客户端软件工具,并已应用于网上服务合成平台STONE(Service syn Thesizer On NEt)系统中.研究表明,基于输入-输出接口描述和数据流图的服务描述方法,是解决网上服务合成中服务描述的有效途径.     

基于时间Petri网的动画描述模型*

提出了基于时间Petri网的动画描述模型, 并结合面向对象方法对动画脚本中角色和情节进行描述, 用该模型来设计的一个动画脚本描述语言已经实现.     

武汉地区软土固结蠕变耦合性状模型研究

运用数理统计方法对武汉地区软黏土固结蠕变试验资料进行处理,得出了各试验曲线的经验公式;通过对经验公式的分析,建立了非线性弹性黏性固结蠕变模型,其中,以Duncan-Chang模型描述土体的瞬时弹性,以Burgers模型的一部分描述土体的黏弹性;对Burgers模型中的参数进行了改进,根据固结蠕变模型特征及试验资料,用数理统计方法求出改进的Burgers模型中参数的经验值。     

基于.NET平台的C#支持环境的研究与实现

阐述了基于.NET平台的新型语言C#的构件化开发支撑环境中的有关技术;提出了应用逆向工程技术获取C#构件模型和项目级构件模型的方法,应用模型描述技术及版本描述技术来实现C#构件模型版本描述、演化及跟踪管理;研究了C#构件模型库的核心技术;介绍了C#语言支持环境工具CsCST(CsharpComponentSupportTool)的设计和实现过程.     

基于多模态注意力机制的图像理解描述新方法

针对现有的图像理解描述方法存在描述句子不丰富、不准确、模型结构复杂、难以训练等问题,该文提出了一种端到端的基于多模态注意力机制(M-AT)的图像理解描述新方法。该方法首先通过关键词图像特征提取模型(K-IFE)提取更优的空间特征和关键词特征,并利用关键词注意力机制模型(K-AT)关注重要描述词语、空间注意机制模型(S-AT)关注图像更重要的区域并简化模型结构,且K-AT和S-AT两种注意力机制可以相互矫正,最终生成更加准确、丰富的图像描述语句。在MSCOCO数据集的实验结果表明该方法是有效的,部分评价指标有2%左右的提升。     

参数化的可重构系统抽象模型

为使可重构系统的设计空间搜索方法不依赖于任何具体的可重构结构,总结了描述可重构系统的结构特征参数,提出了可重构系统结构的层次 参数模型.该模型是一个层次化结构的通用模型,逐层向下由顶层结构、块结构、单元结构和功能结构4部分组成,每种结构代表一个层次.通过将各种参数代入模型中的各个描述项,可以描述影响可重构系统性能的结构特征.利用该模型分别对2种典型的动态和静态可重构系统进行了描述,应用结果表明,系统的结构特征均可通过自顶向下4层结构描述清楚,体现了模型良好的扩展性和通用性.     

基于HTML的Web信息元数据提取技术应用

介绍一种基于HTML的Web信息元数据提取技术的应用，包括扫描算法与Web信息元数据描述文档的介绍。     

元数据在数字图书馆的应用实践

讨论了元数据在数字图书馆的实施、相配套的建设环境，阐述了元数据对数字化信息资源的描述与整合、设计与维护数据库、用户使用数字图书馆的向导等方面的作用。结合中原工学院图书馆的实际，介绍了元数据的具体应用。     

基于元搜索引擎技术的新闻对象抽取方法研究

以w3c文档对象模型（DOM）为基础,利用元搜索引擎原理实现了一个互联网新闻自动抽取系统.该系统通过搜索引擎获取相关新闻的web页面,分析后得到其元数据,然后利用元数据表现出来的信息进行新闻正文抽取,该方法不依赖于原网页结构,不需要人工干预,是自动、可靠、通用的方法.试验表明,该抽取方法有着较高的准确率,平均可达到96%以上.     

面向快速响应设计的零件资源可重用建模与匹配

针对产品快速响应设计中零件资源的可重用需求,建立了扩展PLIB（ISO 13584）标准的通用零件模型.该模型通过基于PLIB标准元模型的描述层,实现了零件资源一致性的语义描述;通过引入操作层,实现了零件资源在具体应用环境中的功能扩展,并给出了零件资源面向对象的零件族分类组织结构.针对面向对象资源检索中需求域不明确的问题,通过相似性匹配度并结合零件族分类位置权重,给出了覆盖需求域的零件族逐步定位算法,优化了零件资源检索的过程.该方法在一个面向快速响应设计的Web零件资源共享平台上得到了有效的应用.     

分布式对象技术的研究与应用

在分布式对象技术中，应用程序可以分布在不同的系统平台上。通过对分布式对象技术J2EE的分析与研究，设计和实现了公路建设中公路工程计量支付系统．在实现过程中，重点介绍系统架构和组件的设计，以及部分组件的详细编码．同时，针对计量支付的特殊情况，提出和描述了一种改进的多层次用况模型描述法和基于职责的多层次分析模型描述法．     

数据仓库中元数据的表示模型

介绍一种对异质数据库、多媒体信息及其它信息源数据都适用的、统一的元数据表示模型.通过分析元数据的有关特性,比较现有元数据模型的局限性,用适合进行元数据表示和交换的语言XML来描述该元数据模型.该模型描述了结构化数据、半结构化数据及无结构化数据,具有可行性及可扩展性.为数据仓库中构造一致的元数据模型提供了一个示例.     

空间元数据与地理实体之间的同步机制

研究了地理数据库中元数据的存储方法,提出了一种基于模式的空间元数据存储模型,并设计一种基于"元关系"的元数据与地理实体之间的同步更新机制,较好地解决了元数据与空间数据的集成管理、同步更新的问题.     

基于元数据标准的岩画图像信息的表示和存储

为将原始的岩画信息转换为国际化的可持续研究的数字资源,通过对原始资源的分析和对国际流通标准的借鉴,设计了基于DC的岩画中文元数据标准,实现了该标准的RDF／XML描述,并且根据岩画元数据的特点和XML文档的结构化提出信息在关系数据库中的存储方案．研究实现了基于DC标准的岩画图像信息的表示和存储,使岩画信息成为可精确查询的网络流通的信息资源．     

基于分布式存储模式的XML对象迁移技术研究

XML正在成为Internet上数据描述和交换的标准,面向对象的特征具有很强的建模能力,将面向对象的特征引入到XML可以增强XML的描述能力,研究面向对象的XML时,往往会涉及到对象迁移问题.首先介绍了分布式存储模式,然后论述了分布式存储模式下的对象迁移.     

基于XML的空间元数据系统的研究与设计

空间元数据系统是网络环境下解决空间信息共享的主要途径之一，笔者探讨了建立空间元数据系统所涉及的一些标准和技术，重点介绍XML技术及其在元数据系统中的作用，同时，制定出元数据系统设计的原则．并设计出一种基于XML的空问元数据系统体系结构．