停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2005年第17届CAV：英国苏格兰爱丁堡

>主页 >会议和研讨会 >CAV汽车

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/2005
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/2005
库沙·埃特萨米,斯里拉姆·拉贾马尼:
计算机辅助验证，第17届国际会议，2005年CAV，英国苏格兰爱丁堡，2005年7月6日至10日，会议记录。计算机科学课堂讲稿3576,施普林格 2005，国际标准图书编号3-540-27231-3

受邀会谈

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/NeculaG05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/NeculaG05
乔治·C·内库拉,苏米特·古尔瓦尼:
程序分析和验证的随机算法。 1
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/宾利05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/本特利05
鲍勃·本特利:
验证现代微处理器。 2-4
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/广场AMPWM05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/PiazzaAMPWM05
卡拉广场,马可·安东尼奥蒂,Venkatesh迈索尔,阿尔贝托·波利克里蒂,弗兰兹·温克勒,巴德·米什拉:
算法代数模型检验I：来自系统生物学的挑战。 5-19

工具竞赛

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BarettMS05型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BarettMS05
克拉克·W·巴雷特,莱昂纳多·门登萨·德·莫拉,亚伦·斯塔姆:
SMT-COMP：可满足性模理论竞争。 20-23

抽象和精炼

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LahiriBC05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LahiriBC05
Shuvendu K.Lahiri公司,托马斯·鲍尔,拜伦·库克:
通过符号决策程序进行谓词抽象。 24-38
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/JhalaM05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/JhalaM05
兰吉特·贾拉,肯尼思·麦克米兰:
基于插值的过渡关系近似。 39-51
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/PasareanuPV05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/PasareanuPV05
科琳娜·帕萨雷努,拉德克·佩拉内克,威廉·维瑟:
使用抽象匹配和精化进行具体模型检查。 52-66
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BallKY05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BallKY05
托马斯·鲍尔,奥尔娜·库普夫曼,格雷塔·约什:
伪造抽象。 67-81

有界模型校验

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/RabinovitzG05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/RabinovitzG05
伊斯海·拉比诺维茨,奥尔娜·格伦伯格:
并发程序的有界模型检查。 82-97
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/HeljankoJL05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/HeljankoJL05
凯乔·赫尔詹科,汤米·A·琼蒂拉,蒂莫·拉塔瓦拉:
完整PLTL的增量和完整有界模型检查。 98-111
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GuptaS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GuptaS05
阿努巴夫·古普塔,奥弗·斯特里赫曼:
有界模型检查的抽象精化。 112-124年
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/TangMGI05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/TangMGI05
大觉汤,莎拉·马利克,阿尔蒂·古普塔,C.诺里斯·叶:
基于SAT的模型检查中的对称性减少。 125-138

工具文件I

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/XieA05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/XieA05
谢宜臣,亚历山大·艾肯:
土星：基于SAT的漏洞检测工具。 139-143
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChanderEILN05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChanderEILN05
阿杰·钱德,大卫·埃斯皮诺萨,纳耶姆伊斯兰,李忠琛,乔治·C·内库拉:
JVer：Java验证程序。 144-147
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/DwyerHHR05文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/DwyerHHR05
马修·德怀尔,约翰·哈特克利夫,马修·胡塞尔,罗比:
使用茂物可扩展模型检查框架构建您自己的软件模型检查器。 148-152
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BarnerGR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BarnerGR05
白珊润,齐夫·格拉兹伯格,伊斯海·拉比诺维茨:
使用形式化方法的并发软件的Wolf-Bug Hunter。 153-157
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BalakrishnanRKLLMGYCT05会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BalakrishnanRKLLMGYCT05
戈古尔·巴拉克利什南,托马斯·W·代表,尼古拉斯·基德,阿卡什·拉尔,林俊熙,大卫·梅尔斯基,拉杜·格鲁安,孙希勇,陈池华,蒂姆·泰特尔鲍姆:
使用CodeSurfer/x86和WPDS++对x86可执行文件进行模型检查。 158-163
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChakiISW05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChakiISW05
萨加尔·查基,詹姆斯·艾弗斯,娜塔莎·莎莉吉娜,库尔特·沃尔诺:
ComFoRT推理框架。 164-169

硬件、微码和同步系统的验证

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Kaivola05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Kaivola05
鲁佩·凯沃拉:
使用符号模拟和归纳不变量对奔腾&#xAE；4组件进行形式验证。 170-184
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AronsEFMMSSTVZ05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AronsEFMMSSTVZ05
塔玛拉阿隆,Elad Elster公司,Limor修复,塞拉·马多尔·海姆,迈克尔·米沙利,乔纳森·沙列夫,埃利·辛格曼,安德烈亚斯·蒂梅耶,莫舍·瓦尔迪,勒诺·D·扎克:
微代码向后兼容性的形式验证。 185-198
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Moniaux05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Monniaux05
大卫·莫尼奥:
浮点线性数字滤波器的组成分析。 199-212
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/VecchieS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/VecchieS05
埃里克·维奇,罗伯特·德西蒙:
同步无功程序的语法驱动可达状态空间构造。 213-225

游戏和概率验证

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/JobstmannGB05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/JobstmannGB05
芭芭拉·朱布斯曼,安德烈亚斯·格雷斯迈耶,罗德里克·布隆:
作为游戏修复程序。 226-238
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/0002G05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/002G05
阿弥陀佛罗伊,K.戈皮纳斯:
802.11协议验证的改进概率模型。 239-252
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Younes05年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Younes05
哈坎·L.S.Younes:
“黑匣子”系统的概率验证。 253-265
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/SenVA05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/SenVA05
Koushik Sen公司,马赫什·维斯瓦纳坦,古尔·阿加:
随机系统的统计模型检验。 266-280

工具文件II

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ArmandoBBCCCDHKMMORSTVV05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ArmandoBBCCCDHKMMORSTVV05
亚历山德罗·阿曼多,大卫·A·巴思,尤汉·博伊库特,亚尼克骑士,卢卡·孔帕尼亚,豪尔赫·库拉尔,保罗·汉克斯·德里尔斯马,皮尔雷·科里勒·海姆,奥尔加·库什纳伦科,雅各布·曼托瓦尼,塞巴斯蒂安·莫德谢姆,大卫·冯·奥海姆,米夏·鲁西诺维奇,贾德森·圣地亚哥,马修·图鲁阿尼,卢卡·维甘,劳伦特·维格纳龙:
用于自动验证互联网安全协议和应用程序的AVISPA工具。 281-285
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/OlivainG05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/OlivainG05
朱利安·奥利文,Jean Goubault Larrecq公司:
Orchids入侵检测工具。 286-290
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BarettFGHPZ05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BarettFGHPZ05
克拉克·W·巴雷特,易方,本杰明·戈德伯格,Ying Hu（音）,阿米尔·普努利,勒诺·D·扎克:
TVOC：用于优化编译器的翻译验证程序。 291-295
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CookKS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CookKS05
拜伦·库克,丹尼尔·克罗宁,娜塔莎·莎莉吉娜:
Cogent：程序验证的精确定理证明。 296-300
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/IvancicYGGSA05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/IvancicYGGSA05
弗兰乔·伊万西奇,资江·杨,马来语K.Ganai,阿尔蒂·古普塔,伊利亚·什利亚克特,普拉纳夫·阿沙尔:
F-Soft：软件验证平台。 301-306

决策程序和应用

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/MeirS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/MeirS05
奥利·梅尔,奥弗·斯特里赫曼:
平等逻辑的另一个决策程序。 307-320
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/NieuwenhuisO05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/NieuwenhuisO05
罗伯特·尼文胡斯,阿尔伯特·奥利弗拉斯:
穷尽理论传播的DPLL（T）及其在差分逻辑中的应用。 321-334
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BozzanoBCJRRS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BozzanoBCJRRS05
马可·波扎诺,罗伯托·布鲁托梅索,亚历山德罗·西马蒂,汤米·A·琼蒂拉,西尔维奥·兰伊斯,彼得·范·罗苏姆,罗伯托·塞巴斯蒂亚尼:
基于延迟理论组合的有效可满足模理论。 335至349

自动机与过渡系统

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/SebastianiTV05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/SebastianiTV05
罗伯托·塞巴斯蒂亚尼,斯特凡诺·托内塔,莫舍·瓦尔迪:
符号系统，显式属性：关于LTL符号模型检查的混合方法。 350-363
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/dAmorimR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/dAmorimR05
马塞洛·阿莫林,格里戈·罗苏:
有效监控ω-语言。 364-378
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BenediktBFV05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BenediktBFV05
本尼迪克特,安吉拉·博尼法蒂,塞尔吉奥·弗莱斯卡,阿维纳什·维亚斯:
验证树更新以进行优化。 379-393
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GeeraertsRB05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GeeraertsRB05
吉勒斯·杰拉尔茨,Jean-François Raskin女士,劳伦特·范·贝京:
展开、放大和检查。。。提高效率。 394-407

工具文件III

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BalabanFPZ05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BalabanFPZ05
伊塔·巴拉班,易方,阿米尔·普努利,勒诺·D·扎克:
IIV：不可见不变量验证程序。 408-412
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Yavuz-KahveciBB05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Yavuz-KahveciBB05
Tuba Yavuz-Kahveci公司,君士坦丁诺·巴齐斯,特夫菲克·布尔坦:
动作语言验证程序，扩展。 413-417年
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GardeyLMR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GardeyLMR05
纪尧姆·加迪,迪迪埃·莱姆,摩根·马格宁,奥利维尔·H·鲁:
罗密欧：分析时间Petri网的工具。 418-423
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/PastorPS05会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/PastorPS05
恩里克·帕斯特,马可·佩尼亚,马克·索莱:
TRANSYT：异步并发系统验证工具。 424-428
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/Younes05a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/Younes05a
哈坎·L.S.Younes:
Ymer：统计模型检查器。 429-433年

程序分析与验证I

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LalRB05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LalRB05
阿卡什·拉尔,Thomas W.代表,戈古尔·巴拉克利什南:
扩展加权下推系统。 434-448
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ConwayNDE05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ConwayNDE05
克里斯托弗·康威,Kedar S.Namjoshi公司,丹尼斯·达姆斯,斯蒂芬·爱德华兹:
安全特性跨过程分析的增量算法。 449-461
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/CostanGGMP05会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/CostanGGMP05
亚历山德鲁·科斯坦,斯蒂芬·高伯特,埃里克·古堡,马蒂厄·马特尔,西尔维·普托:
程序静态分析中计算不动点的策略迭代算法。 462-475

程序分析与验证II

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/McPeakN05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/McPeakN05
斯科特·麦克皮克,乔治·C·内库拉:
通过局部相等公理的数据结构规范。 476-490
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BradleyMS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BradleyMS05
亚伦·R·布拉德利,佐哈尔·曼纳,亨尼·B·西普玛:
具有可达性的线性排名。 491-504
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KahlonIG05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KahlonIG05
Vineet Kahlon公司,弗兰乔·伊万西奇,阿尔蒂·古普塔:
关于线程通过锁通信的推理。 505-518

学习的应用

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/LoginovRS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/LoginovRS05
阿列克谢·罗尼诺夫,托马斯·W·代表,什穆埃尔·萨吉夫:
通过归纳学习进行抽象提炼。 519-533
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChakiCST05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChakiCST05
萨加尔·查基,埃德蒙·克拉克,Nishant Sinha公司,普拉桑娜·塔蒂:
模拟一致性的自动假设保证推理。 534-547
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/AlurMN05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/AlurMN05
拉杰夫·阿鲁尔,P.马都苏丹,Wonhong Nam公司:
通过学习假设验证符号构成。 548-562

服务

管理网站设置

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