Modeling

Misyurov D.A. Dialectical formulas based on the binary notation as the development formulas // Credo New. 2012. №2

by Dmitry Misyurov

The article suggests dialectical formulas based on the binary notation as the development formulas: formula with... more The article suggests dialectical formulas based on the binary notation as the development formulas: formula with dominant and the non-dominant elements; universal formula; formula with symbolic weight of elements; tautological formula. For example, it suggests an opportunity to use the dialectical formulas for modeling and artificial intelligence creation, etc.

From UML State Machines to Verifiable Lotos Specifications

by Reza Babaee

A Straightforward Algorithm to Transform Robot Control State Machines into Verifiable Lotos Specifications

by Reza Babaee

Complex Systems Modeling: Using Metaphors From Nature In Simulation and Scientific Models

by Luis Rocha

Rocha, Luis M. [1999]. BITS: Computer and Communications News. Computing, Information, and Communications Division. Los Alamos National Laboratory. November 1999.

A morphological analysis of Malaysian Kerivoula (Chiroptera, Vespertilionidae).

by M.T. Abdullah, PhD

Related study by Faisal Anwali Khan et al. 2010

Recent identification of new species within the genus Kerivoula from the Southeast Asian region has indicated that... more Recent identification of new species within the genus Kerivoula from the Southeast Asian region has indicated that this genus was understudied and currently underestimated in terms of its species diversity. Thus, this morphological study was carried out to record and analyse the morphological characters of available specimens of Malaysian Kerivoula from the Museum of Zoology, Universiti Malaysia Sarawak. Thirty-one external, skull and dental characters were taken and analysed using the multivariate analysis, dicriminant function analysis. As the result, six groupings of Kerivoula was identified, namely K. intermedia, K. hardwickii, K. pellucida, K. lenis and K. papillosa which were divided into two distinctive groupings of K. papillosa type large (K.
papillosa type L, hereafter) and K. papillosa type small (K. papillosa type S, hereafter). Variable dentary length was identified as the best predictor to characterize each group of Kerivoula. The
separation of the K. papillosa specimens into two separate morphotypes were characterised by their different sizes whereby the former group was larger in size compared to the latter. It is suggested that each represents an independent species even though both morphotypes occur sympatrically. The homogenising effect of the previous environmental events might have been the primary factor of the sympatric occurrence of both morphotypes. Nevertheless, further study regarding ecology, morphology and genetics should be carried out to provide a better insight regarding the cryptic population of K. papillosa in Borneo and Malaysia.

Hasan, N.H., Abdullah, M.T. 2011. Mammal Study 36: 87-97.

Specification and design of transactions in information systems: a formal approach

by Peretz Shoval

Authors: G. Babin, L. Lustman, P. Shoval
Journal: Transactions on Software Engineering (1991), Vol. 17 (8), 814-829.

In conventional information systems development, consistency between requirements specifications and design is... more In conventional information systems development, consistency between requirements specifications and design is achieved by manual checking. This work is a step toward improving consistency by applying the transformational paradigm to the specification and design phases. Requirements are expressed in the ADISSA notation, using the ADISSA method, a transaction-oriented refinement of Structured Systems Analysis. The control part of a transaction is transformed into a formal specification, the FSM transaction, by applying a set of rules. The design stage is realized by an algorithm which decomposes the FSM transaction into simpler transactions and implements them with a hierarchical set of finite-state machines. Consistency between the formal specification and the result of the design is achieved by proving that the latter has the same behavior as the former.

Models in Economics: Not Nomological Machines, Rather Inferential Devices

by Cyril Hédoin

Working paper

Compositional and thermal equilibration of particles, drops, and diapirs in geophysical flows

by Martina Ulvrova

Co-authored with N. COLTICE, Y. Ricard, S. Labrosse, F. Dubuffet, J. Velimsky, O. Sramek

Core formation, crystal/melt separation, mingling of immiscible magmas, and diapirism are fundamental geological... more Core formation, crystal/melt separation, mingling of immiscible magmas, and diapirism are fundamental geological processes that involve differential motions driven by gravity. Diffusion modifies the composition or/and temperature of the considered phases while they travel. Solid particles, liquid drops and viscous diapirs equilibrate while sinking/rising through their surroundings with a time scale that depends on the physics of the flow and the material properties. In particular, the internal circulation within a liquid drop or a diapir favors the diffusive exchange at the interface. To evaluate time scales of chemical/thermal equilibration between a material falling/rising through a deformable medium, we propose analytical laws that can be used at multiple scales. They depend mostly on the non‐dimensional Péclet and Reynolds numbers, and are consistent with numerical simulations. We show that equilibration between a particle, drop or diapir and its host needs to be considered in light of the flow structure complexity. It is of fundamental importance to identify the dynamic regime of the flow and take into account the role of the inner circulation within drops and diapirs, as well as inertia that reduces the thickness of boundary layers and enhances exchange through the interface. The scaling laws are applied to predict nickel equilibration between metals and silicates that occurs within 130 m of fall in about 4 minutes during the metal rain stage of the Earth’s core formation. For a mafic blob (10 cm diameter) sinking into a felsic melt, trace element equilibration would occur over 4500 m and in about 3 years.

On the role of social interaction in individual agency

by Hanne De Jaegher

Is an individual agent constitutive of or constituted by its social interactions? This question is typically not asked... more Is an individual agent constitutive of or constituted by its social interactions? This question is typically not asked in the cognitive sciences, so strong is the consensus that only individual agents have constitutive efficacy. In this article we challenge this methodological solipsism and argue that interindividual relations and social context do not simply arise from the behavior of individual agents, but themselves enable and shape the individual agents on which they depend. For this, we define the notion of autonomy as both a characteristic of individual agents and of social interaction processes. We then propose a number of ways in which interactional autonomy can influence individuals. Then we discuss recent work in modeling on the one hand and psychological investigations on the other that support and illustrate this claim. Finally, we discuss some implications for research on social and individual agency.

Idealization and independence of Laws from the environment

by Aldo Filomeno

The following paper explores a possible link between the process of idealization in Physics and the nature of Laws. It... more The following paper explores a possible link between the process of idealization in Physics and the nature of Laws. It claims that how is to be considered the process of idealization can argue in favour of one conception of Laws or another. Specifically, some features of the process of idealization will be explored that might support accounts of Laws that are not independent from the content of the Universe (matter, energy and fields). In other words, they might support that laws supervene on the humean mosaic.
Notwithstanding, the features are controversial and arguments against will be also exposed.

Personalities, cultures and software modeling: Questions, scenarios and research directions

by Americo Cunha

CUNHA, A.B., CANEN, A.G., CAPRETZ, M.A.M. “Personalities, cultures and software modeling: Questions, scenarios and research directions,” in the proceedings of the Workshop on Cooperative and Human Aspects of Software Engineering (CHASE), p. 23-31. IEEE -International Conference on Software Engineering. Vancouver, Canada. 2009.

This paper argues that the personality and cultural identity of project team members might be unconsciously affecting... more This paper argues that the personality and cultural identity of project team members might be unconsciously affecting the software development process in a much greater way than is currently believed. Moreover, a research framework for investigating the influence of individual identities in the modelling techniques can present new perspectives for improving project outcomes.

Bayesian flexibles modelling of mixed logit models

by marcucci edoardo

Models in philosophy of biology: a pragmatic approach

by Emanuele Serrelli

Serrelli E (2012). Models in philosophy of biology: A pragmatic approach. Logic and Philosophy of Science, forthcoming. ISSN 1826-1043

ABSTRACT. A pragmatic approach to models in philosophy of biology can be adopted in order to understand a given case... more ABSTRACT. A pragmatic approach to models in philosophy of biology can be adopted in order to understand a given case of scientific modeling. The approach consists, I argue, in three epistemological moves: (1) acknowledgement of the existence of many presently valid notions of what a model is; (2) explicit selection of the notion which is most suitable for the case of philosophical interest; (3) fidelity to the initial choice, although with the possibility to start over the analysis with a different notion. I illustrate the idea and need for a pragmatic approach in an example: adaptive landscapes in evolutionary biology. Then I get to the conditions of appropriateness of the approach.

Index:
1. Introducing the example: adaptive landscapes in evolutionary biology
2. Narrowing the usage of model
3. Reaction: defending the plurality of model
4. The umbrella effect
5. Semantic variability and extension: the metaphor incident
6. Where does a pragmatic approach make sense?

Modeling and simulation of heat transfer phenomena during investment casting

by Muhammad Musaddique Ali Rafique

International Journal of Heat and Mass Transfer, 52 (2009) 2132-2139.

Determining the heat transfer phenomena during casting processes is an important parameter for measuring
the... more Determining the heat transfer phenomena during casting processes is an important parameter for measuring
the overall performance of process. It gives information about the properties of the metal being
casted and its possible behavior in the mold during casting process. Improper determination of heat
transfer phenomena and use of improper molding materials and casting conditions leads to defects such
as misruns, cold shuts, shrinkage, pin holes, air holes and porosity in final product. A mathematical model
was developed using standard transport equations incorporating all heat transfer coefficients to calculate
the time for solidification of metal in casting and computer simulation of the model was carried out in
C++ to validate the model. The metal used was pure iron casted in investment molds of silica sand with
zircon coating. It was shown that airflow near the mold surfaces was partially restricted due to geometry
of the molds and arrangement of the pieces around a tree. So, the changes in heat transfer coefficient also
contribute towards time of solidification. The time calculated was found to be in good agreement with
experimental values.

2006_IEEE_TGRS_chemin_honda

by Yann Chemin

Using financial modelling for integrated healthcare databases

by Alexei Botchkarev

Hospital Case Cost Estimates Modelling-Algorithm Comparison

by Alexei Botchkarev

Modelling, parameter estimation and validation of a 300W PEM fuel cell system

by Kary Thanapalan

Co-authored with; Bo Wang, Jonathan Williams, Guo-Ping Liu, David Rees
Published in the Proceedings of the International Control Conference 2008

In this paper a 300W PEM FC Stack dynamic model is developed and implemented in MATLAB/Simulink. Using semi-empirical... more In this paper a 300W PEM FC Stack dynamic model is developed and implemented in MATLAB/Simulink. Using semi-empirical equations for modelling a Proton Exchange Membrane (PEM) fuel cell is proposed for providing a tool for the design and analysis of fuel cell stack systems. The modelling results are compared with experimental results. The comparison shows good agreements between the modelling results and experimental data. The model could be used in PEM fuel cell control related studies.

Efficiently Maintaining Distributed Model-Based Views on Real-Time Data Streams

by Alexandru Arion

A Model Assessment Tool for the Incident Command System: A Case Study of the San Antonio Fire Department

by Brian O'Neill