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

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

软件测试认识误区之探讨

随着信息化产业的蓬勃发展,生活水平的提高,软件已成为企业乃至家庭最常见的产品,而有些软件的质量实在不敢恭维,总是会出现这样那样的问题,究其原因最主要的就是软件测试环节出了问题：,软件测试是软件质量保证的主要手段之一,由于一些软件开发商和客户对软件测试存在认识误区,在软件项目开发的过程中对软件测试环节重视程度不够,最终导致新软件总是很难达到客户的预期需求,客商矛盾激化,甚至对簿公堂。所以本文就软件测试的认识误区做了以下探讨。     

基于Petri网工作流过程模型合理性验证方法

为保证工作流建模过程的正确性,对基于Petri网的过程建模中存在的潜在错误进行了归纳和总结,分析了合理的工作流过程模型应该满足的条件和要求,并针对自由选择网提出了一种有效的合理性验证算法.实验证明,该算法在实际应用中具有可操作性,有较强的现实意义.     

运输类飞机CCAR25.671(d)适航符合性验证方法探讨

本文对运输类飞机CCAR25.671(d)适航条款要求进行了分析探讨,提出适航符合性验证的方法建议,从设计考虑、分析计算、安全性分析和试验验证,针对每一种符合性验证方法给出了具体的实施方法和要点。     

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

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

滚筒制造中CO_2气体保护焊打底工艺的应用

在滚筒制造过程中,对环形对接焊缝采用CO2气体保护焊打底单面焊双面成型,然后用埋弧焊盖面工艺,本文对此工艺进行论述与验证。     

Asp．net网站开发中实现弹出对话框

通过对Asp．net网站开发中实现弹出对话框的介绍，说明在开发整个网站中所使用的三层架构、可空类型数据与数据库交互、用户输入验证与字符串转换输出、验证控件的封装与样式、弹出对话框的数据提交和样式部局、铡览器对于CSS样式的兼容性测试和提高上网用户的体验等技术和问题。     

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

以三种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催化醇氧化自由基机理。     

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

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

一种加法交换律和结合律的验证方法

依据"数位对齐、逢十进一"的运算法则,结合十进制加法表,给出了验证加法交换律与结合律的一种方法。