IPsec策略的冲突检测与协调

IPsec为信息在没有安全保护的网络中传递提供安全机制.但由于各种安全设备的安全策略描述不同,IPsec并没有被广泛采用.在分析各种异构网络和不同类型的通讯实体对通信安全要求的基础上,给出其IPsec安全策略的统一描述格式,以能够使各种安全设备、网络协调工作.在此条件下,给出设备、网络间策略冲突的简洁,高效的检测算法.最后,提出了一种策略协调算法,此算法能够提高网络的通信效率,并能够消除某些策略的冲突.     

用描述逻辑进行语义Web服务组合

针对面向服务功能的语义Web服务组合问题,特别是经典的人工智能规划方法无法有效地处理Web服务执行过程中动态产生的新个体,以及基于服务匹配的方法则无法充分利用服务I/O参数类型之间大量的语义关联等关键问题,通过动态逻辑和描述逻辑之间的对比研究,采用描述逻辑公理来刻画Web服务的IOPR(inputs,outputs, preconditions and results),扩展了基于动态逻辑的人工智能规划方法,提出了把语义Web服务组合问题转化为描述逻辑推理问题的方法,克服了经典的人工智能规划方法中的困难和基于服务匹配的服务组合方法的缺点.     

PROFIBUS在今日中国自动化的应用领域中发挥日益重要的作用

本文概述了PROFIBUS、PROFINET和PROFIsafe多年来在全球的迅猛发展,在今日中国的制造业和流程工业中被广泛地应用,并建立了独特的标准体系。文章从PROFIBUS技术的几方面论述其在安全、节约与增效方面的重大作用,而这些作用正是PROFIBUS深受中国用户青睐的主要理由之一。     

一种子句重构的增强Tableau算法

利用非循环定义的概念可展开的特性,提出一个基于子句重构的增强Tableau算法.采用最简洁的概念合取子句代替原来的子概念集对完整树/图上的结点进行标记,并设计一组推理规则以构建这样的完整树/图,从而消除传统Tableau算法中的∩-规则、∪-规则所带来的概念描述重复.因而在非循环定义概念可满足性判定问题上,空间性能有明显提高.此外,虽然文中只提供针对SI语言的规则和证明,可是这种处理思路同样适用于其它描述逻辑语言,因而具有一定的推广价值.     

瑞星不运行、不升级 敲敲键盘就OK

问题一打开就失败现象描述:打开瑞星杀毒软件时,出现找不到"rav.exe"文件、应用程序正常初始化失败等提示。问题分析:这种情况通常是病毒破坏了杀毒软件。解决方法:第一步:运行"卡卡上网助手",依次选择"卡卡→高级功     

精细积分在时滞车辆悬架最优控制中的应用

针对车辆悬架系统中状态和输入存在时滞的最优控制问题,结合科茨求积分和线性插值的精细积分法,将系统的状态方程引入到Hamilton体系下进行研究.依据最优滤波问题和带有时滞的观测器的双重准则,将时滞问题转换成非时滞问题,从而在全状态下对其方程进行精细积分求解.对带有时滞的114车辆悬架模型进行数值仿真,并与经典的数值算法进行比较分析.仿真结果表明,该方法具有很高的计算精确度和稳定性,并为车辆悬架系统的动力学分析提供了新的方法和手段.     

基于压缩域互补分割的视频多描述编码研究

鉴于数字视频在空间域及时间域上的信息相关性,提出在视频压缩过程中实现多描述编码的方法.算法以H.263为参考标准,在图块及运动估计的DCT域上进行系数划分,通过对少量重要信号的重复分配来保证单个描述的接收质量.同时,系数域的对角分割又使各个描述间具有较强的信号互补性.实验结果表明,算法具有描述冗余率低、编/解码直接快速、压缩率高等良好的MDC特性,是保障视频传输业务可靠性和实时性的有效方法.     

快速产品设计的新途径

一、什么是快速产品设计 在产品设计和开发过程中,虽已普遍使用计算机辅助设计技术,但仍然有许多产品由于种种原因最初并不是由CAD模型描述的。设计人员往往面对的是物体样件或人工制作的油泥、塑料或木质模型,需要通过一定途径,将其转化为CAD模型。成为新产品设计的基础。例如,尽管CAD软件的功能不断增强。但目前还无法完全满足复杂自由曲面零件造型设计的需要。在许多情况下,仍然需要由人工制作原创模型,经反复修改确定后,再采用测量装置进行数字化,转换成为CAD模型,称之为逆向工程。图1所示为造型工程师正在制作一辆汽车的1：6油泥模型。     

关联规则在图像数据挖掘中的应用

首先分析传统用在挖掘结构化数据关联规则的基本思想,然后分析图像数据的特征,找出图像数据与传统结构化数据的区别,最后结合图像数据的特性将传统的关联规则进行改进,并将它应用在图像数据挖掘中,挖掘出图像数据的相关性.