基于顺序图的Web组合服务属性验证

为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作等基本元素,用类图构建静态模型,以便考虑Web组合服务数据相关属性;用顺序图对业务流程构建动态模型,以形象易理解的方式刻画组合服务的行为...     

信息熵的理解与验证

笔者在对信息熵原出处含义进行解读和对热力学熵原理进行理解的基础上,修正了信息量无限增加的理论解释.通过对计算机数据库中数据检索速度的测试,推导出速度公式,计算出每比特信息熵所需要的能量,发现实际数值与理论数值存在较大差异,得出布里渊的信息熵能量是信源与信道表面之间的熵变而非信源本身的熵变.     

PLC程序测试与验证的研究进展

可编程逻辑控制器(PLC)是一种在工业领域应用非常广泛的控制装置。随着PLC程序的规模和复杂性不断增加,PLC程序测试与验证已成为一个具有挑战性的问题。该文分析了PLC程序测试与验证的困难。从验证与测试两个方面,分别介绍了该问题的研究现状。对于每一个方法,分别论述了其基本思路、优势与不足。最后,根据当前研究的现状,展望了PLC程序测试与验证技术未来的发展。综合分析来看,PLC程序测试与验证的现有方法都存在比较明显的局限性,有待深入研究。未来可能的新方向包括结构化测试以及不同测试方法的融合等。     

基于MCU的SoC芯片版图设计与验证

设计应用于数字抄表系统的基于MCU的SoC芯片.芯片内部集成多个硬宏单元,采用数字和模拟分开放置的方式基于SMIC 0.18μm 1P6M工艺进行版图设计.进行等效验证、静态时序验证、后仿真和基于Virtuso环境采用Calibre工具进行的物理验证.研究和解决在版图设计和验证过程中碰到的问题.最终设计的SoC芯片满足...     

经济研究课题的选择

经济研究成败的关键是选择课题。经济课题的选择须根据客观需要与具体的内容和条件相适应。可采用浏览捕捉、追溯验证等方法进行选择。     

基于SAVI的IPv6校园网源地址验证方案及其实现

接入网源地址验证技术SAVI是实现网络端系统IP地址一级的细粒度的源地址验证技术.基于SAVI技术,研究并实现了IPv6校园网的源地址验证方案.在校园网IPv6试验网的测试应用中,该方案有效实现了真实源地址验证,可从源头上保证接入网络的安全性.     

一种指纹特征识别的可信验证数字签名系统

针对云计算定制和交付两个出入口的安全问题,提出一种以可信云安全计算为支撑,基于传统密码学数字签名技术,设计了以生物指纹特征为可信计算的验证数字签名技术模型。首先利用二值化和细化算法生成1个像素宽度纹线的指纹图像数学模型框架,提取框架中的指纹特征点,进行数字指纹特征点的拓扑结构等价变换,并进行非对称加密,实现了基于指纹特征识别的可信验证数字签名信任根。结果表明该方法具备生物特征"零知识"验证特点,具有抗攻击性强、加解密运算速度快的优势,从而提高可信云-端的用户安全防御能力。     

金属有机骨架封装的硅钼钒多酸催化苯乙醇选择氧化

以三种SiMoV_n@rht-MOF-1 (n=1, 2, 3)多酸基金属有机骨架为催化剂，催化苯乙醇氧化。通过对反应试剂和反应条件优化，配合物3在催化苯乙醇氧化的过程中显示出优异的催化性能，对苯乙酮的选择性高达99%。进一步对底物拓展发现，该配合物对多种不同类型的醇底物均具有高的催化选择氧化性能。为了验证自由基反应的机理，通过2, 2, 6, 6-四甲基哌啶-氮-氧化物(2,2,6,6-tetramethylpiperidine-1-oxyl, TEMPO)对反应自由基进行了捕获，证明了自由基的存在。进一步通过电子顺磁共振(Electron paramagnetic resonance, EPR)光谱捕获到了t-BuO·自由基，验证了SiMoV@rht-MOF-1催化醇氧化自由基机理。     

化腐朽为神奇：验证码蕴藏商机

互联网上的垃圾信息、自动代理程序和小广告日益猖獗，简直让人抓狂。最明显的一个例子要算访问某些网站时要输入的验证码了。这些字符扑朔迷离，几乎让人无法识别。现在美国波特兰的一家公司打算对传统的验证码系统发出挑战。     

RTK技术在潍坊城市测量中的应用

本文介绍RTK技术的原理和坐标转换参数的方法与过程,根据工作实践对RTK技术在城市测量的应用进行分析。