可信的

Statistical testing approach has been proved to be with stronger fault revealing power than deterministic testing method in practice.

类是面向对象程序的基本单元，只有对类进行充分的测试才能确保高层测试简便且可信，从而降低整个测试过程的代价。

In the other hand, Hoare logic has enough expressiveness since logic predicates can express more information than types.

本文提出一个基于逻辑的使用汇编语言的高可信软件开发方法，并运用此方法开发出经过严格安全验证的运行时库和操作系统组件。

Methods According to the example given,rate ratiomodel was constructed and simulated with Latin Hypercube Sampling.

结合实例进行相对危险度的模型构建、拉丁超立方抽样和概率分布的拟合及RR可信区间的几种计算方法比较。

Also,this system can be used to determine the RCS index within the limit of ex...

对算例的计算分析表明，该系统的计算结果可信，具有一定的实用价值。

A kind of knap sack public-key cryptosystem which is based on intractability of factoring big integer was proposed to introduce a trusted authority. TA generates the RSA public key and the private key with the RSA algorithm which transforms the primitive public key of knap sack public-key cryptosystem to the ordinary knap sack sequence, and it is publicize as a public key of knap sack public-key cryptosystem.

通过引入可信中心机构TA，TA用RSA算法生成RSA公钥和私钥，用RSA公钥把背包公钥密码体制的原始公钥变换成普通的背包序列作为背包公钥公布，提出了一种基于大数难解问题的背包公钥密码体制。

Risk ratios for coronary heart disease per 1-SD higher loge CRP concentration (three-fold higher) were 163 (95% CI 151—176) when initially adjusted for age and sex only, and 137 (127—148) when adjusted further for conventional risk factors; 144 (132—157) and 127 (115—140) for ischaemic stroke; 171 (153—191) and 155 (137—176) for vascular mortality; and 155 (141—169) and 154 (140—168) for non-vascular mortality.

当初期仅对年龄和性别进行校准后，冠心病与1-SD更高浓度（3至4倍）的厢式CRP之间的危险比率是1.63（95％可信区间1.51-1.76），而对常规的危险因素进行进一步校准后，该危险比率是1.37；对缺血性卒中来说，分别是1.44（1.32-1.57）和1.27（1.15-1.40）；对血管性死亡率来说分别是1.71 (1.53—1.91)和1.55 (1.37—1.76)；对非血管性死亡率来说分别是1.55 (1.41—1.69)和1.54 (1.40—1.68)。

The function of legitimation is to make objectively available and subjectively plausible the 'first-order' objectivation that have been institutionalized.

正当化的功能是为了使已经制度化的「第一顺位的」客体化在客观上有效，并在主观上可信。

The spearman correlation coefficient was 0.308 (P＜0.01) between serum proinsulin and risk factors score, and the partial correlation coefficient was 0.2095 (P＜0.01) after adjustment for age, sex, body mass index and waist circumference. The results of non-conditional univariate Logistic regression and multivariate stepwise Logistic regression indicated that serum proinsulin level associated with cardiovascular risk factors aggregation, and the odds ratio (95％ CI) was 1.656 (1.483～1.851), 1.652 (1.475～1.850)(p＜0.01) respectively.

Spearman相关分析及调整年龄、性别、体重指数与腰围后的偏相关分析结果显示，胰岛素原水平与危险因素评分的相关系数分别为0.308与0.2095(P值均为0.000)；单因素及多因素Logistic回归分析显示，胰岛素原的水平与心血管危险因素聚集显著相关，其OR值(95％可信区间)分别为1.656(1.483～1.851)、1.652(1.475～1.850)(p＜0.01)。

In irony in narrative text, the author applies a setting to exceed narrate a layer, enable suspect relator, and implicit author and relator perform the expressional trick such as a two-man act, make story surface layer is narrated form intense irony with deep-seated connotation, effective ground is outspread the meaning of text accumulate, heightened the artistic tension of work.

在反讽叙事文本中，作者运用设置超叙述层、启用不可信叙述者、以及隐含作者和叙述者演双簧等表现手法，使故事表层叙述和深层内涵构成强烈的反讽，有效地扩张了文本的意蕴，增强了作品的艺术张力。

From a school outbreak, we estimated that a typical schoolchild infects 2.4 (95% CI from 1.8 to 3.2) other children within the school.

从学校的爆发情况看，一个发病孩子可以感染2.4个学校里其他未发病的孩子[95%的可信区间在1.8到3.2]。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。