停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

1.VSTTE 2005：瑞士苏黎世

>主页 >会议和研讨会 >VSTTE公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/2005
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/2005
贝特朗·梅耶,吉姆·伍德科克:
验证软件：理论、工具、实验，第一届IFIP TC 2/WG 2.3会议，2005年10月10日至13日，瑞士苏黎世，VSTTE 2005，修订论文和讨论。计算机科学课堂讲稿4171,施普林格 2008，国际标准图书编号978-3-540-69147-1

介绍

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/HoareM05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/HoareM05
托尼·霍尔,贾亚德夫·米斯拉:
验证软件：理论、工具、实验——大挑战项目的愿景。 1-18

验证工具

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Paul05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Paul05
沃尔夫冈·保罗:
走向全球验证技术。 19-25
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/皮尔斯SWZ05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/PierceSWZ05
本杰明·皮尔斯,彼得·苏厄尔,斯蒂芬妮·威里奇,史蒂夫·兹丹塞维奇:
是时候机械化编程语言元理论了。 26-30
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/LiuV05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/LiuV05
刘志明,R.文卡特斯:
正式软件工程的方法和工具。 31-41

保证正确性

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Ball05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Ball05
托马斯·鲍尔:
验证软件挑战：对可靠性整体方法的呼吁。 42-48
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/JoshiH05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/JoshiH05
拉杰夫·乔希,杰拉德·J·霍尔兹曼:
一个小挑战：构建一个可验证的文件系统。 49-56
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/CoglioG05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/CoglioG05
亚历山德罗·科利奥,科德尔绿:
一种构造性的正确性方法，以认证Java卡小程序的生成器为例。 57-63
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Jones公司05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Jones05
克利夫·琼斯:
关于获得“正确”规范的一些跨学科观察。 64-69

软件工程方面

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Hall05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Hall05
安东尼·哈尔:
软件验证和软件工程——从业者的观点。 70-73
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vsette/FislerK05文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/FislerK05
凯西·菲斯勒,克里希纳穆西神社:
围绕最终用户特征分解验证。 74-81

验证面向对象编程

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/DorFGLLMRRRSWYY05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/DorFGLLMRRRSWYY05
努里特·多尔,约翰·菲尔德,丹尼斯·戈潘,塔尔·列夫·阿米,阿列克谢·罗吉诺夫,罗曼·曼尼维奇,G.拉马林加姆,托马斯·W·代表,诺姆·里内茨基,穆利·萨吉夫,莱因哈德·威廉姆,埃兰·雅哈,格雷塔·约什:
强动态软件系统的自动验证。 82-92
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Muller公司05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Muller网站05
彼得·米勒:
关于使用所有权的对象结构的推理。 93-104
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Naumann05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Naumann05
大卫·A·诺曼:
面向对象编程中的模块化推理。 105-115
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/O学习05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/OHearn05网址
彼得·W·奥赫恩:
可扩展规范和推理：程序逻辑的挑战。 116-133

编程语言和方法论方面

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/树叶C05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/LeavensC05
加里·利文斯,柯蒂斯·克利夫顿:
JML项目的经验教训。 134-143
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/BarnettDFJLSV05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/BarnettDFJLSV05
巴纳特,罗伯特·德林,曼努埃尔·法恩德里奇,雅各布施,K.鲁斯坦·莱诺,沃尔夫拉姆·舒尔特,赫尔曼·文特尔:
Spec#编程系统：挑战和方向。 144-152
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/KiniryCH05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/KiniryCH05
约瑟夫·基尼,帕特里斯·查林,克莱门特·赫尔林:
集成静态检查和交互式验证：在验证中支持多种理论和证明人。 153-160

组件

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Rushby05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Rushby05
约翰·拉什比:
自动测试生成和验证软件。 161-172
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/BertotT05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/BertotT05
伊夫·贝托特,洛朗·塞里:
验证编译器的依赖类型、定理证明和应用。 173-181
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Smith05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Smith05
道格拉斯·史密斯:
通过优化生成程序和证明。 182-188

静态分析

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vsette/Cousot05会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Cousot05
帕特里克·库索特:
验证大挑战和抽象解释。 189-201
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/BalakrishnanRMT05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/BalakrishnanRMT05
戈古尔·巴拉克利什南,托马斯·W·代表,大卫·梅尔斯基,蒂姆·泰特鲍姆:
WYSINWYX：你看到的并不是你想要的。 202-213
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/KuncakLZR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/KuncakLZR05
维克托·昆卡,林立信,凯伦·泽,马丁·里纳德:
数据结构一致性检查系统的含义。 214-226
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Venet05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Venet05网址
阿诺·维尼特:
走向符号和数值静态分析的集成。 227-236

设计、分析和工具

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/HolzmannJ05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/HolzmannJ05
杰拉德·J·霍尔兹曼,拉杰夫·乔希:
可靠软件系统设计：缺陷预防、检测和遏制。 237-244
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vsette/Alur05文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Alur05
拉杰夫·阿鲁尔:
算法软件验证的趋势和挑战。 245-250
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/ClarkeGJV05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/ClarkeGJV05
埃德蒙·克拉克,阿努巴夫·古普塔,印度,赫尔穆特·维思:
模型检查：在硬件和软件之间来回切换。 251-255
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vsette/MeseguerR05文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/MeseguerR05
何塞·梅塞盖尔,格里戈·罗苏:
计算逻辑框架和通用程序分析技术。 256-267

形式化技术

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vsette/摩尔05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Moore05
J斯特罗瑟·摩尔:
机械化程序验证程序。 268-276
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/FutatsugiGO05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/FutatsugiGO05
Kokichi Futatsugi公司,约瑟夫·高根,绪方和弘:
用证明分数验证设计。 277-290
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/AichernigJLR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/AichernigJLR05
伯恩哈德·艾切里尼（Bernhard K.Aichernig）,何继峰,刘志明,麦克·里德:
集成程序建模、设计和验证的理论和技术。 291-300
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Meyer05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Meyer05
贝特朗·梅耶:
埃菲尔作为核查框架。 301-307

立场文件

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Archer05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Archer05
米拉·阿切尔:
我们能建立一个自动程序验证程序吗？不变证明和其他挑战。 308-317
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Bharadwaj05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Bharadwaj05网址
拉梅什·巴拉德瓦吉:
验证软件：RealGrand挑战。 318-324
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Borger05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Borger05
伊贡·博格尔:
将程序的含义与编译器可以验证的内容联系起来。 325-336
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/BultanB05型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/BltanB05
特夫菲克·布尔坦,Aysu Betin-Can公司:
使用验证设计进行可扩展软件模型检查。 337-346
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/ChechikG05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/ChechikG05
玛莎·契契克,阿里·古芬克尔:
使用精确抽象的模型检查软件。 347-353
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Evans05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Evans05
大卫·埃文斯:
烤面包机、安全带和推断程序属性。 354-361
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/GallowayIMT05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/GallowayIMT05
安迪·加洛韦,弗兰茨·伊乌,约翰·麦克德米德,伊恩·托因:
关于安全关键型软件的正式开发。 362-373
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/HavelundG05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/HavelundG05
克劳斯·哈维隆德,艾伦·戈德伯格:
验证您的跑步记录。 374-383
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Hehner05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Hehner05
埃里克·C·R·赫纳:
指定块。 384-391
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Heimdahl05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Heimdahl05
艾瑞克·海姆达尔的垫子:
规范验证案例。 392-402
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/HincheyRR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/HincheyRR05
迈克尔·欣奇,詹姆斯·L·拉什,克里斯托弗·鲁夫:
NASA戈达德太空飞行中心的一些验证问题。 403-412
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/HubbardLMR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/HubbardLMR05
哈伯德,莱蒙达斯·伦塞维修斯,埃杜·梅茨,戈帕尔·拉加万:
多核移动设备的性能验证。 413-421
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vsette/Ireland05文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Ireland05
安德鲁·爱尔兰:
推理编程工具集成。 422-427
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Kroening公司05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Kroening05
丹尼尔·克罗宁:
大挑战的决策程序。 428-437
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Manolios公司05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Manolios05
Manolios帕纳焦蒂斯:
软硬件协同验证的挑战。 438-447
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/MargariaS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/MargariaS05
蒂齐亚娜·玛格丽亚,伯恩哈德·斯特芬:
从如何到什么。 448-459
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vsette/雷诺05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Reynolds05
约翰·雷诺兹:
分离逻辑概述。 460-469
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Roever05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Roever05
威廉·鲍尔·德罗弗:
程序验证透视图。 470-477
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Schurmann05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Schurmann05
卡斯滕·舒尔曼:
元逻辑框架和正式数字图书馆。 478-485
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/X05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/X05
SPARK团队：语言、歧义和验证。 486-490
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/钢05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Steel05
格雷厄姆钢铁公司:
非理论和反例在程序验证中的重要性。 491-495
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vsette/Strichman公司G05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/StrichmanG05
奥弗·斯特里赫曼,本尼·戈德林:
回归验证-验证程序的实用方法。 496-501
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Stump05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Stump05
亚伦·斯塔姆:
带证明的编程：基于语言的方法实现完全正确的软件。 502-509
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/Utting05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/Utting05
马克·尤廷:
基于模型的测试的作用。 510-517
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vsette/YamamotoTTH05会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/YamamotoTTH05
山本三郎,田本义一（Yoshinori Tanabe）,高桥幸一,Masami Hagiya先生:
用时序逻辑抽象图形变换系统及其验证。 518-527
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/YangZXZ05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/YangZXZ05
陆洋,詹乃军（Naijun Zhan）,碧灿霞,周朝晨:
使用DISCOVER进行程序验证。 528-538
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/vstte/张05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vstte/张05
张健（Jian Zhang）:
约束求解和符号执行。 539-544

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。