插补法CAI研究

数字程序控制计算机辅助教学是将计算机技术用于数字程序控制的教学过程，它帮助学生学习并模拟教学实验．本文介绍了数字程序控制中直线插补和圆孤插补的ＣＡＩ实现方法．     

VB中实现打印功能的方法

介绍了在VB开发的应用程序中,实现打印功能的几种方法.这些方法包括:①打印窗口;②通过PRINTER打印;③利用数据报表进行打印;④将打印内容传送于Office组件的Word或Excel,通过Word、Excel打印.同时列出了相关的程序格式.     

预处理工艺对硬质合金与金刚石膜间粘结力的影响

在两种经不同预处理的硬质合金YG8基底上，采用微波等离子体化学气相沉积法，在微波功率2kW，压强4.0kPa和6.5kPa，CH4和H2流量分别为1.6cm/s和100.0cm/s的条件下生长金刚石薄膜。利用X射线衍射检测了金刚石薄膜是否存在，用拉曼光谱分析了薄膜的质量，用金相显微镜观察了薄膜的洛氏硬度压痕，标定并比较了不同预处理工艺膜与基底的结合力。实验结果表明，不同的预处理方法对于粘结力的影响不大，最主要的因素是钴含量的多少。     

Rheological and drug‐release behaviour of a scleroglucan gel matrix at different drug loadings

The aim of this study was to investigate the drug‐loading effects on release and mechanical properties of a scleroglucan gel, with the intention of considering them in delivery systems formulations. The rheological and kinetic properties of a 2 % w/w scleroglucan gel matrix loaded with 0, 0.02, 0.04, 0.06, 0.2 and 0.4 % w/w of theophylline (Th, used as a model drug) were investigated. Rheological measurements were performed in a controlled‐stress rotational‐shear rheometer under isothermal conditions. For theophylline release from the gel a flat Franz cell was used and the kinetic parameters were derived applying a semi‐empirical power law. The influence of scleroglucan molar weight on kinetic and rheological behaviour was also studied. Results suggest two possible effects of drug loading on the gel network: in the 0.04–0.06 % w/w Th range a plasticizing effect and in the 0.2–0.4 % w/w Th range a rigidization effect. In the first range mentioned, the changes in the gel structural properties tested by means of rheological measurements are coincident with changes in drug‐release kinetics. Copyright © 2005 Society of Chemical Industry     

Dynamic response and behavior of reinforced concrete slabs under impact loading

Reinforced concrete slabs are among the most common structural elements. In spite of the large number of slabs designed and built, the effect of their details on their behavior under impact loads are not always appreciated or properly taken into account. This experimental study was aimed at understanding the dynamic behavior of structural concrete slabs under impact loading to improve the state of the art of protective design. This study investigated the effects of different types of slab reinforcements and the applied impact loads on the dynamic response and behavior of reinforced concrete slabs.     

Behaviors of concrete-filled steel tubular members subjected to combined loading

The present study is an investigation on the behaviors of concrete-filled thin-walled steel tubular members subjected to combined loading, such as compression and torsion, bending and torsion, compression, bending and torsion. ABAQUS software is used in this paper for the finite element analysis (FEA). A comparison of results calculated using this modeling shows generally good agreement with test results. The FEA modeling is then used to investigate the influence of important parameters that determine the ultimate strength of the composite members under combined loading, such as compression and torsion, bending and torsion, compression, bending and torsion. The parametric studies provide information for the development of formulae for calculating the ultimate strength of the composite members subjected to combined loading.     

Equipment for Testing Sheet Structural Materials under Biaxial Tension. Part 2. Testing by Biaxial Loading in the Plane of the Sheet

We analyze specific features of the design of equipment used for mechanical testing of sheet structural materials under the conditions of biaxial static, cyclic, or dynamic loading. We propose original solutions of the problems related to the fatigue testing of crosslike specimens performed without using complex hydraulic systems and their dynamic testing carried out by using very simple testing machines for uniaxial tension–compression.     

Analytical Calculation of Large-Scale Deflection of Pulse-Loaded Elliptic Plates

Large deflections of pulse-loaded elliptic and round plates made of hardenable elastoplastic materials are investigated analytically using an energy-based approach. Formulas that are convenient for engineering design have been derived.     

A Refinement Calculus for Shared-Variable Parallel and Distributed Programming

Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists. Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated. Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality. The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing program and vice versa. Received July 2001 / Accepted in revised form May 2002