Managing requirements uncertainty with partial models

2012 ◽  
Author(s):  
Rick Salay ◽  
Marsha Chechik ◽  
Jennifer Horkoff
Keyword(s):  
Partial Models ◽  
Requirements Uncertainty

scholarly journals Managing requirements uncertainty with partial models

2013 ◽  
Vol 18 (2) ◽  
pp. 107-128 ◽  
Author(s):  
Rick Salay ◽  
Marsha Chechik ◽  
Jennifer Horkoff ◽  
Alessio Di Sandro
Keyword(s):  
Partial Models ◽  
Requirements Uncertainty

scholarly journals From Model Checking to a Temporal Proof for Partial Models

2017 ◽  
pp. 54-69 ◽  
Author(s):  
Anna Bernasconi ◽  
Claudio Menghi ◽  
Paola Spoletini ◽  
Lenore D. Zuck ◽  
Carlo Ghezzi
Keyword(s):  
Model Checking ◽  
Partial Models

scholarly journals Using a partial atomic model from medium-resolution cryo-EM to solve a large crystal structure

2021 ◽  
Vol 77 (1) ◽  
pp. 11-18
Author(s):  
Montserrat Fàbrega-Ferrer ◽  
Ana Cuervo ◽  
Francisco J. Fernández ◽  
Cristina Machón ◽  
Rosa Pérez-Luque ◽  
...  
Keyword(s):  
Molecular Replacement ◽  
Large Crystal ◽  
Rotation Matrices ◽  
Cryo Electron Microscopy ◽  
Partial Models ◽  
Medium Resolution ◽  
Experimental Phasing ◽  
Crystallographic Structures ◽  
Direct Use ◽  
Rotation Function

Medium-resolution cryo-electron microscopy maps, in particular when they include a significant number of α-helices, may allow the building of partial models that are useful for molecular-replacement searches in large crystallographic structures when the structures of homologs are not available and experimental phasing has failed. Here, as an example, the solution of the structure of a bacteriophage portal using a partial 30% model built into a 7.8 Å resolution cryo-EM map is shown. Inspection of the self-rotation function allowed the correct oligomerization state to be determined, and density-modification procedures using rotation matrices and a mask based on the cryo-EM structure were critical for solving the structure. A workflow is described that may be applicable to similar cases and this strategy is compared with direct use of the cryo-EM map for molecular replacement.

Analytical Solutions of Two Space-Time Fractional Nonlinear Models Using Jacobi Elliptic Function Expansion Method

2021 ◽  
pp. 173-188
Author(s):  
Zillur Rahman ◽  
M. Zulfikar Ali ◽  
Harun-Or-Roshid ◽  
Mohammad Safi Ullah
Keyword(s):  
Elliptic Function ◽  
Nonlinear Models ◽  
Applied Mathematics ◽  
Elliptic Functions ◽  
Expansion Method ◽  
Space Time ◽  
Jacobi Elliptic Function ◽  
Function Expansion ◽  
Partial Models ◽  
Jacobi Elliptic Function Expansion

In this manuscript, the space-time fractional Equal-width (s-tfEW) and the space-time fractional Wazwaz-Benjamin-Bona-Mahony (s-tfWBBM) models have been investigated which are frequently arises in nonlinear optics, solid states, fluid mechanics and shallow water. Jacobi elliptic function expansion integral technique has been used to build more innovative exact solutions of the s-tfEW and s-tfWBBM nonlinear partial models. In this research, fractional beta-derivatives are applied to convert the partial models to ordinary models. Several types of solutions have been derived for the models and performed some new solitary wave phenomena. The derived solutions have been presented in the form of Jacobi elliptic functions initially. Persevering different conditions on a parameter, we have achieved hyperbolic and trigonometric functions solutions from the Jacobi elliptic function solutions. Besides the scientific derivation of the analytical findings, the results have been illustrated graphically for clear identification of the dynamical properties. It is noticeable that the integral scheme is simplest, conventional and convenient in handling many nonlinear models arising in applied mathematics and the applied physics to derive diverse structural precise solutions.

Models of Social Cash Transfers

2018 ◽  
pp. 105-138
Author(s):  
Lutz Leisering
Keyword(s):  
International Organizations ◽  
Paradigm Shift ◽  
Qualitative Data ◽  
Cash Transfers ◽  
Partial Models ◽  
Social Cash Transfers ◽  
Clear Idea

Around 2000, poverty had moved to the top of global agendas, but there was no clear idea what policies would be appropriate. By the mid-2000s, a consensus among international organizations on social cash transfers had emerged. This chapter investigates what models of cash transfers were proposed by international organizations, and why, considering that global actors of all political leanings had rejected the idea of cash transfers well into the 1990s. The analysis draws on unique qualitative data on all major international organizations involved. It is argued that the idea of social cash transfers marks a paradigm shift in global anti-poverty policy, driven by pioneering country examples, sectional interests of international organizations, and new discursive frames. However, the idea of cash transfers was discursively reduced to four partial models that define the field to the present day, reflecting mandates of lead organizations and adding up to a fragmented and incomplete universalism.

EMC - A Modeling Method for Developing Web-based Applications

2011 ◽  
pp. 207-220
Author(s):  
Peter Rittgen
Keyword(s):  
Value Chain ◽  
Object Oriented ◽  
Modeling Method ◽  
Enterprise Modeling ◽  
Object Oriented Programming ◽  
Substantial Part ◽  
Web Based ◽  
Trading Company ◽  
Partial Models ◽  
Event Driven

Early information systems were mainly built around secondary, administrative processes of the value chain (e.g., accounting). But since the internet came into use, more and more primary processes have become accessible to automation: customer acquisition, ordering, billing and, in the case of intangible goods such as software, even delivery. Hence an increasing part of an enterprise has to be modeled and a substantial part thereof is implemented, usually in an object-oriented programming language like Java. To facilitate this complex task, the MEMO methodology (Multi-perspective Enterprise MOdeling) allows the description of the enterprise on three levels – strategy, organization and information system – and from four angles – process, structure, resources and goals. All partial models for the views are integrated via a common object-oriented core. In this framework we suggest a modeling method for the IS layer, the Event-driven Method Chain (EMC). It is based on the Event-driven Process Chain (EPC) by Scheer, which we adapt to fit both the MEMO methodology and the object-oriented paradigm thus making it suitable for the development of web-based applications. To illustrate this we use the example of a software trading company.

scholarly journals Data-Driven Corrections of Partial Lotka–Volterra Models

Entropy ◽  
2020 ◽  
Vol 22 (11) ◽  
pp. 1313
Author(s):  
Rebecca E. Morrison
Keyword(s):  
Chemical Species ◽  
Active Species ◽  
Data Driven ◽  
Volterra Models ◽  
Discrepancy Model ◽  
Partial Models ◽  
Sparse Operators ◽  
Partial Interaction ◽  
Interacting Systems ◽  
Physical Information

In many applications of interacting systems, we are only interested in the dynamic behavior of a subset of all possible active species. For example, this is true in combustion models (many transient chemical species are not of interest in a given reaction) and in epidemiological models (only certain subpopulations are consequential). Thus, it is common to use greatly reduced or partial models in which only the interactions among the species of interest are known. In this work, we explore the use of an embedded, sparse, and data-driven discrepancy operator to augment these partial interaction models. Preliminary results show that the model error caused by severe reductions—e.g., elimination of hundreds of terms—can be captured with sparse operators, built with only a small fraction of that number. The operator is embedded within the differential equations of the model, which allows the action of the operator to be interpretable. Moreover, it is constrained by available physical information and calibrated over many scenarios. These qualities of the discrepancy model—interpretability, physical consistency, and robustness to different scenarios—are intended to support reliable predictions under extrapolative conditions.

Sign in / Sign up

Export Citation Format

Share Document