Full Or-Parallemism and Restricted And-Parallelism in BTM

BTM is a new And/Or parallel execution model for logic programs which exploits both full Or-parallelism and restricted And-parallelism.The advantages of high parallelism and low run time cost make BTJ,an experimental execution system of BTM implemented on a nonshared-memory multiprocessor system,achieve significant speedup for both And-paralled and Or-parallel logic programs.     

用二甲基二氯硅烷水解物代替混合环体生产107甲基室温硫化硅橡胶

分析了１０７甲基室温硫化硅橡胶生产中造成粘度波动和收率较低的因素，通过改变原料，用二甲基二氯硅烷水解物代替甲基混合环体，提高了产品收率、降低了成本，粘度也易于控制     

新的钢铁工业结构与铁矿资源条件的能源优化模型研究

发展我国钢铁工业，资源和能源已经成为两个重要的制约因素。到本世纪末，我国钢产量达1．2亿t，所需资源必须有部分进口。本文论述了新的钢铁企业模型结构及采用部分进口废钢和铁矿石的能源优化问题。     

松软矿体有底柱高分段崩落法的改进方案

锦屏磷矿对其东山采区松软矿体所使用的分段崩落法做了集中快速采准施工、增加分段高度、实行水平或上向扇形深孔连续崩矿等改进,简化了采场结构,矿石损失率由原来的63％下降到改进后的20.34％,贫化率由23.92％下降到15.10％。     

EMMP: a highly efficient membership management protocol

Gossip (or epidemic) algorithms have recently become popular solutions to multicast message dissemination in peer-to-peer systems. Nevertheless, it is not straightforward to apply gossip to on-demand streaming because it often fails to achieve a timely delivery. To solve this problem and taking into account the characteristic of peers randomly joining and leaving in peer-to-peer systems, an Efficient Membership Management Protocol (EMMP) has been presented. Every node only needs to keep contact with O (log(N)) nodes, and EMMP can support the reliable dissemination of messages. Considering the “distance” between peers, it causes the major data to be transmitted in a local area and reduces the backbone’s traffic, and speeds up the dissemination of messages between peers. This paper has adopted the “goodfriend” mechanism to reduce the influence on the system when a peer fails or leaves. Simulation results show that EMMP is highly efficient, and both the redundancy and the delay of the system are well solved.     

斯伦贝谢Scanner家族新成员—R_t Scanner简介

本文详细介绍了斯伦贝谢公司最近推出来的测井仪器—Scanner家族的三分量感应测井仪R_t Scanner。该仪器可以同时测量纵向和横向电阻率以及地层倾角和方位角的信息。同时还能够得到标准的阵列感应成像测井剖面。在薄层和低阻油层解释以及储层各向异性分析中显示了独到的优势,文中给出了一个油田应用实例,最后介绍了R_t Scanner的仪器规格。     

高耸构筑物施工控制措施

通过具体工程实践,在吸收现有滑模工艺技术的基础上,对平台扭转、中心垂直度控制等关键工艺进行创新,为提高工程质量提供技术保证,达到了创省级优质工程的效果。     

鸭池河水电站压力钢管外压稳定性设计

采用解析法和半解析有限元法分别对鸭池河水电站埋藏式加劲压力钢管进行外压稳定性计算。在计算分析过程中,考虑了初始缺陷因素对埋藏式加劲压力钢管抗外压稳定性的影响,使得计算结果更加接近于工程实际;从而为埋藏式加劲压力钢管的外压稳定性计算提出了一种更加行之有效的方法。     

基于预前控制异步电机直接转矩控制方案的研究

在传统异步电动机直接转矩控制方案中，由于负载的变化规律不可预测，因此其常会带来较大的开关频率的变化，为此提出了一种基于预前控制的异步电动机直接转矩控制的方法。该方法依据前一个周期的磁链和转矩误差，对下一个开关周期所应施加到异步电动机的定子电压矢量进行预测，然后借助空间矢量PWM的方法，合成此开关电压矢量。样机实验结果表明，该方案不但能维持逆变器的开关频率基本恒定，而且还具有比传统直接转矩控制更为优良的动静态特性。