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

International Conference on Radio Electronics & Info Communications (UkrMiCo)

作者： I.V. Svyd A.E. Goriushkina G.E. Zavolodko O.S. Maltsev Dept. Radiotechnologies Information and Communication Systems Kharkiv National University of Radio Electronics KNURE Kharkiv Ukraine Department of Computer science and Programming National Technical University «KhPI» NTU «KhPI» Kharkiv Ukraine Department of Information Systems National Technical University «KhPI» NTU «KhPI» Kharkiv Ukraine

ISBN: (数字)9781538652640

ISBN: (纸本)9781538652657

The principle of network construction and the principle of request signals service of Secondary surveillance radar systems predetermined the work of the respondents of the considered systems in conditions of intra-system and intentional correlated and uncorrelated interferences. The article estimates the impact of masking fluctuation interferences on the quality of the request signals detection. It is shown that the choice of time-interval codes as the request signals predetermined the low noise immunity of the considered systems when a channel is exposed by the fluctuation interference.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Comparative analysis of signal processing methods secondary surveillance radar

Comparative analysis of signal processing methods secondary ...

引用

International Conference on Radio Electronics & Info Communications (UkrMiCo)

作者： A.E. Goriushkina I.V. Svyd G.E. Zavolodko G.V. Maistrenko Department of Computer science and Programming National Technical University «KhPI» NTU «KhPI» Kharkiv Ukraine Dept. Radiotechnologies Information and Communication Systems Kharkiv National University of Radio Electronics Kharkiv Ukraine Department of Information Systems National Technical University «KhPI» NTU «KhPI» Kharkiv Ukraine Department of Electronic Computers Kharkiv National University of Radio Electronics Kharkiv Ukraine

ISBN: (数字)9781538652640

ISBN: (纸本)9781538652657

In the paper, based on a comparative analysis of the methods of processing time-interval codes used as secondary surveillance radar information signals consisting of a different sequence of performing joint decoding operations, selecting signals by duration and time position, it is shown that the most effective is the signal processing method in which first the signals are decoded, then the signals are selected in accordance with the duration and in the future with the selection according to the time position, which provides the lowest probability of a false alarm of the first kind.

关键词： Radar Interference Decoding Security Radar signal processing Surveillance

来源：评论

学校读者我要写书评

暂无评论

Double inspection for run-time loop parallelization

Double inspection for run-time loop parallelization

引用

24th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2011

作者： Philippsen, Michael Tillmann, Nikolai Brinkers, Daniel Computer Science Dept. Programming Systems Group University of Erlangen-Nuremberg Erlangen Germany Microsoft Research One Microsoft Way Redmond WA United States

ISBN: (纸本)9783642360350

The Inspector/Executor is well-known for parallelizing loops with irregular access patterns that cannot be analyzed statically. The downsides of existing inspectors are that it is hard to amortize their high run-time overheads by actually executing the loop in parallel, that they can only be applied to loops with dependencies that do not change during their execution and that they are often specifically designed for array codes and are in general not applicable in object oriented just-in-time compilation. In this paper we present an inspector that inspects a loop twice to detect if it is fully parallelizable. It works for arbitrary memory access patterns, is conservative as it notices if changing data dependencies would cause errors in a potential parallel execution, and most importantly, as it is designed for current multicore architectures it is fast - despite of its double inspection effort: it pays off at its first use. On benchmarks we can amortize the inspection overhead and outperform the sequential version from 2 or 3 cores onward. © 2013 Springer-Verlag.

关键词： Inspection

来源：评论

学校读者我要写书评

暂无评论

Model-based dynamic optimization with openmodelica and CasADi

Model-based dynamic optimization with openmodelica and CasAD...

引用

7th IFAC Symposium on Advances in Automotive Control, AAC 2013

作者： Shitahun, Alachew Ruge, Vitalij Gebremedhin, Mahder Bachmann, Bernhard Eriksson, Lars Andersson, Joel Diehl, Moritz Fritzson, Peter PELAB-Programming Environment Lab Dept. Computer Science Linköping University SE-581 83Linköping Sweden Dept. Mathematics and Engineering University of Applied Sciences D-33609 Bielefeld Germany Vehicular Systems Dept. Electrical Engineering Linköping University SE-581 83 Linköping Sweden K.U. Leuven Belgium

ISBN: (纸本)9783902823434

This paper demonstrates model-based dynamic optimization through the coupling of two open source tools: OpenModelica, which is a Modelica-based modeling and simulation platform, and CasADi, a framework for numerical optimization. The coupling uses a standardized XML format for exchange of differential-algebraic equations (DAE) models. OpenModelica supports export of models written in Modelica and the optimization language extension using this XML format, while CasADi supports import of models represented in this format. This allows users to define optimal control problems (OCP) using Modelica and optimization language specification, and solve the underlying model formulation using a range of optimization methods, including direct collocation and direct multiple shooting. The proposed solution has been tested on several industrially relevant optimal control problems, including a dieselelectric power train.

关键词： Optimization

来源：评论

学校读者我要写书评

暂无评论

Model-Based Dynamic Optimization with OpenModelica and CasADi

引用

IFAC Proceedings Volumes 2013年第21期46卷 446-451页

作者： Alachew Shitahun Vitalij Ruge Mahder Gebremedhin Bernhard Bachmann Lars Eriksson Joel Andersson Moritz Diehl Peter Fritzson PELAB-Programming Environment Lab Dept. Computer Science Linköping University SE-581 83 Linköping Sweden Dept. Mathematics and Engineering University of Applied Sciences D-33609 Bielefeld Germany Vehicular Systems Dept. Electrical Engineering Linköping University SE-581 83 Linköping Sweden Dept. of Electrical Engineering and Optimization in Engineering Center (OPTEC) K.U. Leuven Belgium

关键词： Modelica OpenModelica model-based optimization dynamic optimization CasADi

来源：评论

学校读者我要写书评

暂无评论

Towards safe data flow processing by integration of design by contract in deterministic UML activities

Towards safe data flow processing by integration of design b...

引用

2011 23rd International Symposium on Information, Communication and Automation Technologies, ICAT 2011

作者： Daw, Zamira Vetter, Marcus Boercsoek, Josef Institute of Embedded Systems Hochschule Mannheim - University of Applied Sciences Mannheim Germany Dept. of Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (纸本)9781457707469

Data flow processing is a common task of embedded systems which is usually modeled as a pipeline. Errors in a block of this pipeline can be propagated through it thus leading to unexpected and erroneous behaviors. For safety related applications, this pipeline has to be able to identify and react to failures. The DMOSES model-driven development method uses deterministic UML activities to describe and implement data flow processing. This method ensures deterministic behavior of concurrent processing. Design by Contract defines formal, precise and verifiable interfaces for software components. We propose a development method for safe data flow processing based on the integration of this concept in deterministic UML activities. This integration allows the identification of errors by detection of contracts violation. This paper presents an extension of the DMOSES tool for contracts verification at the model level and their monitoring at runtime. © 2011 IEEE.

关键词： Pipelines

来源：评论

学校读者我要写书评

暂无评论

Foreword: First International Workshop on the Web and Requirements Engineering

Foreword: First International Workshop on the Web and Requir...

引用

International Workshop on the Web and Requirements Engineering (WeRE)

作者： Irene Garrigós Jose-Norberto Mazón Nora Koch Maria José Escalona John Mylopoulos Dept. of Software and Computing Systems University of Alicante Spain Dept. of Computer Languages and Systems University of Seville Spain Programming and Software Engineering Dept. University of Munich Germany Information Engineering and Computer Science Dept. University of Trento Italy

The International Workshop on the Web and Requirements Engineering (WeRE) was held in conjunction with the 18 th International IEEE Requirements Engineering Conference (RE'10) in Sydney (Australia) on September 28 2010. WeRE intends to be an international forum for exchanging ideas on both using Web technologies as a platform in the requirements engineering field, and applying requirements engineering in the development and use of websites. Papers focused on new domains and new experiences with the connection between requirements engineering and the Web were presented in WeRE.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Foreword: First International Workshop on the Web and Requirements Engineering

2010 1st International Workshop on the Web and Requirements ...

引用

2010 1st International Workshop on the Web and Requirements Engineering, WeRE 2010 2010年 i-ii页

作者： Garrigós, Irene Mazón, Jose-Norberto Escalona, Maria José Koch, Nora Mylopoulos, John Dept. of Software and Computing Systems University of Alicante Spain Dept. of Computer Languages and Systems University of Seville Spain Programming and Software Engineering Dept. University of Munich Germany Information Engineering and Computer Science Dept. University of Trento Italy

来源：评论

学校读者我要写书评

暂无评论

Comparing university rankings

Comparing university rankings

引用

12th International Conference on Scientometrics and Informetrics, ISSI 2009

作者： Aguillo, Isidro F. Bar-Ilan, Judit Levene, Mark Ortega, José Luis Cybermetrics Lab CCHS - CSIC Albasanz 26-28 28037 Madrid Spain Dept. Information Science Bar-Ilan University Ramat Gan 52900 Israel School of Computer Science and Information Systems Birkbeck University of London London WC1E 7HX United Kingdom Scientific Programming Division VICYT - CSIC Serrano 113 28006 Madrid Spain

Recently there is increasing interest in university rankings. Annual rankings of world universities are published by QS for the Times Higher Education Supplement, the Shanghai Jiao Tong University, the Higher Education and Accreditation Council of Taiwan and rankings based on Web visibility by the Cybermetrics Lab at CSIC. In this paper we compare the rankings using a set of similarity measures. For the rankings that are being published for a number of years we also examine longitudinal patterns. The rankings limited to European universities are compared to the ranking of the Centre for Science and Technology Studies at Leiden University. The findings show that there are reasonable similarities between the rankings, even though each applies a different methodology. The biggest differences are between the rankings provided by the QS-Times Higher Education Supplement and the Ranking Web of the CSIC Cybermetrics Lab. The highest similarities were observed between the Taiwanese and the Leiden rankings from European universities. Overall the similarities are increased when the comparison is limited to the European universities.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Evaluation of the Dynamic Reconfiguration Of Mobile IPV4 agents in MANET

Evaluation of the Dynamic Reconfiguration Of Mobile IPV4 age...

引用

IASTED International Conference on WIRELESS SENSOR NETWORKS, Part of the Sixth IASTED International Multi-Conference on WIRELESS AND OPTICAL COMMUNICATIONS

作者： Amvame-Nze, G. Abbas, C. J. Barenco García Villalba, L.J. Faculty of Technology Electrical Eigineering School University of Brasilia - UnB Brasilia 70900 Brazil Departamento de Computacion y Tecnología de la Información Universidad Simón Bolivar Oficina MYS 213-B Apartado Postal 89.000 Caracas 1080 Venezuela Dept. Computer Systems and Programming Complutense University of Madrid Spain

This work presents a Dynamic Reconfiguration of Mobile IP Agents (DRMIPA) and failure free architecture integrated with Mobile Ad hoc Networks (MANETs). Actual infra-structured networks do not implement the Mobile IP (MIP) protocol, all MIP agents are static and the cost of having redundancy of MIP agents is often high. We propose a solution that would allow the integration of MIP with MANET. Therefore, new algorithms and messages are presented for DRMIPA in MANET and, a performance analysis is done using the Network Simulator 2 (NS2) and a real world testbed scenario.

关键词： Mobile agents

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：