首页 > 最新文献

2010 WASE International Conference on Information Engineering最新文献

英文 中文
Processing and Analysis of Residents Travel Survey Data Based on Association Rules 基于关联规则的居民出行调查数据处理与分析
Pub Date : 2010-08-14 DOI: 10.1109/ICIE.2010.267
Xu Tie
To enhance the processing depth and practicability of residents travel survey data, choose the residents travel survey data of Fuzhou as data sets. Conducting pre-processing, use association rules algorithm to mine the characteristics of residents’ travel mode choice and the influence factors, some meaningful rules were obtained. Provide a scientific basis for regulation establishment and policies control.
为了提高居民出行调查数据的处理深度和实用性,选择福州市居民出行调查数据作为数据集。通过预处理,利用关联规则算法挖掘居民出行方式选择的特征及影响因素,得到一些有意义的规则。为法规制定和政策调控提供科学依据。
{"title":"Processing and Analysis of Residents Travel Survey Data Based on Association Rules","authors":"Xu Tie","doi":"10.1109/ICIE.2010.267","DOIUrl":"https://doi.org/10.1109/ICIE.2010.267","url":null,"abstract":"To enhance the processing depth and practicability of residents travel survey data, choose the residents travel survey data of Fuzhou as data sets. Conducting pre-processing, use association rules algorithm to mine the characteristics of residents’ travel mode choice and the influence factors, some meaningful rules were obtained. Provide a scientific basis for regulation establishment and policies control.","PeriodicalId":353239,"journal":{"name":"2010 WASE International Conference on Information Engineering","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124314327","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
The L_2-L_{infinity} Control for Leader-following Coordination with Switching Topology 交换拓扑下先导-跟随协调的L_2-L_{∞}控制
Pub Date : 2010-08-14 DOI: 10.1109/ICIE.2010.192
Yanping Luo, Lixin Gao, Fang Wang
In this paper, we investigate the L_2-L_{infinity} leader-following coordination problems with undirected switching topologies and external disturbance. The agent dynamics is expressed in the form of a second-order model and the control laws are neighbor-based feedback laws. We first establish a LMI sufficient condition to guarantee that all following agents can track the leader agent and the L_2-L_{infinity} disturbance attenuation of the system is not greater than a given constant. Furthermore, we get a explicit estimation expression of L_2-L_{infinity} disturbance attenuation by constructing a parameter-dependent common Lyapunov function. Finally, a numerical example is provided to illustrate the effectiveness of our results.
本文研究了具有无向切换拓扑和外部干扰的L_2-L_{∞}前导跟随协调问题。智能体动力学以二阶模型的形式表示,控制律为基于邻域的反馈律。首先建立了LMI充分条件,保证所有跟随智能体都能跟踪领导智能体,并且系统的L_2-L_{∞}扰动衰减不大于给定常数。通过构造一个参数相关的公共Lyapunov函数,得到了L_2-L_{∞}扰动衰减的显式估计表达式。最后,给出了一个数值算例,说明了所得结果的有效性。
{"title":"The L_2-L_{infinity} Control for Leader-following Coordination with Switching Topology","authors":"Yanping Luo, Lixin Gao, Fang Wang","doi":"10.1109/ICIE.2010.192","DOIUrl":"https://doi.org/10.1109/ICIE.2010.192","url":null,"abstract":"In this paper, we investigate the L_2-L_{infinity} leader-following coordination problems with undirected switching topologies and external disturbance. The agent dynamics is expressed in the form of a second-order model and the control laws are neighbor-based feedback laws. We first establish a LMI sufficient condition to guarantee that all following agents can track the leader agent and the L_2-L_{infinity} disturbance attenuation of the system is not greater than a given constant. Furthermore, we get a explicit estimation expression of L_2-L_{infinity} disturbance attenuation by constructing a parameter-dependent common Lyapunov function. Finally, a numerical example is provided to illustrate the effectiveness of our results.","PeriodicalId":353239,"journal":{"name":"2010 WASE International Conference on Information Engineering","volume":"208 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114742087","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Comments on Dynamic Bifurcation of Voltage Stability in Power System 电力系统电压稳定的动态分岔问题评述
Pub Date : 2010-08-14 DOI: 10.1109/ICIE.2010.355
M. You-jie, Liu Xiao-shuang, Zhou Xue-song, Li Ji
Based on the basic concepts and the main methods of bifurcation theory, we introduce the dynamic bifurcation Phenomenon in the power system voltage stability analysis and the relationship between them, making a more comprehensive summary and comment about dynamic bifurcation which used in the power system voltage stability analysis currently. In the text, we discuss the Hopf bifurcation (HB), period-doubling bifurcation, torus bifurcation and homoclinic (heteroclinic) bifurcation, among them, the Hopf bifurcation is discussed elaborated. Finally, We prospect the depth areas which the bifurcation theory in the voltage stability analysis need to be further explored.
基于分岔理论的基本概念和主要方法,介绍了电力系统电压稳定分析中的动态分岔现象及其相互关系,对目前电力系统电压稳定分析中应用的动态分岔进行了较为全面的总结和评述。本文讨论了Hopf分岔(HB)、倍周期分岔、环面分岔和同斜(异斜)分岔,其中对Hopf分岔进行了详细的讨论。最后,展望了分岔理论在电压稳定分析中有待深入探索的领域。
{"title":"The Comments on Dynamic Bifurcation of Voltage Stability in Power System","authors":"M. You-jie, Liu Xiao-shuang, Zhou Xue-song, Li Ji","doi":"10.1109/ICIE.2010.355","DOIUrl":"https://doi.org/10.1109/ICIE.2010.355","url":null,"abstract":"Based on the basic concepts and the main methods of bifurcation theory, we introduce the dynamic bifurcation Phenomenon in the power system voltage stability analysis and the relationship between them, making a more comprehensive summary and comment about dynamic bifurcation which used in the power system voltage stability analysis currently. In the text, we discuss the Hopf bifurcation (HB), period-doubling bifurcation, torus bifurcation and homoclinic (heteroclinic) bifurcation, among them, the Hopf bifurcation is discussed elaborated. Finally, We prospect the depth areas which the bifurcation theory in the voltage stability analysis need to be further explored.","PeriodicalId":353239,"journal":{"name":"2010 WASE International Conference on Information Engineering","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114784176","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
The Synergistic Effect between Nano-Cu Lubricating Additives and Electroless Deposited Ni-W-P Coating 纳米cu润滑添加剂与化学沉积Ni-W-P涂层的协同效应
Pub Date : 2010-08-14 DOI: 10.1109/ICIE.2010.232
M. Chen, W. Cheng, Z. Zhao, X.B. Huang
The tribological properties of nano-Cu lubricating additives and electroless deposited Ni-W-P coating as well as their synergistic effect are researched using ring-block abrasion testing machine and Energy Dispersive Spectrometer. Research results show that the wear resistance of Ni-W-P alloy coating after heat treatment at 400??? has greatly increased since the Second Phase Ni3P particles were educed. In the friction process, nano-Cu in the lubricating additives deposited on the friction surface of Ni-W-P alloy coating so as to form a protective lubricating film, therefore the antiwear and friction reducing effects are achieved by the micro polishing effect, the load effect of micro ball bearing, the filling and repairing effects and formation of the chemical reaction film on the friction surface. Experiment results confirm that Ni-W-P alloy coating and nano-Cu lubricating additive have excellent synergistic effect, and form double protection for the metal substrate, e.g., the wear resistance of Ni-W-P alloy coating (with heat treatment and the oil with nano-Cu additives) has increased hundreds times than 45 steel as the metal substrate with the basic oil, zero wear is achieved, which break through the bottleneck of previous separate research of the above-mentioned the two.
利用环块磨损试验机和能量色散光谱仪研究了纳米cu润滑添加剂和化学沉积Ni-W-P涂层的摩擦学性能及其协同效应。研究结果表明,Ni-W-P合金涂层经400℃高温热处理后,其耐磨性显著提高。在析出第二相Ni3P粒子后大大增加。在摩擦过程中,润滑添加剂中的纳米cu沉积在Ni-W-P合金涂层的摩擦表面,形成保护润滑膜,从而通过微抛光作用、微滚珠轴承的载荷作用、填充修复作用和摩擦表面化学反应膜的形成来达到抗磨减摩擦的效果。实验结果证实,Ni-W-P合金涂层与纳米cu润滑添加剂具有优异的协同作用,对金属基体形成双重保护,如Ni-W-P合金涂层(经过热处理和添加纳米cu添加剂的油)的耐磨性比45钢作为基础油的金属基体提高了数百倍,实现了零磨损,突破了以往两者单独研究的瓶颈。
{"title":"The Synergistic Effect between Nano-Cu Lubricating Additives and Electroless Deposited Ni-W-P Coating","authors":"M. Chen, W. Cheng, Z. Zhao, X.B. Huang","doi":"10.1109/ICIE.2010.232","DOIUrl":"https://doi.org/10.1109/ICIE.2010.232","url":null,"abstract":"The tribological properties of nano-Cu lubricating additives and electroless deposited Ni-W-P coating as well as their synergistic effect are researched using ring-block abrasion testing machine and Energy Dispersive Spectrometer. Research results show that the wear resistance of Ni-W-P alloy coating after heat treatment at 400??? has greatly increased since the Second Phase Ni3P particles were educed. In the friction process, nano-Cu in the lubricating additives deposited on the friction surface of Ni-W-P alloy coating so as to form a protective lubricating film, therefore the antiwear and friction reducing effects are achieved by the micro polishing effect, the load effect of micro ball bearing, the filling and repairing effects and formation of the chemical reaction film on the friction surface. Experiment results confirm that Ni-W-P alloy coating and nano-Cu lubricating additive have excellent synergistic effect, and form double protection for the metal substrate, e.g., the wear resistance of Ni-W-P alloy coating (with heat treatment and the oil with nano-Cu additives) has increased hundreds times than 45 steel as the metal substrate with the basic oil, zero wear is achieved, which break through the bottleneck of previous separate research of the above-mentioned the two.","PeriodicalId":353239,"journal":{"name":"2010 WASE International Conference on Information Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123451618","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An Advanced Instantaneous Detection Method for Active Power Filter 一种先进的电力有源滤波器瞬时检测方法
Pub Date : 2010-08-14 DOI: 10.1109/ICIE.2010.188
You-jie Ma, Sheng-ming Li, Xue-song Zhou, Cheng-wen Tian
Active power filter is an effective device to clear harmonics. Accurate detection of compensated components decides its compensation effect directly. This paper proposes an advanced instantaneous detection method for distorted three-phase system voltage by detecting fundamental positive sequence voltage and current respectively using d-q transformation. Thus fundamental positive-sequence active current and the compensated current components can be obtained exactly by phasor projection. The detection of voltage and current are simultaneous. Simulation results illustrate efficiency and accuracy of the improved method.
有源电力滤波器是一种有效的谐波清除装置。被补偿元件检测的准确性直接决定了其补偿效果。本文提出了一种先进的三相系统电压畸变瞬时检测方法,利用d-q变换分别检测基极正序电压和电流。通过相量投影,可以精确地得到基波正序有源电流和被补偿电流分量。电压和电流同时检测。仿真结果验证了改进方法的有效性和准确性。
{"title":"An Advanced Instantaneous Detection Method for Active Power Filter","authors":"You-jie Ma, Sheng-ming Li, Xue-song Zhou, Cheng-wen Tian","doi":"10.1109/ICIE.2010.188","DOIUrl":"https://doi.org/10.1109/ICIE.2010.188","url":null,"abstract":"Active power filter is an effective device to clear harmonics. Accurate detection of compensated components decides its compensation effect directly. This paper proposes an advanced instantaneous detection method for distorted three-phase system voltage by detecting fundamental positive sequence voltage and current respectively using d-q transformation. Thus fundamental positive-sequence active current and the compensated current components can be obtained exactly by phasor projection. The detection of voltage and current are simultaneous. Simulation results illustrate efficiency and accuracy of the improved method.","PeriodicalId":353239,"journal":{"name":"2010 WASE International Conference on Information Engineering","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121961288","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Tracking Humans in Real-Time by Opponent-Motion and Visual Attention 通过对手运动和视觉注意实时跟踪人类
Pub Date : 2010-08-14 DOI: 10.1109/ICIE.2010.61
Yaoru Sun, Xingui Hu, J. Zeng, Zuo Zhang
This paper presents a biologically-inspired approach for human tracking by using a single feature of opponent-motion and visual attention mechanism. Opponent-motion is a significant and salient feature during human motion of walking, running, etc. By the interaction with the heuristic prior knowledge of human model, the obtained opponent-motion is used to derive motion saliency from its statistical computation for rapid selection of salient motion blobs of humans by visual attention. The biological motion with available opponent-motion, therefore, can be effectively detected and tracked in real-time. The experimental results have also shown that detecting and tracking humans by opponent-motion can greatly eliminate the effect of illumination change. This work demonstrated that the feature of opponent-motion can be used for real-time human detection and tracking in natural and clustered environments.
本文提出了一种利用对手运动和视觉注意机制的单一特征来进行人体跟踪的生物学启发方法。对手运动是人体行走、跑步等运动中一个重要而突出的特征。通过与人体模型的启发式先验知识的交互作用,将获得的对手运动通过其统计计算得出运动显著性,从而通过视觉注意快速选择人体的显著运动斑点。因此,可以有效地检测和实时跟踪具有可用对手运动的生物运动。实验结果还表明,利用对手运动来检测和跟踪人体,可以极大地消除光照变化的影响。这项工作证明了对手运动的特征可以用于自然和集群环境中的实时人体检测和跟踪。
{"title":"Tracking Humans in Real-Time by Opponent-Motion and Visual Attention","authors":"Yaoru Sun, Xingui Hu, J. Zeng, Zuo Zhang","doi":"10.1109/ICIE.2010.61","DOIUrl":"https://doi.org/10.1109/ICIE.2010.61","url":null,"abstract":"This paper presents a biologically-inspired approach for human tracking by using a single feature of opponent-motion and visual attention mechanism. Opponent-motion is a significant and salient feature during human motion of walking, running, etc. By the interaction with the heuristic prior knowledge of human model, the obtained opponent-motion is used to derive motion saliency from its statistical computation for rapid selection of salient motion blobs of humans by visual attention. The biological motion with available opponent-motion, therefore, can be effectively detected and tracked in real-time. The experimental results have also shown that detecting and tracking humans by opponent-motion can greatly eliminate the effect of illumination change. This work demonstrated that the feature of opponent-motion can be used for real-time human detection and tracking in natural and clustered environments.","PeriodicalId":353239,"journal":{"name":"2010 WASE International Conference on Information Engineering","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117078577","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Heuristic Algorithm Based On Flooding Structure In Wireless Ad Hoc Networks 无线Ad Hoc网络中基于泛洪结构的启发式算法
Pub Date : 2010-08-14 DOI: 10.1109/ICIE.2010.64
Wang Lin-zhu, Fan Ya-qin, Yang Yang, Shan Min
In order to avoid routing overhead and reduce management fee for transmisson of routing information, we purposed two heuristic algorithms which are self-pruning algorithm and dominant pruning algorithm. This algorithm is more efficient than the aimless flooding in wireless networks, and redused unnecessary transmission of information and nodes switching by the movement between neighbourhoods. Result shows that the two kinds of flooding algorithms are obviously superior to the aimless flooding algorithm, particularly the performance of the dominant pruning could almost reach the limit.
为了避免路由开销和降低路由信息传输的管理费用,我们设计了两种启发式算法,即自修剪算法和优势修剪算法。该算法比无线网络中的漫无目的泛洪算法更有效,减少了不必要的信息传输和邻域间移动引起的节点切换。结果表明,两种泛洪算法均明显优于无目的泛洪算法,特别是优势剪枝算法的性能几乎达到了极限。
{"title":"Heuristic Algorithm Based On Flooding Structure In Wireless Ad Hoc Networks","authors":"Wang Lin-zhu, Fan Ya-qin, Yang Yang, Shan Min","doi":"10.1109/ICIE.2010.64","DOIUrl":"https://doi.org/10.1109/ICIE.2010.64","url":null,"abstract":"In order to avoid routing overhead and reduce management fee for transmisson of routing information, we purposed two heuristic algorithms which are self-pruning algorithm and dominant pruning algorithm. This algorithm is more efficient than the aimless flooding in wireless networks, and redused unnecessary transmission of information and nodes switching by the movement between neighbourhoods. Result shows that the two kinds of flooding algorithms are obviously superior to the aimless flooding algorithm, particularly the performance of the dominant pruning could almost reach the limit.","PeriodicalId":353239,"journal":{"name":"2010 WASE International Conference on Information Engineering","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125753918","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
The Design of Wind Turbine Blade Based on Structure - First Approach 基于结构优先法的风力机叶片设计
Pub Date : 2010-08-14 DOI: 10.1109/ICIE.2010.213
Guan Yu-ming, Y. Fei, Zhou Jing, Xia Yan-jun
Based on structure first approach, proposed the constraint expressions of blade which have fine structure. On this basis, established a mathematical model for blade geometry based on Structure first approach. As the objective function is non-linear expressions, based on nonlinear programming method, by using fmincon of MATLAB software, solved the objective function and got optimized airfoil blade chord length of all cross-section and pitch angle. Finally compared tne results with the Wilson method.
基于结构优先的方法,提出了精细结构叶片的约束表达式。在此基础上,建立了基于结构优先方法的叶片几何数学模型。由于目标函数是非线性表达式,基于非线性规划方法,利用MATLAB软件中的fmincon对目标函数进行求解,得到了优化后翼型叶片各截面弦长和俯仰角。最后将所得结果与Wilson方法进行了比较。
{"title":"The Design of Wind Turbine Blade Based on Structure - First Approach","authors":"Guan Yu-ming, Y. Fei, Zhou Jing, Xia Yan-jun","doi":"10.1109/ICIE.2010.213","DOIUrl":"https://doi.org/10.1109/ICIE.2010.213","url":null,"abstract":"Based on structure first approach, proposed the constraint expressions of blade which have fine structure. On this basis, established a mathematical model for blade geometry based on Structure first approach. As the objective function is non-linear expressions, based on nonlinear programming method, by using fmincon of MATLAB software, solved the objective function and got optimized airfoil blade chord length of all cross-section and pitch angle. Finally compared tne results with the Wilson method.","PeriodicalId":353239,"journal":{"name":"2010 WASE International Conference on Information Engineering","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125755527","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Real-time Embedded Software Test Case Generation Based on Time-extended EFSM: A Case Study 基于时间扩展EFSM的实时嵌入式软件测试用例生成
Pub Date : 2010-08-14 DOI: 10.1109/ICIE.2010.160
Yongfeng Yin, Z. Li, B. Liu
Software testing techniques based on formal methods can reduce the uncertainty, improve accuracy, validity and degree of automation. In this paper, formal methods were introduced into the real-time embedded software testing field and a time-extended finite state machine, called t_EFSM, was proposed firstly. And then, based on the t_EFSM and combined with testing process of flight control software of an unmanned aerial vehicle (UAV), a method to generate the time-extended UIO sequence (t_UIO) was put forward. Finally, the method to generate test cases automatically according to t_UIO sequence was brought forward.
基于形式化方法的软件测试技术可以减少不确定性,提高准确性、有效性和自动化程度。本文将形式化方法引入嵌入式软件实时测试领域,首次提出了一种时间扩展有限状态机(t_EFSM)。然后,基于t_EFSM,结合某无人机飞控软件的测试过程,提出了一种时域扩展UIO序列(t_UIO)的生成方法。最后,提出了根据t_UIO序列自动生成测试用例的方法。
{"title":"Real-time Embedded Software Test Case Generation Based on Time-extended EFSM: A Case Study","authors":"Yongfeng Yin, Z. Li, B. Liu","doi":"10.1109/ICIE.2010.160","DOIUrl":"https://doi.org/10.1109/ICIE.2010.160","url":null,"abstract":"Software testing techniques based on formal methods can reduce the uncertainty, improve accuracy, validity and degree of automation. In this paper, formal methods were introduced into the real-time embedded software testing field and a time-extended finite state machine, called t_EFSM, was proposed firstly. And then, based on the t_EFSM and combined with testing process of flight control software of an unmanned aerial vehicle (UAV), a method to generate the time-extended UIO sequence (t_UIO) was put forward. Finally, the method to generate test cases automatically according to t_UIO sequence was brought forward.","PeriodicalId":353239,"journal":{"name":"2010 WASE International Conference on Information Engineering","volume":"21 7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125995651","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Experimental Study of Electrode of Flue Gas Desulphurization by Discharge Corona Plasma 放电电晕等离子体烟气脱硫电极的实验研究
Pub Date : 2010-08-14 DOI: 10.1109/ICIE.2010.330
Jun He, M. Bai, Lijun Lin
It is one of the focuses which are paid wide attention in the environmental protection field that the advanced and feasible desulphurization technologies are studied. Desulphurization technology by corona discharge is a novel and promising dry process for flue gas treatment. In flue gas desulphurization by corona discharge, the discharge characteristic of four electrode in direct current power and pulsed power were studied on the basis of desulphurization tests. It is resulted that under the same condition, desulphurization efficiency of pulsed power exceeds that of direct current power. By contrast ranking discharge characteristic of four electrodes, desulphurization efficiency of nozzle electrode is the first, sawtooth electrode is the second, spinous electrode is the third,the star electrode is the fourth. The reason is that discharge characteristic of electrodes lies on curvature radius. It is showed that desulphurization efficiency of ammonia coming in reactor from nozzle electrode is higher than that from pipe of fuel entrance.
研究先进可行的脱硫技术是目前环保领域广泛关注的热点之一。电晕放电脱硫技术是一种新型的、有发展前途的干法烟气处理技术。在电晕放电烟气脱硫试验的基础上,研究了四种电极在直流功率和脉冲功率下的放电特性。结果表明,在相同条件下,脉冲功率的脱硫效率高于直流功率。通过对四种电极放电特性的对比排名,喷嘴电极的脱硫效率最高,锯齿电极次之,棘电极第三,星形电极第四。究其原因,电极的放电特性取决于曲率半径。结果表明,从喷嘴电极进入反应器的氨的脱硫效率高于从燃料入口管道进入反应器的氨的脱硫效率。
{"title":"Experimental Study of Electrode of Flue Gas Desulphurization by Discharge Corona Plasma","authors":"Jun He, M. Bai, Lijun Lin","doi":"10.1109/ICIE.2010.330","DOIUrl":"https://doi.org/10.1109/ICIE.2010.330","url":null,"abstract":"It is one of the focuses which are paid wide attention in the environmental protection field that the advanced and feasible desulphurization technologies are studied. Desulphurization technology by corona discharge is a novel and promising dry process for flue gas treatment. In flue gas desulphurization by corona discharge, the discharge characteristic of four electrode in direct current power and pulsed power were studied on the basis of desulphurization tests. It is resulted that under the same condition, desulphurization efficiency of pulsed power exceeds that of direct current power. By contrast ranking discharge characteristic of four electrodes, desulphurization efficiency of nozzle electrode is the first, sawtooth electrode is the second, spinous electrode is the third,the star electrode is the fourth. The reason is that discharge characteristic of electrodes lies on curvature radius. It is showed that desulphurization efficiency of ammonia coming in reactor from nozzle electrode is higher than that from pipe of fuel entrance.","PeriodicalId":353239,"journal":{"name":"2010 WASE International Conference on Information Engineering","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126019441","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
期刊
2010 WASE International Conference on Information Engineering
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1