基于控制流的多线程程序的静态切片算法

介绍一种基于控制流的多线程程序的静态切片算法, 该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息, 利用这些信息能 够判断出程序中的多线程可实现路径, 从而提高多线程程序静态切片的精度和效率. 最后给出一个多线程切片的实例.     

面向快速原型的数据处理与三维造型一体化软件系统

基于MDT软件环境，开发了面向快速原型（RP）的数据处理与三维造型一体化软件系统．首先对系统的集成框架进行描述，然后在深入研究MDT软件平台下CAD模型数据的内部表达方法以及拓扑信息和几何信息提取方法的基础上，运用基于网格划分的曲面与平面求交原理，构造并实现了一种法矢和面积双重判据的自适应直接分层算法．按照所提出的新型二维层片数据文件格式，运用VC＋＋6．0和MDT软件应用程序开发接口，对MDT软件进行二次开发，从而实现了CAD造型与RP数据处理的无缝集成．研究结果表明，该系统具有良好的柔性和实用性，可有效提高快速原型制件质量和简化数据前处理的过程。     

WDM系统中光谱可分割光纤光源的实验研究

利用光学滤波器将宽带光源的光谱进行分析，并将分割后的窄带光谱调制，从而用来传输数据的光谱分割技术对于波分复用（WDM）系统是一种低成本的解决方案，在分析掺饵光纤放大器（EDFA）自发辐射（ASE）光谱特性的基础上，研制了一种基于EDFA-ASF可用于WDM系统的宽带光谱可分割非相干扰光源，并给出了在2.048Mb/s的调制速率下，10km WDM传输系统中两个信道的测试结果。     

用于图像信息隐藏检测的位平面相关分析法

从理论上研究了信息隐藏对空域数据统计特性的影响，利用位平面分割技术，分析了原图为伪图各位平面数据的统计特性。在此基础上，定义了一种位平面相关密度函数和相关几率分布图，提出了针对空域隐藏法的位平面分割相关分析法。     

基于新LOM原理的分层切片算法

针对以金属板材为造型材料的分层快速制造方法中存在的问题，提出了新LOM方法，指出了新LOM方法对分层切片参数的要求，推导出相应的计算公式，实现了新LOM方法对造型实体CAD模型的分层处理。     

基于频谱切片的弹性光网络中可调度请求资源分配算法

针对确定业务开始时间和结束时间特性的可调度请求加重了弹性光网络的资源碎片率和带宽阻塞率的问题,设计了一种配置频谱切片机的弹性光网络节点结构,并提出一种基于频谱切片的可调度请求路由频谱和时间分配(SS-RSTA)算法。在路由选择阶段,设计了一种综合考虑路径长度、路径碎片率和节点可用频谱切片机数量的路径权重值的路由选择策略,为可调度请求选择路径权重值最大的路由;在资源分配阶段,采用链路的资源碎片感知方法为可调度请求选择可用的频谱和时间资源窗口;当资源分配失败时,采用频谱切片准则将可调度请求切分为多个子带宽请求,以增加可调度请求频谱分配成功的概率,提高频谱-时间碎片的利用率。仿真结果表明,所提算法可改善网络的带宽阻塞率和提高网络的频谱利用率。     

基于干扰系数的分层开采优选新方法

油井多层合采是一种常见的油藏开发生产方式,但是多层合采常会产生层间干扰现象,降低原油采收率。针对这一问题,提出了基于干扰系数进行分注分采的调整方法。以SZ油田多层合采层间矛盾突出从而进行分采调整为实例,针对实际生产矛盾与小层地质特征,结合五个不同的干扰系数,提出了三十种分层开采的调整方案。定含水率对比不同方案的预测结果,考虑到海上油田平台寿命有限,同时采用了定年限的对比优选方法。研究结果表明:分层开采方式使生产得以改善,定年限和定含水率方法各自最优的调整方案采出程度分别提高了7.79%与2.63%。为非均质多层系油层的分层开采提供了理论依据。     

清河煤矿分层开采探讨

在中厚煤层实行分层开采时,下分层巷道掘进过程中与上分层巷道经常发生漏通,为满足通风及掘进工作面人员施工的安全,必须采取上下交错巷道漏通支护措施。以清河煤矿1803下运输顺槽掘进工作面为例,详细介绍了中厚煤层实行分层开采的措施和方法。     

快速原型加工过程的计算机仿真

通过研究快速原型（RP）加工中的实时切片模块、轮廓线偏置模块和扫描路径优化模块，开发了RP加工过程的计算机仿真系统，再现了RP加工的实际情况，其中实时切片模块可以处理切层和三角面片相交的各种情况，是对现有切片算法的重要改进。各模块只需略加改动即可用于实际的RP加工。     

基于程序执行轨迹与动态切片的错误定位研究

为解决程序调试过程中的错误定位问题, 将程序执行轨迹和动态切片技术应用于错误定位。程序执行轨迹中包含与错误无关语句, 影响错误定位的准确度。在执行轨迹的基础上, 通过使用动态切片技术降低不相关语句在错误定位时的影响。建立基于程序执行轨迹和动态切片的语句怀疑度计算模型, 使用该模型计算每条语句的怀疑度, 并根据怀疑度对每条语句进行排序, 给出查错的推荐方案。通过实验对比其他算法, 证明了基于程序执行轨迹与动态切片的错误定位方法是有效的。