基于简化系统依赖图的静态粗粒度切片方法

基于系统依赖图是计算面向对象程序切片的一个有效方法 .但是 ,系统依赖图的缺点是太复杂 ,而且在建立系统依赖图的过程中容易出错 ,一旦出现错误就可能导致切片结果的不准确 .通过对系统依赖图进行简化 ,得到了简化的系统依赖图 .它省略了那些表示输入参数和输出参数的结点和概括边 .同时 ,还定义了一种面向对象程序的粗粒度切片概念 ,讨论了它的性质 ,分析了它与细粒度切片的关系 ,并基于简化的系统依赖图计算面向对象程序的粗粒度切片 .最后还讨论了切片技术的简单实现 .

面向程序理解的系统依赖图构建算法

为降低程序理解中的程序标准化和程序匹配等复杂度,提出了面向程序理解的系统依赖图构建算法,将其划分为3个阶段:程序信息的提取、控制依赖子图的构建和数据依赖子图的构建.采取控制依赖和数据依赖分别求解,直接基于控制依赖子图分析数据流,无需额外的控制流图表示,并且可按需计算数据流,降低了算法复杂度;将选择语句和循环语句统一表示,并将表达式表示为抽象语法树,使之便于程序转换和分析.在编程题自动评分系统和程序识别中的应用中结果表明构建的系统依赖图为程序理解和分析提供了方便,降低了复杂度.

一种系统依赖图的面向对象扩充方案

提出一种对传统的系统依赖图进行面向对象扩充的方案 .把传统的系统依赖图和类依赖子图、类层次子图相结合 ,从而构成了适合描述面向对象程序的面向对象系统依赖图 .详细说明了对系统依赖图进行面向对象语法、语义扩充的过程 ,同时给出了构造面向对象系统依赖图的一般算法以及应用分析 .

基于系统依赖图的过程间指针分析方法

针对目前指针分析算法的程序中间表示形式不能充分表示程序的语法结构与语义,因而不适合应用于源代码-源代码级别的程序转换与分析的问题,提出了一种基于系统依赖图的过程间指针别名分析算法。改进了指针别名信息的表示方法,精确描述数组元素和指针数组元素的别名。以系统依赖图作为程序的中间表示形式,在每个过程调用节点,根据是否为递归调用,分别采用改进的Banning算法和函数内联的方法处理因参数传递引起的别名信息。实验结果表明,该方法的准确性高于Wilson算法和Emami算法,且指针分析结果可直接应用于源代码级别的程序分析与转换中。

使用类型限定的系统依赖图检测整型错误

目前大多数的源码安全审计工具在整型错误的检测上具有局限性,往往只能检测整型溢出类型的漏洞。针对这个问题,对已有的系统依赖图(system dependence graph,SDG)检测模型进行了改进,结合类型限定理论提出了基于类型限定的系统依赖图(type-qualified SDG,QSDG)检测模型。该模型不仅可以用来检测C代码中潜在的绝大多数整型错误,而且还能根据其出错原因将其分类到所定义的八种错误类型。与SDG检测模型仅采用图同构算法进行检测相比,先使用类型推断算法再对QSDG进行检测可以降低检测所花费的时间。

构造面向对象系统依赖图技术研究

本文分析了现有面向对象图形表示方案存在的问题,在此基础之上,提出了基于波动效应分析构造面向对象系统依赖图的方法,通过引入波动效应分析,来完善面向对象程序的语义和减小构图的复杂性,在波动效应分析的基础之上,构造类图、改造面向过程的系统依赖图,结合两个图来描述面向对象程序。通过类图描述不同类之间的关联关系和类的内部定义,在类图中表达过程依赖,改造面向过程的系统依赖图用于表达控制依赖和数据依赖。文中给出了计算波动效应和构造系统依赖图的算法描述。

公司治理的系统依赖性:一个内生化分析框架

公司作为与市场相替代的一种产权交易制度,只有注入合理的治理结构,充分响应交易各方的利益,才能在降低交易费用方面比市场更具优势,公司才具有稳定性。公司治理的本质就是通过特定的产权交易制度安排来协调交易各方的利益,降低交易成本,提高交易效率。同时,作为内生于社会经济契约系统中的一个子契约,公司治理结构的选择依赖于制度、行业特征以及公司自身属性等因素,并在与这些因素的相互作用中动态演进。

智能手机与系统依赖:当代大学生英语学习的新媒介使用研究

随着互联网时代的到来,以智能手机为代表的移动媒介,进一步强化了人与媒介之间的依赖关系。本研究以117位2000年后出生(简称“00后”)的大学生作为研究对象,通过参与式观察和深度访谈的方式,考察他们在英语学习中对于智能手机App的使用现象。研究发现,当代大学生运用智能手机中的英语学习类App进行学习,从行为方式到行为习惯都普遍存在一种新的“媒介系统依赖”现象,并造成人际传播的回归。

媒介系统依赖下的短视频受众研究

媒介依赖可以产生超强的受众黏性,对于媒介传播及媒介发展具有积极作用,但是对于短视频受众而言则并非如此。首先,媒介依赖将扭曲媒介发展追求,造成受众的选择困境;其次,将进一步强化媒介与现实社会的隔阂;最后,将显著造成受众的时间成本增加。文章在分析短视频受众媒介系统依赖产生路径及原因的基础上,分析可能存在的问题,旨在丰富受众解决媒介依赖所产生的社会问题的策略维度。

一种基于通知波动效应的面向方面系统依赖图构造方法

为更好地分析面向方面程序中的控制依赖关系和数据依赖关系,需要对面向方面程序构造系统依赖图。本文针对面向方面程序的结构和机制,考虑通知优先级对程序依赖关系的影响,提出通知波动效应图(AFG)及其生成算法,从而构造基于通知波动效应的面向方面系统依赖图(AOSDG)。此方法构造的系统依赖图能够更准确地表示面向方面程序中的依赖关系,且构造成本相对较小,可应用于面向方面程序切片。

媒介系统依赖理论的内涵、发展及新媒体研究应用

媒介系统依赖理论由鲍尔·洛基奇和梅尔文·德弗勒于1976年提出,该理论是传播学领域中媒介效果研究的重要理论之一。两位作者基于社会生态学视角和系统性观念,将媒介系统作为"受众—媒介—社会"系统中的一个必需组成部分,指出受众依赖媒介"传播信息"的职能满足他们的需求从而实现自身目标。该理论后来被广泛应用于媒介在政治、经济、文化等领域的效果研究。笔者通过对国内外1976~2018年该理论文献的梳理,从理论内涵、研究发展、互联网新语境下理论发展以及总结反思四个方面对该理论做出一定的描述与评析。

媒介系统依赖视角下青年群体的社会化阅读行为探究——以"微信读书"APP为例

移动化发展趋势下,"微信读书"APP以独特的"社交+阅读"模式促使青年用户群体转向社会化阅读,在这个过程中,青年用户群体依赖"微信读书"APP提供的社交资源和阅读资源,满足自身的社群互动、自我展现以及知识获取和娱乐放松的需求.与此同时,也应该警惕青年用户群体因过度社交和虚假呈现而出现的沉溺于浅阅读和迷失自我的问题.

媒介系统依赖理论视阈下新技术对文化的影响——古登堡印刷术出现意义的再思考

技术与文化是人类文明发展中的两个重要方面:如果说技术是推动人类文明进步的动力,那么文化便是人类文明进步的体现。而将技术与文化这两个变量串联起来的,正是社会系统。本文将以鲍尔·罗基奇和德弗勒提出的媒介系统依赖理论为研究框架,详细探讨新技术的出现是如何影响到社会系统进而如何给文化发展带来影响。其中,因古登堡印刷术出现,在媒介技术演进史上起到重要作用,本文将以古登堡印刷术的出现为案例和讨论抓手,回顾总结技术在人类文明演进中的贡献。首先梳理媒介系统依赖理论的思路框架,得到“媒介—社会—文化”三者的递进影响关系。然后以古登堡印刷术的出现为案例,分析媒介技术如何推动欧洲社会转型,进而社会转型催化文化转向。最终印证尼尔·波兹曼的观点:一种新技术向一种旧技术发起攻击时,围绕旧技术的制度就受到威胁。制度受到威胁时,文化就处在危机之中。

状态依赖型切换系统的数据驱动方法建模

切换系统是由一系列连续或离散的子系统和切换机制组合而成的一类复杂系统,状态依赖型切换系统因其复杂性而尚未被深入研究.因此,通过系统的输入输出轨迹来对状态依赖的切换系统进行数据驱动建模,利用数据挖掘技术寻找数据之间的有用信息,建立输入与输出之间更形象的表达形式;在此基础上提出一种结构框架,根据辨识轨迹的切换时刻将数据分段,借助神经网络建立子系统的模型以及切换规则,深度挖掘状态依赖切换系统的信息,得到切换系统中子系统及子系统间的信息.实验结果表明:相比传统的机理建模,本文提出的数据驱动方法将建模的复杂度降低了17.3%.

新疆开孔河流域地下水依赖型植被生态系统的遥感识别

在干旱-半干旱地区,识别地下水依赖型植被生态系统(GDVEs)的位置和范围,对水资源和生态环境保护至关重要。针对传统识别方法的不足,以新疆开孔河流域为研究区,探索基于遥感技术的GDVEs识别方法。选取相对干旱年为研究期,基于植被指数、土壤湿度和潜在蒸散发,利用叠加分析和自然间断点分级法,确定开孔河流域GDVEs的空间分布,利用湿地分布、河流影响带及野外实地调查数据对识别结果进行验证。结果表明:开孔河流域GDVEs较高和高潜力区主要位于博斯腾湖周围和孔雀河下游荒漠平原区,主要为湿地生态系统和荒漠河岸林植被生态系统,约占天然植被区面积的10.3%;验证表明,本文提出的GDVEs识别方法可在西北干旱内陆河流域推广。

云计算环境下基于系统依赖图的远程证明方案

针对云计算环境中服务端执行行为不能被度量以致用户无法判断自身数据安全性的问题,提出云计算环境下基于系统依赖图(system dependence graph,SDG)的远程证明方案。该方案通过构建服务端程序的系统依赖图,刻画程序与文件间的依赖关系,建立行为度量目标集合,实现对用户数据访问程序执行过程的度量分析;针对客户端对云计算服务端存储的用户数据的可验证需求,对远程证明机制进行了扩展,增加了对行为度量的安全性验证。通过构造程序实例发生改变前后的程序依赖图(program dependence graph,PDG)、SDG以及对应节点信息流,验证了本文方案的可靠性和有效性。

微信平台(公众号)用户持续使用意愿分析——基于期望确认模型与媒介系统依赖理论

文章从用户使用意愿的视角出发,在借鉴已有研究成果的基础上,综合运用期望确认模型与媒介系统依赖理论,对图书馆微信公众号用户持续使用意愿的影响因素进行了较深入系统的研究。研究结果表明:感知有用性、感知易用性、满意度对公众号的持续使用意愿具有正向影响,依赖和期望确认对持续使用意愿间接具有正向影响,而且用户对微信公众号的依赖使用户更容易获得满足。

易地移民搬迁对农户生态系统服务依赖度的影响——来自陕南的证据

为从微观农户视角分析易地移民搬迁对生态系统服务依赖度的影响,本文构建了农户生态系统服务依赖度指数,将农户从生态系统服务中获取的各种收益进行整合和量化,利用在陕南安康地区的入户调研数据,对比分析不同搬迁类型和特征家庭的生态系统服务收益和依赖度差异,并进一步检验易地移民搬迁对农户生态系统服务依赖度的影响。结果发现:搬迁户获得的生态系统总净收益、供给、调节、文化等服务净收益以及社会经济净收益均高于非搬迁户;不同搬迁特征的农户之间的生态系统服务依赖度差异显著;易地移民搬迁工程的实施能有效的降低农户对生态系统服务的依赖程度,参与易地移民搬迁有利于农户收入结构的优化,在降低从生态系统获取供给服务的同时,也提高了社会经济收入所占比重;自愿搬迁、集中安置和新阶段的移民等特征也在降低农户对生态系统服务的依赖上起到了积极作用,自愿搬迁的农户比非自愿搬迁农户能更好的应对和适应向非资源依赖型生计模式的转变。集中安置的方式能够产生一定的规模效应和政策溢出,使农户有机会获得更多配套和后续支持,从而提高对外部机会和资源的占有能力,拓宽非资源型收入的途径,此外,新阶段易地移民搬迁工程所提供的惠民措施和补贴力度都较以往零星的自主搬迁有较大提高,同时也强调搬迁农户在非农转变过程中的自我发展能力的建设和引导。本研究为实现生态系统服务与家庭福祉在微观尺度的结合提供路径支持和方法借鉴,也为新时期易地扶贫搬迁政策的持续推进提供启示。

生计资本如何影响森林生态系统服务依赖度?——基于东北国有林区职工微观数据的实证研究

实现人与自然和谐共生是生态文明建设的根本目标,如何在保护森林生态系统的前提下,保证和维持职工生计成为亟待解决的问题。基于可持续生计框架,以东北国有林区职工为对象,利用2021年320份的调研数据,采用灰色关联度模型和OLS回归模型,探讨不同类型生计资本对职工森林生态系统服务依赖度的影响。研究表明:职工生计资本与森林生态系统服务依赖度存在极强关联关系,且不同类型生计资本对职工森林生态系统服务依赖度有显著的异质性影响,其中自然资本、物质资本、人力资本和社会资本对森林生态系统服务依赖度有显著正向影响,而金融资本对森林生态系统服务依赖度有显著负向影响。同时,不同生计策略下生计资本对职工森林生态系统服务依赖度的影响也存在明显的差异性。此外,生计资本通过主观福祉(生活满意度)影响职工的森林生态系统服务依赖度。

疫情风险下系统依赖与系统合理信念的关系

目的:构建了一个有调节的中介模型考察疫情上升期民众的系统依赖与系统合理信念的关系及政府责任归因的中介作用和风险感知的调节作用。方法:通过问卷法使用系统依赖问卷、系统合理信念问卷、政府责任归因问卷和风险感知问卷对933名被试进行调查。结果:直接效应显示系统依赖正向预测系统合理信念;间接效应显示系统依赖通过政府责任归因负向预测系统合理信念,政府责任归因起遮掩效应;间接效应受到风险感知的调节,疫情风险感知较高时政府责任归因的间接效应显著,而风险感知较低时效应不显著。结论:民众对系统的高依赖可以增强系统合理信念;而当民众感知到较高的疫情风险时,系统依赖又会通过提高对政府的责任归因削弱系统合理信念。