徐扬
- 作品数：279 被引量：1,111H指数：15
- 供职机构：西南交通大学数学学院更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金国家教育部博士点基金更多>>
- 相关领域：理学自动化与计算机技术经济管理社会学更多>>
- 电烤箱模糊控制器
- 电烤箱模糊控制器属于一种智能控制器，特别适用于电烤箱箱内工作温度的控制。该控制器采用模糊逻辑、复合-多重蕴涵的模糊推理方法，根据热电偶或热敏电阻测得箱温及其变化率，运用直接调用控制规则和控制表结合的模糊控制技术，通过单片...
- 徐扬吴建乐赵海良黄天民
- 文献传递
- 格蕴涵N序半群中的sl理想被引量：2
- 2008年
- 研究由格蕴涵代数所诱导的格蕴涵N序半群的sl理想的代数特性,给出了格蕴涵代数L中的LI-理想与相应的格蕴涵N序半群中的sl理想以及理想之间的关系定理,并对由集合A所生成的sl理想进行了刻画。最后,讨论了L中的准素sl理想和素sl理想之间的关系。
- 潘小东张青徐扬
- 关键词：格蕴涵代数
- 剩余格蕴涵代数中n-重素滤子的研究被引量：6
- 2008年
- 在剩余格蕴涵代数中,提出了n-重素滤子的概念,并研究了它的性质.讨论了n-重素滤子与关联滤子、n-重素滤子与素滤子、n-重素滤子与准素滤子和对不同的自然数n,n-重素滤子之间的关系.最后,得到了在格H蕴涵代数中,n-重素滤子与素滤子等价和n-重素滤子与准素滤子等价的结论.
- 朱华赵建彬徐扬
- 关键词：滤子素滤子
- 关于格蕴涵代数的余元及结构被引量：4
- 2005年
- 根据格蕴涵代数的性质,利用蕴涵滤子的概念,给出一种确定任意元素的余元的思路,指出在几种特殊的分配格上不能定义格蕴涵代数。
- 马骏徐扬
- 关键词：非经典逻辑格值逻辑格蕴涵代数
- 格H蕴涵代数与格蕴涵代数类被引量：18
- 1992年
- 本文研究了格H蕴涵代数的性质,给出了它的一些等价条件,讨论了格蕴涵代数类的真类问题和基数问题。
- 徐扬秦克云
- 关键词：格蕴涵代数
- 一阶逻辑中的扩展子句消去原则
- 2020年
- 对于一阶逻辑定理证明器,子句集化简一直是必不可少的步骤,这将有助于提高后续一阶逻辑定理证明器的证明效率.针对子句冗余性的判断,提出了一种评估子句冗余性的原则:集合蕴涵模归结原则.并且证明了该原则在不带等词一阶逻辑上的可靠性,根据该原则删除子句,不会影响原始子句集的不可满足性或者可满足性.此外,依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去(set resolution subsumption,SRSE)方法和集合归结不对称恒真消去(set resolution asymmetric tautology elimination,SRATE)方法,并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性.最后在理论上比较了SRSE方法和归结包含消去(sesolution subsumption elimination,RSE)方法以及SRATE方法和归结不对称恒真(sesolution asymmetric tautology elimination,RATE)方法之间的有效性,结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效.
- 宁欣然徐扬何星星
- 关键词：一阶逻辑
- 基于演绎长度的学习子句删除策略被引量：3
- 2018年
- 学习子句删除策略是CDCL-SAT求解器中的一个重要内容,可以避免内存爆炸和加速单元传播。评估学习子句有用性的标准不同导致所删除的学习子句是不同的,极大地影响求解效率。基于CDCL算法的求解过程可被形式化为增加管理学习子句策略的归结演绎过程,基于此,提出一种基于演绎长度的学习子句评估方法,并与现有的基于文字块距离的评估方法结合,根据排序子句的基准不同,形成两种不同的结合算法。采用国际SAT竞赛的基准实例,与目前主流的求解器进行了实验对比分析。结果表明,所提的结合算法能更好地评估学习子句的有用性,较基于文字块距离策略的求解个数提高了4.1%,说明所提策略具有一定的优势。
- 常文静徐扬吴贯锋
- 计算机辅助感官评估实验的自学习控制
- 2008年
- 建立基于三角形的感官评估基本模型和一种机器模拟人评估行为的控制方法,根据新的知识不断修正计算机存储的感官评估参数的控制策略,通过该控制策略实现机器的自学习过程。实验结果表明,采用自学习控制能够提高计算机辅助感官评估(CASE)实验的能力。
- 刘晓红曾宪弈徐扬KOEHL Ludovic
- 关键词：感官评估自学习智能控制
- 模糊多属性决策的折衷方法被引量：23
- 2004年
- 在假设属性指标和权重都是模糊数的条件下,利用两个模糊矢量的分量期望值构成的向量的夹角作为这两个模糊矢量的夹角,提出了模糊矢量投影的概念,以权重矢量作为标准衡量各个方案尺度,将模糊多属性理想矢量与模糊多属性指标构成的模糊矢量之差和模糊负理想矢量与模糊多属性指标构成的模糊矢量之差在模糊权重上的投影系数组合大小作为衡量各个方案优劣的准则,投影系数越大,方案越优,并给出该准则的算法及说明该准则的一个例子。
- 兰继斌徐扬刘家忠
- 关键词：模糊多属性决策
- 格值一阶逻辑系统LF(X)中的广义量词被引量：6
- 2006年
- 给出格值一阶逻辑系统LF(X)中广义量词的定义,讨论了带广义量词的不确定性推理的性质,为语言值逻辑推理提供科学的逻辑平台。
- 周平姜明徐扬
- 关键词：广义量词
