二元关系的性质测试及其复杂性分析

本文介绍了性质测试的基本原理,分析了用性质测试方法解决参数化问题的可行性,并将同构性质进行了参数化。研究了二元关系的性质测试以及参数化框架同构性质的测试问题,对固定的距离参数,证明了测试复杂性低于标准判定程序的复杂性。     

声屏障在工业企业噪声污染控制上的应用

工厂在日常的生产过程中会产生一定的声音,这些声音会对人们的生活健康产生一定的影响,我们将这些人们日常生活中所不需要的声音统称为噪声。噪声根据声音的产生以及来源可以分为很多种类,由工厂的机器设备和工厂内部运作所产生的噪声就是工业噪声。目前来说很多工厂的噪声都很严重,而且声音来源和特点都各不相同。工业噪声主要来源于下料工段、锻造工段、机加工车间以及材料装卸等生产活动,这些声源的强弱程度各不相同,但是都不同程度的对厂界噪声有着一定的影响。本文介绍了各种降低厂界噪声的有效防治措施,分析了声屏障的隔声原理和材料选择方法。并结合工业企业实例,得出声屏障在降低工业企业噪声过程中具有良好的实际效果。     

二级水解酸化-SBR工艺去除制药废水CODCr的试验

维生素B1制药废水CODCr的浓度高达4 000mg/L以上,且可生化性较差,BOD/CODCr仅为0.17左右.笔者分析了采用一级水解酸化-SBR法和二级水解酸化-SBR法处理高浓度、难降解的维生素B1制药废水的试验.试验结果显示：采用两级水解酸化-SBR法可在保证处理效果的前提下,大大降低水力停留时间,提高处理效率.     

BAN逻辑的可靠性分析与改进

BAN逻辑的推理过程中可能引入错误的推理条件,导致不安全的协议被验证为安全的。为解决该问题,对消息的形式化描述方式进行改进,在消息含义推理规则中加上一个隐含但不能被忽略的条件,以增强验证的可靠性,通过对发送和推理的消息单元进行限定,使消息新鲜性判定规则适用于更多类型的协议安全性验证。     

基于3D-DCT和SVD的鲁棒彩色图像水印算法

在数字图像水印领域,水印算法主要集中于灰度图像,且提出的大部分彩色图像水印算法往往仅在亮度分量或在彩色图像的每一通道中嵌入水印,未能充分利用彩色图像的冗余空间,影响了水印的透明性和鲁棒性。针对此问题,提出了一种新颖的基于三维离散余弦变换和奇异值分解的彩色图像水印算法。算法先对水印图像进行预处理和对彩色图像进行互不重叠的分块;其次对每一分块进行三维离散余弦变换;最后选择对三维离散余弦变换系数的第一分量进行奇异值分解。嵌入水印时,对三维离散余弦变换系数第一分量的最大奇异值和第二分量分别采用量化和关系的嵌入方法嵌入水印。提取水印时,分别采用量化和关系提取算法提取水印并进行比较,选取相似值高的水印图像作为最终提取的水印。实验结果表明,提出的算法具有较好透明性的同时,具有抵抗常规信号处理和模糊、扭曲及锐化等攻击的能力。     

电力市场环境下AGC服务考核和结算

为促进AGC服务考核和结算业务的发展,结合重庆电网AGC服务管理实际,提出了基于统计学相似系数法与层次分析法AHP的AGC服务实际调节效能考核和结算方法.该方法利用统计学相似系数法得出AGC服务各性能考核结果,根据各性能对系统贡献大小用AHP把它们组合起来,作为对AGC服务考核的依据,然后根据考核结果对AGC服务进行结算;最后,通过算例分析,说明该方法不仅能够体现AGC服务性能的差异,客观反映其对系统的实际贡献,同时还能为电力市场运营提供丰富的经济学信号.     

构建市场经济条件下的企业财务运行机制

随着商品经济的发展、改革开放的深入和社会主义市场经济体制的建立,现代企业管理应建立以财务管理为中心,财务管理又应以资金管理和成本管理为重点的管理机制,建立这种“一中心、两重点”为特点的企业财务运行机制,能够适应市场经济的发展,这必然有助于提高我国企业的经济效益。大力推动我国国有企业的改革,本文就此谈些认识。     

OWL-S过程模型的形式化描述与相容性分析

构建组合服务的形式化模型是对其进行验证的前提与基础,然而缺乏统一的构建框架使得建模过程变得难以把握且无法实现自动化。通过对确定型有限自动机的扩展,建立了用于描述OWL-S过程模型的有限迁移系统——服务过程自动机,为组合服务的形式化建模提供了统一框架和自动化基础。同时,通过分析服务过程自动机的可接受位置及其在组合过程中可能产生的约束,将相容性划分为三个等级,从而能够在不同强度的可靠性要求下进行组合服务的验证工作。     

互斥协议的安全性分析

安全性和活性是两大基本的系统属性,对于指导系统的设计与验证具有重要意义。通过对它们原始定义的形式化梳理,发现其缺乏对状态序列的具体约束。针对这一问题,使用对系统动作刻画更完善的行为时序逻辑进行了重定义,加入了初始状态和转移条件的约束。以此为基础,对互斥这一并发系统的典型属性进行了形式化的分析,由此说明如何判断一个属性是否满足安全性或活性的定义。该技术为实现系统性质的自动推理与验证提供了形式化基础。     

基于性价比的AGC服务优化方法

为促进AGC服务交易业务的发展,结合某电网AGC服务管理实际,分别对电量、AGC服务优先以及两者协调优化3种模式下的系统总费用情况进行了研究。在对AGC服务进行调配时以性价比为依据,把AGC服务的上下调节分开,基于层次分析法AHP综合考虑AGC服务调节性能、容量价格与电量价格及其在电网中的位置等因素,确保了方法的效能。算例表明,采用电量和AGC服务两者协调优化模式,不但能保证电力系统的安全性,而且能提高电力系统运行的经济性,较之单纯以电量或AGC服务优先更具优越性。