形式化描述驱动的数据帧解析与处理

在过程工业的数据采集和通讯领域中,数据帧是较为常见的一种数据形式。对于同一应用领域来说,建立在数据帧基础上的操作要求通常是相同的,但在不同的具体工程项目中,需要处理的数据帧的格式却经常不同。为了对不同格式的数据帧进行解析和处理,可以用形式化描述的方法对数据帧的格式进行描述,在形式化描述的驱动下实现与数据帧格式无关的数据帧解析和处理,从而避免分别为不同的数据帧格式编写相应的解析和处理程序,使数据帧的解析和处理程序具有更好的灵活性和普适性。论文讨论了基于形式化描述驱动的数据帧解析与处理的实现方案。     

ODP系统企业观点的形式化描述

ＯＤＰ系统的企业观点反映了开放分布式系统对象之间的合作关系，本文以模态逻辑为工具来讨论企业观点下ＯＤＰ系统的形式化描述方法，通过在合作的系统对象和模态逻辑的可通界关系之间建立联系，并使用多值逻辑来计算模态命题真值的方法来形式化地表述系统对象之间的合作关系，并用这种方法建立了一组共同体的存在性约束规则。     

面向对象数据模型的形式化描述

面向对象数据模型的形式化描述尹七春，柳诚飞，邵志清（华东理工大学计算机科学系上海２００２３７）ＴＨＥＦＯＲＭＡＬＩＳＭＯＦＯＢＪＥＣＴ－ＯＲＩＥＮＴＥＤＤＡＴＡＭＯＤＥＬ￥ＹｉｎＱｉｃｈｕｎ；ＬｉｕＣｈｅｎｇｆｅｉａｎｄＳｈａｏＺｈｉｑｉｎｇ（Ｄｅｐ...     

面向对象系统耦合性度量方法的形式化描述

对面向对象系统的耦合性进行了分析，对现有的度量方法进行了评述和比较，给出了面向对象系统的有关术语的形式化描述方法，提出了基于形式化描述的综合耦合性度量框架。     

半结构化数据的形式化描述及数据抽取方法研究

半结构化数据的形式化描述和信息抽取是解决用户查询和信息获取的核心问题。随着信息资源的多样化和快速膨胀,现有的描述和抽取方法存在召回率和查准率低等缺陷。为解决此问题,提出一种新的半结构数据形式化描述方法,重新定义领域概念集和领域知识集,并在此基础上给出领域概念集、领域知识集的构建过程,包括领域概念的自动抽取、领域知识集关系自动构建和相似度算法描述。实验结果表明,所提出的描述方法比现有方法具有更高召回率和查准率,具有很好的可行性和有效性。     

多媒体命令分析器的形式化描述

本文通过讨论多媒体演示程序的分类和特点,重点阐述了命令分析器在计算机技术和自动控制技术中的生要性和实用性;引入了完备自动机作为定义命令分析器的一种抽象数学模型,并用模型给出了命令分析器的形式化描述。     

阅卷信息的形式化描述及其应用

本文介绍了阅卷信息的形式化描述应用于阅卷系统的优势,并简单介绍了其实现方法和实现过程。这种形式化描述方法可以提高阅卷系统的独立性、适应性,延长其生命周期,并可广泛应用于其他领域。     

并行算法的FP描述及其脉动化的判定

本文通过引入流及流上的递归方程,增强了FP表达并行算法的能力,有效地克服了用FP描述循环数据依赖及状态记忆的困难,文中给出了并行算法的FP描述及其可脉动化的判定定理。同时说明,许多在图上研究的脉动方法可以方便地应用到用FP描述脉动化的研究中去。     

动态描述逻辑推理的并行计算技术

在设计用于处理大规模本体和数据的推理引擎时,推理引擎的可扩展性是一个需要研究的重要问题.动态描述逻辑要在真实环境中获得成功应用,需要在推理中采用并行计算技术.提出了两种方法将并行计算技术应用于动态描述逻辑推理.方法1是设计分布式动态描述逻辑框架.分布式动态描述逻辑由若干独立的动态描述逻辑所组成,这些动态描述逻辑两两之间通过桥规则联系起来.提出了基于Tableau的分布式推理算法,从而为分布式动态描述逻辑提供了全局推理能力,并且该算法可以将大的推理任务分解为若干子任务,而这些子任务可以被不同的推理主体并行处理.方法2是并行化动态描述逻辑的Tableau算法的不确定分支.不确定分支的并行计算使得推理任务可以在若干独立机器上同时执行.最后,介绍了推理引擎的原型实现并评估了其性能.实验结果表明提出的两种方法取得了明显的推理加速效果.     

MCC-SIMD数据并行卷积计算方法的研究

主要研究卷积计算的数据并行方法在MCC-SIMD计算机的设计和实现问题。在参考国内外现有资料的基础上,从图论的角度用卷积路径的方法对卷积计算的有关概念进行了严格的形式化定义;分析了4-连接卷积路径下数据并行卷积计算时处理元阵列的移动规律;在此基础上给出了数据并行卷积计算算法;最后对算法的计算复杂性和通信复杂性进行了简要分析。文中还对有关结论进行了证明。     

区域生长法图像分割的数据并行方法研究

针对基于区域增长的图像分割方法,讨论和研究了其数据并行实现方法,证明了这种数据并行方法的正确性,并简要对算法性能进行了分析。对有关结论进行了仿真验证,结果表明,这种基于区域生长法的图像分割的数据并行方法是正确且切实可行的。     

并行遗传算法在非均衡负载节点并行机上的实现

基于平衡负载、减小通信开销的考虑,对于非均衡负载节点并行机提出了两种并行遗传算法一动态负载平衡的孤岛模型和主从模型,并与基本的孤岛模型做了比较。两种算法在实际使用中均取得了较好的效果。     

一种计算机网络侦察的数据融合算法

计算机网络侦察是网络战的一个重要环节,如何对大量的来自不同侧面的网络侦察数据进行有效的融合是其中的一个难点问题。该文分析了计算机网络侦察信息的特点以及计算机网络侦察信息融合处理的特点,基于可能性理论和模糊综合函数理论提出了一种计算机网络侦察目标识别模型和计算机网络侦察数据的时空数据融合算法,并讨论了时空数据融合算法间的相互关系。     

一种带数据整数规划的新型并行自平衡PSO算法

为有效解决标准粒子群(PSO)算法在进化后期缺乏多样性且精度不高的问题,利用多核系统及实际高校地理数据,给出一种高校数据的整数规划方法及并行自平衡PSO算法模型来并行求解高校路网问题,同时体现算法性能。将自平衡机制采用多核系统并行处理方式生成相互独立的子群体,每个子群体间并行求解,最终生成主群体最优路径即高校路网。在Visual Studio2005.NET环境下用C++编程实现仿真。实验结果表明,此算法从求解精度及计算时间两个重要方面综合改善了算法性能。     

基于模拟退火机制的多种群并行遗传算法

模拟退火和多种群并行遗传进化是两种较好的改进遗传算法性能的方法 .将这两种思想有机地结合起来 ,提出了一种基于模拟退火机制的多种群并行遗传算法 .仿真结果表明 ,该算法不仅能增强算法的全局收敛性 ,还能加快遗传进化速度 ,得到满意的全局最优值 .     

数字图像几何变换的数据并行方法研究

针对SIMD计算机上的数字图像的几何变换问题,提出了一个新颖的基于阵列平移的数据并行实现方法。在此基础上,给出了数字图像几何变换的数据并行实现算法,并详细分析和讨论了算法的复杂性以及精度要求。     

XML数据查询的并行算法

目前已经提出了多种查询XML数据的方法,然而这些传统的方法不能充分利用多处理器和多核心处理器的优势。本文提出了一种XML查询的并行算法,大幅提高了共享存储器多处理器、多核心处理器系统中XML数据的查询效率。     

基于资源的需求描述方法

针对需求分析中的系统需求描述问题,本文提出了一种以资源描述需求的方法,分析了这种方法与传统需求描述方法的异同;实现了对资源及需求的形式化描述,并详细讲述了获取需求的过程;最后给出了需求的存储形式和需求同资源的映射算法。