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

Workshop on engineering Simulations for Cyber Physical Systems, ES4CPS 2014 - Held in Conjunction with the Conference Design, Automation and Test in Europe, DATE 2014

作者： Al Mamun, Md Abdullah Hansson, Jörgen University of Gothenburg Sweden Department of Computer Science and Engineering Division of Software Engineering Sweden

ISBN: (纸本)9781450326148

The automotive industry is going through a major transition where all of the main car OEMs (original equipment manufacturer) are putting serious efforts toward self-driving vehicles, and some of the OEMs have the vision to sell fully functional driver-less car by 2020. software is the primary driving force for implementing different functionalities of today's cyber-physical systems. Being a safety critical system, functionalities of an autonomous vehicle need to be rigorously tested in different driving conditions, for example, weather, traffic, road markings, *** order to get early feedback on the implemented functionalities, testing in the simulation environment has become common before testing them on the prototype vehicle. This paper presents an approach to reduce the testing time in the simulation environment by parallelly executing the loosely coupled segments of a test scenario. Reducing simulation testing time is also substantial when we need to run regression test scenarios following changes in the implementation. The preliminary investigation shows that by applying the proposed concept, we can significantly reduce the simulation testing time both in the cases of successful and failed run. © 2014 ACM.

关键词： Cyber Physical System

来源：评论

学校读者我要写书评

暂无评论

Evaluating Bug Finders -- Test and Measurement of Static Code Analyzers

Evaluating Bug Finders -- Test and Measurement of Static Cod...

引用

IEEE/ACM International Workshop on Complex Faults and Failures in Large software Systems (COUFLESS)

作者： Aurelien Delaitre Bertrand Stivalet Elizabeth Fong Vadim Okun Dept. of Computer Science and Electrical Engineering West Virginia University Morgantown WV USA Software and Systems Division IT Laboratory National Institute of Standards and Technology Gaithersburg MD USA

software static analysis is one of many options for finding bugs in software. Like compilers, static analyzers take a program as input. This paper covers tools that examine source code - without executing it - and output bug reports. Static analysis is a complex and generally undecidable problem. Most tools resort to approximation to overcome these obstacles and it sometimes leads to incorrect results. Therefore, tool effectiveness needs to be evaluated. Several characteristics of the tools should be examined. First, what types of bugs can they find? Second, what proportion of bugs do they report? Third, what percentage of findings is correct? These questions can be answered by one or more metrics. But to calculate these, we need test cases having certain characteristics: statistical significance, ground truth, and relevance. Test cases with all three attributes are out of reach, but we can use combinations of only two to calculate the metrics. The results in this paper were collected during Static Analysis Tool Exposition (SATE) V, where participants ran 14 static analyzers on the test sets we provided and submitted their reports to us for analysis. Tools had considerably different support for most bug classes. Some tools discovered significantly more bugs than others or generated mostly accurate warnings, while others reported wrong findings more frequently. Using the metrics, an evaluator can compare candidates and select the tool that aligns best with his or her objectives. In addition, our results confirm that the bugs most commonly found by tools are among the most common and important bugs in software. We also observed that code complexity is a major hindrance for static analyzers and detailed which code constructs tools handle well and which impede their analysis.

关键词： software Measurement Production Complexity theory computer bugs Java NIST

来源：评论

学校读者我要写书评

暂无评论

An extended catalog of galaxy-galaxy strong gravitational lenses discovered in DES using convolutional neural networks

arXiv

引用

arXiv 2019年

作者： Jacobs, C. Collett, T. Glazebrook, K. Buckley-Geer, E. Diehl, H.T. Lin, H. McCarthy, C. Qin, A.K. Odden, C. Caso Escudero, M. Dial, P. Yung, V.J. Gaitsch, S. Pellico, A. Lindgren, K.A. Abbott, T.M.C. Annis, J. Avila, S. Brooks, D. Burke, D.L. Carnero Rosell, A. Carrasco Kind, M. Carretero, J. da Costa, L.N. de Vicente, J. Fosalba, P. Frieman, J. García-Bellido, J. Gaztanaga, E. Goldstein, D.A. Gruen, D. Gruendl, R.A. Gschwend, J. Hollowood, D.L. Honscheid, K. Hoyle, B. James, D.J. Krause, E. Kuropatkin, N. Lahav, O. Lima, M. Maia, M.A.G. Marshall, J.L. Miquel, R. Plazas, A.A. Roodman, A. Sanchez, E. Scarpine, V. Serrano, S. Sevilla-Noarbe, I. Smith, M. Sobreira, F. Suchyta, E. Swanson, M.E.C. Tarle, G. Vikram, V. Walker, A.R. Zhang, Y. Centre for Astrophysics and Supercomputing Swinburne University of Technology P.O. Box 218 HawthornVIC3122 Australia Swinburne University of Technology HawthornVIC3122 Australia Institute of Cosmology & Gravitation University of Portsmouth Portsmouthpo1 3fx United Kingdom Fermi National Accelerator Laboratory P. O. Box 500 BataviaIL60510 United States School of Software and Electrical Engineering Swinburne University of Technology P.O. Box 218 HawthornVIC3122 Australia Phillips Academy AndoverMA01810 United States Cerro Tololo Inter-American Observatory National Optical Astronomy Observatory Casilla 603 La Serena Chile Fermi National Accelerator Laboratory P. O. Box 500 BataviaIL60510 United States Instituto de Fisica Teorica UAM/CSIC Universidad Autonoma de Madrid Madrid28049 Spain Department of Physics & Astronomy University College London Gower Street LondonWC1E 6BT United Kingdom Kavli Institute for Particle Astrophysics & Cosmology Stanford University P. O. Box 2450 StanfordCA94305 United States SLAC National Accelerator Laboratory Menlo ParkCA94025 United States Madrid Spain Laboratório Interinstitucional de e-Astronomia - LIneA Rua Gal. José Cristino 77 Rio de Janeiro RJ20921-400 Brazil Department of Astronomy University of Illinois at Urbana-Champaign 1002 W. Green Street UrbanaIL61801 United States National Center for Supercomputing Applications 1205 West Clark St. UrbanaIL61801 United States Barcelona Institute of Science and Technology Campus UAB Bellaterra [Barcelona08193 Spain Observatório Nacional Rua Gal. José Cristino 77 Rio de Janeiro RJ20921-400 Brazil Barcelona08034 Spain Campus UAB Carrer de Can Magrans s/n Barcelona08193 Spain Kavli Institute for Cosmological Physics University of Chicago ChicagoIL60637 United States California Institute of Technology 1200 East California Blvd MC 249-17 PasadenaCA91125 United States Department of Physics Stanford University 382 Via Pueblo Mall Sta

We search Dark Energy Survey (DES) Year 3 imaging for galaxy-galaxy strong gravitational lenses using convolutional neural networks, extending previous work with new training sets and covering a wider range of redshifts and colors. We train two neural networks using images of simulated lenses, then use them to score postage stamp images of 7.9 million sources from the Dark Energy Survey chosen to have plausible lens colors based on simulations. We examine 1175 of the highest-scored candidates and identify 152 probable or definite lenses. Examining an additional 20,000 images with lower scores, we identify a further 247 probable or definite candidates. After including 86 candidates discovered in earlier searches using neural networks and 26 candidates discovered through visual inspection of blue-near-red objects in the DES catalog, we present a catalog of 511 lens candidates. Copyright © 2019, The Authors. All rights reserved.

关键词： Surveys

来源：评论

学校读者我要写书评

暂无评论

Implementation of a front-end and back-end NDN system for climate modeling application

Implementation of a front-end and back-end NDN system for cl...

引用

International Conference on Information and Communication Technology Convergence (ICTC)

作者： Dabin Kim Inchan Hwang Vartika Srivastava Young-Bae Ko Huhnkuk Lim Graduate School of Computer Engineering Ajou University Suwon South Korea Graduate School of Software Engineering Ajou University Suwon South Korea Supercomputing Division Korea Institute of Science and Technology Information (KISTI) Daejeon South Korea

Named Data Networking (NDN), one of the future Internet architecture, is recently emerging as a solution to changing traffic pattern of traditional end-to-end host-centric network systems. To achieve this, NDN has several distinctive features such as name based forwarding and in-network caching. Data-intensive science that handles large-scale experiment and simulation datasets suffers from severe problems in terms of transmitting and processing of a huge amount of datasets. In this paper, to support NDN based data-intensive science application, especially in climate modeling application, we design and implement new NDN components. Our development supports data-centric climate data file searching and publishing, which are a front-end engine in consumer and a back-end engine in producer.

关键词： Meteorology Metadata Engines IP networks Explosions Containers

来源：评论

学校读者我要写书评

暂无评论

Visualizing testing activities to support continuous integration: A multiple case study

Visualizing testing activities to support continuous integra...

引用

15th International Conference on Agile software Development, XP 2014

作者： Nilsson, Agneta Bosch, Jan Berger, Christian Software Engineering Division Dpmt of Computer Science and Engineering University of Technology University of Gothenburg Gothenburg Chalmers Sweden

ISBN: (纸本)9783319068619

While efficient testing arrangements are the key for software companies that are striving for continuous integration, most companies struggle with arranging these highly complex and interconnected testing activities. There is often a lack of an adequate overview of companies' end-to-end testing activities, which tend to lead to problems such as double work, slow feedback loops, too many issues found during post-development, disconnected organizations, and unpredictable release schedules. We report from a multiplecase study in which we explore current testing arrangements at five different software development sites. The outcome of the study is a visualization technique of the testing activities involved from unit and component level to product and release level that support the identification of improvement areas. This model for visualizing the end-to-end testing activities for a system has been used to visualize these five cases and has been validated empirically. © Springer International Publishing Switzerland 2014.

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

25th Annual Computational Neuroscience Meeting CNS-2016, Seogwipo City, South Korea, July 2-7, 2016 Abstracts

引用

BMC NEUROscience 2016年第1期17卷 1-112页

作者： [Anonymous] Computational Neurobiology Laboratory The Salk Institute for Biological Studies San Diego USA UNIC CNRS Gif sur Yvette France The European Institute for Theoretical Neuroscience (EITN) Paris France ATR Computational Neuroscience Laboratories Kyoto Japan Krembil Research Institute University Health Network Toronto Canada Department of Physiology University of Toronto Toronto Canada Department of Medicine (Neurology) University of Toronto Toronto Canada Department of Physics University of New Hampshire Durham USA Department of Neurophysiology Nencki Institute of Experimental Biology Warsaw Poland Department of Theory Wigner Research Centre for Physics of the Hungarian Academy of Sciences Budapest Hungary Department of Mathematical Sciences KAIST Daejoen Republic of Korea Department of Mathematics University of Houston Houston USA Department of Biochemistry & Cell Biology and Institute of Biosciences and Bioengineering Rice University Houston USA Department of Biology and Biochemistry University of Houston Houston USA Grupo de Neurocomputación Biológica Dpto. de Ingeniería Informática Escuela Politécnica Superior Universidad Autónoma de Madrid Madrid Spain Department of Biological Sciences University of Southern California Los Angeles USA Center for Neuroscience Korea Institute of Science and Technology Seoul South Korea Department of Neurology Albert Einstein College of Medicine Bronx USA Center for Neuroscience KIST Seoul South Korea Department of Neuroscience University of Science and Technology Daejon South Korea Systems Neuroscience Group QIMR Berghofer Medical Research Institute Herston Australia Department of Psychology Yonsei University Seoul South Korea Department of Psychiatry Kyung Hee University Hospital at Gangdong Seoul South Korea Department of Psychiatry Veterans Administration Boston Healthcare System and Harvard Medical School Brockton USA Department of Electrical and Electronic Engineering The University of Melbourne Parkvil

A1 Functional advantages of cell-type heterogeneity in neural circuits Tatyana O. Sharpee A2 Mesoscopic modeling of propagating waves in visual cortex Alain Destexhe A3 Dynamics and biomarkers of mental disorders Mitsuo Kawato F1 Precise recruitment of spiking output at theta frequencies requires dendritic h-channels in multi-compartment models of oriens-lacunosum/moleculare hippocampal interneurons Vladislav Sekulić, Frances K. Skinner F2 Kernel methods in reconstruction of current sources from extracellular potentials for single cells and the whole brains Daniel K. Wójcik, Chaitanya Chintaluri, Dorottya Cserpán, Zoltán Somogyvári F3 The synchronized periods depend on intracellular transcriptional repression mechanisms in circadian clocks. Jae Kyoung Kim, Zachary P. Kilpatrick, Matthew R. Bennett, Kresimir Josić O1 Assessing irregularity and coordination of spiking-bursting rhythms in central pattern generators Irene Elices, David Arroyo, Rafael Levi, Francisco B. Rodriguez, Pablo Varona O2 Regulation of top-down processing by cortically-projecting parvalbumin positive neurons in basal forebrain Eunjin Hwang, Bowon Kim, Hio-Been Han, Tae Kim, James T. McKenna, Ritchie E. Brown, Robert W. McCarley, Jee Hyun Choi O3 Modeling auditory stream segregation, build-up and bistability James Rankin, Pamela Osborn Popp, John Rinzel O4 Strong competition between tonotopic neural ensembles explains pitch-related dynamics of auditory cortex evoked fields Alejandro Tabas, André Rupp, Emili Balaguer-Ballester O5 A simple model of retinal response to multi-electrode stimulation Matias I. Maturana, David B. Grayden, Shaun L. Cloherty, Tatiana Kameneva, Michael R. Ibbotson, Hamish Meffin O6 Noise correlations in V4 area correlate with behavioral performance in visual discrimination task Veronika Koren, Timm Lochmann, Valentin Dragoi, Klaus Obermayer O7 Input-location dependent gain modulation in cerebellar nucleus neurons Maria Psarrou, Maria Schilstra, Neil Davey, Benjamin Torben-Ni

关键词：

来源：评论

学校读者我要写书评

暂无评论

Analysis of binary code topology for dynamic analysis 14

Analysis of binary code topology for dynamic analysis

引用

29th Annual ACM Symposium on Applied Computing, SAC 2014

作者： Kang, Byeongho Im, Eul Gyu Department of Computer and Software Hanyang University Seoul Korea Republic of Division of Computer Science and Engineering Hanyang University Seoul Korea Republic of

ISBN: (纸本)9781450324694

A better understanding of binary code topology is essential in making execution path exploration method. The execution path exploration is closely related to code coverage in binary code dynamic analysis. Since the number of execution paths in a program is astronomically high, the efficient exploration strategy is needed. In this paper, we analyze binary code topology in a viewpoint of basic blocks. We find that the incoming edges show unbalanced distribution which follows power law, instead of balanced distribution. This unbalanced distribution of incoming edges can help understanding binary code topology, and we propose our study for deciding efficient execution path exploration strategy of dynamic binary code analysis. Copyright 2014 ACM.

关键词： Topology

来源：评论

学校读者我要写书评

暂无评论

A modelica coordination pattern library for cyber-physical systems 14

A modelica coordination pattern library for cyber-physical s...

引用

7th International Conference on Simulation Tools and Techniques, SIMUTools 2014

作者： Pohlmann, Uwe Dziwok, Stefan Meyer, Matthias Tichy, Matthias Thiele, Sebastian Fraunhofer IPT Project Group Mechatronic Systems Design Software Engineering Zukunftsmeile 1 Paderborn33102 Germany Software Engineering Group Heinz Nixdorf Institute University of Paderborn Zukunftsmeile 1 Paderborn33102 Germany Software Engineering Division Department of Computer Science and Engineering Chalmers University of Gothenburg Sweden

ISBN: (纸本)9781631900075

Today's embedded systems often do not operate individually anymore. Instead, they form so called cyber-physical systems, where the overall functionality is provided by the collaboration of systems. Consequently, the design of this collaboration is an important activity during development and strongly affects system quality. In previous work, we presented a catalog of reusable messagebased real-time coordination patterns to avoid manual creation of new and, thus, error-prone designs. In this paper, we present an implementation of this catalog by a library in the Modelica language and an appropriate development process. The library stores ready to reuse solutions for common coordination activities and, thus, increases efficiency and effectiveness for use. Furthermore, the use of Modelica enables early holistic simulation of cyber-physical systems including feedback controllers and message-based coordination. We illustrate the library with examples from an autonomous railway vehicle and present an early evaluation. Copyright © 2014 ICST.

关键词： Cyber Physical System

来源：评论

学校读者我要写书评

暂无评论

Vector Field Guidance for Three-Dimensional Curved Path Following with Fixed-Wing UAVs

Vector Field Guidance for Three-Dimensional Curved Path Foll...

引用

American Control Conference

作者： Yueqian Liang Yingmin Jia Junping Du Jun Zhang Seventh Research Division and the Center for Information and Control Beihang University (BUAA) Beijing 100191 China Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing 100876 China School of Electronic and Information Engineering Beihang University (BUAA) Beijing 100191 China

ISBN: (纸本)9781479917730

This paper investigates the three-dimensional (3D) curved path following problem using fixed-wing unmanned aerial vehicles (UAVs) in the presence of constant wind disturbance. Vector field based approaches are used as the solution. Two vector fields are first developed, one is the tangent vector field based on path tangent vector and coordinate transformation, and the other is the combined vector field based on the combination of a conservative vector field and a solenoidal vector field. A unified jointly saturated course rate and saturated climb rate controller is designed based on the proposed vector fields. Simulations are conducted to demonstrate the effectiveness of the proposed approach.

关键词： Vector field Unmanned Aerial Vehicle fixed wings Coordinate transformations Tangent vector Wings Curved

来源：评论

学校读者我要写书评

暂无评论

SURVEY OF DYNAMIC TAINT ANALYSIS

SURVEY OF DYNAMIC TAINT ANALYSIS

引用

2014 4th IEEE International Conference on Network Infrastructure and Digital Content

作者： Junhyoung Kim Tae Guen Kim Eul Gyu Im Department of Computer and Software Hanyang University Division of Computer Science and Engineering Hanyang University

Dynamic taint analysis（DTA） is to analyze execution paths that an attacker may use to exploit a system. Dynamic taint analysis is a method to analyze executable files by tracing information flow without source code. DTA marks certain inputs to program as tainted, and then propagates values operated with tainted inputs. Due to the increased popularity of dynamic taint analysis, there have been a few recent research approaches to provide a generalized tainting infrastructure. In this paper, we introduce some approaches of dynamic taint analysis, and analyze their approaches. Lam and Chiueh’s approach proposed a method that instruments code to perform taint marking and propagation. DYTAN considers three dimensions: taint source, propagation policies, taint sink. These dimensions make DYTAN to be more general framework for dynamic taint analysis. DTA++ proposes an idea to vanilla dynamic taint analysis that propagates additional taints along with targeted control dependencies. Control dependency causes results of taint analysis to have decreased accuracies. To improve accuracies, DTA++ showed that data transformation containing implicit flows should propagate properly to avoid under-tainting.

关键词： dynamic taint analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：