形式化开发非递归Koch曲线算法

形式化方法是构建可信软件的重要途径。Koch曲线是典型的分形图形。基于形式化方法PAR及循环不变式开发策略,开发了Koch曲线非递归算法,并对其进行了形式化的正确性证明。在得到求解Koch曲线算法的循环不变式的同时,直接得到易读、高效且可靠的非递归算法。对使用形式化方法及循环不变式开发策略开发分形程序非递归算法作了较深入的实践和探讨。     

污水处理厂自控系统的开放式曲线报表系统设计

文章以太湖新城污水处理厂为例介绍基于污水处理自控系统的开放式曲线报表系统设计。该系统基于传统污水处理自控控制系统并利用开放式数据库如MS SQL Server或My Sql作为数据存储平台,然后通过二次开发来避免自控组态软件自身集成的报表系统在功能上的一些缺陷,非常便捷地实现办公局域网内任意查看的功能。     

提高Bragg光栅解调系统精度的拟合算法

为了在自主研发设备的基础上,从软件算法上提高光纤光栅传感解调系统的精度,利用装有标准光纤光栅阵列的解调系统,提出一种动态曲线拟合方法。这一算法基于拉格朗日公式的,并选取3个点作近似的拉格朗日曲线拟合,其中一个点可根据实验数据人为设置及调整,从而得到精确的拟合曲线。传感光栅的反射或透射波长测量误差≤±7 pm,提高了光纤光栅传感解调系统的精度。     

高应变速率下45钢绝热剪切变形特征

基于退火、正火、调质三种不同热处理状态的45钢的帽型试样强迫剪切实验,在Hopkinson压杆的不同速率加载条件下,利用金相显微镜和扫描电镜测试方法研究了材料绝热剪切的变形特征和敏感性,分析了组织因素对绝热剪切的影响规律。结果表明,材料的组织不同,其绝热剪切变形的特征也不同。45钢正火态、调质态中均出现转变带,其余为形变带。随着加载速率和材料强度的提高,绝热剪切带由形变带变为转变带,剪切带宽度越窄,绝热剪切越敏感。     

模糊聚类方法在用户负荷曲线分析中的应用

采用基于负荷曲线进行用户分类的方法,运用数据挖掘技术中的模糊C均值聚类,将不同行业的用户混合在一起,利用聚类的观点将其分类,对各类负荷曲线进行分析和比较;将模糊C均值聚类算法应用在单个典型行业典型用户(主要是工业和三产的大用户)的分析中,可以发现不同季节、不同月份的负荷数据之间有一定的共性.     

500 kV南京三江口长江大跨越工程试桩数据分析

通过对试桩静载荷试验出现的Q- S 曲线局部陡降情况的分析, 说明选择试桩位置的土层条件应具备代表性, 土层差异可能导致桩承载力取值的偏差。在具体选择试桩地点时, 宜对各勘察孔按勘察报告推荐值进行试算后确定。对长细比较大的端承摩擦桩, 持力层的端承作用不宜按规范公式计算, 应根据具体的土层条件酌情考虑。对桩身较长或桩径较粗的桩, 在承载力取值时应考虑桩身自重的影响。     

频率响应分析法测试变压器绕组变形的影响因素分析

介绍频率响应分析法的原理和测试步骤,结合实例分析采用频率响应分析法测试变压器绕组变形过程中影响测试结果的几种典型因素,并提出有针对性的处理措施及测试中的注意事项。     

电磁铁的动作曲线在分析问题中的应用

介绍了高压断路器用电磁铁的动作特性,根据合格产品的电磁铁曲线可以比较定性的分析异常产品的原因．提出一点个人意见,以便同行在实际分析问题时可以借鉴。     

机组耗量特性的混合整数模型建立与分析

对机组耗量特性的建模是机组组合问题的一个重要组成部分.文中建立并分析了机组耗量特性的5种模型,并在IEEE RTS 96系统上,分别针对具有凸连续、非凸连续和非连续耗量特性曲线的机组,通过优化其在某日24时段的出力,比较各模型的求解效率,并根据各模型所引入变量数目对测试结果进行分析,从而为根据机组特性选择合适的模型以提高求解效率提供参考.结果表明:影响算法求解性能的主要因素是模型中整数变量的数目.对于凸连续耗量特性机组,尽量采用各区间出力叠加的建模方法,以避免引入整数变量;对于非凸和非连续耗量特性机组,引入辅助整数变量不可避免,此时则应采用连续变量较少的模型.     

220kV同塔双回双分裂导线防覆冰舞动的研究与设计

笔者从线路设计角度进一步定性分析了单(或双分裂)导线覆冰舞动机理,指出使用现有抑舞装置应注意的问题:单导线(地线)耐张线夹和悬垂线夹的固定导线(地线)结构使固定点附近的单导线(地线)扭转刚度很大,易形成偏心覆冰并诱发舞动,进一步扩散至档内中央;绞制的导线单丝沿线不连续覆冰使单丝应力分布不均,以致导线内部不稳借助风力发生...