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

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

三维麦克斯韦方程的对称分裂时域有限差分方法能量守恒性分析

考虑三维电导率为零的麦克斯韦方程的对称分裂时域有限差分(SS-FDTD)方法的能量守恒性.通过新的能量方法与差分算子δx,δy,δz,笔者首次给出了数值逼近格式SS-FDTD在离散的H1模下的能量守恒式,并证明了格式在离散的H1模下的守恒性.数值算例验证了格式解的能量守恒性.     

基于Google SketchUp的三维电子地图制作与发布

以华中师范大学校园为例,着重研究了基于Google SketchUp三维电子地图制作与发布方法.给出了其与CAD软件结合制作三维地图的解决方案,详细描述了各种地物模型的建造方法,并对某些特定地物做出了优化处理,最后实现了三维模型在Google Earth中的发布.研究表明,基于Google SketchUp的三维电子地...     

纳米材料在植物细胞生物学研究中的应用

纳米材料已广泛应用于药物载体、生物传感器、成像技术以及基因治疗等研究,相对于动物细胞而言,纳米材料在植物细胞生物学中的应用相对滞后,目前主要集中在量子点探针标记技术和纳米基因载体介导外源基因遗传转化两方面。据此,笔者主要介绍了近年来的量子点合成及功能化等方面的进展,特别对于在植物细胞成像中应用进行了评述。另外还介绍了纳米基因载体的种类和特征,以及在植物完整细胞或原生质体中介导外源基因遗传转化等方面的研究进展。笔者认为已有的纳米材料存在粒径过大或自身的细胞毒性过大,限制了其在植物细胞生物学中的进一步应用,所以针对植物细胞自身特征,设计合成新型的纳米材料将是未来研究的焦点。     

三蕊柳的组织培养及快速繁殖的研究

以三蕊柳的休眠芽为材料,进行了萌动芽的生长,不定芽的分化,试管苗的继代培养与留茬培养,生根苗扦插和移植的研究,成功地建立起三蕊柳快速繁殖技术.研究结果证明:MS+BAO.1mg·L-1 +GA 1.0 mg·L-1+ IAA0.2mg· L-1是休眠芽生长培养的理想培养基;1/2MS+BA 0.6 mg·L-1+ IA...     

关于带有有向图的G-非扩张映射的有限步SP-迭代方法的收敛性分析

在带有有向图的一致凸的Banach空间中证明了有限个G-非扩张映射的公共不动点的SP-迭代方法的强收敛定理和弱收敛定理,并给出数值例子论证该方法的优点.     

基金持仓与商品期货价格关系的实证研究——以铜期货市场为例

为考察基金操作行为与铜期货价格之间的关系,利用美国商品期货交易委员会公布的交易商持仓报告提供的持仓信息,采用Granger因果检验方法分析了国际基金操作行为与国际铜期货价格之间的关系.结果表明,价格收益率正向Granger影响基金净多持仓,即收益率上升会引起基金净多持仓的增加.但一般而言,交易商包括基金的净持仓并不引领价格变化.另一方面,瞬时Granger因果检验的结果显示,基金净持仓与期货价格之间存在互相影响、互为因果的关系.     

东北地区农田土壤对Cd2+的吸附特性研究

以东北农田黑土土壤为吸附剂,研究对Cd2+的吸附动力学、热力学吸附过程及影响因素.结果表明:土壤吸附Cd2+在60 min内达到吸附平衡,准二级动力学模型模拟吸附动力学过程效果最好(R2=0.999 3).通过Web-Morris颗粒内扩散模型和Boyd模型分析,发现吸附过程完全受土壤颗粒内扩散控制,吸附速率由膜扩散控...     

基于无线个域网的新型语音通信系统

分析了基于W PAN的语音通信系统(VoW PAN)的优点,设计并研制了应用在石油井场的VoW PAN系统.该系统包括音频网关和语音终端2部分,能够提供音频网关到语音终端之间点到点、点到多点的无线语音通信.通过采用高密度封装的蓝牙模块和集成化的设计,减小了系统的尺寸.针对语音终端待机时间短的问题,采用休眠模式、减小扫描窗长度、增大扫描间隔、关闭主机接口等措施,降低了功耗.通过分离音频网关的主机和射频前端,简化了天线的设计难度,降低了成本,克服了某些场合的屏蔽效应.采用规范的蓝牙通信协议,可以与普通的蓝牙产品兼容.经测试,系统的通信距离可达100m.该系统已成功应用于国内许多油田的井场控制.     

基于新型空间注意力机制和迁移学习的垃圾图像分类算法

随着我国各级政府大力推动垃圾强制分类,分类回收各环节中实现标准化、自动化的垃圾分类识别需要适合云端部署的高准确率、低延时要求的细粒度图像分类模型.本文发挥深度迁移学习的优势建立了一套端到端的迁移学习网络架构GANet (garbage neural network);针对垃圾分类中类别易混淆、背景干扰等挑战,提出一种新型的像素级空间注意力机制PSATT (pixel-level spatial attention).为克服类别多和样本不平衡挑战,提出使用标签平滑正则化损失函数;为改善收敛速度以及模型稳定性与泛化性,提出了阶梯形OneCycle学习率控制方法,并给出了结合Rectified Adam (RAdam)优化方法和权重平滑处理技术的组合使用策略.实验使用了"华为云人工智能大赛.垃圾分类挑战杯"提供的按照深圳市垃圾分类标准标注的训练数据,验证了GANet在垃圾分类问题中的显著效果,获得了全国二等奖(第2名);同时,提出的PSATT机制优于对比方法,且在不同主干网络架构上均得到了提升,具有良好的通用性.本文提出的GANet架构、PSATT机制和训练策略不仅具有重要的工程参考价值,也具有较好的学术价值.