Journal articles: 'Parameterised systems'

1

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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 (April 2011): 637–63. http://dx.doi.org/10.1016/j.ic.2010.11.025.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

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 (September 16, 2011): 785–95. http://dx.doi.org/10.5194/gmd-4-785-2011.

Full text

Abstract:

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, and other styles

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 (April 8, 2011): 843–68. http://dx.doi.org/10.5194/gmdd-4-843-2011.

Full text

Abstract:

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, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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 (October 15, 2020): 2767–80. http://dx.doi.org/10.1080/00207721.2020.1783591.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

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 (January 5, 2024): 1352–84. http://dx.doi.org/10.1145/3632888.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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 (June 1, 2009): 617–30. http://dx.doi.org/10.1049/iet-cta.2008.0163.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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 (June 13, 2017): 1861–72. http://dx.doi.org/10.1080/00207179.2017.1333156.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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 (April 1, 2023): 016. http://dx.doi.org/10.1088/1475-7516/2023/04/016.

Full text

Abstract:

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, and other styles

24

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

Full text

Abstract:

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, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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 (July 19, 2023): 1122. http://dx.doi.org/10.3390/cryst13071122.

Full text

Abstract:

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, and other styles

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 (August 25, 2016): 941–51. http://dx.doi.org/10.1080/00207721.2016.1221482.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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, and other styles

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

Full text

Abstract:

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, and other styles

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 (April 29, 2014): 1084–94. http://dx.doi.org/10.1080/00207721.2014.911422.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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 (August 30, 2014): 1598–614. http://dx.doi.org/10.1080/00207721.2014.942242.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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 (March 2011): 517–27. http://dx.doi.org/10.1080/00207721003624576.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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 (January 1, 1998): 33–40. http://dx.doi.org/10.1049/ip-cta:19981545.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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 (September 7, 2022): 8996. http://dx.doi.org/10.3390/app12188996.

Full text

Abstract:

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, and other styles

39

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

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 (April 14, 2017): 774–80. http://dx.doi.org/10.1049/iet-cta.2016.1017.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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 (April 15, 2015): 1133–41. http://dx.doi.org/10.1080/00207179.2014.994103.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

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

Full text

Abstract:

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, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

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

Full text

Abstract:

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, and other styles

47

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

Full text

Abstract:

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, and other styles

48

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

Full text

Abstract:

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, and other styles

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 (February 10, 2021): 55. http://dx.doi.org/10.3390/jcs5020055.

Full text

Abstract:

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, and other styles

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 (August 1, 2013): 714–21. http://dx.doi.org/10.2166/wst.2013.299.

Full text

Abstract:

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, and other styles

Journal articles on the topic 'Parameterised systems'

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