早产儿NRDS不良结局的危险因素及列线图模型构建

目的通过对早产儿发生新生儿呼吸窘迫综合征(neonatal respiratory distress syndrome,NRDS)的不良结局进行危险因素的识别并构建列线图模型,为减少早产儿NRDS发生不良结局提供理论依据。方法对453例早产儿NRDS患儿进行分析,分为结局不良组和结局良好组,采用单因素和多因素Logistic回归分析并构建列线图模型。结果单因素分析中早产类别、出生体重、胎龄与体重关系、肺动脉高压、NEC/消化道出血、败血症、肺出血、乳酸脱氢酶、pH、剖宫产、瘢痕子宫、通气方式、用肺表面活性物质(PS)次数、无创通气天数、有创通气天数、白蛋白使用差异性具有统计学意义(P<0.05);多因素Logistic回归分析显示早产类别、胎龄与体重关系、肺动脉高压、NEC/消化道出血、肺出血、乳酸脱氢酶和无创通气天数为患儿发生不良结局的影响因素,建立患儿发生结局不良的风险预测列线图模型;采用ROC曲线和校准曲线评估列线图模型对患儿发生不良结局的预测价值和效能。结论极早/早期早产儿、小于胎龄儿、肺动脉高压、NEC/消化道出血、肺出血、乳酸脱氢酶增高是早产儿NRDS预后不良的危险因素,根据风险列线图可以预测早产儿NRDS发生不良结局的风险,提前进行干预,减少不良结局的发生率。

基于时间自动机的列控系统等级转换建模与验证

随着列控系统的发展,我国现有铁路线路主要应用有CTCS-3级和CTCS-2级两种列控系统。等级转换是在列车运行控制过程中起到重要作用,其功能的正确性直接关系到列控系统的安全性。本文采用时间自动机建模方法,依据CTCS-3级列控系统总体基础方案的需求规范,对等级转换场景进行了功能性及实时性的需求分析,描述CTCS-3级和CTCS-2级列控系统转换过程中的功能特性和时间约束,对等级转换场景进行建模仿真,并通过形式化验证的方式检验模型的正确性。

考虑随机冲击与冗余的列控车载设备可靠性模型与预防性维修策略

列控系统的安全苛求对车载设备的可靠性提出了更高的需求,有效的可靠性模型与合理的维修策略对预防潜在故障、提高设备可靠性具有重要意义。针对现有车载设备可靠性建模和维修策略考虑因素不全面的问题,提出了一种考虑随机冲击与冗余的可靠性模型构建方法与一种不完美维修条件下的预防性维修模型。首先,考虑自然性能退化和外界随机冲击,针对车载设备及其冗余分别建立不同的性能退化模型并计算相应的可靠度函数;其次,利用Copula函数求解联合分布函数作为整体可靠度函数,在可靠度阈值约束下,通过单个预防性维修周期内的可靠度函数求解预防性维修间隔,同时考虑不完美维修对于维修策略的影响,以可靠度阈值和预防性维修次数作为决策准则,构建车载设备全生命周期内的维护费用率模型;最后,以列车自动防护控制单元(Automatic Train Protection Control Unit,ATP-CU)为例进行数值仿真,验证所提模型的有效性。结果表明:提出的基于Copula函数求解车载设备及其冗余的可靠性建模方法相比传统的独立可靠性分析方法能够更好地把握其性能的演化情况;在仿真环境下,当可靠度阈值为0.85、预防性维修次数为7次时,ATP-CU及其冗余全生命周期内的最小维护成本率为21.47元·d-1。

CTCS-N等级转换场景形式化建模与验证

新型列车控制系统的车载设备承担更多地面设备的功能,其功能测试主要是以现场测试为主,费时费力,构建满足系统功能与性能需求的模型有助于保证列车在线路上安全、高效地运行,因此针对新型列控系统提出一种基于时间自动机的形式化建模与验证的方法。首先,选取等级转换场景为主要建模场景,提取规范中的功能与性能需求,梳理信息交互图,基于UPPAAL建立车载设备、应答器、临时限速服务器、无线闭塞中心的时间自动机模型;然后,使用模拟器进行模型的仿真,生成对应的消息顺序图;最后,以自动机语言为基础,验证正常模式和故障模式下车载设备转换是否满足要求。验证结果表明:所建立的模型满足等级转换场景的需求,其功能符合对应的技术规范,证明了该形式化建模的可行性,为新型列控系统测试、其他场景或功能的建模与验证提供了参考。

半模正合列

在陈培慈、周媛兰文章中半模正合列的概念的基础上,定义了半模的短正合列,并把环上模的正合列的一些性质推广到半模范畴中,得到了半模正合列上的"五引理".

外腔锁相二极管激光列阵的超模

利用耦合理论推导了通过外腔反馈实现锁相运行的激光二极管列阵所满足的本征值方程。在忽略非相邻单元间耦合的串联运行方式下,解析求解了包括端面反射的列阵方程的本征值。求出了各阶超模的近场分布,并得到了考虑单个发光单元影响时的远场分布,具体为:当列阵运行于基超模时,近场各个单元间的光场同相,在远场中心位置出现光强主极大;而在其它高阶模式,近场各个单元间光场不同相,远场光强主极大出现在中心位置两侧;远场总体受到单个发光单元近场分布函数的调制。

CTCS-3级列控系统规范的建模与形式化验证方法研究

CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。

外腔锁相二极管激光列阵超模的阈值分析

利用耦合矩阵本征值求得了外腔锁相二极管激光列阵的各阶超模所应满足的阈值条件 ,研究了激光器前端面剩余反射和外腔长度对各阶超模阈值增益的影响。在无剩余反射的理想情况下 ,阈值增益曲线随外腔长度变化缓慢 ,从而可以通过选择外腔长度使DLA稳定运行在最高阶或最低阶超模 ;在有剩余反射时 。

高速铁路列控中心软件安全性需求形式化建模

列控中心的安全性直接影响高速铁路的运行安全,为实现对其安全性需求更本质的形式化定义,提出1种基于安全行为模型的建模方法。根据其安全性需求的特征,安全行为模型定义安全因子以此描述系统状态、系统行为与系统风险之间的度量关系,采用安全约束规则对软件的安全约束行为、安全响应行为及安全失效行为进行描述。通过在我国高速铁路列控中心安全性测试与验证中的应用,说明了该方法的有效性。

基于多分辨率建模方法的CTCS-3级列控系统仿真技术

基于多分辨率建模和高层体系结构,对CTCS-3级列控系统进行仿真研究。根据CTCS-3级列控系统的结构,选择无线闭塞中心(RBC)、列控中心(TCC)、应答器信息传输模块和车载安全计算机4个关键模块组成控车模型。采用多分辨率建模方法,根据信息交互细节层次的不同,将控车模型中的不同模块划分为低、中、高3种分辨率模块。应用HLA仿真技术,构建控车模型中联邦对象模型和成员之间的属性公布与订购关系,应用RTI软件实现控车模型的仿真过程。实现了如下仿真场景:控车模型联邦与RTI软件的连接与退出;不同分辨率情况下的RBC与TCC信息交互生成行车许可;车载安全计算机绘制计算目标距离曲线;列车行驶视图显示。仿真结果验证了多分辨率建模方法在CTCS-3级列控系统仿真中的可行性。

提高灰建模数据列光滑度的一种新方法

本文在对建模数据序列进行一定处理的基础上,提出了经函数cosx变换来提高数据光滑度的方法,理论上证明了这种变换可以有效地提高建模数据列的光滑度,其模型精度优于对数及幂函数变换所建模型的精度;并通过实例表明了该方法的有效性。

可消半模的正合列

设A和B是S-半模,f:A→B是半模同态.ΔA和Kf分别定义为ΔA={(a,b)∈A×A|a+m=b+m,存在m∈A}和Kf={(a,b)∈A×A|f(a)+m=f(b)+m,存在m∈B}.将Kf和ΔA同时缩小为所规定的Kerf和ΔA,重新给出了monic和epic不同的定义,从不同的角度对某类特殊的半模—可消半模的正合列进行了刻画.

弹性树脂与带模整体铸造支架修复牙列缺损的临床评价

目的 探讨采用弹性树脂解决整体铸造义齿因暴露金属卡环而影响美观问题的可行性。方法 选取 32例带有前牙缺失的KennedyⅡ ,Ⅲ类患者 ,同时制作传统的整铸支架义齿和弹性树脂与整铸支架的联合义齿 ,比较患者的主观感觉和咀嚼效率。结果 联合义齿更美观、舒适 ,咀嚼效率与传统整铸义齿差异无显著性 (P>0 0 5 )。结论 联合义齿综合了两者的优点 ,解决了传统义齿金属卡环影响美观的问题 ,值得临床推广。

适用于口腔修复学的模块化牙列有限元建模

通过扫描一个咬合关系和牙列生长较标准的标本 ,对 CT断层图像运用自编程序进行数据处理 ,并三维重建了颌骨及牙列模型 .以工程中的模块化方法为核心对实体模型切分模块 ,得到一套正常牙列的模块化模型库 ,在此基础上派生上下颌各牙的牙槽骨缺失和牙齿松动的模型库 ,以便对固定义齿修复和可摘局部义齿修复中基牙正常、基牙牙槽骨有不同吸收程度和基牙出现牙周不同程度松动的情况进行研究 .该模型可进行多种口腔医学有限元分析 ,重复利用率高 ,建模速度快 ,有利于修复设计方案的选取 。

半模的Z-同态与正合列

文章利用[1]中建立的半模monic和半模epic的方法,探讨了半模的Z-同态的某些性质;透过半模的Z-同态这个角度,得到了一类半模短正合列的一些刻画。

基于高基阵列乘法器的高速模乘单元设计与实现

蒙哥马利模乘算法是最适合硬件实现的模乘算法,被应用在RSA密码和ECC密码的协处理器设计中。目前性能最高的是高基蒙哥马利模乘算法,分析了高基蒙哥马利算法的实现,提出了一种新的基于高基阵列乘法器的Montgomery模乘高速硬件实现结构,基于这种结构位长为n的比特模乘仅需要约n/w+6个时钟周期,该结构设计的电路只与最小单元有关,在硬件实现时可以大大提高频率,并提高设计的性能,可以设计高速的RSA和椭圆曲线密码大规模集成电路。

微透镜列阵光刻工艺过程的模拟与分析

建立了连续深浮雕微透镜列阵光刻工艺的数学模型,通过计算机仿真实现了对工艺过程的模拟分析。为刻蚀过程中各参量的选取和刻蚀结果的分析提供了可靠的依据,对整个光刻工艺过程具有指导意义。

CTCS-3列控系统RBC切换的形式化建模、分析与验证

针对影响RBC切换质量的列车速度、RBC切换时间等诸因素,以及澄清对RBC交接协议安全性在认识上的一些误区,利用随机Petri网形式化描述工具,建立了CTCS-3列控系统RBC切换模型。通过理论分析和仿真实验,验证了不同速度条件下高速列车越区运行RBC交接协议A、B的可靠性、安全性和合理性。交接协议B作为协议A的冗余措施,由于考虑了RBC切换过程中通信中断时间,从RBC切换成功概率上讲,并不存在安全上的问题,但降低了RBC切换效率,对行车效率有所影响;列车速度进一步提高时,RBC切换的可靠性下降,可考虑适当增加RBC重叠覆盖区域、场强和列车间隔时间裕量。

垂直向列型彩色滤光膜硅覆液晶微显示器的三维光学建模

针对垂直向列型彩色滤光膜硅覆液晶微显示器件中的微型彩色像素建立了三维光学模型.首先,对彩色液晶器件的机电特性进行了分析;其次,利用扩展琼斯矩阵计算出器件的光反射率;最后,采用标准RGB协议将所研究的垂直向列型彩色滤光膜硅覆液晶微显示器件中各像素点的光反射特性还原成彩色图像.用上述过程所建立的三维光学模型进行了垂直向列型彩色滤光膜硅覆液晶微显示器件的光学特性研究,并与实验数据进行了比较.比较结果显示,模拟得到的垂直向列型彩色滤光膜硅覆液晶微显示器件的光学特性与实验结果非常符合.

带自同态的模的基座与Loewy列

该文定义并研究了带有一个自同态的模的基座与Ｌｏｅｗｙ列，推广了Ｊｏｈｎｓｏｎ引理及其它一些结论．