论文部分内容阅读
Probabilistic Model of Software Approximate Correctness
【出 处】
：
武汉大学自然科学学报（英文版）
【发表日期】
：
2016年1期
其他文献
文章着重探讨了全球化时代的概念,及全球化时代的广告创意思维所必须遵循的以人为本的创意思维原则。
This article focuses on the concept of globalization era and the
2011年6月5日,《牛城晚报》第5版刊有《夏云飞四两拨千斤》一文,文中写道:“世代习武,代代相传,家家户户都是一个小型练武场,个个都是‘武林中人’。小云飞颖悟非凡,师傅一点
摘要：南京工程高等职业学校校企合作、工学结合的就业模式，为企事业单位输送了大量高素养、高技能型人才。文章通过对南京工程高等职业学校毕业生的回访调研，分析该校毕业生的就业情况及教学改进措施，为提升该校五年制高职毕业生就业质量提供理论与实践方面的参考。 关键词：五年制高职；毕业生；就业 南京工程高等职业学校坚持“以就业为导向”的办学思路，注重学生就业工作，为社会培养了大批量技术应用型人才。为能进一
癫痫是常见的中枢神经系统严重疾病，常合并局部结构、代谢、神经递质及局部脑血流改变。血氧水平依赖的功能磁共振成像(Blood OxvgenationLevel Dependent functional MRI，BOLD
目的 研究妊娠期糖尿病(gestational diabetes mellitus，GDM)在中国昆明单胎孕妇中的发生情况，寻找与GDM相关的危险因素，为临床早期识别、评估和干预提供理论依据。 方法 200
In order to enhance the security of Android applications,we propose a repackaging and dynamic authority management scheme based on Android application reinforce
期刊
在四川省凉山洲领导的关怀和直接参与下,通过调研大桥水库电厂决定采用全微机监控系统,这对于凉山洲少数民族地区而言,可以讲是开天辟地第一次。文中论述了考虑少数民族地区
Based on trust measurement, a new cross-domain access control model is proposed to improve the security performance of the cross-domain access control processes
期刊