搜索筛选:
搜索耗时0.0968秒,为你在为你在102,285,761篇论文里面共找到 63 篇相符的论文内容
发布年度:
[学位论文] 作者：易晓东,,
来源：国防科学技术大学 年份：2006
随着计算机系统的广泛应用,计算机软件的高可信性质受到了越来越多的关注。面向软件源程序的形式验证是保障软件高可信性质的一种有效方法,受到了大量的关注和广泛的研究。但...
[期刊论文] 作者：易晓东,
来源：当代护士：学术版 年份：2005
单纯性小儿肥胖症是由于能量摄入长期超过机体的消耗,使体内脂肪过度积聚,体重超过按身长计算的平均标准体重20%者.长期以来,对于该类小儿多采用饮食控制和增加运动量的方法...
[期刊论文] 作者：易晓东,,
来源：重庆理工大学学报(社会科学) 年份：2018
当前我国司法机关人员管理体制改革尚需实时科学的实证评估,深入分析司法成本效益问题,建立具有理论基础的论述体系,构建团队合作透明高效的司法人力制度和遵循司法规律、合...
[期刊论文] 作者：易晓东,,
来源：山西师大学报(社会科学版) 年份：2018
虚假仲裁当事人为获取非法利益,往往采取恶意串通、伪造证据、虚构事实等手段进行虚假仲裁行为。这不仅破坏了正常的市场经济秩序,而且往往会也损害案外人的合法权益。基于权...
[期刊论文] 作者：易晓东,
来源：纳税 年份：2014
问：本公司经营超市,对部分柜台实行对外租赁方式,并订立了租赁合同.合同约定,承租人自行进货,以超市的名义对外经营,销售收入纳入超市统一核算,月终结算.超市财务扣除合同约定...
[期刊论文] 作者：易晓东,,
来源：机电信息 年份：2010
通过分析高层建筑供电方案的选择,以电源供电为基础,论述高层建筑供电电源可靠性,并根据高层建筑配电特点提出了技术方案。...
[期刊论文] 作者：易晓东,,
来源：沈阳工业大学学报(社会科学版) 年份：2017
根据证明责任法则,损害的发生以及损害大小的证明均应由主张损害赔偿请求权存在的原告承担。依此,如果损害事实的发生得以证明,而损害大小难以证明或不能证明,则原告的诉讼请...
[报纸论文] 作者：易晓东,,
来源： 年份：
各位代表：$$我代表达州市中级人民法院向大会报告工作，请予审查。$$2017年，在市委坚强领导、市人大及其常委会有力监督、市政府大力支持和市政协民主监督下，全市法院深入学习贯彻......
[期刊论文] 作者：易晓东,
来源：湖南电力 年份：2004
介绍了湖南鲤鱼江电厂扩建工程的2×300MW机组辅助车间集中监控系统的结构及系统功能....
[期刊论文] 作者：易晓东,
来源：中国质量技术监督 年份：2017
前不久，湖北谷城具质监局开展了电梯安全专项检查工作，对全县商场、医院、小区等人口密集的30余家电梯使用单位的近200余部电梯进行了专项整治，从设备检验、人员持证和安全管理......
[期刊论文] 作者：易晓东,,
来源：时代报告 年份：2016
人民是是历史的主宰者，是推动社会发展的决定力量。依法治国基本方略的实施，社会主义法治国家的建设过程中，决不能忽视人民群众的主体地位。认清人民主体地位的内涵，并从立法、执......
[学位论文] 作者：易晓东,
来源：西南政法大学 年份：2018
...
[期刊论文] 作者：易晓东,,
来源：读与写(上，下旬) 年份：2013
费赖登塔尔说过:“数学知识不是教出来的,而是研究出来的”.教学即研究,而不是现成知识技能的传递,哪怕所传递的知识是很好的,教学的核心就是催生学生新观念的产生,学生不是...
[期刊论文] 作者：易晓东,
来源：读与写 年份：2014
...
[期刊论文] 作者：易晓东,,
来源：中国科技纵横 年份：2017
供电系统运行过程中,受恶劣气候条件、外力破坏、企业内部电气设备短路故障、大设备起动等原因,会造成电压瞬间较大幅度波动即又恢复,导致高压电动机低电压保护跳闸,电机控制...
[学位论文] 作者：易晓东,
来源：遵义医学院 年份：2018
...
[期刊论文] 作者：易晓东, 杨学军,,
来源：计算机科学 年份：2006
在软件程序中插入断言是保证软件质量的一个简单但有效的方法,人们常使用测试的方法检验程序中的断言是否满足,但测试很难保证验证的完备性。本文提出了一种可以保证完备性的...
[期刊论文] 作者：易晓东, 杨学军,,
来源：计算机科学 年份：2006
当前,操作系统的安全需求越来越多样、灵活和具体,它们往往只描述系统中一小部分实体之间的约束,但对安全策略的灵活性及定制的简洁性有较高的要求。传统的安全框架,如 FLASK...
[期刊论文] 作者：易晓东,陈伟,
来源：基础医学教育 年份：2016
组织学与胚胎学是一门重要的医学基础课程,实验课是理论联系实践的桥梁,对于专业知识的理解和掌握尤为重要,青年教师如何快速进入角色带好实验课,对于医学新生来说有着极为重...
[会议论文] 作者：易晓东,杨学军,
来源：2005中国计算机大会 年份：2005
本文应用模型检验方法对软件进行验证要解决软件的无穷状态空间问题，提出的谓词抽象方法将软件无穷的状态空间抽象为基于一组谓词表示的有限状态自动机，抽象过程使用最弱前置条件和定理证明工具直接对软件源代码自动进行，并能保证如果待验证的安全性质在抽象模型中......
相关搜索：
