徐周波
- 作品数：136 被引量：194H指数：7
- 供职机构：桂林电子科技大学更多>>
- 发文基金：国家自然科学基金广西壮族自治区自然科学基金教育部留学回国人员科研启动基金更多>>
- 相关领域：自动化与计算机技术文化科学理学电子电信更多>>
- 装配序列规划问题的CSP模型及其符号OBDD求解技术被引量：8
- 2010年
- 完全、正确的可行装配序列的表示和生成是装配序列评价、优化和选择的前提,为此建立了单调非线性装配意义下的可行装配序列规划问题的约束满足问题(CSP)模型,并给出了基于有序二叉决策图(OBDD)的符号求解算法.首先以装配联接图和移动向量函数为装配体模型,给出了装配联接图模型的共享二叉决策图(SBDD)表示、移动向量函数的OBDD表示,以及装配序列规划问题的CSP描述;然后将生成所有可行装配序列的问题转化为对CSP求解所有可能解的问题,利用回溯算法对CSP问题进行符号OBDD求解,得到了满足几何可行性约束的所有可行装配序列.最后通过装配体实验验证了基于CSP模型和OBDD推理的装配序列生成技术的正确性和可行性.
- 徐周波古天龙
- 关键词：装配序列生成约束满足问题有序二叉决策图
- 一种面向字母识别的图编辑距离方法
- 本发明公开一种面向字母识别的图编辑距离方法，基于现有的SFBP算法框架，通过对代价矩阵框架元素的逐项搜索比较，对每行和每列中满足约束条件的元素个数进行计数；通过比较每行每列满足约束条件的元素个数所占每行每列的比例，对SF...
- 古天龙张鵾徐周波刘桂珍
- 基于可逆逻辑的8421BCD码同步十进制加/减法计数器
- 本实用新型公开了一种基于可逆逻辑的8421BCD码同步十进制加/减法计数器，包括4个基于可逆逻辑构造的可逆主从JK触发器及5个过渡模块，该4个可逆主从JK触发器及5个过渡模块按照各个输入端、输出端间的相互引用关系进行级联...
- 李龙古天龙常亮徐周波孟瑜
- 文献传递
- 快速解密且私钥定长的密文策略属性基加密方案被引量：2
- 2018年
- 在保证密文策略属性基加密(CP-ABE)算法安全性的前提下,尽可能地提升其工作效率一直是密码学领域的研究热点。该文从作为CP-ABE效率核心的访问结构着手,首次提出基于简化有序二叉决策图(ROBDD)的访问结构,给出了相应的策略表示方法、用户可满足性判定;基于简化有序二叉决策图(ROBDD)访问结构设计了在算法时间复杂度、存储空间占用量等方面都具有较好表现的CP-ABE方案;在安全性方面,该方案能够抵抗用户间的合谋攻击和选择明文攻击。对比分析表明,ROBDD访问结构具有更强的表达能力和更高的表达效率;新的CP-ABE方案包含时间复杂度为常数阶的密钥生成算法、解密算法,能够为用户生成定长私钥并实现快速解密。
- 李龙古天龙常亮徐周波钱俊彦
- 关键词：二叉决策图
- 一种基于不确定图模型侦测蛋白质复合物的方法
- 本发明提出一种基于不确定图模型侦测蛋白质复合物的方法，该方法包括：将蛋白质作为不确定图的顶点，蛋白质之间的相互作用作为不确定图的边；根据不确定图模型，定义期望稠密度，判断每个顶点是否属于核；计算蛋白质和他邻居蛋白质的皮尔...
- 徐周波黄文文刘华东常亮杨健
- 文献传递
- 基于改进树分解技术的约束满足问题的符号ADD求解算法被引量：1
- 2017年
- 为提高大规模约束满足问题(CSP)的求解效率,提出了基于改进树分解技术的符号ADD求解算法。通过CSP的ADD描述,将树分解技术的树聚类与符号ADD结合,以提高算法的求解效率。采用改进最大基数(MC)的变量选择法,提高构造弦图的效率,引导团的构造以及连接树的生成。对大量随机生成的测试用例进行实验仿真,结果表明,基于改进树分解技术的符号ADD求解算法求解效率优于BT-FC-ADD算法和BT-ADD算法。
- 王敏徐周波
- 关键词：约束满足问题
- 基于卡方统计的近似子图匹配被引量：1
- 2020年
- 图查询的应用越来越广泛,其中近似子图匹配是核心技术之一.但是大规模图数据中噪音的存在对近似子图匹配精确度影响较大,为进一步提高近似子图匹配算法的鲁棒性和实时性,提出一种基于卡方统计的近似子图匹配改进算法.在算法预处理阶段,利用统一邻居随机游走距离和高斯影响函数将目标图划分,使得划分后的子图在拓扑结构和标签属性之间达到最佳平衡.在算法匹配阶段,使用卡方统计量捕获的统计显著性来表征近似子图匹配结构相似度,再结合权重系数a调整结构相似度和标签相似度所占比重,其中统计显著性模型能够充分考虑背景结构和顶点邻域中的标签分布,有效处理部分标签和结构失配,从而得到最佳匹配子图.真实数据集中的实验结果表明,该算法效果较好,运算效率较高,可以应用于Toprk近似子图匹配.
- 徐周波黄文文刘华东杨健
- 关键词：图结构图划分
- 网络最大流问题求解的符号ADD增广路径算法被引量：11
- 2005年
- 本文通过对网络及网络最大流问题的符号代数判定图(ADD)描述,将网络中的结点和边用ADD隐式表示,并利用Gabow的容量变尺度算法的主要思想,将一般网络最大流问题化为一系列的单位容量网络最大流问题,结合Hachtel等的单位容量网络最大流问题的求解算法,给出了网络最大流问题求解的符号ADD增广路径算法,简称为符号ADD算法。与Dinic算法、Karzanov算法相比,本文算法的空间复杂度得到了改善。实验结果表明,本文算法是切实有效的,且可处理更大规模的问题。
- 徐周波古天龙赵岭忠
- 关键词：最大流网络最大流ADD最大流问题空间复杂度
- 基于扩展状态机模型的Web服务测试用例生成方法及系统
- 本发明提供一种基于扩展状态机模型的Web服务测试用例生成方法及系统，方法包括：从Web服务接口获取Web服务描述语言的接口文档WSDL，并根据接口文档WSDL构建初始的扩展状态机模型EFSM；根据接口文档WSDL中的控制...
- 常亮张申古天龙徐周波张舜尧祝曼丽
- 文献传递
- “离散数学”中的OBDD案例教学研究被引量：5
- 2010年
- "离散数学"是计算机专业的核心课程,是研究计算机科学的数学理论基础。有序二叉决策图(OBDD-Ordered Binary Decision Diagram)是描述布尔函数的一种新的有效的数据结构。文章提出在课本知识的讲授过程中,引入OBDD来解析离散数学在计算机专业其他学科中的具体应用,加深学生对所学知识点的理解,并激发学生的学习兴趣和创新能力,从而引导学生充分认识离散数学在计算机专业中的重要作用。这对于提高"离散数学"课程的教学水平和质量,以及学生对后续课程的学习和今后进一步的科学研究均具有现实意义。
- 徐周波古天龙
- 关键词：离散数学OBDD数据结构教学
