Filters








77,105 Hits in 4.6 sec

On language equations with invertible operations

Lila Kari
1994 Theoretical Computer Science  
L, On language equations with invertible operations, Theoretical Computer Science 132 (1994) 129-l 50.  ...  The paper studies language equations of the type X o L = R and I. o Y= R, where L and R are given languages and o is an invertible binary word (language) operation.  ...  and deletion operations The process of solving the equation LY= R has much in common with the one of finding solutions to the algebraic equation a + y = h, where a, b are constants.  ... 
doi:10.1016/0304-3975(94)90230-5 fatcat:43g2a7tqzbhm3pih66bj4lc3lm

Generating attribute grammar-based bidirectional transformations from rewrite rules

Pedro Martins, João Saraiva, João Paulo Fernandes, Eric Van Wyk
2014 Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation - PEPM '14  
These inverted rewrite rules can then be extended with additional rules based on characteristics of the source language grammar and forward transformations to create, under certain circumstances, a total  ...  In this paper we show how rewrite rules (with non-linear right hand sides) that specify a forward/get transformation can be inverted to specify a partial backward/put transformation.  ...  Programme (ON.  ... 
doi:10.1145/2543728.2543745 dblp:conf/pepm/MartinsSFW14 fatcat:uxvtrpe7h5b5lku3pdwbiwuogi

VIRTUAL LABORATORIES AS STRATEGY FOR TEACHING IMPROVEMENT IN MATH SCIENCES AND ENGINEERING IN BOLIVIA

Francisco Vargas
2020 International journal of engineering education  
To establish this connection, it is necessaryto deduce differential equations associated with practical problems, solve these equationswith different numerical algorithms, and establish the concept of  ...  The classical problems addressed for thispurpose are the satellite of two degrees of freedom and the inverted pendulum.  ...  Operation points of inverted pendulum. The computational solution to obtain the operation points of inverted pendulum is illustrated in the Fig. 16 .  ... 
doi:10.14710/ijee.2.1.52-62 fatcat:ndpcxfvrkzfcnp5teie5dp34qu

Real-time emulation of boost inverter using the Systems Modeling Language and Petri nets

A. Gutierrez, M. Bressan, J.F. Jimenez, C. Alonso
2018 Mathematics and Computers in Simulation  
The boost inverter has been studied from design and control perspectives with renewable energy sources. However, the real-time emulation of boost inverters is less widespread in literature.  ...  In this context, the main contribution of this paper is proposing an innovative methodology based on the Systems Modeling Language and Petri nets to emulate in real-time power converters using the boost  ...  This study of case was focused on 516 the boost inverter with appropriate results.  ... 
doi:10.1016/j.matcom.2018.07.011 fatcat:yvtmymfkyvc3fhfofqskq2yggu

A Microgrid Library in a General Simulation Language

J. Salazar, F. Tadeo, C. de Prada
2014 IFAC Proceedings Volumes  
With this, different configurations and control strategies for Microgrids can be tested when operating on the real process.  ...  A library in the EcosimPro environment, developed with the objective of providing the tools needed to integrate MicroGrids into multi-domain simulations is presented.  ...  One advantage of EcosimPro (that is shared with other modern general simulation languages) is that it is possible to directly implement the mathematical equations that describe the system (this equations  ... 
doi:10.3182/20140824-6-za-1003.00189 fatcat:6d6cfg57gzhnbnxxca36acpyli

PMSM control system with open-end winding and floating bridge capacitor

Y E Shklyarskiy, A S Lutonin, P S Palyanicin
2019 IOP Conference Series: Materials Science and Engineering  
Structurally it consists of PMSM motor with open end winding, main bridge inverter (MB) with DC voltage at one side of motor winding and floating bridge (FB) inverter with a capacitor at the other side  ...  Structure of control system with active and reactive power distribution for MB and FB inverter with capacitor's voltage level control and motor's shaft control loops is proposed.  ...  OWPMSM is custom motor model block, written by Simscape language according to (1)-(4) equations.  ... 
doi:10.1088/1757-899x/643/1/012084 fatcat:kgko6p2karhqjoacgx2uzi23ri

Some Properties of Ciliate Bio-operations [chapter]

Mark Daley, Lila Kari
2003 Lecture Notes in Computer Science  
We namely investigate closure operations of language families under the mentioned bio-operations and study language equations involving them.  ...  Among the problems addressed, we study the decidability of existence of solutions to equations of the form L Y = R, X L = R where L and R are given languages, X and Y are unknowns, and signifies one of  ...  The second model focuses more on the properties of pointers and proposes three operations: hi(hairpin loop with inverted pointers) which reverses a substring between two inverted pointer sequences, ld(  ... 
doi:10.1007/3-540-45005-x_10 fatcat:kqkleplxufeopkx5e4n2viyoca

Multiple-valued structures of intellectual systems

Grygoryy Chetverikov, Oleksiy Puzik, Iryna Vechirska
2016 2016 XIth International Scientific and Technical Conference Computer Sciences and Information Technologies (CSIT)  
The basic construction concepts of many-valued intellectual systems, which are adequate to primal problems of person activity and using hybrid tools with many-valued intellectual systems being two-place  ...  All enumerated properties and functions in point of fact are essential not only are discrete on time, but also many-valued.  ...  Introduction Construction methods of switching circuits (multiple-valued invertible heterogeneous logic elements) of the first and second kind for language systems of artificial intelligence with invertible  ... 
doi:10.1109/stc-csit.2016.7589907 fatcat:g4qpwxcotzb67f22c5raqlvtpy

Simulation of Organic Thin Film Transistor at both Device and Circuit Levels

M. Fayez, K. Morsy, M. Sabry
2015 International Conference on Aerospace Sciences and Aviation Technology  
Organic thin film transistors (OTFTs) are now making significant inroads into many new large-area applications, considering that they can be fabricated at low temperatures and with high throughput on a  ...  The transistors used have 10m/20u W/L ratio, the inverter is used at 1 kHz frequency.  ...  The general equation for the drain to source current in the linear regime is expressed with: KC W I V V V V V m m L kT           (2) OTFT Device Simulation The Verilog-A language is a high-level  ... 
doi:10.21608/asat.2015.23031 fatcat:4nlvqn4wnrabror7yzopi5scwa

Virtual lab: Space vector PWM for two-and three-level inverters

Okan Bingöl, Çetin Elmas
2017 Pamukkale University Journal of Engineering Sciences  
Circuit responses in different operating conditions are monitored with the aid of graphs and all parameters of the set can be modified easily.  ...  The space vector Pulse Width Modulation technique is used for controlling inverters.  ...  The operation of AC motors at different speeds is carried out with the aid of inverters. Inverters are converters that convert the DC voltage on their input into AC voltage on their output.  ... 
doi:10.5505/pajes.2016.59862 fatcat:6pkgoe6o4renpbhlgvd2xmbvja

Author index volume 132 (1994)

1994 Theoretical Computer Science  
Lutz, Computational depth and reducibility (Fundamental Study) Kari, L., On language equations with invertible operations Kim, C., Retreat bounded picture languages Koiran, P., M. Cosnard and M.  ...  ., Unrestricted complementation in language equations over a one-letter alphabet Lescanne, P., On termination of one rule rewrite systems (Note) Lutz, J., see D.W. Juedes McConnell, R., see A.  ... 
doi:10.1016/0304-3975(94)90240-2 fatcat:nl7cda6rv5aujncx7kxgty377u

Page 195 of Chemical Engineering Vol. 68, Issue 8 [page]

1961 Chemical Engineering  
GOTRAN is a simplified language (a sub-set of FORTRAN) that lets you enter simpli- fied problem statements and data into the computer with the solution immedi- ately available, in one simple operation.  ...  FASt—The 1620 solves a set of ten simul- taneous equations in only 20 seconds. It inverts a 10 x 10 matrix in just 42 seconds. POWERFUL—The 1620 inverts a 40 x 40 matrix.  ... 

Page 34 of Mechanical Engineering Vol. 83, Issue 2 [page]

1961 Mechanical Engineering  
GOTRAN is a simplified language (a sub-set of FORTRAN) that lets you enter simpli- fied problem statements and data into the computer with the solution immedi- ately available, in one simple operation.  ...  FASt—The 1620 solves a set of ten simul- taneous equations in only 20 seconds. It inverts a 10 x 10 matrix in just 42 seconds. POWERFUL—The 1620 inverts a 40 x 40 matrix.  ... 

SOLITON DEFORMATION OF INVERTED CATENOID
СОЛИТОННАЯ ДЕФОРМАЦИЯ ИНВЕРСИРОВАННОГО КАТЕНОИДА

D. Kurmanbayev, K. Yesmakhanova
2021 Izvestiâ Nacionalʹnoj akademii nauk Respubliki Kazahstan. Seriâ fiziko-matematičeskaâ  
The solution of the Dirac equation [2] in terms of spinors coincides with the representations of this surface with conservation of isothermal coordinates.  ...  The equation represented through the Dirac operator, which is included in the Manakov's L, A, B triple [3] as equivalent to the modified Veselov-Novikov equation (mVN) [4].  ...  For the inverted catenoid corresponds one of nontrivial solutions of the mVN equations (16), (17). 2. Inverted catenoid.  ... 
doi:10.32014/2021.2518-1726.17 fatcat:gjyzu2cuwjasxpm4ynjyrpvsca

Page 89 of Chemical Engineering Progress Vol. 57, Issue 4 [page]

1961 Chemical Engineering Progress  
GOTRAN is a simplified language (a sub-set of FORTRAN) that lets you enter simpli- fied problem statements and data into the computer with the solution immedi- ately available, in one simple operation.  ...  Frast—The 1620 solves a set of ten simul- taneous equations in only 20 seconds. It inverts a 10 x 10 matrix in just 42 seconds. powerrut—The 1620 inverts a 40 x 40 matrix.  ... 
« Previous Showing results 1 — 15 out of 77,105 results