论文部分内容阅读
从函数程序设计的角度对速成原型方法进行研讨，采用形式方法解释其应用上的优劣。并结合林业实例，说明该方法的优越性。
函数程序设计在软件开发中的应用
【摘 要】
：
从函数程序设计的角度对速成原型方法进行研讨，采用形式方法解释其应用上的优劣。并结合林业实例，说明该方法的优越性。
【机 构】
：
南京林业大学基础课部南京210037
【出 处】
：
南京林业大学学报：自然科学版
【发表日期】
：
1996年1期
其他文献
把喷雾干燥用在造纸黑液处理上,作为其重要环节之一,本文根据工业化生产的实施,归纳了喷雾干燥在草浆黑液和木浆黑液处理中的成功的设备和工艺路线.
结合杨树褐斑病发病过程，测定黑杨派六个无性系在生长季碳水化合物的变化动态，在病害侵染初期，抗病无性系（Ｉ－６３杨、Ｉ－６９杨、Ｉ－７２杨）叶部还原糖和可溶性糖含量较感病无性系（Ｉ－２１４杨，Ｐ１５Ａ杨、加龙杨）腈低且呈
脱粒装置是脱粒机械和联合收获机上的非常重要的工作部件。文章通过检索,将现有专利文献中的滚筒式脱粒装置分为纹杆式、钉齿式、弓齿和组合式等类型,分别阐述了这几种类型的
由于近年来电梯的普及率增长快速，电梯的安全受到更多的重视，群众对于电梯安全和效率的要求显著提升。文章利用机器视觉技术，对轿厢内情况实行实时的监控，通过轿厢内人员数量，起到
通过对高职院校现代汉语课堂教学效果不好,学生实际运用汉语能力不强的现象进行分析,提出文秘专业的现代汉语教学,要寓教于乐,激发学生兴趣,突出课堂实践性,运用比较法等教学
动漫产业发展中，暴露出创作者绘画基础欠缺的问题，在高职教学实践中要突出各门绘画基础课之间的联系，把素描、速写、透视、解剖等课程联系成一个紧密的整体，充分发挥其对动漫画教
为推进国家水稻全程机械化项目实施工作,日前,南昌市新建区农机局副局长程国鹏带队,来到恒伟农机服务专业合作社等机插秧重点农机专业合作社,对机插秧育秧基地进行实地指导,
对条毒蛾Ｌｙｍａｎｔｒｉａ ｄｉｓｓｌｕｔａ Ｓｗｉｎｈｏｅ发生林内的４种卵寄生蜂进行了研究。结果表明，毒蛾黑卵蜂Ｔｅｌｅｎｏｍｕｓ ｄａｓｙｃｈｉｒｉ Ｃｈｅｎ＊Ｗｕ是优势种，地三代毒蛾卵的平均寄生率为４０．７９％，另外３种卵蜂的寄生率明显低于毒蛾黑卵蜂，使用化学药剂防治条毒蛾和