分布式系统的假死锁检测

在分布式系统中把检测不存在的死锁称作假死锁(false deadlock)检测。本文证明了在两阶段锁定事务(transaction)系统中永远不会发生死锁。文内还提供了一种算法,用来在事务不是两阶段锁定时避免假死锁检测。     

实用运算放大器网络中的虚地性质

本文提出用一个理想电压控制电流源(VCCS)并接于嵌在一个倒相放大器电路中的实际运算放大器(OP.amp)输入端,虚地性质(VGP)可以扩展到使用的运算放大器单位增益带宽那样高的频率.文中给出用真正运算放大器的VCCS的实用电路.用互补变换法可得出非倒相放大电路图.     

从网络页面中提取信息：帮助你从一个HTML文件中获取所需数据的三个函数

有时候。Windows管理员的任务可能会是从一个HTML文件中提取指定的信息。但是如何高效而快速地提取这些信息是一直困扰管理员的一个问题，作者通过一个演示脚本实例详细地说明了解决该问题的最佳方法。[编者按]     

猪皮最佳湿脱脂方法之研究

我国制革工业以猪皮为主要原料.尽管目前纯碱供应紧张,可我们仍靠它脱脂.但大家均已知,仅用纯碱脱脂只能达到表面脱脂的作用,必须采用更加合理的脱脂工艺.为此,我们摘译了本文,供同行参考.本文作者之一的泰格博士是西德罗姆化学公司皮革部主任,他和他的合作者均是国际皮革界的知名专家.     

碳酸盐岩储层的构造控制热液蚀变

本期（2006年11期）《AAPG Bulletin》专辑的内容是碳酸盐岩及其储层的构造控制热液蚀变。这种蚀变涉及碳酸盐主岩的一系列岩相变化，包括硫化物矿床、热液白云岩和淋溶石灰岩，它在很多情况下都会对储层的类型、几何形态、性能和分布产生重大影响。在北美地区，热液白云岩（HTD）储层的勘探和开发已有很长历史，其最早的油气发现是在美国东北部的奥陶系莱马-印第安纳（Lima-Indiana）和其它构造带（Hurley和Budros，1990；Wickstrom等，1992），而目前在美国东北部和加拿大东部的密歇根盆地和阿巴拉契亚盆地北部的特伦顿-布莱克里弗（Trenton-BlackRiver）成藏层带及其他层位，仍继续有油气发现。     

FINMET技术对亚洲钢铁工业的适用性

FINMET是以未经造块的铁矿粉为原料、用天然气来制造还原气体的流化床直接还原工艺，由委内瑞拉FIOR公司(现名Brifer)和奥钢联联合开发，与基于球团的传统直接还原技术相比有诸多优点。     

太空监视飞行器（Inspector）

对“和平号”(Mir)和国际空间站(ISS)这类轨道站进行遥控视觉监视和环境测量，这是站上操作人员求之不得的。本文介绍一种按小型航天器家族克隆的太空监视器(Inspector)，1997年12月和平号空间站执行的一次验证飞行中证明了Inspector的这种监视能务，按照计划，Inspector将成为ISS的组成部分。     

价格传真

●黄金周后，笔记本电脑销售依然火爆； ●内存仍保持高价位，大容量内存销量萎缩； ●P965主板供货不足，中低端Conroe主板值得关注； ●19英寸宽屏液晶显示器成为近期最热销规格产品。     

微型飞片雷管的炸药冲击起爆

本文介绍的是用爆炸箔起爆器(EFI)，又称微型飞片雷管，对低密度猛炸药如PETN的冲击爆轰传递(STD)EFI用200nF的电容器形成，电容器可以充电至3．5kV，这个电压可使铜桥爆炸。金属等离子体的膨胀可以使厚度为25岬的Kapton飞片以大约4mm/μs的速度加速。以作用时间为函数的电流的理论和实验评估与Kapton飞片飞行时间的直接测算有关，为计算飞片系统对炸药的最佳起爆和速度创造了条件。用以与电子条纹高速摄影机连接的64光学纤维带(每根纤维的直径为250μm)为基础的光学方法对9mm长、6．5mm直径的炸药样品的STD过程定了性。所获得的结果，(z，t)曲线图和2ns瞬时分辨率，为爆轰速度，爆轰波(DW)阵面曲线和惰性层中DW产生的冲击波(SW)压力的评估创造了条件。用这种高瞬时空间分辨率方法(high temporal-spatial resolution method)可能鉴别DW传播中的速度脉动。这种结果还显示了飞片速度、起始密度对STD过程和DW速度值的影响。