Artykuły w czasopismach: „Parameterised systems”

1

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

2

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

3

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

4

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

5

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

6

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

7

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

8

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

9

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

10

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

11

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

12

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

13

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

14

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

15

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

16

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

Pełny tekst źródła

Streszczenie:

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 Bü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.

Style APA, Harvard, Vancouver, ISO itp.

17

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

18

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

19

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

20

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

21

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

22

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

23

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

24

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

25

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

26

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

27

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

28

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

29

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

30

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

31

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

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, nr 1 (1.03.2017): 109–24. http://dx.doi.org/10.1515/slgr-2017-0007.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

33

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

34

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

35

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

36

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

37

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

38

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

39

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

40

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

41

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

42

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

43

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

44

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

45

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

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

46

Sintermann, J., C. Ammann, U. Kuhn, C. Spirig, R. Hirschberger, A. Gärtner i A. Neftel. "Determination of field scale ammonia emissions for common slurry spreading practice with two independent methods". Atmospheric Measurement Techniques Discussions 4, nr 3 (6.05.2011): 2635–87. http://dx.doi.org/10.5194/amtd-4-2635-2011.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

47

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

Pełny tekst źródła

Streszczenie:

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).

Style APA, Harvard, Vancouver, ISO itp.

48

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

49

Prasad, Krishnamurthy, Mostafa Nikzad, Shammi Sultana Nisha i 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, nr 2 (10.02.2021): 55. http://dx.doi.org/10.3390/jcs5020055.

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

50

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

Pełny tekst źródła

Streszczenie:

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.

Style APA, Harvard, Vancouver, ISO itp.

Artykuły w czasopismach na temat „Parameterised systems”

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych