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

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

不确定条件下的含存储时间有限的FlwoShop生产调度

针对企业中的不确定性因素 ,研究了不确定条件下的 Flow Shop生产调度问题 ,建立了基于模糊规划理论的模糊处理时间下的含存储时间有限型中间储罐的 Flow Shop的调度模型 ,将“中间值最大隶属度”算法从线性推广到非线性的调度模型中来 ,将模糊的优化问题转换为普通的优化问题 ,最后结合模拟退火算法 ( SA)进行优化求解 ,仿真结果证明了采用该算法的可行性     

防幼儿跌落窗户开口自动调节装置设计

近十年来,儿童爬上窗户坠楼造成伤害的事件在全国各地时有发生,为此分析市面上的智能窗户,发现目前并无专门防范儿童坠落的窗户装置。结合防护安全知识,分析2～8岁儿童的身高和步速,根据光电检测原理,设计能够根据身高检测传感器判断有无儿童经过以相应调节窗户开口大小的装置;进而对装置主要构成部分的动力输出、丝杠传动做详细的分析,并对运动箱结构进行精心的设计;运动箱利用椭圆长短轴之差和开合螺母的特性实现运动控制。研究结果可为专门防儿童爬窗坠落机构设计提供参考。     

基于多级深度特征与随机游走的显著性检测

为了解决图像显著性检测中传统方法特征学习不全面、复杂场景下显著区域凸出不明显的问题,提出了一种基于多级深度特征和随机游走的显著性检测算法。首先,利用全卷积神经网络,结合深层和浅层卷积特征信息对图像进行多级卷积深度特征提取;然后,对图像进行超像素分割,将提取的深度卷积特征分配给相应的超像素,构建特征矩阵;最后,通过正则化随机游走排序模型生成最终的显著图。在ECSSD和DUT-OMRON数据库上的实验结果表明,与6种具有代表性的显著性检测算法相比,文中算法的准确性和F值具有一定的优势。     

溶胶-凝胶法制备毛细管电色谱开管柱

近年来,溶胶凝胶技术在许多领域得到了应用.我们曾应用该技术制备毛细管电色谱开管柱并分离了一些芳香化合物[1].现在我们利用同样方法制备开管柱来分离碱性蛋白质具体做法是:首先用1ｍｏｌ/Ｌ的ＮａＯＨ溶液冲洗毛细管1ｈ,接着用水冲洗过夜,然后在氮气流中将柱子加热到180℃保温1ｈ;把2.5ｍＬγ缩甘油醚基三甲氧基硅烷,2.0ｍＬ乙酸乙酯与0.5ｍＬ水充分混匀,调节其ｐＨ值至4～5,在室温下搅拌水解6ｈ后将制得的溶液吸入预处理后的毛细管内静置约10ｍｉｎ,然后用氮气流以≤1ｃｍ/ｍｉｎ的速度将溶液冲出柱子,最后在氮气流下将柱子在140℃保温5…     

汉显图形式力矩限制器

介绍了点阵液晶显示屏ＤＭＦ５００８１以及通过ＳＥＤ１３３０和单片机的接口,分析了汉字显示和图形设计的方法,给出了主要的硬件电路框图和软件流程图     

微博垃圾评论检测与预处理技术

针对发表在微博上评论信息的特点,尤其是那些广大网民用户不愿看到的垃圾评论信息进行了深入研究．归纳了网络上垃圾评论的存在形式和类型,将垃圾评论分为社会网络垃圾评论和普通垃圾评论．为了有效地检测与过滤微博中评论垃圾,提出了一种微博垃圾评论数据预处理的过程和方法,将预处理后的评论信息作为分类和检测的基础．     

基于一维光子晶体结构的温度可控光学膜系设计

采用热致相变材料VO2作为缺陷层,ZnS与MgF2作为周期性排列材料,设计了一种基于一维光子晶体结构的温度可控的光学膜系.由于VO2具有特殊的热致相变转换特性,光子禁带中的透射峰强度会因外界环境温度的改变而改变.所设计的一维光子晶体结构光学参数通过理论计算方法进行拟合,透射谱数据可根据传输矩阵法进行计算.研究结果表明,所设计结构具有良好的光学调节性能,在常温时的透射峰强度是高温状态下的40倍,并且透射峰位置可以根据入射角度的变化进行微调.所设计的基于一维光子晶体结构温度可控光学膜系具有较高的温度透射比、透射峰位置微调以及良好的双向温度调节性能.     

博后筛的改造及应用

钱营孜选煤厂在设计、建造之初选用了两台徐州博后选煤机械有限公司生产的BHS40100型博后筛（筛面尺寸：4．0m×10m：筛孔尺寸：6mm）来满足潮湿细粒级粘性物料的筛分,但在实际生产中存在较多问题：筛丝易于变形、损毁且单块筛板重量较大。筛板需时常更换：在更换筛板的过程中,人员须进入筛子内部后使用爬梯登高拆除及安装筛板底部螺栓,