高压断路器的更换技术和日本的更换量化准则

叙述了高压断路器更换的理由,高压断路器的寿命、影响寿命的因素和合理的更换时机。还介绍了日本推荐的两种更换高压断路器的量化准则。     

无线局域网研究

介绍了WLAN概念,以及WLAN与有线局域网相比具有的优点,同时给出了WLAN的组网方式和所遵循的协议规范以及在安全性方面如何实现,以实例体现了WLAN在公司办公室中的具体应用。     

Performance comparison of 100Base-T fast ethernet and 100VG-AnyLAN

There are two competing technologies for 100 Mbps Ethernet, namely IEEE 802.3u 100Base-T Fast Ethernet and IEEE 802.12 100VG-AnyLAN. The former technology is based on the same medium access control protocol as the popular IEEE 802.3 CSMA/CD network, while the later is based on a new demand priority protocol. Contrary to common belief, a test conducted recently by Newman and Levy using commercially available adaptor cards and hubs showed that 100Base-T networks outperformed 100VG-AnyLAN networks with similar configurations by a significant margin. From the analytical models developed, we found that the anomaly is due to the larger-than-expected overheads incurred by the 100VG-AnyLAN hub in polling every station in the network in a round robin manner.     

铝箔合卷机多电机系统的速度控制

对铝箔合卷机多电机系统的速度控制进行了阐述，认为定期、定时调整传送辊转速是确保合卷机各传送辊线速度误差不超过2％的关键，从而使铝箔的产量和表面质量稳步提高，取得了较好的效果。     

基于并行设计思想的薄壳屋面造型研究

以自由曲面薄壳屋面概念设计方案为对象，基于并行设计思想提出了一套可供参考的评价最优建筑造型方案的方法。以整体结构的应变能最小作为自由曲面薄壳屋面优化选型的目标函数，将方案的形状优化和拓扑优化目标函数相统一，从而对初始造型进行优化设计，确定了符合结构整体应变能最小的最优建筑造型方案，并通过具体数值算例证明了所选方案的合理性。     

棉型服装面料服用性能测试分析

通过使用悬垂仪、耐磨仪、撕裂仪、透气仪以及折皱弹性仪对棉及棉型织物的各主要服用性能指标进行测试，采用灰色关联的方法分析织物的悬垂性能、透气性能、折皱弹性性能、撕裂性能、耐磨性能等服用性能与主要影响因素(织物的规格，结构)之间的关联程度，分析最终对纺织品面料外观、舒适性、耐用性和保养性的影响。     

Inductively Verifying Invariant Properties of Parameterized Systems

Verification of distributed algorithms can be naturally cast as verifying parameterized systems, the parameter being the number of processes. In general, a parameterized concurrent system represents an infinite family (of finite state systems) parameterized by a recursively defined type such as chains, trees. It is therefore natural to verify parameterized systems by inducting over this type. However, construction of such proofs require combination of model checking with deductive capability. In this paper, we develop a logic program transformation based proof methodology which achieves this combination. One of our transformations (unfolding) represents a single resolution step. Thus model checking can be achieved by repeated application of unfolding. Other transformations (such as folding) represent deductive reasoning and help recognize the induction hypothesis in an inductive proof. Moreover the unfolding and folding transformations can be arbitrarily interleaved in a proof, resulting in a tight integration of decision procedures (such as model checking) with deductive verification.Based on this technique, we have designed and implemented an invariant prover for parameterized systems. Our proof technique is geared to automate nested induction proofs which do not involve strengthening of induction hypothesis. The prover has been used to automatically verify invariant properties of parameterized cache coherence protocols, including broadcast protocols and protocols with global conditions. Furthermore, we have employed the prover for automatic verification of mutual exclusion in the Java Meta-Locking Algorithm. Meta-Locking is a distributed algorithm developed recently by designers in Sun Microsystems for ensuring secure access of Java objects by an arbitrary number of Java threads.     

Upper to lower body muscular strength and endurance ratios for women and men

Abstract

This study examined possible gender differences for relative upper (elbow) to lower (knee) body strength and endurance, as well as relative flexion to extension strength and endurance. Seven women and nine men who were matched for both upper and lower body aerobic power were tested on an isokinetic strength instrument. Absolute isokinetic strength was lower (P<0-01) for the women than the men for all measurements. When strength was expressed per lean body weight, the women were weaker (P<005) only for elbow flexion strength. The women had a lower (P<005) upper to lower body strength ratio for flexion, but not for extension. There were also no differences (P>005) in isokinetic endurance fatigue decrements, or upper to lower body endurance ratios between genders. These data indicated that there were differences in absolute strength between the genders, but strength per lean body weight, as well as upper to lower body ratios for strength and endurance were similar for both genders. It was recommended that aerobic fitness and level of training be taken into account when strength and endurance were compared between the genders.     

Role of CD4+ T Cells in the Control of Viral Infections: Recent Advances and Open Questions

CD4+ T cells orchestrate adaptive immune responses through their capacity to recruit and provide help to multiple immune effectors, in addition to exerting direct effector functions. CD4+ T cells are increasingly recognized as playing an essential role in the control of chronic viral infections. In this review, we present recent advances in understanding the nature of CD4+ T cell help provided to antiviral effectors. Drawing from our studies of natural human immunodeficiency virus (HIV) control, we then focus on the role of high-affinity T cell receptor (TCR) clonotypes in mediating antiviral CD4+ T cell responses. Last, we discuss the role of TCR affinity in determining CD4+ T cell differentiation, reviewing the at times divergent studies associating TCR signal strength to the choice of a T helper 1 (Th1) or a T follicular helper (Tfh) cell fate.     

Identification of the Primary Factors Determining the Specificity of Human VKORC1 Recognition by Thioredoxin-Fold Proteins

Redox (reduction–oxidation) reactions control many important biological processes in all organisms, both prokaryotes and eukaryotes. This reaction is usually accomplished by canonical disulphide-based pathways involving a donor enzyme that reduces the oxidised cysteine residues of a target protein, resulting in the cleavage of its disulphide bonds. Focusing on human vitamin K epoxide reductase (hVKORC1) as a target and on four redoxins (protein disulphide isomerase (PDI), endoplasmic reticulum oxidoreductase (ERp18), thioredoxin-related transmembrane protein 1 (Tmx1) and thioredoxin-related transmembrane protein 4 (Tmx4)) as the most probable reducers of VKORC1, a comparative in-silico analysis that concentrates on the similarity and divergence of redoxins in their sequence, secondary and tertiary structure, dynamics, intraprotein interactions and composition of the surface exposed to the target is provided. Similarly, hVKORC1 is analysed in its native state, where two pairs of cysteine residues are covalently linked, forming two disulphide bridges, as a target for Trx-fold proteins. Such analysis is used to derive the putative recognition/binding sites on each isolated protein, and PDI is suggested as the most probable hVKORC1 partner. By probing the alternative orientation of PDI with respect to hVKORC1, the functionally related noncovalent complex formed by hVKORC1 and PDI was found, which is proposed to be a first precursor to probe thiol–disulphide exchange reactions between PDI and hVKORC1.