有限构模器的扩展及其在形式化方法中的应用

规约在软件开发和验证中占有重要地位 .对于以一阶逻辑为基础的规约 ,可以利用有限模型构造技术对其执行并测试 .文中研究规约中某些特性的处理 ,包括存在量词以及二元关系的传递闭包 .对已有的一个构模工具进行扩充 ,发现了文献中的若干错误

Interaction of brilliant cresyl blue and methylene green with DNA studied by spectrophotometric and voltammetric methods

The binding behavior of two cationic dyes, brilliant cresyl blue (BCB) and methylene green (MG) to calf thymus DNA was studied by spectrophotometric and voltammetric methods. A red shift of the adsorption spectra and hypochromism accompany the binding of BCB and MG to calf thymus DNA. In 5 x 10(-2) mol dm(-3) NaCl, 5 x 10(-3) mol dm(-3) tris-HCl pH 6.87 buffer solution, the apparent binding constants are: K-BCB+ 3.0 x 10(4)M(-1) (N = 4.13) and K-MG+ = 8.8 x 10(4)M(-1) (n = 4.44). Electrochemical studies show that the formal potentials shift negatively upon addition of DNA, indicating that the oxidized forms of the dyes have stronger affinity to DNA than the reduced ones. K-BCB+/K-BCBH and K-MG+/K-MGH are evaluated to be 10.39 and 7.04. respectively. Our investigation suggests that the two cationic dyes interact with DNA predominantly via electrostatic interaction.

Evaluation of the Effectiveness of Representative Methods for Determining Young's Modulus and Hardness from Instrumented Indentation Data

The effectiveness of Oliver & Pharr's (O&P's) method, Cheng & Cheng's (C&C's) method, and a new method developed by our group for estimating Young's modulus and hardness based on instrumented indentation was evaluated for the case of yield stress to reduced Young's modulus ratio (sigma(y)/E-r) >= 4.55 x 10(-4) and hardening coefficient (n) <= 0.45. Dimensional theorem and finite element simulations were applied to produce reference results for this purpose. Both O&P's and C&C's methods overestimated the Young's modulus under some conditions, whereas the error can be controlled within +/- 16% if the formulation was modified with appropriate correction functions. Similar modification was not introduced to our method for determining Young's modulus, while the maximum error of results was around +/- 13%. The errors of hardness values obtained from all the three methods could be even larger and were irreducible with any correction scheme. It is therefore suggested that when hardness values of different materials are concerned, relative comparison of the data obtained from a single standard measurement technique would be more practically useful. It is noted that the ranges of error derived from the analysis could be different if different ranges of material parameters sigma(y)/E-r and n are considered.