VRML及其在MPEG—4中的应用

VRML和MPEG-4是两个独立的标准，但它们之间却有着紧密的联系。VRML标准先于MPEG-4发布，并对MPEG-4有着重要的影响。本在简要介绍了VRML和MPEG-4后，着重介绍VRML在MPEG-4中的应用。     

一种嵌入式关系模型的形式化描述

在ＮＲ／Ｔ网的基础上，对基于嵌入式关系模型的数据库信息系统的行为，给出了一种形式化的描述方法，并设计了一个变迁点火执行算法。     

基于多色集合的概念设计产品模型形式化描述

为了实现计算机辅助概念设计,必须对概念设计产品模型进行形式化处理,以获得计算机仿真所要求的数学描述。本文针对现有模型的不足,提出了基于公理化设计的概念设计产品模型-域结构模板,并采用多色集合的方法对其进行了形式化描述,使得模型便于计算机表达和操作。     

强化注采调整提高盘1—21单元开发效果

盘1—21单元属复杂小断块油藏，1994年起由于油水井井况恶化，开发效果逐年变差。2002年以来，通过精细构造描述后共取消4条、增加1条、修改2条断层，重新认清了单元存在的主要问题和矛盾，明确了挖潜方向。采取”四步走”战略，连续4年稳升，年产油由1．17万吨跃升至1．7万吨，增加可采储量17．6万吨。     

支持与证据的形式化研究

关于不确定推量，从概率模型、可信度理论发展到证据理论和模糊推理，大大丰富了不确定推理的理论，在专家系统中的应用也日趋成熟，所有这些研究都是基于“一定意义”下的数值度量来研究证据与结论之间的关系，因而可以提出这样的问题，在非确定环境下，证据和证据对结论的支持强度的普遍含义是什么？这就涉及到支持和证据的逻辑基础问题。作者在文献[1]提出了支持逻辑和证据的初步概念，本文探讨了事态的形式化并且对支持逻辑和证据作了进一步说明和解释，对整个形式化方案作了肯定的说明。     

PLI-CRC校验码在EoS封装技术中的实现

EoS( Ethernet over SDH)技术结合了SDH和以太网两者的优势,实现了以太网数据在SDH上传输.针对硬件资源优化及EoS系统中数据帧长PLI的CRC-16校验码算法特点,提出基于FPGA的改进实现方法,通过电路仿真与综合结果表明,该方法实现了对高速并行化数据传输的有效保护,在资源消耗、实现效率两方面都取得了较好效果.     

世博会信息化需求的逻辑与策略

在现代信息化技术条件下,需求管理已经不是一项一次性的简单劳动了。需求的定义不再是对企业规划的八股解释,也不是对业务流程的亦步亦趋;而是按照本身的逻辑进行的系统性创新。需求的开发需要想象力,需求管理需要策略。"最小化"是信息化过程一种需要全局观、系统思维的创新手段。最高境界是达到"以不变应万变"。此外,信息通信领域的新技术、新的应用模式、新标准的出现,都可能带来对组织需求的重新思考,乃至推动企业创新。     

基于本体的网格资源匹配研究

<正>一、网格资源概述1.网格资源。随着网络信息化程度的不断提高,网络资源呈几何级数增长。但是由于网络和操作系统之间的异构性,不同系统之间的数据很难共享,因此,便形成了一个个的信息孤岛,资源的管理、共享及互操作难以完成。网格就是把整个因特网整合成1台巨大的超级计算机,从而实现计算资源、存储资源、信     

基于动态语义服务描述的服务匹配的研究

本文将动态描述逻辑与语义服务描述语言相结合，提出了一种动态语义描述方法来描述Web服务，并在经典服务匹配基础上进行改进，完善了服务匹配的类型，提高了Web服务的查全率与查准率。     

太湖流域台风与梅雨遭遇概率分析

台风与梅雨遭遇的可能程度及其后果对太湖流域设计暴雨调整、洪水资源利用方案制定与防洪实时调度决策具有重要意义.基于现有研究成果对遭遇现象产生过程的描述,选择＂台风影响太湖流域的时间＂与＂入梅时间＂和＂出梅时间＂分别作为刻画台风与梅雨现象的指标,依据1954～2009年台风与梅雨同步数据资料,在确定上述3个变量分布函数的基础上,给出了台风与梅雨遭遇的概率表达式;针对表达式的复杂性特点和求解需要,综合对比阿基米德copula函数族中3个函数的适应性后,以Gumbel Copula作为连接函数构造了台风与梅雨遭遇的联合分布函数;进而采用数值积分与蒙特卡洛2种方法对表达式（台风与梅雨遭遇的概率）进行了求解,最后对计算结果的合理性进行了分析.