基于时间动态下推网络可达性分析

动态下推网络(DPN,Dynamic Pushdown Networks)由一组能刻画动态创建线程的动态下推系统(DPDS,Dynamic Push Down Systems)组成.本文首先将描述连续时间的实时时钟引入DPN,提出了时间动态下推网络(TDPN,Timed Dynamic Pushdown Networks),能对动态创建线程的实时并发递归系统建模;然后基于时钟关键点的时钟等价优化方法,并采用on-the-fly技术,仅关心栈顶及下一层的域状态转换,动态的将连续时间模型TDPN转换为时间域表示的离散模型DPN,同时给出TDPN到DPN的转换算法;最后证明在TDPN中的可达状态当且仅当其转换状态在DPN中可达,从而可解决带动态线程创建的实时并发系统的可达性分析.

剖宫产术中娩出胎儿前膀胱下推法在凶险性前置胎盘手术中的应用效果

目的评价剖宫产手术时娩出胎儿前膀胱下推法在凶险性前置胎盘手术中的应用效果。方法选择2016年1月至2017年12月安徽医科大学第一附属医院产科收治凶险性前置胎盘孕产妇89例,根据剖宫产时下推膀胱的时机不同,分为A组(47例)与B组(42例),A组为娩出胎儿前膀胱下推组,B组为娩出胎儿后下推膀胱组。比较两组孕产妇一般情况(年龄、孕次、产次、孕周、胎盘植入率)、平均手术出血量、平均输血量、手术时间、术后住院时间、产褥病率、子宫切除、膀胱损伤和新生儿窒息方面的差异。结果A、B组孕产妇术中出血量分别为(1927.76±356.31)mL、(2859.55±477.80)mL,输血量分别为(861.72±91.58)mL、(1285.73±162.69)mL,手术时间分别为(1.83±0.87)h、(2.71±0.94)h,术后住院时间分别为(5.37±1.72)d、(6.83±1.56)d,产褥病率分别为10.64%、28.57%,子宫切除率分别为14.89%、35.71%,新生儿窒息发生率分别为4.26%、19.05%,两组差异有统计学意义(P<0.05)。结论凶险性前置胎盘娩出胎儿前膀胱下推法疗效满意,值得临床推广应用。

下推自动机的状态转换图与下推自动机的化简

参照有限状态自动机图形表示方式的思想方法,研究了标准下推自动机的图形表示——PAD 状态转换图,证明了下推自动机与标准下推自动机的等价性。给出了对标准下推自动机进行化简的原则,并给出了化简算法,实现了下推自动机的化简。

一个基于下推自动机的Web测试自动执行器

随着 Web 应用系统的广泛应用,对其质量要求也越来越高。如何进行有效的测试以保证 Web 应用系统的质量是值得关注的研究问题。支持测试用例自动执行的测试执行器(Test runner)是其中的一个热点和难点。文章研究并提出了基于下推自动机的 Web 测试自动执行器,并实现了其原型系统。该执行器支持测试用例的自动执行并给出测试结果报告,并通过 Web 应用测试实例验证了其有效性。

基于直方图匹配的地面坡谱尺度下推模型研究--以陕北韭园沟样区为例

建立坡谱的尺度下推模型,有利于揭示地面坡谱的尺度依赖性。以5 m、25 m两种分辨率DEM为实验数据,应用遥感数字图像处理中直方图匹配的原理,对两种分辨率DEM获得的坡谱进行尺度下推。实验采用按不同Douglas压缩阈值(不同简化程度)得到的5 m、25 m两种分辨率的DEM数据,获得不同压缩阈值的DEM坡谱下推模型系数与地形因子之间的关系,最终建立两种分辨率DEM数据的坡谱尺度下推模型。将这种方法在陕北黄土丘陵沟壑区韭园沟样区进行验正,同时将模拟结果与原始5 m分辨率DEM数据所得的坡谱进行比较,试验结果表明,该模型能够比较理想的将25 m分辨率DEM的坡谱直接转换为5 m分辨率DEM的坡谱,方法简单易行,精度良好。

基于量子逻辑的下推自动机与上下文无关文法

给出基于量子逻辑的下推自动机(l-VPDA)的概念,提出广义的子集构造方法,进而证明了一般的l-VPDA与状态转移为分明函数且具有量子终态的l-VPDA的等价性.利用此等价性,给出了量子上下文无关语言的代数刻画与层次刻画,并籍此证明了量子上下文无关语言关于正则运算的封闭性.最后,说明了量子下推自动机和量子上下文无关文法(l-VCFG)的等价性.

基于下推系统可达性分析的程序机密消去机制

针对程序语言信息流安全领域的现有机密消去策略,提出了一种基于下推系统可达性分析的程序信息流安全验证机制.将存储-匹配操作内嵌于对抽象模型的紧凑自合成结果中,使得对抽象结果中标错状态的可达性分析可以作为不同机密消去策略下程序安全性的验证机制.实例研究说明,该方法比基于类型系统的方法具有更高的精确性,且比已有的自动验证方法更为高效.

基于DNA下推自动机二进制减法和乘法的实现

提出了基于DNA下推自动机二进制减法和乘法的实现方法.一位二进制借位减法,是通过预先构造好的DNA下推自动机模型在一个试管中以该模型的运行方式自动完成运算.m位二进制借位减法,是在一位二进制减法的基础上,按照从低位到高位的顺序,将低位产生的借位作为高位试管操作中的输入符号串,从而完成高位的减法运算.两位二进制乘法中包含移位和加法操作,在两个试管中分别设计好DNA下推自动机模型,分别完成被乘数与乘数各位的移位操作,同时结合相应的生物操作,将其作为另一个试管加法操作中的输入符号串,则加法操作中产生的结果即为所求.在此基础上,m位二进制乘法可通过移位操作的并行性和加法操作的串行性来完成运算.这些实现方法为DNA下推自动机实现基本的算术运算提供了比较完整的运算机制.

基于下推自动机的XML数据流递归查询研究

针对具有子孙轴(//)和谓词([])结构特征的XPath对具有不同递归深度的XML数据流进行递归查询处理问题,提出了基于下推自动机技术的处理方法,通过将XPath各类置步转化成相对应的处理模块,由算法将各类处理模块组合起来,建立了自上而下的树状查询模型。由于查询过程中将会发生多重匹配,从而会产生大量的匹配模式,该模型通过有效的匹配策略和缓存操作,对匹配模式进行保存及检验,成功地实现XML数据流递归查询。实验结果表明,该算法在性能上要优于传统方法。

基于下推系统可达性分析的输出信道信息流检测

提出了一种对含输出信道的命令式语言进行信息流安全性分析的方法。将程序抽象为下推系统,通过自合成将不干涉性转化为安全性属性,将两次相关执行中向输出信道的输出操作分别抽象为由下推规则表示的存储和匹配操作,通过对标错状态的可达性分析验证程序是否满足终止不敏感不干涉性。演化后的方法支持程序的发散执行,通过上界回退算法找到强制终止首次执行所需的最大输出信道上界。实验说明该方法与现有工作相比具有更高的精确性和验证效率。

格值下推自动机与格值上下文无关文法

引入了格值下推自动机、格值上下文无关文法及它们的语言的概念,证明了格值下推自动机以两种不同方式接受的语言类的等价性,研究了格值Chomsky范式文法、格值上下文无关文法及其派生所产生的语言的等价条件,揭示了在一定条件下,格值下推自动机接受的语言类与格值上下文无关文法产生的语言类的等价性,证明了有理格值语言均被格值下推自动机识别。

基于下推自动机的细粒度锁自动重构方法

针对粗粒度锁会严重影响并发程序的可伸缩性问题,提出一种面向细粒度锁的自动重构方法.该方法借助访问者模式分析、别名分析、负面效应分析等多种程序分析技术获取临界区代码的读写模式,然后使用下推自动机构建不同锁模式的识别方法,根据识别结果进行代码重构.与以往锁重构方法的不同之处在于,该方法考虑了锁降级模式,使重构适用性更广.基于此方法,在Eclipse JDT框架下,以插件的形式实现了自动重构工具FLock.在实验中,从重构个数、改变的代码行数、重构时间、准确性和重构后程序性能等方面对FLock进行了评估,并与已有的重构工具Relocker和CLOCK进行了对比.对HSQLDB,Jenkins和Cassandra等11个大型实际应用程序的重构结果表明:FLock共重构了1757个内置监视器对象,每个程序重构平均用时17.5s.该重构工具可以有效地实现粗粒度锁到细粒度锁的转换,与手动重构相比,有效提升了细粒度锁的重构效率.

识别Fuzzy上下文无关语言的下推自动机(英文)

首先提出了Fuzzy下推自动机的概念,进而讨论了Fuzzy上下文无关文法与Fuzzy下推自动机的关系,即当且仅当一种Fuzzy语言是由Fuzzy上下文无关文法产生时,该语言可由Fuzzy下推自动机识别,从而达到了自动识别Fuzzy上下文无关语言的目的。

Fuzzy 2型属性文法与Fuzzy属性下推自动机

讨论了２型属性文法与属性下推自动机的关系，进一步给出了Ｆｕｚｙ上下文无关属性文法与Ｆｕｚｙ属性下推自动机，并详细讨论了二者的关系。

下推格值自动机词的计算

在格半群意义下,提出基于词计算的下推格值自动机模型,它的输入是输入字母表的模糊子集,即词串,对应的是具有模糊性的自然语言.并研究下推格值自动机识别的格值词语言,利用格半群的性质证明了下推格值自动机基于词的计算可以通过基于值的计算实现.

Fuzzy下推自动机与Fuzzy上下文无关语言的关系

在文献 (JournalofUESTofChina ,1992 ,2 1( 2 ) :188～ 190 )基础上 ,讨论了Fuzzy下推自动机按两种不同方式所接受的语言类的等价性 ,进而研究了Fuzzy下推自动机所产生的语言与Fuzzy上下文无关语言的等价关系 。

下推格值自动机接受词语言两种方式的等价性

在格半群框架下,针对下推格值自动机模型的特点,提出其两种接受词语言的方式,并利用格半群的代数性质和自动机理论,证明了这两种方式接受词语言的等价性.

基于量子逻辑的下推自动机的代数刻画

首先,本文提出量子下推自动机(简记为L-VPDA)的概念,从代数角度出发详细研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用量子状态构造证明了任意L-VPDA与状态转移为经典函数且具有量子终状态的L-VPDA间的相互等价性;其次详细研究了量子上下文无关语言的代数刻画以及对于正则运算的封闭性。

最大乘积型Fuzzy上下无关文法与下推自动机

在文献[1]的基础上,讨论了最大乘积型Fuzzy上下文无关文法与最大乘积型Fuzzy下推自动机的关系,即:由给定的最大乘积型Fuzzy上下文无关文法可构造一个最大乘积型Fuzzy下推自动机使得二者接受的语言集相同,反之亦然。从而达到自动识别语言的目的。