ICSUT：一个IC—CAD领域的软件理解工具

软件理解一直是软件维护过程中的瓶颈问题，它需要花费维人员很多的时间和精力，随着集成电路工艺技术的进步及电路系统集成度与复杂度的增加，该领域的软件数目和软件复杂度也大幅度的提高，这更使维护领域软件的工作变得日益繁重。本文所讨论的工具，ＩＣＳＵＴ Ｓｏｆｔｗａｒｅ Ｕｎｄｅｒｓｔａｎｄｉｎｇ Ｔｏｏｌ）是一个ＩＣ－ＣＡＤ领域内的软件理解工具。它用图示的方法从四个层次；实现层、结构层、功能层、领域层来展     

一个IC—CAD领域的软件理解环境

软件理解一直是软件维护阶段的瓶颈问题,它需要花费维护人员大量的时间和精力。在ＩＣ－ＣＡＤ领域中,随着集成电路工艺技术的进步及电路系统集成度的增加,该领域内的软件数目和复杂度也大幅度地提高,这更使维护该领域软件的工作变得日益繁重。本文所讨论的工具：ＩＣＳＵＴ提供了一个能够方便地帮助用户进行ＩＣ领域软件理解的环境。在ＩＣＳＵＴ中,软件理解工作是通过查看理解环境所提供的一系列图示（ＶＩＥＷ）来进行的,这     

基于复用技术的IC—CAD构建方法

介绍了一个应用于ＩＣＣＡＤ领域中的支持软件复用技术的框轲环境系统ＩＣＳＲＥ。该系统采用层次化的知识描述方式，对ＩＣ领域中的各种设计软件信息，进行领域知识的综合与抽象、程序化过程的功能结构提取、描述及Ｃ语言代码实现的描述，封装成可复用软件元件，并以此构建了可复用库。在此基础上又采用了一种知识推理方式，帮助ＩＣ－ＣＡＤ软件工具或系统的下基层得查询、修改和引用和用的软件元件。此外，还为用户构建可复用软件     

软件理解过程中的源代码功能综合

介绍了一种自动综合待逆向理解软件源代码的方法，它是通过一个软件理解工具ＩＣＳＵＴ（ＩＣ－ＣＡＤＳｏｆｔｗａｒｅＵｎｄｅｒｓｔａｎｄｉｎｇＴｏｏｌ）来实现的，在ＩＣＳＵＴ中，首先将源代码中的各个过程作为一个实体，并对实体之间进行关系分析，计算其间的耦合度，形成一个实体关系网，然后运用一个综合算法对这个实全关系网进行划分，最后得到一个源代码的功能层次结构图。     

非洲加纳上东部省ZA区金矿化探异常及找矿新突破分析

加纳北部上东部省ZA区,位于Bolo-Nangodi金成矿带的东北部。以往在南部阿散蒂等5个金矿带中发现了数个大型金矿床,而在北部的2个金矿带中只发现了一处大型金矿床。经勘查证实,研究区内大型工业开发价值金矿的发现,是为北部成矿带中找矿新突破。本文通过1/1万土壤地球化学测量工作,分析了非洲加纳上东部省ZA区内金矿床化探异常特征,提出了找矿方向。对元素相关性进行了分析,确定了成矿元素共生组合,进而圈定了成矿有利地段,共圈定金综合异常19个,其中甲类异常3个,乙类异常2个。经后期地表槽探和深部钻探工程验证,认为甲类金综合异常与金矿体存在着明显的对应关系,表明该区1/1万土壤化学异常能有效地指导找矿工作。通过与工作区已验证的异常对比,初步预测整个探矿权范围内具备100 t以上金矿的成矿潜力。     

闽中梅仙铅锌钼多金属矿地质特征及成矿模式

闽中梅仙铅锌钼多金属矿是武夷山成矿带的重要组成部分。结合新近在矿区开展的地质工作,对梅仙矿区矿床矿体特征和矿石特征等进行了阐述。结果表明,铅锌矿体呈层状和似层状分布,矿石主要以块状、条带状和层纹状构造为主;钼矿体形态常受裂隙及岩体影响,矿石主要呈膜状构造、网脉状构造、脉状—细脉状构造和薄层状构造等。通过野外观察和实验室显微镜观察,综合前人研究成果,认为矿区铅锌钼多金属矿系块状硫化物矿床与斑岩成矿系统耦合叠加的产物,成矿作用时代大概可划分为三个阶段,即：1）初始火山喷流—同生沉积成矿阶段;2）区域变质及成矿作用阶段;3）岩浆热液叠加—改造成矿作用阶段,并据此建立了可能的成矿模式。所得成矿模式已得到近期勘探工作验证。     

氧化硫硫杆菌氮代谢及其对煤炭脱硫影响的研究

研究了一株氧化硫硫杆菌的氮代谢。此菌生长代谢过程中能够很好的以铵盐作为氮源,驯化后也能很好的以尿素为氮源。且驯化后能以Fe~(2 )为能源,驯化后在尿素浓度为0.04g/L,Fe~(2 )浓度为0.04～0.10mol/L时其生长最快代谢最旺盛。接种在此条件下培养的细菌对煤中的黄铁矿硫的脱出率可达51%。