一种基于Concurrent Apla语言的共享内存并发分布式算法2层验证方法

形式化验证共享内存并发分布式算法已成为当前极具挑战性的问题之一,尤其是在云计算、多核、无线传感器网络、分布式数据库、区块链环境下.该文基于研究团队在形式化规约语言和方法、算法形式推导和验证方面的已有工作,以自定义泛型抽象顺序设计语言Apla为基础,进一步研究并提出简明、高抽象用于并发分布式计算的Concurrent Apla语言,使其既支持顺序算法的验证又能有效地验证并发分布式算法.在依赖-卫式推理的基础上,提出一种新颖的2层并发分布式算法形式化验证方法,其中系统层用于处理并发级验证,而组件层用于处理顺序级验证.最后,通过2个实例验证了该方法的有效性和可行性.     

硅氧基苯基卟啉的合成及表征

本文首次将三甲基硅基、乙烯基二甲基硅基和二苯基甲基硅基接枝到四羟基苯基卟啉上,制得三种新型卟啉衍生物。采用质谱、核磁、元素分析和红外光谱表征了它们的结构并对它们的溶解性能进行研究。同时研究了不同取代基团卟啉、不同中心金属离子四羟基苯基卟啉的紫外-可见光谱,还进行了荧光光谱分析。     

《企业技术创新手册》即将推出！

读后感《企业技术创新手册》十分贴近现阶段上海乃至全国科技创新的大形势背景。任何一家(科技)企业要壮大、要发展,必定要创新,其核心是技术创新;而要进行技术创新,必然会面临复杂的管理和繁多的政策问题。解决好这些问题无疑直接关系到企业技术创新的效率与成败。因此,《企业技术创新手册》的出版,是顺应了当前企     

兴趣——音乐教学中最好的老师

《音乐课程标准》提出了音乐教学应"以兴趣爱好为动力"的理念.如果没有了"兴趣"这个动力,音乐课就无法实现其培养创造性思维和音乐审美能力的教育目标."音乐课应该充分发挥音乐艺术特有的魅力,在不同的教学阶段,根据学生身心发展规律和审美心理特征,以丰富多彩的教学内容和生动活泼的教学形式,激发和培养学生的学习兴趣."心理学也指出:人的情绪和兴趣,对人的认识活动有很大的影响,情绪高涨、精神愉快,认知效果就好;学习兴趣强烈,就会积极主动地学,喜欢学和坚持学.     

宁强县小杂粮产业现状与发展思路

小杂粮生产有改善人们膳食结构，加工增值，增加农民收入的重要作用。本文阐述了宁强县小杂粮生产加工现状和存在问题，提出了提高认识．制定规划，建立生产基地，重视科研和技术推广，培育龙头企业，延伸产业链，促进小杂粮产业发展。     

大口径桩基础施工中“接力钻进”的探讨与分析

＂接力钻进＂是指根据不同地层在同一孔段内选用两种或者两种以上的施工工艺而有效成桩的工艺。据此我们就中交四航局哈大客运专线五分部四工区新开河特大桥工程典型的工程实例进行进一步的剖析和探讨。     

城市窨井盖应用及研究进展

城市道路窨井盖工程是城市建设的一个重要细节，对窨井盖性能的研究是一项不可或缺的工程。分析了窨井盖行业市场。介绍了窨井盖的材料分类，各种材料井盖的性能，承载力分类和主要指标及试验项目。阐述窨井盖建设存在的主要问题，总结了现有的解决方法。最后对现有研究进行总结，并由现有研究提出一些新的研究方向，在各个方面提出发展方向，以为进一步研究提供参考。     

在高校大学生中开展责任教育的探讨

<公民道德建设实施纲要>中就公民的道德责任提出了具体的要求,那么高校学生德育教育应如何实施责任教育呢?笔者有意将"责任教育"提出来,结合自己在工作中的实践,对如何在高校大学生中开展"责任教育"作探讨.     

太原市开展生物技术发展预测的实践与探索

针对太原市生物技术发展领域预测工作的主要内容,阐述了太原市生物技术的发展现状和发展趋势,并就生物制药、化学药物、中药产业、农业生物技术、食品生物技术等在太原市生物技术领域的发展进行了论述,使有限资源得到进一步优化配置和利用,并在激烈的竞争中寻求发展之路。