演化及勘探方向

本文对黔南拗陷生油岩地化特征进行了分析,认为拗陷生油条件好,生油岩丰富,有机质主要为腐泥型,生烃潜力好。按有机质成熟度大致分为三个区即:低值区、中值区和变质区。并对生油岩热演化史作了论述,对油气演化和构造演化进行了分析。最后,对拗陷进一步的勘探方向提出建议,以供参考。     

海南岛地质构造演化刍论

海南岛大地构造格局及地质构造演化一直是国内外地学界关注的焦点。通过系统调查和对已有资料的综合,提出了海南岛多阶段地质构造演化的新认识。     

星际介质在星系形成数值模拟中的作用

通过对一百多个星系形成数值模拟和试验的分析,现在可以对引力的树结构算法和平滑粒子流体力学(Smoothed Particle Hydrodynamics,SPH)这两种数值模拟技术的准确性和可靠性做定量的估计。这些结果表明若给SPH方法中使用的平滑半径(h)固定一个下限值,可能会导致数值解的准确性严重下降。若随时调整h的值使得SPH方法计算粒子的邻近粒子数总和保持不变,则可以避免这种有害的影响,使准确性得到提高。结果还表明为了可以准确地模拟原星系的坍缩,小心地选取那些影响引力加速度准确性的参量尤其重要。     

板桥凹陷区域古流体势模拟计算及其应用

本文在板桥凹陷的埋藏史、热演化史恢复基础上,应用平面二维达西渗流定律及连续流动质量守恒方程模拟计算储层中各时期油、气、水的势场。在古流体势模拟计算过程中,考虑到储层毛细管力和断层连通性的影响。根据各时期流体势的展布特征预测了该区油气分布的有利地区。     

A case of biodiversity overestimation in the Balkan Belgrandiella A. J. Wagner, 1927 (Caenogastropoda: Hydrobiidae): molecular divergence not paralleled by high morphological variation

Belgrandiella A. J. Wagner, 1927 is a genus comprising minute snails with conic or turriform shells that are facultative stygobionts, inhabiting subterranean waters and springs. Few specimens or even empty shells of this taxon can be found, so the taxonomy is based mostly on the shell morphology and geographic distribution. Anatomy is known for a few taxa, and its usefulness is restricted. This, coupled with a popular idea that isolation is the first factor shaping divergence and speciation of the spring/cave fauna, resulted in dozens of nominal species of Belgrandiella, known from shells at a given locality. Herein we present shells, anatomy and four molecular markers (nuclear H3, 18S and 28S and mitochondrial cytochrome oxidase subunit I) in Belgrandiella from 16 localities in Slovenia, northern Croatia, and Bosnia and Herzegovina. Five sites are type localities of Boleana umbilicata, Belgrandiella kusceri, Belgrandiella krupensis, Belgrandiella zermanica and Belgrandiella robusta, respectively. Considering the shell and geographic distribution, we have determined B. cf. robusta Belgrandiella cf. croatica, Belgrandiella cf. fontinalis, Belgrandiella cf. kuesteri, Belgrandiella cf. pageti and Belgrandiella cf. koprivnensis The shells of all, as well as penes and female reproductive organs of two putative, species have been illustrated. Molecular analysis indicates four distinct clades, most probably of species rank for B. kusceri, B. cf. kuesteri, B. cf. fontinalis and B. cf. koprivnensis. Four nominal species (B. krupensis, B. robusta, B. umbilicata and B. zermanica) and one genus (Boleana) must be synonymised with Belgrandiella kusceri, and there are no more than four valid, biological species in the studied Belgrandiella. The molecular divergence is completely unmirrored by high morphological variability. Hence the level of endemism is markedly overestimated in these snails.     

基于贝叶斯学习的复杂系统研制风险演化分析

大型复杂装备的系统结构和研制流程呈现网络化特征,研究风险演化机理有助于控制风险、降低复杂性.通过系统动态过程建模仿真获取数据样本,运用贝叶斯学习从仿真数据样本中提炼风险演化网络,识别不同风险等级的节点之间存在的关联关系,降低了仅凭经验构建风险网络的主观性.对贝叶斯学习获得的风险网络进行概率推理,在总体高风险等级下计算风险网络节点的风险后验概率分布,进而确定风险演化关键节点和传播链路.最后,通过与复杂网络特征指标评估下的静态特征进行对比分析,研究风险网络动态特征与静态特征的差异性,结果表明网络结构特征和风险传播的动态特征共同决定了风险演化关键节点和传播链路.     

复杂能源系统结构演化和评价的新模型

能源系统作为开放的有机整体,是一个无确定边界的、与环境耦合的实体。定义了描述该实体的新物理量,由此建立了能源系统演化和评价的新模型,对“参考情景”、“可选择情景”以及“高经济增长情景”三种模式下的中国能源系统结构演化进行了案例分析,得到了合理的结果。该模型也为一般的社会经济系统发展提供了比笛卡尔一牛顿式的机械模型和熵增的热寂模型更合理的图景。     

基于形式化测试的实时系统变更后安全性验证

变更后系统实现的安全性验证是安全攸关系统维护过程中必不可少的环节,也是其面临的主要挑战之一.软件模型检测和程序验证是目前常用的作用于代码层面的自动化安全性验证技术.本文站在系统行为角度,基于形式化方法,提出了一种将变更后系统实现的安全性验证问题归结为一致性测试的方法,尝试通过自动生成的一致性测试用例在系统行为级别上判定系统实现是否安全.为此,首先以时间输入输出自动机及其语义模型为基础,构建了该方法的证明体系,证明了该方法的正确性;其次,建立了变更后系统实现安全性验证的回归测试生成框架.相对于其它实时系统测试方法,这种测试方法不仅可以发现实时系统中常规的不一致性缺陷,而且为变更后系统实现在运行时是否满足指定的安全性属性提供了依据.最后,以轨道交通系统中的列车自动防护功能的变更情景为案例研究,说明了方法的具体应用.     

基于网络的可信软件大规模协同开发与演化

随着网络时代的来临,软件的开发模式、运行环境和提供方式发生了巨大变化.互联网作为一种开放的协同工作环境,其中孕育的大规模协同创作机理对软件开发和应用产生了深刻影响.如何将其与工业化可信软件生产相结合以提高软件生产效率和质量,是网络时代软件技术面临的新课题.本文提出汇聚群体智慧的可信软件开发新方法——群体化方法,该方法的核心是"群体协同、资源分享、运行监控、可信分析",支持创新软件作品向可信软件产品转化,支持软件的可信演化.提出一种基于证据的可信软件概念模型,将软件在开发阶段、分享阶段和应用阶段的基础数据作为软件的可信证据,并据此建立了软件演化过程模型;提出一种支持可信软件协同开发与演化的服务模型,支持软件创作与生产深度协同的可信软件社会化生产、开放有序的可信软件资源分享,以及基于海量数据分析的软件可信评估.最后以"十一五"国家高技术研究发展计划重点项目"高可信软件生产工具及集成环境"为背景,阐述了面向群体化方法的关键技术、开发环境和应用实践.     

网构软件体系结构代数模型

由于网络化软件的规模和复杂程度的不断增加,设计可伸缩的软件体系结构,开发可演化的软件系统遇到了挑战．挑战之一是很难把软件模型与原系统说明区分开来,使得软件系统的可演化性受到限制．一个有效的途径是建立可范用软件体系结构的抽象模型,指导网构软件设计,从而提高软件模型的概括能力和可伸缩能力．本文提出一种网构软件体系结构代数模型,其中一个创新思想是把网构连接子解释成网构变量的运算．结合代数学方法和软件实现技术,定义了6种网构连接运算,所有运算是对连接子的代数抽象,因此软件体系结构的抽象表达能力得到了加强．为了展示提出代数模型的建模与分析辅助作用,介绍了一个基于代数模型的网构软件设计与演化的案例研究．