一种基于Petri的服务组合测试模型和分析方法

测试用例选择是服务组合测试的重要内容,将直接影响服务测试的效率和正确性。采用Petri网分别对基本服务、组件和测试用例等组成部分建立形式化模型,进行形成整个服务组合的测试模型。基于模型的状态空间分析测试用例的选择和实施。借助Petri网的操作语义及相关理论,分析了该方法的有效性及正确性。具体实例结果表明:该方法能有效地简化服务组合的测试过程,有助于提高测试的质量和效率。     

垣曲县铜峪沟一带铜（金）矿赋存特征及找矿建议

山西中条山地区铜矿成矿地质条件十分优越。近年来,山西省地质勘查局214地质队在中条山铜峪沟-店子沟一带开展了铜（金）矿普查评价工作,通过综合地物化、槽探及钻探等工作手段,初步查明区内铜（金）矿赋存特征和成矿条件,并进行了重点解剖,在此基础上提出了进一步找矿建议。     

栲胶喷雾干燥条件对粉胶粒度影响的初步研究

<正> 有关喷雾干燥的文献中介绍了坚木、荆树皮、柯子栲胶液体的喷雾干燥条件:进风温度低于250℃,出风温度80—85℃,粉胶含水分4—8％;还指出了咖啡浸提液(与栲胶溶液相近似)喷雾干燥时进风温度、进料浓度对咖啡松密度的影响,以及单个咖啡液滴干燥时咖啡液滴形态的变化和最终形态。我国栲胶工作者做了大量工作。在保证粉胶质量的前提下,合理分配热风和应用旋转风,适当提高进风温度和进胶浓度,已使离心喷雾干燥装置(离心喷雾盘直径300毫米,转速7000转/分左右)生产能力提高到日产粉胶10—13吨。 关于喷雾干燥条件对粉胶粒度及其分布的影响,迄今未见文献报导。但是,在讨论栲胶液体喷雾干燥的基本原理、设计和计算时,都需要知道喷雾干燥条件、粉胶粒度及其分布,以及它们之间的关系,我们特对此进行了初步探讨。 一、试验方法与设备、仪器 本试验包括栲胶液体喷雾干燥试验和粉状栲胶粒度的测定。 1、栲胶溶液喷雾干燥试验 (1)喷雾干燥装置 为使试验条件尽可能接近生产情况,本试验采用丹麦制造的小型离心式顺流喷雾干燥装置。它包括压缩空气机(自配)、空气电加热器、干燥塔(ф800×600,     

粉煤灰加气混凝土砌体裂缝产生的原因及防治措施

对粉煤灰加气混凝土砌体裂缝产生的原因进行了分析,并从粉煤灰的品质、加气混凝土制品的生产、堆放等环节上加以控制以防治粉煤灰加气混凝土砌体裂缝,实现粉煤灰加气混凝土砌块的广泛应用．     

3D打印骨支架结构设计及其应力分布研究

骨支架的应力集中会导致结构发生开裂或坍塌,严重影响骨支架的承载能力。应力集中容易发生在孔与孔的连接处,因此,孔的形状设计是影响骨支架应力的关键因素。以1 mm×1 mm×1 mm的立方体为基础单元,分别构建了正方形孔、正六边形孔、圆形孔和立方密排单元4种三维模型,通过调整孔径获得不同孔隙率的单元体模型。使用有限元方法对单元体模型进行静态压缩数值模拟,结果表明,孔隙率为36%～66%时,最大应力最小的结构是立方密排结构,分别为5.50、7.18、10.53和15.41 MPa;综合应力分布云图和压缩等效模量图,得出立方密排单元结构的力学性能最好。采用选择性激光烧结技术制备立方密排单元结构的支架,该支架具有较好的抗压强度。     

一种新型超宽带平面单极子天线的设计

介绍了一种新型超宽带平面单极子天线,利用仿真软件分析比较了天线各部分参数对其性能的影响.采用介质敷铜板替代常规的金属面板作为辐射单元并在上面开孔,使天线的阻抗特性得以改善.按照仿真优化的参数制作的天线,经测试,该天线在1.2 GHz～3.5 GHz的频率范围内VSWR＜2,具有超宽带的工作特性.该天线结构简单,加工方便,制造成本低,具有较大的实用价值.     

低强度瞬态电磁场下动物细胞的电穿孔效应

用低强度瞬态电磁场处理动物细胞后,一些胞内蛋白可以溢出细胞,荧光标记抗体蛋白（ＩｇＧ）可以进入细胞,通过扫描电镜观察到红细胞膜上有电致孔洞,证实了低强度瞬态电磁场作用能起电穿孔。     

一种动态口令认证方案的研究与改进

分析研究了一种动态口令方案,针对其不足,对原方案中认证依据的产生以及连接认证依据的产生进行了改进,增强了原方案的认证依据产生和修改的灵活性,实现了连接认证双方协商产生,并保留了原方案的设计思想。改进方案提高了原方案的整体安全性,并更具实用性。     

一种本地验证的金融卡保护系统设计

设计了一个基于本地验证的金融卡保护系统,通过对持卡用户进行人脸摄像,以及相应图像变换处理,提取出人脸眼球、鼻翼、嘴角5个特征部位几何位置,计算出8个特征值,以此在金融卡应用终端对用户真实信息进行本地验证,确保银行卡使用安全。系统在VC++建立的模拟实验环境下,以200个模拟真实样本与20个模拟假冒样本进行测试,获得了良好的实验效果。     

低强度电磁脉冲对细胞膜穿孔的研究

采用新型超宽频带横电磁传输室ＰＴＥＭ Ｃｅｌｌ,在低强度脉冲电场（ＷＥＭＰＦ,电压１８７Ｖ,场强２０Ｖ／ｃｍ,频率３００Ｈｚ,脉宽５０ｎｓ或１００ｎｓ）作用下,鸡红细胞膜上出现直径０．１￣０．９μｍ大小不等的孔洞,被穿孔的细胞约占所观察细胞的１％,细胞穿孔率与照射时间无明显相关。另外,还观察到有１％的细胞虽未穿孔但有小泡从膜上凸出或出现凹陷;台盼蓝能进入人红细胞,红细胞体积都明显变大;ＷＥＭＰＦ能