检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

C语言程序安全验证中K-归纳算法的改进

C语言程序安全验证中K-归纳算法的改进

作者：白静媛天津理工大学

学位级别：硕士

近年来,随着互联网发展规模的逐步壮大与区块链、物联网、人工智能等专业的兴起,系统安全在软件开发的过程中的重要地位逐渐凸显,形式化验证方法也逐渐被人们所重视。在无边界模型检测中,K-归纳法具有极其重要的地位,也是唯一一种未使... 详细信息

近年来,随着互联网发展规模的逐步壮大与区块链、物联网、人工智能等专业的兴起,系统安全在软件开发的过程中的重要地位逐渐凸显,形式化验证方法也逐渐被人们所重视。在无边界模型检测中,K-归纳法具有极其重要的地位,也是唯一一种未使用抽象技术的程序验证方法。这种方法结合了有界模型验证和归纳方法,使用数学归纳的思想证明程序的正确性,是验证程序安全性的一种十分有效方法。现有的很多成熟的安全验证工具已经实现了K-归纳算法。K-归纳算法可以在有限的时间内,展开循环,用归纳的方式来验证整个循环状态空间的安全性。当安全属性定义在循环内时,根据归纳思想,K-归纳法很容易证明循环状态空间的安全性。然而,当待验证的安全属性定义在循环外时,需要验证的是循环状态中的最后一个状态的安全性,而非整个循环状态空间的安全性。当循环状态空间非常大或循环条件未定义时,K-归纳法将不能及时完成验证。本文针对不同的程序特性提出了两种方法使得K-归纳法能够对安全属性定义在循环外的程序展开验证。对于非确定性循环程序,本文借助LLVM工具对程序进行初步规范化,通过控制流自动机对程序进行预处理的方式使其适应K-归纳法,从而得出验证结果。对于确定性循环程序,本文将K-归纳算法与基于反例引导的谓词抽象算法结合起来。反例引导的抽象精炼算法是一种基于谓词抽象的检测反例的方法,这种方法会根据伪反例不断精炼抽象模型,直至发现一条真反例,或者精炼所有伪反例证明程序的正确性。当待验证属性定义在循环外时,基于谓词抽象的反例精炼可以有效的帮助K-归纳法验证循环状态的最后一个状态,进而得出程序的验证结果。最后,本文以对比实验的方式比较了改进方法与传统的K-归纳法的执行结果,证明了改进方法对K-归纳方法的有效性。

关键词：软件验证不变量 K-归纳法谓词抽象基于反例引导的谓词抽象

成都城市国际形象在推特上现传播效果影响因素研究

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

成都城市国际形象在推特上现传播效果影响因素研究

作者：白静媛电子科技大学

学位级别：硕士

一个良好的国家形象离不开每个城市的国际形象的提升。城市形象是国家形象的缩影。成都市作为一个有着悠久历史和文化底蕴的内陆省会城市的代表,研究其国际形象的呈现、塑造与传播无疑对其他内陆省会城市有着重要启示。推特是海外最典... 详细信息

一个良好的国家形象离不开每个城市的国际形象的提升。城市形象是国家形象的缩影。成都市作为一个有着悠久历史和文化底蕴的内陆省会城市的代表,研究其国际形象的呈现、塑造与传播无疑对其他内陆省会城市有着重要启示。推特是海外最典型的、影响力较大的社交媒体,本论文主要关注点为成都市的城市形象在海外社交媒体中传播效果的影响因素,因此利用网络爬虫,在海外社交媒体——推特中以成都的汉语拼音为关键词抓取相关推文,处理与成都市城市形象无关的推文后,结合内容挖掘方法和工具进行高频词与内容分析,总结归纳出成都市在推特中所呈现的主要的城市形象,再以这些推文的被转发数、评论数和点赞数衡量指标考察传播效果。在此基础上,通过使用结构方程模型分析考察传播效果与其影响因素之间的关联机制,最后利用传播学的理论知识进行分析,为从事城市对外传播的政府部门或相关机构提供策略性建议。本文共分为绪论和正文六个部分,绪论部分主要阐释了本文的研究背景与意义、研究现状、研究基础、研究内容与研究方法;第二章是根据所得数据整理归纳出当前成都市在推特所呈现的形象,对官方定位的城市形象与推特中所呈现的城市形象进行对比,发掘两者的不同之处;第三章主要是主要对指标的选取与研究假设的提出进行了说明;第四章主要通过所得数据使用结构模型对传播效果影响因素进行分析;第五章结合理论与调查结果,提出成都城市国际形象传播策略,使其具有针对性,准确性与广泛应用性,并为其他城市进行对外传播提供借鉴;第六章总结与展望,主要提出结论与不足。

关键词：城市国际形象推特用户影响力

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

课堂录播系统的设计和实现

课堂录播系统的设计和实现

作者：白静媛河北工业大学

学位级别：硕士

音视频录播系统,对学校课堂教学网络化、教学评比的公开、教学档案留存可起到重要的作用。能够很好的体现学校教学信息化建设的成果。因此,建设教学录播系统,已经成为了各类学校信息化建设的重要部分。但由于传统的教室录播系统大都采... 详细信息

音视频录播系统,对学校课堂教学网络化、教学评比的公开、教学档案留存可起到重要的作用。能够很好的体现学校教学信息化建设的成果。因此,建设教学录播系统,已经成为了各类学校信息化建设的重要部分。但由于传统的教室录播系统大都采用专用的设备,系统结构封闭,专业性强,价格昂贵,难以实现大量的采购和普及应用。针对这个问题,文中设计并实现了一套低成本的教室录播系统。系统由教室录播主机、流媒体服务器、web服务器以及网页客户端四个部分组成。教室录播主机使用嵌入式Linux平台实现,实现了音视频信号的采集、压缩编码以及网络传输等功能。流媒体服务器采用RTMP协议开源项目Red5搭建,负责接收流录播主机编码后的音视频流,并存储到系统指定硬盘文件中;向授权后网页客户端推送指定的音视频流。web服务器和网页客户端为系统的鉴权和播放功能。项目系统在设计上采用了嵌入式硬件系统和开源软件项目,对教室录播系统进行了低成本处理,可提高系统的使用范围,推动校园数字化建设。

关键词：录播教室课堂直播 RTMP 数字化学习资源

计算机技术应用于饲料加工生产过程中的前景分析

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

中国饲料 2023年第24期 149-152页

作者：赵丹丹葛兴白静媛驻马店幼儿师范高等专科学校河南驻马店463000 渭南师范学院陕西渭南714099 张家口开放大学河北张家口075000

计算机技术的飞速发展为饲料行业的转型升级提供了重要助力。饲料市场具有广阔的发展前景和巨大的市场利润空间。为进一步增产增效,提升产品质量,许多饲料企业逐步应用计算机技术来提升饲料加工生产的自动化和数字化管理水平。由于当前... 详细信息

计算机技术的飞速发展为饲料行业的转型升级提供了重要助力。饲料市场具有广阔的发展前景和巨大的市场利润空间。为进一步增产增效,提升产品质量,许多饲料企业逐步应用计算机技术来提升饲料加工生产的自动化和数字化管理水平。由于当前饲料行业中小型企业较多,经营者缺乏创新理念和生产加工流程相对不合理等因素,极大制约了计算机技术在饲料行业的应用。但部分大型饲料企业已先将计算机技术应用至生产加工自动控制、精准控制饲料配比和生产数据管理控制等环节。基于以上内容,将计算机技术应用于饲料加工生产过程具有远大的发展前景,可应用于饲料蛋白质加工检测、饲料智能自动化加工、饲料自动配料控制系统和饲料加工工程专家系统(FPES)中。

关键词：计算机技术饲料加工饲料生产前景分析

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

“公文签收”实践中的六大益处

中国水利 2003年第10期 72-73页

作者：王毅白静媛水利部规划计划司综合处

'公文签收'机制是水利部规划计划司(以下简称计划司)针对人员少、任务重的实际情况,逐步建立起来的内部管理制度.1998年中央机构改革后,计划司人员缩减一半,原有的专职文秘编制被取消.'98大水后,水利规划计划的公文签收任务量成倍增长.... 详细信息

'公文签收'机制是水利部规划计划司(以下简称计划司)针对人员少、任务重的实际情况,逐步建立起来的内部管理制度.1998年中央机构改革后,计划司人员缩减一半,原有的专职文秘编制被取消.'98大水后,水利规划计划的公文签收任务量成倍增长.由于没有专职文秘人员,计划司尝试以'轮换'的方式来维持正常的公文运转,但效果不甚理想.1999年8月,计划司决定将文秘工作职责放置到综合统计处,并经部人事劳动教育司正式行文批复.面对新的工作任务和工作压力,综合处积极开动脑筋想办法,从解决公文运转中的忙乱现象入手,建立起了司内公文运转的'签收'制度.

关键词：文秘人员领导公文计划司文件记录

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

规划计划司办理人大建议政协提案特点浅析

中国水利 2004年第7期 66-67页

作者：白静媛王毅水利部规划计划司综合处

提出建议、提案是宪法赋予人大代表和政协委员的权利,是他们代表人民参与管理国家事务的重要形式.通过人大代表和政协委员对水利工作的建议、提案了解民情民意,已成为水利部门与人大代表和政协委员进行联系、沟通并接受监督的主要渠道之... 详细信息

提出建议、提案是宪法赋予人大代表和政协委员的权利,是他们代表人民参与管理国家事务的重要形式.通过人大代表和政协委员对水利工作的建议、提案了解民情民意,已成为水利部门与人大代表和政协委员进行联系、沟通并接受监督的主要渠道之一.人大代表和政协委员在建议提案中对水利问题的高度重视,对水利投入的密切关注,增强了水利工作者努力做好水利工作,加快水利建设步伐,为全面建设小康社会而奋斗的信心和决心.

关键词：水利工作水利建设生态环境保护水资源水环境

维普期刊数据库