首页 > 最新文献

2017 International Conference on Electrical and Information Technologies (ICEIT)最新文献

英文 中文
Generic client-server interfaces for real-time remote automatic control laboratory 实时远程自动控制实验室通用客户端-服务器接口
Pub Date : 2017-11-01 DOI: 10.1109/EITECH.2017.8255264
This paper deals with e-learning design and development training courses, more precisely with remote training by practical activities of laboratory experiments (E-Lab). Indeed, the majority of remote training platforms offer theoretical courses and a few practical activities, which are essential in training theoretical Science and Technology. In order to share the costly equipment, in this work, we propose an open hardware/software architecture allowing remote access to a laboratory equipment by designing in Matlab two graphical interfaces using Internet/Intranet network and TCP/IP communication protocol. A real-time control and supervision is performed to carry out all the practical activity according to a pedagogical scenario elaborated by the trainer. The use of these interfaces is illustrated by educational sessions articulated on the Proportional Integral Derivative (PID) regulation and the Generalized Predictive Control (GPC) of temperature control system. The challenge of elaborating a remote practical activity with pedagogical effectiveness is accomplished in the above proposed solution. All the hardware and software that made available the remote experimentation platform give possibility to achieve others traditional activities in experimentation laboratory.
本文讨论了电子学习培训课程的设计与开发,更确切地说,是通过实验室实验的实践活动进行远程培训(E-Lab)。事实上,大多数远程培训平台都提供理论课程和一些实践活动,这是理论科学技术培训必不可少的。为了共享昂贵的设备,在本工作中,我们提出了一个开放的硬件/软件架构,允许远程访问实验室设备,在Matlab中设计两个图形界面,使用Internet/Intranet网络和TCP/IP通信协议。根据培训师制定的教学方案,对所有的实践活动进行实时控制和监督。这些接口的使用是通过对温度控制系统的比例积分导数(PID)调节和广义预测控制(GPC)的教育课程来说明的。在上述提出的解决方案中,阐述具有教学效果的远程实践活动的挑战已经完成。远程实验平台所具备的所有硬件和软件都为在实验室内完成其他传统活动提供了可能。
{"title":"Generic client-server interfaces for real-time remote automatic control laboratory","authors":"","doi":"10.1109/EITECH.2017.8255264","DOIUrl":"https://doi.org/10.1109/EITECH.2017.8255264","url":null,"abstract":"This paper deals with e-learning design and development training courses, more precisely with remote training by practical activities of laboratory experiments (E-Lab). Indeed, the majority of remote training platforms offer theoretical courses and a few practical activities, which are essential in training theoretical Science and Technology. In order to share the costly equipment, in this work, we propose an open hardware/software architecture allowing remote access to a laboratory equipment by designing in Matlab two graphical interfaces using Internet/Intranet network and TCP/IP communication protocol. A real-time control and supervision is performed to carry out all the practical activity according to a pedagogical scenario elaborated by the trainer. The use of these interfaces is illustrated by educational sessions articulated on the Proportional Integral Derivative (PID) regulation and the Generalized Predictive Control (GPC) of temperature control system. The challenge of elaborating a remote practical activity with pedagogical effectiveness is accomplished in the above proposed solution. All the hardware and software that made available the remote experimentation platform give possibility to achieve others traditional activities in experimentation laboratory.","PeriodicalId":447139,"journal":{"name":"2017 International Conference on Electrical and Information Technologies (ICEIT)","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129719683","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
A new robust control based on active disturbance rejection controller for speed sensorless induction motor 基于自抗扰控制器的无速度传感器异步电动机鲁棒控制
Pub Date : 2017-11-01 DOI: 10.1109/EITECH.2017.8255226
Haitam Chalawane, A. Essadki, T. Nasser, M. Arbaoui
This paper aims to present a new robust command called active disturbance rejection controller (ADRC) applied to the sensorless induction motor and introduces the problem of the parameters, which significantly deteriorate the performance of the control, this variation introduces an important role in the loss of dynamic performance in an undesirable coupling between flux and torque of the machine. This paper offers a new scheme for estimation of induction motor speed using αβ representation of the model in the stationary reference frame and measurements of accessible motor variables only (currents, voltages and speed). A second-order of MRAS based sliding mode estimator is designed for speed estimation. The proposed schemes are implemented using MATLAB simulation, improve the system robustness against motor parameter variations and increase the performance of the speed loop controller.
本文提出了一种新的鲁棒指令——自抗扰控制器(ADRC),它应用于无传感器感应电机,并引入了参数问题,这些参数会显著降低控制的性能,这种变化在机器的磁链和转矩之间的不良耦合中引入了重要的作用。本文提出了一种估算异步电动机转速的新方案,该方案使用固定参考系中模型的αβ表示,并且只测量电机的可达变量(电流、电压和速度)。设计了一种基于二阶MRAS的滑模估计器,用于速度估计。通过MATLAB仿真,提高了系统对电机参数变化的鲁棒性,提高了速度环控制器的性能。
{"title":"A new robust control based on active disturbance rejection controller for speed sensorless induction motor","authors":"Haitam Chalawane, A. Essadki, T. Nasser, M. Arbaoui","doi":"10.1109/EITECH.2017.8255226","DOIUrl":"https://doi.org/10.1109/EITECH.2017.8255226","url":null,"abstract":"This paper aims to present a new robust command called active disturbance rejection controller (ADRC) applied to the sensorless induction motor and introduces the problem of the parameters, which significantly deteriorate the performance of the control, this variation introduces an important role in the loss of dynamic performance in an undesirable coupling between flux and torque of the machine. This paper offers a new scheme for estimation of induction motor speed using αβ representation of the model in the stationary reference frame and measurements of accessible motor variables only (currents, voltages and speed). A second-order of MRAS based sliding mode estimator is designed for speed estimation. The proposed schemes are implemented using MATLAB simulation, improve the system robustness against motor parameter variations and increase the performance of the speed loop controller.","PeriodicalId":447139,"journal":{"name":"2017 International Conference on Electrical and Information Technologies (ICEIT)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128677720","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}
引用次数: 4
Fetal electrocardiogram characterization by using only the continuous wavelet transform CWT 仅使用连续小波变换CWT表征胎儿心电图
Pub Date : 2017-11-01 DOI: 10.1109/EITECH.2017.8255310
S. Ziani, A. Jbari, Larbi Belarbi
This paper deals with the characterization of the fetal electrocardiogram signal by using only the continuous wavelet transform. Clinically significant information in the fetal electrocardiogram signal is often masked by maternal electrocardiogram mECG considered as the most predominant interference. The aim of this work is to characterize the complex QRS and to estimate the RR interval in order to diagnose fetal heart arrhythmia such as Bradycardia and Tachycardia and this without being obliged to extract the fetal signal from that of the mother. We focus on both time domain and frequency domain to extract the useful characteristics of the signal.
本文仅用连续小波变换对胎儿心电图信号进行了表征。胎儿心电图信号中具有临床意义的信息往往被母体心电图meg视为最主要的干扰所掩盖。这项工作的目的是表征复杂的QRS并估计RR间隔,以便诊断胎儿心律失常,如心动过缓和心动过速,而无需从母亲的信号中提取胎儿信号。我们从时域和频域两个方面来提取信号的有用特征。
{"title":"Fetal electrocardiogram characterization by using only the continuous wavelet transform CWT","authors":"S. Ziani, A. Jbari, Larbi Belarbi","doi":"10.1109/EITECH.2017.8255310","DOIUrl":"https://doi.org/10.1109/EITECH.2017.8255310","url":null,"abstract":"This paper deals with the characterization of the fetal electrocardiogram signal by using only the continuous wavelet transform. Clinically significant information in the fetal electrocardiogram signal is often masked by maternal electrocardiogram mECG considered as the most predominant interference. The aim of this work is to characterize the complex QRS and to estimate the RR interval in order to diagnose fetal heart arrhythmia such as Bradycardia and Tachycardia and this without being obliged to extract the fetal signal from that of the mother. We focus on both time domain and frequency domain to extract the useful characteristics of the signal.","PeriodicalId":447139,"journal":{"name":"2017 International Conference on Electrical and Information Technologies (ICEIT)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128683940","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}
引用次数: 7
An intelligent method for fault diagnosis in photovoltaic systems 光伏系统故障智能诊断方法研究
Pub Date : 2017-11-01 DOI: 10.1109/EITECH.2017.8255225
Yassine Chouay, M. Ouassaid
This paper presents a diagnostic method based on I-V characteristic analysis and Artificial Neural Networks (ANN). A number of attributes are estimated using a simulation model based on a set of working conditions such as solar irradiance and module's temperature. The estimated attributes are then compared with those obtained from the real PV array measurements, which lead to the detection of possible faulty operating conditions. After detecting the presence of possible fault, tow algorithms are developed in order to isolate and identify eight different types of faults. The simulation results show that the proposed method can detect and classify the different faults occurring in a PV array with a high accuracy.
本文提出了一种基于I-V特征分析和人工神经网络(ANN)的诊断方法。使用基于一组工作条件(如太阳辐照度和模块温度)的模拟模型估计了许多属性。然后将估计的属性与光伏阵列的实际测量结果进行比较,从而检测出可能存在的故障运行状态。在检测到可能存在的故障后,开发了两种算法来隔离和识别八种不同类型的故障。仿真结果表明,该方法能够对光伏阵列中发生的各种故障进行高精度的检测和分类。
{"title":"An intelligent method for fault diagnosis in photovoltaic systems","authors":"Yassine Chouay, M. Ouassaid","doi":"10.1109/EITECH.2017.8255225","DOIUrl":"https://doi.org/10.1109/EITECH.2017.8255225","url":null,"abstract":"This paper presents a diagnostic method based on I-V characteristic analysis and Artificial Neural Networks (ANN). A number of attributes are estimated using a simulation model based on a set of working conditions such as solar irradiance and module's temperature. The estimated attributes are then compared with those obtained from the real PV array measurements, which lead to the detection of possible faulty operating conditions. After detecting the presence of possible fault, tow algorithms are developed in order to isolate and identify eight different types of faults. The simulation results show that the proposed method can detect and classify the different faults occurring in a PV array with a high accuracy.","PeriodicalId":447139,"journal":{"name":"2017 International Conference on Electrical and Information Technologies (ICEIT)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128759864","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
FPGA-based implementation of optical flow algorithm 基于fpga的光流算法实现
Pub Date : 2017-11-01 DOI: 10.1109/EITECH.2017.8255246
R. Allaoui, H. H. Mouane, Z. Asrih, S. Mars, I. E. Hajjouji, A. E. Mourabit
In this paper, we describe an FPGA implementation of the optical flow (OF) algorithm for real time estimation of moving objects from a video sequence. Lucas-Kanade (LK) approach has been chosen to meet the real time and hardware resource constraints. In our approach, to allow accurate calculation, we adopt a high level synthesis approach to increase the accuracy of the system and to more deal with fixed-point precision. Hardware designs of the architectures are performed using Xilinx System Generator from Xilinx (XSG) and Modelsim tools. The proposed architecture is validated by a hardware co-simulation.
在本文中,我们描述了光流(of)算法的FPGA实现,用于从视频序列中实时估计运动物体。选择Lucas-Kanade (LK)方法来满足实时性和硬件资源的限制。在我们的方法中,为了实现精确的计算,我们采用了高层次的综合方法来提高系统的精度,并更多地处理定点精度。使用Xilinx的Xilinx System Generator (XSG)和Modelsim工具进行架构的硬件设计。通过硬件联合仿真验证了所提出的体系结构。
{"title":"FPGA-based implementation of optical flow algorithm","authors":"R. Allaoui, H. H. Mouane, Z. Asrih, S. Mars, I. E. Hajjouji, A. E. Mourabit","doi":"10.1109/EITECH.2017.8255246","DOIUrl":"https://doi.org/10.1109/EITECH.2017.8255246","url":null,"abstract":"In this paper, we describe an FPGA implementation of the optical flow (OF) algorithm for real time estimation of moving objects from a video sequence. Lucas-Kanade (LK) approach has been chosen to meet the real time and hardware resource constraints. In our approach, to allow accurate calculation, we adopt a high level synthesis approach to increase the accuracy of the system and to more deal with fixed-point precision. Hardware designs of the architectures are performed using Xilinx System Generator from Xilinx (XSG) and Modelsim tools. The proposed architecture is validated by a hardware co-simulation.","PeriodicalId":447139,"journal":{"name":"2017 International Conference on Electrical and Information Technologies (ICEIT)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120966262","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}
引用次数: 10
The effects of the field of view and reflections on the optical wireless channel 视场和反射对光无线信道的影响
Pub Date : 2017-11-01 DOI: 10.1109/EITECH.2017.8255218
Abdelmoujoud Assabir, Jamal Elmhamdi, A. Hammouch, Lahsen Belhaf, Abdellatif Akherraz
In recent late the IEEE has scheduled the standardization group 802.15.7r1 “ Short Range Optical Wireless Communication”, which is currently in the treatment of expanding a standard for visible light communication (VLC) and aims to deliver peak data rates of 10 Gbits/s. As with any other communication system, processing the performances studies depend on a realistic channel model and its impulse response. Thus, it is a compulsory condition that the features of the channel are well understood to design and operate efficient optical communication shape. Lights are installed everywhere around us; in public places, houses, streets. Since lights represent a crucial part of our daily lives, I find it a mandatory condition to study the subject matter. In this paper, our main objective is to study the influence of both FOV(field-of-view) and the reflections on channel impulse response (CIR) with different path LOS (Line-Of-Sight) and NLOS(Non-Line-Of-Sight) using a room size of 4.0mx 4.0mx 2.5m with the transmitted optical power of a LED up to 1W.
最近,IEEE已经安排了标准化组802.15.7r1“短距离光通信”,该标准目前正在扩展可见光通信(VLC)标准,目标是提供10 gbit /s的峰值数据速率。与任何其他通信系统一样,处理性能研究依赖于真实的信道模型及其脉冲响应。因此,充分了解信道的特性是设计和操作高效光通信形状的必要条件。灯在我们身边随处可见;在公共场所,房子,街道上。因为灯是我们日常生活中至关重要的一部分,所以我认为研究这个主题是一个必要的条件。在本文中,我们的主要目标是研究FOV(视场)和反射对通道脉冲响应(CIR)的影响,在不同路径LOS(视距)和NLOS(非视距)下,使用房间大小为4.0mx 4.0mx 2.5m, LED的传输光功率高达1W。
{"title":"The effects of the field of view and reflections on the optical wireless channel","authors":"Abdelmoujoud Assabir, Jamal Elmhamdi, A. Hammouch, Lahsen Belhaf, Abdellatif Akherraz","doi":"10.1109/EITECH.2017.8255218","DOIUrl":"https://doi.org/10.1109/EITECH.2017.8255218","url":null,"abstract":"In recent late the IEEE has scheduled the standardization group 802.15.7r1 “ Short Range Optical Wireless Communication”, which is currently in the treatment of expanding a standard for visible light communication (VLC) and aims to deliver peak data rates of 10 Gbits/s. As with any other communication system, processing the performances studies depend on a realistic channel model and its impulse response. Thus, it is a compulsory condition that the features of the channel are well understood to design and operate efficient optical communication shape. Lights are installed everywhere around us; in public places, houses, streets. Since lights represent a crucial part of our daily lives, I find it a mandatory condition to study the subject matter. In this paper, our main objective is to study the influence of both FOV(field-of-view) and the reflections on channel impulse response (CIR) with different path LOS (Line-Of-Sight) and NLOS(Non-Line-Of-Sight) using a room size of 4.0mx 4.0mx 2.5m with the transmitted optical power of a LED up to 1W.","PeriodicalId":447139,"journal":{"name":"2017 International Conference on Electrical and Information Technologies (ICEIT)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115787962","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
Enhancement of power quality for a transformerless single-phase grid-connected photovoltaic system using backstepping control approach 采用反步控制方法提高无变压器单相并网光伏系统电能质量
Pub Date : 2017-11-01 DOI: 10.1109/EITECH.2017.8255251
K. Chigane, M. Ouassaid
This paper presents a nonlinear control of the active and reactive power for a photovoltaic system. This latest is connected into the grid via transformless voltage source inverter. The design of the controller is based on the Backstepping approach to establish the inverter control laws. An analysis based on Lyapunov stability approach is developed to guarantee the global asymptotic stability of the system. In order to verify the effectiveness of the proposed controller, the obtained results are compared with those of the conventional linear controllers under changing in solar irradiance. The results show that the proposed control laws provide better performance in terms of references tracking and unity power factor. Furthermore, the harmonic performance and total harmonic distortion revealed that the power quality injected into the electrical network are enhanced using the Backstepping control strategy.
提出了光伏系统有功功率和无功功率的非线性控制方法。这是最新的连接到电网通过无变压器电压源逆变器。控制器的设计是基于反步法来建立逆变器的控制律。为了保证系统的全局渐近稳定,提出了一种基于Lyapunov稳定性方法的分析方法。为了验证所提控制器的有效性,在太阳辐照度变化的情况下,将所得到的结果与传统线性控制器的结果进行了比较。结果表明,所提控制律在参考点跟踪和单位功率因数方面具有较好的性能。此外,谐波性能和总谐波畸变表明,采用反步控制策略后,注入电网的电能质量得到了提高。
{"title":"Enhancement of power quality for a transformerless single-phase grid-connected photovoltaic system using backstepping control approach","authors":"K. Chigane, M. Ouassaid","doi":"10.1109/EITECH.2017.8255251","DOIUrl":"https://doi.org/10.1109/EITECH.2017.8255251","url":null,"abstract":"This paper presents a nonlinear control of the active and reactive power for a photovoltaic system. This latest is connected into the grid via transformless voltage source inverter. The design of the controller is based on the Backstepping approach to establish the inverter control laws. An analysis based on Lyapunov stability approach is developed to guarantee the global asymptotic stability of the system. In order to verify the effectiveness of the proposed controller, the obtained results are compared with those of the conventional linear controllers under changing in solar irradiance. The results show that the proposed control laws provide better performance in terms of references tracking and unity power factor. Furthermore, the harmonic performance and total harmonic distortion revealed that the power quality injected into the electrical network are enhanced using the Backstepping control strategy.","PeriodicalId":447139,"journal":{"name":"2017 International Conference on Electrical and Information Technologies (ICEIT)","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126217490","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
Design of a novel compact dual-band monopole quasi Egg-shaped antenna for C and Ku bands 一种新型紧凑双频C、Ku波段单极准蛋形天线设计
Pub Date : 2017-11-01 DOI: 10.1109/EITECH.2017.8255271
A. Boutejdar, M. Salamin, Soumia Elhani, S. Bennani
In this research a novel planar monopole antenna for dual band applications is proposed. The antenna topology operates at two operating frequencies at 4.1 and 11.3 GHz which covers C and Ku bands. The proposed design consists of a quasiegg-shaped radiating patch and partial ground plane. A stepped cut in the radiating patch and the partial ground plane are used, to obtain the dual band antenna. The proposed antenna is printed on the FR4 substrate and is optimized by computer simulation technology (CST) and occupies an area of 11.5 × 16.6 × 1.6 mm3. The desired resonant frequencies are obtained by adjusting the length of cut stepped slits in the both sides of quasi egg Quasi Egg-Shaped radiated patch and of the partial ground plane. The proposed topology achieves good impedance matching, return loss (greater than −10dB), radiation patterns and consistent gain at all two operating bands. The proposed antenna has VSWR < 2 except the 5.11–9.79 GHz band. Detail of the proposed antenna design, simulated for the return loss parameter are described and discussed.
本研究提出了一种适用于双频应用的新型平面单极天线。该天线拓扑工作在4.1 GHz和11.3 GHz两个工作频率下,覆盖C和Ku频段。所提出的设计由准蛋形辐射片和部分地平面组成。采用辐射片的阶梯式切割和部分地平面,得到双频天线。该天线印刷在FR4衬底上,并通过计算机仿真技术(CST)进行优化,面积为11.5 × 16.6 × 1.6 mm3。通过调整准蛋形辐射片和部分地平面两侧的切割阶梯式狭缝的长度来获得所需的谐振频率。所提出的拓扑结构在所有两个工作频段都实现了良好的阻抗匹配、回波损耗(大于- 10dB)、辐射模式和一致的增益。除5.11 ~ 9.79 GHz频段外,天线的驻波比均< 2。详细介绍了天线的设计方案,并对回波损耗参数进行了仿真。
{"title":"Design of a novel compact dual-band monopole quasi Egg-shaped antenna for C and Ku bands","authors":"A. Boutejdar, M. Salamin, Soumia Elhani, S. Bennani","doi":"10.1109/EITECH.2017.8255271","DOIUrl":"https://doi.org/10.1109/EITECH.2017.8255271","url":null,"abstract":"In this research a novel planar monopole antenna for dual band applications is proposed. The antenna topology operates at two operating frequencies at 4.1 and 11.3 GHz which covers C and Ku bands. The proposed design consists of a quasiegg-shaped radiating patch and partial ground plane. A stepped cut in the radiating patch and the partial ground plane are used, to obtain the dual band antenna. The proposed antenna is printed on the FR4 substrate and is optimized by computer simulation technology (CST) and occupies an area of 11.5 × 16.6 × 1.6 mm3. The desired resonant frequencies are obtained by adjusting the length of cut stepped slits in the both sides of quasi egg Quasi Egg-Shaped radiated patch and of the partial ground plane. The proposed topology achieves good impedance matching, return loss (greater than −10dB), radiation patterns and consistent gain at all two operating bands. The proposed antenna has VSWR < 2 except the 5.11–9.79 GHz band. Detail of the proposed antenna design, simulated for the return loss parameter are described and discussed.","PeriodicalId":447139,"journal":{"name":"2017 International Conference on Electrical and Information Technologies (ICEIT)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126318009","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
Model checking of real-time systems using rewriting logic 使用重写逻辑的实时系统模型检查
Pub Date : 2017-11-01 DOI: 10.1109/EITECH.2017.8255280
Messaoud Bendiaf, M. Bourahla, Malika Boudia, S. Rehab
With the fast development of IT industry, our reliance on the functioning of software systems is growing rapidly. These systems are becoming more and more complicated and are massively encroaching on daily life, e.g., the Internet, embedded systems, mobile devices and so on. The design and verification of concurrent and real-time systems are notoriously difficult problems. Among the software validation techniques, model checking approach has been proved to be successful as an automatic and effective solution. In this paper, we propose a methodology for the modeling and verification of the Real-Time and Hybrid Systems. The Real-Time Maude tool has been used to formally model, simulate, and model check real-time and hybrid systems. This paper also shows via a case study how Real-Time Maude search analysis found a previously unknown behavior that led to missed deadlines. First, the case study is modeled using timed and/or hybrid automata and then SysML's state machine diagram is described, for allowing more precise specification. The specified model is verified against specified LTL properties using Maude LTL Model Checker.
随着IT行业的快速发展,我们对软件系统功能的依赖也在迅速增长。这些系统正变得越来越复杂,并且正在大规模地侵入人们的日常生活,例如互联网、嵌入式系统、移动设备等等。并发和实时系统的设计和验证是众所周知的难题。在软件验证技术中,模型检查方法作为一种自动有效的解决方案已被证明是成功的。在本文中,我们提出了一种实时和混合系统的建模和验证方法。Real-Time Maude工具已用于正式建模、仿真和模型检查实时和混合系统。本文还通过一个案例研究展示了Real-Time Maude搜索分析如何发现导致错过最后期限的先前未知行为。首先,使用定时和/或混合自动机对案例研究进行建模,然后描述SysML的状态机图,以便实现更精确的规范。使用Maude LTL model Checker根据指定的LTL属性验证指定的模型。
{"title":"Model checking of real-time systems using rewriting logic","authors":"Messaoud Bendiaf, M. Bourahla, Malika Boudia, S. Rehab","doi":"10.1109/EITECH.2017.8255280","DOIUrl":"https://doi.org/10.1109/EITECH.2017.8255280","url":null,"abstract":"With the fast development of IT industry, our reliance on the functioning of software systems is growing rapidly. These systems are becoming more and more complicated and are massively encroaching on daily life, e.g., the Internet, embedded systems, mobile devices and so on. The design and verification of concurrent and real-time systems are notoriously difficult problems. Among the software validation techniques, model checking approach has been proved to be successful as an automatic and effective solution. In this paper, we propose a methodology for the modeling and verification of the Real-Time and Hybrid Systems. The Real-Time Maude tool has been used to formally model, simulate, and model check real-time and hybrid systems. This paper also shows via a case study how Real-Time Maude search analysis found a previously unknown behavior that led to missed deadlines. First, the case study is modeled using timed and/or hybrid automata and then SysML's state machine diagram is described, for allowing more precise specification. The specified model is verified against specified LTL properties using Maude LTL Model Checker.","PeriodicalId":447139,"journal":{"name":"2017 International Conference on Electrical and Information Technologies (ICEIT)","volume":"33 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128246532","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
A novel method for image categorization based on histogram oriented gradient and support vector machine 基于直方图梯度和支持向量机的图像分类新方法
Pub Date : 2017-11-01 DOI: 10.1109/EITECH.2017.8255229
Mohammed Reda Guedira, A. E. Qadi, Mohammed Rziza Lrit, M. Hassouni
In this paper, we introduce a new method for categorisation natural image based on different techniques. Concerning the color and texture, we made a pre-treatment to convert the database images on to the gray-scale and the Haar wavelet transformation. For this, we use the Oriented Gradient Histogram (HOG) for each sub-band to extract these image features. We have used a proper classification based on the support vector machine (SVM) to recognize these images. The result part and experience applied on a Corel database that is known in natural images shows a better performance of the proposed system based on accuracy and speed compared to other CBIR methods.
本文介绍了一种基于不同技术的自然图像分类新方法。在颜色和纹理方面,对数据库图像进行预处理,将其转换为灰度图像,并进行Haar小波变换。为此,我们对每个子带使用定向梯度直方图(HOG)来提取这些图像特征。我们使用了基于支持向量机(SVM)的适当分类来识别这些图像。结果部分和在自然图像中已知的Corel数据库上的应用经验表明,与其他CBIR方法相比,该系统在精度和速度方面具有更好的性能。
{"title":"A novel method for image categorization based on histogram oriented gradient and support vector machine","authors":"Mohammed Reda Guedira, A. E. Qadi, Mohammed Rziza Lrit, M. Hassouni","doi":"10.1109/EITECH.2017.8255229","DOIUrl":"https://doi.org/10.1109/EITECH.2017.8255229","url":null,"abstract":"In this paper, we introduce a new method for categorisation natural image based on different techniques. Concerning the color and texture, we made a pre-treatment to convert the database images on to the gray-scale and the Haar wavelet transformation. For this, we use the Oriented Gradient Histogram (HOG) for each sub-band to extract these image features. We have used a proper classification based on the support vector machine (SVM) to recognize these images. The result part and experience applied on a Corel database that is known in natural images shows a better performance of the proposed system based on accuracy and speed compared to other CBIR methods.","PeriodicalId":447139,"journal":{"name":"2017 International Conference on Electrical and Information Technologies (ICEIT)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134269521","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}
引用次数: 7
期刊
2017 International Conference on Electrical and Information Technologies (ICEIT)
全部 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