搜索筛选:
搜索耗时2.2242秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
发布年度:
[期刊论文] 作者：贺江飞,
来源：湖南中医杂志 年份：2021
咳嗽变异性哮喘(cough variant asthma,CVA)亦称过敏性咳嗽、变应性咳嗽,是临床中一种非典型性哮喘,为儿童常见疾病.其主要临床表现为持续或反复发作性咳嗽达1个月以上,且常...
[学位论文] 作者：贺江飞,,
来源：江西师范大学 年份：2020
当今世界是一个软件定义一切的时代,尤其在安全攸关领域,需要保证计算机程序的可靠运行。这种可靠性可以通过向程序传递所有可能的测试用例的方法来实现,但该方法难以保证一些输入范围无限的复杂程序的正确性。形式验证的目的是构建程序正确性的数学说明,但所需......
[期刊论文] 作者：贺江飞, 杜洪喆,,
来源：湖南中医杂志 年份：2018
大青龙汤首见于张仲景的《伤寒论》[1]38条:"太阳中风,脉浮紧,发热恶寒,身疼痛,不汗出而烦躁者,大青龙汤主之";39条:"伤寒脉浮缓,身不疼但重,乍有轻时,无少阴证者,大青龙...
[期刊论文] 作者：王昌晶,贺江飞,罗海梅,左正康,许帆,
来源：江西师范大学学报:自然科学版 年份：2020
Dafny是一种内置规范结构的编程语言和静态程序证明器,它能验证程序的功能正确性以及将证明过程自动化,这既提高了软件开发的效率,又极大增强了软件开发的可靠性.该文探索了...
相关搜索：
