改进的基于逆向流分析的C程序切片算法

为解决切片算法时空开销太大的问题, 提出一种改进的基于逆向流的静态切片算法。只需通过分析控制依赖, 获得程序整体框架, 再从切片点开始基于逆向控制流从里向外扩张式扫描,在扫描中不断获得只与切片相关的数据依赖, 以此得到程序切片。该算法减少了计算控制流的工作量, 避免计算谓词依赖集的过程, 减少了存储资源开销, 提高了切片的效率。     

Slicing Java generic programs using generic system dependence graph

The existing slicing algorithms do not consider parameterized types in generic programs, so they are not suitable for generic programs. To solve this problem, this paper presents a generic system dependence graph for Java generic programs based on the traditional system dependence graph to express dependences for parameterized type information. A novel slicing criterion and slicing algorithm for generic programs is proposed. The slices computed by the algorithm can help to understand relations between concepts and types for generic programs and can express the features of generic programs better. Biography: CHEN Lin (1979–), male, Ph.D. candidate, research direction: program analysis and refactoring.     

过程间的程序分片技术

程序分片在程序理解、调试、维护、测试和集成等许多领域都有广泛的应用.过程间的程序分片是分片技术的难点之一.在总结了现有的过程间分片技术基础之上,重点介绍了具有代表性的图形可达性算法.     

地震沉积学在油田勘探开发中的应用——以滨里海盆地东部地区为例

滨里海盆地东部盐下下二叠统层序SⅢ主要发育辫状河三角洲和滨浅海沉积,该区钻井分布少、砂体厚度薄、典型地震相标志少,常规的沉积相研究方法受到一定的限制,沉积砂体分布范围不明确.利用90°相位转换和地层切片技术,对层序SⅢ的高位体系域进行了地震沉积学研究,通过对地层切片的解释,精细刻画出辫状河三角洲前缘砂体在不同时期的平面分布范围,预测了沉积相在时空上的演化规律,为油气勘探开发提供地质依据.     

并发程序切片方法综述

随着实际应用对并发软件需求的不断增加,并发程序的应用越来越广,程序切片的研究不再仅仅局限于顺序程序,并发程序切片的研究也越来越多.但是由于并发程序执行的不确定性,并发程序切片的研究还有许多问题有待解决.文中介绍了当前主要的几种并发程序切片方法及其主要特性,并对这些切片方法进行了比较分析,结果表明并发程序切片的效率和精度都达到理想的目标是不可能的,只能是在两者之间的均衡,最后简要介绍了并发程序切片的应用.     

地震沉积学在喇嘛甸油田扶余油层中的应用

摘要：针对喇嘛甸油田扶余油层勘探初期“井少,地震资料全”的特点,运用地震沉积学的方法和技术,解决了井资料缺乏对层序划分以及沉积相研究所带来的困难。应用表明,研究区内90?相位地震资料使振幅与岩性测井曲线形成了较好的对应关系,且提高了解释精度;地层切片技术能识别出地震剖面上的三个四级层序SQ1、SQ2、SQ3的层序边界。通过地震资料与测井资料相结合,刻画出扶余油层三个四级层序的沉积相。通过对沉积相的分析,认为优势相带为分流河道微相和决口扇微相;且研究层段经历了三角洲平原到三角洲前缘的水进沉积演化过程。     

激光快速成形中直接切片处理技术的研究

激光快速成形是近年来发展起来的一项高新制造技术,文章针对激光快速成形前处理过程中使用的STL(STere-oLithography)格式文件的信息冗余量大、数据处理时间长、精度差、需要检查和修改等缺点,提出了对三维CAD模型直接切片的方法,通过对模型的直接切片,能减少数据处理时间,降低文件规模,提高工件精度。直接切片的方法在MDT(Mechani-calDesktop)软件平台上得到了实现。     

生物热物性全参数辨识技术及其切片实验研究

提出了一套可用于同时确定生物在体组织中随空间变化的导热率K、血液灌注率W_b和代谢热产率q_m以及导温系数α的新方法,从而克服了传统生物热物性测试技术中只能测量常物性的K、W_b和α而q_m难以利用Pennes方程测出的不足,为同时考察活体组织非均匀热参数的空间分布规律找到了一条可行途径,这是一种具有普遍意义性的方法.文中给出了一个针对大鼠头部组织的物性辨识算例,并采用切片实验考察了该方法的实际应用问题,发现采用表面力,热的办法测取材料热物性时,所得结果的精度受热渗透深度限制,并继而提出了采用空间加热措施以提高物性测试精度的设想.     

STL文件毗邻关系的建立与切片算法研究

通过对ＳＴＬ文件结构的分析,引入无向图数据结构,建立了三角形网格之间的毗邻关系,以顺利进行三角形网格的查寻,实现分层切片,对分层切片算法进行了研究,讨论了切片过程中可能出现的问题,提出了相应的解决办法,最后建立了双向链表来表示切片后的ＣＡＤ模型截面轮廓。     

快速成型技术中分层参数的优化与决策

快速成型技术中的分层参数即分层厚度和分层方向,对于原型的制作精度,制作时间,制作成本等有重要影响,对其进行深入研究后,提出分层厚度的优化模型,导出了其最优解的几何意义,根据几何意义可方便地求出最优解,建立了分层厚度的多目标决策模型以及分层方向的层次分析法模型,该模型实用有效。