函数式语言并行实现中并行颗粒度的动态控制

本文针对并行处理中并行颗粒度的控制问题，将惰性计值的延迟思想引入并行进程的生成过程中，并与文献［１，２］的ＬＥ计值语义相结合，提出了函数式语言的并行ＬＥ计值语义，由于采用ＩＨＲＥＡＤ来实现对并行归约子进程的延迟处理，使得并行计算进程在运行时可以动态增加其并行颗粒度，从而减少了一些不必要的细粒度并行性的开发，与文献［５］相比，由于基于负载的动态内联思想在延迟处理操作中的引入亦进一步减少了很大一部分延     

并行数据库实时多牌本并发控制协议性能研究

随着对实时数据库事处处理性能要求的不断提高，将并行数据库和实时数据库相结合的并行实时数据库将成为新的发展方向。然而通常的实时多牌本并发控制协议不适合并行数据库的无共享结构，比较了几种并发控制协议在无共享结构下的性能，该文提出了一种并行实时多牌本并发控制协议，它能有效地减省事务的重启，降低事务的错过率，在长短事务混合的情况下，它的性能比其它的并发控制协议更好，同时，它具有更好的可扩展性，作者利用仿真模型对该协议进行了性能测试，与其它协议进行了比较，并分析了实验结果，仿真实验结果表明该协议性能良好。     

基于重写技术的程序开发与验证

完整地介绍了一个基于重写技术的程序开发和验证系统,重点展示验证子系统的理论、方法 和技术.验证子系统使得系统能自动证明程序和规范中的优化规则及测试等式,从而进一步保 证程序开发过程的正确性.验证子系统所采用的主要技术是以成批证明方法和证据测试集为 特色的重写归纳方法.     

改性油脂乙氧基化物磺酸盐的性能测试及其在机洗餐具用洗涤剂中的应用

改性油脂乙氧基化物磺酸盐(SNS-80)是一种以植物油脂为原料得到的绿色环保的阴离子型表面活性剂,安全无刺激,可广泛应用于各类洗涤剂产品中.分别采用旋转黏度计、Ross-Miles泡沫仪、帆布沉降法、振荡法和改进的酸滴定法测试了SNS-80的黏度、发泡稳泡性能、润湿、乳化和钙皂分散力,并测试了SNS-80在室温和(95...     

基于PLC控制的电气火灾预警系统设计

电气火灾发生频率逐年增长，给居民造成巨大损失，现有的火灾预警系统敏感性较差，为此设计基于PLC控制的电气火灾预警系统。该系统由集成电路单片机、温度传感器、烟雾探测传感器、总线协议通信、GPRS无线通信模块以及无线局域网构成，经总线通信传送到PLC控制器中解析，利用贝叶斯理论计算数据特征量，通过融合三维数据完成信息决策，测算火灾发生的先知概率和后验概率，触发阈值标志位时发出线上线下联动预警。实验证明，所设计系统对火灾情况预测精准，且耗时较短，有效性和可靠性较高，鲁棒性较好。     

低泡表面活性剂AMEO的合成及性能研究（英文）

以壬二酸二单乙醇酰胺为原料，通过乙氧基化反应合成了一系列具有不同氧乙烯含量的壬二酸二单乙醇酰胺聚氧乙烯醚（AMEO-p,p=30,40,50,60,70）低泡型表面活性剂。通过红外谱图证明合成了目标产物，并测定了实际氧乙烯含量，其结果与理论氧乙烯含量基本一致。测试了系列AMEO-p的润湿性，去污性，泡沫性等应用性能，优选出润湿性能好，去污力强，泡沫低的AMEO-50表面活性剂。并对其表面性质与物化性能进行了系统研究。结果表明，AMEO-50的临界胶束浓度为0.5 g/L，平衡表面张力为31.21 mN/m。其质量浓度的增加会导致动态表面张力达到平衡的时间缩短，且表面张力降低的速率增快。另外AMEO-50可以与水任意比例互溶，无凝胶相区，具有高浊点，低凝固点的特性，是一种应用温度范围广、可用于超浓缩洗涤产品配方中的低泡型表面活性剂。     

地浸开采井场抽注单元优化设计研究

地浸开采井场抽注单元可能出现注液量大于抽液量的情况，造成部分浸出液扩散至溶浸范围之外。通过采区目标优化方法，对井场单孔抽注液量进行优化计算，能够实现采区每个抽注单元的抽注平衡，保持总抽液量大于总注液量0.5%,使浸出液尽可能控制在井场范围内。根据优化结果调整各抽注单元的抽注液量，可实现采区同时投产、同时退役。