简介：自人类诞生以来,我们就开始有意识、无意识地探索世界的奥秘。大自然的风雨雷电,宇宙的星辰移动,现象万千变换,且光怪陆离。在好奇心的驱使下,人们开始走上探索自然的漫长之路,并迫不及待地想了解这些现象之下,究竟隐藏着什么规律。给科学下一个完美无缺的定义稍有困难,这个人们一直在做且以后也会一直做下去的事情,可以归纳为探索规律。具体来说就是,探索自然界的规律,探索人类的规律,探索宇宙的规律,探索并发现一切表象之下的规律。

简介：

简介：在软件模型检测中,系统所对应的状态数会随着系统大小成指数级增长,即状态空间爆炸问题。为了研究近年来该问题的解决方法,按照系统综述的方法,归类整理近年来对近年来解决状态空间爆炸的方法,并对每类方法的应用、限制以及该领域的未来发展方向进行分析和总结。

简介：随着社会的进步以及经济的发展,现代科学技术改变了人们的生活状态以及生活方式,其中最主要的就是网络以及相关通信技术的不断进步。本文主要分析短距离无线通信技术的几种不同形式,并且进行有效的比较和分析,从整体上进行了阐述,并且促进几种短距离无线通信技术的不断发展和进步。

简介：Gmail的主界面就是收件箱．这一点跟其他厂商提供的WebMail极为类似．比如Yahoo信箱等．因此对于一个经常使用WebMail的用户而言．Gmail非常容易上手。尽管在界面上．Gmail与其它同类产品还是有少许的差别．而这也让其界面更加美观舒适——笔者的看法。例如．在Gmail中有一个叫做“谈话”(Conversations)的

简介：文章从智慧美、世情美、诗性美三个方面来试评哲学家诗人周国平的散文集《守望的距离》。他冷静、周密,用哲人特有的思辨和理性的眼光,守望人生;他丰富、细腻,用普通人喜怒哀乐的情感体验,思考、顿捂人生;他真挚、敏感,用诗人特有的睿智和灵性,注释生活。他笔下的世界沉郁而乐观,痛并坚强,淡薄却执着,理想而又现实。