程序变换过程的分析与设计

来源 :计算机学报 | 被引量 : 0次 | 上传用户:mokung1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
程序变换过程的分析与设计张乃孝(北京大学计算机科学与技术系北京100871)ANALYSISANDDESIGNOFTHEPROGRAMTRANSFORMATIONPROCESS¥ZhangNaixiao(DepartmentofcomputerSci...
其他文献
今年以来,陕西省饲料工业以发展和安全为中心,以继续深入开展饲料质量安全专项整治行动为主线,以加强对饲料生产和经营企业的监督、管理为突破口,扎实做好饲料工业统计工作,
选取杂交母牛(体重421.6kg±28.9)373头,饲喂含纯天然丙三醇的13粮.其中丙三醇含量分别为0、2%、4%、8%、12%、16%。牛的蒸汽压片玉米为主的日粮包括:6%的苜蓿干草、1-2%的尿素、300mg/k
1材料和方法1.1试验设计选取初始体重为262±6.3kg的杂交安格斯肉牛20头,牛棚地面铺2.54cm的橡胶.可以用自来水自动冲洗。所有的肉牛在上午7:00和晚上19:00饲喂1.4%单位体重(以DM为
为深入践行科学发展观.积极应对“三鹿奶粉”事件.化危机为机遇,整顿和振兴奶业.同时认真贯彻和落实《乳品质量安全监督管理条例》和《奶业整顿和振兴计划纲要》,全国畜牧总站于12
今年上半年,陕西省饲料行业随着中、省畜牧业扶持政策的进一步落实.畜禽规模养殖加快推进。受主要畜产品需求不旺、饲料原料价格高位震荡等不利因素的影响.全行业积极科学应对,围
一种基于对象的分布式系统描述求精方法杜兴,谢立,孙钟秀(南京大学计算机科学与技术系南京210008)ANOBJECT-BASEDAPPROACHTOSPECIFYANDREFINEDISTRIBUTEDSYSTEMS¥DuXing;XieLiandS...
本文根据平均场退火技术,提出了一种二值纹理图象的估计和恢复算法,纹理图象描述为一个马尔可夫随机场模型和噪声过程的综合结果,算法递归地进行模型参数估计和图象恢复,其核心是
本文提出的PRNS是一种有权和无权两种记数制相嵌套而构成的层次结构记数制,根据PRNS蚵以构造比传统二进制系统快许多倍的算术处理机,本文阐述了PRNS的基本概念,原理和加法算法,并提出了一种S进
2009年1月7日,全省饲料生产形势分析暨饲料管理工作会议在哈尔滨市召开。各市(行署)畜牧兽医局主管局长、饲料办主任、饲料统计员及省兽药饲料监察所、《东北饲料信息》、《饲料
1我国饲料产品价格高位持稳饲料产品价格保持平稳。7月份育肥猪配合饲料、肉鸡配合饲料和蛋鸡配合饲料价格分别为2.73、2.87和2.62元/kg,均与上个月持平,同比分别上涨7.9%、5.9%和7.4%(图1