Ada会合接续关系及会合接续复杂性度量——Ada会合关系并发复杂性度量研究之二

影响并发程序复杂性的最重要因素是任务之间的通讯和同步行为。我们认为这些行为表现为Ada程序中的会合和会合之间的关系。在这项系列研究里,我们要考察Ada程序中的会合、会合之间的关系和关系的分类,深入研究会合接续和嵌套关系,为接续关系引入接续图,为嵌套关系引入嵌套树,并给出构造这些图和树的方法和它们的一些性质。最后,我们建议AdaP程序P的并发复杂性CC(P)是接续复杂性SC(P)和嵌套复杂性NC(P)的加权和;SC(P)是可从Ada程序正文静态识别的会合关系构成的诸会合接续图的边数之和,NC(P)是诸嵌套树的加权节点数之和。文中还给出若干可静态断言程序死锁的充分条件。本文第二部分讨论Ada会合接续关系和程序的会合接续复杂性度量。     

走上成功之路──全省建材工业工作会议侧评

走上成功之路──全省建材工业工作会议侧评成功，是人皆所望，通向成功有其必由之路，这路可能曲折坎坷，亦可能笔直平坦，只是世上确有其路，人若获得成功，必先走上成功之路。一个资源优势产业，如何成为经济优势产业，走上成为全省支柱产业的成功之路，这是近期召开的...     

文南油田管柱解卡技术

一般来说 ,油田进入开发的中后期阶段 ,由于受生产开发的注采平衡、高压注水以及层间矛盾的影响 ,使生产井的井下状况日趋复杂 ,地层出砂、结蜡、结盐结垢、套管变形、水泥卡钻等 ,导致管柱被卡钻的情况时有发生 ,因此进一步研究管柱的解卡技术 ,才能更好的适应油田生产开发的需要。1　常见管柱卡钻的类型1 .1　砂卡、蜡卡 :主要是指在油井的生产过程中 ,由于受地层出砂的原因 ,常常造成地层砂进入套管 ,掩埋部分油管和井下工具 ,有时由于冲砂及水井放压时操作不当导致管柱卡钻 ,这是现场最常见的、发生频率较高的卡钻类型。另外由于部分油井含蜡量较高 ,因为生产情况变化引起的停井导致蜡卡。1 .2　落物卡钻 :这种类型的卡钻主要是指在井下作业施工中 ,由于井口操作人员不慎将小工具、钳牙、螺丝等掉入井内 ,将井下管柱卡住 ,造成落物卡钻。1 .3　套管变形卡钻 :由于套管的损坏 (缩径、破裂、错位、弯曲 ) ,造成管柱卡钻。1 .4　其他类型的卡钻 :如注水泥作业施工中水泥浆提前凝固 ,下入的封隔器不能正常解封 ,电泵管柱中的电缆脱落等造成的卡钻。2　管柱解卡前的准备工作2 .1　详细了解所卡钻具的管柱结构、工具及配件的结构...     

氧化锌的硫容分析方法探讨

从工艺和分析技术方面讨论氧化锌硫容的分析方法,并提出一种简单分析方法分析氧化锌使用后的硫容。     

一种改进的电子现金方案

TPM具有隐私保护能力和存储保护能力。使用盲签名可以实现被签名信息的匿名性,群签名可以实现签名者的匿名性。两者相结合可以实现双方的匿名性,从而实现交互的安全性。采用椭圆曲线算法ECC加密,可以提高系统运行效率。提出了一种基于TPM和群盲签名的电子现金方案,其主要目的是在保证系统安全性的前提下,提高系统的运行效率。并对方案进行了性能分析。     

草酸溶解Fe_3O_4的动力学模拟与反应机理

大气气溶胶中含铁的矿物在铁的生物地球化学循环中起着重要作用。Fe3O4是气溶胶中一类重要的含铁矿物。采用分光光度法测定Fe3O4在草酸中的溶解特征,分析Fe3O4溶解的速率控制机理并对溶解Fe3O4进行动力学模拟。结果表明,草酸溶解铁的过程可能是受运移和表面反应综合制约的溶解动力学过程,其他动力学模拟结果表明,草酸溶解Fe3O4控制机理比较复杂。     

硼酸—硼砂缓冲液中铁的孔蚀及缓蚀剂PC—604作用的光电化…

采用光电化学方法对纯铁在ｐＨ＝８．４的硼酸－硼砂缓冲液中的孔蚀现象及缓蚀剂ＰＣ－６０４的作用进行了研究。结果表明，加入不同量的缓蚀剂后，铁表面钝化膜的禁带宽度没有发生变化，但是光电流信号却随缓蚀剂量的增加而增大了。从光电流暂态谱的研究中首次提出了钝化膜的膜参数的概念，并用以衡量钝化膜的抗孔蚀能力。     

结合l1/2范数与显著性约束的背景减除

传统背景减除模型在背景静止和前景对象移动较快时提取到的前景效果较好,但当背景变化或前景对象移动缓慢时容易将动态背景误判为前景或检测出的前景有较多空洞。针对传统背景减除模型在动态背景和前景对象移动缓慢条件下存在前景检测精度下降的问题,提出一种基于l_1/2范数与显著性约束的背景减除模型。将观测数据分为低秩背景、运动前景和动态干扰3类,利用l_1/2范数约束运动前景加强前景稀疏性,有效抑制动态背景对前景提取造成的干扰,提高运动前景在动态背景中的检测精度。引入视频每一帧的显著性约束,通过对每一帧图像进行低秩稀疏分解来检测移动缓慢的目标。实验结果表明,该模型对于复杂场景具有较强的适应能力,可有效去除动态背景对前景的干扰,快速检测出移动缓慢的前景对象,相比于l_1/1/2-RPCA背景减除模型的平均查全率、查准率和调和平均值分别提升了9、14和10个百分点。     

流媒体视频存储服务器设计与研究

详细分析了在视频监控系统中流媒体视频存储服务器的作用和功能,针对传统的流媒体定时长存储方式的不足提出了"固定空间存储"的新策略.该存储策略将总空间初始化为多个固定大小的数据文件,每个数据文件中存储的流媒体时长可能是不相同的.针对新存储策略下出现的"1秒尾巴","事件尾巴"等新问题,提出了解决方案."固定空间存储"策略虽然增加了索引的复杂度,但是有效避免了磁盘碎片的产生,对于改善流媒体视频存储服务器性能具有重要作用.