Foundation for Software Quality (REFSQ 2013). Proceedings Of
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Modelling and Control Methods with Applications to Mechanical Waves
Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology 1174 Modelling and Control Methods with Applications to Mechanical Waves HANS NORLANDER ACTA UNIVERSITATIS UPSALIENSIS ISSN 1651-6214 ISBN 978-91-554-9023-2 UPPSALA urn:nbn:se:uu:diva-229793 2014 Dissertation presented at Uppsala University to be publicly examined in room 2446, ITC, Lägerhyddsvägen 2, Uppsala, Friday, 17 October 2014 at 10:15 for the degree of Doctor of Philosophy. The examination will be conducted in English. Faculty examiner: Prof. Jonas Sjöberg (Chalmers). Abstract Norlander, H. 2014. Modelling and Control Methods with Applications to Mechanical Waves. Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology 1174. 72 pp. Uppsala: Acta Universitatis Upsaliensis. ISBN 978-91-554-9023-2. Models, modelling and control design play important parts in automatic control. The contributions in this thesis concern topics in all three of these concepts. The poles are of fundamental importance when analyzing the behaviour of a system, and pole placement is an intuitive and natural approach for control design. A novel parameterization for state feedback gains for pole placement in the linear multiple input case is presented and analyzed. It is shown that when the open and closed loop poles are disjunct, every state feedback gain can be parameterized. Other properties are also investigated. Hammerstein models have a static non-linearity on the input. A method for exact compensation of such non-linearities, combined with introduction of integral action, is presented. Instead of inversion of the non-linearity the method utilizes differentiation, which in many cases is simpler. -
Design Analysis Method for Multidisciplinary Complex Product Using Sysml
MATEC Web of Conferences 139, 00014 (2017) DOI: 10.1051/matecconf/201713900014 ICMITE 2017 Design Analysis Method for Multidisciplinary Complex Product using SysML Jihong Liu1,*, Shude Wang1, and Chao Fu1 1 School of Mechanical Engineering and Automation, Beihang University, 100191 Beijing, China Abstract. In the design of multidisciplinary complex products, model-based systems engineering methods are widely used. However, the methodologies only contain only modeling order and simple analysis steps, and lack integrated design analysis methods supporting the whole process. In order to solve the problem, a conceptual design analysis method with integrating modern design methods has been proposed. First, based on the requirement analysis of the quantization matrix, the user’s needs are quantitatively evaluated and translated to system requirements. Then, by the function decomposition of the function knowledge base, the total function is semi-automatically decomposed into the predefined atomic function. The function is matched into predefined structure through the behaviour layer using function-structure mapping based on the interface matching. Finally based on design structure matrix (DSM), the structure reorganization is completed. The process of analysis is implemented with SysML, and illustrated through an aircraft air conditioning system for the system validation. 1 Introduction decomposition and function modeling, function structure mapping and evaluation, and structure reorganization. In the process of complex product design, system The whole process of the analysis method is aimed at engineering is a kind of development methods which providing designers with an effective analysis of ideas covers a wide range of applications across from system and theoretical support to reduce the bad design and requirements analysis, function decomposition to improve design efficiency. -
Understanding the Rational Function Model: Methods and Applications
UNDERSTANDING THE RATIONAL FUNCTION MODEL: METHODS AND APPLICATIONS Yong Hu, Vincent Tao, Arie Croitoru GeoICT Lab, York University, 4700 Keele Street, Toronto M3J 1P3 - {yhu, tao, ariec}@yorku.ca KEY WORDS: Photogrammetry, Remote Sensing, Sensor Model, High-resolution, Satellite Imagery ABSTRACT: The physical and generalized sensor models are two widely used imaging geometry models in the photogrammetry and remote sensing. Utilizing the rational function model (RFM) to replace physical sensor models in photogrammetric mapping is becoming a standard way for economical and fast mapping from high-resolution images. The RFM is accepted for imagery exploitation since high accuracies have been achieved in all stages of the photogrammetric process just as performed by rigorous sensor models. Thus it is likely to become a passkey in complex sensor modeling. Nowadays, commercial off-the-shelf (COTS) digital photogrammetric workstations have incorporated the RFM and related techniques. Following the increasing number of RFM related publications in recent years, this paper reviews the methods and key applications reported mainly over the past five years, and summarizes the essential progresses and address the future research directions in this field. These methods include the RFM solution, the terrain- independent and terrain-dependent computational scenarios, the direct and indirect RFM refinement methods, the photogrammetric exploitation techniques, and photogrammetric interoperability for cross sensor/platform imagery integration. Finally, several open questions regarding some aspects worth of further study are addressed. 1. INTRODUCTION commercial companies, such as Space Imaging (the first high- resolution satellite imagery vendor), to adopt the RFM scheme A sensor model describes the geometric relationship between in order to deliver the imaging geometry model has also the object space and the image space, or vice visa. -
Reliability Block Diagram (Rbd)
RELIABILITY BLOCK DIAGRAM (RBD) 1. System performance 2. RBD definition 3. Structure function Master ISMP Master ISMP - Castanier 4. Reliability function of a non repairable complex system 5. Reliability metrics for a repairable complex system 59 System performance Problem: Individual definition of the failure modes and components What about the global performance of the « system »? Master ISMP Master ISMP - Castanier 60 Reliability Block Diagram definition Definition A Reliability Block Diagram is a success-oriented graph which illustrates from a logical perspective how the different functional blocks ensure the global mission/function of the system. The structure of the reliability block diagram is mathematically described through structure functions which allow to assess some reliability measures of the (complex) Master ISMP Master ISMP - Castanier system. Function model EThe valve can be closed S and stop the flow SDV1 61 Reliability Block Diagram definition Decomposition of a complex system in functional blocks Component 1 8 9 4 4 2 7 8 10 Master ISMP Master ISMP - Castanier 5 6 3 9 10 Functional block 1 62 Reliability Block Diagram definition The classical architectures « Serie » structure A system which is operating if and only of all of its components are operating is called a serie structure/system. « Parallel » structure A system which is operating if at least one of its components is Master ISMP Master ISMP - Castanier operating is called a parallel structure/system. « oo » structure A system which is operating if at least of its component are operating is called a over structure/system 63 Reliability Block Diagram definition Example Let consider 2 independent safety-related valves V1 and V2 which are physically installed in series. -
A Model-Driven Data-Analysis Architecture Enabling Reuse and Insight in Open Data
A model-driven data-analysis architecture enabling reuse and insight in open data Robin Hoogervorst July 2018 Master's Thesis Master of Computer Science Specialization Software Technology University of Twente Faculty of Electrical Engineering, Mathematics and Computer Science Supervising committee: dr. Luis Ferreira Pires dr.ir. Maurice van Keulen prof.dr.ir. Arend Rensink Abstract The last years have shown an increase in publicly available data, named open data. Organisations can use open data to enhance data analysis, but tradi- tional data solutions are not suitable for data sources not controlled by the organisation. Hence, each external source needs a specific solution to solve accessing its data, interpreting it and provide possibilities verification. Lack of proper standards and tooling prohibits generalization of these solutions. Structuring metadata allows structure and semantics of these datasets to be described. When this structure is properly designed, these metadata can be used to specify queries in an abstract manner, and translated these to dataset its storage platform. This work uses Model-Driven Engineering to design a metamodel able to represent the structure different open data sets as metadata. In addition, a function metamodel is designed and used to define operations in terms of these metadata. Transformations are defined using these functions to generate executable code, able to execute the required data operations. Other transformations apply the same operations to the metadata model, allowing parallel transformation of metadata and data, keeping them synchronized. The definition of these metamodels, as well as their transformations are used to develop a prototype application framework able to load external datasets and apply operations to the data and metadata simultaneously. -
Integration Definition for Function Modeling (IDEF0)
NIST U.S. DEPARTMENT OF COMMERCE PUBLICATIONS £ Technology Administration National Institute of Standards and Technology FIPS PUB 183 FEDERAL INFORMATION PROCESSING STANDARDS PUBLICATION INTEGRATION DEFINITION FOR FUNCTION MODELING (IDEFO) » Category: Software Standard SUBCATEGORY: MODELING TECHNIQUES 1993 December 21 183 PUB FIPS JK- 45C .AS A3 //I S3 IS 93 FIPS PUB 183 FEDERAL INFORMATION PROCESSING STANDARDS PUBLICATION INTEGRATION DEFINITION FOR FUNCTION MODELING (IDEFO) Category: Software Standard Subcategory: Modeling Techniques Computer Systems Laboratory National Institute of Standards and Technology Gaithersburg, MD 20899 Issued December 21, 1993 U.S. Department of Commerce Ronald H. Brown, Secretary Technology Administration Mary L. Good, Under Secretary for Technology National Institute of Standards and Technology Arati Prabhakar, Director Foreword The Federal Information Processing Standards Publication Series of the National Institute of Standards and Technology (NIST) is the official publication relating to standards and guidelines adopted and promulgated under the provisions of Section 111 (d) of the Federal Property and Administrative Services Act of 1949 as amended by the Computer Security Act of 1987, Public Law 100-235. These mandates have given the Secretary of Commerce and NIST important responsibilities for improving the utilization and management of computer and related telecommunications systems in the Federal Government. The NIST, through its Computer Systems Laboratory, provides leadership, technical guidance, -
Art Worlds for Art Games Edited
Loading… The Journal of the Canadian Game Studies Association Vol 7(11): 41-60 http://loading.gamestudies.ca An Art World for Artgames Felan Parker York University [email protected] Abstract Drawing together the insights of game studies, aesthetics, and the sociology of art, this article examines the legitimation of ‘artgames’ as a category of indie games with particularly high cultural and artistic status. Passage (PC, Mac, Linux, iOS, 2007) serves as a case study, demonstrating how a diverse range of factors and processes, including a conducive ‘opportunity space’, changes in independent game production, distribution, and reception, and the emergence of a critical discourse, collectively produce an assemblage or ‘art world’ (Baumann, 2007a; 2007b) that constitutes artgames as legitimate art. Author Keywords Artgames; legitimation; art world; indie games; critical discourse; authorship; Passage; Rohrer Introduction The seemingly meteoric rise to widespread recognition of ‘indie’ digital games in recent years is the product of a much longer process made up of many diverse elements. It is generally accepted as a given that indie games now play an important role in the industry and culture of digital games, but just over a decade ago there was no such category in popular discourse – independent game production went by other names (freeware, shareware, amateur, bedroom) and took place in insular, autonomous communities of practice focused on particular game-creation tools or genres, with their own distribution networks, audiences, and systems of evaluation, only occasionally connected with a larger marketplace. Even five years ago, the idea of indie games was still burgeoning and becoming stable, and it is the historical moment around 2007 that I will address in this article. -
Functions As Models Chapter Outline
www.ck12.org CHAPTER 7 Functions as Models Chapter Outline 7.1 REVIEW OF FUNCTIONS 7.2 CHOOSING A FUNCTION MODEL 136 www.ck12.org Chapter 7. Functions as Models 7.1 Review of Functions Learning Objectives • Review the definition and notation for a function. • Understand how functions are a special class of relations. • Recognize that a function can be represented as an ordered pair, an equation or a graph. • Review function families that we will use to model relationships in our data. Definition We start with remembering the definition of a function. A function is a set of ordered pairs in which the first coordinate, usually x, matches with exactly one second coordinate, y. Equations that follow this definition can be written in function notation. The y coordinate represents the dependent variable, meaning the values of this variable depend upon what is substituted for the other variable. A function can be expressed as an equation, as shown below. In the equation, f represents the function name and (x) represents the variable. In this case the parentheses do not mean multiplication; rather, they separate the function name from the independent variable. input # f (x) = y out put |{z} f unction box You may have seen functions represented by a function machine. These emphasize the fact that functions are rules that explain how the input and output are related. For example, the function below triples the value of the input (x) and subtracts 1 from it. If 3 is fed into the machine, 3(3) − 1 = 8 comes out. 137 7.1. -
Engineering Tools for Robust Creep Modeling
VTT CREATES BUSINESS FROM TECHNOLOGY Technologyandmarketforesight•Strategicresearch•Productandservicedevelopment•IPRandlicensing Dissertation VTT PUBLICATIONS 728 •Assessments,testing,inspection,certification•Technologyandinnovationmanagement•Technologypartnership • • • VTT PUBLICATIONS 728 ENGINEERING Creep models are needed for design and life management of structural components operating at high temperatures. The determination of creep properties require long- term testing often limiting the amount of data. It is of considerable interest to be able to reliably predict and extrapolate long term creep behavior from relatively small sets of creep data. In this thesis tools have been developed to improve the TOOLS reliability of creep rupture, creep strain and weld strength predictions. Much of the resulting improvements and benefits are related to the reduced requirements for FOR supporting creep data. The simplicity and robustness of the new tools also make them easy to implement in analytical and numerical solutions. Creep models for ROBUST selected high temperature steels and OFP copper are presented. CREEP MODELING Stefan Holmström Engineering Tools for Robust Creep Modeling ISBN 978-951-38-7378-3 (soft back ed.) ISBN 978-951-38-7379-0 (URL: http://www.vtt.fi/publications/index.jsp) ISSN 1235-0621 (soft back ed.) ISSN 1455-0849 (URL: http://www.vtt.fi/publications/index.jsp) VTT PUBLICATIONS 728 Engineering Tools for Robust Creep Modeling Stefan Holmström Dissertation for the degree of Doctor of Science in Technology to be pre- sented with due permission of the Faculty of Engineering and Architecture, The Aalto University School of Science and Technology, for public exami- nation and debate in K216 at Aalto University (Otakaari 4, Espoo, Finland) on the 5th of February, 2010, at 12 noon. -
Software Engineering Session 7 – Main Theme Business Model
Software Engineering Session 7 – Main Theme Business Model Engineering Dr. Jean-Claude Franchitti New York University Computer Science Department Courant Institute of Mathematical Sciences 1 Agenda 11 IntroductionIntroduction 22 BusinessBusiness ModelModel RepresentationRepresentation 33 BusinessBusiness ProcessProcess ModelingModeling 44 CapturingCapturing thethe OrganizationOrganization andand LocationLocation AspectsAspects 55 DevelopingDeveloping aa ProcessProcess ModelModel 66 BPMN,BPMN, BPML,BPML, andand BPEL4WSBPEL4WS 77 BusinessBusiness ProcessProcess InteroperabilityInteroperability 88 SummarySummary andand ConclusionConclusion 2 What is the class about? Course description and syllabus: » http://www.nyu.edu/classes/jcf/g22.2440-001/ » http://www.cs.nyu.edu/courses/spring10/G22.2440-001/ Textbooks: » Software Engineering: A Practitioner’s Approach Roger S. Pressman McGraw-Hill Higher International ISBN-10: 0-0712-6782-4, ISBN-13: 978-00711267823, 7th Edition (04/09) » http://highered.mcgraw-hill.com/sites/0073375977/information_center_view0/ » http://highered.mcgraw- hill.com/sites/0073375977/information_center_view0/table_of_contents.html 3 Icons / Metaphors Information Common Realization Knowledge/Competency Pattern Governance Alignment Solution Approach 44 Agenda 11 IntroductionIntroduction 22 BusinessBusiness ModelModel RepresentationRepresentation 33 BusinessBusiness ProcessProcess ModelingModeling 44 CapturingCapturing thethe OrganizationOrganization andand LocationLocation AspectsAspects 55 DevelopingDeveloping aa ProcessProcess -
Function Modeling Using the System State Flow Diagram
Artificial Intelligence for Engineering Design, Analysis and Manufacturing (2017), 31, 413–435. # Cambridge University Press 2017 0890-0604/17 This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited. doi:10.1017/S0890060417000294 Function modeling using the system state flow diagram UNAL YILDIRIM, FELICIAN CAMPEAN, AND HUW WILLIAMS Automotive Research Centre, Faculty of Engineering and Informatics, University of Bradford, Bradford, United Kingdom (RECEIVED November 20, 2016; ACCEPTED March 31, 2017) Abstract This paper introduces a rigorous framework for function modeling of complex multidisciplinary systems based on the sys- tem state flow diagram (SSFD). The work addresses the need for a consistent methodology to support solution-neutral function-based system decomposition analysis, facilitating the design, modeling, and analysis of complex systems architec- tures. A rigorous basis for the SSFD is established by defining conventions for states and function definitions and a rep- resentation scheme, underpinned by a critical review of existing literature. A set of heuristics are introduced to support the function decomposition analysis and to facilitate the deployment of the methodology with strong practitioner guidelines. The SSFD heuristics extend the existing framework of Otto and Wood (2001) by introducing a conditional fork node heur- istic, to facilitate analysis and aggregation of function models across multiple modes of operation of the system. The em- pirical validation of the SSFD function modeling framework is discussed in relation to its application to two case studies: a benchmark problem (glue gun) set for the engineering design community; and an industrial case study of an electric vehicle powertrain. -
The Shape of Games to Come: Critical Digital Storytelling in the Era of Communicative Capitalism
The Shape of Games to Come: Critical Digital Storytelling in the Era of Communicative Capitalism by Sarah E. Thorne A thesis submitted to the Faculty of Graduate and Postdoctoral Affairs in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Cultural Mediations Carleton University Ottawa, Ontario © 2018, Sarah E. Thorne Abstract The past decade has seen an increase in the availability of user-friendly game development software, the result of which has been the emergence of a genre of reflexive and experimental games. Pippin Barr, La Molleindustria’s Paolo Pedercini, and Davey Wreden are exemplary in their thoughtful engagement with an ever-expanding list of subjects, including analyses and critiques of game development, popular culture, and capitalism. These works demonstrate the power of games as a site for critical media theory. This potential, however, is hindered by the player-centric trends in the game industry that limit the creative freedom of developers whose work is their livelihood. In the era of communicative capitalism, Jodi Dean argues that the commodification of communication has suspended narrative in favour of the circulation of fragmented and digestible opinions, which not only facilitates the distribution and consumption of communication, but also safeguards communicative capitalism against critique. Ultimately, the very same impulse that drives communicative capitalism is responsible for the player-centric trends that some developers view as an obstacle to their art. Critical game studies has traditionally fallen into two categories: those that emphasize the player as the locus of critique, such as McKenzie Wark’s trifler or Mary Flanagan’s critical play, and those that emphasize design, as in Alexander Galloway’s countergaming, Ian Bogost’s procedural rhetoric, and Gonzalo Frasca’s theory of simulation.