地理信息系统结构设计

本文介绍了地理信息系统结构设计的基本原理和方法，讨论了系统的软件的基本内容和特点，系统的开发环境以及系统模型的构造原理，同时用系统论的方法阐述了地理信息系统库数据概念模型，地理空间数据的集合运算、图形／图象数据的逻辑运算信息系统操作原理，并深入探讨了地理信息系统的基本逻辑操作春操作公理。     

数据开采中基于用户需求的关联模型

提出一个基于用户需求的关联模型，引入了相关度的概念，给出了启发式查找与相联规则的ＮＥＡ抽取算法，有效的解决数据开采关联模型中查找规则的盲目性和冗余性，并使重要的信息不被丢失．     

一种多源空间数据统一访问模型的实现

空间数据通常以栅格与矢量两种数据模型进行表达,但由于各自的不同特性,一般采用不同的访问方式.如何采用一致的方式进行多源空间数据访问是当前空间数据共享和互操作的难点之一.基于OGC SFS规范,从实现层次上考虑提出按几何与属性要素组织为几何-属性矢量数据模型（GAFeature model）,同时融入了扩展栅格数据模型,通过借鉴设计模式中的提供者模式和桥接模式,提供了一个较为完整的矢量栅格一体化访问管理模型,并进行了实现,使其能支持本地文件类型数据以及WCS、WFS空间信息服务.实验结果表明具备多源空间数据统一访问的能力.     

基于群集技术的多服务器地理空间数据管理

析了现有海量空间数据网络管理技术在系统整体性能方面存在的局限,引入群集技术,充分利用群集技术的高性能计算和高可靠性的服务器架构等特点,优化设计了基于群集的多层GIS应用服务器体系结构,结合常规海量空间数据库管理的空间索引分区、远程内嵌过程等效率策略,提出了一套基于群集的海量空间数据多服务器管理技术.通过基于Oracle真正应用群集(real application cluster,RAC)和Oracle9i应用服务器(9i Application Server,iAS)的应用实例,验证了基于群集空间数据管理技术的可行性及其高性能.     

一种新的分析和检查需求模型

由于ＳＣＲ（ＳｏｆｔｗａｒｅＣｏｓｔＲｅｄｕｃｔｉｏｎ）是较实用的定义软件系统需求的方法，以此方法为基础，提出一个形式化的分析和检查需求的模型．此分析和检查模型主要根据综合知识表示模型的一些基本原理，使用状态转换规则、语义计算规则和属性来形式化地描述ＳＣＲ中表格符号的语义，并通过执行规则来自动分析由ＳＣＲ定义的需求．为便于理解，给出了一个简单的实例来介绍如何分析和检查基于ＳＣＲ的需求的一致性和完整性．     

基于M_(AS)的形式化数据流图的方法

由于ＤｅＭａｒｃｏ的数据流图（ＤＤＦＤ）缺乏形式化的描述方法，本文提出了一种使用综合知识表示模型ＭＡＳ来形式化描述ＤＤＦＤ的新方法．使用此方法，能方便地建立一些有关ＤＤＦＤ的知识规则，并能对ＤＤＦＤ自动进行一致性和完全性检查     

一种多源矢量空间数据的联动增量更新模型

提出了一种可扩展的多源矢量空间数据的联动增量更新模型.该模型以不同来源的矢量空间数据库作为局域网中的数据节点,通过动态建立和维护不同节点的数据之间的依赖关系,并根据依赖关系信息提取和派发增量更新数据,实现了矢量空间数据节点与节点之间传递联动更新,有效地解决了依靠大量的人工更新操作去维护不同来源的国土资源矢量空间数据库之间现势性和一致性的问题.     

吲哚类化合物的共振能和稳定性

为了阐明吲哚和异吲哚的芳香性及稳定性原因，按照拓扑共振能（TRE）概念计算了这两类化合物的共振能和环共振能，并且用拓扑电荷稳定（TCS）规则对它们的稳定性作出了解释．     

基于认证规则的加权认证可信度研究

针对认证系统的子规则和复合规则给出表示其重要性的权值．在对当前模糊逻辑中加权模型真值计算研究的基础上，提出基于认证规则的加权认证可信度模型．模型先计算单加权认证规则的可信度，再计算多加权认证规则情况下用户的认证可信度，然后与系统认证可信度门陷值进行比较，从而形成认证结论．模型比较全面地描述了认证系统中的不确定性，更好地增强系统在多种认证机制情况下的安全性．     

基于GIS的宁波区域经济数据空间分析

由于我国现存统计制度的原因，区域经济统计数据具有基于行政地域单元汇总的特性，这一特性对城市GIS中空间数据和统计数据的结合以及区域和城市规划管理工作中定位性研究的分析结果产生影响，针对以上方面并结合宁波有关实证研究，对GIS中区域经济统计数据的特征、数据处理、应用模型空间分析等诸多问题进行了探讨。     

专著《几何不等式新进展》的补遗(Ⅰ)(英文)

本文综述了专著 AGI 出版后几何不等式的最新进展,尽可能全面地收集了1987—1990年间的有关文献,更多地反映了中国数学家的工作成果。     

基于模糊聚类的构件检索方法

在构件的检索过程中,由于用户对于构件的描述形式或者机制不是很理解,因此很难把自己的需求以专业的术语或者表达形式表示出来,从而影响了检索的效率。引入了刻面权重的定义,将用户的需求有效的具象化,并提出了基于模糊聚类分析的构件检索方法,利用一定的聚类准则将构件库里的构件集合划分为不同的类别,降低构件检索的规模,提高构件检索的效率,同时具有较好的查全率和查准率。实验结果证明了该方法的可行性与有效性。     

载体对负载型Zn催化剂上愈创木酚加氢脱氧(HDO)性能的影响

以SiO₂、Al₂O₃和HZSM-5、Re-HY分子筛为载体,以Zn为主要活性成分,研究了不同类型载体以及不同Si/Al比的HZSM-5分子筛负载Zn催化剂的愈创木酚加氢脱氧(HDO)反应性能。结果表明,催化剂的酸性是影响其加氢脱氧活性和产物选择性的主要因素,并且愈创木酚加氢脱氧转化为环己烷、BTX（苯、甲苯、二甲苯）等完全脱氧产物的活性,与催化剂的总酸量、酸中心强度具有一定的相关性。     

中国近海背楣目、囊舌目（软体动物）区系的研究

中国近海共有背楣目、囊舌目软体动物30种，隶属于7科15属，主要分布在浙江以南的热带、亚热带海区，有些种类向北可以分布到达黄、渤海，部分种类仅分布于黄、渤海．区系性质属于印度-西太平洋区的中国-日本亚区．     

蘑菇培养料中微生物的研究

本文对蘑菇培养料中分离获得的霉菌、放线菌和细菌进行鉴定和对其生理、生化特性进行测定,对某些菌株在蘑菇生长过程中的作用及作用规律也作了研究.通过研究,初步认为在放线菌和霉菌中有数株菌株对蘑菇的生长有直接或间接的促进作用     

弱拉回平坦序S-系对序幺半群的刻画

设S是序幺半群,借助环模理论以及半群S-系理论方法,在序S-系范畴中研究了弱拉回平坦性质。刻画了弱拉回平坦序S-系关于直积封闭的序幺半群类以及弱拉回平坦性质与其他性质一致的序幺半群类,讨论了循环序S-系具有拉回平坦覆盖的条件,进而推广了S-系的一些重要结果。     

非线性复杂系统的动力学问题

根据非线性动力学的研究现状和发展趋势,从六个方面去展望复杂系统的非线性动力学研究在21世纪的动向,探讨与其有关的动力系统理论和应用研究中面临的一些重大问题。     

晶体与建筑

简述了矿物晶体与建筑的相似性，重点地阐述了晶体形态在建筑物外部体形设计中的应用，如水晶式建筑、绿柱石式建筑、电气石式建筑、晶簇式建筑、双品式建筑、浮生式建筑、平行连生式建筑和镶嵌式建筑。晶体式建筑具有天然美的造型，合理的力学结构，良好的抗震性，较好的采光、通风，占地少，节省建筑材料，宜于建筑的高层化等优点。     

丽珠胃三联根除幽门螺旋杆菌的临床观察

目的：观察丽珠胃三联对十二指肠溃疡患者幽螺杆菌的治疗作用。方法：将183例幽门螺杆菌阳性的初治活动性十二指肠溃疡患者随机分为3组,把丽珠胃三联与质子泵抑制剂＋2种抗菌药物所组成的2组三联疗法对照,疗程结束后停药4周复查胃镜观察溃疡愈合情况并进行Hp的检测,观察治疗过程中出现的不良反应和治疗费用。结果：丽珠胃三联组对幽门螺杆菌的根除率为90．5％,与对照组相仿,结论：丽珠胃三联一个Hp的根除方案,具有疗效佳,安全方便,价格低廉等特点,值得临床推广。     

TSETV的研制及其与AES联用技术研究

提出了一种简单、有效的微进样装置──钨丝电热蒸发进样装置（ＴＳＥＴＶ），并把该装置与电感耦合等离子体发射光谱（ＩＣＰ－ＡＥＳ）及直流电弧发射光谱（ＤＣ－ＡＥＳ）联用．对该装置本身及与其ＩＣＰ－ＡＥＳ，ＤＣ－ＡＥＳ的联用技术、分折性能作了详细研究．用ＴＳＥＴＶ－ＤＣ系统得到了Ｎｉ，Ｃｏ，Ｃｕ，Ｍｎ，Ｃｒ和Ｍｇ的检出限为１０－８～１０－１０ｇ（１０μＬ进样），相对标准偏差明显优于常规ＤＣ系统．并用该法分析了纯ＮａＣｌ中痕量Ｃｕ及水样中Ｃｕ，Ｆｅ，Ｍｎ，所得结果同ＩＣＰ－ＡＥＳ及石墨炉原子吸收（ＧＦ－ＡＡＳ）所得结果相吻合．用ＴＳＥＴＶ－ＩＣＰ系统得到了Ｍｇ，Ｃｕ，Ｍｎ，Ｃｒ，Ｆｅ，Ｃｏ，Ｎｉ，Ｌａ，Ｎｄ，Ｇｄ，Ｄｙ，Ｙｂ，Ｌｕ和Ｙ的检出限为１０－９～１０－１１ｇ（１０μＬ进样），相对标准偏差低于６％．并用该方法分析了白酒及大米中痕量Ｃｕ，Ｍｎ及江西稀土矿区谷物样品中痕量稀土元素，结果满意．实验表明，ＴＳＥＴＶ具有操作方便，进样量小，能把试样的蒸发和激发过程分开的优点．