摘要：图同构的判定性问题是图论理论中的一个难题,至今没有得到彻底解决。受Ulam猜想的启发,提出了一个新的判定图同构的充分必要条件:在子图同构的前提下,根据新增顶点及相应关联边的关系,利用子图同构函数,判断父图同构的充分必要条件。基于具有同构关系的对应点无限衍生技术,采用反证法证明了这个充分必要条件的成立。设计并实现了图同构的一个判定算法,通过实例验证了算法的正确性和有效性。

摘要：判断图同构的一种有用的方法是对图的邻接矩阵进行初等变换,变成另一个图的邻接矩阵。不幸的是,当初等变换后两个矩阵不能相等时,并不能说明两个图不同构,因为可能存在另一种变换途径,使得两个矩阵相等。另一方面,这种穷尽变换途径的方法有n!种可能(n为图的顶点个数);当n太大时,尝试每一种可能来说明两个图是否同构是不可行的,是一个NP难问题。文章提出了一个简单有效的判断图同构的方法。首先,利用邻接矩阵生成行码距异或矩阵和行码距同或矩阵;其次,寻找邻接矩阵、行码距异或矩阵、行码距同或矩阵间保持行元素一样的行-行置换;如果这种置换存在,则图同构,否则不同构。最后,根据行-行置换确定出同构函数,它给出了两个图的顶点间具有保持相邻关系的一一对应。

摘要：本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了通道系统的语义。

摘要：大规模并行计算机和核心路由器等大型计算机系统的设计中都存在硬件调试和故障诊 断的困难,利用边界扫描技术可解决电路测试、基于裸机的程序加载和运行状态信息的采集等问题。 简述了边界扫描机制的工作原理,设计和实现了一个基于边界扫描的通用通路测试平台描述了该平 台的软件结构和通路测试算法,并介绍了系统在一个MPP大规模并行计算机中的应用情况。

摘要：Adhoc网络体系结构的设计不同于传统网络的体系结构。首先阐述Adhoc网络的节点结构,比较了几种典型的网络结构,然后给出了一种用于Adhoc网络的协议栈。和其他模型不同的是,我们的模型在传输层和应用层之间增加一层中间件,屏蔽操作系统和网络的低层细节,同时增加通信的可靠性、安全性。

摘要：XScale是一款具有业界领先高性能特性的ARM兼容嵌入式微处理器构架,被应用处理 能力要求很高的嵌入式应用领域,如PDA、高带宽网络交换等。XScale引入了一系列高性能微处理 器的设计技术,XScale体系结构的复杂性给编译优化带来了挑战。分析了RISC、ARM和XScale体系 结构的特点以及这些特点给编译优化带来的挑战,并介绍了提高XScale应用程序性能的优化函数 库、编译优化和程序并行化等技术及其功效。

摘要：讨论一种可在各种数据库管理系统中重复应用的权限管理模块的设计构架和实现方法,并给出了用PowerBuilder实现的部分程序。

摘要：本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了文件系统的语义。

摘要：由于传统担保系统存在无法实现风险控制和客户保留等智能化功能的缺陷,导致担保公司贷款风险增加且审批周期过长、客户流失严重等问题。为解决上述问题,提出基于粗集神经网络模型来解决担保企业的风险控制方法;用层次分析法(AHP)和基础分类活动(ABC)模型来实现客户分群,从而有效地解决客户流失等问题;对深圳担保协会提供的2001—2011年的企业样本数据进行仿真。实验结果表明:相对传统的担保系统而言,基于商务智能的担保系统具有风险控制准确率高、审批效率高、客户分群合理等优点,所提出的模型可为智能化担保系统设计提供一种新选择。