搜索筛选:
搜索耗时0.6272秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：易晓东,
来源：当代护士：学术版 年份：2005
单纯性小儿肥胖症是由于能量摄入长期超过机体的消耗,使体内脂肪过度积聚,体重超过按身长计算的平均标准体重20%者.长期以来,对于该类小儿多采用饮食控制和增加运动量的方法...
[会议论文] 作者：易晓东,杨学军,
来源：2005中国计算机大会 年份：2005
本文应用模型检验方法对软件进行验证要解决软件的无穷状态空间问题，提出的谓词抽象方法将软件无穷的状态空间抽象为基于一组谓词表示的有限状态自动机，抽象过程使用最弱前置条件和定理证明工具直接对软件源代码自动进行，并能保证如果待验证的安全性质在抽象模型中......
相关搜索：
