面向程序可达性验证的数组处理循环压缩方法

计算机软件的安全性和健壮性逐渐成为一个非常重要的问题,而自动软件形式化验证是一种验证软件程序安全性和健壮性的可靠性较高的方法。在自动软件形式化验证中,大规模数组和复杂循环导致状态爆炸,使得验证器无法在规定时间内完成验证,因此如何在保证验证正确性的前提下压缩数组规模是一个值得研究的课题。文章提出复杂循环等价类的定义和相关命题,并提出一种面向程序可达性验证的数组处理循环压缩方法,先利用控制流自动机和系统依赖图进行静态分析划分等价类,再根据循环依赖关系对等价类进行压缩,用压缩后程序的验证结果代替原始程序的验证结果。实验结果表明,文章提出的方法能够在保证验证正确性的前提下压缩程序的规模,提高验证效率。

用足资源 打造精品——一个军转干部的华丽转身

笔者是一位军转干部,是一个半路出家的记者,从事新闻工作十来年,共有18件作品已获得省级以上新闻奖。回顾自己的新闻实践,笔者的体会是只有用足新闻资源,提高写作标准,才能写出精品新闻稿件。

用爱诠释的公益活动报道

《保定晚报》的连续报道“捐助一本书奉献一份爱”从2009年10月13日，由一封小学生来信开篇，历时5个多月，共刊发稿件15篇，图片20余幅．荣获2010年河北省好新闻二等奖。

新闻评论是系列报道的航标——《保定日报》“00后的爱国方式”报道体会

2017年5月22日,保定市联盟西路小学升旗仪式视频开始在网上热播,《保定日报》抓住这一典型事例随即组织了"00后的爱国方式"系列报道。这组报道在全国产生了广泛影响,其中先后刊发的4篇新闻评论,起到了引领报道方向、深化报道主题的作用,将"00后的爱国方式"系列报道推向高潮。

搭建公益平台 真情帮贫扶困——以河北《保定晚报》公益报道为例

公益报道是晚报(都市报)类报纸的重要报道领域,是弘扬社会正能量、促进社会和谐稳定的重要载体;新闻记者不仅是党和政府联系群众的纽带和桥梁,更应该是铁肩担道义、真情解民忧的公益天使。河北《保定晚报》的公益报道记者,不仅发挥了桥梁和纽带作用,还真情帮助弱势群体,尽己所能为群众解决各种难题;河北《保定晚报》还组建了自己的爱心团队——保定晚报社志愿者,搭建公益平台,吸引更多志愿者为群众排扰解难、扶危济困;《保定晚报》记者不忘初心,真情帮助困难群众,深入采访,创作出了很多精品稿件。

为民办实事要有硬功夫 ——《保定晚报》保定?帮办栏目探析

主流新闻媒体不仅是引导舆情、宣传党和政府方针政策的重要阵地,也是联系人民群众的桥梁和纽带.热忱帮助百姓解决工作、学习及生活方面的难题,是记者的一项重要任务.不过百姓请记者帮忙的事,大都是急事、难事、不好办的事,记者出面就能办吗,要办成这些事帮办记者需要具备哪些功夫呢?《保定晚报》编辑部的做法是,成立读者服务部,培养专业的帮办记者,让这些记者精通政策、甘愿吃苦、善于沟通,练就为民办实事的硬功夫.

晚报服务读者路径探讨——以保定晚报为例

现如今,服务类新闻是新闻媒体中重要的组成部分,《保定晚报》在做强做厚时政新闻和社会新闻的同时,秉承"以读者为中心,以服务为核心"的办报理念,本着做大本地、做强民生、做细服务、做厚文化的办报思路,突出"主流、责任、服务、实用"意识,设立读者服务部,开办了"天气与服务""天天帮办"等栏目,倾听百姓心声,提供多种服务信息,帮助市民解决各种难题。

利用信息技术加快企业内处信息网络建设——兼议Internet Intranet和Extranet

在知识经济即将到来的时代,信息技术正在日益改变着我们周围的世界。据IDC和美国《商业周刊》

《保定晚报》公交报道特色探析

公交车是城市的窗口,是亮丽的风景,是市民离不开的出行工具,是万众瞩目的焦点。城市公交战线的报道责任重大,牵一发而动全身,记者在报道公交工作时,必须站在讲政治顾大局的高度,出以公心,关心关爱公交事业,努力为市民排忧解难。

帮千家万户 解百种难题——保定晚报延伸服务链的实践与探索

主流报纸是引导正确舆论的旗帜,是党和政府联系群众的纽带和桥梁。保定晚报不仅起到了桥梁纽带作用,还延伸了服务链,通过组建爱心团队,搭建公益平台,利用报纸各方面的资源,帮助群众解决各种难题。