构筑与新农村和谐发展相适应的消防安全体系的思考

就农村消防安全工作的现状、问题情况作出基本分析，对构筑与新农村和谐发展相适应的消防安全体系提出具体的基本思路和工作设想。     

油品蒸发损耗的分析

在石油化工生产的各个环节都存在着油品的损耗,这种损耗不仅会造成资源的浪费,而且还会对环境造成污染。系统分析了油品蒸发损耗的不同类型,影响蒸发损耗的因素,并且针对损耗成因采取有效的措施降低蒸发损耗,提高经济效益同时减少环境污染。     

提高化工厂供电系统功率因数的途径探讨

针对工厂供电系统因功率因数低造成电能损耗多的问题，分析了装置功率因素过低的原因和提高功率因数的原理，提出提高系统自然功率因数和采用无功补偿装置的途径来提高电能质量，并分析了提高功率因数的优点，认为提高电力设备的功率因数，实现供电系统的高效节能运行，可提高综合生产效率和经济性。     

乏油工况下圆柱滚子线接触弹流润滑分析

建立了圆柱滚子在乏油工况下的线接触弹流润滑模型，并运用多重网格法计算得到线接触弹流润滑的压力和膜厚分布，研究乏油工况下供油膜厚、黏度等参数变化对弹流润滑特性的影响。模拟结果表明：增加供油膜厚，弹流润滑的膜厚增大且伴有颈缩现象，润滑压力在接触区近似为Hertz分布；黏度对压力影响较小，但对油膜厚度影响较大，随着黏度增加，油膜厚度减小；随着乏油情况的改善，接触区润滑膜厚增大，压力出现二次峰值，但供油量达到一定程度后润滑效果不再增强。     

Streett自动机确定化工具

自动机的确定化是将非确定性自动机转换为接收相同语言的确定性自动机,是自动机理论的基本问题之一.ω自动机的确定化是诸多逻辑,如SnS, CTL*,μ演算等,判定过程的基础,同时也是解决无限博弈求解问题的关键,因此对ω自动机确定化的研究具有重要意义.主要关注一类ω自动机——Streett自动机的确定化.非确定性Streett自动机可以转换为等价的确定性Rabin或Parity自动机,在前期工作中已经分别得到了状态复杂度最优以及渐进最优算法,为了验证提出的算法的实际效果,也为了形象地展示确定化过程,开发一款支持Streett自动机确定化的工具是必要的.首先介绍4种不同的Streett确定化结构:μ-Safra tree和H-Safra tree (最优)将Streett确定化为Rabin自动机, compact Streett Safra tree和LIR-H-Safra tree (渐进最优)将Streett确定化为Parity自动机;然后,根据Streett确定化算法,基于开源工具GOAL (graphical tool for omega-automata and logics),实现...     

Büchi自动机确定化分析工具

无限字自动机的确定化是理论计算机研究重要的一部分,在形式化验证,时序逻辑,模型检测等方面有重要应用.自Büchi自动机提出半个世纪以来,其自动机的确定化算法始终是其中的基础.有别于当初只是在理论上对其大小上下界的探索,利用日新月异的高性能计算机技术不失为一种有效的辅助手段.为了深入研究非确定性Büchi自动机确定化算法的实现过程,我们希望重点研究确定化过程中的索引能否继续被优化的问题,实现了确定化研究工具NB2DR.可以对非确定性Büchi自动机进行高效的确定化,并通过工具提供的分析其确定化过程来达到对其确定化算法改进的目的.通过对生成的确定性无限字自动机的索引的深入分析来探索相关索引的理论.该工具还实现了可以根据需要的Büchi自动机的大小与字母表参数,生成确定化的Rabin自动机族,亦可以反向根据需要的指定索引的大小来生成全部Büchi自动机族,测试生成无限字自动机的等价性等功能.     

基于误差分治的神经网络验证

随着神经网络技术的快速发展,其在自动驾驶、智能制造、医疗诊断等安全攸关领域得到了广泛应用,神经网络的可信保障变得至关重要.然而,由于神经网络具有脆弱性,轻微的扰动经常会导致错误的结果,因此采用形式化验证的手段来保障神经网络安全可信是非常重要的.目前神经网络的验证方法主要关注分析的精度,而易忽略运行效率.在验证一些复杂网络的安全性质时,较大规模的状态空间可能会导致验证方法不可行或者无法求解等问题.为了减少神经网络的状态空间,提高验证效率,提出一种基于过近似误差分治的神经网络形式化验证方法.该方法利用可达性分析技术计算非线性节点的上下界,并采用一种改进的符号线性松弛方法减少了非线性节点边界计算过程中的过近似误差.通过计算节点过近似误差的直接和间接影响,将节点的约束进行细化,从而将原始验证问题划分为一组子问题,其混合整数规划(MILP)公式具有较少的约束数量.所提方法已实现为工具NNVerifier,并通过实验在经典的3个数据集上训练的4个基于ReLU的全连接基准网络进行性质验证和评估.实验结果表明, NNVerifier的验证效率比现有的完备验证技术提高了37.18%.     

县级供电企业“三集五大”信息化建设发展探讨

就国网公司"三集五大"信息工程信息化建设对县级供电企业数据集中模式下的应用体系带来的各种影响进行分析评估,对开创规范与灵活相结合的信息化发展机制进行了探讨。充分认识到信息化发展的规律,把握信息化发展的机遇,充分重视数据的管理,树立规范意识、服务意识、发展意识,摸索出一套有序灵活的信息化发展模式,为构建现代化的营销管理体系提供强大的基础性支撑。     

电气专业创新型人才培养模式构建

随着电气市场的不断发展,电气类产品更新换代速度快,生产周期也大为缩短,面对如此快节奏的环境,如何培养出适应当前时代发展的创新型人才是电气专业所面临的问题。在我国的各个高等院校的人才培养中,多数以讲授、灌输知识的方式为主,在学生创新能力以及实践能力的培养上还比较欠缺[1]。本文针对电气专业创新型人才培养模式的构建展开分析,并提出相关建议。     

C/C复合材料在原子氧辐照下的结构性能演变

通过分析失重率、显微形貌变化讨论了原子氧辐照对C/C复合材料以及SiC基体改性C/C复合材料(C/C-SiC)的损伤机制; 并通过热膨胀系数(CTE)、热扩散率(TD)以及弯曲强度等性能的变化, 进一步讨论了原子氧辐照损伤对材料热物理及力学性能影响。结果表明, C/C复合材料受原子氧辐照损伤是物理化学综合作用, 属于冲击诱发-增强表面化学刻蚀; SiC组元表现出良好的抗原子氧侵蚀性能, 阻碍了原子氧向材料内部侵蚀, 但是SiC组元在更长时间辐照后出现机械破损; C/C复合材料在原子氧辐照下失重率呈线性增加, 而C/C-SiC复合材料失重率小于C/C复合材料且增长幅度越来越小; C/C复合材料和C/C-SiC复合材料的整体结构性能在辐照损伤后发生了一定变化。