公共文化服务平台

一种符号执行制导的循环内界分析方法被引量：2: 2017年; 循环是计算机中重要的复杂程序结构.很多应用场景要求静态分析循环可能达到的最大迭代次数,即循环边界(Loop Bound).对应技术在文献中被称为循环边界分析(Loop Bound Analysis).现有的循环边界分析均使用保守方式进行外界分析,即产生略高于循环边界的近似值.基于这一现状,本文提出了一种自动地循环内界分析方法,产生略低于循环边界的近似值.当用户综合利用外界与内界分析,能将循环边界值约束到一个统计区间,从而能对分析结果获得更为完整的认识.本文基于循环条件制导的符号执行(Symbolic Execution)技术实现了循环内界分析,该技术的本质在于它能够利用符号执行符号化推导程序执行约束的特点,准确求解循环在程序所有合法输入条件下的边界值,并由生成的测试用例来保证该边界值一定可达(即保证是循环内界).本文对符号执行制导技术进行了优化,并在多组已有研究采用的基准用例集上进行了实例评估,实验结果表明,本文的循环内界分析方法具备准确性和高效性,可以满足应用需求.; 赵祖威冯世宁汤恩义陈鑫李宣东潘敏学赵晨; 关键词：软件测试

基于机器学习的自适应网络爬虫方法: 本发明是一种基于机器学习的自适应网络爬虫方法，由于目前的网络爬虫程序的编写需要软件开发人员通过查询繁琐的页面代码并研究规则，没有自适应的程序自动引导爬虫进行工作。同时，在电子商务领域也并没有这种触及。因此要解决的技术问题...; 汤恩义赵晨李宣东陈鑫张庆垒潘敏学赵祖威

基于行动者网络理论的校园安全治理研究: 高校作为大学生培养的场所,在进行学科培养的同时,也担负着保证学生安全的责任。近年来,大学生的安全问题受到社会的广泛关注,这也给学校的管理提出了更高的要求。然而校园安全治理是一个复杂的问题,需要涉及到多个不同的主体的协作和...; 赵晨; 关键词：行动者网络转译校园安全; 文献传递

天保期至安政期长州藩藩政改革研究 ——以财政方面为主: 长州藩是幕末时期的西南雄藩,也是明治维新的主要推动力量。但在天保初年的时候,长州藩也和其他藩一样,经历了严重的财政困难和农民起义的折磨。为了打开困难的局面,几乎和幕府的天保改革在同一时期,长州藩也进行了自己的藩政改革。长...; 赵晨; 关键词：专卖制幕藩体制; 文献传递

超越线性转型的乡村复兴——高淳武家嘴村和大山村的比较研究: 乡村发展是中国现代化进程中极为重要的一环，是当前新型城镇化建设的基础性工作。在推动城乡一体化受到政府空前重视的今天，全国各地涌现出丰富多元的乡村转型模式。但由于对乡村本体的认识仍存在片面性，现实中种种盲目冒进的乡村建设违...; 赵晨; 关键词：农村经济本体价值

鉴定人结核分枝杆菌、牛分枝杆菌和卡介苗的技术方法: 本发明提供了一种鉴定人结核分枝杆菌、牛分枝杆菌和卡介苗的技术方法，选择16S rRNA、IS6110、Rv2659c、ESAT6和Rv1510五个目的基因进行多个PCR扩增，能快速准确地鉴别结核分枝杆菌，有效排除牛分枝杆...; 王宏伟蒲文渊赵晨施旭东张侠苏忠兰; 文献传递

对公办养老机构转制问题的思考与建议被引量：2: 2014年; 公办养老机构转制凸显四个关键问题之一：政府角色转变问题转制后的公建民营模式有利于将政府从微观事务中脱离出来,从注重直接提供服务转变为购买服务和监管服务上来,以增强公办养老机构的内在生机与活力,充分发挥市场的积极作用。在实现从提供服务到购买和监管服务的转变的同时,政府有关部门应该积极创造条件为养老机构提供社会化的配套服务,减少其运营成本、增加盈利以实现其可持续发展，激发其内在动力。; 冯辰宋子豪赵晨邹国强于江帆刘悦董景楷; 关键词：政府角色政府投资建设

基于Docker Container的Feature Pool监控管理系统的设计与实现: 近年来，随着云计算的蓬勃发展，PaaS（平台即服务）也正逐步成熟。PaaS为开发者提供了一个更加容易部署和管理软件的运行环境，让开发人员可以只关注于代码的实现，而使用PaaS系统透明地去搭建软件运行环境并获得持续、稳定的...; 赵晨; 关键词：功能模块

基于机器学习的自适应网络爬虫方法: 本发明是一种基于机器学习的自适应网络爬虫方法，由于目前的网络爬虫程序的编写需要软件开发人员通过查询繁琐的页面代码并研究规则，没有自适应的程序自动引导爬虫进行工作。同时，在电子商务领域也并没有这种触及。因此要解决的技术问题...; 汤恩义赵晨李宣东陈鑫张庆垒潘敏学赵祖威; 文献传递

基于水足迹理论的中国省级水资源利用效率评价: 水资源是世界上最重要的一种资源，我们人类及一切生物都不能离开水资源而生存，并且水资源也是人类从事工农业生产，发展经济和改善环境的重要物质。中国水资源总量大，居世界第六位，但人口众多，人均水资源占有量只位居世界第121位，...; 赵晨; 关键词：水资源利用效率可持续发展

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

赵晨