纸张背衬不同衬底时的光反射率的研究

从理论上研究了纸张背衬不同衬底的光反射率，得出下列表达式：Ｒｂ＝Ｒｏ＋（Ｒ∞－Ｒｏ）×（１／Ｒ∞－Ｒｏ）／（１／Ｂ－Ｒｏ）（Ｂ为衬底的光反射率），该式简单实用且物理意义明确。利用上述公式，可将Ｔａｐｐｉ标准列出的Ｔａｐｐｉ不透明度Ｃ０．８９的换算公式简化，并可从理论上定性地讨论纸张不透明度与印刷透印性的关系。     

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％。     

转炉炼钢静态模型的初步探讨

根据转炉炼钢的物理化学反应机理，从质量平衡和能量平衡的计算出发，通过小参数变动，导出了增量式静态模型中矿石方程和供氧方程的系数。所得结论与新日铁资料基本相符。同时，还进行了炉料和产物的计算，分析了改变废钢比对生产的影响。     

Syntax and consistent equation semantics of hybrid Chi

The hybrid χ (Chi) formalism integrates concepts from dynamics and control theory with concepts from computer science, in particular from process algebra and hybrid automata. It integrates ease of modeling with a straightforward, structured operational semantics. Its ‘consistent equation semantics’ enforces state changes to be consistent with delay predicates, that combine the invariant and flow clauses of hybrid automata. Ease of modeling is ensured by means of the following concepts: (1) different classes of variables: discrete and continuous, of subclass jumping or non-jumping, and algebraic; (2) strong time determinism of alternative composition in combination with delayable guards; (3) integration of urgent and non-urgent actions; (4) differential algebraic equations as a process term as in mathematics; (5) steady-state initialization; and 6) several user-friendly syntactic extensions. Furthermore, the χ formalism incorporates several concepts for complex system specification: (1) process terms for scoping that integrate abstraction, local variables, local channels and local recursion definitions; (2) process definition and instantiation that enable process re-use, encapsulation, hierarchical and/or modular composition of processes; and (3) different interaction mechanisms: handshake synchronization and synchronous communication that allow interaction between processes without sharing variables, and shared variables that enable modular composition of continuous-time or hybrid processes. The syntax and semantics are illustrated using several examples.     

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的仪器规格。