CTCS-4无线通信故障恢复模型的形式化研究

对CTCS-4的无线通信系统的故障恢复模型进行了研究,使用Event-B对CTCS-4无线通信系统的故障恢复过程进行建模.通过证明义务对模型的逻辑正确性和完备性进行验证,证明其可以满足要求.     

船体外板多点数字化成形技术研究

船体外板曲面大都是由复杂的不可展空间曲面构成的,其弯曲成形目前仍靠手工完成,成为了船体建造数字化的瓶颈之一。为了实现船体外板的数字化加工,根据船体外板成形的技术要求,提出了将目前迅速发展的多点数字化成形技术应用于船体外板成形的技术方案,通过实验证明：多点成形技术可较好地完成船体外板的数字化成形,经过精度检验可以用于船体外板的成形加工。     

凸包内空间散乱点集Delaunay四面体角度剖分算法

提出空间散乱点集Delaunay四面体剖分的一种新算法,定义了一个新的Delaunay四面体判定标准即最大球缺角,并在Fortran平台上实现了这种算法,验证算法的准确性和高效性,对于解决空间De-launay四面体剖分来说是一个新的计算思路。将Delaunay四面体的判定改进为量化的判定,这样的判定方法相对以前的方法更容易、更快捷。     

点蚀损伤船体结构板的极限剪切屈曲强度研究

腐蚀损伤导致船体结构板的极限承载能力大幅度下降。文章采用腐蚀体积描述板的点蚀损伤程度,模拟船体结构板的点蚀损伤形态,在点蚀损伤板模型中变化板的厚度、点蚀数目、点蚀直径以及点蚀分布等要素,实施系列有限元数值模拟计算,在进行理论分析的基础上,采用统计学方法,建立了点蚀损伤板极限剪切屈曲强度的评估方法,得到了点蚀损伤板极限剪切屈曲强度的计算公式。从而确立了基于腐蚀体积的点蚀损伤船体结构板极限剪切屈曲强度的评价技术,可为在役海船点蚀损伤后的安全性评估提供有效的技术手段。     

关于加强义务消防队伍建设的几点思考

改革开放以来,随着城乡经济的不断发展,火灾危险日益突出,防火灭火任务日益严峻,而义务消防组织的作用也日益重要。笔者认为,建立与发展义务消防队伍已成为我国经济和社会发展的历史必然。同时,加强义务消防队伍建设,也是构建和谐社会的客观需要和基本要求,是政府履行社会管理和公共服务职能的重要内容,更是实现消防工作社会化的必然选择和市场经济条件下专群结合的具体体现。     

分泌表达NT4-AcSDKP的重组腺相关病毒对CCl_4致小鼠肝纤维化的保护

目的观察重组腺相关病毒rAAV/NT4-AcSDKP对四氯化碳(CCl4)诱导的小鼠肝纤维化的影响。方法 30只昆明雌性小鼠随机分为正常对照组、模型组和干预组,造模采用200mL/L CCl4花生油混合液腹腔注射致小鼠肝纤维化模型,共8周,干预组小鼠在加害4周后注射重组腺相关病毒。于8周实验结束时处理存活的全部小鼠,观察重组病毒对小鼠肝组织病理变化、肝功能生化指标以及肝纤维化指标等的影响,以及NT4-AcSDKP在肝组织中的表达变化。结果融合基因在干预组肝组织中表达并且重组腺相关病毒对CCl4引起的肝组织病理有明显改善;与模型组相比,干预组小鼠的肝纤维化指标透明质酸(HA)、层黏蛋白(LN)、Ⅲ型前胶原(PCⅢ)、Ⅳ型胶原(CⅣ)的P值分别为0.00、0.00、0.01、0.03,P<0.05,差异具有统计学意义;但是谷草转氨酶(AST)、谷丙转氨酶(ALT)、总胆红素(TBIL)、总蛋白(TP)、白蛋白(Alb)等肝功能生化指标的P值分别为0.89、0.38、0.58、0.32、0.32,均为P>0.05,差异无统计学意义。结论携带NT4-AcSDKP融合基因的重组腺相关病毒对CCl4引起的小鼠肝纤维化有一定的保护作用,与近期用商品化四肽保护CCl4诱导的小鼠肝纤维化作用保持一致。     

椒蒿对自身免疫性睾丸炎小鼠CD4+CD25+调节性T细胞的影响

目的 研究椒蒿挥发油对自身免疫性睾丸炎小鼠CD4+ CD25+调节性T细胞的影响.方法 雄性BALB/c小鼠80只,随机分为4组(生理盐水组、模型组、橄榄油组、椒蒿组),采用睾丸内注射冰醋酸的方法造模,各组都在手术前3天开始灌胃,手术后继续灌胃,共连续灌胃24 d(盐水组只灌胃,不手术).分别于术后3周、9周取外周血,通过流式细胞仪对CD4+ CD25+调节性T细胞进行检测.结果 术后3周,模型组、橄榄油组、椒蒿组小鼠外周血CD4+ CD25+调节性T细胞百分比均低于生理盐水组,差异有统计学意义(P＜0.05),而此3组之间差异无统计学意义(P＞0.05).术后9周模型组与橄榄油组小鼠外周血CD4+ CD25+调节性T细胞百分比低于生理盐水组,差异有统计学意义(P＜0.0S),椒蒿组与生理盐水组比较差异无统计学意义(P＞0.05).结论 椒蒿能使自身免疫性睾丸炎小鼠CD4+ CD25+调节性T细胞百分比提高,后者可发挥免疫调节作用.     

小波分析在GPS动态监测数据粗差探测中的应用

文章分析了GPS监测数据序列中粗差的不确定性,提出了采用小波分析检测成片粗差,并通过实例进行应用分析,在此基础上进而对原变形数据序列中包含大量粗差的情况进行探测。实例分析表明,合理选择小波函数进行分析可以准确探测出粗差所在位置．解决了传统方法每次只能探测单个粗差的不足。     

车坛动态

北汽布局华东投产SUV北汽集团与江苏省镇江政府在近日签署了战略合作框架协议.北汽集团华东基地正式落户镇江。项目一期预计投产SUV和MPV车型.二期计划引入中高端乘用车等项目。北汽集团公关总监郑刚先生表示:"集团非常重视镇江基地,未来会派驻技术、研发人员支持这个项目"。未来,北汽将持续向镇江基地投入1 50亿元,以逐步提升硬件、人员和技术层     

透明才能获得信任——感受东风标致的专业服务

透明才安心 刚开始与东风标致某4S店的售后服务经理王经理聊这次售后服务升级的内容．他就开始迫不及待地给我们展示他们前不久开始使用的售后管理系统。