检索结果-内蒙古大学图书馆

2012 IEEE 35th Software engineering Workshop, SEW 2012

作者： Stappers, F.P.M. Reniers, M.A. Weber, S. Groote, J.F. Dept. of Mathematics and Computer Science Eindhoven University of Technology P.O. Box 513 NL-5600 MB Eindhoven Netherlands Dept. of Mechanical Engineering Eindhoven University of Technology P.O. Box 513 NL-5600 MB Eindhoven Netherlands Dept. for Machine Control and Infrastructure ASML P.O. Box 324 NL-5500 AH Veldhoven Netherlands

ISBN: (纸本)9780769549477

The mCRL2 language is a formal specification language that is used to specify, model, analyze and verify behavioral properties for distributed systems and protocols. The semantics of the mCRL2 language is defined formally using Structural Operational Semantics (SOS). In [32] we propose an approach that takes the SOS of a formal language, along with a concrete model, that serves as an initialization, and transforms it to a Linear Process Specification (LPS). In this paper we extend the approach and show that it can be applied to a formal language that in practice is used to specify and model discussed systems. Hence, we take mCRL2's own operational semantics and transform it into an mCRL2 specification. In essence, this means that we are feeding the mCRL2 toolset its own formal language definition. This semantic dogfooding approach validates the implemented behavior for the mCRL2 language against its formal definition. By performing this exercise we revealed gaps between the defined and implemented semantics. These gaps have subsequently been resolved. © 2013 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Vehicle navigation service based on real-time traffic information: A RESTful NetAPI solution with long polling notification

Vehicle navigation service based on real-time traffic inform...

引用

Ubiquitous Positioning Indoor Navigation and Location Based Service (UPINLBS)

作者： Giorgio Ghinamo Francesco Vadalà Cecilia Corbi Piergiuseppe Bettassa Fulvio Risso Riccardo Sisto Telecom Italia Torino Italy Dept. of Computer and Control Engineering Politecnico di Torino Torino Italy

GNSS-assisted vehicle navigation services are nowadays very common in most of the developed countries. However, most of those services are either delivered through proprietary technologies, or fall short in flexibility because of the limited capability to couple road information with real-time traffic information. This paper presents the motivations and a brief summary of a vehicle navigation service based on real-time traffic information, delivered through an open protocol that is currently under standardization in the Open Mobile Alliance forum.

关键词： Servers Navigation Real-time systems Roads Mobile communication Routing Standards

来源：评论

学校读者我要写书评

暂无评论

The transient impulse response modeling method and the local polynomial method for nonparametric system identification

The transient impulse response modeling method and the local...

引用

Universite Libre de Bruxelles

作者： Gevers, Michel Hägg, Per Hjalmarsson, Håkan Pintelon, Rik Schoukens, Johan CESAME Université Catholique de Louvain B1348 Louvain la Neuve Belgium Dept. ELEC Vrije Universiteit Brussel Pleinlaan 2 B1050 Brussels Belgium Automatic Control Lab. and ACCESS School of Electrical Engineering KTH SE-100 44 Stockholm Sweden

ISBN: (纸本)9783902823069

This paper analyzes two recent methods for the nonparametric estimation of the Frequency Response Function (FRF) from input-output data using Prediction Error identification. Such FRF estimate can be the main goal of the identification exercise, or it can be a tool for the computation of a nonparametric estimate of the noise spectrum. We show that the choice of the method depends on the signal to noise ratio and on the objective. The method that delivers the best FRF estimate may not deliver the best estimate of the noise spectrum. Our theoretical analysis is illustrated by simulations. © 2012 IFAC.

关键词： Signal to noise ratio

来源：评论

学校读者我要写书评

暂无评论

Fast Monotonic Blind Deconvolution Algorithm for Constrained TV Based Image Restoration

Fast Monotonic Blind Deconvolution Algorithm for Constrained...

引用

World Congress on Intelligent control and Automation

作者： Haiying Liu W. S. Lu Yanan Fu Yu Cheng Tingfang Yan Teng Li Max Q. H. Meng School of Control Science and Engineering Shandong University Dept. of Electrical and Computer Engineering University of Victoria Department of Electronical Engineering Chinese University of Hong Kong

ISBN: (纸本)9781467313971

A new fast monotonic blind deconvolution algorithmic method is investigated based on the constrained variational minimization framework under the periodic boundary conditions. The contributions of our methodology are that the blur operator identification and image restoration can be simultaneously optimized even under high noise level as compared to previous methods. Specifically, the monotone fast iterative shrinkage/thresholding algorithm (MFISTA) combined with the fast gradient projection (FGP) algorithm, is extended to deal with our new proposed algorithm and guarantee the monotonic convergence rate. In addition, the deblurring subproblem is enhanced by incorporating a bisection technique to effectively identify a near optimal value for the regularization parameter of the TV-Frobenius objective function quickly and accurately. Initial experimental results for gray satellite and color wireless capsule endoscopy (WCE) images demonstrate the considerable performance of the proposed algorithm.

关键词： Blind Deconvolution Total Variation De-blurring Denoising Bisection Technique

来源：评论

学校读者我要写书评

暂无评论

A WSN Based Monitoring System for Oil and Gas Transportation through Pipelines

引用

IFAC Proceedings Volumes 2012年第6期45卷 1796-1801页

作者： Petru Junie Octav Dinu Cristian Eremia Dan Stefanoiu Catalin Petrescu Ioan Savulescu “Politehnica” University of Bucharest Dept. of Automatic Control & Computer Science 313 Splaiul Independentei Bucharest-060042 ROMANIA (Tel: +40-21-316-9561 Oil and Gas University of Ploiesti Dept. of Drilling and Extraction 39 Bucuresti Blvd. Ploiesti-100680 ROMANIA (Tel: +40-244-573-171

This article introduces some results obtained in monitoring of long pipelines employed in oil and gas transportation. A mobile unit for signals acquisition, processing, identification and diagnosis (MUSAPID), based on wireless sensors networks (WSN) technology was employed. The MUSAPID architecture was adapted to match the configuration of monitoring system, inspired by the national energy dispatcher. Thus, the system includes four hierarchical levels assigned to: the central dispatcher, the zonal dispatcher, the local dispatcher and the sensor nodes. The sensors are acquiring the flow and temperature of oil from the monitored pipeline. Sensors distribution along the pipeline is of in-line type. Nevertheless, a cross-link schema between sensor nodes is proposed, in order to increase the exploitation safety and to reduce false alarms sending. Two independent monitoring approaches based on comparison between values of sensors in pairs of successive nodes allow controlling the occurrence of rifts and leaks in the pipeline network. One of the approaches is unconventional and uses inter-correlation between the data acquired from two successive sensor nodes, as well as auto-correlation of temperature data. A simple logic to avoid sending false alarms was also implemented.

关键词： WSN topology oil and gas pipelines monitoring (cross-)correlation analysis

来源：评论

学校读者我要写书评

暂无评论

Mean-squared error experiment design for linear regression models

Mean-squared error experiment design for linear regression m...

引用

Universite Libre de Bruxelles

作者： Eckhard, Diego Hjalmarsson, Hakan Rojas, Cristian R. Gevers, Michel Department of Electrical Engineering Universidade Federal do Rio Grande do Sul Brazil Automatic Control Lab. and ACCESS School of Electrical Engineering KTH SE-100 44 Stockholm Sweden CESAME Université catholique de Louvain B1348 Louvain la Neuve Belgium Dept. ELEC Vrije Universiteit Brüssel Pleinlaan 2 BIO50 Brussels Belgium

ISBN: (纸本)9783902823069

This work solves an experiment design problem for a linear regression problem using a reduced order model. The quality of the model is assessed using a mean square error measure that depends linearly on the parameters. The designed input signal ensures a predefined quality of the model while minimizing the input energy. © 2012 IFAC.

关键词： Mean square error

来源：评论

学校读者我要写书评

暂无评论

A distributed newton iteration based localization scheme in underground tunnels

A distributed newton iteration based localization scheme in ...

引用

UKACC International Conference on control (control)

作者： Yuanqing Qin Chunjie Zhou Shuang-Hua Yang Fang Wang Dept. of Control Science & Engineering Huazhong University of Science & Technology Wuhan China Computer Science Department Loughboroug University Loughborough UK

One of the main concerns in underground working tunnels is ensuring the safety of the workers and their equipment. Being aware of the real-time position of personnel in such harsh environment is challenging and requires a sophisticated localization system. With traditional Received Signal Strength (RSS) failing to accurately estimate the distance between nodes due to multipath effect in such long and narrow space, Radio Frequency Time-of-Flight (RF-TOF) is proved to be an alternative method for more accurate distance estimation. To reduce the communication cost, a distributed localization scheme is proposed, where a simple Newton Iteration location estimation algorithm is embedded in the blind node. Linear least square estimation is used as the initial value to accelerate the convergence of the iteration. Experimental results show the effectiveness of the proposed scheme.

关键词： Wireless sensor networks Atmospheric measurements Particle measurements Reliability

来源：评论

学校读者我要写书评

暂无评论

Towards the time varying estimation of complex brain connectivity networks by means of a General Linear Kalman Filter approach

Towards the time varying estimation of complex brain connect...

引用

34th Annual International Conference of the IEEE engineering in Medicine and Biology Society, EMBS 2012

作者： Toppi, J. Babiloni, F. Vecchiato, G. De Vico Fallani, F. Mattia, D. Salinari, S. Milde, T. Leistritz, L. Witte, H. Astolfi, L. Department of Computer Control and Management Engineering Univ. of Rome Sapienza Italy IRCCS Fondazione Santa Lucia Rome Italy Fondazione Santa Lucia Rome Italy Dept. of Physiology and Pharmacology University of Rome Sapienza Italy Bernstein Group Computational Neuroscience Institute of Medical Statistics Germany

ISBN: (纸本)9781424441198

One of the main limitations of the brain functional connectivity estimation methods based on Autoregressive Modeling, like the Granger Causality family of estimators, is the hypothesis that only stationary signals can be included in the estimation process. This hypothesis precludes the analysis of transients which often contain important information about the neural processes of interest. On the other hand, previous techniques developed for overcoming this limitation are affected by problems linked to the dimension of the multivariate autoregressive model (MVAR), which prevents from analysing complex networks like those at the basis of most cognitive functions in the brain. The General Linear Kalman Filter (GLKF) approach to the estimation of adaptive MVARs was recently introduced to deal with a high number of time series (up to 60) in a full multivariate analysis. In this work we evaluated the performances of this new method in terms of estimation quality and adaptation speed, by means of a simulation study in which specific factors of interest were systematically varied in the signal generation to investigate their effect on the method performances. The method was then applied to high density EEG data related to an imaginative task. The results confirmed the possibility to use this approach to study complex connectivity networks in a full multivariate and adaptive fashion, thus opening the way to an effective estimation of complex brain connectivity networks. © 2012 IEEE.

关键词： Complex networks

来源：评论

学校读者我要写书评

暂无评论

Fuzzy watershed algorithm: An enhanced algorithm for 2D gel electrophoresis image segmentation

引用

International Journal of computer Science Issues 2012年第2 2-3期9卷 561-577页

作者： Rashwan, Shaheera Sarhan, Amany Faheem, Muhamed Talaat Youssef, Bayumy.A. Informatics Research Institute City for Science and Technology Borg ElArab Alexandria Egypt Computer science and Automatic Control Engineering Department Faculty of Engineeing University of Tanta Tanta Egypt EE dept-Faculty of Engineering Taif University Saudi Arabia

An important issue in the analysis of two-dimensional electrophoresis images is the detection and quantification of protein spots. The main challenges in the segmentation of 2DGE images are to separate overlapping protein spots correctly and to find the abundance of weak protein spots. To enable comparison of protein patterns between different samples, it is necessary to match the patterns so that homologous spots are identified. In this paper, we describe a new robust technique to segment and model the different spots present in the gels. The Watershed segmentation algorithm is modified to handle the problem of over segmentation by initially partitioning the image to mosaic regions using the composition of fuzzy relations. The experimental results showed the effectiveness of the proposed algorithm to overcome the over segmentation problem associated with the available algorithm. We also use a wavelet denoising function to enhance the quality of the segmented image. The parameters of the wavelet function are obtained using the Genetic Algorithm search technique. The results of using the denoising function before the proposed Fuzzy Watershed segmentation algorithm is very promising as they are better than those without denoising. © 2012 International Journal of computer Science Issues.

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

Frequency dependent network equivalent based electromagnetic and electromechanical decoupled hybrid simulation

引用

Zhongguo Dianji Gongcheng Xuebao/Proceedings of the Chinese Society of Electrical engineering 2012年第16期32卷 107-114页

作者： Zhang, Yi Wu, Wenchuan Zhang, Boming Gole, Aniruddha M. State Key Lab. of Control and Simulation of Power Systems and Generation Equipments Dept. of Electrical Engineering Tsinghua University Haidian District Beijing 100084 China Department of Electrical and Computer Engineering University of Manitoba Winnipeg R3T 5V6 Canada

Neither electromechanical transient stability analysis (TSA) program nor electromagnetic transient (EMT) programs can be used individually for the transient stability studies of the large scale AC/DC systems. This paper presented an electromagnetic and electromechanical hybrid simulation system, based on a frequency dependent network equivalent. Firstly, the framework and the main modules of the proposed hybrid simulation system were introduced. Secondly, the methods to calculate the equivalents of the electromagnetic side and the electromechanical side were introduced. The discussion on the difference between the traditional method and frequency dependent network equivalent (FDNE) and the flowchart of the hybrid simulation were also given. In the last part of the paper, AC system and AC-DC hybrid system are both used as examples to demonstrate the accuracy of the proposed hybrid simulation system's simulation results. © 2012 Chinese Society for Electrical engineering.

关键词： Hybrid systems

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：