现代易学概论

结合易学发展的需要,分析了构建现代易学的必然性,提出了现代易学的基本概念、基本问题、基本特征,明确了现代易学研究的对象、内容、方法、特点及价值,对创新易经文化,繁荣哲学社会科学,建立现代易学理论体系具有重要指导意义。     

Ramsey数R10（3）的新下界

用群论和数论的方法研究了素数阶循环图的线性变换，得到Ｒａｍｓｅｙ数Ｒ１０（３）的新的下界。     

基于服务质量差距模型的高速铁路市场营销策略研究

高速铁路作为铁路的一种新的运输产品,为了能在建成后能发挥预期的作用和经济社会效益,需要采用一些新的管理和营销手段.文中运用服务质量差距模型分析可能使旅客感到不满意的原因,结合高速铁路产品的基本特征,借鉴了相关学者的研究经验,通过采用各种现代的营销策略,为高速铁路的运营提供一个参考.     

基于仿真实验验证宏观基本图的存在性

研究采用Vissim仿真实验的方法,验证了宏观基本图模型的存在性.通过实测数据的标定,建立了阿姆斯特丹高速公路交通网络模型.为了使宏观基本图能够反映交通拥堵产生的全过程,采用实验对比的方法确定了网络交通需求的大小.通过采集关键参数验证了宏观基本图（MFD）在仿真路网中的存在性.研究分析了不同车道数的临界密度,定义了不同严重程度的路网拥堵,基于仿真数据,用MFD模型反映了路网拥堵的动态变化过程.     

关于Cm o Cn和Cm o Pn星全色数

对于一个图G=G（V（G）,E（G））,用V（G）和E（G）表示图的顶点集合和边集合.图G的3个顶点的路边和顶点着有5种色,跑遍图G的所有k星全着色所取得的最小数k称为图G的星全色数,简记为sχt（G）.主要研究了Cm o Cn和Cm o Pn2种冠图的星全染色规律,并得出它们的星全色数.     

�ǹ̶��������õ�˫��ǣ��������ת�Ż�ģ��

对于不成对机车周转图,多基于固定的机车运转区段且为单机牵引进行研究,传统机车周转图的勾划方法难以适应非固定区段机车周转图编制的需求.机车的非固定区段运用有利于缩短机车周转时间,优化机车周转方案,对提高机车运用效率意义重大.本文在充分考虑部分双机牵引不成对机车周转图中可能出现的情况:到达单机牵引列车数与出发单机牵引列车数不同,到达双机牵引列车数与出发双机牵引列车数不同.综合分析铁路运输运营效益、列车运行图均衡性等具体要求,以机车在站停留时间、机车周转图均衡性、机车周转距离、机车运用数量等4个目标函数为求解目标的基础上,建立了机车周转图的01多目标规划模型,并给出求解的方法.最后以西宁西—西宁货区段进行实例验证,得出了对应的最少机车总消耗时间,最优附挂方案和机车周转图.     

关于Cm(。)Cn和Cm(。)Pn星全色数

对于一个图G=G(V(G),E(G)),用V(G)和E(G)表示图的顶点集合和边集合.图G的3个顶点的路边和顶点着有5种色,跑遍图G的所有k星全着色所取得的最小数k称为图G的星全色数,简记为χst(G).主要研究了Cm(。)Cn和Cm(。)Pn2种冠图的星全染色规律,并得出它们的星全色数.     

现代企业理论里的企业与财产所有权公有条件下的企业：国有企？…

用一个很通俗的事例演绎了很抽象的现代企业理论里的企业的发展和演变，同时讨论了现代企业理论里的企业生产前提条件（财产所有权界定到个人）与国有企业的前提条件（财产所有权国有）的不一致性，并提供了一个在财产所有权公有条件下建立公司治理结构的可行性议案。     

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

一阶逻辑是数理逻辑中重要的分支,对其逻辑公式的自动推理是人工智能领域重要的研究热点之一. 目前一阶逻辑自动定理证明大多采用二元归结方法，每次只有2个子句进行归结，只消去1组互补对，导致演绎归结式文字数较多，影响了演绎效率. 为此，基于矛盾体分离规则提出了一种多元协同演绎算法，该算法每次允许多个子句进行协同演绎，消去多组互补对，从而演绎分离式文字数较少且可控，能有效提高推理能力；并且，该算法通过有效演绎权重和无效演绎权重调整子句演绎顺序，利用回溯机制搜索较优路径，有效规划演绎路径. 将该算法应用于国际顶尖证明器Eprover 2.1，以CADE2017竞赛例（FOF组）为测试对象，对加入多元协同演绎算法的Eprover 2.1证明器进行试验. 试验结果表明其能力超过了Eprover 2.1:多证明定理8个；能证明Eprover 2.1未证明定理31个，占未证明总数的28.2%.      

一类4-正则图的最小折数纵横扩张

提出了一类新的4-正则图,并讨论了其最小折数纵横扩张,设计出求最小纵横扩张的线性时间算法,给出了最小折数与阶数之间的关系.