Four Algorithms for Boundary Control with Breaking in Space and Time

Abstract

Typically, active control systems either have a priori complete information about the boundary-value problem and damped waves before switching on, or get it during the measurement process or accumulate and update information online (identification process in adaptive systems). In this case, the boundary problem is completely imprinted in the information arrays of the control system. However, very often complete information about a boundary-value problem is not available in principle or this info is changing in time faster than the process of its accumulation. The article considers examples of boundary control algorithms based almost without any information. The algorithms presented in the article cannot be obtained within the framework of the harmonic representation of the problem by complex amplitudes. And these algorithms carry out fast control in microstructured boundary problems. It is shown that in some cases it is possible to find simple solutions if we remove restrictions: 1) on the spatio-temporal resolution of controlling elements of a boundary-value problem; 2) on the high-frequency radiation of the controlled boundary.

Share and Cite:

Arabadzhi, V. (2019) Four Algorithms for Boundary Control with Breaking in Space and Time. Journal of Applied Mathematics and Physics, 7, 2891-2901. doi: 10.4236/jamp.2019.711198.

1. Introduction

With constant (in time) parameters (or without frequency conversion) devices for wideband non-resonant sound suppression (or other types of waves) should have large wave sizes (thickness l D , see Figure 1(a)) of the order of the maximum wavelength λ W of the frequency range of suppression λ min < λ W < λ max (where λ min / λ max < < 1 ) i.e. l D λ max . The goal of this work is to reduce the dimensions of broadband (non-resonant) suppression devices (for cancellation, damping, absorption, suppression of reflections, …) at minimum information on the boundary problem and on the wave to be damped. If we allow the arbitrary power of high-frequency sound radiation (technological radiation on the technological frequencies f 1 / T ) and a rapid (on time scale T) change of parameters of a boundary value problem, then in several cases the goals set above can be achieved jointly. Below we will consider some simple applications of this approach. The examples of boundary control considered in the one-dimensional wave problem considered below are reduced to the alternation (in time) of two different types of the boundary-value problem. Jumping (switching) from one boundary-value problem to another and the connection between them provides a certain “breaker” controlled by the algorithm.

We mean breaking as a very quick and microscopic hop (jump) from one boundary value problem to another. Below we want to obtain: (a) effective suppression of long wave reflections (Figure 1(a), Figure 1(b)) from a controlled boundary x = x b (and suppression of sound propagation in a gas stream too (Section 5), see Figure 1(c)); (b) in a wide band λ min < < λ max of wavelengths; (c) without accumulation of information about the damped wave and the boundary value problem; (d) at small wave sizes of the suppressing device, i.e. l D < < λ min , due to relaxation (dissipation) of the technological waves on high frequencies f 1 / T (i.e. l D = l D ( f ) = l D ( 1 / T ) ) is length of damping.

2. Algorithm of Half-Return of the Boundary (AHRB)

The goal of the algorithm is to suppress reflections from boundary x b . We consider a semi-infinite ( x b x < ) elastic rod, with longitudinal impedance Z,

Figure 1. General statement of the problem and goals of approach: black area means suppressing layer of thickness l D (traditional thick wideband suppressing layer with parameters constant in time (a) and thin wideband suppressing layer with high frequency operations (b)); white-black wave (b) means reflected high frequency waves conversed from incident one (gray wave means incident wave); (c) small size muffler for gas stream with long sound waves.

sound speed c of waves and the field U ( x , t ) of longitudinal displacement of particles (Figure 2(a)). The boundary condition at the end x b has the form ( ε S ) [ U ( x , t ) / x ] x = x b = F b ( t ) , where F b ( t ) is the force applied to end x b , S is the cross-section of the rod, ε is Young’s modulus. A smooth incident wave U ( x , t ) = U W ( x + c t ) (temporal scale τ W ) runs from the right. On the free end x b (at F b = 0 ) we have U b ( t ) = 2 U W ( x b + c t ) and U b ( t ) U b ( t τ ) 2 τ [ U W ( x b + c t ) ] t / for any interval τ < < τ W .

The boundary-value problem can be represented as the sum of two partial linear problems: (a1) reflection of the incident wave (IW) U W 0 from the free (at F b = 0 ) the end of the rod; (a2) wave generation by force F b 0 in the absence of an incident wave (at U W = 0 ). The “breaker” jumps ((a1) (a2)) in accordance with the control algorithm: measurement in (a1), action in (a2). We assume that the force F b has a compact support: | F b | > 0 at t [ 0 , τ F ] , F b = 0 at t [ 0 , τ F ] . For a clear distinction between the causes and consequences in the work of AHRB, it is extremely important that after the termination of the force F b (at t > τ F ), the displacement 0 τ F Z 1 F b ( ξ ) d ξ of the boundary x b caused by this force is saved indefinitely long [1] after its switching off. Now we will directly consider AHRB, which is a sequence of time cycles (see Figure 2(c)) of the boundary control. Each n-th cycle t n 1 t < t n 1 + T n of duration T n ( n = 0 , 1 , 2 , ... ) consists of two parts: (a) smooth displacement of the free (i.e. at F b = 0 ) end x b over a time interval t n 1 t < t n 1 + ( τ f ) n , we set the duration ( τ f ) n of this interval arbitrary under condition ( τ f ) n < < τ W , and we measure the corresponding displacement [ U b ( t n 1 + ( τ f ) n ) U b ( t n 1 ) ] of boundary x b ; (b) the rapid return of the border x b during the interval t n 1 + ( τ f ) n t < t n 1 + ( τ f ) n + ( τ r ) n under the action of force F b . Force F b ( t ) is switched off at the moment t = t n 1 + ( τ f ) n + ( τ r ) n when the level [ U b ( t n 1 + ( τ f ) n ) U b ( t n 1 ) ] / 2 becomes crossed by function

φ [ ξ ] = t n 1 + ( τ f ) n t n 1 + ( τ f ) n + ξ Z 1 F b ( η ) d η for the first time (at the value ξ = ( τ r ) n ) beginning

from the moment t = t n 1 + ( τ f ) n . It is easy to see from the Figure 2(c) than when the scale T of control cycle, scale τ f ( ( τ f ) n ~ τ f ) of free drift, scale τ r ( ( τ r ) n ~ τ r ) of half-return, scale τ W of IW are satisfying the condition τ r < < τ f < < τ W , we get the weakness of reflections on the frequencies f ~ 1 / τ W or U b ( t ) U W ( x b + c t ) and | U b ( t ) U W ( x b + c t ) | / U ¯ W 0 , where

Figure 2. To AHRB: (a) geometry of control problem; functional intervals of AHRB (b), (c).

U ¯ W = ( 1 / τ W c ) 0 τ W c | U W ( ξ ) | d ξ . The peak P ^ h f and average P ¯ h f (on the cycle ~T) power of the high-frequency radiation, generated by the impact force F b , and time averaged power flux P ¯ W in the low frequency IW are satisfying to the following relations P ^ h f / P ¯ W ( τ f / τ r ) 2 > > 1 and P ¯ h f / P ¯ W τ f / τ r > > 1 . About impedance: Z is unknown and can slowly change in time Z ( t ) . About impact force: F b ( t ) can be of arbitrary pulse shape, but with constant sign and at any moment of impact satisfies the condition F ¯ b > > Ψ ¯ W , where

F ¯ b = ( 1 / τ W ) 0 τ W F b ( t ) d t , Ψ ¯ W = ( ε S / τ W ) 1 0 τ W c | ( U W ( x + с t ) ) x / | d x . About linearity: the returning path scale is h = ( τ f / τ W ) U ¯ W , velocity scale is h / τ r , so the condition h / τ r < < c ensures linearity.

3. Algorithm of Maximum Instant Power Absorbed (AMIP)

The goal of the algorithm AMIP is to maximize the instantaneous power absorbed by the boundary x b . Consider above rod problem: some electric drive (as above “breaker”) can ensure any constant velocity V b of edge x b independently of any incident wave (IW). Wave problem can be represented as the sum of two linear problems: (a1) reflection of IW from a fixed ( V b = d U b / d t = 0 ) boundary x b ; (a2) the radiation of waves by a boundary x b at a given velocity V b in the absence of IW. The breaker jumps: (a1) (a2). Velocity V b takes discrete levels V b ( t n ) = V n at discrete time intervals ( n 1 ) T < t < n T ( n = 1 , 2 , ... ), where T is the period of velocity switching (and measuring between switching). Steps V n are multiples of the tuning step V ¯ , V n / V ¯ = 0 , ± 1 , ± 2 , ± 3 , ... (integer).

Absorbed power (work of IW with a border x b ) is square function W ( t ) = V b ( t ) [ 2 E W ( x b + c t ) Z V b ( t ) ] of V ( t ) with the unique maximum at V b ( t ) = V W ( x b + c t ) = E W ( x b + c t ) / Z , where Z = Re Z , V W ( x b + c t ) and E W ( x b + c t ) are longitudinal particle velocity and stress in IW in infinite rod. AMIP is expressed by the iterative (recurrent) relation V n = V n 1 + V ¯ sgn ( W ¯ ) (for n 2 with initial condition V 1 = 0 , V 1 = V ¯ ), where: W ¯ = W n 1 W n 2 , W n 1 = F n 1 V n 1 , W n 2 = F n 2 V n 2 ; F n 1 , F n 2 are measured values of the force applied to boundary x b by the medium of rod from x x b at the moments t n 1 a , t n 2 a correspondingly ( 0 < a < < T ); sgn ( ξ ) = + 1 at ξ > 0 , sgn ( ξ ) = 1 at ξ < 0 . If at the previous step the velocity increase causes the decrease ( W ¯ < 0 ) of the absorbed power, at the next step the velocity increase will change its sign and will not change it in the opposite case. In above one dimensional statement of the problem absorption maximum corresponds to the minimum of reflection and radiation too. AMIP does not need to know either rod impedance Z and IW. AMIP effectively traces IW if the following conditions are satisfied: V ¯ < < max | U W / t | , V ¯ / T > > max | 2 U W / ( t ) 2 | or τ W V ¯ < < U ¯ W < < ( τ W ) 2 T 1 V ¯ , AMIP resembles the algorithm of random search, considered in [2]. Weak boundary radiation on frequencies f = n / T ( n = 1 , 2 , 3 , ... ) is defined by the scale of the velocity-tuning step T. The average power < P h f > T over the interval T of high-frequency (at frequencies 1 / T , 2 / T , 2 / T , …) radiation of the boundary x = x b is of the order < P h f > T ( V ¯ ) 2 Z . AMIP can also be applied in the problem of IW absorbing in a thin infinite elastic plate (see Figure 3(b)), since in this case the impedance of the plate with respect to a point source of normal velocity is also purely real ( Z = Re Z , [1]). Thus, by adjusting the normal velocity V b ( t ) of the point r b of application of external force to the maximum instantaneous absorbed power, it is possible to achieve the maximum absorption cross section σ = λ W / 2 π for a point source of the normal plate velocity at the point r b .

4. Algorithm for Boundary Condition Modulation (ABCM)

The goal of the algorithm is to suppress reflections from boundary x b in the above one-dimensional problem and in layer (or distance from x b ) of small thickness at minimum info on IW and boundary problem. The ABCM is based on two main states of a controlled boundary x b (Figure 4(a)): (a1) rigid state [ U t / ( x , t ) ] x = x b = 0 with a fixed boundary x b and velocity reflection coefficient R = 1 ; (a2) soft state [ U x / ( x , t ) ] x = x b = 0 with a free boundary x b and velocity reflection coefficient R = + 1 . Binary breaker B ( t ) jumps ((a1) (a2)) with period T < < τ W and without doing work (without radiation or absorption) and without any measurements. ABCM algorithm controls the boundary condition α ( t ) [ U x / ( x , t ) ] x = x b + β ( t ) [ U t / ( x , t ) ] x = x b = 0 via the coefficients α , β (Figure 4(b)): [ B = 1 , α = 0 , β = 1 , R = 1 ] [ B = 0 , α = 1 , β = 0 , R = + 1 ]. As a result of such control (see Figure 4(c)), we obtain an oscillogram V b ( t ) of the velocity of the boundary V b ( t ) , which on average (over a period T) tends to the velocity of particles in the incident wave (i.e., in an infinite rod without reflections) or V b ( t ) V W ( x b + c t ) [3], as was required above. An experimental verification of the ABCM algorithm is presented below in Section 6. In this case, the boundary x b converts the low-frequency (with a spatial scale c τ W ) IW

Figure 3. To the algorithm AMIP: boundary velocity and particle velocity in incident wave (a); on the absorption of bending wave in thin infinite elastic plate (b).

Figure 4. To the algorithm ABCM: breaker and boundary problem statement (a). States of breaker and reflection coefficient (b) boundary condition control (b). Velocity of controlled boundary and particle velocity in the incident wave (c).

wave into reflected high-frequency waves at frequencies f = 1 / T , 2 / T , 3 / T , ... that dissipatively attenuate in exp [ l / l D ( f ) ] times at a distance l from the boundary x b , where l D = l D ( f ) is the frequency dependent dissipative attenuation length or equivalent damping device size (see Figure 1(b)).

Thus, having fulfilled the condition c T < < l D ( 1 / T ) < < τ W c < < l D ( 1 / τ W ) , it is possible to ensure the smallness of the attenuation length and smallness of effect of dissipation on the above boundary condition.

5. Algorithm for Sound Blocking in the Gas Stream (ASBG)

The goal of ASBG is to block the sound propagation in a gas stream with average velocity υ < < c . This problem arises in the design of automobile silencers (Figure 1(c)): we need a device that transmits a gas stream, but does not allow sound propagation in the gas. Traditionally (with parameters constant in time), there are two directions in this problem. On the one hand, pushing of gas through a grid of holes in a rigid plane. The smaller the diameters of the holes, the lower the sound transmission. This approach allows a small size l D < < λ min of the silencer. But energy losses due to pushing gas through holes increase too much. On the other hand, passing a gas stream with sound through a low pass filter (Helholtz resonator) with resonance at wavelength λ > λ max (with dimensions l D > λ max ). This approach doesn’t require power losses for gas pushing, but requires too large dimensions of muffler. Known silencers are usually a combination of approaches (a), (b) or a complicated combination of tubes, perforated plates and resonators. An approach below (based on a quick switching of parameters) allows dimensions l D < < λ min with small power losses for pushing gas through silencer.

Consider the 1D case (Figure 5(a1)) of a gas stream (together with sound waves in it) from left to right between two rigid planes (waveguide). The binary breaker B ( t ) jumps (without doing any work with flow or wave field) from one boundary problem (state B = 0 ) to another (state B = 1 ) in accordance with the control algorithm periodically in time (without any measurements). Here 2T is the period of states repetition, and T is the period of states change, respectively. In even time intervals (of duration T) between two sections at a distance L from each other, rigid thin flat walls arise instantaneously and simultaneously (state B = 1 ) and block the flow and sound. In odd intervals (over time T = L / c ) of time, these walls also instaneously and simultaneously disappear (state B = 0 ). At the same time, a segment of a sound of length L that is in a closed segment of length L manages fully reverses (this is the goal of inverter-breaker B ( t ) = [ 0 , 1 ] works) just before the opening of the space interval. Thus, the inverter-breaker B ( t ) during half-time reflects (blocks sound) the sound back, and during another half time the stream passes or doesn’t pass through itself disturbances propagating with the speed c of sound. The disadvantages of this option are: (a) large power losses due to the production of sound from hydraulic impact; (b) the possibility of not a 1D sound propagation in waveguide.

Figure 5. On the action of ASBG: (a) temporal sequence of states (“1”―closed state and “0”―opened state) of breakers-inverters at their growing amount ((a1), for 1 waveguide), (a2) 2 waveguides, (a3) 4 waveguides), (a4) 8 waveguides); (b) complementary breakers for the cross section of 3-D problem; (c) running acoustic blades (petals) and spinner.

Next are a lot (Figures 5(a2)-(a4)) of inverters-breakers in the system cross section, now a pair of mutually complementary ( B ¯ ( t ) B ¯ ¯ ( t ) = 0 ) inverter breakers B ¯ ( t ) , B ¯ ¯ ( t ) (see Figure 5(b)) with the corresponding time diagrams. The more elements in the cross section (Figures 5(a2)-(a4)), the weaker the hydraulic shock (flow energy sound) when switching inverters and faster this blow becomes blurred (spatially averaged), helping to push the gas into neighboring opened waveguides. The above (evolution in Figure 5(a)) model is difficult to implement (it is not clear how it would be possible to create rapidly appearing and disappearing walls of inverter-breaker). However, the model shown in Figure 5(c) is much simpler to implement. Consider a 2-D echelon of thin infinite parallel rigid plane strips with a length L and with a distance d < < L between them. To the left, a gas flow at time averaged velocity enters this system (and exits with the same time averaged velocity υ < < c ). Rigid flat thin acoustic blades of width Λ and on distance Λ from each other parallel to the edges of the flat walls at a distance (gap) g < < Λ and run at a speed V < < c . It is easy to verify that each plane waveguide is open during a time interval of duration T and closed (inverter) during the time interval of the same duration T. The condition of synchronism Λ / V = L / c = T . Opening and closing of each waveguide is fulfilled during the time d / V and very quickly relating to the time of inversion T,i.e. d / V < < T . Now it is easy to notice that for d < < L and with a small thickness of the boundary layer in the flow inside the waveguide (compared to the waveguide width), the waves in each waveguide will be one-dimensional and without dispersion and with speed (this were required above). In the three-dimensional version of the problem, acoustic blades can be represented by the petals of two spinners rotating in phase near the waveguide bundle (see Figure 5(c)). The spinner doesn’t work with the gas flow (low power for rotation), since its petals are normal to the flow and move parallel to themselves. The difference p ¯ p ¯ ¯ > 0 in the mean (in time and in cross section) gas pressure at the inlet p ¯ and outlet p ¯ ¯ (Figure 5(c)) pushes the gas. Finally we can formulate the following hierarchy of scales for ASBG: λ W > > l D > L > > Λ > > d > > g > > δ , where λ W wavelength of sound in the flow, l D -dimension of muffler, L-length of waveguides, Λ -wideness of blades, d-cross dimension of waveguide, g-gap between blades and waveguides, δ -mean free path of gas molecules. Running blades do not produce high frequency sound (on the frequencies ~ V / d ). Above described parametric system equally blocks the propagation of sound from left to right, and from right to left.

6. Experimental Testing of the Algorithm ABCM

The goal is to reduce the ringingness of a tank (as a resonator for surface water waves) without increasing the viscosity of waveguiding media (water). In the traditional case of time constant parameters (Section 1, Figure 1(a)) of wave-suppressing devices, their dimensions are not less than basin length l . The algorithm ABCM (Section 4) was experimentally tested [3] in application to surface water waves in a tank with a length l = 1.5 m and a filling depth h = 0.22 m (see Figure 6(a)). The setup was conceived as an attempt to simulate the above-described one-dimensional boundary acoustic problem for a boundary with a modulated reflection coefficient, despite the two-dimensionality and dispersion of surface water waves.

6.1. Description of the Experimental Setup

On the left edge of the tank (Figure 6(a)) there is a wall L that can freely rotate around an axis located at the bottom. The wall L hermetically (soft corrugations) separates the water of the tank and the air on the left side.

The vertical shift H ( t ) of the free surface of the water near the wall L is measured by a sensor in the form of a float. The friction breaker B ( t ) is switching periodically (with an interval T / 2 = 1 / 2 f M , where f M the frequency of binary modulation) between two states: (a) “stopped” state ( B ( t ) = 1 , the breaker strongly pressing to the upper edge L and fixes the angle of deviation

Figure 6. Draw of experiment (a) and dispersion characteristic (b) of the waves in the tank.

of the wall L ); (b) “free” state ( B ( t ) = 0 the breaker does not touch the upper edge L ) states of the wall L . Hydrostatic pressure on the wall L on the right is compensated by a soft elastic spring; the softness of spring is such that frequency f 0 of free (at B ( t ) = 0 ) oscillations of the wall L is less than the frequency of the water wavelength λ = 2 l (seiche). On the right edge of the tank near the vertical rigid wall R there is a weightless (compared to the weight of the displaced water) float, to which the electromagnetic force F ( t ) of the wave-generator is applied. The mechanical impedance of the electric drive of the wave maker is negligible compared to the impedance of the mass of water displaced by the float. The force F ( t ) and speed V ( t ) of the vertical displacement of the float are measured by appropriate sensors. The dispersion (frequency f [Hz] as a function f = Φ ( k ) of the wave number k [1/m]) of the propagating waves is shown in Figure 6(b).

6.2. Pulse Drive Excitation

There two experiments with pulsed excitation (Figure 7(a)) were made: 1) excitation of the tank (at moment t = t 0 ) by the pulse of the waveproducing force F ( t ) with the breaker switched off ( B ( t ) = 0 ) and with the registration of damped oscillations H ( t ) = H 0 ( t ) of the free surface of the water near the wall L (Figure 7(b)); 2) excitation of the tank (at the moment t = t 0 ) by the same impulse of the wavemaker force F ( t ) , but with the breaker switched on ( B ( t ) = ( 0 / 1 ) ) and with the recording of damped oscillations H ( t ) = H 1 ( t ) (Figure 7(b)). As can be seen from Figure 7(b), modulation ( B ( t ) = ( 0 / 1 ) ) of the wall L parameters leads to a significant decrease in the wave damping. Since the waves in the tank have dispersion characteristic f = Φ ( k ) of propagating waves, the time of one run of wave along the tank (Figure 6(a)) is estimated using the maximum group velocity c g = ( 2 π ) [ d Φ / d k ] of the waves as l / [ c g ] max = 0.65 s according to the graph presented in Figure 6(b), where [ c g ] max 1.88 m/s (i.e. at k = 0 ).

6.3. Sinusoidal Excitation of the Tank

The wavemaker on the right wall R (Figure 7(c)) turns on at the moment t = 0 and produces a sinusoidal force F ( t ) (at a frequency f W ), which is applied to the float, and the breaker B ( t ) remains off ( B ( t ) = 0 , the wall L is free). By the moment t = t 0 > > 1 / f W the stationary field of standing waves at a frequency f W is set in the tank and corresponds to a circular trajectory [ F ( t ) , V ( t ) ] in the plane (see Figure 7(d)). The circular impedance trajectory corresponds to the reactive wave impedance of the wavemaker and, accordingly, weak radiation and weak absorption of waves in the tank (the phases of force and velocity have shift relative to each other or the wall reflection coefficient as). On the moment, the breaker is switching on () at the frequency. As a result we have frequency conversion by parametric wall into rapidly decaying

Figure 7. Pulse excitation ((a), (b)) of the tank: oscillations of the float near the left wall, when the modulation is off, oscillations of the same float when the modulation is switched on. Experiment with sinusoidal excitation of the tank (c). Evolution of the phase trajectory after breaker switching on (d). Scanning of the wavemaker frequency at a constant modulation frequency (e). Scanning of the modulation frequency at a constant wavemaker frequency (f).

high-frequency waves at combination frequencies, , … Trajectory evolutes into a straight line. This means that the wall represents, from the point of view of the wavemaker, a purely active load absorbing the waves it produces. The fact of the frequency conversion of the wave field by a parametric wall is clearly illustrated by measurements of the modulus of the Fourier spectrum of the oscillations of the height of the float near the wall. Figure 7(e) shows the value in the case of scanning the frequency of the wavemaker, and Figure 7(f) presents the case of scanning the modulation frequency. At ideal modulation of the wall reflection coefficient (), there should be no components of the spectrum at the modulation frequency.

7. Conclusion

The algorithms described in the article are constructed for the temporal representation of a boundary value problem. The presented algorithms are based on the use of high spatial-temporal resolution for fast switching wave regimes and don’t require the accumulation of information about wave fields and the boundary problem, using either only instantaneous field measurements or without them. The payment for smallness of information on the fields to be damped and the boundary problem in algorithm is high-frequency radiation. Above breaking algorithms cannot be reduced to either continuous representations (partial differential equations) or traditional discrete ones (point-like wise in space or (and) in time).

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1] Budak, B.M., Samarskii, A.A. and Tikhonov, A.N. (1964) A Collection of Problems on Mathematical Physics. Sneddon, I.N., Stark, M. and Ulam, S., Eds., Pergamon, 782p.
[2] Widrow, J.M. and McCool, A. (1976) Comparison of Adaptive Algorithms Based on the Methods of Steepest Descent and Random Search. IEEE Transactions on Antennas and Propagation, AP-24, 615-637. https://doi.org/10.1109/TAP.1976.1141414
[3] Arabadzhi, V.V. (2011) Solutions to Problems of Controlling Long Waves with the Help of Micro-Structure Tools. Bentham Science Publishers. https://doi.org/10.2174/97816080527521110101

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.