VCG（稳定可靠）
通用Vickrey-Clarke-Groves（VCG）拍卖机制和VCG for Search拍卖算法的Coq / SSReflect形式化项目，被视为通用机制的一个实例。 此外，我们提供了重要属性的证明，即无正向转移，合理性和（部分原因，因为仅限于稳定的出价变化，即，不会改变出价人顺序的出价）真实性。
有关简短介绍和说明，请参见此资料库中的MINES ParisTech / CRI技术报告，。 有关正确的说明，另请参见文件头。
用法
从VCG_Search_as_General_VCG.v文件开始，以运行整个项目。 否则，如果只想运行此General_VCG_mechanism.v ，则在General_VCG_mechanism.v文件的开头添加注释掉的Require 。
已在MacOS Catalina 10.15.7上使用以下运行环境测试了此形式化：
n
2022-11-05 19:37:37
334KB
1
这个拍卖平台系统是CtoC的一种模式，主要是分析网上消费在消费者和消费者之间发生的交易过程。该平台可供消费者录入需要卖出的商品信息和买卖的形式和具体要求，供其他消费者浏览查询选购和竟拍，并提供网上交易费用代收等服务。
2022-11-05 09:05:00
1015KB
1
拍卖算法，可以用来学习分布式拍卖算法，了解原理，希望对大家有帮助
2022-10-18 17:34:57
102KB
1
拍卖转拍,玩家互动挑选自己想要的拍品,转拍获利,还可以提货,一款购物和赚钱的不二选择操作步骤打开拍卖首页
根据时间点击进入指定的场次选作品，等待到时间准备抢拍,抢完之后可以查看卖家的收款码,确认打款之后可以上传支付截图然后可以等待卖家确认收货,可以选择提货或者第二天进行转拍获利。
2022-07-29 09:01:10
72.94MB
1
微创公司的CRM拍卖行业版产品结合中国国内的拍卖行业的实际需求，把拍卖行业的客户管理、行动管理、工时管理和综合业务管理的经验与现代营销管理中先进的CRM 理念相融合，并借助了微创软件的专业技术力量，是一款针对国内拍卖行业的客户关系管理系统。同时，微创CRM拍卖行业版不仅仅是一种业务操作软件，更是先进的拍卖行业业务管理解决方案。它在会拍卖行业管理人员、业务人员、财务人员和客户之间建立了一个立体的管理系统，帮助企业对内和对外实现以“客户为中心”的全方位管理。
2022-07-14 22:59:42
21KB
1
源码简介:拍卖、转拍，玩家互动挑选自己想要的拍品,转拍获利，还可以提货，一款购物和赚钱的不二选择操作步骤打开拍卖首页，根据时间点击进入指定的场次选作品，等待到时间准备抢拍，抢完之后可以查看卖家的收款码，确认打款之后可以上传支付截图然后可以等待卖家确认收货，可以选择提货或者第二天进行转拍获利。分享获利，支持在线体现。
2022-07-12 09:08:01
74.82MB
智信分销拼团拍卖商城小程序V3.22.2 +5前端百度+QQ+微信+支付宝
1、【修复】新增商品无法设置运费的bug；
2、【修复】商品列表无法下架的bug；
3、【修复】分销海报昵称居中设置失效的bug；
4、【修复】多商户管理后台图片选择分组点击无效的bug
2022-07-10 16:06:31
53.25MB
【新增】支持绑定的公众号发送商家新订单通知;
【优化】采集完成后可选择对该商品进行维护;
【修复】php5.6以上环境淘宝商品无法采集到详情的bug;
【修复】默认的授权页面没有标题和背景颜色不是主题色的bug。
【新增】商品采集功能，目前支持淘宝、天猫、1688;
【修复】退换货时无法查看退货地址的bug;
【修复】个人中心默认样式没有标题的bug。
版本号：3.18.3 – 标准版1.【新增】快速购买主界面支持客服功能;2.【新增】订单导出Excel增加支付时间、发货时间和收货时间;3.【优化】用户账号授权登录方式;4.【优化】允许商品价格设置为0元;5.【优化】允许订单修改收货信息;6.【优化】商品价格等颜色为主题色;7.【修复】管理后台支付设置微信支付参数不显示的bug。
2022-07-10 09:12:22
81.43MB