钱俊彦
- 作品数：147 被引量：215H指数：6
- 供职机构：桂林电子科技大学更多>>
- 发文基金：国家自然科学基金广西壮族自治区自然科学基金软件工程国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术文化科学交通运输工程机械工程更多>>
- 物价收费管理信息系统的设计与实现
- 使用Delphi 6.0作为前端开发工具,选择InterBase或Access作为后端数据库,设计一个物价收费管理信息系统,该系统由收费许可证管理系统、收费年审统计系统和收费目录及文件查询系统三个子系统组成。该系统已经应...
- 钱俊彦罗同林唐荣发唐洪品
- 关键词：信息系统系统设计许可证管理
- 文献传递
- 一种基于熵的OBDD变量排序算法
- 2007年
- 有序二叉决策图(OBDD)是一种有效表示布尔函数的数据结构,其大小依赖于所采用的变量序。熵是定量描述布尔函数中变量重要性的一种方法。基于变量的熵值分析了高质量变量序的特征,给出了一种基于熵的OBDD变量排序算法。实验结果表明:该算法与模拟退火算法和遗传算法结果相当,时间仅为相应算法的80.84%和29.79%。
- 赵岭忠王雪松古天龙钱俊彦
- 关键词：有序二叉决策图
- 基于动态调整简化粒子群优化的组合测试用例生成方法被引量：6
- 2018年
- 优化的组合测试中的一个关键是生成的测试用例能够覆盖更多的组合,而粒子群算法在生成强组合覆盖用例方面有其独特的优势和能力。文中提出了一种基于动态调整简化粒子群优化的组合测试用例生成方法。该方法基于粒子群算法生成测试用例,结合混合的优先级one-test-at-a-time策略和基于动态调整的简化粒子群算法生成组合测试用例集,排除了速度因素对粒子优化过程的影响。定义了一个粒子收敛指标,以粒子群早熟收敛程度为依据来动态调整惯性权值,以防止粒子陷入局部最优和后期出现收敛速度慢的情况,从而提高粒子群算法所生成的覆盖表的覆盖组合能力。通过对比实验表明,基于动态调整的简化粒子群优化算法在用例规模和时间成本上具有一定的优势。
- 包晓安鲍超金瑜婷陈春宇钱俊彦张娜
- 关键词：简化粒子群算法测试用例惯性权值
- 时间动态下推网络的转换方法
- 本发明公开一种时间动态下推网络的转换方法，用于描述含有递归、动态线程创建的实时并发递归建模。首先在DPN中引入描述连续时间的全局时钟，以及能描述与时间相关全局变量和栈字符“年龄”的实数时钟，从而可对基于共享内存进行异步通...
- 钱俊彦徐力古天龙赵岭忠蔡国永
- 文献传递
- 基于粗糙集理论与规则相结合的智能家居数据补全方法
- 本发明公开一种基于粗糙集理论与规则相结合的智能家居数据补全方法，使用粗糙集属性约简算法将冗余信息去除，避免多于信息对数据补全产生。粗糙集理论使用信息熵的概念，能够发现数据之间潜在关系，而不是简单的数据之间线性关系。根据约...
- 赵岭忠王经书翟仲毅钱俊彦潘海玉林炫宇
- 一种基于时间自动机的时钟等价性优化方法被引量：5
- 2005年
- 提出了一种优化模型检验时间自动机的时钟等价规则,通过优化的时钟等价规则,使时间自动机等价后的域自动机状态数尽可能少,并在此基础上定义了适合于优化时钟等价规则的域自动机。优化时钟等价规则,在一定程度上有效地解决了状态空间爆炸问题。
- 钱俊彦赵岭忠古天龙
- 关键词：时间自动机时态逻辑
- Statecharts及其时间扩展的形式化验证技术研究
- 模型检验是一种非常重要的自动验证方法，主要通过显式状态搜索或隐式不动点计算来验证有穷状态系统的模态命题性质，避免建立复杂的证明过程，并在不满足性质时能提供反例。二十多年来，人们对它进行了广泛而深入的研究，取得了许多研究成...
- 钱俊彦
- 关键词：计算机仿真搜索算法
- 文献传递
- Dijkstra算法在GIS车辆诱导系统的优化实现
- 为了满足人们日益增长的出行需求,跨学科的智能交通系统应运而生。最短路径分析是GIS车辆诱导系统应用的关键问题,Dijkstra算法是解决该问题的常用算法。本文结合二树Dijkstra算法的思想和现代多核多线程的技术,对D...
- 殷招伟戴文博钱俊彦
- 关键词：最短路径DIJKSTRA算法车辆诱导系统
- 文献传递
- 从经典逻辑知识构建ASP知识库的新方法被引量：6
- 2010年
- 回答集程序设计(ASP)是一种主流的非单调知识表示工具。为了能够在利用ASP求解问题过程中使用现有的以经典逻辑表示的知识,给出了一种把以谓词逻辑公式表示的约束型知识和定义型知识转化为ASP程序或知识库的新方法,并以实例说明了其有效性。该方法满足转化后ASP程序的回答集与原公式集的模型具有一一对应关系。在实际应用中,该方法提供了一项从现存的以谓词逻辑为表示语言的知识库,构建以ASP为知识表示语言的非单调知识库的技术。
- 赵岭忠王雪松钱俊彦蔡国永
- 关键词：谓词逻辑
- 改进形式语言与自动机理论课程教学刍议
- 2008年
- 分析了形式语言与自动机理论课程的特点以及该课程在桂林电子科技大学教学的现状,针对存在的问题,从课程内容设置、实验教学和理论教学三个方面提出了改进教学效果的几点建议。其基本思想是通过认识该课程的重要性,提高学生在课程学习中的积极性;通过把现代交互式教学方法贯彻到教学的各个环节,提高学生学习的趣味性和交互性。
- 赵岭忠王雪松钱俊彦
- 关键词：动态性交互性教学辅助软件
