全  文

不  限

  • 不  限
  • 1979年

不  限

  • 不  限
  • 1979年
  • 全  文
  • 主  题
  • 篇  名
  • 作  者
  • 导  师
  • 第一导师
  • 学位授予单位
  • 关键词
  • 摘  要
  • 目  录
  • 参考文献
  • 学科专业
  • 发表时间

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 作  者
  • 导  师
  • 第一导师
  • 学位授予单位
  • 关键词
  • 摘  要
  • 目  录
  • 参考文献
  • 学科专业
  • 发表时间
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用

徐扬

教授;博士生导师授

西南交通大学 基础数学

发表文献 171|文献被引 916| 指导论文 46

相关度 时间 被引 下载 CNKI为你找到相关结果

多元协同演绎在一阶逻辑ATP中的应用  CNKI文献

一阶逻辑是数理逻辑中重要的分支,对其逻辑公式的自动推理是人工智能领域重要的研究热点之一.目前一阶逻辑自动定理证明大多采用二元归结方法,每次只有2个子句进行归结,只消去1组互补对,导致演绎归结式文字数较多,影响...

曹锋 徐扬... 《西南交通大学学报》 2020年02期 期刊

关键词: 数理逻辑 / 人工智能 / 定理证明 / 二元归结

下载(139)| 被引(1)

命题逻辑可满足性问题求解器的新型预处理子句消去方法  CNKI文献

针对生产线调度、航空器规划和调度等规划问题转化为命题逻辑可满足性问题时带来的子句冗余问题,提出3种子句消去方法对命题逻辑可满足性问题进行子句集化简。通过将一阶逻辑上子句消去的蕴涵模归结原则降维到命题逻辑...

宁欣然 徐扬... 《计算机集成制造系统》 2020年08期 期刊

关键词: 子句消去方法 / 命题逻辑可满足性问题求解 / 蕴涵模归结 / 规划问题

下载(105)| 被引(0)

基于大地经纬度的二维TDOA无源定位  CNKI文献

因地球表面并非平面,采用平面坐标的传统TDOA无源定位模型可能存在一定的误差。为了直接利用大地经纬度坐标进行TDOA定位,提出了基于球面两点间距离计算的一系列球面距离计算TDOA定位模型。通过最优化建模,以网格逐点...

马方立 徐扬... 《通信学报》 2019年05期 期刊

关键词: 无源定位 / 到达时间差 / 经纬度 / 球面精确计算

下载(150)| 被引(3)

一种基于识别重复路径的动态决策策略  CNKI文献

在现有基于冲突学习子句的求解器中,重启和变量相位存储技术的频繁应用,导致重启之后产生大量重复变量赋值序列,在求解过程中对变量重复赋值会浪费求解资源.本文提出一种基于识别重复路径的动态决策策略.首先,检测搜索...

常文静 徐扬 《计算机学报》 2019年10期 期刊

关键词: 可满足问题 / 冲突驱动学习子句 / 重启 / 分支决策策略

下载(161)| 被引(0)

基于OpenMP的并行遗传算法求解SAT问题  CNKI文献

为了提高SAT (boolean satisfiability)问题求解效率,在OpenMP (open multi-processing)编程框架下,将遗传算法与局部搜索算法结合,改进了混合遗传算法中的选择算法,将原有选择操作的时间复杂度降低到O(N)级别.算法采...

吴贯锋 徐扬... 《西南交通大学学报》 2019年02期 期刊

关键词: SAT问题 / OpenMP / 并行混合遗传算法 / 粗粒度模型

下载(126)| 被引(2)

基于证据理论的不平衡数据半监督分类方法  CNKI文献

针对标记样本少的不平衡数据,提出一种基于证据理论和biased-SVM的不平衡数据半监督分类方法。首先采用随机子空间方法得到不同的视图;然后在各个视图上利用初始的标记样本集训练biased-SVM模型,并将其应用于未标记样...

杜利敏 徐扬 《计算机应用研究》 2018年02期 期刊

关键词: 半监督分类 / 不平衡数据 / 证据理论 / biased-SVM

下载(259)| 被引(4)

基于演绎长度的学习子句删除策略  CNKI文献

学习子句删除策略是CDCL-SAT求解器中的一个重要内容,可以避免内存爆炸和加速单元传播。评估学习子句有用性的标准不同导致所删除的学习子句是不同的,极大地影响求解效率。基于CDCL算法的求解过程可被形式化为增加管理...

常文静 徐扬... 《计算机工程与应用》 2018年16期 期刊

关键词: 可满足性问题 / 冲突驱动子句学习 / 学习子句删除 / 演绎长度

下载(56)| 被引(5)

基于证据推理和前景理论的区间多属性决策方法  CNKI文献

针对属性值为区间确定因子结构的多属性决策问题,结合决策者的行为特征,提出了基于证据推理和前景理论的区间多属性决策方法。首先,根据前景理论给出各方案在各属性下的区间前景值。然后,根据区间确定因子规则库推理,...

靳留乾 方新... 《模糊系统与数学》 2017年06期 期刊

关键词: 区间确定因子 / 多属性决策 / 证据推理 / 前景理论

下载(312)| 被引(9)

利用逻辑演绎求解SAT问题的启发式完全算法  CNKI文献

为解决可满足性(satisfiability problem,SAT)问题求解过程中分支决策效率不高的问题,提出了一种基于逻辑演绎分组(logical deduction group,LDG)的启发式完全算法.该算法通过选择剩余未满足子句参与逻辑演绎,得到一组...

陈青山 徐扬... 《西南交通大学学报》 2017年06期 期刊

关键词: SAT问题 / 启发式算法 / 搜索算法 / 变量决策

下载(103)| 被引(7)

基于证据推理和第3代前景理论的不确定性多属性决策方法  CNKI文献

针对多状态不确定性多属性决策问题,建立基于证据推理和第3代前景理论的决策方法.首先,给出不确定性知识表示方法—–确定因子结构及其构造方法;然后,将第3代前景理论构造价值函数和确定权重函数引入决策方法中,得到每...

靳留乾 徐扬 《控制与决策》 2016年01期 期刊

关键词: 不确定性多属性决策 / 确定因子结构 / 证据推理 / 第3代前景理论

下载(846)| 被引(15)

基于证据推理的确定因子规则库推理方法  CNKI文献

不确定性推理方法是人工智能领域的一个主要研究内容,if-then规则是人工智能领域最常见的知识表示方法。针对实际问题通常具有不确定性的特点,提出基于证据推理的确定因子规则库推理方法。首先在Ifthen规则的基础上给...

靳留乾 徐扬... 《计算机应用研究》 2016年02期 期刊

关键词: 不确定性推理 / 知识表示 / 确定因子规则库 / 证据推理

下载(225)| 被引(5)

基于业务效能的信息系统安全态势指标  CNKI文献

为获取系统运行时安全态势的完整性,在现有的信息安全态势评估指标体系中引入了业务效能指标,提出了一种混合指标的信息系统安全态势评估方法。首先,基于Q·S模型构建了系统业务效能指标体系,其中包含实数型、区间...

王丹琛 徐扬... 《清华大学学报(自然科学版)》 2016年05期 期刊

关键词: 业务效能指数 / 混合指标 / 安全态势 / 不可比较性

下载(132)| 被引(9)

基于前景理论和证据理论的混合型多属性决策方法  CNKI文献

针对混合型多属性决策问题,提出基于前景理论和证据理论的决策方法。考虑属性值类型,将实数和语言变量转化为区间数形式,保留原属性值的不确定性。结合决策者的心理行为,依据前景理论和属性权重给出各方案在不同属性下...

靳留乾 徐扬... 《济南大学学报(自然科学版)》 2015年04期 期刊

关键词: 混合型多属性决策 / 前景理论 / 证据理论 / 评价价值

下载(471)| 被引(13)

基于证据理论的不确定性推理方法及其应用  CNKI文献

针对民航无线电管理中遇到的干扰问题以及客观世界中描述客观现象的知识和信息具有不确定性的特点,结合民航无线电干扰查处的实际情况,提出基于一种产生式规则的知识表示方法,以区间确定因子描述不确定性。提出基于De...

靳留乾 徐扬... 《计算机工程与应用》 2015年10期 期刊

关键词: Dempster-Shafer证据理论 / 不确定性推理 / 区间值 / 确定因子

下载(348)| 被引(7)

基于业务用户行为的计算机动态取证评估模型研究  CNKI文献

对复杂信息系统的业务用户行为和网络取证进行了研究,结合木马技术提出了基于业务用户行为的计算机动态取证评估模型,该模型构建了基于云模型的业务用户行为定量评估方法。通过仿真实验验证了模型评估的合理性,同时验...

王丹琛 张仕斌... 《电子科技大学学报》 2015年06期 期刊

关键词: 行为评估 / 业务用户行为 / 云模型 / 计算机动态取证

下载(118)| 被引(7)

基于逻辑合取的语言真值概念格合并算法  CNKI文献

针对人工智能领域中有关不确定性自然语言的研究,将格值逻辑引入概念格,提出了自然语言转换为语言真值的方法,并基于语言真值格蕴涵代数建立了语言真值概念格.通过对各语言真值形式背景及形式概念间关系的分析,演示了...

杨丽 徐扬 《电子学报》 2013年11期 期刊

关键词: 概念格 / 语言真值概念格 / 不确定性自然语言 / 逻辑合取

下载(91)| 被引(5)

发行管制下政治关系对民企再融资择时行为的影响  CNKI文献

以我国1997~2008年符合条件的268家民营上市公司的再融资为样本,研究在面临发行管制的情况下,政治关系对上市公司再融资的择时行为、融资规模和发行定价的影响。结果证明,具有政治关系的公司会促进公司对融资时机的把...

吴水亭 徐扬 《系统工程》 2010年02期 期刊

关键词: 政治关系 / 管制 / 再融资 / 时机

下载(423)| 被引(37)

大跨度六塔斜拉桥地震反应分析  CNKI文献

大跨度桥梁是重要的交通生命线工程,一旦在地震中遭受破坏,将会导致巨大的经济损失,并严重影响到灾区的抗震救灾工作和恢复重建,因此,对斜拉桥进行正确有效的地震反应分析,确保其抗震安全性具有非常重要的意义。 ...

徐扬 导师:周凌远 西南交通大学 2010-05-01 硕士论文

关键词: 斜拉桥 / 地震反应 / 刚性铰 / 桩-土-结构相互作用

下载(243)| 被引(16)

模糊层次分析法权重研究  CNKI文献

提出确定一族模糊层次分析法权重的新方法,说明该权重确定方法的合理性,得出四个重要结论,纠正人们对模糊层次分析法权重确定的某些错误认识.给出从传统层次分析法标度到模糊层次分析法标度的转换方法.

兰继斌 徐扬... 《系统工程理论与实践》 2006年09期 期刊

关键词: 模糊层次分析法 / 模糊判断矩阵 / 一致性 / 权重

下载(17018)| 被引(696)

基于胜任力的企业人力资源评价模型  CNKI文献

1973年McClelland提出胜任力,胜任力评价成为企业人力资源管理研究的方向.论文比较胜任力及其主要模型的特点,分析影响胜任力评价的主要因素,探讨建立面向职业发展的企业人力资源胜任力评价结果合成模型.

刘晓红 徐扬... 《西南民族大学学报(自然科学版)》 2006年02期 期刊

关键词: 企业 / 人力资源 / 胜任力 / 评价

下载(958)| 被引(38)

学术研究指数分析(近十年)详情>>

  • 发文趋势

主要合作者关系图

时间的形状