陈黎静
- 作品数：7 被引量：63H指数：1
- 供职机构：山东科技大学信息科学与工程学院更多>>
- 发文基金：国家自然科学基金湖南省自然科学基金长江学者和创新团队发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于视觉特性的零树小波图像编码算法的改进
- 2004年
- 在深入研究尺度小波变换和嵌入式零树小波图像编码(EmbededZerotreeWavelet-EZW)算法的基础上,探讨了一种改进的零树小波图像编码算法。本文对最低频图像采用差值脉冲预测编码(differen tialpulsecodemodulation-DPCM)量化编码,而对高频子图采用基于视觉特性的零树编码。通过实验,该算法既能保持原有零树算法良好的压缩品质,而且也改善了图像的视觉质量。
- 陈黎静刘关俊乐晓波唐贤瑛
- 关键词：视觉特性
- 弱持续Petri网的行为与结构性质
- 2012年
- 弱持续Petri网是Petri网的一个子类,与系统的持续性密切相关.本文刻画了活的弱持续Petri网的一个行为特征,即,如果在一个标识M下两个不同的变迁t1与t2均是使能的,则存在两个变迁序列σ'与σ″满足:(1)t1σ't2与t2σ″t1在M下是使能的,(2)t1不出现在σ″中,(3)t2不出现在σ',并且(4)σ'与σ″的发生数向量相同.同时,本文揭示了弱持续网的两个结构特征,并证明了持续Petri网的同步合成网仍然保持持续性.这些结论丰富了Petri网的基本理论.
- 陈黎静
- 关键词：结构特征
- 一种新的表插入排序算法被引量：1
- 2010年
- 表插入排序算法的优点在于其避免了记录的移动,算法执行的花销主要在于查找插入位置,平均时间复杂度为O(n2/4)。针对表插入排序算法中每次查找插入位置均需从表头开始的限制,提出了新的表插入排序算法,给出了相关算法描述及性能分析。大量实验表明,新的表插入排序算法的平均时间复杂度为O(n2/6),而查找插入位置所需进行的元素比较的次数平均减少了33%。结果显示虽然平均时间复杂度与其他的表插入排序算法相当,但元素比较的次数却有了很大的降低,为下一步与折半查找相结合提供了方向。
- 陈黎静
- 关键词：时间复杂度
- Petri网应用综述被引量：61
- 2004年
- 综述了Petri网应用的一些发展状况。指出了各种应用的发展热点和难点。对研究Petri网有一定的指导作用。
- 乐晓波陈黎静
- 关键词：PETRI网
- 基于petri网的队列算法的改进及其在linux进程队列中的应用
- 文章在对无固定容量队列算法深入研究后,对其进行了改进,并将改进的队列结构用于linux进程队列中.实验证明,新型队列比普通队列效率提高了不少.
- 陈黎静刘关俊
- 关键词：PETRI网等待队列队列算法
- 文献传递
- 可达性等价于状态方程可满足性的petri网子类被引量：1
- 2007年
- 定义了一个petri网子类:PN=(S,T;F,M0),满足条件s∈S→｜·s｜≤1。证明:当目标标识Md>0时,此petri网子类的可达性等价于状态方程Md=M0+ATX的可满足性。同时,当此petri网子类的可达性等价于状态方程可满足性时,可得出如下两点结论:(1)对于满足M0+ATX>0的每个非平凡的非负整数向量X,都■t∈Tx:M0[t>;(2)对于满足M0+ATX>0的每个非平凡的非负整数向量X,X都是PN的一个可执行向量。
- 刘关俊陈黎静
- 关键词：PETRI网可达性
- 各类Petri网语言间的关系被引量：1
- 2007年
- Petri网语言是Petri网理论的重要组成部分,反映了Petri网的模拟能力;同时,Petri网语言也是分析系统行为的重要手段之一,在许多方面得到了应用。对已有的12类Petri网语言,已经给出了它们之间一个粗略的包含关系。在已有关系的基础上,给出了这12种语言类之间一个更详细的包含关系:有的语言类之间是真包含,有的语言类之间是相交但互不包含,因此,能够较详细地刻画出这12类语言间不同的模拟能力;同时,从证明中也可以了解到一些语言类自身的特点。
- 刘关俊蒋昌俊陈黎静
- 关键词：PETRI网语言
