摘要：架构分析与设计语言(AADL)是一种用于描述复杂嵌入式系统体系架构的建模语言,被广泛用于安全关键系统建模与验证。AADL通过行为附件以状态机的形式对组件的内部行为建模。工业界中的复杂系统常使用层次自动机描述组件的功能行为,而行为附件中没有表达层次自动机的机制。针对这一问题,提出了AADL行为附件的层次化扩展——HBA。首先给出了HBA的形式语法,然后定义了HBA的操作语义。提出了HBA的元模型,并在OSATE环境中实现其文本和图形化编辑器。为了便于形式化验证,给出了HBA到时间自动机(TA)的转换规则,并基于模型检测工具UPPAAL进行形式化验证。最后,给出一个案例研究来验证所提方法的有效性。

摘要：作为异形截面桩,现浇X形桩承载特性主要受侧摩阻力特性的影响。采用有限元软件ABAQUS建立了三维X形桩和圆形桩单桩复合地基计算模型,对比分析了两种桩型的侧摩阻力分布特点和侧阻承载能力的差异。分别分析了X形桩侧摩阻力沿桩周和桩长的分布特性。结果表明:X形桩侧摩阻力和侧阻承载能力都优越于等截面积的圆形桩,在理想成桩条件下,X形桩侧摩阻力在0.9倍桩长深度处比圆形桩侧摩阻力有较大的提高。在水平方向,由于土拱效应,X形桩凸出段侧摩阻力为凹弧段的1.5～3倍。深度方面,X形桩凸出段侧摩阻力与凹弧段侧摩阻力比值沿深度逐渐增大。这些结论为X形桩的承载力设计计算提供了一定的理论依据。

摘要：目的研制一种合适的体外模型,用以观察病理血管条件(包括狭窄、血流紊乱、静脉瓣膜受损等)下血小板在血管壁的黏附功能。方法本研究设计了一种改良的平板流动小室装置,以不同剪切力、不同血管管腔直径对生理及病理状态下血小板的黏附进行了观测,同时对流经小室但未黏附的血小板进行聚集功能检测。结果带有荧光标记血小板的外周血以正常静脉流速流过胶原包被的流动小室,约5~8 min可观察到血小板呈片状黏附于管壁,最大血小板覆盖面积约60%;使用针对血小板黏附功能的抑制剂SZ-2能显著抑制血小板的黏附。同样的血小板在局部狭窄管腔和存在血管分支的管腔中黏附面积增大;流经局部狭窄管腔的血小板聚集率明显高于流经正常管腔的血小板。结论改良型平板流动小室能较好地模拟生理和血管病理条件下的血流状态,对于检测血小板功能、监测抗血栓药物疗效有较高的应用价值。

摘要：针对食品品质快速检测的需求和人工嗅觉技术存在的检测范围窄、受环境湿度影响大等缺陷,根据金属卟啉化合物与有机小分子气体反应后发生颜色变化的原理,筛选二十多种对食品常见气味成分响应的金属卟啉制成可视传感器阵列。以食品腐败的常见特征气体为研究对象,对传感器阵列的选择性、检测范围、水蒸气对传感器的影响等特性进行初步研究。试验结果表明,设计的可视传感器阵列具有良好的选择性、灵敏性、重现性和稳定性,且受环境湿度影响不大,在食品品质的快速检测方面有广泛的应用前景。

摘要：SRAP与TRAP是最近发展的新型分子标记系统,具有简单、高效、高共显性、重复性、易测序等优点,尤其是可检测基因的可译框(ORFs)区域。本文对分别在芸薹属作物与向日葵中开发的SRAP、TRAP标记系统的基本原理与分析程序进行介绍。引物设计是SRAP与TRAP分析的关键,目前已开发出多个SRAP正、反向引物;与SRAP标记技术无须任何序列信息不同,TRAP技术需要基于已知cDNA或EST序列信息设计固定引物才可进行PCR扩增;二者PCR条件采用复性变温法,前5个循环复性温度为35℃,后30～35个循环为50℃;扩增产物可在聚丙烯酰胺或琼脂糖凝胶上电泳,同位素或银染、EB检测。目前这两种标记系统已开始在多种作物的种质资源鉴定评价、遗传图谱构建(包括转录图谱)、重要性状标记乃至基因分离克隆等方面成功应用。

摘要：车辆路径规划与决策算法是无人驾驶汽车的重要研究方向之一。现有的路径规划与路径跟踪决策算法中规划层与决策层存在时滞现象,往往会引起检测信息与真实行驶环境信息的偏差,使得规划的局部路径不能反映当前真实状态,是无人驾驶汽车安全行驶的不稳定因素。本文综合考虑了环境交通参与者与车辆自身运动学特征,建立了横纵向安全模型,对车辆目前行驶环境的风险特征进行了综合评估。在行驶环境特征与车辆动力学特征的基础上对传统人工势场法进行了改进,设计了基于虚拟力的局部路径规划与控制决策一体化算法,提升了算法在复杂动态环境下控制的可靠性。最后,利用Carsim/Simulink建立了联合仿真环境,分别对传统路径规划算法、路径跟踪算法与本文提出的路径决策规划一体化算法在典型工况下进行仿真。仿真结果表明,该算法能减小路径规划决策环节的时滞影响,为复杂动态环境下的无人驾驶车辆提供更加合理的控制方法。

摘要：针对无线传感器网络节点,首先从硬件上设计了一个无线传感器节点硬件平台,采用MSP430F5438A和915 MHz射频相结合的方案,具有比一般节点更强的处理性能和更远的传输距离。软件方面,以Tiny OS作为嵌入式操作系统,针对该节点平台进行移植,降低了节点应用开发难度,且具有很高的代码移植性。最后,通过组网实验和与Telos B节点、Mica Z节点的性能对比测试,验证了该节点平台的有效性和可靠性。

摘要：航空发动机碰摩故障是一类常见的发动机气路故障,通过研究航空发动机压气机叶片-机匣碰摩故障特点、故障产物性质、静电感应原理和碰摩颗粒荷电机理,提出了一种基于静电感应技术在线监测航空发动机碰摩故障的方法。在航空发动机碰摩故障监测原理的基础上,自行设计制造了航空发动机压气机碰摩故障模拟实验平台并开展了航空发动机压气机碰摩故障模拟实验研究。利用该平台验证了静电感应技术监测碰摩故障的可行性,通过提取模拟故障静电信号的时域、频域特征,揭示了碰摩故障静电信号特征。研究表明电压信号均方根值及碰摩频率频谱幅值、电荷信号活动率水平及事件率可以作为诊断碰摩故障的特征参数。

摘要：设计了一种基于压缩感知(compressive sensing,CS)技术的双向中继信道(two-way relay channels,TWRC)估计方法,并具体采用正交匹配追踪算法(orthogonal matching pursuit,OMP)对OFDM系统下的信道脉冲响应进行估计。双向中继信道往往呈现出稀疏多径结构,这种结构会随着信号空间维数的增大而越加明显。传统的线性估计方法没有考虑到TWRC的潜在稀疏性,因而导致了对关键通信资源的过度使用。而基于CS的TWRC估计方法能够很好地利用这种传输信道的稀疏多径结构,与传统线性估计方法相比,在获得同样估计性能的前提下,需要的训练序列长度大大减少,有效地提高了频谱、能量等资源利用率。同时,所采用的OMP算法的时间复杂度主要依赖于信道稀疏度,因此计算效率往往比传统的方法高。仿真也证实了基于CS的TWRC估计算法的优越性。

摘要：苏南地区作为我国东部沿海城乡发展的典型,在区域经济繁荣发展的同时遗留了大量碎片化、低效能的乡村工业用地,亟待探索甄别乡村低效工业用地、推进减量化的有效策略途径。文章基于空间绩效视角,在辨析工业用地绩效评价和减量化相关研究基础上,构建了微观宗地层面的绩效评价指标体系,并以长三角生态绿色一体化发展示范区吴江区为典型案例展开实证研究,解析乡村低效工业用地机理和绩效关联。文章提出构建绩效主导、产业治理、空间管控、权益保障“四位一体”的苏南乡村工业用地减量化策略框架,可助推我国乡村工业减量化转型和振兴政策制定。