In this paper, we present a formal approach to modeling continuous system dynamics in SysML using differential algebraic equations (DAE’s). To support model-based design, the Object Management Group has recently developed the Systems Modeling Language (OMG SysMLTM). The language is well-suited for modeling many different aspects of largescale, multidisciplinary engineering projects. It allows s...

In this article, the use of software design patterns for modeling the stages of a compiler is presented. The compiler is generated for expressing disjunctions and logic propositions into optimization mathematical programs. It works linked to a mathematical modeling system, because the introduction of logic into those programs completes them instead of replacing them. It works as a post-compilat...

Basic algebraic notions are introduced which can be used to describe and to transform program-data complexes for traditional languages, restricted computation, non-numeric computation and modeling. General algebraic program systems (GAPS) are free of assumptions what computing (programming) systems have as their particular constructs. First of all we argue why current technique is sometimes not...

General approaches to modeling, for instance using object-oriented software, lead to differential-algebraic equations (DAE). As the name reveals, it is a combination of differential and algebraic equations. For state estimation using observed system inputs and outputs in a stochastic framework similar to Kalman filtering, we need to augment the DAE with stochastic disturbances (“process noise”)...

The Global Trade Analysis Project (GTAP) is a research program initiated in 1992 to provide the economic research community with a global economic dataset for use in the quantitative analyses of international economic issues. The Project’s objectives include the provision of a documented, publicly available, global, general equilibrium data base, and to conduct seminars on a regular basis to in...

This paper presents an algebraic formalism for reasoning on finite increasing sequences over Boolean algebras in general and on generalizations of Rough Set concepts in particular. We argue that these generalizations are suitable for modeling relevance of documents in an Information Retrieval system.

Improper designs of the demand response programs can lead to numerous problems such as customer dissatisfaction and lower participation in these programs. In this paper, a home energy management system is designed which schedules appliances of smart homes based on the user’s specific behavior to address these issues. Two types of demand response programs are proposed for each house which are sh...

A fundamental mathematical problem is to "nd a solution to a square system of nonlinear equations. There are many methods to approach this problem, the most famous of which is Newton's method. In this paper, we describe a generalization of this problem, the complementarity problem. We show how such problems are modeled within the GAMS modeling language and provide details about the PATH solver,...

Gliomas are the most commonly diagnosed primary tumors of the central nervous system (CNS). Median times of survival are dismal regardless of the treatment approach, underlying the need to develop more effective therapies. Modulation of the immune system is a promising strategy as innate and adaptive immunity play important roles in cancer progression. Glioma associated microglia and macrophage...