Thematische Bibliographien / Parameterised systems / Zeitschriftenartikel
Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Parameterised systems.

Zeitschriftenartikel zum Thema „Parameterised systems“

Autor: Grafiati
Veröffentlicht am 25. Mai 2024

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit Top-50 Zeitschriftenartikel für die Forschung zum Thema "Parameterised systems" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Sehen Sie die Zeitschriftenartikel für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.

1

Groote, Jan Friso, and Tim A. C. Willemse. "Parameterised boolean equation systems." Theoretical Computer Science 343, no. 3 (2005): 332–69. http://dx.doi.org/10.1016/j.tcs.2005.06.016.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Orzan, Simona, and Tim A. C. Willemse. "Invariants for Parameterised Boolean Equation Systems." Theoretical Computer Science 411, no. 11-13 (2010): 1338–71. http://dx.doi.org/10.1016/j.tcs.2009.11.001.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Kouvaros, Panagiotis, and Alessio Lomuscio. "Parameterised verification for multi-agent systems." Artificial Intelligence 234 (May 2016): 152–89. http://dx.doi.org/10.1016/j.artint.2016.01.008.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Ploeger, B., J. W. Wesselink, and T. A. C. Willemse. "Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems." Information and Computation 209, no. 4 (2011): 637–63. http://dx.doi.org/10.1016/j.ic.2010.11.025.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Nagae, Yutaro, and Masahiko Sakai. "Reduced Dependency Spaces for Existential Parameterised Boolean Equation Systems." Electronic Proceedings in Theoretical Computer Science 265 (February 16, 2018): 67–81. http://dx.doi.org/10.4204/eptcs.265.6.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Yoo, S. J. "Adaptive control of non-linearly parameterised pure-feedback systems." IET Control Theory & Applications 6, no. 3 (2012): 467. http://dx.doi.org/10.1049/iet-cta.2011.0150.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Calder, M., and A. Miller. "An automatic abstraction technique for verifying featured, parameterised systems." Theoretical Computer Science 404, no. 3 (2008): 235–55. http://dx.doi.org/10.1016/j.tcs.2008.03.034.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Tang, D. F., and S. Dobbie. "iGen 0.1: a program for the automated generation of models and parameterisations." Geoscientific Model Development 4, no. 3 (2011): 785–95. http://dx.doi.org/10.5194/gmd-4-785-2011.

Der volle Inhalt der Quelle
Annotation:
Abstract. Complex physical systems can often be simulated using very high resolution models but this is not always practical because of computational restrictions. In this case the model must be simplified or parameterised in order to make it computationally tractable. A parameterised model is created using an ad-hoc selection of techniques which range from the formal to the purely intuitive, and as a result it is very difficult to objectively quantify the fidelity of the model to the physical system. It is rare that a parameterised model can be formally shown to simulate a physical system to within some bounded error. Here we introduce a new approach to parameterising models which allows error to be formally bounded. The approach makes use of a newly developed computer program, which we call iGen, that analyses the source code of a high-resolution model and formally derives a much faster, parameterised model that closely approximates the original, reporting bounds on the error introduced by any approximations. These error bounds can be used to formally justify conclusions about a physical system based on observations of the model's behaviour. Using increasingly complex physical systems as examples we illustrate that iGen has the ability to produce parameterisations that run typically orders of magnitude faster than the underlying, high-resolution models from which they are derived.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Tang, D. F., and S. Dobbie. "iGen: a program for the automated generation of models and parameterisations." Geoscientific Model Development Discussions 4, no. 2 (2011): 843–68. http://dx.doi.org/10.5194/gmdd-4-843-2011.

Der volle Inhalt der Quelle
Annotation:
Abstract. Complex physical systems can often be simulated using very high-resolution models but this is not always practical because of computational restrictions. In this case the model must be simplified or parameterised, but this is a notoriously difficult process that often requires the introduction of "model assumptions" that are hard or impossible to justify. Here we introduce a new approach to parameterising models. The approach makes use of a newly developed computer program, which we call iGen, that analyses the source code of a high-resolution model and formally derives a much faster parameterised model that closely approximates the original, reporting bounds on the error introduced by any approximations. These error bounds can be used to formally justify use of the parameterised model in subsequent numerical experiments. Using increasingly complex physical systems as examples we illustrate that iGen has the ability to produce parameterisations that run typically orders of magnitude faster than the underlying, high-resolution models from which they are derived and show that iGen has the potential to become an important tool in model development.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Kant, Gijs, and Jaco van de Pol. "Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games." Electronic Proceedings in Theoretical Computer Science 99 (October 23, 2012): 50–65. http://dx.doi.org/10.4204/eptcs.99.7.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
11

Neele, Thomas, Tim A. C. Willemse, and Jan Friso Groote. "Finding compact proofs for infinite-data parameterised Boolean equation systems." Science of Computer Programming 188 (March 2020): 102389. http://dx.doi.org/10.1016/j.scico.2019.102389.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
12

Nagae, Yutaro, Masahiko Sakai, and Hiroyuki Seki. "An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems." Electronic Proceedings in Theoretical Computer Science 235 (January 1, 2017): 46–61. http://dx.doi.org/10.4204/eptcs.235.4.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
13

Hartley, Edward N., and Jan M. Maciejowski. "Reconfigurable predictive control for redundantly actuated systems with parameterised input constraints." Systems & Control Letters 66 (April 2014): 8–15. http://dx.doi.org/10.1016/j.sysconle.2014.01.002.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
14

Yin, Qitian, Mao Wang, Yougao Fan, Libin Ma, and Xinyu Wang. "Switching tuning backstepping control of mixed switched nonseparated parameterised nonlinear systems." International Journal of Systems Science 51, no. 15 (2020): 2767–80. http://dx.doi.org/10.1080/00207721.2020.1783591.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
15

Long, Lijun. "Robust adaptive control for switched nonlinearly parameterised systems with dynamic uncertainties." International Journal of Control 93, no. 12 (2019): 2838–47. http://dx.doi.org/10.1080/00207179.2019.1566641.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
16

Cohen, Liron, Adham Jabarin, Andrei Popescu, and Reuben N. S. Rowe. "The Complex(ity) Landscape of Checking Infinite Descent." Proceedings of the ACM on Programming Languages 8, POPL (2024): 1352–84. http://dx.doi.org/10.1145/3632888.

Der volle Inhalt der Quelle
Annotation:
Cyclic proof systems, in which induction is managed implicitly, are a promising approach to automatic verification. The soundness of cyclic proof graphs is ensured by checking them against a trace-based Infinite Descent property. Although the problem of checking Infinite Descent is known to be PSPACE-complete, this leaves much room for variation in practice. Indeed, a number of different approaches are employed across the various cyclic proof systems described in the literature. In this paper, we study criteria for Infinite Descent in an abstract, logic-independent setting. We look at criteria based on Büchi automata encodings and relational abstractions, and determine their parameterized time complexities in terms of natural dimensions of cyclic proofs: the numbers of vertices of the proof-tree graphs, and the vertex width—an upper bound on the number of components (e.g., formulas) of a sequent that can be simultaneously tracked for descent. We identify novel algorithms that improve upon the parameterised complexity of the existing algorithms. We implement the studied criteria and compare their performance on various benchmarks.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
17

Prajapat, Shaligram. "Frequent pattern mining for parameterised automatic variable key-based cryptosystems." International Journal of Business Intelligence and Data Mining 16, no. 1 (2020): 33. http://dx.doi.org/10.1504/ijbidm.2020.103850.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
18

Benslimane, Hocine, Abdesselem Boulkroune, and Hachemi Chekireb. "Adaptive iterative learning control of nonlinearly parameterised strict feedback systems with input saturation." International Journal of Automation and Control 12, no. 2 (2018): 251. http://dx.doi.org/10.1504/ijaac.2018.090807.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
19

Chekireb, Hachemi, Abdesselem Boulkroune, and Hocine Benslimane. "Adaptive iterative learning control of nonlinearly parameterised strict feedback systems with input saturation." International Journal of Automation and Control 12, no. 2 (2018): 251. http://dx.doi.org/10.1504/ijaac.2018.10010881.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
20

Wang, J., and Z. Qu. "Robust adaptive control of a class of nonlinearly parameterised time-varying uncertain systems." IET Control Theory & Applications 3, no. 6 (2009): 617–30. http://dx.doi.org/10.1049/iet-cta.2008.0163.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
21

Yuan, Jia-Wei, and Yao-Lin Jiang. "A parameterised model order reduction method for parametric systems based on Laguerre polynomials." International Journal of Control 91, no. 8 (2017): 1861–72. http://dx.doi.org/10.1080/00207179.2017.1333156.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
22

Sun, Xiaoru, and Chris T. Freeman. "Parameterised function ILC with application to stroke rehabilitation." Control Engineering Practice 145 (April 2024): 105878. http://dx.doi.org/10.1016/j.conengprac.2024.105878.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
23

Thomas, Daniel B., Timothy Clifton, and Theodore Anton. "Scale-dependent gravitational couplings in Parameterised Post-Newtonian Cosmology." Journal of Cosmology and Astroparticle Physics 2023, no. 04 (2023): 016. http://dx.doi.org/10.1088/1475-7516/2023/04/016.

Der volle Inhalt der Quelle
Annotation:
Abstract Parameterised Post-Newtonian Cosmology (PPNC) is a theory-agnostic framework for testing gravity in cosmology, which connects gravitational physics on small and large scales in the Universe. It is a direct extension of the Parameterised Post-Newtonian (PPN) approach to testing gravity in isolated astrophysical systems, and therefore allows constraints on gravity from vastly different physical regimes to be compared and combined. We investigate the application of this framework to a class of example scalar-tensor theories of gravity in order to verify theoretical predictions, and to investigate for the first time the scale-dependence of the gravitational couplings that appear within its perturbation equations. In doing so, we evaluate the performance of some simple interpolating functions in the transition region between small and large cosmological scales, as well as the uncertainties that using such functions would introduce into the calculation of observables. We find that all theoretical predictions of the PPNC framework are verified to high accuracy in the relevant regimes, and that simple interpolating functions perform well (but not perfectly) between these regimes. This study is an important step towards being able to use the PPNC framework to analyse cosmological datasets, and to thereby test if/how the gravitational interaction has changed as the Universe has evolved.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
24

HOUSE, THOMAS. "GENERALIZED NETWORK CLUSTERING AND ITS DYNAMICAL IMPLICATIONS." Advances in Complex Systems 13, no. 03 (2010): 281–91. http://dx.doi.org/10.1142/s0219525910002645.

Der volle Inhalt der Quelle
Annotation:
A parametrization of generalised network clustering, in the form of four-motif prevalences, is presented. This involves three real parameters that are conditional on one-, two- and three-motif prevalences. Interpretations of these real parameters are presented that motivate a set of rewiring schemes to create appropriately clustered networks. Finally, the dynamical implications of higher order structure, as parameterised, for a contact process are considered.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
25

Khandelwal, Ravi, Asfia Urooj, and Rahul Radhakrishnan. "Parameterised State Estimation Approach for 2-Dimensional Underwater Bearings only Target Tracking." IFAC-PapersOnLine 55, no. 1 (2022): 801–6. http://dx.doi.org/10.1016/j.ifacol.2022.04.131.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
26

O’Carroll, Dáire, and Niall J. English. "Multi-Theory Comparisons of Molecular Simulation Approaches to TiO2/H2O Interfacial Systems." Crystals 13, no. 7 (2023): 1122. http://dx.doi.org/10.3390/cryst13071122.

Der volle Inhalt der Quelle
Annotation:
Herein, we present molecular dynamics analyses of systems containing TiO2 interfaces with water, simulated using empirical forcefields (FF), Density-Functional Tight-Binding (DFTB), and Density-Functional Theory (DFT) methodologies. The results and observed differences between the methodologies are discussed, with the aim of assessing the suitability of each methodology for performing molecular dynamics simulations of catalytic systems. Generally, well-parameterised forcefield MD outperforms the other methodologies—albeit, at the expense of neglecting certain qualitative behaviours entirely. DFTB represents an attractive compromise method, and has the potential to revolutionise the field of molecular dynamics in the near future due to advances in generating parameters.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
27

Liu, Wenhui, Cheng-Chew Lim, and Shengyuan Xu. "Adaptive control of a class of quantised nonlinearly parameterised systems with unknown control directions." International Journal of Systems Science 48, no. 5 (2016): 941–51. http://dx.doi.org/10.1080/00207721.2016.1221482.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
28

Ottesen, Michael A., Ryan A. Larson, Christopher J. Stubbs, and Douglas D. Cook. "A parameterised model of maize stem cross-sectional morphology." Biosystems Engineering 218 (June 2022): 110–23. http://dx.doi.org/10.1016/j.biosystemseng.2022.03.010.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
29

Ottesen, Michael A., Ryan A. Larson, Christopher J. Stubbs, and Douglas D. Cook. "A parameterised model of maize stem cross-sectional morphology." Biosystems Engineering 218 (June 2022): 110–23. http://dx.doi.org/10.1016/j.biosystemseng.2022.03.010.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
30

Figat, Maksym, and Cezary Zieliński. "Parameterised robotic system meta-model expressed by Hierarchical Petri nets." Robotics and Autonomous Systems 150 (April 2022): 103987. http://dx.doi.org/10.1016/j.robot.2021.103987.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
31

Dragomir, Iuliana C., András Borbély, and Tamás Ungár. "Contrast Factors and Character of Dislocations in Cubic and Hexagonal Crystals." Materials Science Forum 443-444 (January 2004): 95–98. http://dx.doi.org/10.4028/www.scientific.net/msf.443-444.95.

Der volle Inhalt der Quelle
Annotation:
Anisotropic strain broadening of diffraction peaks can be parameterised by dislocation contrast factors. A comprehensive software has been developed and made available through the internet to determine the individual and averaged contrast factors which are also compiled for cubic and hexagonal crystals. Using the theoretical and the measured values of contrast factor the microstructure of the specimen can be characterised in terms of active slip systems, Burgers vector populations, dislocation densities and crystallite size- and size distribution.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
32

Hadryan, Milena. "The Parametrisation of Legal Terminology Concerning Child Maintenance Support in the Swedish and Polish Legal Systems." Studies in Logic, Grammar and Rhetoric 49, no. 1 (2017): 109–24. http://dx.doi.org/10.1515/slgr-2017-0007.

Der volle Inhalt der Quelle
Annotation:
Abstract This paper deals with translating legal terminology concerning child maintenance from Polish to Swedish. The analysis covers selected terms regulated in the Polish civil law and their possible Swedish equivalents. The method used is based on the parameterisation of legal terms, which allows the specification of terms by selected parameters, which are understood as mutually exclusive properties. The parameterised equivalents are analysed in the context of various types of recipients. This provides the basis for the choice of appropriate translation strategies. The author also discusses pragmatic equivalents featured in Rikstermbanken, the Swedish national terminological database, and those used in practice.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
33

Zhang, Ruikun, Zhongsheng Hou, Honghai Ji, and Chenkun Yin. "Adaptive iterative learning control for a class of non-linearly parameterised systems with input saturations." International Journal of Systems Science 47, no. 5 (2014): 1084–94. http://dx.doi.org/10.1080/00207721.2014.911422.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
34

Noroozi, N., A. Khayatian, S. Ahmadizadeh, and H. R. Karimi. "On integral input-to-state stability for a feedback interconnection of parameterised discrete-time systems." International Journal of Systems Science 47, no. 7 (2014): 1598–614. http://dx.doi.org/10.1080/00207721.2014.942242.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
35

Li, Ping, and Guang-Hong Yang. "A novel adaptive control approach for nonlinear strict-feedback systems using nonlinearly parameterised fuzzy approximators." International Journal of Systems Science 42, no. 3 (2011): 517–27. http://dx.doi.org/10.1080/00207721003624576.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
36

Ibbini, M. S., and S. R. Alawneh. "Closed-loop control system robustness improvement by a parameterised state feedback." IEE Proceedings - Control Theory and Applications 145, no. 1 (1998): 33–40. http://dx.doi.org/10.1049/ip-cta:19981545.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
37

Remy, Sebastien, Guillaume Ducellier, Sebastien Charles, and Benoit Eynard. "Advanced STEP parameterised and constrained features for reverse engineering." International Journal of Computer Applications in Technology 32, no. 1 (2008): 1. http://dx.doi.org/10.1504/ijcat.2008.019484.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
38

Huerta, Milagros, Juan Antonio Caballero-Hernández, and Manuel Alejandro Fernández-Ruiz. "Comparative Study of Moodle Plugins to Facilitate the Adoption of Computer-Based Assessments." Applied Sciences 12, no. 18 (2022): 8996. http://dx.doi.org/10.3390/app12188996.

Der volle Inhalt der Quelle
Annotation:
The use of Learning Management Systems (LMS) has had rapid growth over the last decades. Great efforts have been recently made to assess online students’ performance level, due to the COVID-19 pandemic. Faculty members with limited experience in the use of LMS such as Moodle, Edmodo, MOOC, Blackboard and Google Classroom face challenges creating online tests. This paper presents a descriptive and comparative study of the existing plugins used to import questions into Moodle, classifying them according to the necessary computing resources. Each of the classifications were compared and ranked, and features such as the support for gamification and the option to create parameterised questions are explored. Parameterised questions can generate a large number of different questions, which is very useful for large classes and avoids fraudulent behaviour. The paper outlines an open-source plugin developed by the authors: FastTest PlugIn, recently approved by Moodle. FastTest PlugIn is a promising alternative to mitigate the detected limitations in analysed plugins. FastTest PlugIn was validated in seminars with 230 faculty members, obtaining positive results about expectations and potential recommendations. The features of the main alternative plugins are discussed and compared, describing the potential advantages of FastTest PlugIn.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
39

Wang, Chen, Akshay Tharval, and John R. Kitchin. "A density functional theory parameterised neural network model of zirconia." Molecular Simulation 44, no. 8 (2018): 623–30. http://dx.doi.org/10.1080/08927022.2017.1420185.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
40

Hu, Guolin, Xiaodong Liu, Likui Wang, and Hongxing Li. "Relaxed stability and stabilisation conditions for continuous-time Takagi–Sugeno fuzzy systems using multiple-parameterised approach." IET Control Theory & Applications 11, no. 6 (2017): 774–80. http://dx.doi.org/10.1049/iet-cta.2016.1017.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
41

Zhang, Ruikun, Zhongsheng Hou, Ronghu Chi, and Honghai Ji. "Adaptive iterative learning control for nonlinearly parameterised systems with unknown time-varying delays and input saturations." International Journal of Control 88, no. 6 (2015): 1133–41. http://dx.doi.org/10.1080/00207179.2014.994103.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
42

Meeks, Kitty, and Alexander Scott. "The parameterised complexity of list problems on graphs of bounded treewidth." Information and Computation 251 (December 2016): 91–103. http://dx.doi.org/10.1016/j.ic.2016.08.001.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
43

Peach, N. "Bearings-only tracking using a set of range-parameterised extended Kalman filters." IEE Proceedings - Control Theory and Applications 142, no. 1 (1995): 73–80. http://dx.doi.org/10.1049/ip-cta:19951614.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
44

Laus, L. P., and J. M. Selig. "Rigid body dynamics using equimomental systems of point-masses." Acta Mechanica 231, no. 1 (2019): 221–36. http://dx.doi.org/10.1007/s00707-019-02543-3.

Der volle Inhalt der Quelle
Annotation:
Abstract The inertia matrix of any rigid body is the same as the inertia matrix of some system of four point-masses. In this work, the possible disposition of these point-masses is investigated. It is found that every system of possible point-masses with the same inertia matrix can be parameterised by the elements of the orthogonal group in four-dimensional modulo-permutation of the points. It is shown that given a fixed inertia matrix, it is possible to find a system of point-masses with the same inertia matrix but where one of the points is located at some arbitrary point. It is also possible to place two point-masses on an arbitrary line or three of the points on an arbitrary plane. The possibility of placing some of the point-masses at infinity is also investigated. Applications of these ideas to rigid body dynamics are considered. The equation of motion for a rigid body is derived in terms of a system of four point-masses. These turn out to be very simple when written in a 6-vector notation.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
45

Yao, Zhiying, Daeyoung Kim, and Yoonmee Doh. "PLUS: parameterised localised trust management-based security framework for sensor networks." International Journal of Sensor Networks 3, no. 4 (2008): 224. http://dx.doi.org/10.1504/ijsnet.2008.019005.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
46

Sintermann, J., C. Ammann, U. Kuhn, et al. "Determination of field scale ammonia emissions for common slurry spreading practice with two independent methods." Atmospheric Measurement Techniques Discussions 4, no. 3 (2011): 2635–87. http://dx.doi.org/10.5194/amtd-4-2635-2011.

Der volle Inhalt der Quelle
Annotation:
Abstract. At a cropland and a grassland site field scale ammonia (NH3) emissions from slurry application were determined simultaneously by two approaches based on (i) eddy covariance (EC) flux measurements using high temperature Chemical Ionisation Mass Spectrometry (HT-CIMS) and on (ii) backward Lagrangian Stochastic (bLS) dispersion modelling using concentration measurements by three optical open path Fourier Transform Infrared (FTIR) systems. Slurry was spread on the fields in sequential tracks over a period of one to two hours. In order to calculate field emissions, measured EC/HT-CIMS fluxes were combined with flux footprint analysis of individual slurry spreading tracks to parameterise the NH3 volatilisation with a bi-exponential time dependence. Accordingly, track-resolved concentration footprints for the FTIR measurements were calculated using bLS. Comparison of concentrations calculated from the parameterised fluxes with concentrations measured by impingers showed that the EC/HT-CIMS emissions on the two fertilisations corresponded to the impinger concentrations within 10 % while the bLS/FTIR results showed larger deviations. For both events, the period during fertilisation and the subsequent two hours contributed by more than 80 % to the total field emissions. Averaged over the two measurement methods, the cumulated emissions of the first day amounted to 17 ± 3 % loss of applied total ammoniacal nitrogen over the cropland and 16 ± 3 % over the grassland field.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
47

Cluckie, I. D., A. Lane, and J. Yuan. "Modelling large urban drainage systems in real time." Water Science and Technology 39, no. 4 (1999): 21–28. http://dx.doi.org/10.2166/wst.1999.0185.

Der volle Inhalt der Quelle
Annotation:
The interactions between rainfall and urban drainage systems (UDSs) are complex and must be considered as a whole in order to maximise control efficiency whilst at the same time achieving environmentally acceptable solutions. More rigorous standards, as a result of recent EU and UK legislation, are increasingly encouraging intervention in system management rather than more traditional passive procedures. To achieve these goals a global predictive real-time control (RTC) strategy is required, in which real-time flow prediction plays an important part in the provision of necessary first-hand information on system status in both current and predictive modes. This paper describes one such strategy, which differs from existing methods in the following ways: the novel way in which the UDS is represented; the algorithm used for model parameter identification; the strategies associated with the system output prediction; and the transfer function model used to represent the system. This transfer function model is a conceptually parameterised transfer function (CPTF) model, which by its nature falls into the category of lumped, dynamic, linear and conceptual although its structure takes the form of a non-conceptual transfer function model. The modelling approach is described as the RHINOS (Real-time urban Hydrological INfrastructure and Output modelling Strategy).
APA, Harvard, Vancouver, ISO und andere Zitierweisen
48

Moawad, Youssef, Wim Vanderbauwhede, and René Steijl. "Quantum Circuit-Width Reduction through Parameterisation and Specialisation." Algorithms 16, no. 5 (2023): 241. http://dx.doi.org/10.3390/a16050241.

Der volle Inhalt der Quelle
Annotation:
As quantum computing technology continues to develop, the need for research into novel quantum algorithms is growing. However, such algorithms cannot yet be reliably tested on actual quantum hardware, which is still limited in several ways, including qubit coherence times, connectivity, and available qubits. To facilitate the development of novel algorithms despite this, simulators on classical computing systems are used to verify the correctness of an algorithm, and study its behaviour under different error models. In general, this involves operating on a memory space that grows exponentially with the number of qubits. In this work, we introduce quantum circuit transformations that allow for the construction of parameterised circuits for quantum algorithms. The parameterised circuits are in an ideal form to be processed by quantum compilation tools, such that the circuit can be partially evaluated prior to simulation, and a smaller specialised circuit can be constructed by eliminating fixed input qubits. We show significant reduction in the number of qubits for various quantum arithmetic circuits. Divide-by-n-bits quantum integer dividers are used as an example demonstration. It is shown that the complexity reduces from 4n+2 to 3n+2 qubits in the specialised versions. For quantum algorithms involving divide-by-8 arithmetic operations, a reduction by 28=256 in required memory is achieved for classical simulation, reducing the memory required from 137 GB to 0.53 GB.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
49

Prasad, Krishnamurthy, Mostafa Nikzad, Shammi Sultana Nisha, and Igor Sbarski. "On the Use of Molecular Dynamics Simulations for Elucidating Fine Structural, Physico-Chemical and Thermomechanical Properties of Lignocellulosic Systems: Historical and Future Perspectives." Journal of Composites Science 5, no. 2 (2021): 55. http://dx.doi.org/10.3390/jcs5020055.

Der volle Inhalt der Quelle
Annotation:
The use of Molecular Dynamics (MD) simulations for predicting subtle structural, thermomechanical and related characteristics of lignocellulosic systems is studied. A historical perspective and the current state of the art are discussed. The use of parameterised MD force fields, scaling up simulations via high performance computing and intrinsic molecular mechanisms influencing the mechanical, thermal and chemical characteristics of lignocellulosic systems and how these can be predicted and modelled using MD is shown. Individual discussions on the MD simulations of the lignin, cellulose, lignin-carbohydrate complex (LCC) and how MD can elucidate the role of water on the surface and microstructural characteristics of these lignocellulosic systems is shown. In addition, the use of MD for unearthing molecular mechanisms behind lignin-enzyme interactions during precipitation processes and the deforming/structure weakening brought about by cellulosic interactions in some lignocellulosic systems is both predicted and quantified. MD results from relatively smaller systems comprised of several hundred to a few thousand atoms and massive multi-million atom systems are both discussed. The versatility and effectiveness of MD based on its ability to provide viable predictions from both smaller and massive starting systems is presented in detail.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
50

de Haan, Fjalar J., Briony C. Ferguson, Ana Deletic, and Rebekah R. Brown. "A socio-technical model to explore urban water systems scenarios." Water Science and Technology 68, no. 3 (2013): 714–21. http://dx.doi.org/10.2166/wst.2013.299.

Der volle Inhalt der Quelle
Annotation:
This article reports on the ongoing work and research involved in the development of a socio-technical model of urban water systems. Socio-technical means the model is not so much concerned with the technical or biophysical aspects of urban water systems, but rather with the social and institutional implications of the urban water infrastructure and vice versa. A socio-technical model, in the view purported in this article, produces scenarios of different urban water servicing solutions gaining or losing influence in meeting water-related societal needs, like potable water, drainage, environmental health and amenity. The urban water system is parameterised with vectors of the relative influence of each servicing solution. The model is a software implementation of the Multi-Pattern Approach, a theory on societal systems, like urban water systems, and how these develop and go through transitions under various internal and external conditions. Acknowledging that social dynamics comes with severe and non-reducible uncertainties, the model is set up to be exploratory, meaning that for any initial condition several possible future scenarios are produced. This article gives a concise overview of the necessary theoretical background, the model architecture and some initial test results using a drainage example.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Die Auswahlen zum Thema "Parameterised systems" für andere Quellenarten können Sie auch interessieren:
Dissertationen
Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!

Zur Bibliographie