基于完全有限前缀的过程实例表示图的分解

由于语义交织现象的广泛存在,导致过程模型的行为状态空间面临状态爆炸问题。完全有限前缀能够有效压缩过程模型的状态空间,但是会丢失部分任务间时序关系特征。该文提出时序保存的完全有限前缀(temporal-order protecting complete finite prefix,TPCFP)技术,既能在不丢失任何可达状态信息的前提下高效压缩状态空间,又能确保不丢失任何任务间的时序关系。通过从TPCFP叶子结点中不同的并发集合出发,逆向遍历直到初始状态,可以分解出代表过程模型所有过程实例的结构,称为过程实例表示图(execution instance representation graph,EIRG)。在实际过程模型集合上所做的实验表明该技术是高效和准确的。     

二元向量值多重小波包的双正交性质研究

给出了数量矩阵伸缩的二元向量值多重小波包的定义.运用傅立叶变换与积分变换,讨论了它们的双正交性,得到关于二元向量值多重小波包的双正交公式.     

议赏识教育与后进生的转化

后进生通常是指学习不努力、思想意识差、品德水平低、不求上进的那部分学生。虽然他们在班级中所占比例不大，但他们往往活动量大、影响面广，如果不重视对后进生的转化教育工作，不加强对后进生的正确引导，将会对教师的教育教学工作带来很大的阻碍。     

求解线性电路的驻点法

提出了求解线性电路的一种新方法－驻点法，它可以免去回路法，节点法中求自阻抗，互阻抗；自导纳。互导纳的工作代之以一些很简单的求异运算，它与传流的支路法、回路法、节点法相比更加易于掌握。     

基于非晶硅的红外焦平面阵列微桥结构的研究

近年来,集成非制冷红外焦平面阵列技术的发展和应用成为国内外研究的热点。本文从红外材料的确定,探测结构的选择入手,通过大量的流片实验,对基于非晶硅的非制冷红外探测微桥结构制作工艺进行了系统的研究,得到一套合适的工艺参数,并成功制作出160×120规模的微桥结构阵列。     

液相还原法制备纳米晶Cu-Ag合金粉末

研究了用液相还原法制备出平均粒径为75 nm、黑色无定形的纳米级Cu-Ag合金,该工艺优化的还原反应条件为:反应体系温度70℃,还原剂浓度为2.00 moJ/L,反应物浓度[CuSO4]=1.00 mol/L,[AgNO3]=1.00 mol/L,反应的pH=11.00.     

磷石膏脱水性能的研究

本文采用差热分析方法对几种石膏的脱水温度进行了测定,讨论了磷石膏在自然状态、干燥状态和负压状态下的脱水特性.     

基于深度学习的二维心脏超声图像分割模型在小规模数据集上的性能评估

目的:评估一种心脏超声分割算法:密集金字塔和深度监督神经网络(DPS-Net),在小规模数据集上的分割性能.方法:利用两个小规模心脏超声数据集,用于多结构超声分割的心脏超声采集(CAMUS)和HMC-QU数据集,在数据量和模型不同的情况下分别对DPS-Net进行对比实验.结果:DPS-Net在两个数据集上的性能随病例数...     

Morrey空间的小波表示

 许多常用的函数空间（如LpRn)）都有小波刻划,但Morrey空间Lp,δ(Rn)（1相似文献   

服务于山区村镇防灾的Geodatabase数据库设计

通过分析山区村镇地质灾害的特点和地质灾害的成因,总结出山区地质灾害防治中主要关心的指标。结合村镇防灾的危险性和易损性评价的要求,应用CASE工具,建立了应对于山区村镇防灾数据库,并对数据库进行了应用开发,实现了数据查询、浏览等功能。为山区村镇地质灾害实时评价系统的开发做出必要准备。