“虐你如人机”，本是一段藐视对手的话，如今多多少少开始有点没底气了。——来自膨胀...
随着电子消费品市场的进一步成熟和技术的发展，消费者对于产品及其体验的追求也在不断...
我们一直想让更多人知道中国文字的魅力，以及中国文字排版的独特之美。
停电了，苹果零售店自然也就什么都做不了。
相信这种设计，是很多用户不能感到满意的。
除了承担获奖者的门票费用外，苹果还会首次提供住宿费用。
这次应该是比较靠谱的了，苹果的确是在开发自驾软件平台。
称自己对财富投资不感兴趣，因为这可能破坏一个人的价值观。
现在随着交通越发的发达便利，全球化的步伐加快，出国旅游成为了大家享受生活，认识世...
继承自《奇妙清单》，又比《奇妙清单》多了一点新东西。至于那款已经连开发团队一起被...
《飞船逃生》在画面上采用了时下非常流行的像素风格，略显粗糙的像素颗粒加上不怎么美...
本作当中整个场景设计非常小，几乎就只占据屏幕中间的一部分区域，搭配上阴暗的画面特...
这次大概终于玩到了一个真的手机版 RPG，难能可贵。
《无敌查克诺里斯》延续了前作的玩法，各种趣味要素的表现上升到了一个更高的层次，诙...
在本周的更新当中，国内游戏业巨头网易为广大玩家带来了一款名为《秘宝猎人》的射击闯...
WOW Lens Case 是一款做工非常精致的保护壳产品，它能够为 iPhone 提供 4 个镜头。
这款保护壳目前已经通过了苹果的 MFi 认证，并且满足 Qi 无线充电标准。
要知道现在越来越多 VR App 支持 Apple Watch ~
AirPods如此受欢迎，相信苹果肯定也会好好的对待它，为我们带来更棒的AirPods 。
但未来情况将发生变化，预计最早 2018 年时苹果会将这一适配器从新 iPhone 设备的标配...
Apple Pencil 的收纳是一个问题，那我们可以考虑给它配个笔盒。
一直以来，iPhone 配套的 Lightning 数据线的耐用性都是用户抱怨的一个方面。
越来越多智能厂商的产品支持HomeKit，对于苹果来说，也许到了该发力的时候了~
我怎么能知道我的icloud空间上是否已经备份了我的通讯录？
注册时间 最后登录
在线时间217 小时 UID
主题帖子人气
金苹果, 积分 2655, 距离下一级还需 345 积分
第一次使用icloud，登录也打开过通讯录备份，但是看过空间里，还是5G，也没有被什么新文件占用，怎么能判别是否已备份通讯录和IOS设置等资料？
注册时间 最后登录
在线时间527 小时 UID
主题帖子人气
iCloud里面那个通讯录开关开了应该就是备份了，你把那个开关了然后选择删除iPhone上的号码看看通讯录还有没有，没有的话就是备份了
注册时间 最后登录
在线时间1742 小时 UID
主题帖子人气
注册时间 最后登录
在线时间217 小时 UID
主题帖子人气
iCloud里面那个通讯录开关开了应该就是备份了，你把那个开关了然后选择删除iPhone上的号码看看通讯录还有没 ...
我删了，手机里还有
注册时间 最后登录
在线时间217 小时 UID
主题帖子人气
iCloud里面那个通讯录开关开了应该就是备份了，你把那个开关了然后选择删除iPhone上的号码看看通讯录还有没 ...
我删了，手机里还有
注册时间 最后登录
在线时间527 小时 UID
主题帖子人气
登陆网页版iCloud看看回5楼v776于15 分钟前发表的:
我删了，手机里还有......
注册时间 最后登录
在线时间696 小时 UID
主题帖子人气
删除好像还真没有这个选项啊
注册时间 最后登录
在线时间585 小时 UID
主题帖子人气
注册时间 最后登录
在线时间623 小时 UID
主题帖子人气
登录iCloud网页，可以看到通讯录的状态
注册时间 最后登录
在线时间1350 小时 UID
主题帖子人气
正解，另外，通讯录是不占iCloud 的空间的据我所知。就算占，你的通讯录档案能有多大，相对于5G 的空间来说显示不出来也是正常的。
最简单的确认方法就是登入网页版iCloud 就可以看出来了。回9楼frankfxu于半小时前发表的: 登录iCloud网页，可以看到通讯录的状态......
威锋旗下产品
Hi~我是威威！
沪公网安备 29号　|　沪ICP备号-1
新三板上市公司威锋科技（836555）
增值电信业务经营许可证：
Powered by Discuz!基于空间逻辑和计算树逻辑的模型检测--《2009年中国高校通信类院系学术研讨会论文集》2009年
基于空间逻辑和计算树逻辑的模型检测
【摘要】：模型检测是一种很重要的自动验证技术。在已有的对移动进程演算的研究中,用于刻画移动环境演算系统性质大多使用的是空间逻辑,而时序逻辑作为形式化方法中一个十分重要的应用分支当然也可用于刻画移动环境演算系统的性质。本文采用空间逻辑与时序逻辑中的计算树逻辑等知识,研讨了移动环境演算的模型检测问题。
【作者单位】：
【关键词】：
【分类号】：TP301【正文快照】：
引言模型检测是一种形式化验证方法，20世纪八十年代由clarke和Emerson等人引入[3]。其过程由用户描述的一个模型开始，判断用户所断言的假设在模型中是否有效，若无效则产生反例。模型检测最初使用时态逻辑，它归类到模态逻辑，依赖于对“时间”的特别观点进行分类，cTL[4J和
欢迎：、、)
支持CAJ、PDF文件格式，仅支持PDF格式
【共引文献】
中国博士学位论文全文数据库
王焕宝;[D];合肥工业大学;2006年
李援;[D];合肥工业大学;2007年
【相似文献】
中国期刊全文数据库
朱维军;周清雷;;[J];郑州大学学报(理学版);2011年03期
张琛;段振华;;[J];西安交通大学学报;2011年08期
吴勇;李祥;;[J];电力学报;2011年04期
钮俊;曾国荪;吕新荣;徐畅;;[J];计算机科学;2011年09期
盛伟;李曦;高妍妍;周学海;;[J];中国科学技术大学学报;2011年08期
骆翔宇;谭征;苏开乐;吴立军;;[J];计算机学报;2011年06期
温炽亮;;[J];计算机与现代化;2011年07期
朱维军;周清雷;张海宾;;[J];华南理工大学学报(自然科学版);2011年07期
杨元原;马文平;刘维博;白晓峰;;[J];沈阳工业大学学报;2011年04期
李娇;刘全;傅启明;王庭钢;;[J];通信学报;2011年07期
中国重要会议论文全文数据库
高静;曹子宁;;[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
陈道喜;张广泉;陈冬火;;[A];2008年全国开放式分布与并行计算机学术会议论文集(下册)[C];2008年
刘芳;魏昭;董荣胜;;[A];广西计算机学会2008年年会论文集[C];2008年
许梅;曹子宁;;[A];2009年中国高校通信类院系学术研讨会论文集[C];2009年
何青;骆翔宇;苏开乐;;[A];2006年全国理论计算机科学学术年会论文集[C];2006年
王飞明;胡元闯;董荣胜;;[A];广西计算机学会2008年年会论文集[C];2008年
周志远;张大方;缪力;赵丹;黄谷;;[A];第五届中国测试学术会议论文集[C];2008年
肖美华;邓宸芳;马小薏;薛锦云;江耘;;[A];第二十次全国计算机安全学术交流会论文集[C];2005年
陈晓江;杨琛;冯健;房鼎益;;[A];2007年全国开放式分布与并行计算机学术会议论文集(下册)[C];2007年
黄锐;冯敢生;;[A];中华医学会第十三届全国放射学大会论文汇编（下册）[C];2006年
中国重要报纸全文数据库
边歆;[N];网络世界;2006年
李文;[N];中国机电日报;2002年
宗遐龄;[N];中国石化报;2011年
中国博士学位论文全文数据库
林荣德;[D];华南理工大学;2010年
刘志锋;[D];南京大学;2011年
黄宏涛;[D];哈尔滨工程大学;2012年
杨琛;[D];西安电子科技大学;2010年
刘剑;[D];中国科学院研究生院（软件研究所）;2005年
朱维军;[D];西安电子科技大学;2011年
田聪;[D];西安电子科技大学;2010年
陈冬火;[D];中国科学院研究生院（成都计算机应用研究所）;2006年
张玉清;[D];西安电子科技大学;2000年
文静华;[D];贵州大学;2006年
中国硕士学位论文全文数据库
施小纯;[D];中国科学院研究生院（软件研究所）;2004年
刘万授;[D];华南师范大学;2005年
高丹丹;[D];长春理工大学;2010年
谢越;[D];华东师范大学;2010年
刘学锋;[D];湘潭大学;2004年
边晶;[D];吉林大学;2005年
赵赟;[D];青岛大学;2008年
肖颖奇;[D];中国科学院研究生院（软件研究所）;2003年
董卫;[D];山东科技大学;2005年
吴建耀;[D];西安电子科技大学;2005年
&快捷付款方式
&订购知网充值卡
400-819-9993
《中国学术期刊（光盘版）》电子杂志社有限公司
同方知网数字出版技术股份有限公司
地址：北京清华大学 84-48信箱 大众知识服务
出版物经营许可证 新出发京批字第直0595号
订购热线：400-819-82499
服务热线：010--
在线咨询：
传真：010-
京公网安备75号阅读下面的文字，完成文后各题李彦宏的百度变形记　　李彦宏，一贯以克制、内敛、新锐的形象示人。　　面对时常突如其来的鲜花和掌声，他总能不为所动；面对媒体的采访要求和各种论坛会议的邀请，他总是极其谨慎地婉拒，算是曝光率最低的大牌之一；面对外界的猜测和质疑，他总能以一名理科生的理性逻辑来解析释疑；无论面对诱惑还是困难，他总能一如既往，按照自己的节奏运转，理智得像一台服务器。　　人们都已经看到，作为中国互联网“三巨头”之一的百度，过去几年间迸发出了惊人能量。　　2005年，百度登陆纳斯达克，首日股价上涨353.85%，创下纳市新的世界纪录；　　2007年开始，百度东渡日本，www.baidu.jp在日本正式上线，主动出击对抗早已在那里迎战的雅虎和谷歌；　　2008年，新产品C2C和即时通讯工具“百度HI“相继出世，两只脚分别伸向了一直都被看做井水不犯河水的另外两个互联网巨头——阿里巴巴和腾讯的领地，赤裸裸地直面淘宝、QQ甚至MSN，给业界增添了无限遐想空间，人们开始热衷于揣测着未来中国的互联网争霸格局。国际化是一把双刃剑，成伤人，败伤己；国际化也是一支箭，开了弓便没有回头路。　　如今的日本网络搜索市场，谷歌占据了35%左右，雅虎则控制了60%左右。百度的国际化大门要从艰难的日本市场开启，令业内观察家颇为费解。　　日本的搜索同行也表示了同样的疑惑，一家中国的网络公司跑到世界第二经济强国日本来与美国雅虎和谷歌争夺互联网搜索市场，前途未卜。　　“作为成长性较快的上市公司，百度必须成长为一家国际化的网络企业，否则就无法真正让投资者认同。”李彦宏用他惯有的理性回应着所有善意或恶意的质疑，“所有的市场都是相似的，如果一个企业可以在一个地方成功，在其他的市场却不能成功，那么它的发展是有问题的，就不能算真正的成功企业。”　　李彦宏的观点，有理有据，百度内部里，该不该国际化的质疑声渐渐消退。但是，接下来的问题，更为现实而残酷——如何在异国他乡过上好日子。　　令人惊喜的是，日，根据日本权威调查机构Video Research的最新研究数据显示，在1月23日到2月22日，也就是百度正式进军日本的第一个月中，百度日本的PV量不断攀升，已力压所有日本本土搜索引擎，成为日本搜索市场上第四大拥有独立搜索引擎技术的公司。而在图像及视频检索等服务的平均利用网页数和停留时间上，百度日本更是上升到日本搜索引擎市场的第一位。　　李彦宏坚信，百度如果征服了日本市场，对其他市场就会更加有信心和经验。无论如何，作为一个中国的网络公司，能顺利进入以高科技为主导的日本市场，本身就是一种突破。　　李彦宏才不在乎别人怎么看，“我们可不是看别人怎么做就跟着怎么做，我们看的是市场需求，然后再找方向。不管是过去只做中文搜索，还是现在做日文搜索、C2C、即时通讯，都是因为我们看到了市场需求，看到了方向。”熟识李彦宏的人，都佩服他极其强烈且清晰的方向感。曾经，正是这种不被外界干扰的方向感，引领着百度专注地走到了今天。　　　（选自《东方人物周刊》日）小题1:从选文看，百度的“变形”表现在哪些方面？（6分）小题2:百度进军日本市场对企业有什么启示？（6分） - 跟谁学
跟谁学学生版:genshuixue_student精品好课等你领在线咨询下载客户端关注微信公众号
搜索你想学的科目、老师试试搜索吉安
跟谁学学生版:genshuixue_student精品好课等你领在线咨询下载客户端关注微信公众号&&&分类：阅读下面的文字，完成文后各题李彦宏的百度变形记　　李彦宏，一贯以克制、内敛、新锐的形象示人。　　面对时常突如其来的鲜花和掌声，他总能不为所动；面对媒体的采访要求和各种论坛会议的邀请，他总是极其谨慎地婉拒，算是曝光率最低的大牌之一；面对外界的猜测和质疑，他总能以一名理科生的理性逻辑来解析释疑；无论面对诱惑还是困难，他总能一如既往，按照自己的节奏运转，理智得像一台服务器。　　人们都已经看到，作为中国互联网“三巨头”之一的百度，过去几年间迸发出了惊人能量。　　2005年，百度登陆纳斯达克，首日股价上涨353.85%，创下纳市新的世界纪录；　　2007年开始，百度东渡日本，www.baidu.jp在日本正式上线，主动出击对抗早已在那里迎战的雅虎和谷歌；　　2008年，新产品C2C和即时通讯工具“百度HI“相继出世，两只脚分别伸向了一直都被看做井水不犯河水的另外两个互联网巨头——阿里巴巴和腾讯的领地，赤裸裸地直面淘宝、QQ甚至MSN，给业界增添了无限遐想空间，人们开始热衷于揣测着未来中国的互联网争霸格局。国际化是一把双刃剑，成伤人，败伤己；国际化也是一支箭，开了弓便没有回头路。　　如今的日本网络搜索市场，谷歌占据了35%左右，雅虎则控制了60%左右。百度的国际化大门要从艰难的日本市场开启，令业内观察家颇为费解。　　日本的搜索同行也表示了同样的疑惑，一家中国的网络公司跑到世界第二经济强国日本来与美国雅虎和谷歌争夺互联网搜索市场，前途未卜。　　“作为成长性较快的上市公司，百度必须成长为一家国际化的网络企业，否则就无法真正让投资者认同。”李彦宏用他惯有的理性回应着所有善意或恶意的质疑，“所有的市场都是相似的，如果一个企业可以在一个地方成功，在其他的市场却不能成功，那么它的发展是有问题的，就不能算真正的成功企业。”　　李彦宏的观点，有理有据，百度内部里，该不该国际化的质疑声渐渐消退。但是，接下来的问题，更为现实而残酷——如何在异国他乡过上好日子。　　令人惊喜的是，日，根据日本权威调查机构Video Research的最新研究数据显示，在1月23日到2月22日，也就是百度正式进军日本的第一个月中，百度日本的PV量不断攀升，已力压所有日本本土搜索引擎，成为日本搜索市场上第四大拥有独立搜索引擎技术的公司。而在图像及视频检索等服务的平均利用网页数和停留时间上，百度日本更是上升到日本搜索引擎市场的第一位。　　李彦宏坚信，百度如果征服了日本市场，对其他市场就会更加有信心和经验。无论如何，作为一个中国的网络公司，能顺利进入以高科技为主导的日本市场，本身就是一种突破。　　李彦宏才不在乎别人怎么看，“我们可不是看别人怎么做就跟着怎么做，我们看的是市场需求，然后再找方向。不管是过去只做中文搜索，还是现在做日文搜索、C2C、即时通讯，都是因为我们看到了市场需求，看到了方向。”熟识李彦宏的人，都佩服他极其强烈且清晰的方向感。曾经，正是这种不被外界干扰的方向感，引领着百度专注地走到了今天。　　　（选自《东方人物周刊》日）小题1:从选文看，百度的“变形”表现在哪些方面？（6分）小题2:百度进军日本市场对企业有什么启示？（6分）阅读下面的文字，完成文后各题李彦宏的百度变形记　　李彦宏，一贯以克制、内敛、新锐的形象示人。　　面对时常突如其来的鲜花和掌声，他总能不为所动；面对媒体的采访要求和各种论坛会议的邀请，他总是极其谨慎地婉拒，算是曝光率最低的大牌之一；面对外界的猜测和质疑，他总能以一名理科生的理性逻辑来解析释疑；无论面对诱惑还是困难，他总能一如既往，按照自己的节奏运转，理智得像一台服务器。　　人们都已经看到，作为中国互联网“三巨头”之一的百度，过去几年间迸发出了惊人能量。　　2005年，百度登陆纳斯达克，首日股价上涨353.85%，创下纳市新的世界纪录；　　2007年开始，百度东渡日本，www.baidu.jp在日本正式上线，主动出击对抗早已在那里迎战的雅虎和谷歌；　　2008年，新产品C2C和即时通讯工具“百度HI“相继出世，两只脚分别伸向了一直都被看做井水不犯河水的另外两个互联网巨头——阿里巴巴和腾讯的领地，赤裸裸地直面淘宝、QQ甚至MSN，给业界增添了无限遐想空间，人们开始热衷于揣测着未来中国的互联网争霸格局。国际化是一把双刃剑，成伤人，败伤己；国际化也是一支箭，开了弓便没有回头路。　　如今的日本网络搜索市场，谷歌占据了35%左右，雅虎则控制了60%左右。百度的国际化大门要从艰难的日本市场开启，令业内观察家颇为费解。　　日本的搜索同行也表示了同样的疑惑，一家中国的网络公司跑到世界第二经济强国日本来与美国雅虎和谷歌争夺互联网搜索市场，前途未卜。　　“作为成长性较快的上市公司，百度必须成长为一家国际化的网络企业，否则就无法真正让投资者认同。”李彦宏用他惯有的理性回应着所有善意或恶意的质疑，“所有的市场都是相似的，如果一个企业可以在一个地方成功，在其他的市场却不能成功，那么它的发展是有问题的，就不能算真正的成功企业。”　　李彦宏的观点，有理有据，百度内部里，该不该国际化的质疑声渐渐消退。但是，接下来的问题，更为现实而残酷——如何在异国他乡过上好日子。　　令人惊喜的是，日，根据日本权威调查机构Video Research的最新研究数据显示，在1月23日到2月22日，也就是百度正式进军日本的第一个月中，百度日本的PV量不断攀升，已力压所有日本本土搜索引擎，成为日本搜索市场上第四大拥有独立搜索引擎技术的公司。而在图像及视频检索等服务的平均利用网页数和停留时间上，百度日本更是上升到日本搜索引擎市场的第一位。　　李彦宏坚信，百度如果征服了日本市场，对其他市场就会更加有信心和经验。无论如何，作为一个中国的网络公司，能顺利进入以高科技为主导的日本市场，本身就是一种突破。　　李彦宏才不在乎别人怎么看，“我们可不是看别人怎么做就跟着怎么做，我们看的是市场需求，然后再找方向。不管是过去只做中文搜索，还是现在做日文搜索、C2C、即时通讯，都是因为我们看到了市场需求，看到了方向。”熟识李彦宏的人，都佩服他极其强烈且清晰的方向感。曾经，正是这种不被外界干扰的方向感，引领着百度专注地走到了今天。　　　（选自《东方人物周刊》日）小题1:从选文看，百度的“变形”表现在哪些方面？（6分）小题2:百度进军日本市场对企业有什么启示？（6分）科目:最佳答案小题:⑴百度东渡日本，www.baidu.jp在日本正式上线；⑵新产品C2C和即时通讯工具“百度HI“相继出世；⑶根据市场需求，推出多样化的产品。（根据文章倒数第2段内容概括）小题:⑴作为上市公司，必须成长为国际化的企业，才能真正得到投资者的认同；⑵一个企业在一个地方成功，在其他的市场也能能成功，才能算真正的成功企业；⑶高科技企业如果征服了日本市场，对其他市场就会国家有信心和经验（或：高科技企业，能顺利进入以高科技为主导的日本市场，本身就是一种突破）⑷企业的发展不是看别人怎么做就跟着怎么做，而是要看是市场需求，然后再找方向。（答对三点，即可得6分）解析
知识点:&&基础试题拔高试题热门知识点最新试题
关注我们官方微信关于跟谁学服务支持帮助中心