基于人工智能的风机塔筒倾覆智能预警系统建设与开发

传统的塔筒倾覆在线监测系统往往存在数据采集、分析单一、非专业人员很难看懂和理解、运维管理模式落后等缺陷,为了解决这些问题,本文通过研究人工智能技术,综合塔筒倾斜、基础水平、风速、风向、功率等关联信息,运用机器学习算法构建塔筒倾覆故障模型,计算反映设备状态的模型特征值,检测模型特征值的变化趋势,实现塔筒倾覆状态的在线检测和劣化过程的早期预警。同时本文还重点介绍了基于人工智能的风机塔筒倾覆智能预警系统建设目标、系统架构、诊断流程和系统开发平台,通过此系统不断提高对数据挖掘技术的能力,对风机健康状况进行更为精准的判定及故障隐患的及时发现,保障风机基础和塔筒的安全运行,防止风机发生倾斜或倒塌等重大安全生产事故。     

Matrix approach to simplification of finite state machines using semi‐tensor product of matrices

In this paper, we use a new mathematical tool, semi‐tensor product of matrices, to investigate the problem of simplification of finite state machines (FSMs) in a mathematical manner. First, based on the dynamic equations of state transition and output behavior which are developed recently, an algebraic criterion of k‐difference states is established. Second, using the criterion, a scheme is designed to construct the incompatible graphs of FSMs. Third, with the incompatible graphs and the method of searching internally stable sets of graphs proposed by the authors, a solution is proposed to obtain all of the compatible state set (CSS) of FSMs. Then, with the aid of the CSS, we investigate three kinds of structures of state space of FSMs, including compatible cover of state set (CCSS), representative set of state set (RSSS), and minimum representative set of state set (MRSSS); necessary and sufficient conditions are proposed to formulate the three kinds of structures. Finally, examples are given to exemplify minimum realizations of FSMs by these conditions.     

Playing with Maude

This paper is an introduction to rule-based programming in Maude. We illustrate in particular the use of operator attributes to structure the state of a system, and the difference between equations and rules. We use well-known mathematical games and puzzles for our examples illustrating the expressive power of Maude.     

汉诺塔算法演示系统的设计与实现

提出一个完善的算法演示系统应具备表现性、原理性、交互性和趣味性四种基本特性。以"汉诺塔"为例研究算法演示系统的设计方案和关键技术并实现整个系统。该系统提供演示和游戏两种运行模式,支持单步执行、代码跟踪、状态监视、游戏操作等功能。实践表明该系统达到了预期的设计目标并取得良好的教学效果。     

氯乙烯精馏工艺中的低塔控制优化方案

该文是作者在氯乙烯精馏装置的生产操作、工艺改进、参数控制的长期实践基础上写成的。作者阐述了经过工艺和控制系统优化后,形成的新的控制方案和操作方法。生产实践证明了该方案操作简单、控制有效,解决了精馏生产过程中长期存在的控制不稳和氯乙烯含量不稳的问题,使产品质量达到了工艺要求。     

一种基于多尺度自适应形态学的塔吊提取方法

塔吊作为建筑工地的标志性地物,是对非法建设用地的敏感警报,是工程进度监督的有力依据。但是由于城市遥感图像中地物的复杂性以及噪声的影响,如何将塔吊精确地提取出来具有一定的难度,而且目前还没有成熟的方法。充分考虑到不同塔吊的方向不同,以及结构元素的种类和尺度对图像处理结果的影响,提出了一种基于多尺度自适应形态学的塔吊提取方法。将多尺度自适应形态学方法对无人机航空影像进行分割,分割权重值根据不同的结构元素对图像进行腐蚀运算得到不同的填充次数而定,将得到的结果影像进行二值化处理、边缘提取、直线提取以及基于塔吊特殊的几何特征的提取,最后将塔吊精确地提取出来。通过与原始数据进行对比验证,表明该方法适用于航空遥感影像分割及塔吊提取的设计方案可行,对衡量城市建设投资力度具有重要意义。     

对汉诺塔（Hanoi）问题的算法探索与研究

对汉诺塔问题的算法进行了具体分析,提出了四种不同的经典算法,并通过对此问题给出不同的算法,以期激发出学习者对经典汉诺塔问题新算法的探究热情。     

Computational Design of Steady 3D Dissection Puzzles

Dissection puzzles require assembling a common set of pieces into multiple distinct forms. Existing works focus on creating 2D dissection puzzles that form primitive or naturalistic shapes. Unlike 2D dissection puzzles that could be supported on a tabletop surface, 3D dissection puzzles are preferable to be steady by themselves for each assembly form. In this work, we aim at computationally designing steady 3D dissection puzzles. We address this challenging problem with three key contributions. First, we take two voxelized shapes as inputs and dissect them into a common set of puzzle pieces, during which we allow slightly modifying the input shapes, preferably on their internal volume, to preserve the external appearance. Second, we formulate a formal model of generalized interlocking for connecting pieces into a steady assembly using both their geometric arrangements and friction. Third, we modify the geometry of each dissected puzzle piece based on the formal model such that each assembly form is steady accordingly. We demonstrate the effectiveness of our approach on a wide variety of shapes, compare it with the state‐of‐the‐art on 2D and 3D examples, and fabricate some of our designed puzzles to validate their steadiness.     

基于CNN-RVM的输电杆塔外破振动识别方案

针对现有杆塔状态检测方案缺乏外破振动识别的现状,提出了一种基于深度学习模型的杆塔外破振动识别技术。首先获取外破条件下的输电杆塔外破振动信号和不同风激励条件下的输电杆塔振动信号,应用延时嵌陷技术对振动信号预处理,将原始信号转为二维形式后送入卷积神经网络(Convolutional Neural Network, CNN)进行特征提取,并采用相关向量机(Relevance Vector Machine, RVM)分类器实现振动模式识别;通过多次实验,确定CNN的最佳参数,再利用softmax分类器和梯度下降法对CNN的权值和阈值进行调整,最终得到高精度识别结构。仿真结果表明,提出的CNN-RVM识别模型在三种振动条件实验中准确率都高于99%,相比于国内外现有其它振动识别方案,具有高精度和高效率的优点。     

校园软件开发平台的选择与应用

在软件开发平台的选择与应用过程中,我们本着平台的开发性、分布性、平台无关性原则,根据我院的具体情况,通过对目前两种主流平台：J2EE和.NET的比较分析,体系结构和应用平台的无缝集成,开发成本及易开发性的思考与研究,最终选择了.NET作为开发平台.使用Microsoft全新的集成开发环境Visual Studio.NET,采用ASP.NET、Web Service、ADO.NET和XML等技术进行系统开发.     

基于Java的汉诺塔教学演示程序

借助计算机系统的单步执行、动态演示等功能,设计并开发了基于Java的汉诺塔教学演示程序,通过该程序可使学习者观测到解决该问题的动态全过程。     

基于图形工作站的塔台管制模拟器的设计与实现

通过对空中交通管制程序，陆空通话模式，机场管理方式等的分析综合，提出并拟定了基于图形工作站实现塔台管制模拟器的总体方案。在此基础上，研究了在图形工作站上基于Unix/X Windows系统利用Motif/OpenGL编程的基本技术，并采用计算机图像生成技术较好地模拟了机场周围的三维视景系统，有效逼真地表现了飞机运动的动态行为过程，实完成了塔台管制模拟器的基本功能。     

Properties of state spaces and their applications

Explicit model checking algorithms explore the full state space of a system. State spaces are usually treated as directed graphs without any specific features. We gather a large collection of state spaces and extensively study their structural properties. Our results show that state spaces have several typical properties, i.e., they are not arbitrary graphs. We also demonstrate that state spaces differ significantly from random graphs and that different classes of models (application domains, academic vs. industrial) have different properties. We discuss consequences of these results for model checking experiments and we point out how to exploit typical properties of state spaces in practical model checking algorithms. R. Pelánek was partially supported by GA ČR grant no. 201/07/P035.     

Black-white pebbles and graph separation

Summary We exhibit a close relationship between two topics in computational complexity. One topic is the analysis of storage requirements for nondeterministic computations. The corresponding mathematical model is a well known black-white pebble game on directed acyclic graphs. The other topic is the search for small separators of undirected graphs. We model a dynamic version of the concept of a separator with a vertex separator game. This game is closely related to graph layout and searching problems. We show that instances of the black-white pebble game and the vertex separator game can easily be transformed into each other. As an application of this result both games are shown to be NP-complete.     

“汉诺塔”签约协议及其在电子商务中的应用

文章以“汉诺塔”游戏为出发点,分析设计了一个高强度的公平的不可抵赖的签约协议。新协议一定程度上弥补了以前类似协议存在的问题。新协议尤其适合应用于电子商务中。     

基于μCOS-Ⅱ的多功能塔机黑匣子软件平台设计

多功能塔式起重机黑匣子实现了实时数据记录、动作事件顺序记录、安全保护、智能操作、数据通信等功能。本文以实时多任务操作系统为开发平台,设计了其软件系统。按照嵌入式操作系统的任务划分原则,详细给出了系统的任务划分、任务创建及实现,讨论了多任务的调度及任务间通信,应用实践验证了系统设计的正确性。     

无编程数学模型开发平台MyM及其应用

MyM是一个数学模型开发、可视化和动态模拟应用的集成开发平台。用户不需要了解计算机编程,简杵的写下数学方程,就可以通过图形化界面构建和设计动态模拟系统。介绍了MyM语言和MyM工具,用一个实例说明了构建数学模型和动态模拟的可视化过程。最后说明了MyM架构及其功能特点,对MyM软件的应用进行了展望。     

Structural design optimization of wind turbine towers

This paper describes several optimization models for the design of a typical wind turbine tower structure. The main tower body is considered to be built from uniform segments where the effective design variables are chosen to be the cross-sectional area, radius of gyration and height of each segment. The nacelle/rotor combination is regarded as a rigid non-rotating mass attached at the top of the tower. Five optimization strategies are developed and tested. The last one concerning reduction of vibration level by direct maximization of the system natural frequencies works very well and has shown excellent results for both tower alone and the combined tower/rotor model. Extensive computer experimentation has shown that global optimality is attainable from the proposed discretized model and a new mathematical concept is given for the exact placement of the system frequencies. The normal mode method is applied to obtain forced response for different types of excitations. The optimization problem is formulated as a nonlinear mathematical programming problem solved by the interior penalty function technique. Finally, the model is applied to the design of a 100-kW horizontal axis wind turbine (ERDA-NASA MOD-0). It has succeeded in arriving at the optimum solutions showing significant improvements in the overall system performance as compared with a reference or baseline design.     

基于JSSE的汉诺塔游戏设计与实现

对汉诺塔游戏问题进行了研究,发现了对汉诺塔游戏用递归算法实现符合问题逻辑结构。设计了基于JSSE的递归算法实现了手动移盘和自动移盘的游戏功能。