检索结果-南通市图书馆

计算机应用 2004年第8期24卷 57-60页

作者：曾艳麦永浩桂林电子工业学院计算机系

在分析研究具有代表性的关联知识挖掘算法的基础上 ,提出了挖掘频繁模式的一个新的数据库存储结构AFP 树 ,并在此结构上设计了一个频繁模式挖掘算法。理论研究已经阐明了AFP 树的有效性和相关算法的高效性。

关键词：数据挖掘关联规则频繁模式 AFP-树

网络最大流问题的一种新的符号ADD求解算法

在线全文

学校读者我要写书评

暂无评论

通信学报 2005年第2期26卷 1-8页

作者：徐周波古天龙赵岭忠桂林电子工业学院计算机系广西桂林541004

通过对网络及网络最大流问题的符号代数判定图描述,在Trff算法的基础上,给出了网络最大流问题的一种新的符号ADD求解算法。与Dinic、Karzanov算法相比,本文算法的空间复杂度较低。实验结果表明,该算法可处理更大规模的问题。

关键词：网络优化最大流符号算法代数判定图

在线全文

学校读者我要写书评

暂无评论

基于OBDD的拆卸序列表示模型的优化

工程设计学报 2006年第4期13卷 211-216页

作者：钟艳如梁勇强古天龙桂林电子工业学院计算机系广西桂林541004

拆卸序列的紧凑表示是拆卸序列的评价与优化的基础,AND-OR图是拆卸序列表示的一种典型方法,但是拆卸序列的AND-OR图表示模型存在冗余信息.通过对AND-OR图模型作等价变换,消除AND-OR图表示模型中的冗余信息.设计了拆卸序列的优化表示模... 详细信息

拆卸序列的紧凑表示是拆卸序列的评价与优化的基础,AND-OR图是拆卸序列表示的一种典型方法,但是拆卸序列的AND-OR图表示模型存在冗余信息.通过对AND-OR图模型作等价变换,消除AND-OR图表示模型中的冗余信息.设计了拆卸序列的优化表示模型的生成算法,建立了优化的基于OBDD的拆卸序列表示模型,用来表示复杂装配体的拆卸序列.并论证了优化模型的拆卸序列表示可以节省存储空间,最后的实验表明,基于OBDD的拆卸序列优化表示模型的存储空间远小于AND-OR图的存储空间.

关键词：拆卸序列 OBDD 表示模型

在线全文

学校读者我要写书评

暂无评论

基于ISDG的面向对象程序分片技术研究

计算机工程与应用 2007年第4期43卷 85-89,136页

作者：朱炎蔡国永桂林电子工业学院计算机系广西桂林541004

程序分片是一种有效的程序分析技术,它能根据给定的分片准则从源程序中提取出所需部分进行分析,如进行程序调试、测试、程序重构分析等。程序分片技术在结构化程序中已有较广泛的应用,但对于面向对象语言程序,其研究与应用还存在一些待... 详细信息

程序分片是一种有效的程序分析技术,它能根据给定的分片准则从源程序中提取出所需部分进行分析,如进行程序调试、测试、程序重构分析等。程序分片技术在结构化程序中已有较广泛的应用,但对于面向对象语言程序,其研究与应用还存在一些待解决的问题。针对面向对象语言程序,提出了一种改进后的系统依赖图:ISDG,用来更好地表示面向对象程序中的依赖关系,从而解决了对象类型参数和属性的表示问题。基于ISDG模型,提出了一种新的面向对象语言程序的分片准则,以及相应的分片算法。

关键词：程序分片系统依赖图方法分片面向对象

在线全文

学校读者我要写书评

暂无评论

一种非均匀自适应分层方法

计算机工程与应用 2005年第3期41卷 72-74,104页

作者：周满元桂林电子工业学院计算机系桂林541004

自适应分层考虑了CAD模型在零件制作方向上的曲率变化,采用变层厚分层以提高零件的表面精度,一般的自适应分层方法对整个零件采取相同的表面精度要求(尖顶高度)。然而在实际应用中,零件的某些重要表面要求光滑一些,而其余相对不太重要... 详细信息

自适应分层考虑了CAD模型在零件制作方向上的曲率变化,采用变层厚分层以提高零件的表面精度,一般的自适应分层方法对整个零件采取相同的表面精度要求(尖顶高度)。然而在实际应用中,零件的某些重要表面要求光滑一些,而其余相对不太重要的表面可以粗糙一些,即零件的不同表面具有不同的表面精度要求。通过对零件的不同表面采用不同的尖顶高度误差,可以进一步提高自适应分层的效率和零件的表面质量。提出一种非均匀自适应分层方法,用户选择好零件的制作方向后对零件的不同表面输入不同的表面精度要求,然后系统自动进行非均匀自适应分层,分层结果以SLC文件格式输出并可以直接送到各种快速成型系统进行加工。最后给出了分层实例并对结果进行了分析。

关键词：自适应分层表面精度快速成型

在NetBill交易协议中引入对商家的时限责任的追究

在线全文

学校读者我要写书评

暂无评论

计算机科学 2004年第10期31卷 79-83页

作者：彭勋董荣胜郭云川蔡国永桂林电子工业学院计算机系桂林541004

NetBill电子交易系统是一个用于网上信息商品以及可通过网络发送的服务的微交易系统。本文从时限责任的角度指出了NetBill交易协议中存在的一种商家欺骗行为,并通过在NetBill交易协议中引入受信任的时间戳服务器的方法,使得修改后的NetB... 详细信息

NetBill电子交易系统是一个用于网上信息商品以及可通过网络发送的服务的微交易系统。本文从时限责任的角度指出了NetBill交易协议中存在的一种商家欺骗行为,并通过在NetBill交易协议中引入受信任的时间戳服务器的方法,使得修改后的NetBill交易协议能够支持对商家的时限责任的追究。最后本文采用时限逻辑证明了修改后的NetBill协议满足期望的时限属性。

关键词：电子交易系统商家责任协议商品服务器时限时间戳发送属性

网络最大流问题求解的符号ADD增广路径算法

在线全文

学校读者我要写书评

暂无评论

计算机科学 2005年第10期32卷 38-40,54页

作者：徐周波古天龙赵岭忠桂林电子工业学院计算机系桂林541004

本文通过对网络及网络最大流问题的符号代数判定图(ADD)描述,将网络中的结点和边用ADD隐式表示,并利用Gabow的容量变尺度算法的主要思想,将一般网络最大流问题化为一系列的单位容量网络最大流问题,结合Hachtel等的单位容量网络最大流问... 详细信息

本文通过对网络及网络最大流问题的符号代数判定图(ADD)描述,将网络中的结点和边用ADD隐式表示,并利用Gabow的容量变尺度算法的主要思想,将一般网络最大流问题化为一系列的单位容量网络最大流问题,结合Hachtel等的单位容量网络最大流问题的求解算法,给出了网络最大流问题求解的符号ADD增广路径算法,简称为符号ADD算法。与Dinic算法、Karzanov算法相比,本文算法的空间复杂度得到了改善。实验结果表明,本文算法是切实有效的,且可处理更大规模的问题。

关键词：符号算法最大流代数判定图(ADD) 剩余网络网络最大流路径算法问题求解 ADD 符号最大流问题变尺度算法空间复杂度求解算法

在线全文

学校读者我要写书评

暂无评论

一个电子投递协议的改进

计算机工程与应用 2004年第29期40卷 195-198页

作者：彭勋董荣胜郭云川蔡国永桂林电子工业学院计算机系桂林541004

电子商务协议需要满足一定的安全特性,其中一个特性是时限性。时限性是指协议中各个主体的行为必须在规定的时间范围内完成,而对于违反了时限要求的主体行为,这类协议都应能够追究该主体的时限责任。该文分析了Kudo提出的一个安全电子... 详细信息

电子商务协议需要满足一定的安全特性,其中一个特性是时限性。时限性是指协议中各个主体的行为必须在规定的时间范围内完成,而对于违反了时限要求的主体行为,这类协议都应能够追究该主体的时限责任。该文分析了Kudo提出的一个安全电子投递协议中的两个缺陷,并给出了改进后协议的时限责任证明。

关键词：电子投递协议时限性时限责任

在线全文

学校读者我要写书评

暂无评论

安全支付协议的设计与验证研究

计算机工程与应用 2005年第6期41卷 139-143页

作者：彭勋董荣胜郭云川蔡国永桂林电子工业学院计算机系桂林541004

安全支付协议是实现电子商务在线支付的关键。目前缺乏同时支持电子商品和实物商品的在线支付协议,基于此,该文给出了一种同时支持这两类商品交易的安全支付协议,最后使用SMV工具对协议的原子性进行了分析并验证了其可行性。

关键词：安全支付协议 SEP安全性原子性符号模型验证 SMV

在线全文

学校读者我要写书评

暂无评论

一种基于STEP的CAD模型直接分层方法

计算机集成制造系统 2005年第9期11卷 1243-1247页

作者：周满元习俊通李君上海交通大学CIM所上海 200030 桂林电子工业学院计算机系广西桂林541004

提出了一种基于产品模型数据交换标准的3维计算机辅助设计实体模型直接分层方法,零件的原始计算机辅助设计模型以产品模型数据交换标准中性文件的格式输入分层系统,系统提取其几何拓扑信息并重建计算机内部几何模型。用户选择零件的制... 详细信息

提出了一种基于产品模型数据交换标准的3维计算机辅助设计实体模型直接分层方法,零件的原始计算机辅助设计模型以产品模型数据交换标准中性文件的格式输入分层系统,系统提取其几何拓扑信息并重建计算机内部几何模型。用户选择零件的制作方向并指定分层厚度后,系统自动对计算机辅助设计模型进行直接分层,分层结果可直接送到各种快速成型系统加工。基于产品模型数据交换标准的计算机辅助设计模型直接分层不依赖任何特定的计算机辅助设计系统,通用性、灵活性好,而且产品模型数据交换标准文件的数据量大大小于STL文件,有利于网络化设计与制造环境下的数据传输与交换。

关键词：直接分层实体模型产品模型数据交换标准快速成型制造