值

Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques. We reduce the three valued logic model checking problem for modal transition system to the two valued model checking problem under Kripke structure. This reduction is linear in the number of states, size of transition relations, and number of atomic propositional formulae in the new formed model compared with those in the original model. It does not increase the comple...

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后，状态数、转移数和原子命题数目与原模型呈线性关系，没有增加模型检验的复杂度

In noise-exposed ears, the occurrence of threshold changes in the high frequency range (10 to 20 kHz) is earlier than that in the low frequency range (0.5 to 6 kHz).

接触噪声的各年龄组10～18 kHz阈值随年龄的增长而升高；不同工龄组比较，6～10年工龄组的10～18 kHz阈值明显升高；不同噪声强度组的10～20 kHz阈值比较差异无显著性（P＞0.05）。

And a new method determining threshold velocity is proposed. The threshold velocity determining by this method agrees with that by empirical results. Also the relation of the threshold velocity and frequency of explosion is analyzed.

在此基础上提出了一种确定安全速度阈值的方法，并确定了爆破荷载作用下黄麦岭磷矿采场岩质边坡的安全速度阈值，分析了安全速度阈值同爆破荷载频率之间的关系。

In addition, several examples showing the realization of three-variable threshold logic function with three-variable universal-threshold-logic-gates are given.

通用阈值逻辑门是一种通用的阈值逻辑门，可以通过改变它的输入、输出的接法实现所有的给定变量数的阈值逻辑函数。

Then the corrected average hearing threshold of 0.5 kHz, 1 kHz, 2 kHz, 4 kHz and the average hearing threshold of 1 kHz,2 kHz,4 kHz were compared for analyzing the impact of their differences on hearing grades.

为了达成一致，我们在实际操作中对0.5k Hz听阈值进行了修正，对0.5kHz听阈值在计算平均听阈值时的影响进行了分析，结果报告如下。1对象和方法1.1样本和对象以2001年《贵州省年鉴》人口统计数据为基准，按容量比例概率抽样法

But statical compliance showed no change.（3）There were significant differences between the chronic sinusitis and the controls, and among stages in air hearing threshold of each frequency of chronic sinusitis. Conclusions As the stage of chronic s

随慢性鼻窦炎分型分期加重，异常导抗图、镫骨肌反射消失增多，峰压值偏向负压，坡度值增加；静态声顺值无或少变化；同时听力损伤加重。

Using the sign if icance of these characters in the aspect of sediment environment, th is paper analyzed C and O iso tope ofQ ian jiang Saline lake and educed conclu sion s: there are good relat ivity betw een the change of clim ate and sedim ent\r\nenvironm en t and the con tent's change of C and O iso tope from high to low; it is aobturated saline lake of\r\ninnerland tow ard Q ian jiang saline lake, and the con ten t of C and O iso tope was primarily decided that Ciso tope is - 5‰ and O isotope is - 2‰.

主要介绍了碳和氧同位素的地球化学特征，利用这些特征在沉积环境方面的指示意义分析了潜江盐湖的碳、氧同位素并得出了以下认识：碳、氧同位素值的高低变化与气候的变化和沉积环境的变化具有很好的相关性；潜江盐湖是一个封闭的内陆盐湖，就该湖而言，其碳同位素值可初步确定为- 5‰，其氧同位素值为- 2‰。

The relationship is obtained between accident rate and alignment synthetical index accumulative total value through the regression analysis. The regressive results certify that the road alignment synthetical index can be chosen to evaluate the road alignment quality and road safety and better correlation exists between accumulative total value and accident rate while the correlative model between accident rate and synthetical index accumulative total value is established.

通过回归得到事故率与线形综合指标累计值的关系，回归结果证明公路线形综合指标可以作为公路线形质量评价和道路安全评价的评价指标，并且综合指标累计值与事故率具有较好的相关性，得到了事故率与综合指标累计值的关系模型。

Based on the symbolic transition graph with assignment of Lin, we introduce a variant of STGA. The distinction of our model is that the assignment of a transition is performed after rather than before the action.

基于Lin提出的带赋值符号迁移图，引入了一种先动作-后赋值的STGA，它与原模型的不同之处在于将符号迁移上赋值和符号动作的执行次序颠倒。

In order to check bisimulation for value--passing processes with infinite data domain, the symbolic transition graph and the symbolic transition graph with assignment are introduced by Hennessy and Lin as semantic models of value-passing processes, and strong bisimulation algorithms based on such graphs are also proposed.

为刻画和验证无穷值域上的传值进程，Hennessy和Lin先后提出符号迁移图和带赋值符号迁移图作为传值进程的语义表示模型，并给出了相应的强互模拟算法。

For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether

年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。

Eph. 4:23 And that you be renewed in the spirit of your mind

弗四23 而在你们心思的灵里得以更新