一种并发Java程序控制流模型

研究了并发Java程序控制流模型的建模问题.通过深入分析并发Java程序设计语言的语义以及带抑止弧Petri网的建模能力,提出了一种并发Java程序控制流模型--CJCFM,并给出了从并发Java程序构造该模型的方法.CJCFM以带抑止弧Petri网为基础,简单直观,可模拟程序实际运行过程,对并发程序的理解、分析和测试有很大帮助.通过对现有开源Petri网实验平台PIPE的功能进行扩展,可在该平台中直接构造并执行CJCFM.借助成熟的Petri网理论与算法,可验证CJCFM的各种性质,从而达到对源程序进行分析的目的.实验表明:CJCFM能有效协助理解、分析和测试并发Java程序.     

黄骅盆地孔西构造带的构造演化特征

通过平衡剖面技术复原古构造演化 ,并结合区域构造分析 ,可将孔西构造带的发育过程大致分为三个构造变形阶段 :晚三叠世末期为挤压褶皱变形期 ;晚三叠世沉积后至侏罗系沉积前为逆冲构造变形期 ;早—中侏罗世为逆冲构造“轻度”渐进变形期。晚侏罗世以后 ,区域构造作用发生反转。随着晚侏罗—早白垩世、早第三纪裂陷盆地的发育 ,孔西构造带作为潜山构造被掩埋。裂陷盆地时期的伸展构造对孔西构造带前第三系的逆冲构造基本上没有大的改造     

渐开线齿轮廓线生成动态仿真及其应用

渐开线齿轮廓线难以精确绘制,尤其是存在齿根过渡曲线变化较大的问题。为此,提出一种基于VBA和AutoCAD ActiveX技术的动态模拟齿轮加工方法,通过动态绘制齿轮坯与齿条刀具间的相对位置,形象演示齿轮渐开线和齿根过渡线的形成过程。用动态模拟的方法得到的齿轮廓线精确度高,可直接用于齿轮三维的精确造型。     

台湾海峡及其邻近海域软水母亚纲二新种记述

记述了采自台湾海峡侧丝水母属(Helgicirrha Hartlaub,1909)——卵形侧丝水母,新种(H.ovalis sp.nov.)和采自邻近海域厦门同安湾似杯水母属(Phialella Brown,1902)——厦门似杯水母,新种(P.xiamenensis sp.nov.).这2种鉴别特征如下:卵形侧丝水母,新种,伞扁于半球形,伞薄;胃柄短;生殖腺卵圆形,位于辐管近中部;8条触手,每条触手有3对侧丝,无排泄乳突;每2条触手间1～2个缘疣,各具1对侧丝,其末端有黑色素.厦门似杯水母,新种,伞扁于半球形,伞薄;胃小,口方形;生殖腺球形或椭圆形,悬挂于辐管近伞缘,有中沟;16条空心触手,触手基部球形;8个平衡囊,在伞缘环管垫状疣突上.     

开挖卸荷引起地铁隧道位移预测方法

目前越来越多的基坑工程位于已建地铁隧道之上或两侧 .近距离基坑开挖土体卸荷势必引起隧道的位移变化 ,因此如何预测和控制隧道变形、确保隧道使用安全日趋重要 .为此研究了处于软土基坑之下的地铁隧道的位移变化规律 ,分析了基坑工程中时间、空间效应对隆起的影响规律 ,提出了时间、开挖宽度影响系数 ,推导出考虑基坑施工影响的隧道位移变形的实用计算方法     

含糖聚合物的研究现状与进展

综述了含糖乙烯基单体的合成、含糖聚合物的"活性"/可控自由聚合以及含糖聚合物在生物医药领域中的应用.含糖聚合物因其优良的生物相容性、亲水性和靶向性等功能,赋予含糖聚合物作为智能人造材料尤其在生物和生物医药等领域具有各种特殊用途,今后含糖聚合物的研究将集中于含糖聚合物的结构控制以及聚合物的实际应用性能的开发上.     

循环网络模拟技术在土石方工程中的应用

土石方工程由于施工过程的复杂及受到众多随机因素的影响,很难用人工方法精确计算各道路的行车及排队情况,确定各道路的等级以及施工机械设备的数量。采用循环网络模拟技术,用挖、装、运、卸等仿真节点来模拟实际施工的相应过程,建立能反映土石方实际开挖过程的仿真模型。仿真得出的一系列施工参数为辅助管理人员做出决策提供参考依据。某工程中的成功应用表明,此方法快捷、便利,值得深入研究并推广应用。     

太阳电池填充因子随日照强度变化的理论分析与计算

根据太阳电池直流模型和最大功率点数学条件,推出短路电流、开路电压、最大功率点电流和电压 以及填充因子随日照强度变化的数学关系式;并选取２个电池分别计算出在不同日照强度下上述电池参数随日 照强度的变化率。验证了短路电流和最大功率点电流是近似跟日照强度成正比,开路电压和最大功率点电压是 近似跟日照强度的自然对数成正比。并提出了填充因子随日照强度的变化关系不具有简单的函数形式,而对不 同的太阳电池其变化关系也迥异。最后用Multisim的模拟结果检验了理论分析计算的正确性。     

基于智能体模拟的结构性疏散计划设计研究

展示了一个基于Agent模拟方法的框架方法,用于为危急中的复杂技术系统设计结构性的疏散计划.该计划利用复杂自适应系统的模拟方式,并采用基于智能体模拟的方法作为认知工具来设计整体系统的疏散方案.结构化的疏散计划应用文中提出的整体性技术框架,没有采用标准化的常规方法.提出了一个使疏散人群能够更加适应的调整危机时刻的紧急情况和减少无效疏散的建议性方案.本框架方法在一个典型的复杂自适应系统一地铁火灾中得到应用.     

三维地学建模技术与Kriging方法在固体矿产储量计算中的应用

结合Kriging方法在计算机上的实现和应用,介绍了运用三维地学建模技术生成矿体的三维品位模型的原理流程以及关键技术,并在此基础上进行矿产资源储最计算.其基本流程为:根据实际地质勘探数据生成矿体三维实体模型;在实体tin模型内部应用块模型方法进行划分,建立矿体块体模型;利用Kriging方法进行插值,生成矿体的品位模型...