基于UML和Petri网的建模及其验证

为了更好的建立系统模型,分析系统模型的性质,提出一种基于UML和Petri网的建模方法。用UML对系统进行可视化建模,利用Petri网对系统的动态行为进行建模,从不同的角度对系统进行建模,运用两种建模方法的优势,以及UML和Petri网之间的转化规则,实现两种模型的转换。最后把Petri网转化为Promela程序,用SPIN工具Petri网模型进行验证。     

鄂尔多斯北部表层结构红砂岩的VTI特性分析

根据纵波在各向异性介质中的传播公式和各向异性参数,可以导出零偏移距下各向异性介质垂直速度和水平速度的关系.对于表层结构中为各向异性的高速层,小折射和微测井所测定的速度方向分别是该层的水平方向和垂直方向.通过对2种方法测定出的速度进行分析,可以得到该目的层岩性在垂直和横向的速度变化规律,即该层的VTI特性,它可为该区提供更准确的静校正量.     

基于临近空间的预警系统建设研究

针对来自空、天两个层面的强大威胁,仅依靠现有的预警手段和系统很难有效应对.通过分析空天一体信息作战的威胁与现状,阐述了临近空间特性并分析了在临近空间部署预警系统的优势：对上可以弥补天基系统,对下可以填补空基系统和陆基系统的缝隙,且可控性强.最后就作为临近空间防空预警系统、区域战场侦察监视系统、指挥通信系统以及集成临近空间电子对抗系统等提出了发展临近空间预警系统建设的建议.     

基于多保留策略的复合型遗传算法及其收敛性分析

遗传算法(GA)作为一种新型的智能优化方法,以其结构简单、适应性强等特点在众多实际领域取得了成功的应用,但存在计算复杂度大、易于局部收敛等方面的不足。本文在分析现有遗传操作的不足和生物进化的基本特征基础上,从提高进化效率的角度出发,提出基于多保留策略的复合型遗传算法(简称MRS-CGA);进而利用Markov链理论和仿真技术,从不同的层面分析了算法的性能。讨论结果表明,算法从本质上推广了常规的GA,在计算效率和收敛性能上均明显地优于常规的GA。     

红外测速光幕靶改进及测量精度分析

为提高XGK-2002型红外测速光幕靶的测量精度及安装调试速度,提出采用双辅助激光器实现光源和接收精确对准的光幕靶改进方案.在现有红外测速光幕靶工作原理及结构基础上,对光源和接收对准中存在的问题进行了探讨,分析了其影响.提出了在光幕靶两端分别设置一激光器实现对准的光幕靶改进方案,并从测时误差及靶距误差两方面对改进后测量精度进行了分析.结果表明,改进后的光幕靶可快速、直观的实现光源和接收的对准,测试精度及安装可靠性提高,改进后测速精度可达到1‰.     

流式细胞术快速检测杆状病毒滴度

为了快速而准确的测定杆状病毒的滴度,采用流式细胞术对经SYBR Green I染色后的杆状病毒直接计数.考察固定、破膜和染色等因素对检测结果的影响,并验证改进后的方法的重复性和线性性.杆状病毒最佳染色条件:质量分数为0.1%的多聚甲醛固定病毒30 min后,加入一定量的SYBR Green I在80℃下孵育10 min.测量结果CV值为2.4%(n=8),R2为0.999 8.整个测量过程由原来终点稀释法的7～10 d缩短到1 h.     

Dy2O3掺杂对钛酸锶钡陶瓷结构性能的影响

采用草酸盐沉淀法,以硝酸锶、硝酸钡、钛酸丁酯和草酸为原料,Dy2O3为掺杂剂,制得了Ba0.6Sr0.4TiO3粉体,并于1 250 ℃将其烧结成Ba0.6Sr0.4TiO3系电介质陶瓷.利用扫描电镜、X射线衍射及TH2818自动元件分析仪对Dy2O3 掺杂量为0.2%～2%的Ba0.6Sr0.4TiO3陶瓷的微观结构和介电性能进行研究.结果表明,Dy2O3的掺杂没有影响到BST陶瓷的主晶相钙钛矿结构,且一定量的Dy3+进入到BST晶格中.BST陶瓷的介电损耗随着掺杂量的增加而逐渐减小,介电常数随着掺杂量的增加呈现先增大后减小的趋势,当掺杂量为0.5%时,介电常数最大,为4 474.48.     

大气湍流中光传播的数值模拟

大气分子等粒子的存在对光的空间传播通常会产生光束的扩展、漂移等的影响.文中在随机媒质中光的传播理论的基础上,分析了构造大气湍流随机相位屏所需要的条件,采用McGlamery算法和Huygens-Fresnel原理,数值模拟给出了Kolmogorov谱下的大气湍流随机相位屏.分析了光波从发射机经湍流大气传播到达接收机平面时的光场变化特征.模拟分析表明:大气分子等粒子的存在,对光的振幅及能量的空间分布均造成很大的影响.     

磁场位形对微波ECR等离子体电子参数的影响

测量了两种磁场位形中微波ECR等离子体的电子参数,研究了磁场位形对电子参数空间分布的影响,结果表明:发散场中电子温度在轴心和腔体边缘较大,在过渡的中间区域较小,而磁镜场中电子温度随径向半径R的增大单调减小;电子密度在两种磁场位形中随径向和轴向距离的增大均呈单调下降的趋势,磁镜场中的下降幅度大于发散场;在共振面附近,发散场中气压对电子温度的影响比在磁镜场中大,而气压对电子密度的影响在两种磁场位形中基本相似.     

城市微观土地利用影响背景下碳排放评测研究

采用连续逼近法及交通周转量计算方法,在分析城市微观土地利用模式的基础上,构建了一个将城市土地利用与碳排放相结合的数字评测模型.依据该模型,以南京信息工程大学为例,对双园区土地利用模式带来的"无为"碳排放进行了评测.结果表明,该评测模型可以对微观土地利用背景下双园区单位由于所采用交通方式不同而带来的碳排放量进行量化研究.