Automating application software generation

Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach and the knowledge-based approach. But the optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. This paper describes the work in knowledge-based software engineering conducted by the authors for the past 10 years. The final goal of the research is to develop a paradigm for software engineering which integrates the three approaches mentioned above. A knowledge-based tool which can support the whole process of software development is provided in this paper.     

岩电实验饱和度模型在探明储量中的应用

合油饱和度是评价砂岩油气层最主要的参数。确定合油饱和度的方法较多，确定储层原始合油饱和度的方法主要有直接法和间接法，直接法是指应用密闭取心或油基泥浆取心井获得的资料，通过实验室分析直接获得原始合油饱和度的方法；间接法是指应用测井曲线、毛管压力曲线、类比等资料间接获得原始含油饱和度。阿尔奇公式是测井定量解释饱和度的理论基础。在实验室条件下，通过作模拟地层条件下的岩电实验，取得地层的真电阻率，对深侧向视电阻率进行厚度校正，建立正确的饱和度解释模型，使岩电实验所建立的饱和度模型在探明储量中得到了广泛的应用。     

太钢不锈冷轧工程防腐蚀施工技术

防腐蚀施工工艺掌握的好坏，直接影响到工程投入生产后的使用寿命，为保证工程质量，以太钢不锈冷轧改造工程冷线防腐为例，对其常发生的质量通病进行认真分析，总结出一套行之有效的施工技术。     

An experiment for showing some kind of artificial understanding

In this paper we design an experiment which can be depicted as a simple scenario, a very limited 'world'. In this world, there are an actor that can pursue a project and an observer that is keeping its eyes on the actor. We try to show in the experiment that the observer can to some degree understand the actor based on its knowledge and some metaphors, i.e. understand what the actor is doing and why. As the conclusion of this experiment, we try to show some features of 'understanding'. These are (1) that 'understanding' has to be based on some preliminary knowledge; (2) that 'understanding' is a process of incremental learning; (3) that, as for symbolic systems, some metaphors are necessary for mapping real entities into concepts in mind.     

催化裂化汽油脱硫助剂TS-01的工业试验

中国石油化工股份有限公司九江分公司在I套催化裂化装置进行了TS—0l催化裂化汽油脱硫双功能助剂的工业应用。结果表明：TS—0l剂对催化裂化汽油有较好的脱硫效果。当TS—0l剂注入原料中的量为70μg／g时，对催化裂化汽油的硫脱除率约为20％；注入量为120μg／g时，硫脱除率可达到25％-30％。汽油中脱除的硫主要以硫化氢形态转移至于气、液化气中。TS—01剂对产品分布及产品其它质量无明显影响，该剂亦有良好的金属钝化效果。     

Commercial Test of Multi-functional Desulfurizing Agent TS-01 for Gasoline in FCC Process

Experimental use of multi-functional desulfurizing agent TS-01 for FCC gasoline in the FCC unit of SINOPEC Jiujiang Company shows that the multi-functional desulfurizing agent can effectively remove various kinds of sulfur in FCC gasoline and diesel fuel and fulfill passivation on heavy metals.     

流动注射分光光度法测定钴

研究了将ＰＡＮ用于流动注射（ＦＩＡ）分光光度法测定微量钴，在５６０ｎｍ处绘制标准曲线，线性范围为０～４５μｇ／ｍｌ，相关系数０．９９６，方法的相对标准偏差（ＲＳＤ）小于３％，加标回收率为９５％～１０５％，进样频率８０次／ｈ。本法简单快速，用于面粉、分子筛，铝合金测定结果令人满意。     

肝癌碘油栓塞后肝区平片所见碘油沉积量与疗效关系

本文分析了90例肝癌肝动脉灌注化疗碘油栓塞后,肝区平片所见碘油沉积量和疗效的关系。碘油沉积分为多,中,少三组,从ATP下降,肿瘤缩小率及一年生存率三方面比较。结果沉积多的与中等组三项都有显著差别;沉积中等的与少的组差别不明显。说明碘油沉积要达到一定的量后,疗效才会显著提高。同时分析了影响碘油沉积的几个因素。     

核测井仪器中的磁屏蔽研究

核测井仪器受套管剩磁的影响比较严重，常常用在探测器的周围缠绕多层坡莫合金带的方法进行磁屏蔽，由于缠绕的坡莫合金圆筒不能闭合，加上缠绕过程中坡莫合金带的形变造成材料本身磁导率的下降，传统的磁屏蔽方法的效果不好。本文介绍一种简单易行、磁屏蔽效果较好的方法，实验的结果说明用电工纯铁做探测器的外壳可以达到令人满意的效果。     

红外遥感用低温制冷器的进展

低温制冷器与红外探测器配套，是军事现代化、高新技术等急需发展的关键产品。国内研制技术也已接近国际先进水平，基本掌握了小型化、低振动、长寿命、细方形漆包线制作、间隙密封、消除电磁干扰等相关关键技术。本文列出了已研制过的直线电机谐振压缩机的主要技术性能。希望主管、用户、研制、生产各方通力合作，应用－改进－再应用－再改进，实现我国低温制冷器的产业化。