可动态维护的软件体系结构

将软件维护的方法和技术划分为方法级、源代码级和目标代码级等３个层次,并给出了可在目标代码级支持软件动态维护的软件的体系结构。     

C~r映射芽的γ阶jets的V-充分性

本文给出Cr映射芽的γ阶jets是v-充分性的充分条件,推广了[1]中的有关结果,并对拟齐次多项式的V-充分性作了进一步的讨论。     

一种基于Kullback-Leiblar距离的自动多门限图象分割方法及应用

本文根据Kullback－Leiblar距离的统计意义,提出一种基于Kullback-Leiblar距离的自动多门限图象分割方法,这种方法与NR．Pal和S．R．Pal等人提出的方法完全不同;此外此文还将从前研究的对象从单目标与背景推广到多目标及背景的自动多门限选取问题,最后用几幅困像进行算法检验;实践表明,该方法和其它方法相比较,效果较好．     

关于凸过程的有界性和可测性*

设Ｘ是实序列完备的局部凸拓扑向量空间,Ｙ是拓扑向量空间．设Ｔ：Ｘ→２Ｙ是凸过程（ＣｏｎｖｅｘＰｒｏｃｅｓｓ）,且它的定义域Ｄｏｍ（Ｔ）是Ｘ的闭子空间．本文证明了若对Ｘ上的每一可分子空间Ｍ,Ｔ在Ｍ上的限制是绝对可测的,则Ｔ是有界的．     

分析小孔成像的新思路

就太阳光经小孔成像问题,引入像素概念．用平面几何作图的方法,讨论不同形状、不同大小的孔径对成像亮度分布、边缘模糊和失真的影响．     

计算机支持的协同项目设计模型

讨论了计算机支持的协同设计的工作环境及工作方式,提出了基于任务划分的协同设计的工作流结构,建立了协同工作空间以支持群体成员的项目设计,包括组建设计组、分解子任务、制定计划、执行计划、监督及修改计划等,描述了协同工作空间中的三级协同方式：计划协同、方案决策协同、设计图纸协同,并对协同工具———共享图板的实现进行了讨论．     

Constrained Linear Systems over Semisimple Rings

令Ｒ是半单环,Ｓ＝ＥＲｎ是Ｒｎ是子模,假设Ａ∈Ｒｎ×ｎ关于Ｅ的Γ逆存在,则线性约束系统Ａｘ＝ｂ,ｘ∈Ｓ若有解,就必定是ｘ＝Ａ（１）Ｅｂ＋（Ｉ－Ａ（１）ＥＡ）Ｅｙ,ｙ∈Ｒｎ,这里Ａ是正则的,且Ａ（１）Ｅ∈Ａ｛１｝满足Ａ（１）Ｅ＝ＥＡ（１）Ｅ＝Ａ（１）ＥＥ,Ｅ是与子模Ｓ相应的幂等阵．     

化学法清洗硅片过程中清除颗粒的机理(英文)

对化学法清洗硅片过程中消除颗粒的机理作了定量的探讨。颗粒的清除是由于化学蚀刻和颗粒与表面排斥力共同作用的结果。首次提出了最浅蚀刻深度和最小蚀刻速度的概念。最浅蚀刻深度可通过颗粒与表面间作用能的关系进行计算。是小蚀刻速度则可通过蚀刻侧形进行计算。研究结果对于优化化学法清洗过程和设计高性能清洗液都具有重要意义。     

LaCeCuMn/γ-Al2O3纳米稀土催化剂的制备及性能研究

以纳米纤维状γ-Al₂O₃为载体，采用工艺路线简单的浸渍法制备了La_xCe_1-xCuMn纳米稀土催化剂，并应用微反活性评价装置测试了对CO和C₃H₈的氧化活性。利用XRD，TEM，BET等手段，分析了产品的结构和粒子形貌。实验结果表明，催化剂活性组分在载体上分散比较均匀，平均粒径在15～20nm之间，为纳米级催化剂。La物质的量为0.4mol、活性组分质量分数为15.04%时，制得了较为纯净的钙钛矿催化剂，CO和 C₃H₈氧化反应中起燃温度分别可以达到161，186℃，且二者的最终转化率均在99%以上。     

凸轮-连杆组合机构设计系统

将计算机辅助设计技术、网络技术与机构设计相结合,以组合机构的尺寸综合理论为基础,以机构最小尺寸为优化目标,采用Java作为开发语言,应用模块化的面向对象的设计方法,研制开发了凸轮-连杆组合机构网上设计系统.