交互时态信念逻辑及其模型检测

交互时态认知逻辑(ATEL)是对交互时态逻辑(ATL)的扩展,但是它只刻画了知识,没有探讨信念的刻画问题.给出广义并发博弈结构,以模态算子的形式在ATL的语法层面给出了三种信念算子,在广义并发博弈结构下给出其语义,建立了交互时态信念逻辑(ATBL).给出一个多项式时间模型检测算法,并证明了ATBL的模型检测复杂度为PTIME-complete;给出并证明了ATBL的若干良好性质,比较了相关工作.对Agent认知形式化作了进一步探索,为多Agent系统研究提供了一个较好的形式化工具.     

辽宁仙人洞国家级自然保护区重点保护植物的调查研究

在对辽宁仙人洞国家级自然保护区高等植物多年调查的基础上,以国家及辽宁省发布的重点保护植物名录为依据,统计分析了保护区内的重点保护植物.结果表明:保护区内现有国家级重点保护植物22种,省级重点保护植物18种.根据世界自然保护联盟(IUCN)物种红色名录确定的濒危物种,建议增加10种濒危及易危植物列入保护区重点保护植物名录并提出了针对保护重点植物的保护对策.     

ELRF深度偏移及其改进算法

ELRF深度偏移基于标量波动方程和Rytov近似方法,具有速度快、精度高等优点,是复杂构造偏移成像的有效手段之一.作者在引入该方法的基础上,针对复杂构造的偏移成像工作的特点,提出一种改进的ELRF深度偏移算法,提高了偏移方法对复杂构造的适应能力.经CX地区的实际资料处理结果表明该方法是解决某些复杂构造资料偏移成像问题的有效手段之一.     

时间域质心频移法估算品质因子Q

品质因子Q 是表征地下介质对地震波吸收衰减强弱的参量,是储层预测和油气检测的重要参量。质心法是估算Q 值的常用方法,精度和稳定性均较高,但该方法需要计算地震子波谱的质心和带宽,其精度依赖于波谱的提取质量。为避免地震子波谱的问题,提出时间域质心频移法,实现了在时间域估算品质因子Q,其核心是根据子波波形信息在时间域直接估算质心频率和带宽。对于常相位子波,其频谱的质心频率即包络峰值处的瞬时频率;对于Gauss 谱子波,其带宽可由包络宽度换算得到（两者乘积为一常量）。当地震子波近似为常相位及Gauss 谱时,可在时间域估算质心和带宽,按质心法公式估算Q 值,规避了地震子波谱的提取。VSP 下行波模型测试及实际资料应用表明,时间域质心频移法是可行可信的。     

单颗粒等离子激元生物传感技术

贵金属纳米颗粒的表面等离子共振(SPR)效应的研究已经有近60年的历史,近年来纳米等离子激元用于生物分析传感应用取得了长足的进步.本文系统地阐述了等离子激元的形成原理与单颗粒水平分析检测技术原理,从直接传感、等离子共振能量转移(PRET)、SPR耦合、生物成像与治疗等方面概括介绍了目前利用等离子激元进行生物分析传感、生物成像与诊疗等方面的应用研究.生物传感检测技术在单分子检测、单颗粒成像与分析等领域具有重要的科学意义与应用前景.     

藏黄牛褪黑激素合成酶AA-NAT基因cDNA克隆及序列的比较分析

哺乳动物季节性繁殖主要受褪黑激素调控, 而褪黑激素的分泌受其2个合成酶HIOMT和AA-NAT调控. 分布于青藏高原的藏黄牛和牦牛是典型的季节性繁殖动物, 普通黄牛繁殖则季节性不明显. 比较分析它们三者的AA-NAT序列, 从而进一步研究它们繁殖的季节性. 采用RT-PCR技术,从2个公藏黄牛个体的松果体组织总RNA中分别克隆到AA-NAT基因的表达序列, 并对其进行生物信息学分析. 结果表明:藏黄牛AA-NAT基因的表达序列全长为624bp, 开放阅读框(ORF)为621 bp, 编码207个氨基酸, 预测其表达蛋白分子量为52.3005kDa, 等电点为5.06, 不具有信号肽, 有两个具有较高可能性的跨膜区, 存在4个O连接糖基化位点, 而不存在N连接糖基化位点, 有3个潜在的Ser和3个Thr磷酸化位点. 藏黄牛该基因表达序列核苷酸及编码氨基酸与亲缘关系较远的牦牛一致, 而与亲缘关系较近的普通黄牛却有一定差异, 这可能与繁殖的季节性有关.     

煤溶剂萃取动力学研究

根据传质理论建立煤溶剂萃取动力学模型,将可萃取物在煤中的最大含量作为模型参数,该参数可由实验数据趋势值和最大实验值两种方法求取.以苯对富含低分子物质褐煤的萃取数据对模型进行检验,结果表明,该模型能较好地拟合试验数据,用最大实验值法求取的模型参数拟合程度更好.     

超幂非标准模型的构造

研究了个体集和超滤子与超幂非标准模型的构造.证明了当转换原理成立时,要求构造超结构的基本集是个体集;讨论了个体集和超滤子不同时,标准全域与非标准全域之间的关系,同时给出了超幂非标准模型是其真扩张的充分条件;得到了非标准模型是非标准扩大模型的必要条件是card(I)N0.     

考虑上下盘效应的Newmark设计谱

以全球典型倾滑断层的近断层强震记录为依据,分析上/下盘效应对核电厂抗震设计谱的影响,为构建考虑近断层上/下盘效应的核电厂设计谱提供参考.基于上/下盘不同区域的近断层记录,分析Newmark方法中地震动峰值比控制参数AD/V²、V/A的取值,发现核电厂抗震设计谱的拐点周期随着强震记录的特点而改变,且AD/V²、V/A的取值受到上/下盘效应的影响.上盘记录的V/A值小于其它区域,而AD/V²值则大于其它区域.由于AD/V²与V/A的值决定了设计谱第三、第四个控制点周期,因此设计谱的谱形也受到影响.通过对比本次确定的设计谱与RG1.60设计谱,发现上/下盘效应对设计谱短周期段的谱值有显著的影响.这使得短周期段谱值增大,而对中长周期段的影响不明显.无论是设计谱的形状还是谱值大小,基岩场地设计谱的变化比土层场地的大.由此可见,在编制标准反应谱时建议考虑上/下盘效应的影响.     

装备指挥任职教育教员队伍建设的思考与对策

海军装备指挥人才的培养,是当前军事斗争中海军装备保障准备的重要而紧迫的任务。文中论述了当前海军院校装备指挥专业任职教育的现状及其特点,从专业建设与院校转型及发展的角度,分析了当前装备指挥任职教育教员队伍建设中存在的诸多不足,探讨了未来装备指挥任职教育教员队伍建设的对策和思路。