ISSN在线(2319 - 8753)打印(2347 - 6710)
Subhashini.V1,Babu.M2
|
相关文章Pubmed,谷歌学者 |
访问更多的相关文章国际创新研究期刊》的研究在科学、工程和技术
域名拍卖促进买卖目前注册的域名,让个人购买以前注册的域名适合他们的需求从一个所有者希望出售。域名拍卖网站允许用户搜索多个挂牌出售的域名所有者,并把报价放在名字他们想购买。在任何拍卖,出价最高的人获胜。可取的域名越多,赢得出价越高,通常和拍卖网站提供链接到托管代理人为了方便安全的转移基金和拍卖方之间的域属性。
关键字 |
异步MQ,报价,模型检查器,平衡方法 |
介绍 |
拍卖是用来确定数十亿美元的商品和服务将在全球范围内分配。每个投标人私下发送投标拍卖。一个共同的目标在所有这些拍卖将项目分配给投标人。谁最值项目(即分配项目有效)。它们之间的差异主要反映出其他问题。投标人可能没有必要的努力来确定她的确切价值投资的项目。胜者不再思考多久她会住在拍卖领域的赢家不再思考多久她会住在拍卖。首次降价拍卖,买家会稍微出价高于竞争对手,支付尽可能少。如果项目估值最高的投标人低估了其他的报价,这可能导致另一个投标人赢得项目,这样分配是低效的。价格密封拍卖,然而,没有理由试图仅略outbidthe下投标人; in fact, it can be shown that it is optimal to bid one’s true valuation for the item. The various auctions agree, in some sense, on the objective of efficient allocation, and the differences merely reflect other issues. There are other auctions that have a different objective, such as revenue-maximizing auctions, which do not always allocate the item efficiently. As in the single-item auction case, there are distinctions among combinatorial auctions in terms of the temporal aspects of the auction as well as the payments to be made by the bidders. |
市场设计的一个主要原则是促进一个有效率的结果在某种程度上成为可能。对于解决在独立的单个域的估值,这需要一个设计使投标人最值一个域。 |
估值和信息反馈的问题已经被提出解决两个新组合拍卖计划,RevalSlotand RevalBundle。这两个计划允许投标人参与auctionwithout强加的要求投标人有一个准确的他们的估值。RevalSlotuses不同槽尺寸的概念指导投标人投标。均衡投标策略的密封式拍卖有两个付款规则,价格规则中,胜出者需要支付她的报价,和价格密封法则中,胜出者需要支付第二高的报价。我们描述均衡报价策略和预测结果不对称和对称分布的竞标者的估值,在每种情况下假设所有投标人都具有相同的间隔可能的估值,估值的概率密度是正的。投标人参与和监控成本高的在线组合拍卖已经被提出解决分布式信号驱动组合拍卖方案。 |
答:域名拍卖 |
许多因素导致了这个域名拍卖的流行。网络的个性化导致域名被更多的个人和企业购买比最初预期的;因此也有投机和域名仓库。期待越来越需要一个有针对性的顶级域名,跋扈开始购买名字以期在以后卖出。推进领域的搜索引擎优化(SEO)也增加了渴望自己的域名,准确地反映了网站的主题。 |
域拍卖网站提供技术,用户可以通过列表或购买多个域容易和方便。域名停放,一旦最有效的广告领域销售的方法,允许一个域名所有者域页面上的可用性,希望有人对这个名字感兴趣冲浪,挂牌出售。与开发领域的拍卖中,多个用户可以列出多个域都在同一个地方,从而暴露更多的潜在买家。使用拍卖eBay等网站已经非常普遍,和域拍卖网站还需要没有使用技术知识。 |
在过去,如果一个域名已经注册到另一方,通常是明智的选择一个不同的名称。当前所有者列表域是否为指定的拍卖时间或提供即时购买选项,域名拍卖已经成为一个重要的工具在追求团结买家和卖家最有益的域名。 |
模型检查器 |
的模型系统,详尽和自动检查这个模型是否满足给定的规范。通常,一个硬件或软件系统,类似的临界状态,可能会导致系统崩溃。模型检测是一种技术,自动验证正确性finitestate系统的属性。 |
为了解决这样一个问题算法,系统的模型和规范都制定一些精确的数学语言:为此,它是制定任务逻辑,即检查是否一个给定的结构满足给定的逻辑公式。这个概念一般适用于所有类型的逻辑和合适的结构。一个简单modelchecking问题是验证给定的命题逻辑公式是否满足给定的结构。模型检测是一种正式的方法验证有限状态并发系统。规范的系统表示为时序逻辑公式,和有效的符号算法用于遍历模型定义的系统,检查是否规范持有。非常大的状态空间通常可以在几分钟内被遍历。 |
财产检查用于验证代替等价性检查时两个描述不是功能上等价的。特别是在细化,规范是补充的细节是不必要的更高层次的规范。然而,不需要验证新引入属性与原规范。它甚至是不可能的。因此,严格的双向对等检查放松单向财产检查。实现或设计电路而规范的模型被认为是属性模型必须满足。一个重要类的模型检测方法已经发展为检查模型的硬件和软件设计规范是由一个时序逻辑公式。模型检测是最常应用于硬件设计。软件,因为不可判定性的方法不能完全算法;通常它可能无法证明或反驳一个给定的属性。 |
结构通常是作为源代码描述在一个工业硬件描述语言或专用语言。这样一个计划对应于一个有限状态机(FSM),即,一个有向图节点(或顶点)和边组成。一组原子命题是与每个节点,通常说内存是一个元素。节点代表的一个系统,边代表可能的转换可能改变状态,而原子命题代表持有的基本性质的执行。正式,问题可以表示如下:给定一个所需的属性,表示为一个时序逻辑公式p M初始状态和结构,决定如果M是有限的,在硬件上,模型检查减少图搜索。 |
平衡投标 |
均衡投标策略的密封式拍卖有两个付款规则,价格规则中,胜出者需要支付她的报价,和价格密封法则中,胜出者需要支付第二高的报价。我们描述均衡报价策略和预测结果不对称和对称分布的竞标者的估值,在每种情况下假设所有投标人都具有相同的间隔可能的估值,估值的概率密度是正的。首个价格密封拍卖的竞拍者把他们的报价在一个密封的信封,同时手拍卖人。打开信封,出价最高的人获胜,支付金额的报价。拍卖是一种拍卖投标人提交一个隐蔽的方式。提交的报价进行比较,出价最高的人赢得了奖,并支付他的数量以卖方。这不同于标准英语拍卖,出价不开放或者调用;投标人必须提交估值应该基于市场价值和自己的意愿,而不是通过相对价格与其他投标人参与竞争。其他形式的拍卖包括维克瑞拍卖,或第二priceauction,出价最高者获胜,但只需付secondhighest报价。 |
答:投标人不对称 |
的首次降价拍卖个人域或顺序批域名出售,和同时价格密封拍卖同时销售的所有域。在序贯拍卖拍卖每个域序列第二价格拍卖。出价高的人赢得了域和支付失去买家出价,总支付平均分割。 |
1。拍卖选择一个分配的总报告值最大化所有投标人。 |
2。支付投标人之间的差异将欠给定的任意两个,不同的投标等于分配产生变化的影响(如果有的话)在所有其他投标人的报告值。 |
独立私人价值 |
投标人有估值私下知道独立分布根据概率分布和累积和积极的密度在一个时间间隔,是相同的所有投标人。在一个单调的纯策略均衡,如果她的价值是投标人投标。在假设投标策略是越来越和可微函数,因此有越来越和可微的逆函数。第六,投标人投标时她的估值是= ai (b)。 |
内容和深层网络之间有买家和卖家搜索服务开始提供以前受限制的部分或全部内容。越来越多的深层网络内容是开放免费搜索与大型数据库出版商和图书馆使协议。 |
在每次拍卖,拍卖系统报告的高报价。拍卖系统也提出了每个参与者自己的当前的奖金和当前解决平衡,这反映了支付领域赢得和收据域它丢失。拍卖计划也显示出来。出于实际的原因,集的领域可以分为批量出售。 |
1)投标人风险中性,在某种意义上,他们试图最大化其预期利润和投标避免任何情况下给他们负回报。 |
2)投标人按照独立私人价值的估值模型(参见下面的部分估值问题) |
3)投标人是对称的(即全部画theirvaluations来自同一概率分布)4)支付或价格只取决于投标 |
![]() |
系统没有先验知识的优先级模型检查器和投标评级另一方面不知道的实际数据便于买方和卖方。 |
1)观察名单-看域的列表 |
2)拍卖评级——维护域评级列表 |
3)联雷竞技网页版系卖家-添加和编辑联系卖家的细节。 |
4)用户评级,查看用户评级 |
![]() |
投标工具 |
拍卖系统,你将有一个投标工具,申请人-auction-tool-sequential.xlsx。所有投标人都具有相同的工具。该工具允许您选择投标策略进行研究。它包含的所有信息是常识:域,每个买家,哪些领域可以竞标,平衡报价函数无论平衡而闻名。注意,每个拍卖有一个单独的表。确保使用正确的表为特定拍卖。 |
使用这个工具,你将需要去适当的表。每个两个拍卖有一个单独的表Symmetric1和Symmetric2。然后由投标人名称排序表,然后通过域,这样所有的域可以列出投标,按字母顺序排列的。你可以将你的价值观粘贴到表的出价拍卖系统通过单击Info按钮,选择窗口中的所有域和值对屏幕的底部,然后ctrl - c复制。当然必须重复此步骤为每个拍卖。一定要保存工作簿一旦粘贴在你的价值观。也保存工作簿在每个拍卖。 |
获利领域获得: |
profitwon =价值 |
![]() |
拍卖的设计都是在软件中实现,使用最先进的商业网络拍卖的框架。用户界面自定义编写的拍卖设计提出,让实验对象集中在拍卖。在这两种情况下,受试者能够进入代理投标,投标人和软件记录的值,简化了投标人的投标过程和消除错误的来源 |
![]() |
设计拍卖 |
设计拍卖买家和卖家在commerce-oriented设置,但不要使谈判交易。一些EMs促进所有事务,包括售后服务。EMs提供二次交易等,同样,外包。事务支持阶段和越越non-buying /非销售事务,此外,信息共享和协作的机会越多。一些创新的EMs扩大他们的服务通过提供额外的服务,如促进协作产品开发和订单管理。 |
![]() |
结论 |
此域名拍卖系统可以使用模型检查器来实现。除了可以增强未来工作Averset框架通过符号模型检验器。而不是列举可及一次,状态空间有时会遍历更有效地通过考虑大量的国家在一个单一的步骤。当这样的遍历是基于状态空间表示的状态集和过渡关系公式,二元决策图或其他相关的数据结构,模型检测方法具有象征意义。 |
引用 |
|