搜索筛选:
搜索耗时2.7842秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
发布年度:
[学位论文] 作者：雷富兴,
来源：解放军信息工程大学 年份：2010
...
[期刊论文] 作者：雷富兴,张来顺,
来源：计算机工程与设计 年份：2011
采用Hoare逻辑风格的推理,提出了一些从源代码推导过程和这些过程调用的形式化语义规范的技术和算法。为了推导一个过程调用的语义,将过程看作一个抽象单元从程序分离出来,提...
[期刊论文] 作者：雷富兴,丁明,王昕辉,
来源：医药前沿 年份：2004
目的研究异氟醚对大鼠空间记忆及海马组织中载脂蛋白e(ApoE)阳性细胞表达的影响.方法12月龄雄性wistar(350g)大鼠48只,随机分为三组(n=16),对照组(不麻醉,吸入30%氧气的空氧...
[期刊论文] 作者：雷富兴,张来顺,石荣刚,杨科,
来源：计算机工程与设计 年份：2010
提出了一种求解命令式程序中循环执行和终止条件的方法。该方法基于循环代码本身进行循环执行和终止条件的分析推导,可以定义一个原型工具进行自动化推导。现有的形式化方法...
相关搜索：
