储运过程反应失控型火灾爆炸事故的预测与防范

储运化学活泼性物质时易发生反应失控型火灾爆炸事故,其危险性随着容器的增大和储运时间的增长而增加.介绍一种储运容器中反应失控火灾爆炸事故危险性预测的方法,预测结果与实际情况具有良好的一致性,并对预防事故的冷却方法进行了实验研究.     

Fe~(3+)与S~(2-)反应的研究

Fe3+ 与S2 - 反应是一个典型的竞争反应 ,反应的生成物与反应条件有着非常密切的关系。通过理论研究和实验验证 ,确认在酸性介质中反应的生成物为Fe3+ 和单质S↓ ;在碱性介质中反应的生成物为黑色Fe2 S3↓。     

Shor-Preskill方法不能直接证明B92量子密钥分配协议

密钥分配协议安全性的证明是确保密钥分配绝对安全的要求 ,经典密码方案的安全性大多难以证明 ,而利用量子力学的基本原理 ,可以证明量子密码方案是无条件安全的。介绍了Shor Preskill对BB84量子密钥分配协议无条件安全性的证明方法 ,归纳了其技巧和特点 ,揭示了对称化方法和量子纠缠提纯技术在该方法中的作用。证明了Shor Preskill方法不能直接用来证明B92协议的无条件安全性。提出了利用Shor Preskill方法间接证明B92的可能途径。     

单片机系统常用软硬件抗干扰措施

抗干扰性能是微机系统可靠性的重要指标,抗干扰设计是单片机系统研制中不容忽视的重要内容。单片机系统的可靠性由多种因素决定,从干扰的来源和途径,分析干扰对单片机主要硬件CPU、SFR、RAM、ROM及软件的影响,探索抗干扰的原理和设计方法。提出从电源、输入通道、印制板电路加强硬件抗干扰;通过开机自检、掉电保护、睡眠抗干扰及"看门狗"等技术,采用指令冗余和软件陷阱等软件措施,及时发现干扰导致的错误,使系统尽快恢复正常或及时报警,最大限度降低干扰对系统的影响,有效提高单片机系统在恶劣工况下运行的可靠性。     

LLP10B火控计算机故障检测分析仪设计

研究了LLP1 0B火控计算机故障分析仪的设计及实现 ;给出了该分析仪的系统组成和工作流程。     

溴酸盐体系中的化学波

本文对溴酸盐体系中的化学波进行了实验研究,得到了反应物的初始浓度与波速的关系,随 ＫＢｒＯ３和 Ｈ２ＳＯ４初始浓度的增加,波速具有增加的趋势,而随 ＭＡ的初始浓度的增加而变化不大。并给出了其反应机理的分析及数学模型。     

语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。     

论××电台的可靠性控制

运用可靠性的原理、方法和有关标准,对产品进行设计改进,对其生产、验收过程实行严格的控制,是提高已定型列装电子产品固有可靠性的一条重要途径.本文结合XX电台的控制实践对此进行了系统的论述.     

干式空芯限流电抗器的优化设计

干式空芯电抗器采用多个并联包封式结构形式,如何设计出合理的包封个数、包封尺寸、包封内导线层数以及如何选取导线线径便成了一个问题。利用优化设计得到的干式空芯限流电抗器结构合理、耗材最少,并就优化设计的具体问题进行了实际解决。     

研究生课表的计算机自动编排

针对研究生课程安排特点,提出并建立了一个研究生课程的计算机排课系统,同时讨论了此系统的数据结构和具体实现环境.通过建立排课的约束条件和排课相容判断准则,进一步阐述了研究生课表编排的计算机具体实现原则及其方法.