流体随机Petri网的混杂自动机模型

为了克服数值分析方法在流体随机Petri网模型检验中的缺点,根据形式化方法,本文提出了借助混杂自动机实现流体随机Petri网模型的分析和验证的有效方法,同时介绍了流体随机Petri网到一阶混杂Petri网模型的转化方法.并根据改变不变行为状态事件之间的相互作用提出了正确的一阶混杂Petri网模型行为演变算法,在此基础上给出了流体随机Petri网的混杂自动机模型构造方法.实例分析表明,借助一阶混杂Petri网的行为演变及混杂自动机能够有效地实现流体随机Petri网模型的分析与检验.     

半导体制造系统基于资源的Petri网调度优化

对半导体制造系统调度难点,分两步予以解决:第一步,提出三种策略解决系统建模问题,包括基于资源的Petri网模型构建模式,对系统结构建模;引入整合性定义方法对系统功能建模;以及通过多种变迁种类的引入实现对系统行为建模.第二步,在此模型基础上,引入蚁群优化算法对模型求调度优化解.与仿真结果的对比显示此方案取得了明显效果.     

大牛地气田山一段储层辫状河三角洲沉积特征

介绍了大牛地气田储层沉积背景，叙述了辫状河三角洲岩石相、沉积结构、沉积序列等沉积特征。表明：辫状河三角洲是由湍急洪水控制的，是陆相沉积盆地中一种与油气富集密切相关的沉积类型，辫状河三角洲平原沼泽煤和碳质泥岩构成良好的烃源岩和区域性盖层；分流河道砂体构成相对较好的储层，在垂向上构成良好的自生自储组合。     

多点地质统计学方法在三角洲前缘微相模拟中的应用

通过鄱阳湖三角洲现代沉积的研究确立水下分流河道与河口坝微相的平面形态与结构特征,结合永安镇油田密井网区资料统计的两种微相宽度建立定量的训练图像。以此为基础,利用多点地质统计学Sneisim算法进行三角洲前缘的微相模拟。模拟结果具有忠实于井点数据、不同微相平面形态与发育规模受训练图像定量约束的特点;能够再现三角洲前缘水下分流河道与河口坝的几何特征与空间结构。利用该方法可以建立反映现代沉积特征与地下实际情况的沉积微相模型。     

鄂尔多斯盆地城华地区长3油组高分辨率层序地层学分析

运用高分辨率层序地层学的基准面旋回原理,以钻井、测井资料的综合研究为基础,对鄂尔多斯盆地城华地区长3油层组进行高分辨率层序地层学分析,将其划分为超短期、短期和中期3个级次的基准面旋回层序.各级基准面旋回可进一步分为向上"变深"和向上"变浅"非对称型与对称型两大类3种基本层序类型和更多的亚类型.重点论述了超短期基准面旋回层序沉积背景、叠加式样和沉积动力学过程.在研究超短期和短期旋回叠加和分布规律的基础上,总结出短期基准面旋回的分布模式.研究表明自水下分流河道向河口坝中期基准面旋回层序结构稳定的变化规律,与处于三角洲强烈进积期的长3油层组沉积演化特征是一致的.     

基于Windows平台的向量网终端实现技术

讨论基于Windows平台的向量网终端的设计与实现技术.首先提出了一种向量网终端的软件实现方法及向量网与IP网融合的IP over VN方法;然后利用NDIS驱动接口,设计并实现了向量网驱动模块;最后搭建实验网络,对向量网终端的功能进行了测试,测试结果验证了向量网终端设计与实现方案的合理性;为向量网的部署奠定了基础,也为同类系统的开发提供了范例.     

宁杭客运专线轨道基准网GRN测量技术

宁杭客运专线设计铺设CRTS Ⅱ型板式无砟轨道,为保证无砟轨道的高平顺性建设目标。必须依据轨道控制网（CPⅢ）进行高精度的轨道基准网（GRN）测设,轨道基准网是CRTS Ⅱ型轨道板精调的依据,具有重要的意义。本文从轨道基准网GRN布设、观测方法及数据处理等方面,系统对轨道基准网GRN建网测量技术进行研究和应用,填补我单位在高速铁路建设测量技术方面的空白。     

三向网格扁锥面网壳的非线性固有频率

根据薄壳非线性动力学理论,用拟壳法给出扁锥面网壳的非线性动力学基本方程.选取扁锥面网壳中心最大振幅为摄动参数,用摄动变分法进行求解.一次近似得到了扁锥面网壳的线性振动时的固有频率,二次近似得到了扁锥面网壳的非线性固有频率.     

“珠江三角洲咸潮治理研究”项目介绍

近年来珠江上游枯季径流量不足,导致三角洲咸潮上溯加剧,严重影响了珠江河口地区供水安全,造成巨大的经济损失和社会影响,为保障珠江三角洲地区的人民饮水安全、经济发展和社会稳定,中水珠江规划勘测设计有限公司向广东省科学技术厅申报了“珠江三角洲咸潮治理研究”科技课题。     

基于Petri网的工作流模型优化

为了使工作流模型更简洁,在工作流网WFPN的定义的基础上,给出了利用可达性分析技术对WFPN进行合理性分析的有效方法,提出了一种通过添加抑制弧对WFPN进行优化的算法.该算法为Petri网在大规模复杂模型中的应用及其理论分析提供了一条新的思路.最后,通过一个实例说明了其优化过程,验证了该优化算法的有效性.