复杂电力系统次同步谐振的选择模式分析法

文章首次提出了分析电力系统次同步谐振的选择模式分析方法，与全特征值分析法相比，该方法大大降低了计算量及内存需求，从而解决了考虑机组轴系间相互影响时多机系统次同步谐振分析问题。     

集结降阶方法及其在系统设计中的应用

本文提出能保证精确集结简化线性连续、离散系统模型的一种简便方法,而且被应用于系统简化设计,从而简化了控制器和状态观测器结构,而且减少了系统设计的计算量。     

L—fuzzy拓扑——开性度

Ｈａｚｒａ等引入了ｆｕｚｚｙ集的开性度概念，从而给出了ｆｕｚｚｙ拓扑的一个新的定义，本将这一工作推广到Ｌ－ｆｕｚｚｙ拓扑上，拓宽了其研究范围，此外，还讨论了Ｌ－ｆｕｚｚｙ拓扑空间之间连续序同态及其某些弱形式的特点和性质。     

基于TLA的Kerberos协议符号化与检测

Leslie Lamport提出的一种新逻辑:行为时序逻辑TLA(Temporal Logic of Actions),它能在一种语言中同时表达模型程序与逻辑规则。AVISPA是基于行为时序逻辑的用HLPSL语言编程的协议安全检测工具。文中提出对Kerberos协议角色化,然后用AVISPA工具对HLPSL编码进行检测,结果表明用基于TLA的检测工具是宜于使用且有效的。     

建筑物冷热电联动智能控制技术应用

将建筑物集中供应的卫生热水需要的热能与中央空调制冷过程中排放的冷却水热能、直燃机烟气排放的热能联动、沟通供热与放热这两个价值链、形成建筑物内的热能循环.将现代控制技术应用于传统的高能耗运行系统,通过对传统的能耗运行系统进行优化控制,实现热能循环利用、提高能源使用效率,达到减少排放、节约能源的目的.     

以太帧的捕获、解析与应用

首先介绍WinPcap函数库工作机制及WinPcap内核层的体系结构,通过对以太帧数据包的捕获与分析,能够在以太网内截获一些敏锐信息如口令等,并编程实现了以太帧数据包的解析结果。     

冷库的预测智能控制

本文基于切比雪夫正交多项式数值逼近方法,提出预测智能控制算法。该方法对于目前广泛采用电磁阀的大中型冷库控制具有重要的价值,并容易推广到其它行业类似系统。     

大跨度部分斜拉桥最大单悬臂阶段几何非线性影响分析

针对部分斜拉桥的几何非线性因素对桥梁结构的影响进行分析研究.首先介绍了斜拉桥几何非线性分析的基本理论,并以长山大桥为例,用MIDAS软件建立有限元计算模型,考虑斜拉索垂度效应、P-delta效应、大变形效应等因素对该桥进行受力分析.结果表明,几何非线性对结构变形产生较大影响,在施工时应加以重视.