简介：该文基于Fcielogic_SDL_TTCN_Suite使用规范和描述语言（SDL：speci6cationandDescriptionLanguage）以及树表结合表示法（TTCN：TreeandTabularCombinedNotation））探讨了协议的形式化描述与一致性验证问题．给出了协议形式化描述与一致性验证的一般方法.

简介：近年来，中国零售业感受到供应链中低质量商品数据给行业带来的负面影响。为此，针对国际通用的数据标准在国内零售业的实际应用情况，中国物品编码中心（以下简称编码中心）专门就中国零售行业产品数据的现状进行了调研，了解到零供双方产品数据不一致的情况较严重，进而不难看出提升产品数据准确性对贸易企业间提升数据交互效率，降低信息维护成本的重要性，推动标准化数据与交互模式（如：EDI、GDSN等）在我国零售行业的广泛应用势在必行。

简介：SCVMM的虚拟机模板功能可以快速一致地提供虚拟机。

简介：遗传算法遵守着物竞天择、适者生存的原则,是人工智能领域中用于解决最优化的一种启发式搜索算法,是进化算法的一种。发展至今已经得到了广泛的应用,特别是在生产调度、神经网络、函数优化、模式识别等领域,遗传算法都发挥了很大的作用。本文主要是通过实现函数优化方面的例子来体现遗传算法的实用价值以及从遗传算法的变异概率方面尝试了改进。

简介：自《中国防伪报道》编辑部成立'读者俱乐部'以来,得到了广大读者的热情支持,感兴趣的读者纷纷来函、致电我编辑部,表达参加我杂志读者俱乐部的愿望。在此,编辑部所有同仁感谢广大读者的支持和厚爱,我们会继续努力,将杂志办得越来越精彩,回报广大读者的厚爱。

简介：随着以计算机技术、通信技术、网络技术为代表的现代信息技术的高速发展，随着发达国家从工业经济到基于知识和信息服务经济的转变，随着国际竞争的日益加剧，“在任何时候、任何地点访问任何需要的信息”已成为人们的迫切需要。因此，移动计算应运而生。

简介：

简介：在对支持向量机方法的概率建模时,传统的支持向量机方法在决定样本的分类类别时,基于输出概率建模的SVM微钙化点检测算法及实验结果

简介：贝贝最近开了个淘宝店,生意还不错。可每次来了新货都比较头疼,因为有几十上百张商品照片需要进行美化处理、更改大小、添加商品型号和防盗水印等一系列的操作。于是笔者给她推荐了光影魔术手,帮助贝贝一次性处理好所有淘宝照片。

简介：

简介：当使用微软Excel制作表格时．有的数据具有唯一性，比如电话号码、身份证号码、车牌号码等．这些数据冗长．容易输入错误。除了在录入数据时保证数据长度外．还要保证数据的唯一性。下面以MicrosoftOfficeExcel2003为例说明如何保证录入数据唯一性的操作步骤。

简介：有时你很可能会遇到这样一种情况：用户无法向某个特定域的人发送电子邮件。作为一名管理员，你的职责就是找出问题并解决它。

简介：普通用户对手柄的需求大多围绕在手感、兼容性以及操控这三点，恰恰这三个指标就是决定一款手柄是否出色的重要因素，从手柄圈新贵的致动N宣传页上可以了解到，它几乎完美地融合了用户对手柄的需求．现在我们就来看看这款手柄是否有这样出色的能力。

简介：通过Google或百度的图片搜索功能找到大批图片后，有没有什么办法一次性将它们保存到自己的硬盘中？

简介：本文提出了一种新的图像认证方法，这种方法能够区分图像是被恶意篡改还是无意篡改。图像认证是检测图像是否被恶意篡改，认证图像数据的完整性，同时能容忍压缩或噪声对原图像质量造成影响的一种新方法。本文通过提取图像的直方圆不变矩，作为认证码，然后利用奇异值分解的方法将这些认证码作为水印嵌入到原图像。实验证明，追种方法不仅适用于BMP图像篡改检测，还能比较准确地检测出被JPEG压缩后的图像是否被篡改，并可准确确定图像被篡改的位置，同时该方法抗几何失真性强。

简介：将广义微分求积法(GDQR)用于分析输流曲管的流致振动问题,这是一个新的尝试.基于输流曲管的面内振动微分方程,利用GDQR法使曲管系统在空间域上得以离散化,从而获得了输流曲管的动力学方程组.数值算例中,计算得到了输流曲管在几种典型边界条件下的固有频率以及曲管发生失稳的临界流速等,这些计算结果与前人的解析解结果吻合较好.此外,还给出了两端固定输流曲管典型的动力响应行为.研究表明,GDQR法极易处理输流曲管这一类动力学模型,精度令人满意,进一步的研究可望推广到输流管道的非线性振动分析中.

简介：通过在海洋平台顶部安装主动调谐质量阻尼器（AMD），研究了平台在冰荷载作用下的主导模态H∞控制．首先采用H∞方法与模态空间的平衡降阶法进行控制设计，然后基于虚拟激励法得到了系统冰致振动的解答，并应用此解答进行了广泛的参数研究，确定了平台减振效果最佳时的H∞控制器最优参数．通过该应用特例，以评价H∞控制器的有效性．结果表明如果H∞控制器的参数选择合适，则可以显著减小平台的冰致振动响应．

简介：对象校验码记录表用来记录各保护对象的哈希运算结果,（1）保护对象记录表,三是存储状态的数据少有系统级的完整性保护

简介：那么该任务集可调度,r3(a,那么任务i的响应时间即是Li(a)-a

简介：