【摘 要】
：
基于形式化方法PAR，提出了一种高可靠算法程序设计技术，并采用范畴论形式化了相关的概念和定义．该技术通过重用一类问题的算法规约，算法程序的形式化推导和正确性证明来快速设计出正确的问题求解算法程序，使得算法程序的设计效率和可靠性得到提高．通过实例说明了使用这一技术进行算法程序设计的过程。
【机 构】
：
中国科学院软件研究所计算机科学国家重点实验室 北京 100190 江西师范大学省高性能计算技术重点实验室 南昌 330022 中国科学院研究生院 北京 100049
论文部分内容阅读
基于形式化方法PAR，提出了一种高可靠算法程序设计技术，并采用范畴论形式化了相关的概念和定义．该技术通过重用一类问题的算法规约，算法程序的形式化推导和正确性证明来快速设计出正确的问题求解算法程序，使得算法程序的设计效率和可靠性得到提高．通过实例说明了使用这一技术进行算法程序设计的过程。
其他文献
研究了一种新的甲基磺酸镀锡工艺，利用极化曲线、扫描电子显微镜(SEM)、X射线衍射(XRD)等检测方法分析了添加剂对电沉积过程和镀层徽现形貌的影响，阐述了添加荆的作用机理。结果表明：镀液的分散能力为58.98％、覆盖能力为100％；添加剂对锡的电沉积过程能够起到很好极化作用，有利于晶棱形成，提高镀层质量；镀层在生长过程中以(211)和(112)晶面的择优取向协同生长方式。
采用循环伏安法研究了氯化物体系中锌钴合金电镀的电沉积过程，采用X射线厚度和成分分析仪测量了锌钴合金镀层的厚度和钴合金含量。试验表明，在氯化钾锌-钴合金电镀槽液可以电镀含钴量为0.2％～0.4％(重量百分比)的锌钴合金，钴添加剂的加入，能够使氢的析出电位负移，增加锌钴舍金沉积的电位区间范围。
研究了6063铝合金阳极氧化封闭工艺，并同时探索了阳极氧化工艺对氧化膜的耐蚀性影响。实验发现，阳极氧化后封用剂选用SF-558和SF-565两步处理，最优的封用工艺为：第一步采用SF-558，用量为7g/L，温度为80℃。封闭时间7min；第二步采用SF-565，用量为5％，温度为25℃，封闭时间8min。最佳阳极氧化工艺为：温度20±2℃，氧化时间为60min，电流密度为1.8 A／dm2。
@@浙江某国有大型企业，委托我们为其设计制造一种专用产品的自动生产装置。要求从铝板带开始，开卷、冲压、成形、除油、表面氧化、烘干、定尺切断。下线后就可组装成产品。对该产品的表面处理工艺的要求是：1、采用连续槽浸通过式产品去油处理和产品表面功能处理，具有自动化、信息化和智能化控制和管理功能；2、产品经过处理后，表面残油量小于或等于每平方米10毫克的要求；3、产品经过处理后要具有一定的防腐蚀性能和表面
铬酸盐转化处理作为一种成熟的传统处理工艺，在金属表面处理中有着十分广泛的应用。虽有诸多优点，但由于Cr6+的剧毒性和致癌性，对环境危害性较大，存在着其自身无法克服的缺陷，已被多国政府和组织明令禁止使用。本文提出一种新型无铬转化处理技术以替代现有的铬酸盐转化技术，在该技术基础上开发的HQ2000型处理新工艺在一些企业的生产实践中取得了初步理想的效果，为无铬转化工艺的发展提供了一条新的思路。
@@碳减排是目前减缓和应对气候变化的必然行动，但通过提高能效、使用可再生能源等来减少CO2排放的技术手段仍比较单一；而以能源驱动的现代社会，化石燃料仍将继续是主要的供给能源，CO2减排面临巨大压力。要实现温室气体浓度稳定在一定水平的目标，还需要采用综合的减排措施。
@@2008年开春以后，煤炭价格屡创新高，厂家成本负担日益加重，单醇装置停车检修增多，加上春耕化肥需求旺盛，迫使联醇装置优先保证化肥生产，甲醇产量自3月份开始连续3个月下降，同时国内外套利空间使商家出口仍继续，因此国内总体供给量减少。
@@烯烃不仅仅是重要的基础化工原料，而且已经成为能源化工发展过程中的重要支柱产业。多年来，乙烯、丙烯产品在整个石油化工市场中一直占居第一、二的龙头位置，尤其是乙烯的生产装置规模、产量和技术装备水平标志着国家石油化学工业的发展水平，也极大影响着下游产品的竞争能力。
@@我们经过实验研究提出：一种利用铁矿煤球团作为直接还原铁竖炉颗粒床除尘器的除尘颗粒，在对高温粗煤气除尘的过程中，生产直接还原铁，同时降低粗煤气温度，煤气净化后用于生产化工产品的原料气，可以有效地提高煤炭能源综合利用效率约7.8％，降低炼铁能耗约30%-70%。
为了满足系统对通信带宽的要求，片上网络逐渐取代总线成为当前多核及众核系统的主流互连方案．然而，由于芯片特征尺寸的不断减小，芯片内发生故障的概率显著增加．为了提供可靠的片上通信，本文提出了一种低成本的可重构路由算法．通过时路由器状态的更新，本文提出的片上网络系统可以容忍任意数目，任意分布的路由器以及链路故障．与目前存在的容错设计方案不同之处在于，本文提出的可重构路由器不需要增加虚拟通道来保证网络的无