循环结构的形式化推导

介绍了Dijkstra的形式化推导方法的主要思想、步骤及要点。该方法主张程序开发和程序证明同时进行,先确定好描述程序功能的断言,再通过形式化方法推导出正确的程序。选择具有代表性的循环结构的实例进行推导证明,并对循环结构的形式化推导进行阐述说明。     

找回手机的USB存储模式

正步入Android 4.x时代后,很多手机都取消了USB大容量存储模式,与PC间只能使用MTP模式连接。对Win7/Win8系统毫无压力,但对仍在使用XP系统的用户而言就很不方便了。实际上,我们可以通过修改系统配置文件信息,找回手机的USB连接模式。在手机获得Root权限后,使用RE管理器进入"data/Property"目录     

MTK用户必备 Android手机也能系统恢复

正很多PC用户会在新装系统、驱动和常用软件之后进行Ghost备份,一旦系统异常直接恢复即可。实际上,Android手机也有类似的整套系统备份方法,让手机随时原地满血复活。全局性的系统备份可能有同学会问了,Android系统本身就提供了恢复出厂设置功能,只要利用豌豆荚等客户端备份好APP和通话短信记录,再用钛备份进行游戏数据存档的备份不就结了?但请不要忘记,上述恢复过程太过繁     

小心闹误会 读懂手机的“节能模式”

正同一型号的手机,为何有时你的跑分不如别人的机器?明明是正品手机,为何用安兔兔等软件验机后却爆出"非正品"的提示?为何有时当锁屏之后就无法接收微信的消息?实际上,在绝大多数情况下这些都是节能设置引起的"误会"。没有平白无故的省电首先需要我们明确一个观点:世上没有免费的午餐,故而没有无故的省电。所有的省电模式都是建立在牺牲部分功能或性能的基础之上。比如,降低屏没有平白无故的省电     

赋予Android手机贴心的“弹窗提醒”

正智能手机的最大特色就是可随时接收来自社交或新闻类APP的推送消息。但是,除了短信之外,这类APP却很少有弹窗提醒,导致我们在第一时间可能错过一些重要的信息。如果你不想错过任何时间段的提醒,那就不妨尝试一下本文的方法吧。     

省电秘籍WP8.1禁止APP后台运行

正对智能手机而言,后台运行的APP永远是"电池杀手"。在Windows P h o n e 8(下文简称WP8)系统中,我们可以在"设置→应用程序→后台应用"来禁止和允许指定APP的后台运行。但升级WP8.1之后,原先的设置不见了,它跑哪去了?原来,WP8.1将管理后台程序的功能转移到了节电模式的相关设置中。如果你想尽可能延长电池寿命,     

Android手机互换功能按键位置

正绝大多数Android手机底部都配有菜单、主页和返回三个快捷功能键。可惜,鲜有厂商会提供菜单键和返回键位置互换的功能。如果你希望可以根据左右手习惯随时将二者功能互换,只需修改两个配置文件即可。习惯和现实的冲突不同品牌的Android手机在按键的布局上都有自己的考虑,有些产品菜单键在左,返回键在右;而有些产品返回键在左,菜单键在右(图1)。问题来了,如果你常用左手操作手机,自然是希望返回键在左侧的设计,可以方便随时退出程序或菜单。但如果你是左撇子,而手机的返回键却偏偏设计在了右面,是不是很尴尬?     

释放耳机线控的潜力

正随着360智键、米键和快按钮等设备的大热,耳机孔的潜力再度成为手机用户津津乐道的话题。可惜,上述产品目前都仅限量销售,如果我们买不到,有没有替代方案?答案是肯定的,在上期杂志中我们介绍了"手机快捷按钮"的技术原理,它们的本质就是仅保留了3.5mm接口以及通话按钮的耳机而已。所以,     

大沽排污河入海口及其邻近海域水污染状况分析

通过对2014—2016年大沽排污河入海口及其邻近海域水环境的连续监测,分析了入海口及其邻近海域的水污染状况,结果显示:水环境呈现逐年改善的趋势;大沽排污河入海口主要受化学需氧量和五日生化需氧量的影响,化学需氧量3月开始逐渐上升至7月达到最高值,而后逐渐降低;邻近海域主要受到无机氮的影响。水环境的变化规律与陆地农田、工厂、生活污水等排放量密切相关,同时它们也是一个复杂的污染综合体,受到来自不同污染源、各类污染因子的影响。