首页 > 最新文献

2000 10th Mediterranean Electrotechnical Conference. Information Technology and Electrotechnology for the Mediterranean Countries. Proceedings. MeleCon 2000 (Cat. No.00CH37099)最新文献

英文 中文
Application of sensitivity based coherency analysis to large power system optimisation problems 基于灵敏度的相干分析在大型电力系统优化问题中的应用
Andreas Vlachos, G. Contaxis
Many power system optimisation problems deal with a large number of control variables and operating constraints. For large power systems, the set of constraints may be large, however, the number of operating constraints, which dictate the control resetting actions may be small. From the efficiency point of view, it is important to detect and include in the solution model only a small number of failed operating constraints i.e. the effective constraints. In this paper, a sensitivity based coherency analysis method for identifying coherent constrained variables to be included in mathematical formulations of large power system optimisation problems is described. An illustrative example of the method's application is presented.
许多电力系统优化问题涉及大量的控制变量和运行约束。对于大型电力系统,约束的集合可能很大,然而,决定控制复位动作的运行约束的数量可能很少。从效率的角度来看,重要的是检测并在解决方案模型中只包含少量失败的操作约束,即有效约束。本文描述了一种基于灵敏度的相干分析方法,用于识别大型电力系统优化问题数学公式中包含的相干约束变量。最后给出了该方法的应用实例。
{"title":"Application of sensitivity based coherency analysis to large power system optimisation problems","authors":"Andreas Vlachos, G. Contaxis","doi":"10.1109/MELCON.2000.879744","DOIUrl":"https://doi.org/10.1109/MELCON.2000.879744","url":null,"abstract":"Many power system optimisation problems deal with a large number of control variables and operating constraints. For large power systems, the set of constraints may be large, however, the number of operating constraints, which dictate the control resetting actions may be small. From the efficiency point of view, it is important to detect and include in the solution model only a small number of failed operating constraints i.e. the effective constraints. In this paper, a sensitivity based coherency analysis method for identifying coherent constrained variables to be included in mathematical formulations of large power system optimisation problems is described. An illustrative example of the method's application is presented.","PeriodicalId":151424,"journal":{"name":"2000 10th Mediterranean Electrotechnical Conference. Information Technology and Electrotechnology for the Mediterranean Countries. Proceedings. MeleCon 2000 (Cat. No.00CH37099)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129359216","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
Maximum periodic correlation of pseudo-random sequences in CDMA CDMA中伪随机序列的最大周期相关
M. Stular, S. Tomažič
The article presents the comparison of the Welch, modified Welch, Sarwate and Sidelnikov lower bounds on the correlation of CDMA codes. It is shown that the modified Welch bound is the best general bound known, while for codes whose symbols are roots of unity, the Sidelnikov bound is tighter. It appears likely that these bounds are nonoptimal for larger number of codes in a code set, and that there is still place for further improvements.
本文比较了CDMA码相关的Welch下界、修正Welch下界、Sarwate下界和Sidelnikov下界。证明了改进的Welch界是已知的最好的一般界,而对于符号为单位根的码,Sidelnikov界更紧。对于代码集中大量的代码,这些边界似乎不是最优的,并且仍有进一步改进的余地。
{"title":"Maximum periodic correlation of pseudo-random sequences in CDMA","authors":"M. Stular, S. Tomažič","doi":"10.1109/MELCON.2000.880455","DOIUrl":"https://doi.org/10.1109/MELCON.2000.880455","url":null,"abstract":"The article presents the comparison of the Welch, modified Welch, Sarwate and Sidelnikov lower bounds on the correlation of CDMA codes. It is shown that the modified Welch bound is the best general bound known, while for codes whose symbols are roots of unity, the Sidelnikov bound is tighter. It appears likely that these bounds are nonoptimal for larger number of codes in a code set, and that there is still place for further improvements.","PeriodicalId":151424,"journal":{"name":"2000 10th Mediterranean Electrotechnical Conference. Information Technology and Electrotechnology for the Mediterranean Countries. Proceedings. MeleCon 2000 (Cat. No.00CH37099)","volume":"175 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129451147","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}
引用次数: 12
Analysis of sensitivity to the main parameters involved in the digital implementation of the UIE flickermeter 对UIE闪变仪数字化实现中涉及的主要参数的灵敏度分析
J. Ruiz, A. Lazkano, E. Aramendi, L. Leturiondo
The IEC 61000-4-15 standard describes the analog implementation of a flickermeter up to the output of block 4. The digital implementation of a flickermeter is accepted provided that it satisfies the accuracy specifications both for instantaneous flicker sensation per unit and for the short-term flicker severity or Pst. Nowadays, most of the commercial flickermeters are partially or totally digital. It is noticed that even though they comply with the accuracy specifications of the standard, they could yield maximum measurement differences of 30% in field tests according to some authors. In this paper the influence of the main parameters involved in the digital implementation of the UIE flickermeter has been analysed, both for instantaneous flicker sensation and for the Pst. The flickermeter has been implemented using the MATLAB programming language. The testing voltage signals can be analytically generated or read from field test record files. Four parameters has been analysed in order to quantify their influence in instantaneous flicker sensation: signal sampling rate; number of resolution bits in quantization; processing sampling rate; and influence of the high pass filter for demodulation. In relation to the flicker severity measurement accuracy, besides aforementioned parameters, the influence of the number of classes and of the type of classification in block 5 has been analysed.
IEC 61000-4-15标准描述了一个闪烁计的模拟实现,直到4块输出。如果闪烁计的数字实现满足每单位瞬时闪烁感觉和短期闪烁严重程度或Pst的精度规范,则接受该数字实现。如今,大多数商用闪烁仪都是部分或全部数字化的。值得注意的是,根据一些作者的说法,即使它们符合标准的精度要求,在现场测试中也会产生最大30%的测量差异。本文分析了UIE闪烁计数字化实现中涉及的主要参数对瞬时闪烁感觉和Pst的影响。利用MATLAB编程语言实现了该闪变仪。测试电压信号可以分析生成或从现场测试记录文件中读取。分析了四个参数,以量化它们对瞬时闪烁感觉的影响:信号采样率;量化中分辨率位数;处理采样率;以及高通滤波器对解调的影响。除了上述参数外,还分析了block 5中类别数和分类类型对闪烁严重程度测量精度的影响。
{"title":"Analysis of sensitivity to the main parameters involved in the digital implementation of the UIE flickermeter","authors":"J. Ruiz, A. Lazkano, E. Aramendi, L. Leturiondo","doi":"10.1109/MELCON.2000.880060","DOIUrl":"https://doi.org/10.1109/MELCON.2000.880060","url":null,"abstract":"The IEC 61000-4-15 standard describes the analog implementation of a flickermeter up to the output of block 4. The digital implementation of a flickermeter is accepted provided that it satisfies the accuracy specifications both for instantaneous flicker sensation per unit and for the short-term flicker severity or Pst. Nowadays, most of the commercial flickermeters are partially or totally digital. It is noticed that even though they comply with the accuracy specifications of the standard, they could yield maximum measurement differences of 30% in field tests according to some authors. In this paper the influence of the main parameters involved in the digital implementation of the UIE flickermeter has been analysed, both for instantaneous flicker sensation and for the Pst. The flickermeter has been implemented using the MATLAB programming language. The testing voltage signals can be analytically generated or read from field test record files. Four parameters has been analysed in order to quantify their influence in instantaneous flicker sensation: signal sampling rate; number of resolution bits in quantization; processing sampling rate; and influence of the high pass filter for demodulation. In relation to the flicker severity measurement accuracy, besides aforementioned parameters, the influence of the number of classes and of the type of classification in block 5 has been analysed.","PeriodicalId":151424,"journal":{"name":"2000 10th Mediterranean Electrotechnical Conference. Information Technology and Electrotechnology for the Mediterranean Countries. Proceedings. MeleCon 2000 (Cat. No.00CH37099)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130496923","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}
引用次数: 15
Word-length optimization of LMS adaptive FIR filters
M. Leban, J. Tasic
The paper deals with the word-length optimization of LMS adaptive FIR filters using fixed-point arithmetic. As the optimization criterion, a weighted sum of the mean-square error /spl xi/, area and delay of the adaptive filter considering target implementation technology is used. Because the optimization is performed by a computer and there is no need to have a simple expression for manual reviewing, a more accurate expression for the mean-square error has been derived considering an improved quantization model. Word-length optimization was performed by a genetic algorithm because classical optimization methods were not suitable for such optimization. Simulation results are given for an adaptive echo canceller.
利用不动点算法研究了LMS自适应FIR滤波器的字长优化问题。考虑目标实现技术,采用自适应滤波器的均方误差/spl xi/、面积和时延加权和作为优化准则。由于优化是由计算机完成的,不需要简单的表达式进行人工评审,因此考虑改进的量化模型,推导出更准确的均方误差表达式。由于经典优化方法不适用于字长优化,因此采用遗传算法进行字长优化。给出了一种自适应回波消除器的仿真结果。
{"title":"Word-length optimization of LMS adaptive FIR filters","authors":"M. Leban, J. Tasic","doi":"10.1109/MELCON.2000.880048","DOIUrl":"https://doi.org/10.1109/MELCON.2000.880048","url":null,"abstract":"The paper deals with the word-length optimization of LMS adaptive FIR filters using fixed-point arithmetic. As the optimization criterion, a weighted sum of the mean-square error /spl xi/, area and delay of the adaptive filter considering target implementation technology is used. Because the optimization is performed by a computer and there is no need to have a simple expression for manual reviewing, a more accurate expression for the mean-square error has been derived considering an improved quantization model. Word-length optimization was performed by a genetic algorithm because classical optimization methods were not suitable for such optimization. Simulation results are given for an adaptive echo canceller.","PeriodicalId":151424,"journal":{"name":"2000 10th Mediterranean Electrotechnical Conference. Information Technology and Electrotechnology for the Mediterranean Countries. Proceedings. MeleCon 2000 (Cat. No.00CH37099)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129131331","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}
引用次数: 6
Digital signal and image processing for meteorological radars 气象雷达的数字信号和图像处理
D. Rancic, P. Eferica, S. Djordjevic-Kajan, A. Kostic, M. Smiljanic, P. Vukovic
This paper describes digital signal and image processing software for conventional weather radars. The software is developed to support the hail suppression system in Serbia. The system is built by connecting a specialized data acquisition and processing hardware on a standard PC motherboard. Three additional boards have been installed into the PC: A/D converter for radar signal digitalization, DSP board for real-time signal processing, and A/D, D/A and digital I/O general purpose board that controls the antenna. The architecture of the entire system as well as applied solutions for signal and image processing are presented. These includes real-time processing of the radar signal, real-time aspect of the meteorological products visualization method and synchronization protocol between different hardware components.
本文介绍了传统气象雷达的数字信号和图像处理软件。该软件是为支持塞尔维亚的冰雹抑制系统而开发的。该系统是通过在标准PC主板上连接专用数据采集和处理硬件而构建的。另外还安装了三块电路板:用于雷达信号数字化的A/D转换器,用于实时信号处理的DSP板,以及用于控制天线的A/D、D/A和数字I/O通用板。给出了整个系统的结构以及信号和图像处理的应用方案。其中包括雷达信号的实时处理、气象产品的实时可视化方法和不同硬件组件之间的同步协议。
{"title":"Digital signal and image processing for meteorological radars","authors":"D. Rancic, P. Eferica, S. Djordjevic-Kajan, A. Kostic, M. Smiljanic, P. Vukovic","doi":"10.1109/MELCON.2000.880011","DOIUrl":"https://doi.org/10.1109/MELCON.2000.880011","url":null,"abstract":"This paper describes digital signal and image processing software for conventional weather radars. The software is developed to support the hail suppression system in Serbia. The system is built by connecting a specialized data acquisition and processing hardware on a standard PC motherboard. Three additional boards have been installed into the PC: A/D converter for radar signal digitalization, DSP board for real-time signal processing, and A/D, D/A and digital I/O general purpose board that controls the antenna. The architecture of the entire system as well as applied solutions for signal and image processing are presented. These includes real-time processing of the radar signal, real-time aspect of the meteorological products visualization method and synchronization protocol between different hardware components.","PeriodicalId":151424,"journal":{"name":"2000 10th Mediterranean Electrotechnical Conference. Information Technology and Electrotechnology for the Mediterranean Countries. Proceedings. MeleCon 2000 (Cat. No.00CH37099)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116219891","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
Intermodal transportation network analysis-a GIS application 多式联运网络分析—GIS应用
M. Boilé
A framework is presented which may be used to analyze and evaluate intermodal networks. An intermodal network may be defined as an integrated transportation system consisting of two or more modes. Modes on intermodal networks are connected through facilities which allow travelers and/or freight to transfer from one mode to another during a trip from an origin to a destination. Network equilibrium models may be used in the transportation planning field to make predictions regarding future network activity in terms of traffic volumes and travel costs, to evaluate alternative policies and to aid the decision making process in terms of future transportation plans. To expedite and facilitate the effort of detailed intermodal network representation and analysis, a network equilibrium model is interfaced with a geographic information system (GIS). This interface takes advantage of new technologies and sources of information on the physical components of the network. It allows the user to store the results of the proposed models in a GIS environment and display them in a spatial data format.
提出了一个可用于分析和评价多式联运网络的框架。多式联运网络可以定义为由两种或两种以上模式组成的综合运输系统。多式联运网络中的各种模式是通过设施连接起来的,这些设施允许旅客和/或货物在从出发地到目的地的旅途中从一种模式转换到另一种模式。网络均衡模型可用于交通规划领域,根据交通量和出行成本对未来网络活动做出预测,评估备选政策,并帮助制定未来交通计划的决策过程。为了加快和方便详细的多式联运网络表示和分析,将网络平衡模型与地理信息系统(GIS)相结合。该接口利用了网络物理组件上的新技术和信息源。它允许用户将提出的模型的结果存储在GIS环境中,并以空间数据格式显示它们。
{"title":"Intermodal transportation network analysis-a GIS application","authors":"M. Boilé","doi":"10.1109/MELCON.2000.880020","DOIUrl":"https://doi.org/10.1109/MELCON.2000.880020","url":null,"abstract":"A framework is presented which may be used to analyze and evaluate intermodal networks. An intermodal network may be defined as an integrated transportation system consisting of two or more modes. Modes on intermodal networks are connected through facilities which allow travelers and/or freight to transfer from one mode to another during a trip from an origin to a destination. Network equilibrium models may be used in the transportation planning field to make predictions regarding future network activity in terms of traffic volumes and travel costs, to evaluate alternative policies and to aid the decision making process in terms of future transportation plans. To expedite and facilitate the effort of detailed intermodal network representation and analysis, a network equilibrium model is interfaced with a geographic information system (GIS). This interface takes advantage of new technologies and sources of information on the physical components of the network. It allows the user to store the results of the proposed models in a GIS environment and display them in a spatial data format.","PeriodicalId":151424,"journal":{"name":"2000 10th Mediterranean Electrotechnical Conference. Information Technology and Electrotechnology for the Mediterranean Countries. Proceedings. MeleCon 2000 (Cat. No.00CH37099)","volume":"51 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113973143","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}
引用次数: 23
Wireless communication employing high altitude long endurance aeronautical platforms 采用高空长航时航空平台的无线通信
S. Tomažič, A. Vugrinec, P. Skraba
This article presents a possible alternative solution for wireless service providers. Wireless communication is currently the fastest developing branch in telecommunications. The number of wireless, especially mobile, subscribers is increasing at a much faster rate than the number of wire subscribers. Today, wireless communication is divided into terrestrial and satellite communications, both of which bring with it certain benefits and drawbacks. The described high altitude long endurance aeronautical platforms present an intriguing alternative. From the telecommunications perspective, they combine the advantages of both the terrestrial and satellite counterparts. When the HALE reaches the stage of operating in a stable fashion, becoming economically acceptable, reliable and safe, they will offer a new mode of providing telecommunication services.
本文为无线服务提供商提供了一种可能的替代解决方案。无线通信是目前通信技术中发展最快的一个分支。无线用户数,尤其是移动用户数的增长速度远远快于有线用户数的增长速度。今天,无线通信分为地面通信和卫星通信,两者都有一定的优点和缺点。所描述的高空长航时航空平台提供了一个有趣的选择。从电信的角度来看,它们结合了地面通信和卫星通信的优点。当HALE达到稳定运行、经济上可接受、可靠和安全的阶段时,它们将提供一种提供电信服务的新模式。
{"title":"Wireless communication employing high altitude long endurance aeronautical platforms","authors":"S. Tomažič, A. Vugrinec, P. Skraba","doi":"10.1109/MELCON.2000.880441","DOIUrl":"https://doi.org/10.1109/MELCON.2000.880441","url":null,"abstract":"This article presents a possible alternative solution for wireless service providers. Wireless communication is currently the fastest developing branch in telecommunications. The number of wireless, especially mobile, subscribers is increasing at a much faster rate than the number of wire subscribers. Today, wireless communication is divided into terrestrial and satellite communications, both of which bring with it certain benefits and drawbacks. The described high altitude long endurance aeronautical platforms present an intriguing alternative. From the telecommunications perspective, they combine the advantages of both the terrestrial and satellite counterparts. When the HALE reaches the stage of operating in a stable fashion, becoming economically acceptable, reliable and safe, they will offer a new mode of providing telecommunication services.","PeriodicalId":151424,"journal":{"name":"2000 10th Mediterranean Electrotechnical Conference. Information Technology and Electrotechnology for the Mediterranean Countries. Proceedings. MeleCon 2000 (Cat. No.00CH37099)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124348486","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
Dynamic analysis of a variable speed wind turbine equipped with a voltage source AC/DC/AC converter interface and a reactive current control loop 带电压源AC/DC/AC变换器接口和无功电流控制环的变速风力机动态分析
F. Kanellos, S. Papathanassiou, N. Hatziargyriou
In this paper the analysis of the dynamic behavior of a variable speed wind turbine (VSWT) is presented. Comparison between variable speed and constant speed (CS) mode of operation is also performed. The examined wind turbine is equipped with a dual PWM voltage source converter cascade and connected to an electrical network represented by the Thevenin equivalent. Conventional scalar control is applied to the electrical generator, employing the constant V/f principle. Furthermore, the grid side inverter is assumed capable of regulating its output reactive power in order to maintain the voltage within permissible variations. The objective is to point out some of the advantages of the variable speed (VS) operation, such as the improved output power quality, the decrease of the mechanical stresses and the capability of controlling the voltage of the local grid.
本文对变速风力发电机组的动力特性进行了分析。并对变速和恒速(CS)运行方式进行了比较。所检查的风力涡轮机配备了双PWM电压源转换器级联,并连接到由Thevenin等效表示的电网。传统的标量控制应用于发电机,采用恒定的V/f原理。此外,假设电网侧逆变器能够调节其输出无功功率,以保持电压在允许的变化范围内。目的是指出变速(VS)运行的一些优点,如提高输出电能质量,降低机械应力和控制局部电网电压的能力。
{"title":"Dynamic analysis of a variable speed wind turbine equipped with a voltage source AC/DC/AC converter interface and a reactive current control loop","authors":"F. Kanellos, S. Papathanassiou, N. Hatziargyriou","doi":"10.1109/MELCON.2000.879698","DOIUrl":"https://doi.org/10.1109/MELCON.2000.879698","url":null,"abstract":"In this paper the analysis of the dynamic behavior of a variable speed wind turbine (VSWT) is presented. Comparison between variable speed and constant speed (CS) mode of operation is also performed. The examined wind turbine is equipped with a dual PWM voltage source converter cascade and connected to an electrical network represented by the Thevenin equivalent. Conventional scalar control is applied to the electrical generator, employing the constant V/f principle. Furthermore, the grid side inverter is assumed capable of regulating its output reactive power in order to maintain the voltage within permissible variations. The objective is to point out some of the advantages of the variable speed (VS) operation, such as the improved output power quality, the decrease of the mechanical stresses and the capability of controlling the voltage of the local grid.","PeriodicalId":151424,"journal":{"name":"2000 10th Mediterranean Electrotechnical Conference. Information Technology and Electrotechnology for the Mediterranean Countries. Proceedings. MeleCon 2000 (Cat. No.00CH37099)","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124082440","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}
引用次数: 33
Model checking of concurrent system with SDL/sup --/ specification 用SDL/sup -/规范对并发系统进行模型检验
B. Blašković, S. Dembitz, P. Knezevic
It is well known that the best results regarding concurrent system design are obtained when design errors are found in the earliest possible phase. For that purpose system specification is verified through model checking. We try to hide, as much as possible, the model checking formalism from the designers viewpoint. First, a system is modeled as a set of processes described formally as an extended finite state machine within the SDL/sup --/ language. Such a description is translated into the model checker, SPIN, where the desired properties are verified. Special attention is given to the possibility of modeling various types of transitions and to a definition of the tool where model checking is performed. With such an approach the designer can have the, SDL/sup --/ specification verified against the desired properties.
众所周知,在尽可能早的阶段发现设计错误,可以获得最佳的并发系统设计结果。为此,通过模型检查来验证系统规格。我们试图尽可能地从设计者的角度隐藏模型检查的形式主义。首先,将系统建模为一组过程,在SDL/sup——/语言中将其正式描述为扩展的有限状态机。这样的描述被转换到模型检查器SPIN中,在那里验证所需的属性。特别注意建模各种类型转换的可能性,以及执行模型检查的工具的定义。使用这种方法,设计人员可以根据所需的属性验证SDL/sup -/规范。
{"title":"Model checking of concurrent system with SDL/sup --/ specification","authors":"B. Blašković, S. Dembitz, P. Knezevic","doi":"10.1109/MELCON.2000.880372","DOIUrl":"https://doi.org/10.1109/MELCON.2000.880372","url":null,"abstract":"It is well known that the best results regarding concurrent system design are obtained when design errors are found in the earliest possible phase. For that purpose system specification is verified through model checking. We try to hide, as much as possible, the model checking formalism from the designers viewpoint. First, a system is modeled as a set of processes described formally as an extended finite state machine within the SDL/sup --/ language. Such a description is translated into the model checker, SPIN, where the desired properties are verified. Special attention is given to the possibility of modeling various types of transitions and to a definition of the tool where model checking is performed. With such an approach the designer can have the, SDL/sup --/ specification verified against the desired properties.","PeriodicalId":151424,"journal":{"name":"2000 10th Mediterranean Electrotechnical Conference. Information Technology and Electrotechnology for the Mediterranean Countries. Proceedings. MeleCon 2000 (Cat. No.00CH37099)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128068456","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
JERS radar data in environment pollution monitoring-Zagreb example JERS雷达数据在环境污染监测中的应用——以萨格勒布为例
G. Hudec, S. Dembitz
Jakusevac dumpsite is located along the right bank of the Sava river near Zagreb. As modern methods for garbage recycling have not yet been implemented, Jakusevac is at the moment one of the largest open dump locations in Europe. It is a place of great concern in regard to environment pollution. To obtain information about potential pollution outflows, remote sensing methods have been implemented. The primary concern in pollution prevention in urban areas is water flow protection. Beside open water outflows, there are underground ones that could be detected only by the increase in surface soil moisture. JERS radar data have been processed. With a spatial resolution of 12.5 meters and good water content detection capability of radar data, it has been chosen as a method for environment monitoring. The processed data have shown that the endangered area is much larger than previously suspected. As a result of this, researching new areas for ground control points has been recommended, as well as a continuous remote sensing environment monitoring.
Jakusevac垃圾场位于萨格勒布附近的萨瓦河右岸。由于现代垃圾回收方法尚未实施,雅库塞瓦茨目前是欧洲最大的露天垃圾场之一。这是一个环境污染严重的地方。为了获得有关潜在污染流出的信息,已经采用了遥感方法。城市污染防治的首要问题是水流保护。除了露天流出的水外,还有地下流出的水,只能通过地表土壤湿度的增加来检测。JERS雷达数据已处理完毕。它具有12.5米的空间分辨率和良好的雷达数据含水量检测能力,被选择作为环境监测的一种方法。经过处理的数据表明,濒危区域比以前估计的要大得多。因此,建议研究新的地面控制点区域,并进行持续的遥感环境监测。
{"title":"JERS radar data in environment pollution monitoring-Zagreb example","authors":"G. Hudec, S. Dembitz","doi":"10.1109/MELCON.2000.880063","DOIUrl":"https://doi.org/10.1109/MELCON.2000.880063","url":null,"abstract":"Jakusevac dumpsite is located along the right bank of the Sava river near Zagreb. As modern methods for garbage recycling have not yet been implemented, Jakusevac is at the moment one of the largest open dump locations in Europe. It is a place of great concern in regard to environment pollution. To obtain information about potential pollution outflows, remote sensing methods have been implemented. The primary concern in pollution prevention in urban areas is water flow protection. Beside open water outflows, there are underground ones that could be detected only by the increase in surface soil moisture. JERS radar data have been processed. With a spatial resolution of 12.5 meters and good water content detection capability of radar data, it has been chosen as a method for environment monitoring. The processed data have shown that the endangered area is much larger than previously suspected. As a result of this, researching new areas for ground control points has been recommended, as well as a continuous remote sensing environment monitoring.","PeriodicalId":151424,"journal":{"name":"2000 10th Mediterranean Electrotechnical Conference. Information Technology and Electrotechnology for the Mediterranean Countries. Proceedings. MeleCon 2000 (Cat. No.00CH37099)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134383697","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
期刊
2000 10th Mediterranean Electrotechnical Conference. Information Technology and Electrotechnology for the Mediterranean Countries. Proceedings. MeleCon 2000 (Cat. No.00CH37099)
全部 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