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

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

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

简介：最近的一年，诺基亚人的口中频繁出现的词汇已不再是“手机”，而是“互联网”。

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

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

简介：

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

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

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

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

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

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

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

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

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

简介：

简介：在讨论游戏设计师的培养和游戏教育之前，先谈谈两种类型的学习。在学校教育普及之前．人类几千年的历史上都是采用一种叫Master／ApprenticeRelationship．即大师，学徒模式的教育方式。简单地说．就是手工作坊式的师傅教徒弟。

简介：基于Poincaré映射方法对一类两自由度碰撞系统进行研究.经过详细的理论演算得到单碰周期1/n的亚谐周期运动的存在性判据,并能精确地找到亚谐周期运动的初始位置.表明碰振系统的周期运动研究可以通过解析与数值方法的结合去实现.数值模拟表明了亚谐周期运动的存在性判据的正确性,并通过计算Jacobi矩阵的特征值可判断周期运动的稳定性及分岔.

简介：如果你是一个精打细算．擅长理财的人，那么我想你一定会通过各种途径去寻找某件商品的特卖场。而商家们正是抓住了消费者们的这一心理。不管是传统购物还是网络购物，都纷纷推出限时一日的特价销售。但是你见过一天只卖一件商品的商店吗？现在就让我们和大家一起分享、领略—下这类网站的先行者——woof的独特风采。