the critical properties of a solute are required for modeling of the solubility by the equation of state. for many compounds, the critical properties are not available. so, group contribution method is utilized as a common method to estimate these properties. but, it leads to the consecutive errors in calculations of the solubility modeling. in this study, soave-redlish-kowang (srk) and peng-ro...

A diagrammatic approach to the semantics of OO modelling notations is proposed. This is based on an innovative and expressive notation dubbed “constraint diagrams”, which can be used to precisely characterise a range of sophisticated, static constraints on OO models. Other notations, such as those found in UML, can be viewed as projections of constraint diagrams. Work on using constraint diagra...

In this paper we present the research objectives and methodology for a running project of distributed web processing geo-services for spatio-temporal analysis of geo-data, the case of Lloyd’s lists. We introduce the current problems and discuss the solutions in means of theoretical and practical perspectives. Initial results from geo-data modeling using Unified Modeling Language (UML) is presen...

The bflow* Toolbox is a modeling tool for the business process modeling language Event Driven Process Chains (EPCs). In this paper, we describe three innovative features of the modeling tool: First, the modeler gets continuously feedback about possible modeling problems. Second, there is an option to construct a large part of a model with input from the keyboard only, i.e. without ever touching...

Agile Modeling (AM) is a practice-based methodology for effective modeling of software-based systems. Where the Unified Modeling Language (UML) defines a subset of the modeling techniques that software professionals require, AM defines practices that enables developers to model in an efficient and effective manner. This paper provides a brief overview of AM’s values, principles, and practices; ...

This paper seeks to raise awareness on the SCR extensions derived from industry use, and discusses how an integration of Software Cost Reduction (SCR) modeling concepts address current limitations in the System Modeling Language (SysML) standard. The paper describes an integration of a formal requirement modeling approach based the SCR method with the SysML structure mechanisms providing an alt...

a new three-dimensional unit cell model has been developed for modeling three constituent phases including inclusion, interphase and matrix. the total elastic modulus of nano-composite is evaluated.  numerical results are in good agreement with the previous proposed theoretical modeling. higher matrix and inclusion elastic modulus both can dramatically influence the total elastic modulus.

Despite the crucial role of introductory sections in argumentative academic writing, the effects of genre- based approaches to writing introductory paragraphs have not been much explored yet. The present study aimed to investigate whether the provision of genre knowledge through modeling and non-modeling could enhance learners’ ability in writing introductory paragraphs of argumentative essays....

geographic information and analysis provide a wide range of data and techniques to monitor and manage natural resources. as an important case, in arid and semi-arid areas, water management is critical for both local governance and citizens. as a result, the estimation of water potential brought by snowmelt runoff and rainfalls seems to be very useful and important for these areas. hydrological ...

artificial neural networks are used in many smart apparatus and different fields such as signal processing pattern diagnoses, military systems, medicine, financial systems, and artificial intelligence. in this article using quality of neural networks in optimizing energy cost in moving limb and its effectiveness in organization a cognitive function founded by presenting an algorithm for use in ...