管窥充分条件假言命题

数理逻辑干扰了传统逻辑,传统逻辑中的充分条件假言命题受此影响也发生了变化,特别是真值表的引入,改变了充分条件假言命题的真假的判断标准,还影响到它的定义。而数理逻辑中的充分条件假言命题实际上是实质蕴涵命题,而只有到了制约逻辑,充分条件假言命题才得以刻画清楚。     

动态载荷盲源识别系统设计及其LabVIEW实现

盲源分离可以从混叠的系统响应中识别出激励源信号的特征。针对结构参数未知的系统,结合盲源分离算法和模态分析法,提出一种基于模态参数盲辨识的载荷识别方法,并对简支梁系统进行实验验证。首先采集简支梁系统的冲击响应信号,利用盲辨识算法得到其有效模态参数,构建系统的模态模型;然后利用模态分析法识别其动态载荷。实验结果说明了该方法的实用性和正确性。     

基于态势感知的变电站站用电节能关键技术研究

无人值守的变电站站用电消耗巨大,亟待充分挖掘节能潜力。现有的相关研究工作主要考虑站用电负荷的“静特性”,即从设备性能本身入手研究其节能技术,或通过一定历史数据统计分析用户的用电习惯,生成场景化的节能运行策略。为此,引入了态势感知与态势利导的理念,基于反馈式动态控制逻辑,提出了完整的变电站站用电节能框架,定义了各层次的具体内涵,以此作为站用电节能优化研究的一般思路。针对变电站用电的实际情形,针对时间型设备及空调负荷设计了节能策略,并以某变电站为例进行了实地验证。该变电站监控的时间型设备年节能潜力高达19105.74 kWh,空调在冬季每月节能潜力约为1070.79 kWh。     

变频过热度控制与过冷度控制方案分析比较

本文分别说明变频空调过冷度控制方案和过热度控制方案,分析过冷度控制方案和过热度控制方案的特性及优缺点,并对两种方案进行分析比较。     

软件月月评

继Windows XP发布之后，传说中代号为“Longhorn”的新视窗操作系统渐渐浮出水面。随着一个又一个测试版的泄漏或是公开，越来越多的人在第一时间领略到Longhorn的魅力。     

图像管理器中的免费奇兵——探秘Photoshop Album 2．0

如果你的电脑中有众多大大小小．一眼望不到边的图像文件．用Windows的资源管理器肯定难以管理ACDSee60已经收费了．那么为什么不考虑Photoshop Aib4arn 2.0呢?这款由Adobe公司稚出的免费图像管理器，正带着更强大的特性和更方便的操作向我们走来。     

企业电网的设计精髓

本文阐述企业电网设计中保证供电连续性和自动化控制等一些问题。     

CCPP与全烧高炉煤气发电技术综合对比分析

针对钢铁企业高炉煤气利用现状,通过综合对比煤气-蒸汽联合循环发电技术与全烧高炉煤气发电技术,分析各自的优势与缺点。为钢铁企业选择利用高炉煤气的发电技术提供参考,为钢铁企业节能减排做出贡献,同时带来可观的经济效益。