论文部分内容阅读
程序变换过程的分析与设计张乃孝（北京大学计算机科学与技术系北京１００８７１）ＡＮＡＬＹＳＩＳＡＮＤＤＥＳＩＧＮＯＦＴＨＥＰＲＯＧＲＡＭＴＲＡＮＳＦＯＲＭＡＴＩＯＮＰＲＯＣＥＳＳ￥ＺｈａｎｇＮａｉｘｉａｏ（ＤｅｐａｒｔｍｅｎｔｏｆｃｏｍｐｕｔｅｒＳｃｉ...
程序变换过程的分析与设计
【摘 要】
：
程序变换过程的分析与设计张乃孝（北京大学计算机科学与技术系北京１００８７１）ＡＮＡＬＹＳＩＳＡＮＤＤＥＳＩＧＮＯＦＴＨＥＰＲＯＧＲＡＭＴＲＡＮＳＦＯＲＭＡＴＩＯＮＰＲＯＣＥＳＳ￥ＺｈａｎｇＮａｉｘｉａｏ（ＤｅｐａｒｔｍｅｎｔｏｆｃｏｍｐｕｔｅｒＳｃｉ...
【机 构】
：
北京大学计算机科学与技术系
【出 处】
：
计算机学报
【发表日期】
：
1994年6期
【基金项目】
：
国家自然科学基金,国家863高技术基金
其他文献
今年以来,陕西省饲料工业以发展和安全为中心,以继续深入开展饲料质量安全专项整治行动为主线,以加强对饲料生产和经营企业的监督、管理为突破口,扎实做好饲料工业统计工作,
选取杂交母牛（体重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
今年上半年，陕西省饲料行业随着中、省畜牧业扶持政策的进一步落实．畜禽规模养殖加快推进。受主要畜产品需求不旺、饲料原料价格高位震荡等不利因素的影响．全行业积极科学应对，围
一种基于对象的分布式系统描述求精方法杜兴，谢立，孙钟秀（南京大学计算机科学与技术系南京２１０００８）ＡＮＯＢＪＥＣＴ－ＢＡＳＥＤＡＰＰＲＯＡＣＨＴＯＳＰＥＣＩＦＹＡＮＤＲＥＦＩＮＥＤＩＳＴＲＩＢＵＴＥＤＳＹＳＴＥＭＳ￥ＤｕＸｉｎｇ；ＸｉｅＬｉａｎｄＳ...
本文根据平均场退火技术，提出了一种二值纹理图象的估计和恢复算法，纹理图象描述为一个马尔可夫随机场模型和噪声过程的综合结果，算法递归地进行模型参数估计和图象恢复，其核心是
本文提出的ＰＲＮＳ是一种有权和无权两种记数制相嵌套而构成的层次结构记数制，根据ＰＲＮＳ蚵以构造比传统二进制系统快许多倍的算术处理机，本文阐述了ＰＲＮＳ的基本概念，原理和加法算法，并提出了一种Ｓ进
2009年1月7日，全省饲料生产形势分析暨饲料管理工作会议在哈尔滨市召开。各市（行署）畜牧兽医局主管局长、饲料办主任、饲料统计员及省兽药饲料监察所、《东北饲料信息》、《饲料