Relevant bibliographies by topics / Symbolic state space analysis

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Symbolic state space analysis'

Author: Grafiati
Published: 10 March 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Symbolic state space analysis.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Symbolic state space analysis"

1

Derisavi, Salem, Peter Kemper, and William H. Sanders. "Symbolic state-space exploration and numerical analysis of state-sharing composed models." Linear Algebra and its Applications 386 (July 2004): 137–66. http://dx.doi.org/10.1016/j.laa.2004.01.006.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

He, Xinglu, Pengfei Wang, Kai Lu, and Xu Zhou. "EtWExplorer: Multi-Priority Scheduling Path Exploration Technology Based on Abstract Syntax Tree Analysis." Applied Sciences 12, no. 19 (October 10, 2022): 10182. http://dx.doi.org/10.3390/app121910182.

Full text
Abstract:
Symbolic execution is well known as a dynamic vulnerability discovery technique. Its greatest advantage is the capability to analyze the execution information of the program and to explore the path in the program deterministically. This is a more accurate way to determine if there are vulnerabilities in a program than randomized testing by fuzzing. In addition, symbolic execution does not suffer from the problem of decreasing the capability to discover new paths as more paths are discovered, similar to that caused by random-based fuzzing. However, the reason why symbolic execution is not widely used in vulnerability discovery is mainly due to the state space explosion in the program. The state space explosion severely affects the applicability of symbolic execution. To further improve the applicability of symbolic execution, this paper proposes a path exploration technology based on abstract syntax tree analysis. With the distance between the expression generated by the symbolic execution of the repeat location and the “unsatisfiable” condition of the “unsat” state, we can perform multi-priority scheduling for the repeat location state, thus mitigating the impact of the state space explosion on path exploration. We proposed and implemented EtWExplorer, a multi-priority scheduling technique based on abstract syntax tree analysis. With this technique, we can significantly improve the capability of symbolic execution to discover unknown paths even in state space exploration. Experiments show that EtWExplorer introduces a performance overhead of 72% in the worst case and can improve performance by 294% in the best case. EtWExplorer has a 95% improvement in state space explosion mitigation capability and a 199% to 983% improvement in the path exploration capability of block coverage and a 181% to 1047% improvement in the path exploration capability of edge coverage when facing programs that cause a state space explosion.
APA, Harvard, Vancouver, ISO, and other styles
3

Moreno, Ubirajara F., Pedro L. D. Peres, and Ivanil S. Bonatti. "Introducing the Analysis of Bifurcation in Dynamical Systems by Symbolic Computation." International Journal of Electrical Engineering & Education 44, no. 4 (October 2007): 289–306. http://dx.doi.org/10.7227/ijeee.44.4.1.

Full text
Abstract:
The aim of this paper is to introduce a few topics about nonlinear systems that are usual in electrical engineering but are frequently disregarded in undergraduate courses. More precisely, the main subject of this paper is to present the analysis of bifurcations in dynamical systems through the use of symbolic computation. The necessary conditions for the occurrence of Hopf, saddle-node, transcritical or pitchfork bifurcations in first order state space nonlinear equations depending upon a vector of parameters are expressed in terms of symbolic computation. With symbolic computation, the relationship between the state variables and the parameters that play a crucial role in the occurrence of such phenomena can be established. Firstly, the symbolic computation is applied to a third order dynamic Lorenz system in order to familiarise the students with the technique. Then, the symbolic routines are used in the analysis of the simplified model of a power system, bringing new insights and a deeper understanding about the occurrence of these phenomena in physical systems.
APA, Harvard, Vancouver, ISO, and other styles
4

Setiawan, Eko, Takuya Hirata, and Ichijo Hodaka. "Accurate Symbolic Steady State Modeling of Buck Converter." International Journal of Electrical and Computer Engineering (IJECE) 7, no. 5 (October 1, 2017): 2374. http://dx.doi.org/10.11591/ijece.v7i5.pp2374-2381.

Full text
Abstract:
<p>Steady state analysis is fundamental to any electric and electronic circuit design. Buck converter is one of most popular power electronics circuit and has been analyzed in various situations. Although the behavior of buck converters can be understood approximately by the well-known state space averaging method, little is known in the sense of detailed behavior or exact solution to equations. In this paper a steady state analysis of buck converter is proposed which allows the exact calculation of steady state response. Our exact solution is expressed as a Fourier series. Our result is compared with numerical calculation to be verified. Our method copes with more complicated problems such as describing average power and root-mean-square power that are most critical issues in power electronics circuit.</p>
APA, Harvard, Vancouver, ISO, and other styles
5

Speck, David, and Michael Katz. "Symbolic Search for Oversubscription Planning." Proceedings of the AAAI Conference on Artificial Intelligence 35, no. 13 (May 18, 2021): 11972–80. http://dx.doi.org/10.1609/aaai.v35i13.17422.

Full text
Abstract:
The objective of optimal oversubscription planning is to find a plan that yields an end state with a maximum utility while keeping plan cost under a certain bound. In practice, the situation occurs whenever a large number of possible, often competing goals of varying value exist, or the resources are not sufficient to achieve all goals. In this paper, we investigate the use of symbolic search for optimal oversubscription planning. Specifically, we show how to apply symbolic forward search to oversubscription planning tasks and prove that our approach is sound, complete and optimal. An empirical analysis shows that our symbolic approach favorably competes with explicit state-space heuristic search, the current state of the art for oversubscription planning.
APA, Harvard, Vancouver, ISO, and other styles
6

Suleimenov, Andrey. "Symbolic field of modern Islamism." Конфликтология / nota bene, no. 2 (February 2020): 57–73. http://dx.doi.org/10.7256/2454-0617.2020.2.33155.

Full text
Abstract:
The subject of this research is the key topoi of the discourse of Islamist propaganda and the mechanism of their representation by a number of unaccredited sources of the Russian-language extremist propaganda. The object of this research is the Islamist discourse covered by the &ldquo;official&rdquo; sources of the prohibited in the Russian Federation international terrorist organizations &ndash; &ldquo;Islamic State&rdquo;, &ldquo;Dabiq&rdquo; and &ldquo;Rumiyah&rdquo;, as well as a number of Russian-language sources of Islamist propaganda. The author examines such aspects of jihadist propaganda as the category of space, semiotics of Islamist propaganda; postmodern traits in the jihadist propaganda materials. Analysis is conducted on the category &ldquo;Dawlah&rdquo; (&ldquo;state&rdquo; from Arabic) as a sovereign concept in the discourse of &ldquo;Islamic State&rdquo; organization. Special attention is paid to the characteristic of Islamist propaganda as a phenomenon typical for the era of postmodernism. The distinctive features of the Russian-language Islamist discourse are described. Leaning on the analysis of textual and visual materials of Islamist propaganda, the author concludes on inextricable connection of the discourse of jihadist propaganda with the society of its function, despite the thesis on irreconcilable confrontation to the &ldquo;Taghut&rdquo; society declared by the ideologists of the international terrorist organization &ldquo;Islamic State&rdquo;. This thesis is proven by a certain symbolic set of Islamist propaganda, usage of symbols comprehensible to modern audiences, and significant attention given to the brand and style of the jihadists. After the defeat of the Caliphate as a proto-state entity (rather than a terrorist organization), the &ldquo;Islamic State&rdquo; substantially migrated into the virtual space. In an attempt to influence the audience, jihadist propaganda operates not only on the level of objective reality, but immerses the reader in an entirely virtual world. This work reveals the peculiarities of such process.
APA, Harvard, Vancouver, ISO, and other styles
7

Yao, Peisen, Qingkai Shi, Heqing Huang, and Charles Zhang. "Program analysis via efficient symbolic abstraction." Proceedings of the ACM on Programming Languages 5, OOPSLA (October 20, 2021): 1–32. http://dx.doi.org/10.1145/3485495.

Full text
Abstract:
This paper concerns the scalability challenges of symbolic abstraction: given a formula ϕ in a logic L and an abstract domain A , find a most precise element in the abstract domain that over-approximates the meaning of ϕ. Symbolic abstraction is an important point in the space of abstract interpretation, as it allows for automatically synthesizing the best abstract transformers. However, current techniques for symbolic abstraction can have difficulty delivering on its practical strengths, due to performance issues. In this work, we introduce two algorithms for the symbolic abstraction of quantifier-free bit-vector formulas, which apply to the bit-vector interval domain and a certain kind of polyhedral domain, respectively. We implement and evaluate the proposed techniques on two machine code analysis clients, namely static memory corruption analysis and constrained random fuzzing. Using a suite of 57,933 queries from the clients, we compare our approach against a diverse group of state-of-the-art algorithms. The experiments show that our algorithms achieve a substantial speedup over existing techniques and illustrate significant precision advantages for the clients. Our work presents strong evidence that symbolic abstraction of numeric domains can be efficient and practical for large and realistic programs.
APA, Harvard, Vancouver, ISO, and other styles
8

Hayes, Michael. "Lcapy: symbolic linear circuit analysis with Python." PeerJ Computer Science 8 (February 18, 2022): e875. http://dx.doi.org/10.7717/peerj-cs.875.

Full text
Abstract:
Lcapy is an open-source Python package for solving linear circuits symbolically. It uses a superposition of DC analysis, AC (phasor) analysis, transient (Laplace) analysis, and noise analysis. Expressions are evaluated using the computer algebra system SymPy. Lcapy can model circuits comprised of combinations of one-port and two-port networks or circuits specified using a netlist with a Spice-like notation. Lcapy can present the system of equations produced from nodal analysis, modified nodal analysis, loop analysis, and state-space analysis. Expressions can be formatted into many representations, parameterized, and transformed to other domains. Dimensional analysis is performed to reduce user errors and to present results with units. Both continuous and discrete signals are supported. Lcapy produces high-quality output. Textbook quality schematics in a number of different formats can be generated from netlists and customized for different conventions. Expressions can be formatted into LaTeX format for inclusion into a document or numerically evaluated and plotted. An overview of the features and capabilities of Lcapy is presented, along with implementation details and performance considerations.
APA, Harvard, Vancouver, ISO, and other styles
9

Gigauri, David Iraklievich. "2021 State Duma elections: blogs, social networks, and party Identity in the virtual space." Социодинамика, no. 11 (November 2021): 1–21. http://dx.doi.org/10.25136/2409-7144.2021.11.36962.

Full text
Abstract:
This article provides a comprehensive review of the modern Internet practices and virtual platforms in the sphere of politics aimed at promotion of different forms of voting technologies. The authors analyze public strategies of the political parties and candidates in the course of election campaign for the 2021 State Duma elections using the example of electoral constituency of St. Petersburg. The subject of this research is the use of digital means of communication that form virtual identity of the electorate during the 2021 State Duma elections. The object of this research is the representation of party ideologies and civic &ldquo;symbolic politics&rdquo; &nbsp;on the Internet based on the example of the popular video platforms YouTube, Tik-Tok as well as the traditional social networks Vkontakte and Facebook. The goal lies in the analysis of interaction of public actors with the audience (followers) in the course of conducting the electoral campaign. The scientific novelty of this article is substantiated by systematic and structural analysis of the scarce elements of virtual identity of Internet users on the example of electoral strategies of representation. The conclusion is drawn on the growing trends of building the so-called symbolic politics &ldquo;from the bottom&rdquo; and emergence of numerous actors that create sociopolitical content in the virtual space. The research methodology employs the content analysis of virtual communication channels, relying on the classical theory of symbolic politics and political identity. This theory can be modified by separate aspects of digitalization of the political subfield, which the modern researchers consider as virtual reality.
APA, Harvard, Vancouver, ISO, and other styles
10

Makeienko, Maryna. "Symbolic Analysis Applied to the Specification of Spatial Trends and Spatial Dependence." Entropy 22, no. 4 (April 20, 2020): 466. http://dx.doi.org/10.3390/e22040466.

Full text
Abstract:
This article provides symbolic analysis tools for specifying spatial econometric models. It firstly considers testing spatial dependence in the presence of potential leading deterministic spatial components (similar to time-series tests for unit roots in the presence of temporal drift and/or time-trend) and secondly considers how to econometrically model spatial economic relations that might contain unobserved spatial structure of unknown form. Hypothesis testing is conducted with a symbolic-entropy based non-parametric statistical procedure, recently proposed by Garcia-Cordoba, Matilla-Garcia, and Ruiz (2019), which does not rely on prior weight matrices assumptions. It is shown that the use of geographically restricted semiparametric spatial models is a promising modeling strategy for cross-sectional datasets that are compatible with some types of spatial dependence. The results state that models that merely incorporate space coordinates might be sufficient to capture space dependence. Hedonic models for Baltimore, Boston, and Toledo housing prices datasets are revisited, studied (with the new proposed procedures), and compared with standard spatial econometric methodologies.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Symbolic state space analysis"

1

Lippolis, Domenico. "How well can one resolve the state space of a chaotic map?" Diss., Georgia Institute of Technology, 2010. http://hdl.handle.net/1853/33841.

Full text
Abstract:
All physical systems are affected by some noise that limits the resolution that can be attained in partitioning their state space. For chaotic, locally hyperbolic flows, this resolution depends on the interplay of the local stretching/contraction and the smearing due to noise. My goal is to determine the `finest attainable' partition for a given hyperbolic dynamical system and a given weak additive white noise. That is achieved by computing the local eigenfunctions of the Fokker-Planck evolution operator in linearized neighborhoods of the periodic orbits of the corresponding deterministic system, and using overlaps of their widths as the criterion for an optimal partition. The Fokker-Planck evolution is then represented by a finite transition graph, whose spectral determinant yields time averages of dynamical observables. The method applies in principle to both continuous- and discrete-time dynamical systems. Numerical tests of such optimal partitions on unimodal maps support my hypothesis.
APA, Harvard, Vancouver, ISO, and other styles
2

Smario, David J. "Multicorrelation analysis and state space reconstruction /." Online version of thesis, 1994. http://hdl.handle.net/1850/11443.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Shoubaki, Ehab. "UNIFIED LARGE AND SMALL SIGNAL STATE-SPACE BASED MODELING AND SYMBOLIC SIMULATION FOR PWM CONVERTERS." Doctoral diss., University of Central Florida, 2009. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/3960.

Full text
Abstract:
In this Dissertation, which concentrates on discrete modeling for control purposes of DC/DC converters and simulation through symbolic techniques. A Unified Discrete State-Space Model for power converters in CCM is presented. Two main approaches to arriving at the discrete model are used. The first approach involves an impulse function approximation of the duty cycle modulation of the converter switches, and this approach results in a small signal discrete model. The Second approach is direct and does not involve any approximation of the modulation, this approach yields both a large signal nonlinear discrete model and a linear small signal model. Harmonic analysis of the converter's states at steady-state is done for steady-state waveform acquisition, which increases the accuracy of the model especially for finding the control to inductor current frequency response. Also the harmonic Analysis technique is used to both obtain the response of the converter to a load transient and to finding the optimal duty cycle response that minimizes the disturbance. Finally the Discrete model is verified for the Half-Bridge DC/DC topology for its three main control schemes (Asymmetric, Symmetric, DCS). A GUI platform in MATLAB is presented as a wrapper that utilizes the models and analysis presented in this thesis. Symbolic simulation techniques are developed in general manner for linear piecewise circuits and then through State-Space formalism specialized for DC/DC converters. A general symbolic solver programmed in JAVA that implements said techniques is presented.
Ph.D.
School of Electrical Engineering and Computer Science
Engineering and Computer Science
Electrical Engineering PhD
APA, Harvard, Vancouver, ISO, and other styles
4

Freese, John Richard. "A symbolic analysis of state educational policy and reaction in a selected state, 1915-1925." Diss., The University of Arizona, 1993. http://hdl.handle.net/10150/186216.

Full text
Abstract:
The role of nonpublic schools within American society has often been debated and challenged, yet for over three hundred and fifty years such schools have existed within what is now the United States. A significant portion of these nonpublic schools have been parochial schools operated by Lutheran denominations. Lutheran parochial schools were established by most European Lutheran immigrant groups to the United States, but the majority were established by German immigrants. German Lutheran immigrants to the United States initially established and maintained parochial schools to perpetuate their language, their culture, and their doctrinal standards. During World War I, extraordinary pressures from society and from the state came to bear on German Lutheran parochial schools. This study examined the public opinions and state policies within Nebraska from 1915-1925, as applied to German Lutheran parochial schools. The symbolic approach toward organizations was the analytical frame used for this study.
APA, Harvard, Vancouver, ISO, and other styles
5

Schmidt, Karsten. "Explicit state space verification." Doctoral thesis, [S.l. : s.n.], 2002. http://deposit.ddb.de/cgi-bin/dokserv?idn=967940745.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Zhu, Kunping. "Stability analysis and stabilization of fuzzy state space models." [S.l.] : [s.n.], 2006. http://deposit.ddb.de/cgi-bin/dokserv?idn=980973309.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Frühwirth-Schnatter, Sylvia. "Fully Bayesian Analysis of Switching Gaussian State Space Models." Department of Statistics and Mathematics, WU Vienna University of Economics and Business, 2000. http://epub.wu.ac.at/812/1/document.pdf.

Full text
Abstract:
In the present paper we study switching state space models from a Bayesian point of view. For estimation, the model is reformulated as a hierarchical model. We discuss various MCMC methods for Bayesian estimation, among them unconstrained Gibbs sampling, constrained sampling and permutation sampling. We address in detail the problem of unidentifiability, and discuss potential information available from an unidentified model. Furthermore the paper discusses issues in model selection such as selecting the number of states or testing for the presence of Markov switching heterogeneity. The model likelihoods of all possible hypotheses are estimated by using the method of bridge sampling. We conclude the paper with applications to simulated data as well as to modelling the U.S./U.K. real exchange rate. (author's abstract)
Series: Forschungsberichte / Institut für Statistik
APA, Harvard, Vancouver, ISO, and other styles
8

Agrawal, Sitij. "Linear state-space analysis and optimization of StreamIt programs." Thesis, Massachusetts Institute of Technology, 2004. http://hdl.handle.net/1721.1/33099.

Full text
Abstract:
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2004.
Includes bibliographical references (p. 95-97).
The following thesis entails the construction, testing, modification, and analysis of two systems that couple sample ion introduction methods with a Differential Mobility Spectrometer (DMS). The sample ionization methods used with a custom designed interface for the DMS were Electrospray Ionization (ESI) and Atmospheric Pressure Matrix Assisted Laser Desorption Ionization (AP-MALDI). In addition to system development, Fourier transform and decision tree analyses were explored as alternatives to lead-cluster mapping and genetic algorithms for analyzing and classifying data produced by the systems for large biomolecules. Findings from testing and experiments using the prototype system have led to a second generation design of the interface. Results from data analysis have also provided new insights into different methods for classifying data whose form changes drastically for different sample introduction methods.
by Sitij Agrawal.
M.Eng.
APA, Harvard, Vancouver, ISO, and other styles
9

Lampka, Kai. "A symbolic approach to the state graph based analysis of high-level Markov reward models." [S.l.] : [s.n.], 2007. http://deposit.ddb.de/cgi-bin/dokserv?idn=985513926.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Zhu, Kunping [Verfasser]. "Stability Analysis and Stabilization of Fuzzy State Space Models / Kunping Zhu." Aachen : Shaker, 2006. http://d-nb.info/1166513394/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Symbolic state space analysis"

1

Gerald, Lüttgen, Siminiceanu Radu, and Institute for Computer Applications in Science and Engineering., eds. Efficient symbolic state-space construction for asynchronous systems. Hampton, VA: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Gerald, Lüttgen, Siminiceanu Radu, and Institute for Computer Applications in Science and Engineering., eds. Efficient symbolic state-space construction for asynchronous systems. Hampton, VA: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Gerald, Lüttgen, Siminiceanu Radu, and Institute for Computer Applications in Science and Engineering., eds. Efficient symbolic state-space construction for asynchronous systems. Hampton, VA: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

1942-, Bart H., ed. Factorization of matrix and operator functions: The state space method. Basel: Birkhäuser, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bagdasaryan, Vardan. Political symbolics. ru: INFRA-M Academic Publishing LLC., 2017. http://dx.doi.org/10.12737/monography_5943996c30bc51.18834456.

Full text
Abstract:
Relevance of the appeal to a subject of political symbolics is defined by the growing importance of symbols in the management of mass consciousness in present period. The presented book is devoted to managerial possibilities of using symbols from the state and other political forces. The monograph describes the formation of symbolic spaces of oppositional forces from religious schismatics to the forces of "color revolutions". Correlation of political symbolics and ideology of parties is carried out. The comparative analysis over the countries of the world of valuable and semantic maintenance of the major political symbols of the states - anthems, mottoes, awards, bank notes, national holidays, texts of military oaths and oaths of presidents is carried out. The book is of interest to all, interested in political science, history, cultural science.
APA, Harvard, Vancouver, ISO, and other styles
6

Mustafa, D. Minimum entropy H [infinity] control. Berlin: Springer-Verlag, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Kichian, Maral. Measuring potential output within a state-space framework. [Ottawa, Ont: Dept. of Economics, Carleton University], 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Aoki, Masanao. State space modelling of time series. 2nd ed. Berlin: Springer-Verlag, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Delchamps, David F. State Space and Input-Output Linear Systems. New York, NY: Springer New York, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Bart, Harm, Sanne ter Horst, André C. M. Ran, and Hugo J. Woerdeman, eds. Operator Theory, Analysis and the State Space Approach. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-04269-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Symbolic state space analysis"

1

Ciardo, Gianfranco, Gerald Lüttgen, and Radu Siminiceanu. "Saturation: An Efficient Iteration Strategy for Symbolic State—Space Generation." In Tools and Algorithms for the Construction and Analysis of Systems, 328–42. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45319-9_23.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Carnevali, Laura, Lorenzo Ridi, and Enrico Vicario. "A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models." In Lecture Notes in Computer Science, 409–22. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24270-0_30.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Vasilevski, Nikolai. "On commutative C∗-algebras generated by Toeplitz operators with $$ \mathbb{T}^{m}$$ -invariant symbols." In Operator Theory, Analysis and the State Space Approach, 443–64. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-04269-1_18.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Groenewald, G. J., S. ter Horst, J. Jaftha, and A. C. M. Ran. "A Toeplitz-like operator with rational symbol having poles on the unit circle I: Fredholm properties." In Operator Theory, Analysis and the State Space Approach, 239–68. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-04269-1_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Thierry-Mieg, Yann, Jean-Michel Ilié, and Denis Poitrenaud. "A Symbolic Symbolic State Space Representation." In Lecture Notes in Computer Science, 276–91. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30232-2_18.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Harvey, Andrew. "State space models." In Macroeconometrics and Time Series Analysis, 269–75. London: Palgrave Macmillan UK, 2010. http://dx.doi.org/10.1057/9780230280830_30.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Lütkepohl, Helmut. "State Space Models." In Introduction to Multiple Time Series Analysis, 415–45. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-662-02691-5_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Lütkepohl, Helmut. "State Space Models." In Introduction to Multiple Time Series Analysis, 415–45. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/978-3-642-61695-2_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Wurdeman, Shane R. "State-Space Reconstruction." In Nonlinear Analysis for Human Movement Variability, 55–82. Boca Raton : Taylor & Francis, Taylor & Francis, a CRC title, part of the: CRC Press, 2018. http://dx.doi.org/10.1201/9781315370651-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Bultan, Tevfik, Fang Yu, Muath Alkhalaf, and Abdulbaki Aydin. "State Space Exploration." In String Analysis for Software Verification and Security, 23–35. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-68670-7_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Symbolic state space analysis"

1

Carnevali, Laura, Lorenzo Ridi, and Enrico Vicario. "Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models." In 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST). IEEE, 2011. http://dx.doi.org/10.1109/qest.2011.29.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Martinelli Tabajara, Lucas, and Moshe Y. Vardi. "Partitioning Techniques in LTLf Synthesis." In Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. California: International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/777.

Full text
Abstract:
Decomposition is a general principle in computational thinking, aiming at decomposing a problem instance into easier subproblems. Indeed, decomposing a transition system into a partitioned transition relation was critical to scaling BDD-based model checking to large state spaces. Since then, it has become a standard technique for dealing with related problems, such as Boolean synthesis. More recently, partitioning has begun to be explored in the synthesis of reactive systems. LTLf synthesis, a finite-horizon version of reactive synthesis with applications in areas such as robotics, seems like a promising candidate for partitioning techniques. After all, the state of the art is based on a BDD-based symbolic algorithm similar to those from model checking, and partitioning could be a potential solution to the current bottleneck of this approach, which is the construction of the state space. In this work, however, we expose fundamental limitations of partitioning that hinder its effective application to symbolic LTLf synthesis. We not only provide evidence for this fact through an extensive experimental evaluation, but also perform an in-depth analysis to identify the reason for these results. We trace the issue to an overall increase in the size of the explored state space, caused by an inability of partitioning to fully exploit state-space minimization, which has a crucial effect on performance. We conclude that more specialized decomposition techniques are needed for LTLf synthesis which take into account the effects of minimization.
APA, Harvard, Vancouver, ISO, and other styles
3

Butcher, Eric A., Haitao Ma, Ed Bueler, Victoria Averina, and Zsolt Szabo. "Stability Analysis of Parametrically Excited Systems With Time-Delay." In ASME 2003 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2003. http://dx.doi.org/10.1115/detc2003/vib-48574.

Full text
Abstract:
This paper presents a new technique for studying the stability properties of parametrically excited dynamic systems with time delay modeled by delay-differential equations (DDEs) with time-periodic parameters. By employing a shifted Chebyshev polynomial approximation in each time interval with length equal to the delay period, the dynamic system can be reduced to a set of linear difference equations for the Chebyshev expansion coefficients of the state vector in the previous and current intervals. This defines a linear map which is the “infinite-dimensional Floquet transition matrix U”. Two different formulas for the computation of the approximate U, whose size is determined by the number of polynomials employed, are given. The first one, which results in a numerical stability matrix, uses the direct integral form of the original system in state space form while the second, which can give a symbolic stability matrix in terms of parameters, uses a convolution integral (variation of parameters) formulation. An extension of the method to the case where the delay and parametric periods are commensurate is also available. Numerical and symbolic stability charts are produced for several examples of time-periodic DDEs, including the delayed Mathieu equation and a model for regenerative chatter in impedance-modulated turning. The results indicate that this method is a effective way to study the stability of periodic DDEs.
APA, Harvard, Vancouver, ISO, and other styles
4

Kirkland, W. Grant, and S. C. Sinha. "Symbolic Computation of Quantities Associated With Time-Periodic Dynamical Systems." In ASME 2015 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2015. http://dx.doi.org/10.1115/detc2015-47486.

Full text
Abstract:
Many dynamical systems can be modeled by a set of linear/nonlinear ordinary differential equations with periodic time-varying coefficients. The state transition matrix Φ(t,α) associated with the linear part of the equation can be expressed in terms of the periodic Lyapunov-Floquét transformation matrix Q(t,α) and a time-invariant matrix R(α). Computation of Q(t,α) and R(α) in a symbolic form as a function of system parameters α is of paramount importance in stability, bifurcation analysis, and control system design. In the past, a methodology has been presented for computing Φ(t,α) in a symbolic form, however Q(t,α) and R(α) have never been calculated in a symbolic form. Since Q(t,α) and R(α) were available only in numerical forms, general results for parameter unfolding and control system design could not be obtained in the entire parameter space. In this work a technique for symbolic computation of Q(t,α), and R(α) matrices is presented. First, Φ(t,α) is computed symbolically using the shifted Chebyshev polynomials and Picard iteration method as suggested in the literature. Then R(α) is computed using the Gaussian quadrature integral formula. Finally Q(t,α) is computed using the matrix exponential summation method. Using Mathematica, this approach has successfully been applied to the well-known Mathieu equation and a four dimensional time-periodic system in order to demonstrate the applications of the proposed method to linear as well as nonlinear problems.
APA, Harvard, Vancouver, ISO, and other styles
5

Catania, Giuseppe, and Nicolo` Mancinelli. "Motorcycle Local Stability Analysis Under Acceleration and Braking by Model Linearization and Eigenproblem Solution." In ASME 2007 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2007. http://dx.doi.org/10.1115/detc2007-34824.

Full text
Abstract:
A study on the dynamic stability of a motorcycle under severe acceleration and braking conditions is presented. The purpose is to analyze the experimentally observed oscillatory behavior, such as wheel bounce or chatter and rear suspension pitch. This phenomenon greatly affects the handling performance and the safety of sports motorcycles. A plane motion lumped parameter model of the vehicle is defined by the variational virtual work approach. Tire longitudinal forces are modeled using Pacejka’s nonlinear equations for quasi steady states; the kinematical model of the chain drive system is also included. The obtained nonlinear system of second order ordinary differential equations is linearized in symbolic form and transformed into the state space. The same equations of motion are numerically integrated in a commercial multibody code to compute the time histories simulating different maneuvers at quasi constant values of vehicle longitudinal acceleration. Local stability is evaluated via the model eigenvalues that are computed with respect to instantaneous equilibrium points evaluated by numerical integration. Root locus plots are traced to evaluate the graphical representation of damping and frequency associated with previously obtained eigenvalues, under different operating conditions. Coupling of standard key vehicle modes (front/rear wheel hop and suspension pitch) are also visualized by eigenvector animations. The influence of tire characteristics on the damping values of these key motorcycle modes is pointed out. The sensitivity of structural parameters on the stability of the lightly damped and critical modes is then discussed in detail.
APA, Harvard, Vancouver, ISO, and other styles
6

Yang, Bingen. "Distributed Transfer Function Synthesis of Complex Flexible Systems." In ASME 1993 Design Technical Conferences. American Society of Mechanical Engineers, 1993. http://dx.doi.org/10.1115/detc1993-0168.

Full text
Abstract:
Abstract This paper presents a new analytical and numerical method for modeling and synthesis of complex flexible systems (CFS) that are multiple continua combined with lumped parameter systems. In the analysis, the CFS is first divided into a number of subsystems; the distributed transfer functions of each subsystem are determined in exact and closed form by a state space technique. The CFS is then assembled by imposing displacement compatibility and force balance at the nodes where the subsystems are interconnected. With the distributed transfer functions and the transfer functions of the constraints and lumped parameter systems, exact, closed-form formulation is obtained for various dynamics and vibration problems. The method does not require a knowledge of system eigensolutions, and is valid for non-self-adjoint systems with inhomogeneous boundary conditions. In addition, the proposed method is convenient in computer coding, and suitable for computerized symbolic manipulation.
APA, Harvard, Vancouver, ISO, and other styles
7

Yu-Tong, Li, and Wang Yu-Xin. "A Systematic Rapid Creative Design Framework for Complex Mechanical Systems From Conceptual Design to 3D Virtual Simulation." In ASME 2019 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2019. http://dx.doi.org/10.1115/detc2019-98150.

Full text
Abstract:
Abstract This paper presents a systematic rapid creative design framework for complex mechanisms to support creative conceptual design schemes’ generation and 3D virtual simulation. In conceptual design stage, a rule-based creative conceptual design system is constructed to expand conceptual design solution space through operating design rules related to functional requirements of design problems with graphic carriers. Compared with FBS models or catalogue-based matching approaches, the rule-based system can dig out more innovative conceptual design schemes including generalized mechanisms. Then a great number of conceptual design schemes generated in conceptual design are represented with symbolic schemes and identified into constituent basic mechanisms and their connections. To the constituent basic mechanisms, the object-oriented (OO) technology is applied to set up their 3D virtual solid models with encapsulated key feature parameters, which can be automatically modified by system’s database with the aid of the new defined classes. According to the OO solid models of constituent basic mechanisms and their connections, a 3D space layout algorithm considering the connections among the solid models is developed to determine the position of each constituent solid basic mechanism. Finally, an object-oriented based kinematic analysis method is pro-posed to carry out automatic kinematic analysis of the complex mechanisms related to the symbolic schemes. By means of the virtual-assembly approach and the kinematic data, all constituent components in the complex mechanisms are put onto the proper positions as they are assembled manually. In this way, the systematic design processes for complex mechanisms from creative conceptual design schemes’ generation, to 3D virtual solid design, layout de-sign, kinematic analysis, and virtual assembly and simulation are realized automatically. Based on the framework presented in this paper, rapid generating and evaluating innovative, excellent-performance schemes of complex mechanisms in 3D virtual prototype form are possible.
APA, Harvard, Vancouver, ISO, and other styles
8

Wilhelm, Stephan, and Björn Wachter. "Symbolic state traversal for WCET analysis." In the seventh ACM international conference. New York, New York, USA: ACM Press, 2009. http://dx.doi.org/10.1145/1629335.1629354.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Capra, L. "Colored Petri nets state-space reduction via symbolic execution." In Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05). IEEE, 2005. http://dx.doi.org/10.1109/synasc.2005.26.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Bellettini, Carlo, Matteo Camilli, Lorenzo Capra, and Mattia Monga. "Symbolic State Space Exploration of RT Systems in the Cloud." In 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). IEEE, 2012. http://dx.doi.org/10.1109/synasc.2012.18.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Symbolic state space analysis"

1

Hacker, Joshua P., Cari G. Kaufman, and James Hansen. State-Space Analysis of Model Error: A Probabilistic Parameter Estimation Framework with Spatial Analysis of Variance. Fort Belvoir, VA: Defense Technical Information Center, September 2012. http://dx.doi.org/10.21236/ada574466.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Soloviev, Vladimir, Oleksandr Serdiuk, Serhiy Semerikov, and Arnold Kiv. Recurrence plot-based analysis of financial-economic crashes. [б. в.], October 2020. http://dx.doi.org/10.31812/123456789/4121.

Full text
Abstract:
The article considers the possibility of analyzing the dynamics of changes in the characteristics of time series obtained on the basis of recurrence plots. The possibility of using the studied indicators to determine the presence of critical phenomena in economic systems is considered. Based on the analysis of economic time series of different nature, the suitability of the studied characteristics for the identification of critical phenomena is assessed. The description of recurrence diagrams and characteristics of time series that can be obtained on their basis is given. An analysis of seven characteristics of time series, including the coefficient of self-similarity, the coefficient of predictability, entropy, laminarity, is carried out. For the entropy characteristic, several options for its calculation are considered, each of which allows the one to get its own information about the state of the economic system. The possibility of using the studied characteristics as precursors of critical phenomena in economic systems is analyzed. We have demonstrated that the entropy analysis of financial time series in phase space reveals the characteristic recurrent properties of complex systems. The recurrence entropy methodology has several advantages compared to the traditional recurrence entropy defined in the literature, namely, the correct evaluation of the chaoticity level of the signal, the weak dependence on parameters. The characteristics were studied on the basis of daily values of the Dow Jones index for the period from 1990 to 2019 and daily values of oil prices for the period from 1987 to 2019. The behavior of recurrence entropy during critical phenomena in the stock markets of the USA, Germany and France was studied separately. As a result of the study, it was determined that delay time measure, determinism and laminarity can be used as indicators of critical phenomena. It turned out that recurrence entropy, unlike other entropy indicators of complexity, is an indicator and an early precursor of crisis phenomena. The ways of further research are outlined.
APA, Harvard, Vancouver, ISO, and other styles
3

McIntyre, Phillip, Susan Kerrigan, and Marion McCutcheon. Australian Cultural and Creative Activity: A Population and Hotspot Analysis: Albury-Wodonga. Queensland University of Technology, 2020. http://dx.doi.org/10.5204/rep.eprints.206966.

Full text
Abstract:
Albury-Wodonga, situated in Wiradjuri country, sits astride the Murray River and has benefitted in many ways from its almost equidistance from Sydney and Melbourne. It has found strength in the earlier push for decentralisation begun in early 1970s. A number of State and Federal agencies have ensured middle class professionals now call this region home. Light industry is a feature of Wodonga while Albury maintains the traditions and culture of its former life as part of the agricultural squattocracy. Both Local Councils are keen to work cooperatively to ensure the region is an attractive place to live signing an historical partnership agreement. The region’s road, rail, increasing air links and now digital infrastructure, keep it closely connected to events elsewhere. At the same time its distance from the metropolitan centres has meant it has had to ensure that its creative and cultural life has been taken into its own hands. The establishment of the sophisticated Murray Art Museum Albury (MAMA) as well as the presence of the LibraryMuseum, Hothouse Theatre, Fruit Fly Circus, The Cube, Arts Space and the development of Gateway Island on the Murray River as a cultural hub, as well as the high profile activities of its energetic, entrepreneurial and internationally savvy locals running many small businesses, events and festivals, ensures Albury Wodonga has a creative heart to add to its rural and regional activities.
APA, Harvard, Vancouver, ISO, and other styles
4

Krushelnytska, Sofiia. UKRAINE’S IMAGE IN THE FRENCH MEDIA DURING THE EVENTS OF 2004. Ivan Franko National University of Lviv, February 2021. http://dx.doi.org/10.30970/vjo.2021.49.11065.

Full text
Abstract:
The article examines the formation of the image of Ukraine by the French media during the Orange Revolution. The main factors influencing the tone of publications and difficulties in creating a positive external image of Ukraine in the French media are identified. The article is aimed at the analysis of scientific research on the influence of the French media on the formation of the image of Ukraine and its role in international socio-political processes. The study analyzes the materials of French journalists in the media, written during the events in 2004. The main factors influencing the formation of positive features of the Ukrainian state are identified. The main changes in perceptions of Ukraine in the French media are systematized. The influence of the media on the formation of the image and security of the state is determined. The main peaks of interest in Ukraine from foreign mass media are analyzed. Stereotypes and myths in the image of Ukraine that should be destroyed have been identified. The article also analyzes the role of the Orange Revolution in forming a positive image of Ukraine for foreign recipients. It is also investigated what factors influence the information space of the state and its role in image formation. Examples of Russian influence on the French media in order to undermine Ukraine’s image at the international level are given. Articles, radio and TV materials are offered as an example of interest and attention to the events of 2004. At the same time, the need to control the information that enters the information space outside Ukraine has been demonstrated. However, the positive effects of the image on the support of Ukraine by foreign partners have been identified.
APA, Harvard, Vancouver, ISO, and other styles
5

Collins, Clarence O., and Tyler J. Hesser. altWIZ : A System for Satellite Radar Altimeter Evaluation of Modeled Wave Heights. Engineer Research and Development Center (U.S.), February 2021. http://dx.doi.org/10.21079/11681/39699.

Full text
Abstract:
This Coastal and Hydraulics Engineering Technical Note (CHETN) describes the design and implementation of a wave model evaluation system, altWIZ, which uses wave height observations from operational satellite radar altimeters. The altWIZ system utilizes two recently released altimeter databases: Ribal and Young (2019) and European Space Agency Sea State Climate Change Initiative v.1.1 level 2 (Dodet et al. 2020). The system facilitates model evaluation against 1 Hz1 altimeter data or a product created by averaging altimeter data in space and time around model grid points. The system allows, for the first time, quantitative analysis of spatial model errors within the U.S. Army Corps of Engineers (USACE) Wave Information Study (WIS) 30+ year hindcast for coastal United States. The system is demonstrated on the WIS 2017 Atlantic hindcast, using a 1/2° basin scale grid and a 1/4° regional grid of the East Coast. Consistent spatial patterns of increased bias and root-mean-square-error are exposed. Seasonal strengthening and weakening of these spatial patterns are found, related to the seasonal variation of wave energy. Some model errors correspond to areas known for high currents, and thus wave-current interaction. In conjunction with the model comparison, additional functions for pairing altimeter measurements with buoy data and storm tracks have been built. Appendices give information on the code access (Appendix I), organization and files (Appendix II), example usage (Appendix III), and demonstrating options (Appendix IV).
APA, Harvard, Vancouver, ISO, and other styles
6

Bilovska, Natalia. HYPERTEXT: SYNTHESIS OF DISCRETE AND CONTINUOUS MEDIA MESSAGE. Ivan Franko National University of Lviv, March 2021. http://dx.doi.org/10.30970/vjo.2021.50.11104.

Full text
Abstract:
In the article we interpret discrete and continuous message as interrupted and constant, limited and continual text, which has specific features and a number of differences between traditional (one-dimensional) text and hypertext (multidimensional). The purpose of this study is to define the concept of “hypertext”, consideration of its characteristics and features of the structure, similarities and differences with the traditional text, including the message in the media and communication. To achieve the goal of the study, we used a number of methods typical of journalism. Empirical analysis enabled a generalized description of the subject of study, which allowed to know it as a phenomenon. With the help of generalization the characteristic and specific regularities and principles of hypertext were studied. The system method is used to identify the dependence of each element of hypertext on its place in the text system as a whole. The retrospective method helped to understand the preconditions for the emergence of hypertext, to trace the dynamics of its development. General scientific methods (analysis, synthesis, induction, deduction) made it possible to formulate the conclusions of the study. Thanks to hypertext and the hypertext systems, the concept of virtual reality has gained tangible meaning. In hypertext space, virtuality organically complements reality. The state of virtuality, in this case, becomes the concept of hyperreality, and all this merges into a single whole in the space of computer text. Due to its volume and multidimensionality, hypertext can arouse scientific interest as an interdisciplinary discipline. In today’s world, the phenomenon of hypertext has been the subject of numerous discussions, conferences and research in the field of social communications, linguistics and psychology. Today, a significant number of organizations conduct large-scale research based on the concepts of hypertext associations and associative navigation.
APA, Harvard, Vancouver, ISO, and other styles
7

Bonomo, Marco, Claudio R. Frischtak, and Paulo Ribeiro. Public Investment and Fiscal Crisis in Brazil: Finding Culprits and Solutions. Inter-American Development Bank, April 2021. http://dx.doi.org/10.18235/0003199.

Full text
Abstract:
We investigate the relation between existing fiscal rules and investments in the context of a fiscal crisis in Brazil. We analyze existing fiscal rules at national and subnational levels, their enforcement, and proposed alternatives. Using narrative analysis, case studies, interviews, empirical estimation, and model simulations, we conclude that public investment is not closely related to fiscal rules in Brazil but is mainly determined by fiscal conditions both at national and subnational (state) levels. It is the steady increase of personnel expenditures in real terms that underlies the fiscal deterioration of the last decade, despite the existence of fiscal rules devised to prevent it. We argue that a constitutional rule limiting subnationals personnel expenditures to 50 percent of net revenues, triggering adjustment measures when reaching 47.5 percent, would be an effective instrument for subnational fiscal management, opening fiscal space for increasing investments. At the national level, despite the existence of several fiscal rules, the only effective fiscal anchor is the primary expenditure ceiling introduced in 2016, which has successfully curbed expenditures, including those of the judiciary and legislature.
APA, Harvard, Vancouver, ISO, and other styles
8

Iatsyshyn, Anna V., Valeriia O. Kovach, Volodymyr O. Lyubchak, Yurii O. Zuban, Andriy G. Piven, Oleksandra M. Sokolyuk, Andrii V. Iatsyshyn, Oleksandr O. Popov, Volodymyr O. Artemchuk, and Mariya P. Shyshkina. Application of augmented reality technologies for education projects preparation. [б. в.], July 2020. http://dx.doi.org/10.31812/123456789/3856.

Full text
Abstract:
After analysis of scientific literature, we defined that concept of “augmented reality” has following synonyms: “advanced reality”, “improved reality”, “enriched reality”, “mixed reality” and “hybrid reality”. Analysis of scientific literature and own practical experience of the use of augmented reality technologies application in educational practices allowed to state next: augmented reality technologies have a great potential for application in education; there are some cases of augmented reality use for school education; positive aspects of augmented reality technologies application in higher education institutions are confirmed by experiments (isolated cases); only few universities in Ukraine apply augmented reality technologies to educate students; only few universities in Ukraine have special subjects or modules in schedule to teach students to develop augmented reality technologies; various scientific events, mass events, competitions are held in Ukraine, and specialized training on the augmentation of augmented reality technologies is carried out, but this is non-systematic and does not have special state orientation and support. Features of introduction of virtual and augmented reality technologies at Sumy State University (Ukraine) are identified: “e-learning ecosystems” was created; in 2019, augmented and virtual reality research laboratory was established. Advantages and disadvantages of project activity in education are described: project activity is one of the most important components of educational process; it promotes creative self-development and self-realization of project implementers and forms various life competencies. It is determined that augmented reality application for implementation of educational projects will help: to increase students’ interest for educational material; formation of new competences; increase of students’ motivation for independent educational and cognitive activity; activation of educational activities; formation of positive motivation for personal and professional growth; conditions creation for development of personal qualities (creativity, teamwork, etc.). Current trends in implementation of educational projects were identified: most of the winner projects were implemented using augmented reality technology; augmented reality technologies were used in projects to teach different disciplines in higher education institutions. Augmented reality technology application for project activity has positive impact on learning outcomes and competitiveness of the national workforce; it will enhance the country’s position in the global economic space.
APA, Harvard, Vancouver, ISO, and other styles
9

Chervinchuk, Alina. THE CONCEPT OF ENEMY: REPRESENTATION IN THE UKRAINIAN MILITARY DOCUMENTARIES. Ivan Franko National University of Lviv, February 2021. http://dx.doi.org/10.30970/vjo.2021.49.11063.

Full text
Abstract:
Research methodology. The following methods were used in this research: general scientific methods (descriptive, analysis, synthesis, comparison) and special (structural, hermeneutic, narrative, method of content analysis). We identified words related to the concept of the enemy and determined the context in which they are used by the authors of the collections Results. The formats of reflection of military reality in collections of military documentaries are investigated. It is emphasized that the authors-observers of events as professional communicators form a vision of events based on categories understandable to the audience – «own» and «others». Instead, the authors-participants go events have more creative space and pay more attention to their own emotional state and reflections. It is defined how the enemy is depicted and what place he occupies in the military reality represented by the authors. It is emphasized that the authors reflect the enemy in different ways. In particular, the authors-observers of the events tried to form a comprehensive vision of the events, and therefore paid much attention to the opposite side of the military conflict. Authors-participants of the events tend to show the enemy as a mass to be opposed. In such collections, the enemy is specified only in the presence of evidence confirming the presence of Russians or militants. Novelty. The research for the first time investigates the methods of representation of mi­litary activity in the collections of Ukrainian military documentaries. The article is devoted to the analysis of how the authors represent the enemy. Practical importance. The analysis of collections of military documentaries will allow to study the phenomenon of war and to trace the peculiarities of the authors’ representation of military reality.
APA, Harvard, Vancouver, ISO, and other styles
10

Droogan, Julian, Lise Waldek, Brian Ballsun-Stanton, and Jade Hutchinson. Mapping a Social Media Ecosystem: Outlinking on Gab & Twitter Amongst the Australian Far-right Milieu. RESOLVE Network, September 2022. http://dx.doi.org/10.37805/remve2022.6.

Full text
Abstract:
Attention to the internet and the online spaces in which violent extremists interact and spread content has increased over the past decades. More recently, that attention has shifted from understanding how groups like the self-proclaimed Islamic State use the internet to spread propaganda to understanding the broader internet environment and, specifically, far-right violent extremist activities within it. This focus on how far right violent extremist—including far-right racially and ethnically motivated violent extremists (REMVEs) within them—create, use, and exploit the online networks in which they exist to promote their hateful ideology and reach has largely focused on North America and Europe. However, in recent years, examinations of those online dynamics elsewhere, including in Australia, is increasing. Far right movements have been active in Australia for decades. While these movements are not necessarily extremist nor violent, understanding how violent far right extremists and REMVEs interact within or seek to exploit these broader communities is important in further understanding the tactics, reach, and impact of REMVEs in Australia. This is particularly important in the online space access to broader networks of individuals and ideas is increasingly expanding. Adding to a steadily expanding body of knowledge examining online activities and networks of both broader far right as well as violent extremist far right populations in Australia, this paper presents a data-driven examination of the online ecosystems in which identified Australian far-right violent extremists exist and interact,1 as mapped by user generated uniform resource locators (URL), or ‘links’, to internet locations gathered from two online social platforms—Twitter and Gab. This link-based analysis has been used in previous studies of online extremism to map the platforms and content shared in online spaces and provide further detail on the online ecosystems in which extremists interact. Data incorporating the links was automatically collected from Twitter and Gab posts from users existing within the online milieu in which those identified far right extremists were connected. The data was collected over three discrete one-month periods spanning 2019, the year in which an Australian far right violent extremist carried out the Christchurch attack. Networks of links expanding out from the Twitter and Gab accounts were mapped in two ways to explore the extent and nature of the online ecosystems in which these identified far right Australian violent extremists are connected, including: To map the extent and nature of these ecosystems (e.g., the extent to which other online platforms are used and connected to one another), the project mapped where the most highly engaged links connect out to (i.e., website domain names), and To explore the nature of content being spread within those ecosystems, what sorts of content is found at the end of the most highly engaged links. The most highly engaged hashtags from across this time are also presented for additional thematic analysis. The mapping of links illustrated the interconnectedness of a social media ecosystem consisting of multiple platforms that were identified as having different purposes and functions. Importantly, no links to explicitly violent or illegal activity were identified among the top-most highly engaged sites. The paper discusses the implications of the findings in light of this for future policy, practice, and research focused on understanding the online ecosystems in which identified REMVE actors are connected and the types of thematic content shared and additional implications in light of the types of non-violent content shared within them.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Symbolic state space analysis' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography