机器、猜想与反应机理--论MECHEM的化学发现

MECHEM是一个机器发现系统,它提出了乙烷氢解反应的一个新的化学反应机理。本文介绍了MECHEM内部的算法和启发式,分析了它的人机交互工作过程。在此基础上,肯定了它在增长化学知识中的作用,为其合法性作了方法论辩护,并讨论了机器参与科学发现的条件,提出确认发现本身已经成为发现过程的一部分,人机交互的方式是未来科学研究的一种方式。     

修配法解装配尺寸链的简易计算

推导出了修配法解装配尺寸链的简易计算公式．使修配法分析计算更为简便，更易于掌握。     

基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

ON THE COLLISION DETECTION PROBLEM OF TWO MOVING OBJECTS DESCRIBED BY ALGEBRAIC SETS

In this paper, the collision problem of two moving objects is investigated. The objects are described by two algebraic sets （ellipses or circles in the paper）. The collision problem discussed involves both static and dynamic case. The static case is that each object moves with known velocity. We use nonlinear programming to decide whether the objects collide. The dynamic case is that each object is controlled by a constraint external force which can be regulated online. For the dynamic case, the collision problem can be modelled as a Minmax problem which can be solved by using differential games. If collision occurs, the time and place of the first collision are given. The moving trajectories are provided in the paper.     

迎接分子机器

人类从不满足于欣赏,而是要创新。犹如化学在发掘天然产物的过程中,创造出了不仅在数量上,而且在性能上也超越天然的合成化合物。人类在学习生物分子机器的过程中,定将会创造出人工分子机器。令人兴奋的是这一创造已经开始。     

煤电联动电煤定价模型博弈分析

供应链企业之间即是利益合作关系,同时也是利益分配竞争关系。在保证供应链整体利益的最大化的前提下,如果协调好企业之间的利益分配,应是供应链管理的一个关键问题。电煤的合理定价显然适应了这一要求,因此本文试图通过对煤炭企业和电力企业之间电煤价格如何合理确定的分析,达到既满足整体利益最大化,同时又在单个企业之间合理分析的目的。     

监控承包人的机会主义质量战略

当承包人机会主义行为的一次性收益大于其长期维护信誉的收益时,他将违背合同义务,从而降低了招标人的效用。首先将工程采购描述为一个三阶段博弈,说明诚实和机会主义两类承包人的质量选择战略,以及机会主义行动的经济学条件。然后,利用优化方法选择了最佳的监控比例和处罚政策,这将有助于增加招标人的效用。     

竞合博弈:半导体产业西进之路

一边是中国台湾的成熟晶圆代工实力，一边是中国大陆潜力巨大的消费市场。在全球经济一体化的推动下，半导体产业西进的趋势已经“势不可挡”![编者按]     

博弈论在城市公交优先机制中的应用

针对我国城市交通拥堵问题严重的现状,通过建立类似于“公共地悲剧”的完全信息静态模型,对均衡条件进行讨论分析,在此基础上提出解决交通问题相关对策与建议,为政府实行公交优先政策提供依据。