论文降重
免费查重
α-三Ⅰ约束问题的形式解
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
提出了α-三Ⅰ约束问题,并在逻辑系统L*和Luk中给出了这些问题的形式解,建立了这两个逻辑系统中三Ⅰ约束算法的形式推理机制,为α-三Ⅰ约束算法建立了严格的理论基础.
推荐文章
获得爬升约束机组组合问题可行解的新的系统方法
机组组合
爬升约束
Lagrangian松弛
经济分配
广义MP问题的α-三Ⅰ解的形式化理论
广义MP问题
α-三Ⅰ算法
极小α公式
形式化α-三Ⅰ解
非齐次梁方程初边值问题形式级数解的收敛性
非齐次梁方程
初边值问题
级数形式解
古典解
广义解
解线性不等式约束凸规划问题的势下降内点算法
凸规划
不等式约束
势下降内点算法
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
引文网络
引文网络
二级参考文献 (42)
共引文献 (286)
参考文献 (10)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
1973(2)
- 参考文献（1）
- 二级参考文献（1）
1977(1)
- 参考文献（0）
- 二级参考文献（1）
1991(1)
- 参考文献（0）
- 二级参考文献（1）
1993(1)
- 参考文献（0）
- 二级参考文献（1）
1995(2)
- 参考文献（0）
- 二级参考文献（2）
1997(2)
- 参考文献（0）
- 二级参考文献（2）
1998(4)
- 参考文献（0）
- 二级参考文献（4）
1999(10)
- 参考文献（1）
- 二级参考文献（9）
2000(4)
- 参考文献（2）
- 二级参考文献（2）
2001(3)
- 参考文献（0）
- 二级参考文献（3）
2002(6)
- 参考文献（1）
- 二级参考文献（5）
2003(1)
- 参考文献（0）
- 二级参考文献（1）
2004(3)
- 参考文献（1）
- 二级参考文献（2）
2005(3)
- 参考文献（2）
- 二级参考文献（1）
2007(2)
- 参考文献（1）
- 二级参考文献（1）
2008(3)
- 参考文献（0）
- 二级参考文献（3）
2010(2)
- 参考文献（0）
- 二级参考文献（2）
2012(2)
- 参考文献（1）
- 二级参考文献（1）
2020(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
α-三Ⅰ约束问题
形式解
逻辑系统
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
模糊系统与数学
主办单位：
国防科技大学理学院
出版周期：
双月刊
ISSN：
1001-7402
CN：
43-1179/O1
开本：
大16开
出版地：
湖南长沙国防科技大学理学院
邮发代号：
42-180
创刊时间：
1987
语种：
chi
出版文献量（篇）
2985
总下载数（次）
4
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
力学
化学
地球物理学
地质学
基础科学综合
大学学报
天文学
天文学、地球科学
数学
气象学
海洋学
物理学
生物学
生物科学
自然地理学和测绘学
自然科学总论
自然科学理论与方法
资源科学
非线性科学与系统科学
模糊系统与数学2022
模糊系统与数学2021
模糊系统与数学2020
模糊系统与数学2019
模糊系统与数学2018
模糊系统与数学2017
模糊系统与数学2016
模糊系统与数学2015
模糊系统与数学2014
模糊系统与数学2013
模糊系统与数学2012
模糊系统与数学2011
模糊系统与数学2010
模糊系统与数学2009
模糊系统与数学2008
模糊系统与数学2007
模糊系统与数学2006
模糊系统与数学2005
模糊系统与数学2004
模糊系统与数学2003
模糊系统与数学2002
模糊系统与数学2001
模糊系统与数学2000
模糊系统与数学1999
系统工程
管理科学学报
数学的实践与认识
数学学报(中文版)
应用数学和力学
模糊系统与数学
数学通报
数学学报
工程数学学报
系统科学与数学
大学数学
生物数学学报
复杂系统与复杂性科学
数学物理学报
高校应用数学学报A辑
应用数学学报
中学数学
高校应用数学学报
经济数学
应用数学
应用数学和力学(英文版)
数学学报(英文版)
高等数学研究
数学进展
计算数学
数学杂志
数学年刊A辑
应用概率统计
数学研究及应用
纯粹数学与应用数学
中学数学月刊
数学教学研究
计算数学(英文版)
运筹学学报
数学理论与应用
应用数学学报(英文版)
高等学校计算数学学报
数学研究
高校应用数学学报B辑(英文版)
数学年刊B辑(英文版)
