期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
循环结构的形式化推导 被引量:1
1
作者 李贤贞 吴茂念 杨静 《微型机与应用》 2014年第5期82-83,86,共3页
介绍了Dijkstra的形式化推导方法的主要思想、步骤及要点。该方法主张程序开发和程序证明同时进行,先确定好描述程序功能的断言,再通过形式化方法推导出正确的程序。选择具有代表性的循环结构的实例进行推导证明,并对循环结构的形式化... 介绍了Dijkstra的形式化推导方法的主要思想、步骤及要点。该方法主张程序开发和程序证明同时进行,先确定好描述程序功能的断言,再通过形式化方法推导出正确的程序。选择具有代表性的循环结构的实例进行推导证明,并对循环结构的形式化推导进行阐述说明。 展开更多
关键词 形式化方法 程序正确性 循环不变式 界函数
下载PDF
酿酒葡萄单品种酿造特性研究 被引量:5
2
作者 段长青 周存田 +1 位作者 贺国升 李贤贞 《西北农业学报》 CSCD 1996年第4期66-70,共5页
分别对21个世界优良酿酒葡萄品种的成熟及单品种酿造特性进行了研究,初步筛选出了适宜秦岭山区生态条件的品种:霞多丽、雷司令、黑彼诺、赤霞珠、歌海娜和适宜关中地区生态条件的品种:巴库斯、雷司令、白羽、法国兰、五月紫。
关键词 葡萄 葡萄酒 酿造
下载PDF
葡萄酒稳定性的研究
3
作者 段长青 张大鹏 +2 位作者 李华 李贤贞 王宏安 《酿酒》 CAS 1990年第2期19-23,共5页
葡萄酒是成分非常复杂的有机液体。其澄清度是消费者所要求的第一质量指标。如果出现浑浊沉淀,则不论产品的味感、香气怎样,均不能被消费者接受。此外大多数浑浊沉淀都是葡萄酒变质的象征,影响其感官质量,即使某些沉淀(如酒石)不影响其... 葡萄酒是成分非常复杂的有机液体。其澄清度是消费者所要求的第一质量指标。如果出现浑浊沉淀,则不论产品的味感、香气怎样,均不能被消费者接受。此外大多数浑浊沉淀都是葡萄酒变质的象征,影响其感官质量,即使某些沉淀(如酒石)不影响其色、香、味,但从经营角度考虑,也应将之除去。因此进入流通领域的葡萄酒必须在一定的时间内保持良好的澄清度和持久的稳定性。所以研究葡萄酒的稳定性。 展开更多
关键词 葡萄酒 稳定性
下载PDF
浅谈后进生的转化教育
4
作者 李贤贞 《教育界(综合教育)》 2015年第10期9-9,共1页
素质教育就是以全面提高全体学生的基本素质为根本目的,注重开发人的智慧潜能,注重形成人的健全个性为根本特征的教育,而后进生,却是影响素质教育全面性的一个难点和重点,在对他们的转化过程中正确使用方式方法能使得转化变得事半... 素质教育就是以全面提高全体学生的基本素质为根本目的,注重开发人的智慧潜能,注重形成人的健全个性为根本特征的教育,而后进生,却是影响素质教育全面性的一个难点和重点,在对他们的转化过程中正确使用方式方法能使得转化变得事半功倍。 展开更多
关键词 后进生 信任 激励 赏识 转化
下载PDF
航空发动机整机可靠性验证试验方法研究 被引量:3
5
作者 李富亮 徐佳汇 李贤贞 《内燃机与配件》 2021年第7期16-17,共2页
高性能、高可靠性是现代航空发动机型号研制的主要目标,为确认发动机可靠性水平,需要在设计、制造、使用全过程中策划并开展各种不同的可靠性试验。本文针对航空发动机研制阶段的验证性试验,介绍了整机性能试验、振动试验、强度验证与... 高性能、高可靠性是现代航空发动机型号研制的主要目标,为确认发动机可靠性水平,需要在设计、制造、使用全过程中策划并开展各种不同的可靠性试验。本文针对航空发动机研制阶段的验证性试验,介绍了整机性能试验、振动试验、强度验证与考核试验、疲劳寿命试验和环境试验等整机可靠性试验方法。 展开更多
关键词 航空发动机 整机可靠性 验证 试验方法
下载PDF
某三级医院医疗废物的规范化管理实践研究
6
作者 李江波 吴旭武 +4 位作者 焦海燕 李贤贞 董军权 杨承鑫 林浩滨 《中国卫生产业》 2021年第20期62-64,68,共4页
医疗废物包含大量致病微生物,与医院感染发生之间存在较大关联,如果医疗废物没能得到有效管理,将会对周边环境造成严重污染,增加医院感染发生率。医疗废物作为一种危险品,如果没有得到有效处理将会带给社会负面效应,对公众身体健康产生... 医疗废物包含大量致病微生物,与医院感染发生之间存在较大关联,如果医疗废物没能得到有效管理,将会对周边环境造成严重污染,增加医院感染发生率。医疗废物作为一种危险品,如果没有得到有效处理将会带给社会负面效应,对公众身体健康产生一定威胁。该文旨在通过对医院医疗废物规范化管理进行综述,能为医院医疗废物规范化管理提供参考,提升医院管理水平。 展开更多
关键词 三级医院 医疗废物 规范化管理 管理方法
下载PDF
基于1+X证书的大数据技术实践教学平台设计
7
作者 李贤贞 孙涛 王珊珊 《电子技术(上海)》 2024年第6期178-179,共2页
阐述大数据技术的实践教学,面向大数据平台的运维岗位,对接1+X大数据平台运维职业技能的等级标准,并对比云平台和实训平台的特点,创建大数据技术实践教学平台并实施各教学项目。
关键词 大数据技术 教学实践平台 系统实施
原文传递
我的老伴李圣存
8
作者 李贤贞 刘兴华 《山西老年》 2018年第1期20-21,共2页
我的老伴李圣存1929年11月生于山东单县,13岁就参加了八路军,先后经历过抗日战争、解放战争、抗美援朝战争的洗礼,他参加过大大小小无数的战斗,是一位服从命令、听党指挥的老兵。我想跟大家讲讲他的一些故事,也借此怀念那些跟老伴一起... 我的老伴李圣存1929年11月生于山东单县,13岁就参加了八路军,先后经历过抗日战争、解放战争、抗美援朝战争的洗礼,他参加过大大小小无数的战斗,是一位服从命令、听党指挥的老兵。我想跟大家讲讲他的一些故事,也借此怀念那些跟老伴一起为了全国的解放浴血奋战的战友们。 展开更多
关键词 抗美援朝战争 抗日战争 解放战争 八路军 指挥
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部