Web服务自动化测试技术

赋时Petri网为装配序列规划提供了有效的建模方法,但其在求解最优装配序列时受到组合复杂性的严重制约。零压缩二叉决策图(ZBDD)是处理大规模组合集合和0-1稀疏向量的一种有效符号技术,能够有效缓解组合爆炸问题。将赋时Petri网与ZBDD结合起来,给出了一种求解装配序列最优解的有效方法。首先通过转换算法将赋时Petri网转换为等价的普通Petri网,接下来给出普通Petri网可达状态及迁移引发函数的ZBDD表示方法,最后基于ZBDD给出最优装配序列求解算法。实例验证表明,该算法在求解过程中通过隐式符号操作实现了Petri网的可达状态搜索,有效缓解了计算过程中的组合复杂性。     

批次过程控制——回顾与展望

批次过程是一类重要的化工过程.因其本身的灵活性及高效性,被广泛应用于半导体制造、塑料加工、生物制药等领域.针对批次过程控制算法的研究也得到了大批学者的关注.在近三十年中,批次过程控制理论得到了长足的发展.但由于过程本身复杂的动态特性,以及对控制精度要求的提高,现有的理论和方法仍面临着挑战.本文从批次过程的特性出发,分析了算法设计的难点,对几种重要的控制算法进行总结分析,同时讨论了未来可能的发展方向.     

基于自监督网络的DDPG算法的建筑能耗控制

针对强化学习方法训练能耗控制系统时所存在奖赏稀疏的问题,将一种基于自监督网络的深度确定策略梯度(deep deterministic policy gradient,DDPG)方法应用到建筑能耗控制问题中.首先,处理状态和动作变量作为自监督网络前向模型的输入,预测下一个状态特征向量,同时将预测误差作为好奇心设计内部奖赏...     

LA_AODV路由协议的仿真与性能分析

AODV协议以源到目的的最短路径或最短跳数作为路由度量参数。LA_AODV协议综合考虑无线移动自组织网络的路由层和物理层,提出了一种新的路由度量参数。首先介绍了LA_AODV协议,然后讲述在NS2中实现LA_AODV的方法,并详细分析仿真中的关键问题。仿真结果表明LA_AODV协议在保持AODV协议特点的基础上,具有吞吐量高、路由开销低、延时小的特点。     

具有紧凑标签的基于身份匿名云审计方案

云存储技术具有效率高、可扩展性强等优点。用户可以借助云存储技术节省本地的存储开销,并与他人共享数据。然而,数据存储到云服务器后,用户失去对数据的物理控制,需要有相应的机制保证云中数据的完整性。数据拥有证明（PDP,provable data possession）机制允许用户或用户委托的第三方审计员（TPA,third party auditor）对数据完整性进行验证。但在实际应用中,数据通常由多个用户共同维护,用户在进行完整性验证请求的同时泄露了自己的身份。匿名云审计支持TPA在完成数据完整性验证时保证用户的匿名性。在基于身份体制下,匿名云审计方案通常需要借助基于身份的环签名或群签名技术实现,数据标签的构成元素与用户数量相关,使得数据标签不够紧凑,存储效率较低。为了解决这一问题,提出一种基于身份的匿名云审计方案通用构造,使用一个传统体制下的签名方案和一个传统体制下的匿名云审计方案即可构造一个基于身份的匿名云审计方案。基于该通用构造,使用BLS签名和一个传统体制下具有紧凑标签的匿名云审计方案设计了具有紧凑标签的基于身份匿名云审计方案。该方案主要优势在于数据标签短,能够减少云服务器的存储...     

矩形窄缝通道内流动不稳定起始点计算模型评价

以未除气去离子水为工质,在P=1～15 MPa,G=500～2 000 kg/(m2 · s),ΔTsub,in=20～100 ℃,q=40～1 000 kW/m2的参数范围,以1 000 mm×25 mm×2 mm矩形窄缝通道内垂直向上流动条件下流动不稳定起始点的实验数据为依据,对Saha-Zuber,Levy,Bowring等人提出的预测OSV点关系式和Whittle & Forgan,Lee & Bankoff,Kennedy等人提出的预测OFI点关系式进行了对比分析.结果表明:建立在过冷沸腾基础上的这些预测关系式对OFI点的预测偏差大部分在±20%以内,而其预测结果在低热流密度下低于实验值,在高热流密度下预测结果高于实验值.同时,基于实验数据建立了一个流动不稳定起始点的计算关系式:qOFI=1.95,其预测偏差在±15%以内.与其它实验数据的对比结果表明:本文得到的关系式对其它通道也具有比较好的适用性.     

下降液膜的阴影成像法研究以及数值图像处理

下降液膜广泛运用于先进压水堆核电站的安全系统(如 AP 1000)和核能海水淡化系统.本文通过阴影成像法技术对下降液膜流动不稳定性进行了实验研究,获得了宽广的下降倾角范围内(β=0°～90°)的液膜扰动波的阴影图片,揭示了重力对于液膜扰动波发展演变的重要影响.运用数值图像处理方法研究了下降液膜扰动波的特性,定量分析了液膜扰动波的发展变化,迸一步证明了重力对于扰动波发展演变的重要影响,得到了下降液膜扰动波的4个特征区域,绘制了区域随雷诺数和沿程距离的演化图,揭示了雷诺数对于扰动波区域分布的影响.最后通过频谱分析得到了液膜扰动波的扰动频率,获得了与实验一致的结果.     

基于现场可编程门阵列的多路同步技术研究

介绍了基于现场可编程门阵列(FPGA)的多路同步机的研制.该同步机以FPGA为核心,与集成电路、晶体管分立元件相结合,实现对输入脉冲触发转换、脉冲成形以及驱动输出,最终产生多路同步触发信号.经过实验验证与参数测试,技术指标达到了设计要求,证明基于FPGA设计的同步机具有较高的可靠性与工作稳定性,满足物理实验的要求     

小立体角定量装置的建立及应用

为准确定量铀镀片镀层,重新设计了小立体角定量装置.为满足均匀性检测的需要,设计中考虑了楔型的滑动座以作镀层均匀性测量.本文介绍了小立体角定量装置的建立及对铀镀层定量和非均匀性测量的具体应用.     

基于PCI总线的WDM驱动程序设计

以基于PCI9054的CCD数据采集系统为例,介绍了WDM驱动程序的基本结构,分析了利用DDK开发的WDM驱动程序的主要例程,完成了PCI设备的中断响应和DMA传输功能.