Objective: This research has been conducted so as to use the Porter Five Competitive Model and to obtain the votes of experts in the press industry. A pathological assessment of the industry in the country has been achieved and a desirable model has been developed for transforming the industry to face environmental change. Methods: In this research, the qualitative method has been applied to r...

We give a Bäcklund transformation connecting a generic 2D dilaton gravity theory to a generally covariant free field theory. This transformation provides an explicit canonical transformation relating both theories.

Model transformations are currently the object of much interest and research. Current proposals for model transformation languages can be divided into two main camps: those taking a ‘declarative’ approach, and those opting for an ‘imperative’ approach. The Icon programming language is a SNOBOL derivative which contains several unique constructs which make it particularly well suited to the job ...

We extend a previously proposed symbolic model transformation property prover for the DSLTrans transformation language. The original prover generated the set of path conditions (i.e., symbolic transformation executions), and verified atomic contracts (constraints on inputoutput model relations) on these path conditions. The prover evaluated atomic contracts to yield either true or false for the...

In this paper we describe standard structures for model transformation specifications and implementations, which serve as patterns for constructing a wide range of model transformations. We use specification patterns to derive relationships between invertibility, change-propagation and the existence of language-level interpretations for transformations that are defined using the pattern. We als...

With advanced information and communication technology, the organizations’ business model has undergone fundamental changes. These changes are also observed in the banking industry. This research aims at explaining the Iranian electronic banking business model and recognizing its challenges in the transformation to digital banking, which is considered as the research innovation. In terms of met...

bainitic transformation at low transformation temperatures leads to a microstructure involving fine plates of bainitic ferrite and thin films of retained austenite. this microstructure has shown ultimate tensile strength of about 2.2 gpa, noticeable uniform elongation in the range of 5 to 30%, hardness values of about 600 to 670 hv and impact toughness in the range of 30 to 40 mpa m1/2. with ca...

Some model transformations require more information than can be derived from its source model(s) in order to generate a meaningful target model. For example, a transformation with two source models needs to know how their respective model elements relate; these relations often only exist implicitly as part of the transformations developer’s knowledge. In this paper we show that traceability mod...

Let q be a nonzero rational number. We investigate for which q there are in nitely many sets consisting of ve nonzero rational numbers such that the product of any two of them plus q is a square of a rational number. We show that there are in nitely many square-free such q and on assuming the Parity Conjecture for the twists of an explicitly given elliptic curve we derive that the density of su...