K2,4,p的点可区别IE-全染色

该文利用色集合事先分配法、构造染色法、反证法讨论了完全三部图K_2,4,p的点可区别IE-全染色问题，确定了K_2,4,p的点可区别IE-全色数。     

煤矿局部通风机瓦斯监控系统研究

研究了煤矿局部通风机瓦斯监控系统,进行了瓦斯电锁闭、瓦斯检测控制、局部通风机智能调速部分以及系统硬件和软件设计,并在紫晟煤业进行了应用试验。研究表明,煤矿局部通风机瓦斯监控系统实现了瓦斯超限闭锁及报警、局部通风机供风量控制、系统故障报警与诊断等功能。     

基于Java平台实现安全行为模型验证

非信任代码的安全执行是移动代码安全的重要问题之一。携带模型代码方法同时从移动代码的生产者和使用者的角度考虑,为安全执行非信任代码提供了一个系统、全面且有效的解决方案。该方法主要包括安全策略的定义、安全行为模型的生成,以及其验证和安全策略的强制实施。针对已被广泛使用的Java平台,在深入分析其基于访问控制的安全体系结构的基础上,通过对Java核心类的修改和扩展,提出了一种能增加新的安全策略,以及实现MCC方法中安全行为模型验证的方法,为提高Java安全策略的描述能力,以及基于于Java平台实现MCC方法,确保更全面的安全机制提供了可行的途径。     

输电线路在线监测系统的设计与实现

阐述为提升极端环境下架空输电线路在线监测系统的监控精度和系统的预警能力，设立一种三层网络框架结构下的架空输电线路舞动在线监测系统，并融合遗传BP神经网络实现对导线舞动的预警。系统由舞动监测装置、通信主机系统和上位机系统3部分组成，采用ADIS16365惯性传感器采集数据，由ZigZee技术进行数据通信，并通过上位机内嵌遗传BP神经网络算法进行数据分析和舞动预警。算法以环境参数和实际线路舞动为输出组构成训练集，由遗传算法来实现对网络节点的优化。     

超临界循环流化床锅炉技术发展现状与展望

在开展超临界循环流化床锅炉发电的工程示范过程中,建立了整套的超临界循环流化床锅炉设计理论和关键技术体系,发明了系列的关键部件创新结构,研制了600 MW超临界循环流化床锅炉,研发了成套辅机、仿真、控制和安装调试技术,完成了世界首台600 MW超临界循环流化床示范工程的系统集成,创建了安全运行技术体系.进而研发推广了35...     

基于社交网络结构的节点影响力度量方法

度量社交网络节点影响力是社交网络结构分析的关键问题之一。目前研究社交网络节点影响力的方法主要有两大类：中心度方法和节点删除方法。前者主要通过度或最短路径等因素来判断节点的影响力，不考虑网络的连通性；后者通过节点删除后对网络结构的破坏程度来判断，计算复杂性很高，不适用于较大规模的社交网络。通过结合社交网络的局部连通度及节点间的最短路径，提出了连通中心度来度量社交网络中节点的影响力，并给出了连通中心度的计算方法和一些特殊网络中节点的连通中心度的值。最后，通过实验说明该指标能很好地度量社交网络中节点的影响力。     

钪型阴极表面微观发射结构的模拟计算

在阴极研究领域,钪型阴极因其大发射电流密度受到广泛关注,但其发射机制仍不明确。普遍认为表面发射层为BaxScyOz-W结构,但发射表面是动态变化的,很难确认其最佳表面发射结构。本文对钪型阴极表面BaxScyOz-W的理想发射结构进行了建模,并利用密度泛函方法对其功函数进行了计算。计算得到Ba-O-Sc-O-W表面结构的最小功函数为1.186eV。通过对计算结果的分析,讨论了不同表面原子结构对应的功函数变化。     

有源二阶锁相环路滤波器设计

为了改善锁相环频率合成器的性能,对有源二阶锁相环路滤波器的设计方法进行了总结与归纳.根据环路滤波器传递函数和单环锁相系统传输函数,通过工程算法计算环路滤波器各个参数,分析了不同环路带宽和杂散因素等对环路滤波器设计的影响.以单环锁相环为例,对有源二阶锁相环路滤波器进行了设计,运用ADS软件进行仿真,对结果加以对比分析,证明该环路滤波器能使锁相环频率合成器满足低杂散、低相噪、快速锁定的性能要求.     

多线程Java程序安全行为模型的静态检查方法

多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程程序,文中采用参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,给出了从多线程Java程序自动生成安全相关行为模型的方法,形式地描述了静态检查该模型是否满足安全策略的实现,并应用到携带模型代码方法的实现框架中.该方法为安全执行非信任多线程Java移动代码提供了有效支持.