基于领域复用的软插件库应用研究

目的研究基于领域复用的软插件的原理和实现模型。方法 结合基于领域复用的基本原则,对构造基于领域复用的软插件库的方法进行讨论,并以商用ＰＯＳ机软插件库有组织构造为例进行了具体说明。结果与结论基于领域复用的软插件比传统方法更有利于软件复用。     

一种新的配电网故障恢复算法及其改进

当配电网中某运行设备发生故障并切除后,会引起一些负荷失去供电,此时需要快速有效地寻找恢复供电路径。文中介绍的算法根据配电网的辐射状结构特征,把电源点和失去供电的负荷点看作“兴趣点”,把寻找供电路径转化为求解给定图的“兴趣树”,从而简化了问题。计算结果表明,经多方面的改进后,算法更加快速有效,在配电系统自动化高层软件开发中,有在线应用前景,本算法适用于负荷集中的１０ｋＶ以上配电网。     

商标图象库检索的多层次结构方法

基于商标图象库应用背景和具体特征,提出一种商标图象检索的多层次方法．图象预处理阶段采用人机交互方式下３种半自动方法提取商标图象各区域对象．检索首先采用字符串匹配方法和传统数据库查询技术,动态减少图象搜索范围;在图象区域规格化下,相继用最小约束矩和基于Ｈａｕｓｄｏｒｆ距离的相似性函数度量商标相似性程度,具有平移、旋转和尺度变换下的不变性和一定的抗噪声能力．实验结果表明,该方法有效和实用．     

关于Hamilton图的一点注记

通过类似于对一可平面图求生成树个数的方法,得到一个关于Hamilton图的Hamilton圈的个数的等式。并讨论了一类特殊的平面图。     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

算法复杂性函数等价类A[F]中的分解性定理

证明了算法复杂性函数渐近优超等价类数学结构Ａ［Ｆ］中的分解性定理。对任意非免费算法复杂性函数类［ｆ］∈Ａ［Ｆ］及正整数ｎ,存在类［ｇ１］,［ｇ２］,…,［ｇｎ］∈Ａ［Ｆ］满足［ｇｉ］〈［ｆ］（ｉ＝１,２,…,ｎ）且［ｆ］＝Ｖｉ＝１＾ｎ［ｇｉ］。     

博莱霉素与DNA的作用机理及其类酶性研究

详细介绍了博莱霉素（ＢＬＭ）与ＤＮＡ的结合作用,活化ＢＬＭ与各种自由基在ＢＬＭ介导的ＤＮＡ断链反应中的作用以及ＢＬＭ类似酶的催化行为多方面的研究进展情况。     

广义块Pick型矩阵和带导数的Nevanlinna-Pick矩阵插值问题

建立了广义块Pick型矩阵和块Toeplitz矩阵之间的一种等价关系,并将其用于求解一类带导数的Nevanlinna-Pick矩阵插值问题     

模式识别在测井相分析中的应用

在测井相分析过程中,提取了与岩相有关的测井响应特征,进行了模糊聚类分析,形成其测井相模式。该模式通过岩－电关系库,应用模式识别技术,实现向岩相的转化,形成岩性的系统剖面。     

基于CSCW的中文超媒体技术的研究实现

讨论了基于ＣＳＣＷ的新一代中超媒体技术,主要介绍超媒体系统数据结构模型,分布与协作技术,超链自动链接技术,超媒体系统的中检索技术,超媒体系统的用户界面等,并介绍了一个基于工作组网络系统Ｗｉｎｄｏｗｓ ｆｏｒ Ｗｏｒｋｇｒｏｕｐｓ的超媒体原型的系统实现,该系统是一个面向大容量超媒体中档案的协作写作系统,适用皇大中型中电子图书和档资料库的光盘出版物的制作。