基于形式化方法的航天器软件系统测试技术

随着航天技术的飞速发展，航天器软件系统复杂度正在逐渐上升，导致航天器系统面临的软件系统安全性、可靠性问题越来越突出，将直接影响到航天器软件系统安全性能。如何有效验证测试航天器软件系统的安全性、可靠性已经成为航天器测试技术领域中需要深入研究的重点问题。本文针对航天器软件系统安全需求，归纳列举各类基于严格数学思想的形式化测试验证技术和相关模型，此类技术能够用于复杂软件系统的测试验证工作，有效发现系统中存在各类安全问题和系统缺陷，提升软件系统产品的安全性和可靠性。     

选择性5-羟色胺再摄取抑制剂联合丙戊酸钠缓释剂治疗伴激越、焦虑抑郁症的临床观察

目的: 观察选择性5-羟色胺再摄取抑制剂(SSRI)联合应用丙戊酸钠缓释剂治疗伴有激越、焦虑症状抑郁症的疗效及安全性。方法: 80例符合抑郁症诊断标准同时伴有激越症状、焦虑症状患者随机分为研究组(在SSRI的基础上联合丙戊酸钠缓释剂)和对照组(仅仅使用SSRI),每组40例。分别于治疗前、治疗后1、2、4、8周使用汉密尔顿抑郁评定量表(HAMD)、汉密尔顿焦虑评定量表(HAMA)、杨氏躁狂量表(YMRS)、副反应量表(TESS)评价疗效和不良反应。结果: 研究组有2例失访脱落,治疗后1、2、4、8周的有效率和痊愈率分别是 28.9%(11/38)与 7.9%(3/38)、36.8%(14/38)与 13.2%(5/38)、50%(19/38)与 28.9%(11/38)、89.5%(34/38)与 52.6%(20/38)。对照组因副作用3例脱落、其中1例因转躁退出,治疗后1、2、4、8周的有效率和痊愈率分别是 21.6%(8/37)与 5.4%(2/37)、32.4%(12/37)与 8.1%(3/37)、43.2%(16/37)与 18.9%(7/37)、54.1%(20/37)与 32.4%(12/37)。两组治疗后1、2、4、8周末HAMD、HAMA、YMRS评分,与治疗前相比均有统计学差异(P<0.01)。对照组从治疗后第1周到第8周,各时点的3个量表评分均高于研究组,差异有统计学意义( P<0.05 或 0.01)。不良反应总体发生数两组间比较无统计学差异(P>0.05)。结论: 丙戊酸钠缓释剂联合SSRI治疗某些伴有激越、焦虑症状的抑郁症疗效优于单一使用SSRI,且安全性较高。     

一种变电站图纸智能管理系统研究与应用

变电站电力图纸数量繁多、新旧混杂、信息化程度低,传统的人工管理查阅模式,已不能满足企业数字化、智能化发展的需求。本文介绍了一种实用的变电站图纸智能管理系统,提出了一种图纸管理使用的新模式,该系统主要利用文字识别技术、检索技术进行开发,可实现图纸文件的自动命名、设置关键词、更新目录等功能,用检索的方式替代人工翻阅查找图纸的方式,具有管理规范、查找准确、使用方便等优点。     

燧石越敲打越闪光——“西汉已有植物纤维纸说”为何得不到世界公认?

公元105年造纸术发明后直到唐代的六百年间,蔡伦的历史功绩举世公认,无半点争议。唐宋以来,个别文人提出不同看法;五十年代后期迨今,又出现了一些持否定论者。古今二者的共同论点是:西汉已有植物纤维纸,蔡伦不是造纸术的发明人。然而,自古至今国内外大多数人则得出与此截然相反结论。那么,争论的原因到底在哪里?应如何进行分析和认识呢?     

天基信息支持导弹对海打击应用优化仿真分析

目前，海上远程精确打击主要依靠舰载预警机、无人机和微波超视距雷达等舰上自有手段为反舰导弹提供目标指示信息，存在探测距离有限、留空时间短、信息要素不完整等问题，在远海作战中不能为导弹提供持续、远距离目标指示信息，制约了导弹武器的作战效能。近年来，随着卫星遥感技术的快速发展，天基信息凭借其“站得高、看得远”的特点在支持导弹对海精确打击应用方面的能力逐步提升。通过分析构建影响天基信息支持导弹对海精确打击的关键影响因素模型，开展目标定位精度、时延等影响因素对导弹捕获概率仿真分析，仿真结果表明提高目标定位精度、缩短目标指示信息时延可有效提升天基信息支持导弹武器捕获目标概率，据此提出了天基信息支撑导弹对海远程精确打击在工程设计和应用方面的优化思路和建议，为天基信息支持导弹对海远程精确打击研究提供借鉴。     

齐拉西酮联合心境稳定剂治疗双相障碍躁狂发作和混合发作

目的: 探讨齐拉西酮合并碳酸锂或丙戊酸钠治疗躁狂发作和混合发作的疗效和安全性。方法: 对符合CCMD-3躁狂发作和混合发作诊断标准的68例研究对象随机分成两组,试验组应用齐拉西酮合并碳酸锂或丙戊酸钠,对照组单一使用碳酸锂或丙戊酸钠,治疗观察6周。采用杨氏躁狂量表(YMRS)评定疗效,以副反应量表(TESS)及实验室有关辅助检查评价安全性。结果: 两组在治疗前后症状均有显著降低(F=9.05,P<0.01;F=6.10,P<0.01)。 试验组在治疗第1周末的减分率比对照组显著,这种差异在1~6周持续存在,而且第6周结束后的临床痊愈率也显著高于对照组。试验组治疗1周末、治疗2周末、治疗4周末、治疗6周末YMRS分别是 21.4±8.4、14.6±5.5、8.9±3.3、6.5±3.4,对照组分别是 23.9±7.2、20.9±8.1、17.8±7.8、12.8±8.9,组间差异有统计学意义(P<0.01)。试验组的症状减分变化分别是 6.1±3.5、12.9±4.8、20.1±5.3、21.4±5.5,对照组分别是2.1±3.0,6.8±4.5、11.5±5.6、14.4±5.3,组间比较差异有统计学意义(P<0.01)。两组间有效率差异有统计学意义(68.5% vs48.5%, χ²=4.47,P<0.05)。两组间痊愈率差异具有统计学意义(54.3% vs18.2%,χ²=9.52,P<0.01)。但是两组间均没有严重的药物副作用,因无疗效和副作用导致的脱落率两组差异无统计学意义。结论: 齐拉西酮合并碳酸锂或丙戊酸钠治疗躁狂发作和混合发作双相障碍的疗效比较理想,比单一使用心境稳定剂可能更好。     

ZG42CrMo托轮的焊接工艺研究

通过分析ZG42CrMo托轮的焊接工艺,进行焊接工艺评定试验,选择合适的预热温度和焊接线能量,生产出合格的托轮。     

特大型空分装置保护性拆除及安装关键技术研究与应用

早期空分装置具有产能不足且能耗大的缺点,且目前国内外均无关于特大型空分装置利旧建造的系统研究,保护拆除过程中安全风险高、工期长、设备利旧率难以控制。上海二十冶建设有限公司针对这一难题,以"虚拟仿真"为切入点,攻克了特大型空分装置"保护拆除"和"安装调试"的技术瓶颈,形成了十余项关键核心技术,成功实现了特大型空分装置的安全、环保、高效、低耗利旧建造,具有良好的市场前景。     

基于SAML的单点登录安全模型探讨

文中首先分析了单点登录技术的基本概念、工作流程和应用优势,然后在此基础上又对SAML的组成结构、工作原理和本身特点进行了详细分析,最后比较了基于SAML的两种典型的单点登录安全模型的优缺点,并提出了一种改进的新型单点登录安全模型,简化了安全登录过程,增强了信任度,实现了更好的用户体验。     

探讨电网建设的前期工作策略

电网工程建设是一项涉及面广的系统工程,其前期工作会出现各种各样的问题。对电网建设施工外部环境的有效利用,将是促进电网建设健康良性发展、进一步提高电网建设管理水平的有效手段和途径,也是提高工程建设经济利润的保障。本文就施工过程中前期准备及管理工作和操作程序的内容和方法进行了论述。