排序方式: 共有21条查询结果,搜索用时 218 毫秒
1.
山西是红枣的主要产地之一。鲜红枣的含水量为85%以上,大量的鲜红枣收获后不易贮藏,故红枣产区均以加工干枣为主,加工方江多为自然晒干。若遇阴雨天,红枣则大量腐烂。山西吕梁地区1983年全区产枣3300万公斤,因雨烂掉1250万公斤,烂果率达38%。人工干制不受自然条件的影响,先进的干燥设备,干燥速度快,卫生条件好,产品质量高。红枣的干燥过程有一个复杂的水分变化过程,同时伴随着红枣的生物和化学变化。因此,干燥过程中,红枣的水分变化是一个值得关注的问题。 相似文献
2.
3.
4.
江春 《沈阳师范大学学报(自然科学版)》2009,27(3):331-334
UML是软件开发过程中广泛使用的建模语言,但由于缺乏精确的语义,难以直接对其建立的需求模型进行精化和验证,因而无法进一步提高软件的正确性和可靠性,也不具备实现软件自动化的前提条件.提出了一种基于UML需求建模进行形式化分析的方法.采用Object-Z对UML建立的需求模型进行形式化描述,采用Perfect弥补了Object-Z在精化与验证方面缺少自动化工具支持的不足,最后通过一个实例说明了该方法在实际应用中的可行性. 相似文献
5.
本试验研究了STS预处理浓度分别为0 mmolSTS(处理I)、0.2 mmolSTS(处理II)、0.5 mmolSTS(处理III)、0.8 mmolSTS(处理IV)对切花金鱼草的影响.结果表明:以0.2mmol的预处理效果最好. 相似文献
6.
本试验研究了STS预处理浓度分别为0 mmolSTS(处理I)、0.2 mmolSTS(处理II)、0.5 mmolSTS(处理III)、0.8 mmolSTS(处理IV)对切花金鱼草的影响.结果表明:以0.2mmol的预处理效果最好. 相似文献
7.
8.
基于Object-Z的带OCL约束的UML类图形式化描述 总被引:1,自引:1,他引:0
江春 《沈阳师范大学学报(自然科学版)》2008,26(4)
UML OCL是基于一阶谓词逻辑和集合论的形式化语言,用它对UML类图进行约束后类图便具备严格语法和精确语义,同时也具备了演绎验证的基本条件;但由于目前的建模工具还无法对缺乏精确语义的UML类图进行有效的演绎验证.因此提出了一种带OCL约束的UML类图通过Object-Z进行形式化描述的方法,这样便可以充分利用Object-Z强大的演绎验证能力来验证UML类图的正确性和是否具有某种性质等. 相似文献
9.
江春 《晋中师范高等专科学校学报》2012,(3):60-63,95
通过调查,总结出榆次区温室番茄根结线虫发生规律,明确根结线虫防治的最佳时间,同时提出秸秆还田,提高土壤环境的生物防治方法. 相似文献
10.