基于谱方法的无向赋权图剖分算法*

在多水平方法初始剖分阶段提出了一种基于谱方法的无向赋权图剖分算法SPWUG,给出了基于Lanczos迭代计算Laplacian矩阵次小特征值及特征向量的实现细节。SPWUG算法借助Laplacian矩阵次小特征值对应的特征向量,刻画了节点间相对距离,将基于非赋权无向图的Laplacian谱理论在图的剖分应用方面扩展到无向赋权图上,实现了对最小图的初始剖分。基于ISPD98电路测试基准的实验表明,SPWUG算法取得了一定性能的改进。实验分析反映了在多水平方法中,最小图上的全局近似最优剖分可能是初始图的局部最     

有理Bézier曲线的降阶

从最优化思想出发,把有理Bézier曲线的降阶问题转化为求解优化问题,这样使得权因子和控制顶点能被分开考虑,从而保证了权因子的非负性.同时,结合智能计算中的仿生学方法和程序设计方法,给出有理Bézier曲线降阶的一种新方法.该方法首先计算简单,应用适应值函数和简单的循环执行复制、交叉、变异、选择求出最优值或次优值,其次实现了有理Bézier曲线的保端点插值的多次降阶,降阶后的有理Bézier曲线直接以显式给出.     

OOZS：一种面向对象的Z语言扩展

在软件开发过程中，面向对象方法和形式方法的综合使用有助于充分利用这两种方法的优点并克服它们的不足。在Ｚ规格说明语言的基础上，作者设计了一种结构化的面向对象形式规格说明语言ＯＯＺＳ，以提高形式规格说明的层次性及模块化能力。本文简要介绍了ＯＯＺＳ语言的设计思想及其面向对象特征。     

Z规格说明的前置条件的简化

在软件方法学中，形式方法越来越受到人们的重视，并已被应用于软件开发．Z是一种基于数学表示的软件规格说明方法．前置条件的简化是Z规格说明方法中一种标准的检查，本文讨论了Z规格说明中关于操作的前置条件及其计算．提出了简化过程的终止条件，给出了一个用于简化前置条件的算法，该算法可自动产生简化过程的证据．     

一些特殊图的生成函数

利用“图型序列的母函数”所给出的图型序列生成函数的性质，本文导出一些重要特殊图的生成函数。ｎ，ｍ（－ｘ）＝１，所以有定理４设Ｇ为ｎ阶出（或人）ｋ正则图（每个顶点的出（或人）度均为ｋ），则证明由条件可知，Ｉ—Ａｘ的各行之和均为１－ｋｘ，Ｉ＋ｘ的各行之和均为１＋（ｎ－ｋ）ｘ，于是其中ａｉｊ＝１－ａｉｊ由此可得定理５无向轮图的生成函数为证明因为具有ｎ个顶点的轮图的补图是由仅有一个含自回路的顶点及ｎ－１阶ｎ－３正则图构成的非连通图，所以由此可得定理６　ｎ阶无环无向路的生成函数其中△＝证明　设Ｐｎ的邻接矩阵为Ａ，则设Ｄｎ的伴随矩阵易知Ｄｉｊ＝Ｄｊｉ，当ｊ≥ｉ时，于是代入后，经整理即得证。推论１加环有向路的生成函数推论２无环有向路的生成函数参考文献     

网络安全扫描器（NSE）的设计与实现

扫描器是自动检测远程或本地主机安全性弱点的程序．它采用在计算机领域中入侵者开发、扩散使用的方法与工具模拟远程攻击的部分过程。通过使用一个扫描器,用户可以不留痕迹地发现一台远程服务器的安全性弱点．本文首先介绍Ｉｎｔｅｒｎｅｔ的安全性薄弱环节,然后讨论网络安全扫描器（ＮｅｔｗｏｒkｓｅｃｕｒｉｔｙＥＸｐｌｏｒｅｒ,简称ＮＳＥ）的设计思想．     

人工神经网络并行处理的实现模型

一、人工神经网络的并行性分析人工神经网络(Artificial Neural Network,简称ANN)具有并行处理、连续计算等特点,其并行性蕴涵在神经元模型与整个网络两个逻辑层中。 1.神经元模型的并行性 ANN的基本组成单元——M-P神经元模型如图1所示。其中:(x_1,x_2,…,x_n)是神经元的n维输     

基于画家算法的运动多面体的消隐方法

一般来说,画家算法（也称深度排序方法）适合于处理较为简单的多面体消隐问题。针对动态的复杂多面体,通过找出其在运动过程中的特点,提出了一种在画家算法的基础上减少重复排序,从而缩短运算时间的方法。在该方法提出之前,文中对其所基于的原理进行了证明。     

一种基于微GIS的租赁管理信息系统

本文提出了微GIS的管理信息系统设计基本思想，阐述了租赁管理信息系统的网络方案设计、体系结构设计、功能模块设计、微GIS功能模块设计和数据库设计，讨论了微GIS融入MIS设计过程中一系列技术问题的解决方案，实现了微GIS的地理位置空间信息与MIS的管理业务信息的集成，为实现租赁管理的信息化提供可靠的保障。该系统已经成功应用于上海华谊集团属下上海华谊房产租赁管理有限公司。     

数据库存取技术在IBMIS中的应用

数据库存取问题是管理信息系统领域的重要课题之一,为了解决基于Ｉｎｔｒａｎｅｔ的管理信息系统（ＩＢＭＩＳ）中的数据库存取问题,该文通过比较现有的若干数据库存取模式,初步阐明了数据库存取问题在基于Ｉｎｔｒａｎｅｔ的管理信息系统中实现的应用模式与策略。