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
读取点云文件，用VCG库对其进行处理，返回三角形网格数据，然后用OpenTK进行绘制。能处理海量的点云文件，300W点数据处理只需10S左右！
2022-04-19 15:23:42
5.81MB
1
该文件是使用Axure绘制的vcg官网的高保真原型图，想要入门前端、或者产品经理的小伙伴可以下载借鉴查看，供参考。对于Axure软件的使用交互的设置有任何疑问都可以问博主，博主看见消息后都会一一回复的！
2021-09-30 09:54:31
2.88MB
1
比较少的开源自动化代码审计工具了，功能简单实用，但是其“审计”基本相当于函数查找，比如如果找到strcpy等可能引起溢出的函数就在报告中列出来，并没有做进一步分析。
总的而言聊胜于无吧
2021-03-24 20:07:57
900KB
1