个人信息MORE +
陈树伟 副教授
所在单位： 数学学院
学历： 博士研究生毕业
办公地点： 成都市二环路北一段111号
联系方式： swchen@home.swjtu.edu.cn
学位： 哲学博士学位
职称： 副教授
硕士生导师
学科：数学


通讯/办公地址： 办公室电话： 邮箱：
同专业硕导



个人简介
陈树伟，博士，副教授，1999年于郑州大学应用数学专业获得理学学士学位， 2002年于郑州大学运筹与控制专业获得理学硕士学位，2006年获西南交通大学交通信息工程及控制专业博士学位，2014年获英国Ulster大学计算机科学专业博士学位。


教育经历
[1] 2010.10-2015.8
计算数学及其应用软件|博士研究生毕业|哲学博士学位


研究方向
[1]控制与决策
[2]自动推理


工作经历
暂无内容


团队成员
系统可信性自动验证国家地方联合工程实验室





Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处
访问量：次

---

个人信息MORE +
陈树伟 副教授
所在单位： 数学学院
学历： 博士研究生毕业
办公地点： 成都市二环路北一段111号
联系方式： swchen@home.swjtu.edu.cn
学位： 哲学博士学位
职称： 副教授
硕士生导师
学科：数学


同专业硕导








科学研究 当前位置: 中文主页 >> 科学研究

科研项目
近年主要科研项目信息
[1] 基于逻辑自动推理与机器学习的软件可信性验证研究，四川省科技计划应用基础研究计划项目，2020YJ0270, 2020.01—2021.12, 经费：10万，主持
[2]锆合金氧化XXX模拟，国防科技重点实验室项目，2019.01—2020.12, 经费：20万，主持
[3]轨道交通系统可信性自动验证及优化设计研究，西南交通大学“建一流”学科项目（教育部专项建设资金项目），2019.01—2019.12，主持
[4]基于矛盾体分离的逆向并行自动演绎推理研究，中央高校基本科研业务费专项资金项目，项目编号：**CX59，2018.01—2020.12, 经费：10万，主持
[5]基于逻辑推理XXX研究，国防科工项目，2019.01—2019.12, 经费：100万，主研
[6]基于属性相关性与三支模糊集的粗糙集模型及其应用，国家自然科学基金面上项目（批准号：**），2020.01—2023.12, 经费：61万，主研（校内主持）
[7] 基于矛盾体分离的动态自动演绎推理研究, 国家自然科学基金面上项目（批准号：**），2017.01—2020.12, 经费：59万，主研

[8] Standards Based Approach to Video Archive Search and Analysis (SAVASA), European Union FP7（欧盟项目），批准号：285621, 2011.12—2014.05, 经费：379,005欧元，主研
[9] 基于格值逻辑的α-n(t)元归结动态自动推理研究, 国家自然科学基金面上项目（批准号：**），2012.01—2015.12, 经费：59万，主研
[10] 基于格值逻辑的语言真值α-广义归结自动推理研究, 国家自然科学基金面上项目（批准号：**），2009.01—2011.12, 经费：32万，主研
[11] 仿生机器眼运动系统建模与控制方法研究, 教育部高等学校博士学科点专项科研基金项目（批准号：201**），2012.01—2014.12, 经费：12万，主研
[12] 列车网络控制系统安全可靠性研究,中车唐山机车车辆有限公司项目，2016.1-2016.10, 经费：190万，主研




论文成果
近年发表的主要论文
Shuwei Chen, Jun Liu, Yang Xu, A logical reasoning based decision making method for handling qualitative knowledge. International Journal of Approximate Reasoning (Elsevier期刊，影响因子：2.678), 129: 49–63, Feb. 2021.
Shuwei Chen, David H. Glass, Mark McCartney, How opinion leaders affect others on seeking truth in a bounded confidence model, Symmetry-Basel, 12 (8): 1362, August 2020

Huimin Fu, Yang Xu,Shuwei Chen*, Jun Liu, Improving WalkSAT for random 3-SAT problems, Journal of Unviersal Computer Science, 26 (2): 220-243, February 2020
沈雪，陈树伟*，徐扬，吴贯锋，基于回跳层数的SAT求解器学习子句删除策略，计算机应用研究，37(11): 3316-3320, Nov. 2020.
沈雪，陈树伟*，艾森阳，基于奖励机制的SAT求解器分支策略，计算机科学，47 (7): 42-46, July 2020
Shuwei Chen, David H. Glass, Mark McCartney, Two-dimensional opinion dynamics in social networks with conflicting beliefs, AI & Society, Springer, 34 (4): 695–704, December 2019.
Feng Cao*, Yang Xu, Shuwei Chen*, Jian Zhong, Guanfeng Wu, A contradiction separation dynamic deduction algorithm based on optimized proof search, International Journal of Computational Intelligence Systems, 12(2): 1245–1254, 2019.
Yang Xu, Jun Liu, Shuwei Chen, Xiaomei Zhong, and Xingxing He, Contradiction separation based dynamic multi-clause synergize d automated deduction, Information Sciences (影响因子: 4.305), 462: 93–113, June 2018.
Yang Xu, Jun Liu, Xingxing He*, Xiaomei Zhong and Shuwei Chen*, Non-clausal multi-ary alpha-generalized resolution calculus for a finite lattice-valued logic, International Journal of Computational Intelligence Systems (影响因子: 1.14), 11: 384–401, 2018.
Shuwei Chen, David H. Glass, Mark McCartney, Characteristics of successful opinion leaders in a bounded confidence model, Physica A (Elsevier期刊，影响因子：2.132), 449: 426-436, May 2016.
Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto. A group decision making model for partially ordered preference under uncertainty. Information Fusion (Elsevier期刊，影响因子：6.639), 25: 32–41, Sept. 2015.
Shuwei Chen, Jun Liu, Hui Wang, Yang Xu, Juan Carlos Augusto, A linguistic multi-criteria decision making approach based on logical reasoning. Information Sciences (Elsevier期刊，影响因子：4.305), 258: 266–276, Feb. 2014.
Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto, Ordering based decision making – A survey. Information Fusion (Elsevier期刊，影响因子：6.639), 14 (4): 521–531, Oct. 2013.
Jun Liu, Wenjiang Li, Shuwei Chen, Yang Xu. An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words. Information Sciences (Elsevier期刊，影响因子：4.305), 263: 110-125, April 2014.
Yang Xu, Jun Liu, Xiaomei Zhong, Shuwei Chen. Multi-ary α-resolution principle for a lattice-valued logic. IEEE Transactions on Fuzzy Systems (IEEE期刊，影响因子：8.415), 21 (5): 898-912, Oct. 2013.
Yong Luo, Shuwei Chen, Xiaojuan He, Xue Jia. Alphanumeric character recognition based on BP neural network classification and combined features. International Journal of Computational Intelligence Systems (Taylor & Francis期刊，影响因子：2.0), 6 (6): 1108-1115, Nov. 2013.
陈树伟, 蔡丽娜. 区间值犹豫模糊集. 模糊系统与数学，2013年12月，第27卷第6期, pp. 38-44. (中文核心).
陈树伟, 王延昭. 一种基于模糊数相似度的风险分析方法. 模糊系统与数学，2013年10月，第27卷第5期, pp. 112-122. (中文核心).
Shuwei Chen, Yang Xu, Jun Liu, Feng Cao and Yan Jiang, Clause reusing framework for contradiction separation based automated deduction, the 14th International FLINS Conference on Robotics and Artificial Intelligence, Cologne, Germany, 18–21 August 2020, World Scientific, pp. 284-291

Feng Cao*, Yang Xu,Shuwei Chen*, Xinran Ning, Guanfeng Wu, A first-order logic clause set preprocessing method based on clause deduction distance, IEEE the 14th International Conference on Intelligent Systems and Knowledge Engineering (ISKE2019), Dalian, China, Nov. 14-16, 2019, pp. 90-94.
Shuwei Chen, Yang Xu, Jun Liu and Feng Cao, Look-ahead clause selection strategy for contradiction separation based automated deduction, the 13th International FLINS Conference on Decision Making and Soft Computing, Belfast, UK, August 21-24, 2018, World Scientific, pp. 750-757.
Yang Xu,Shuwei Chen*, Jun Liu, Xiaomei Zhong and Xingxing He, Distinctive features of the contradiction separation based dynamic automated deduction, the 13th International FLINS Conference on Decision Making and Soft Computing, Belfast, UK, August 21-24, 2018, World Scientific, pp. 725-732.
Shuwei Chen, Yang Xu, Yan Jiang, Jun Liu and Xingxing He, Some synergized clause selection strategies for contradiction separation based automated deduction, 2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE), Nanjing, China, Nov. 24-26, 2017, pp. 143-148.
Shuwei Chen, David H. Glass, Mark McCartney, Dynamics of conflicting beliefs in social networks, Proceedings of the 6th Workshop on Complex Networks (CompleNet 2015), New York City, USA, March 25-27, 2015, Springer-Verlag, Studies in Computational Intelligence, vol. 597, pp.171-178.
Shuwei Chen, Kathy Clawson, Min Jing, Jun Liu, Hui Wang, Bryan Scotney, Uncertainty reasoning based formal framework for big video data understanding, Proceedings of the 2014 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technologies, 11-14 August 2014, Warsaw, Poland, Volume 2, pp. 487-494.
Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto, Formal logical transformation of hierarchical human activity for reasoning based recognition, Proceedings of the 11th International FLINS Conference on Decision Making and Soft Computing, Joao Pessoa, Brazil, August 17-20, 2014, World Scientific, pp. 354-359.
Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto, A hierarchical human activity recognition framework based on automated reasoning, Proc. of the 2013 IEEE International Conference on Systems, Man, and Cybernetics (SMC2013), Manchester, UK, 13-16 October, 2013, pp. 3495-3499.
Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto, An evidential reasoning based approach for decision making with partially ordered preference under uncertainty, Proc. of the 12th International Conference on Machine Learning and Cybernetics (ICMLC2013), Tianjin, China, 14th-17th July, 2013, pp. 1712-1717.
Shuwei Chen, Jun Liu, Hui Wang, and Juan Carlos Augusto, Parameterized uncertain reasoning approach based on a lattice-valued logic, Proceedings of the 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'11). Belfast, UK, 29th June - 1st July, 2011, Springer, LNAI vol. 6717, pp. 582-593.


研究领域
（1）逻辑自动推理
（2）智能决策与控制


专利 MORE+
一阶逻辑中基于矛盾体内部子句的逆向并行演绎推理方法
一阶逻辑中基于矛盾体分离式的逆向并行演绎推理方法
一阶逻辑中基于扩展三角形的矛盾体分离演绎推理方法
命题逻辑中基于矛盾体内部子句的逆向并行演绎推理方法
命题逻辑中基于矛盾体分离式的逆向并行演绎推理方法

著作成果
基于格值逻辑的不确定性推理



Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处
访问量：次

---

个人信息MORE +
陈树伟 副教授
所在单位： 数学学院
学历： 博士研究生毕业
办公地点： 成都市二环路北一段111号
联系方式： swchen@home.swjtu.edu.cn
学位： 哲学博士学位
职称： 副教授
硕士生导师
学科：数学


同专业硕导








科研项目 当前位置: 中文主页 >> 科学研究 >> 科研项目

近年主要科研项目信息
[1] 基于逻辑自动推理与机器学习的软件可信性验证研究，四川省科技计划应用基础研究计划项目，2020YJ0270, 2020.01—2021.12, 经费：10万，主持
[2]锆合金氧化XXX模拟，国防科技重点实验室项目，2019.01—2020.12, 经费：20万，主持
[3]轨道交通系统可信性自动验证及优化设计研究，西南交通大学“建一流”学科项目（教育部专项建设资金项目），2019.01—2019.12，主持
[4]基于矛盾体分离的逆向并行自动演绎推理研究，中央高校基本科研业务费专项资金项目，项目编号：**CX59，2018.01—2020.12, 经费：10万，主持
[5]基于逻辑推理XXX研究，国防科工项目，2019.01—2019.12, 经费：100万，主研
[6]基于属性相关性与三支模糊集的粗糙集模型及其应用，国家自然科学基金面上项目（批准号：**），2020.01—2023.12, 经费：61万，主研（校内主持）
[7] 基于矛盾体分离的动态自动演绎推理研究, 国家自然科学基金面上项目（批准号：**），2017.01—2020.12, 经费：59万，主研

[8] Standards Based Approach to Video Archive Search and Analysis (SAVASA), European Union FP7（欧盟项目），批准号：285621, 2011.12—2014.05, 经费：379,005欧元，主研
[9] 基于格值逻辑的α-n(t)元归结动态自动推理研究, 国家自然科学基金面上项目（批准号：**），2012.01—2015.12, 经费：59万，主研
[10] 基于格值逻辑的语言真值α-广义归结自动推理研究, 国家自然科学基金面上项目（批准号：**），2009.01—2011.12, 经费：32万，主研
[11] 仿生机器眼运动系统建模与控制方法研究, 教育部高等学校博士学科点专项科研基金项目（批准号：201**），2012.01—2014.12, 经费：12万，主研
[12] 列车网络控制系统安全可靠性研究,中车唐山机车车辆有限公司项目，2016.1-2016.10, 经费：190万，主研





Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处
访问量：次

---

个人信息MORE +
陈树伟 副教授
所在单位： 数学学院
学历： 博士研究生毕业
办公地点： 成都市二环路北一段111号
联系方式： swchen@home.swjtu.edu.cn
学位： 哲学博士学位
职称： 副教授
硕士生导师
学科：数学


同专业硕导








论文成果 当前位置: 中文主页 >> 科学研究 >> 论文成果

近年发表的主要论文
Shuwei Chen, Jun Liu, Yang Xu, A logical reasoning based decision making method for handling qualitative knowledge. International Journal of Approximate Reasoning (Elsevier期刊，影响因子：2.678), 129: 49–63, Feb. 2021.
Shuwei Chen, David H. Glass, Mark McCartney, How opinion leaders affect others on seeking truth in a bounded confidence model, Symmetry-Basel, 12 (8): 1362, August 2020

Huimin Fu, Yang Xu,Shuwei Chen*, Jun Liu, Improving WalkSAT for random 3-SAT problems, Journal of Unviersal Computer Science, 26 (2): 220-243, February 2020
沈雪，陈树伟*，徐扬，吴贯锋，基于回跳层数的SAT求解器学习子句删除策略，计算机应用研究，37(11): 3316-3320, Nov. 2020.
沈雪，陈树伟*，艾森阳，基于奖励机制的SAT求解器分支策略，计算机科学，47 (7): 42-46, July 2020
Shuwei Chen, David H. Glass, Mark McCartney, Two-dimensional opinion dynamics in social networks with conflicting beliefs, AI & Society, Springer, 34 (4): 695–704, December 2019.
Feng Cao*, Yang Xu, Shuwei Chen*, Jian Zhong, Guanfeng Wu, A contradiction separation dynamic deduction algorithm based on optimized proof search, International Journal of Computational Intelligence Systems, 12(2): 1245–1254, 2019.
Yang Xu, Jun Liu, Shuwei Chen, Xiaomei Zhong, and Xingxing He, Contradiction separation based dynamic multi-clause synergize d automated deduction, Information Sciences (影响因子: 4.305), 462: 93–113, June 2018.
Yang Xu, Jun Liu, Xingxing He*, Xiaomei Zhong and Shuwei Chen*, Non-clausal multi-ary alpha-generalized resolution calculus for a finite lattice-valued logic, International Journal of Computational Intelligence Systems (影响因子: 1.14), 11: 384–401, 2018.
Shuwei Chen, David H. Glass, Mark McCartney, Characteristics of successful opinion leaders in a bounded confidence model, Physica A (Elsevier期刊，影响因子：2.132), 449: 426-436, May 2016.
Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto. A group decision making model for partially ordered preference under uncertainty. Information Fusion (Elsevier期刊，影响因子：6.639), 25: 32–41, Sept. 2015.
Shuwei Chen, Jun Liu, Hui Wang, Yang Xu, Juan Carlos Augusto, A linguistic multi-criteria decision making approach based on logical reasoning. Information Sciences (Elsevier期刊，影响因子：4.305), 258: 266–276, Feb. 2014.
Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto, Ordering based decision making – A survey. Information Fusion (Elsevier期刊，影响因子：6.639), 14 (4): 521–531, Oct. 2013.
Jun Liu, Wenjiang Li, Shuwei Chen, Yang Xu. An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words. Information Sciences (Elsevier期刊，影响因子：4.305), 263: 110-125, April 2014.
Yang Xu, Jun Liu, Xiaomei Zhong, Shuwei Chen. Multi-ary α-resolution principle for a lattice-valued logic. IEEE Transactions on Fuzzy Systems (IEEE期刊，影响因子：8.415), 21 (5): 898-912, Oct. 2013.
Yong Luo, Shuwei Chen, Xiaojuan He, Xue Jia. Alphanumeric character recognition based on BP neural network classification and combined features. International Journal of Computational Intelligence Systems (Taylor & Francis期刊，影响因子：2.0), 6 (6): 1108-1115, Nov. 2013.
陈树伟, 蔡丽娜. 区间值犹豫模糊集. 模糊系统与数学，2013年12月，第27卷第6期, pp. 38-44. (中文核心).
陈树伟, 王延昭. 一种基于模糊数相似度的风险分析方法. 模糊系统与数学，2013年10月，第27卷第5期, pp. 112-122. (中文核心).
Shuwei Chen, Yang Xu, Jun Liu, Feng Cao and Yan Jiang, Clause reusing framework for contradiction separation based automated deduction, the 14th International FLINS Conference on Robotics and Artificial Intelligence, Cologne, Germany, 18–21 August 2020, World Scientific, pp. 284-291

Feng Cao*, Yang Xu,Shuwei Chen*, Xinran Ning, Guanfeng Wu, A first-order logic clause set preprocessing method based on clause deduction distance, IEEE the 14th International Conference on Intelligent Systems and Knowledge Engineering (ISKE2019), Dalian, China, Nov. 14-16, 2019, pp. 90-94.
Shuwei Chen, Yang Xu, Jun Liu and Feng Cao, Look-ahead clause selection strategy for contradiction separation based automated deduction, the 13th International FLINS Conference on Decision Making and Soft Computing, Belfast, UK, August 21-24, 2018, World Scientific, pp. 750-757.
Yang Xu,Shuwei Chen*, Jun Liu, Xiaomei Zhong and Xingxing He, Distinctive features of the contradiction separation based dynamic automated deduction, the 13th International FLINS Conference on Decision Making and Soft Computing, Belfast, UK, August 21-24, 2018, World Scientific, pp. 725-732.
Shuwei Chen, Yang Xu, Yan Jiang, Jun Liu and Xingxing He, Some synergized clause selection strategies for contradiction separation based automated deduction, 2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE), Nanjing, China, Nov. 24-26, 2017, pp. 143-148.
Shuwei Chen, David H. Glass, Mark McCartney, Dynamics of conflicting beliefs in social networks, Proceedings of the 6th Workshop on Complex Networks (CompleNet 2015), New York City, USA, March 25-27, 2015, Springer-Verlag, Studies in Computational Intelligence, vol. 597, pp.171-178.
Shuwei Chen, Kathy Clawson, Min Jing, Jun Liu, Hui Wang, Bryan Scotney, Uncertainty reasoning based formal framework for big video data understanding, Proceedings of the 2014 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technologies, 11-14 August 2014, Warsaw, Poland, Volume 2, pp. 487-494.
Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto, Formal logical transformation of hierarchical human activity for reasoning based recognition, Proceedings of the 11th International FLINS Conference on Decision Making and Soft Computing, Joao Pessoa, Brazil, August 17-20, 2014, World Scientific, pp. 354-359.
Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto, A hierarchical human activity recognition framework based on automated reasoning, Proc. of the 2013 IEEE International Conference on Systems, Man, and Cybernetics (SMC2013), Manchester, UK, 13-16 October, 2013, pp. 3495-3499.
Shuwei Chen, Jun Liu, Hui Wang, Juan Carlos Augusto, An evidential reasoning based approach for decision making with partially ordered preference under uncertainty, Proc. of the 12th International Conference on Machine Learning and Cybernetics (ICMLC2013), Tianjin, China, 14th-17th July, 2013, pp. 1712-1717.
Shuwei Chen, Jun Liu, Hui Wang, and Juan Carlos Augusto, Parameterized uncertain reasoning approach based on a lattice-valued logic, Proceedings of the 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'11). Belfast, UK, 29th June - 1st July, 2011, Springer, LNAI vol. 6717, pp. 582-593.



Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处
访问量：次

---

个人信息MORE +
陈树伟 副教授
所在单位： 数学学院
学历： 博士研究生毕业
办公地点： 成都市二环路北一段111号
联系方式： swchen@home.swjtu.edu.cn
学位： 哲学博士学位
职称： 副教授
硕士生导师
学科：数学


同专业硕导








研究领域 当前位置: 中文主页 >> 科学研究 >> 研究领域

（1）逻辑自动推理
（2）智能决策与控制


Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处
访问量：次

---

个人信息MORE +
陈树伟 副教授
所在单位： 数学学院
学历： 博士研究生毕业
办公地点： 成都市二环路北一段111号
联系方式： swchen@home.swjtu.edu.cn
学位： 哲学博士学位
职称： 副教授
硕士生导师
学科：数学


同专业硕导








专利 当前位置: 中文主页 >> 科学研究 >> 专利

一阶逻辑中基于矛盾体内部子句的逆向并行演绎推理方法2020-06-09

一阶逻辑中基于矛盾体分离式的逆向并行演绎推理方法2020-06-09

一阶逻辑中基于扩展三角形的矛盾体分离演绎推理方法2020-06-09

命题逻辑中基于矛盾体内部子句的逆向并行演绎推理方法2020-06-09

命题逻辑中基于矛盾体分离式的逆向并行演绎推理方法2020-06-09

命题逻辑中基于扩展三角形的矛盾体分离演绎推理方法2020-06-09

基于分层模糊系统的石油钻井工程事故预警方法2020-06-09


共7条1/1 首页上页下页尾页



Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处
访问量：次

---

个人信息MORE +
陈树伟 副教授
所在单位： 数学学院
学历： 博士研究生毕业
办公地点： 成都市二环路北一段111号
联系方式： swchen@home.swjtu.edu.cn
学位： 哲学博士学位
职称： 副教授
硕士生导师
学科：数学


同专业硕导








著作成果 当前位置: 中文主页 >> 科学研究 >> 著作成果

基于格值逻辑的不确定性推理2019-12-28

共1条1/1 首页上页下页尾页



Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处
访问量：次

---

个人信息MORE +
陈树伟 副教授
所在单位： 数学学院
学历： 博士研究生毕业
办公地点： 成都市二环路北一段111号
联系方式： swchen@home.swjtu.edu.cn
学位： 哲学博士学位
职称： 副教授
硕士生导师
学科：数学


同专业硕导








教学工作 当前位置: 中文主页 >> 教学工作

教学资源
暂无内容

授课信息
数据库原理与设计 /sjkylysj
自动推理 /zdtl
线性代数 /xxds
高等数学 /gdsx

教学成果
暂无内容



Copyright ? 2019 西南交通大学. All Rights Reserved.蜀ICP备**号
地址：中国四川省成都市高新区西部园区西南交通大学
川公网安备061号
技术支持：信息化与网络管理处
访问量：次