Academic literature on the topic 'System methods'

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 'System methods.'

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 "System methods"

1

Abrial, Jean-Raymond. "Formal Methods: Theory Becoming Practice." JUCS - Journal of Universal Computer Science 13, no. (5) (2007): 619–28. https://doi.org/10.3217/jucs-013-05-0619.

Full text
Abstract:
This paper gives a tutorial introduction to the ideas behind system development usingthe B-Method. Properly handled, the crucial relationship between requirements and formal model leads to systems that are correct by construction. Some industrial successes are outlined.
APA, Harvard, Vancouver, ISO, and other styles
2

Helenius, Fred W. "Freudenthal triple systems by root system methods." Journal of Algebra 357 (May 2012): 116–37. http://dx.doi.org/10.1016/j.jalgebra.2012.01.025.

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

Kubby, Joel A. "Bistable microelectromechanical system based structures, systems and methods." Journal of the Acoustical Society of America 117, no. 5 (2005): 2691. http://dx.doi.org/10.1121/1.1932361.

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

Jamshidovna, Boltayeva Moxichexra, and Fayzullayev Sherzod Bahodirovich. "INNOVATIVE METHODS AND TECHNIQUES IN THE EDUCATION SYSTEM." CURRENT RESEARCH JOURNAL OF PEDAGOGICS 02, no. 11 (2021): 147–51. http://dx.doi.org/10.37547/pedagogics-crjp-02-11-28.

Full text
Abstract:
“Pedagogical system” Defining the role of innovative technologies in the development of education. Pedagogical substantiation of development and introduction of innovative methods in education. The role and application of methods in the education system. Intensive development and extensive development in the education system. Development and introduction of innovative methods in the modern education system. VF Shatalov "methodical". G.K.Selevko “methodology”, S.N.Lisenkova “methodology”.
APA, Harvard, Vancouver, ISO, and other styles
5

Poduval, Karthik. "Methods of Improving the Robustness of System Software." International Journal of Science and Research (IJSR) 9, no. 3 (2020): 1649–57. http://dx.doi.org/10.21275/sr24304165403.

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

Zito, Richard. "System Safety Matrix Methods." Journal of System Safety 52, no. 3 (2017): 13–21. http://dx.doi.org/10.56094/jss.v52i3.119.

Full text
Abstract:
The analysis of networks is a common feature in system safety analysis. These networks may range from electronic circuits to software flowcharts to maps of land, air, sea and communications traffic. Matrix methods are the natural tool for the analysis of these networks, and the object of this paper is to describe the basics of matrix methods in the context of three common problems encountered by systems safety engineers: the Bent Pin Problem, the Sneak Circuit Problem and the Analysis of Software Logic. Comparison of these analyses will reveal deep connections between these problems and sugges
APA, Harvard, Vancouver, ISO, and other styles
7

Sultanova, Muxabbat Shamsiyevna, and Firuza Subhonovna Mardanova. "SOME INTERACTIVE METHODS OF LEARNING FOREIGN LANGUAGES." International journal of word art 5, no. 2 (2022): 31–35. https://doi.org/10.5281/zenodo.6633963.

Full text
Abstract:
This article discusses the interactive method, which is one of the most effective methods in foreign language teaching system. The interactive teaching method increases motivation in learning foreign languages, making students feel more comfortable in the learning process. In addition, all the methods and techniques discussed in this article develop communication skills, teach to work in a team and listen to each other, as well as contribute to solving a specific pedagogical problem. Based on the material presented, we concluded that an interactive teaching method encourages the learning of fo
APA, Harvard, Vancouver, ISO, and other styles
8

Pinter, Judit Maria, and Attila Trohák. "System Integration Methods for Voice-Commanded PLC Controlled Systems." Applied Mechanics and Materials 309 (February 2013): 280–85. http://dx.doi.org/10.4028/www.scientific.net/amm.309.280.

Full text
Abstract:
In our paper we introduce a part of our research where we develop a voice-commanded operator surface which can help to improve the efficiency of the operators work. We want to integrate a voice recognition software module to the control system of a monorail. In the paper we will examine the speech recognizer module and the possibilities of integration to the PLC system of the monorail. The integration can be done via serial communication, via Ethernet or via OPC using a SCADA system. Our aim is to create a reliable and cost-effective system.
APA, Harvard, Vancouver, ISO, and other styles
9

Hietpas, Steven M., and Donald A. Pierre. "System Identification Using Prony Methods For Digital Control Systems." IFAC Proceedings Volumes 27, no. 8 (1994): 903–8. http://dx.doi.org/10.1016/s1474-6670(17)47824-4.

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

Xaydarov, Iqboljon. "SYSTEM OF LINEAR ALGEBRAIC EQUATIONS AND METHODS OF THEIR SOLUTION." Multidisciplinary Journal of Science and Technology 4, no. 1 (2024): 39–44. https://doi.org/10.5281/zenodo.10475561.

Full text
Abstract:
A system of linear algebraic equations consists of multiple linear equations involving the same set of variables. Generally represented in matrix form, these systems are prevalent in diverse fields, including physics, engineering, economics, and computer science. A generic representation of a system with 'n' equations and 'm' variables can be expressed as Ax = B, where A is the coefficient matrix, x is the column vector of variables, and B is the column vector of constants. Linear algebra serves as the backbone of numerous mathematical and scientific disciplines, providing a powerful framework
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "System methods"

1

Zhou, Ning. "Subspace methods of system identification applied to power systems." Laramie, Wyo. : University of Wyoming, 2005. http://proquest.umi.com/pqdweb?did=1095432761&sid=1&Fmt=2&clientId=18949&RQT=309&VName=PQD.

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

Lyzell, Christian. "Initialization Methods for System Identification." Licentiate thesis, Linköping University, Linköping University, Automatic Control, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-51688.

Full text
Abstract:
<p>In the system identification community a popular framework for the problem of estimating a parametrized model structure given a sequence of input and output pairs is given by the prediction-error method. This method tries to find the parameters which maximize the prediction capability of the corresponding model via the minimization of some chosen cost function that depends on the prediction error. This optimization problem is often quite complex with several local minima and is commonly solved using a local search algorithm. Thus, it is important to find a good initial estimate for the loca
APA, Harvard, Vancouver, ISO, and other styles
3

Fredriksen, Inge. "Formal Methods for System Development." Thesis, Norwegian University of Science and Technology, Department of Engineering Cybernetics, 2009. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-9991.

Full text
Abstract:
<p>Two main types of formal methods have been investigated, formal specification and formal verification. Focus for formal verification has been on the concept of un-timed model checking. Some dominating formal specification languages, VDM and Z, and some prominent model checkers, FDR, Spin, and LTSA, have been learnt and presented. A tutorial for the formal verification tool Spin is created. The tutorial is example driven and describes the description language Promela and the verification methods available in Spin. Care has been taken to illustrate reasoning about the results from Spin. Top
APA, Harvard, Vancouver, ISO, and other styles
4

Korn, Alexandra. "Information System Quality Assessment Methods." Master's thesis, Vysoká škola ekonomická v Praze, 2014. http://www.nusl.cz/ntk/nusl-193230.

Full text
Abstract:
This thesis explores challenging topic of information system quality assessment and mainly process assessment. In this work the term Information System Quality is defined as well as different approaches in a quality definition for different domains of information systems are outlined. Main methods of process assessment are overviewed and their relationships are described. Process assessment methods are divided into two categories: ISO standards and best practices. The main objective of this work is application of gained theoretical knowledge in process assessment with CobiT 4.1 and CobiT 5.0 f
APA, Harvard, Vancouver, ISO, and other styles
5

Dautbegovic, Dino. "Convex Optimization Methods for System Identification." Thesis, Linnéuniversitetet, Institutionen för fysik och elektroteknik (IFE), 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-34808.

Full text
Abstract:
The extensive use of a least-squares problem formulation in many fields is partly motivated by the existence of an analytic solution formula which makes the theory comprehensible and readily applicable, but also easily embedded in computer-aided design or analysis tools. While the mathematics behind convex optimization has been studied for about a century, several recent researches have stimulated a new interest in the topic. Convex optimization, being a special class of mathematical optimization problems, can be considered as generalization of both least-squares and linear programming. As in
APA, Harvard, Vancouver, ISO, and other styles
6

Sehloho, Nobaene Elizabeth. "An indoor positioning system using multiple methods and tools." Thesis, Cape Peninsula University of Technology, 2015. http://hdl.handle.net/20.500.11838/2288.

Full text
Abstract:
Thesis (MTech (Information Technology))--Cape Peninsula University of Technology, 2015.<br>Recently, the deployment and availability of wireless technology have led to the development of location and positioning services. These Location Based Services (LBSs) are attracting the attention of researchers and mobile service providers. With the importance of ubiquitous computing, the main challenge seen in the LBS is in the mobile positioning or localization within reasonable and certain accuracy. The Global Positioning System (GPS), as a widely known and used navigation system, is only appropriate
APA, Harvard, Vancouver, ISO, and other styles
7

Jennings, Daniel Blair. "Welding information system : design, operations, methods." Thesis, University of British Columbia, 1991. http://hdl.handle.net/2429/29988.

Full text
Abstract:
This thesis encompasses a Welding Information System for Design, Operations, and Methods (WISDOM). In essence, the WISDOM project aimed at research and development of an innovative and comprehensive information collection on welding in close cooperation with industry utilizing modern micro-computer techniques of information review, retrieval, storage, updating, and transfer. Emphasis is placed on new and more efficient methods of knowledge communication, pursuing the idea of exploring knowledge (in contrast to rehearsing recipes). The development of this project concentrated on the following t
APA, Harvard, Vancouver, ISO, and other styles
8

Isaksson, Erik. "Simulation methods for bumper system development." Licentiate thesis, Luleå : Luleå tekniska universitet/Tillämpad fysik, maskin- och materialteknik/Hållfasthetslära, 2006. http://epubl.ltu.se/1402-1757/2006/55/LTU-LIC-0655-SE.pdf.

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

Kukreja, Sunil L. "Parametric methods for nonlinear system identification." Thesis, McGill University, 2001. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=37752.

Full text
Abstract:
In this thesis, we have developed practical methods for the identification of linear, nonlinear and hybrid (multimode) systems which are applicable under relatively general conditions, i.e., when assumptions and conditions of the estimation technique are not violated. Since these algorithms were not designed specifically with any system(s) in mind, they should be applicable to experiments on a variety of systems in many different disciplines.<br>Results demonstrate that the (polynomial) NARMAX (Nonlinear Autoregressive, Moving Average eXogenous) model class is useful for modeling the input-out
APA, Harvard, Vancouver, ISO, and other styles
10

March, Andrew I. (Andrew Irving). "Multidelity methods for multidisciplinary system design." Thesis, Massachusetts Institute of Technology, 2012. http://hdl.handle.net/1721.1/76145.

Full text
Abstract:
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 2012.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Cataloged from student-submitted PDF version of thesis.<br>Includes bibliographical references (p. 211-220).<br>Optimization of multidisciplinary systems is critical as slight performance improvements can provide significant benefits over the system's life. However, optimization of multidisciplinary systems is often plagued by computationally e
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "System methods"

1

Skwirzynski, Jozef K., ed. Software System Design Methods. Springer Berlin Heidelberg, 1986. http://dx.doi.org/10.1007/978-3-642-82846-1.

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

Voigt, H. H., ed. Instruments, Methods, Solar System. Springer-Verlag, 1993. http://dx.doi.org/10.1007/b46100.

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

Katayama, Tohru. Subspace Methods for System Identification. Springer London, 2005. http://dx.doi.org/10.1007/1-84628-158-x.

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

1970-, Gentili F., ed. Mathematical methods for system theory. World Scientific, 1998.

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

Whitten, Jeffrey L. Systems analysis and design methods. 4th ed. Irwin/McGraw-Hill, 1998.

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

Banks, Jerry. Discrete-event system simulation. 5th ed. Prentice Hall, 2010.

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

Jerry, Banks, ed. Discrete-event system simulation. 5th ed. Prentice Hall, 2010.

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

Idema, Reijer, and Domenico J. P. Lahaye. Computational Methods in Power System Analysis. Atlantis Press, 2014. http://dx.doi.org/10.2991/978-94-6239-064-5.

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

Marmarelis, Vasilis Z., ed. Advanced Methods of Physiological System Modeling. Springer US, 1989. http://dx.doi.org/10.1007/978-1-4613-9789-2.

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

Bolognesi, Tommaso, and Diego Latella, eds. Formal Methods for Distributed System Development. Springer US, 2000. http://dx.doi.org/10.1007/978-0-387-35533-7.

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

Book chapters on the topic "System methods"

1

Keesman, Karel J. "System Response Methods." In Advanced Textbooks in Control and Signal Processing. Springer London, 2011. http://dx.doi.org/10.1007/978-0-85729-522-4_2.

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

Mahmoud, Magdi S., and Yuanqing Xia. "System Identification Methods." In Applied Control Systems Design. Springer London, 2012. http://dx.doi.org/10.1007/978-1-4471-2879-3_3.

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

Huang, Linan, and Quanyan Zhu. "System-Scientific Methods." In SpringerBriefs in Computer Science. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-30709-6_2.

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

Patel, Vivek K., Vimal J. Savsani, and Mohamed A. Tawhid. "Metaheuristic Methods." In Thermal System Optimization. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-10477-1_2.

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

Khanna, Anoop. "Research Methods." In Healthcare System Management. Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-3076-8_6.

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

Armstrong, Terry W. "System Modeling and First-Order Systems." In Introduction to Experimental Methods. CRC Press, 2023. http://dx.doi.org/10.1201/9781003329237-7.

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

Istok, Jonathan David. "Methods." In Lecture Notes in Earth System Sciences. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-13920-8_2.

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

Yürüm, Y. "Hydrogen Production Methods." In Hydrogen Energy System. Springer Netherlands, 1995. http://dx.doi.org/10.1007/978-94-011-0111-0_2.

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

Sanpo, Noppakun. "Experimental Methods." In Solution Precursor Plasma Spray System. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-07025-4_3.

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

Balaji, C. "Search Methods." In Thermal System Design and Optimization. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-59046-8_6.

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

Conference papers on the topic "System methods"

1

Darwish, Farah, Mohamed Ayman, and Ammar Mohammed. "Framework for Adaptive Traffic Light System." In 2024 Intelligent Methods, Systems, and Applications (IMSA). IEEE, 2024. http://dx.doi.org/10.1109/imsa61967.2024.10652707.

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

Kurskoy, Yuriy S., Oleksandr S. Hnatenko, Yuriy P. Machekhin, et al. "Optical system recognition via topological methods." In Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2020, edited by Ryszard S. Romaniuk and Maciej Linczuk. SPIE, 2020. https://doi.org/10.1117/12.2580362.

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

Zulian, Éder F., Germain Haugou, Christian Weis, Matthias Jung, and Norbert Wehn. "System simulation with PULP virtual platform and SystemC." In RAPIDO '20: Methods and Tools. ACM, 2020. http://dx.doi.org/10.1145/3375246.3375256.

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

McDougall, J. A., L. D. Otero, J. Avendano, and A. Ejnioui. "System analysis methods in emergency systems." In 2013 7th Annual IEEE Systems Conference (SysCon). IEEE, 2013. http://dx.doi.org/10.1109/syscon.2013.6549978.

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

Wang, Feiling, and Christopher Spivey. "Auto-focus Like Adaptive Optics Imaging System." In Adaptive Optics: Analysis, Methods & Systems. OSA, 2015. http://dx.doi.org/10.1364/aoms.2015.aom4b.4.

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

Peinke, Emanuel, Alexei Grichine, Antoine Delon, et al. "Plug-and-play AO system for microscopy." In Adaptive Optics: Analysis, Methods & Systems. OSA, 2018. http://dx.doi.org/10.1364/aoms.2018.oth2f.5.

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

OZAKI, Toshimasa, and Teruhito MISHIMA. "Information System Development Methods." In The International Symposium on the Analytic Hierarchy Process. Creative Decisions Foundation, 2007. http://dx.doi.org/10.13033/isahp.y2007.028.

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

Kobko-Odariy, Viktoria. "LEGAL SYSTEM OF FINLAND." In SCIENTIFIC PRACTICE: MODERN AND CLASSICAL RESEARCH METHODS. European Scientific Platform, 2025. https://doi.org/10.36074/logos-14.02.2025.015.

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

Banerjee, Kaustubh, Pouya Rajaeipour, Çağlar Ataman, and Hans Zappe. "A highly-miniaturized optofluidic refractive adaptive optics system." In Adaptive Optics: Analysis, Methods & Systems. OSA, 2018. http://dx.doi.org/10.1364/aoms.2018.ow2j.6.

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

Harmer, TJ, and JM Boyle. "Applications of the TAMPR Transformation System." In 2nd Irish Workshop on Formal Methods. BCS Learning & Development, 1998. http://dx.doi.org/10.14236/ewic/fm1998.5.

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

Reports on the topic "System methods"

1

Pearson, J., and B. Chen. Assessment of heliostat control system methods. Office of Scientific and Technical Information (OSTI), 1986. http://dx.doi.org/10.2172/6315196.

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

Awerbuch, Baruch, and F. T. Leighton. Large Algorithmic Methods for Dynamic System Management. Defense Technical Information Center, 2001. http://dx.doi.org/10.21236/ada396408.

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

Skordos, Panayotis A. Multistep Methods for Integrating the Solar System. Defense Technical Information Center, 1988. http://dx.doi.org/10.21236/ada201692.

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

Farrar, M. E. HB Line Nal Monitoring System Methods and Equations. Office of Scientific and Technical Information (OSTI), 2001. http://dx.doi.org/10.2172/786678.

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

Watson, Layne T. Homotopy Methods in Control System Design and Analysis. Defense Technical Information Center, 1992. http://dx.doi.org/10.21236/ada251641.

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

Sweriduk, G. D., P. K. Menon, and M. L. Stienberg. Robust Command Augmentation System Design Using Genetic Methods. Defense Technical Information Center, 1998. http://dx.doi.org/10.21236/ada350849.

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

Banks, H. T. Computational Methods for Control and Estimation of Distributed System. Defense Technical Information Center, 1988. http://dx.doi.org/10.21236/ada204640.

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

Klyde, David, Chuck Harris, Peter M. Thompson, and Edward N. Bachelder. System Identification Methods for Improving Flutter Flight Test Techniques. Defense Technical Information Center, 2004. http://dx.doi.org/10.21236/ada426452.

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

J. McNeish. Total System Performance Assessment-License Application Methods and Approach. Office of Scientific and Technical Information (OSTI), 2002. http://dx.doi.org/10.2172/836502.

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

J. McNeish. Total System Performance Assessment - License Application Methods and Approach. Office of Scientific and Technical Information (OSTI), 2003. http://dx.doi.org/10.2172/828187.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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!