基于无人机倾斜摄影的危岩识别及数值模拟分析

针对峡谷区高陡边坡危岩落石地质灾害分布位置高、突发性强,严重影响该区域工程建设安全的问题,以康定榆林至新都桥高速公路桑达隧道进口高位危岩为例,基于无人机倾斜摄影技术生成三维实景模型以及数字地表模型,全面获取高位危岩的地质地形空间信息,对危岩区进行分区评价与失稳模式分析,通过三维数值模拟对危岩体的运动过程、运动轨迹、冲击能量等进行分析。研究表明：该场地危岩可划分为强烈发育区、中等发育区和高位岩堆区等3个分区,岩体破坏以拉裂-倾倒式和剪切-滑移式为主;失稳岩体主要沿坡面沟槽向下运动,颗粒的最大运动速度接近40 m/s,对下方公路构造物危害严重;综合分析表明危岩Ⅱ区受高位危岩及松散岩堆崩落影响最小,适宜路线方案通行。研究成果可为峡谷山区公路及水电等基础设施建设中遇到的高陡崩塌识别与评价提供借鉴。     

一种基于阴影图的实时伪软阴影生成方法

由于硬阴影不能反映真实场景,软阴影成为了阴影实现的主流。但是软阴影需要对区域光源进行密度采样,为了省掉密度采样的开销,而且又不影响真实感,实现了一种伪软阴影。首先基于阴影图提出了一种用添加的平滑面构造半影纹理的新方法,并叙述了如何用该半影纹理构造伪软阴影。实验证明该方法能正确并实时地实现阴影渲染。     

嵌入式CORBA/e的设计与实现

对于对象管理组织(OMG)发布的CORBA/e规范,一般通过改变现有CORBA实现的接口或进行裁减等方法来得到与之对应的实现,但对特定领域的嵌入式应用,此类实现存在体积比较庞大、ORB等关键部分未针对该规范进行优化等问题.在遵照此标准的基础上,分析了CORBA/c特有的实现需求,结合相应领域的设计模式和方法,对现有的实现进行了改进,得到了满足CORBA/c规范的网络中间件,并在嵌入式应用中获得成功.     

Markov模型的软件可靠性测试充分性问题的研究

在分析现有Markov模型的软件可靠性的充分性判别的基础上,定义了严格转移概率的概念,提出了基于严格转移概率的测试充分性判别方法。将Markov模型转化为严格Markov模型,在每个边或者状态的差异计算时引入严格转移概率,对可达相异转移集中所有可达相异转移k的转移概率进行原转移概率对应计算后进行求和再平均运算,得到的结果作为每个边或者状态的差异值。实验表明严格测试充分性判别方法比非严格Markov模型方法更稳定、有效。     

武汉地区结核分枝杆菌链霉素耐药分离株 rpsL 基因分子特征研究

探讨武汉地区结核分枝杆菌链霉素（ SM）耐药临床分离株rpsL基因分子特征。收集71株临床分离株,采用刃天青法测定临床分离株对SM的最低抑菌浓度（ MIC）,同时用直接测序法分析rpsL基因的突变情况;用RD105基因缺失检测法鉴定71株临床分离株中“北京基因型”菌株。结果显示20株SM敏感株rpsL基因未发现突变（ MICs＜0．25 mg/L）;51株SM耐药株中,35株（68．6％）检测到rpsL基因突变,主要发生在第43位和88位密码子,MIC≤1 mg/L的SM耐药株（低水平耐药株）总突变率低于MIC≥2 mg/L （高水平耐药株）;北京基因型与耐药株的相关性不大。研究表明SM耐药菌株rpsL基因突变类型存在地域差异;rpsL突变与SM高水平耐药的相关性在本研究中关联度不大;“北京基因型”菌株在武汉地区呈流行趋势。     

分区软件失效模式和效果研究

为了解决在综合模块化航空电子系统（IMA）中系统架构和分区软件设计面临的分区软件失效模式和应对措施问题,在深入分析分区软件与IMA平台之间交互过程的基础上,明确了分区软件特有的失效模式并分析了其失效效果,除了一般软件共有的失效模式以外,分区软件所特有的交互过程引入了新的失效模式,包括预期的交互功能未能执行、执行过程错误、执行过程超时和特定错误等,根据ARINC 653软件架构中定义的健康监控功能,提出了通过增加健康管理功能等应对措施来处理分区软件的失效,并通过实例分析说明了该措施可以有效降低分区软件失效带来的安全风险,从而提高分区软件和功能应用的可靠性,这些失效模式分析结果和应对措施也适用于其他高安全性要求环境下分区系统设计。     

列车振动信号与轨道平整度的关系模型仿真

轨道不平会引起列车的振动,低频振动信号的特征可以很好的描述轨道与列车振动的关系,但是,低频信号特征描述的振动区域有限,传统方法通过建立车辆一轨道垂横耦合模型来识别这种振动信号,无法描述多种不同的车型带来的振动.为解决上述问题,提出基于多渠道差异采集的轨道不平低频传感信号关联模型.对不同车型下的低频信号传输过程中的衰减程度进行估计,计算实际衰减量,并对其进行补偿.对补偿后的传感信号进行分数阶域傅里叶变换,获取信号采集目标函数,完成振动与平整度的关系建模.实验结果表明,利用上述方法进行轨道不平低频传感信号采集,能够获取不同形式的轨道不平整与列车振动的关系.     

基于分层策略的三维非刚性模型配准算法

在三维非刚性模型分析中,通常需要对不同姿态下的模型进行配准。针对传统配准算法存在复杂度高、计算量大、精确度低等问题,提出一种新的基于分层策略的三维非刚性模型配准算法。首先,定义热核签名函数为模型的标量域,使用同源聚类算法提取模型的特征点和特征区域,进而提出三维几何模型的树形表示方法:它的根节点为三维几何模型,内部节点为模型的特征区域,叶节点为包含在相应区域的特征点。然后,根据三维几何模型的树形表示提出模型的分层配准算法。在SHREC 2010模型配准数据集上对比分析了分层配准算法、推广的多维尺度变换算法（GMDS）和博弈论方法在等距变换、孔洞、小孔洞、尺度变换、局部尺度变换、重采样、噪声、散粒噪声以及拓扑变换等情况下的性能。实验结果表明,在以上三维几何模型数据受干扰的情况下,分层配准算法的准确性明显优于GMDS方法和博弈论方法,同时具有较低的计算复杂度。     

基于Petri网和systemC的SoC系统描述

针对Petri网自带信息不足、硬件描述能力弱以及systemC无可视性等缺陷,将Petri网与systemC相结合来进行系统级建模。通过分析Petri网和systemC的相似点,建立Petri网和systemC的映射关系,以便于将Petri网描述的系统模型转化为systemC代码。同时,使用层次建模的方法防止状态爆炸。通过以上方式建立系统级模型,描述片上系统（SoC）嵌入式系统软硬件状态,作为可执行的系统级描述。     

一种用于类测试的改进型EFSM模型

扩展有限状态机(EFSM)中迁移存在前置条件和相应操作,而前置条件和相应操作中变量的相互依赖性导致了EFSM中存在不可达路径,不利于基于EFSM模型的类的测试。通过把UML状态图转换成EFSM模型,提出一种消除EFSM模型不可达路径算法,从而建立一种用于面向对象软件的类测试模型,通过该模型可以应用传统的数据流和控制流分析技术对类进行测试。