-
题名有界整数规划问题的DNA计算
被引量:2
- 1
-
-
作者
胡宇舟
王雷
顾学道
-
机构
天津大学管理学院
清华大学计算机科学与技术博士后流动站
深圳市现代计算机有限公司博士后科研工作站
-
出处
《计算机应用》
CSCD
北大核心
2008年第B06期18-21,24,共5页
-
文摘
基于生化反应原理的DNA计算具有强大的并行运算能力,对于解决NP完全问题上具有硅计算机无法比拟的优势,因此对DNA计算的研究具有重要意义。基于荧光标记的策略,提出了约束方程变量分解的概念,通过将约束方程进行分解和增加约束补链的方法,解决了有界整数规划问题。利用荧光猝灭技术,基于DNA计算的新算法具有编码简单和错误率低的特点。
-
关键词
DNA计算
整数规划
荧光标记
最优解
-
Keywords
DNA computing
integer planning
fluorescence labeling
optimal solution
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名传感器网络中对偶密钥的动态密钥路径建立机制及算法
被引量:7
- 2
-
-
作者
胡宇舟
王雷
陈治平
顾学道
-
机构
天津大学管理学院
清华大学计算机科学与技术博士后流动站
深圳现代计算机公司博士后科研工作站
-
出处
《通信学报》
EI
CSCD
北大核心
2008年第2期52-58,65,共8页
-
文摘
对偶密钥技术的采用使无线传感器网络通信的安全性得到保障。对偶密钥中的动态密钥路径的应用又进一步提高无线传感器网络通信的可靠性。利用层次超立方体模型中节点编码的特性及其高容错性,提出了基于局部弱连通性概念的簇内动态密钥路径和基于位置信息的簇间动态密钥路径的两类算法。理论与计算机仿真数据分析表明,该算法具有良好的可靠性和高效性,是一种适合无线传感器网络安全可靠的具有实用价值的算法。
-
关键词
传感器网络
安全
对偶密钥
动态密钥路径
超立方体
-
Keywords
sensor networks
security
pair wise key
dynamic key path
hypercube
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名电信资费优惠规则知识表示、冲突检测与实现
被引量:2
- 3
-
-
作者
胡宇舟
李多全
顾学道
石纯一
-
机构
天津大学管理学院
清华大学计算机科学与技术博士后流动站
深圳现代计算机有限公司博士后科研工作站
-
出处
《计算机应用》
CSCD
北大核心
2008年第4期1091-1094,共4页
-
文摘
目前电信运营商资费优惠规则(俗称套餐)采用自然语言来描述,不仅容易产生歧义而且不能用计算机来进行重复套餐的自动冲突检测。针对重复套餐增多致使业务支撑系统(BSS)不堪重负而出现效率低下甚至宕机的现象,运用人工智能知识表示的方法将电信资费每条优惠规则表示为条件部分和结论部分,采用当前有代表性的冲突检测算法Rete算法和Rete改进算法的思想,提出了优惠规则冲突检测算法,与专家平台相结合,实现了优惠规则的自动化冲突检测。最后通过实例验证了优惠规则知识表示和冲突检测算法的合理性和有效性,在优惠规则的科学设置、减少客户投诉、压缩优惠规则数量、提高系统效率和增加经济效益与社会效益等方面都取得了较好的效果。
-
关键词
电信资费
优费规则
冲突检测
-
Keywords
telecom tariff
discount policy
conflict detection
-
分类号
TP182
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于分支函数线性逼近的测试数据自动生成算法
- 4
-
-
作者
胡宇舟
王雷
顾学道
-
机构
天津大学管理学院
清华大学计算机科学与技术博士后流动站
深圳市现代计算机有限有公司博士后科研工作站
-
出处
《计算机应用》
CSCD
北大核心
2008年第B06期250-253,256,共5页
-
文摘
软件测试是保证软件可靠性的一个重要手段。面向路径测试是软件测试中一种重要方法。提出了一种分支函数线性逼近的测试数据自动生成算法。结合赵瑞莲给出的谓词切片算法和程序DUC表达方式以及本文提出的算法,给出了一个基于程序执行的路径测试及测试数据自动生成新算法。由于算法采用DUC表达式,不仅可以从源端判断子路径是否可行,而且有效地降低了不可行路径对算法性能的影响。另外,与现有文献中单纯利用分支函数极小化方法的算法相比,新算法由于有机结合了分支函数线性逼近和极小化方法的长处,因此减少了测试用例的数量,提高了测试效率。
-
关键词
路径测试
测试数据自动生成
谓词切片
线性逼近
分支函数极小化
-
Keywords
path oriented testing
automated test data generation
predicate slice
linear approximation
minimization of branch function
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名移动电信业务套餐价值评估模型研究
被引量:3
- 5
-
-
作者
熊仕平
王雷
李勇
-
机构
湖南大学软件学院
清华大学计算机科学与技术系博士后流动站
-
出处
《计算机工程与应用》
CSCD
北大核心
2006年第30期212-214,共3页
-
文摘
基于套餐的状态特征,提出了一种套餐价值评估的新模型。新模型利用时间序列相似性原理,在已知全价值区间分布的套餐知识库中,寻找一个或若干个最近似的示例,然后综合这些示例的已有分类结果以形成预测分类。湖南某大型电信企业基于该套餐价值评估模型,在其一个地市分公司进行了试点,试点结果表明,新提出的套餐价值评估模型具有良好的可操作性,能对现有移动电信业务套餐价值做出有效评估。
-
关键词
电信业务
套餐
价值评估模型
时间序列
-
Keywords
tele-communication services,package,value estimation model,time series
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
F626
[经济管理—产业经济]
-