网络和电子商务的迅速发展是世人有目共睹的。商务交易的许多关键部分,比如搜索能力、安全认证、支付过程等,已经得到支持。然而,达成合同协议的谈判过程仍然是一个费用昂贵的,需要手动的过程,很难借助网络和电子商务的支持。作为一种有效的资源分配和定价机制,拍卖体现了公平、公正、公开的原则,实现资源的合理有效分配,实现电子商务谈判阶段的高效运行,正好弥补了电子商务其他方式缺少的定价环节。因此,网上拍卖在理论上和实践上引起了广大学者高度的关注。然而,由于拍卖机制的复杂多样性以及其快速发展变化,对拍卖机制的研究和应用不断提出更高的挑战。同时,由于拍卖是不确定环境下信息不对称的多阶段多人博弈,因此拍卖理论的研究困难重重,理论应用举步维艰。目前的研究大多是在一些假设和约束下的分析,与实践应用还有一定的距离。与网上拍卖的快速发展相比,拍卖理论、实证及应用相对要滞后,迫切需要对其进行更广泛深入的研究。本文的主要研究工作如下：1、在查阅国内外大量期刊、书籍、会议论文、研究报告等相关文献的基础上,对拍卖的理论研究、实证、实践应用等方面进行综述；分析近年来出现的各类拍卖模式,对其进行梳理和分类；分析在网络环境下,拍卖的发展、扩展及出现的新的特性；分析在线拍卖与电子商务的互相促进的发展过程。2、进行多物品双向拍卖交易规则的设计。在多个买者多个卖者同时出价交易多个同质物品的情况下,确定市场清算价并进行交易匹配。通过证明,在该机制确定的清算价下能达到市场供需平衡,该机制满足机制设计理论中的激励相容的原则,是实现拍卖公平、公正、公开的价格发现机制。在匹配上,分别根据均摊原则、先出价先得原则、数量优先原则以及用户等级优先原则等原则实现交易匹配。通过扩展发现,传统的四大拍卖模式正是本文建立的机制下的特例情况,证明了该机制的有效性和广泛的适用性。3、分析和设计B2T(Business to Team)机制。分析B2T模式的产生及特点,研究在B2T模式下卖方的策略,分析买方的类型及其分布,结合市场信息,确定最优的折扣策略,进而对B2T机制进行设计分析。4、建立基于模糊博弈的英式拍卖模型,并分析网上英式拍卖的机制。用模糊参数出价意愿代替概率参数估价作为拍卖优化模型的基础参数,考虑竞价人的风险态度,建立英式拍卖静态博弈模型。在静态模型的基础上,分析影响竞价人出价意愿的各种动态因素,建立英式拍卖动态博弈模型。模型求解采用PSO算法,仿真实验证明模型及其求解的有效性和高效性。动态模型模拟了在网络信息爆炸的环境下竞价人的行为和决策,成为高智能拍卖Agent的理论基础。在理论模型的基础上,对网上动态英式拍卖的机制进行分析和设计。5、建立基于模糊博弈的双向拍卖模型。由于拍卖是多人多阶段信息不对称的动态博弈,建模及分析非常困难,多物品双向拍卖是拍卖理论中最复杂的一种机制,本文根据模糊竞价均衡模型,分析双向拍卖中竞价人两两之间的均衡博弈,结合双向拍卖机制设计规则,分析每个竞价人的最优报价行为,建立模糊博弈模型。6、分析基于过程代数的网上拍卖流程管理。网络化的发展要求拍卖的业务流程具有更高的柔性度以适应多变的环境,本文运用过程代数实现对业务流程的定量化分析和管理,进而实现对网上拍卖的高适应性的柔性业务流程管理。