基于MTRDL的自动飞行系统模式需求建模与验证方法

在民机自动飞行过程中,自动飞行系统模式转换是影响安全的重要因素,随着现代民机机载系统的功能与复杂度的快速增长,在需求阶段对自动飞行系统模式转换的安全性分析和验证成为重要的挑战.飞行模式转换的复杂性不仅体现在自动飞行过程中必需的多重飞行模式之间的交互关系,还体现在模式转换与外部环境之间复杂的数据与控制交联关系,这些交联关系同时隐含了飞行模式转换的安全性质,这些特征提高了形式化方法的应用难度.提出一种领域特定的建模验证框架:首先,提出面向自动飞行系统模式转换的领域需求建模语言MTRDL和基于该语言扩展于SysML上的建模方法;其次,提出基于安全需求模板的安全性质辅助规约方法;最后,通过对某机型的若干条目化需求的实例研究,证明所提方法在自动飞行系统模式转换需求验证中的有效性.

某会展中心项目二期工程水系统设计优化分析

给排水系统设计是大型会展工程设计的重点和难点之一,系统的优劣直接会影响会展后期运营、使用及维护。将某大型国际会展中心项目二期工程的给排水及消防系统,与一期系统进行对比,总结了大型会展项目在给排水及消防系统上的给排水系统设计原则和思路,采用大空间消防炮灭火系统和地埋式消火栓对展厅进行保护,并设置成品展位箱作为布展接口。

一种网络化卫星测控系统多址接入算法研究

大规模低轨卫星星座的出现,对地面测控系统提出了更高的要求,这使得网络化测控技术成为了各国研究的重点技术。本文针对低轨卫星网络化测控系统的接入问题进行了研究。首先,概述了传统低轨卫星星座发展历程及多址接入技术需求背景;然后,在分析传统CSMA(Carrier Sense Multiple Access,载波侦听多路访问)与TDMA(Time Division Multiple Access,时分多址)接入技术性能的基础上,提出了一种自适应接入方案,使得网络化测控系统在负载量较高或较低时都具有良好的网络性能。本文通过仿真验证了自适应接入技术在系统时延、吞吐量以及信道利用率上的优越性。

东天山铜金多金属矿床成矿系统和成矿地球动力学模型

近年来 ,在东天山地区地质找矿不断取得突破 ,一系列大型、中型铜金矿床先后被发现 .绝大多数铜金矿床在空间上密集分布于黄山 -康古尔缝合 -剪切带两侧的岛弧带内 ,时间上集中在石炭纪—二叠纪 .金矿床包括造山型、石英脉型和浅成低温热液型 ,铜矿床包括斑岩型、夕卡岩型和热液脉型及铜镍硫化物型 .金、铜和铜镍矿化各自成系统产出 ,为板块俯冲晚期和碰撞期后大规模镁铁质 -超镁铁质和中酸性 -酸性花岗质岩浆侵位 -喷发事件的产物 .

新疆准噶尔盆地西北缘吐谷鲁群沉积体系分析

根据在新疆准噶尔盆地西北缘乌尔禾-夏子街地区的野外地层露头观察、追索及钻孔资料分析研究,笔者认为,该区下白垩统吐谷鲁群是一套以灰绿色砂岩和红色、棕红色泥岩组成的干燥气候条件下形成的内陆湖相碎屑沉积,发育浅水三角洲体系,主要由三角洲平原和三角洲前缘相组成。吐谷鲁群碎屑岩的碎屑粒度由下而上可分为两个大的韵律旋回,即粗—细—粗—细,反映了水体扩展到萎缩再扩展的过程。有利铀成矿的砂岩层主要集中在两个韵律旋回的底部,形成于三角洲平原分流河道、决口扇、三角洲前缘水下分流河道和水下堤环境。

构建护士工作评价系统的研究

目的:研究科学的护士工作评价系统,用于综合评价护士工作的优劣,为提高护理管理质量提供依据。方法:采用分布式数据库,由住院病人满意度评分软件、院内评分软件及统计查询模块三部分组成。按照管理导向原理及统计学要求分别对各系统的权重赋值,按评价结果确定护士星级,根据星级调整绩效工资分配系数。结果:由单维评价发展到多维评价,其结果真实、公正、可操作性强,能有效规范护士行为,激发护士工作热情,真正实现病人满意。结论:采用分布式数据库构建的护士工作评价系统,能完善护理质量管理功能,促进医院整体服务质量的提高。

水力机械多功能模型试验台循环管路系统水力设计

介绍了河海大学水力机械多功能模型试验台循环管路系统的水力设计 ,着重介绍了模型试验台的水力计算和试验台的多功能性。

构建数字图书馆存储系统应注意的若干问题

对存储系统的控制器、存储架构、CHCHE、接口、链路、相关软件以及主流产品的技术特点作了全面的比较研究,结合数字图书馆的需求分析,为数字图书馆存储系统的建设作了颇具操作性的理论探讨,提出数字图书馆存储系统建设的新观点、新思路。

不确定非线性系统鲁棒控制研究

对不确定非线性系统鲁棒控制的主要设计方法和应用领域进行了较为详细的分析和论述 ,包括 L ya-punov方法、输入 /输出反馈线性化方法、变结构控制方法及神经网络控制方法等。给出了设计思想 ,对它们在不确定非线性系统设计中的地位和作用进行了评述 ,并指出了存在的问题和相关的研究方向。

西藏嵩草ISSR-PCR反应体系优化研究

西藏嵩草(Kobresia tibetica)为莎草科嵩草属多年生草本,根状茎短,秆密集丛生。生于海拔2 550~4 950 m的河滩地、湿润草地、高山灌丛草甸,分布于甘肃、青海、四川西部、西藏东部,其根系发达,喜湿,耐寒,生活力强。西藏嵩草繁殖以营养繁殖为主、有性繁殖为辅,其茎叶茂盛,有较高的营养价值,产草量高,是青藏高原夏、秋两季的主要放牧饲草。该研究以青藏高原高寒沼泽化草甸的建群种和优势种——西藏嵩草为材料,对影响其ISSR-PCR反应的因素(Mg^(2+)、Taq DNA聚合酶、dNTP、引物和模板DNA)进行5因素4水平的正交试验,以确定西藏嵩草ISSR分析的最佳反应体系,并筛选适宜的ISSR引物及各引物的最佳退火温度。结果表明:建立了适宜于西藏嵩草ISSR-PCR反应的最佳体系为20μL反应液中包括10×PCR buffer 2μL、1.5mmol·L^(-1)Mg^(2+)、1.0 U Taq DNA聚合酶、0.100 mmol·L^(-1)dNTP、0.3μmol·L^(-1)引物和30~40 ng DNA模板;同时从100条ISSR引物中筛选出了扩增结果清晰、稳定的12条引物,各引物的最佳退火温度为48.0~53.2℃(引物不同,其最佳退火温度也不同);西藏嵩草ISSR-PCR适宜的扩增程序为首先预变性94℃ 5min,然后变性94℃ 20s、复性48.0~53.2℃ 1min、延伸72℃ 80s、38个循环,最后72℃延伸6min。体系稳定性验证结果表明,该体系在西藏嵩草其他样品中所得条带清晰且多态性丰富,为后续西藏嵩草的遗传多样性分析和优良牧草种质资源筛选研究奠定了基础。该研究结果对以西藏嵩草为优势种的高寒沼泽化草甸研究及湿地生态系统的修复和保护具有重要意义。

TESSYS技术与开放手术治疗腰椎间盘突出症的效果及安全性比较

目的比较TESSYS技术与传统开放手术治疗腰椎间盘突出症的效果及安全性。方法选取2009年3月～2012年9月本院收治的腰椎间盘突出症患者78例，将选择经皮椎间孔镜下TESSYS技术治疗的43例作为TESSYS组，选择传统开放手术治疗的35例作为开放组。术前、术后及末次随访时应用视觉模拟评分（VAS）评估疼痛程度，应用日本骨科协会（JOA）评分评估腰椎功能改善情况。比较两组的手术时间、出血量和并发症发生率。结果两组患者术前VAS和JOA评分差异无统计学意义（P〉0．05），术后VAS均显著下降（P〈0．05），JOA评分均显著升高（P〈0．05），且两组间VAS和JOA评分差异无统计学意义（P〉0．05）。TESSYS组的手术时间短于开放组、出血量少于开放组、并发症发生率低于开放组（P〈0．05）。结论与传统开放手术相比，TESSYS技术治疗腰椎间盘突出症疗效相当。且安全性更高，具有手术时间短、出血少、并发症少的优点。

基于多代理的物流信息系统

针对目前 Internet在物流业的应用现状 ,本文提出了一种基于多代理 (Multi- agent)的物流信息系统解决方案 .讨论了多代理物流信息系统的体系结构 ,研究了多代理物流信息系统中的代理体系结构 ,包括代理的类型、结构 ,以及代理之间的通信和协调规则 ,最后以具体的企业为背景 。

经皮椎间孔镜下TESSYS技术治疗腰椎椎间孔狭窄的早期临床疗效观察

目的探讨经皮椎间孔镜下TESSYS技术治疗腰椎椎间孔狭窄引发腰腿痛的短期疗效。方法选取2012年3月至2014年9月本院收治腰椎椎间孔处狭窄的患者30例,均选择经皮椎间孔镜下TESSYS技术治疗。术前、术后及末次随访时应用视觉模拟评分(VAS)评估疼痛程度,应用日本骨科协会(JOA)评分评估腰椎功能改善情况。结果术前及末次随访评分的比较所有患者术中即感觉症状明显缓解。VAS评分由术前(8.13±1.21)分减少至(2.81±1.49)分,JOA评分由术前(10.77±4.21)分升高至(26.30±3.55)分。结论 TESSYS技术治疗腰椎椎间孔处狭窄,有安全性高,具有手术时间短、出血少、并发症少、患者易接受等优点。

玉兰属植物资源与新分类系统的研究

报道了作者对玉兰属植物进行了全面系统地分类、整理和研究,对该属植物杂种按照《国际植物命名法规》中有关规定,进行了新改隶组合,提出该属植物新分类系统。新分类系统:属→组→亚组→种。其中有3组、6亚组(新改隶组合亚组、新亚组)、40种(包括15新种)。为该属植物分类系统、亲缘关系和良种选育等多学科理论研究提供了科学依据。

我国部分高校实施俱乐部制体育课内外一体化学习评价体系研究

采用数理统计法、测试分析对比法,结合教学改革实践和相关理论,对我国部分高校实施俱乐部制体育课内外一体化学习评价体系的实践背景、发展过程、实施效果及发展方向进行了比较分析研究。以实践效果评价的若干理论问题和个体评价标准为方向,对学习评价体系标准的设计,评价的目的与内容,评价的方式与评分方法进行实践性的探讨研究。

基于层次分析法与重心法的学校选址研究

在对X区30多所中学的实际情况进行调查的基础上,综合运用物流系统规划方面的多种选址方法-层次分析法和重心选址法,在X区32所中学中选择了一所学校,作为新重点中学的校址,并证明这一方法是可行的。

天基在轨空间碎片撞击感知系统研究现状及关键技术

航天器遭受空间碎片撞击的威胁日益严重,对天基在轨空间碎片撞击感知系统的研究与开发提出了迫切需求。为了更好地为配合开展感知系统的研究,通过分析各种空间碎片天基在轨撞击感知技术的研究现状,提出了系统必须满足的相关问题,给出了系统组成、关键技术和工作模式。

我国现代物流企业信用评价信息系统设计研究

借鉴相关行业信用评价的成功经验,通过分析当前我国现代物流企业信用评价中存在的问题,依据信用评价指标体系构建的原则,确立了现代物流企业信用评价指标体系,并完成了我国现代物流企业信用评价信息系统的分析与设计,为系统开发和应用工作打下基础。

计及阀点效应负荷经济分配的杂交粒子群算法

提出了一种用于求解复杂的非凸、非线性具有阀点效应的火电有功负荷经济分配问题的杂交粒子群算法(HPSO)。HPSO通过粒子追随自己找到的最优解和整个群的最优解来完成优化,并在此基础上将遗传算法的杂交思想引入到PSO算法当中,使其避免局部最优。算例的仿真结果表明:本文的算法有效、可行,可望应用于更广泛的优化问题。

金融智能卡操作系统安全体系研究

讨论了通用智能卡操作系统COS的安全体系,围绕该体系的三大功能:文件操作、认证系统、加/解密展开论述。金融智能卡操作系统是建立在通用COS基础上集成了银行应用的COS。结合实践的JETCOS智能卡操作系统分析了金融智能卡COS在交易流程和应用过程中的安全性。