微米铜丝的低温力学性能测试

针对纤维材料变温环境力学性能测试的需要,在华中科技大学研制的纤维材料试验机的基础上引入了温控装置,从而实现纤维材料在高低温环境下的力学性能测试。采用该装置对不同直径微米铜丝在不同温度、不同拉伸速率条件下的力学性能开展实验研究,测试结果表明弹性模量和抗拉强度随温度的降低而线性增加,屈服强度的变化不太明显。另外,低温环境下微米铜丝的力学性能表现出与其直径相关的尺度效应,而这一现象在常温下一直没有观测到。最后,还研究了拉伸速率对微米铜丝的力学性能影响,结果表明,在现有装置的许用范围之内,拉伸速率对其力学性能的影响不大。     

Syntheses of the opioid substructures 1,2,3,4,5,6-hexahydro-2,6-methano-3-benzazocine and 2,3,4,5-tetrahydro-1,5-methano-1H-2-benzazepine

Concise syntheses of 1,2,3,4,5,6-hexahydro-2,6-methano-3-benzazocine (12) and 2,3,4,5-tetrahydro-1,5-methano-1H-2-benzazepine (18) are described and involve an intramolecular Friedel-Crafts alkylation and an intramolecular Heck cyclization as their respective key ring-forming steps.     

An adaptive control scheme for a continuous plant under Known output delay, unmodelled dynamics, and input saturation

This paper deals with robustness of adaptive control of continuoussystems subject to known output delay, input saturation, unmodelledlinear dynamics, and bounded disturbances. A simple gradient-typealgorithm with a relative deadzone is used. The relative deadzoneis built with an estimated contribution of the unmodelled dynamicsto the system output. The basic tool used for stability androbustness analysis is Gronwall's lemma.     

Why Aren't There Any Trioxygenyl or Ozonium Salts? Or,Why Does Our Reaction of O3 and PtF6 Give O2PtF6?

The reaction of ozone and gaseous platinum hexafluoride led to O₂PtF₆(s) and not the desired O₃PtF₆(s). Suggestions as to why the synthesis of O₃PtF₆(s) failed are made in terms of the known chemistry of the gaseous O ₃ ⁺ cation with O ₊ ⁵ proposed as an intermediate.     

Program derivation with verified transformations — a case study

A program development methodology based on verified program transformations is described and illustrated through derivations of a high level bisimulation algorithm and an improved minimum-state DFA algorithm. Certain doubts that were raised about the correctness of an initial paper-and-pencil derivation of the DFA minimization algorithm were laid to rest by machine-checked formal proofs of the most difficult derivational steps. Although the protracted labor involved in designing and checking these proofs was almost overwhelming, the expense was somewhat offset by a successful reuse of major portions of these proofs. In particular, the DFA minimization algorithm is obtained by specializing and then extending the last step in the derivation of the high level bisimulation algorithm. Our experience suggests that a major focus of future research should be aimed towards improving the technology of machine checkable proofs — their construction, presentation, and reuse. This paper demonstrates the importance of such a technology to the verification of programs and program transformations. We believe that the utility of transformational systems to program development will ultimately rest on a practical program correctness technology. © 1996 John Wiley & Sons, Inc.     

Regioselective synthesis of substituted pyrroles: efficient palladium-catalyzed cyclization of internal alkynes and 2-amino-3-iodoacrylate derivatives

The first efficient and regioselective palladium-catalyzed cyclization of internal alkynes and 2-amino-3-iodoacrylates to give moderate to excellent yields of highly functionalized pyrroles has been developed. This approach is applicable to a range of alkynes and affords the deacylated pyrrole under reaction conditions for most substrates. [reaction: see text]     

A calcium-modulated plasmonic switch

A plasmonic switch based on the calcium-induced conformational changes of calmodulin is shown to exhibit reversible wavelength modulations in response to changing calcium concentration. The extinction maximum (lambdamax) of a localized surface plasmon resonance (LSPR) sensor functionalized with a novel calmodulin construct, cutinase-calmodulin-cutinase (CutCaMCut), reversibly shifts by 2-3 nm. A high-resolution (HR) LSPR spectrometer with a wavelength resolution (3sigma) of 1.5 x 10-2 nm was developed to detect these wavelength modulations in real-time, providing information about the dynamics and structure of the protein. The rate of conversion from open (Ca2+-bound) to closed (Ca2+-free) calmodulin is shown to be 4-fold faster than the reverse process, with a closing rate of 0.127 s-1 and opening rate of 0.034 s-1. As far as we are aware, this plasmonic switch marks the first use of LSPR spectroscopy to detect reversible conformational changes in an unlabeled protein.