Kyoto University (京都大学) / 0048 / 新制・課程博士 / 博士(工学) / 甲第16855号 / 工博第3576号 / 新制||工||1540(附属図書館) / 29530 / 京都大学大学院工学研究科電気工学専攻 / (主査)教授 引原 隆士, 教授 木本 恒暢, 教授 小野寺 秀俊 / 学位規則第4条第1項該当

The Stability And Control CONfiguration (SACCON) model represents an emerging trend in airplane design where the classical tube, wing and empennage are replaced by a single tailless configuration. The challenge is to assure that these designs are stable and controllable. Nonlinear aerodynamic behavior is observed on the SACCON at higher incidence angles due to leading edge vortex structures. Active Flow Control (AFC) used in preliminary design represents a promising solution to the longitudinal stability problems and this was demonstrated experimentally on a semi span model. AFC can be used to trim the SACCON in pitch and it alters forces and moments comparable to common control surface deflections. A combination of AFC and control surface deflection may increase the overall efficiency and opens up a variety of maneuvering possibilities. This implies that AFC should be treated concomitantly with other design parameters and should be considered in the preliminary design process already and not as an add-on tool. Integral force and moment data was supplemented by observations using Pressure Sensitive Paint (PSP) and flow visualization. Two arrays of individually controlled sweeping jets, one located along the leading edge and the other along the flap hinge provided the AFC input needed to alter the flow. The array positioned over the flap-hinge of the model was most effective in stabilizing the wing by decreasing the pitching moment at lower and intermediate angles of incidence. This effect was achieved by reducing the spanwise flow on the swept back portion of the wing through jet-entrainment that also affected the leading edge vortex. Leading edge actuation showed some beneficial effects by inhibiting the formation of the leading edge vortex near the wing tip. A preliminary study using suction was carried out. The tests were carried out at Mach numbers smaller than 0.2 and Reynolds numbers based on the root chord of the model that approached 10⁶.

[pt] Este trabalho enfoca os efeitos provocados pelas características auto-similares do tráfego agregado na gerência de redes de serviços integrados. Para isso, disciplinas de serviço,mecanismos essenciais para o controle de congestionamento em uma rede, foram implementadas, fontes de tráfego, elementos a serem gerenciados, foram utilizadas e análises de desempenho realizadas quando estas fontes compartilham uma rede. Adicionalmente, este trabalho mostra por meio de simulações as garantias e propriedades fornecidas por tais disciplinas. / [en] This work concerns on the effects caused by the traffic self-similar characteristics aggregated in the management of the networks´ services. With this objective, service disciplines, which are essential mechanisms used to control networks` congestion, were implemented; traffic sources, which are elements to be managed, were used; and performance analysis were developed when all the sources shared the network. Furthermore, this work shows through simulations the guarantees and properties provided by the disciplines.

A software component model is the cornerstone of any Component-based Software Development (CBSD) methodology. Such a model defines the modelling elements for constructing software systems. In software system modelling, it is necessary to capture the three elements of a system's behaviour: (i) control (ii) computation and (iii) data. Within a system, computations are performed according to the flow of control or the flow of data, depending on whether computations are control-driven or data-driven. Computations are function evaluations, assignments, etc., which transform data when invoked by control or data flow. Therefore a component model should be able to model control flow, data flow as well as computations. Current component models all model computations, but beside computations tend to model either control flow only or data flow only, but not both. In this thesis, we present a new component model which can model both control flow and data flow. It contains modelling elements that capture control flow and data flow explicitly. Furthermore, the modelling of control flow is separate from that of data flow; this enables the modelling of both control-driven and data-driven computations. The feasibility of the model is shown by means of an implementation of the model, in the form of a prototype tool. The usefulness of the model is then demonstrated for a specific domain, the embedded systems domain, as well as a generic domain. For the embedded systems domain, unlike current models, our model can be used to construct systems that are both control-driven and data-driven. In a generic domain, our model can be used to construct domain models, by constructing control flows and data flows which together define a domain model.

Le contrôle d'écoulement en utilisant des capteurs optiques est étudié dans un contexte expérimental. Le calcul de champs de vitesses en temps réel en utilisant une caméra pour l'acquisition et une carte graphique pour le calcul est détaillé. La validité de l'approche en terme de rapidité et de précision est étudiée. Un guide complet pour l'optimisation logicielle et matérielle est donné. Nous démontrons que le calcul dynamique de champs de vitesse est non seulement possible mais plus facile à gérer que l'utilisation d'un appareillage (PIV) classique. Un canal hydrodynamique est utilisé pour toutes les expériences. Celui-ci comporte une marche descendante pour le contrôle d' écoulements décollés. Les actionneurs sont des jets. Dans le cas de la marche descendante une étude paramétrique approfondie est faite pour qualifier les effets d'une injection en amont des jets, celle-ci étant traditionnellement effectuée à l'arrête de la marche.Plusieurs méthodes de contrôle sont étudiées. Un algorithme de contrôle basique de type PID est mis en place pour démontrer la viabilité du contrôle d'écoulement en boucle fermée par capteurs optiques. La zone de recirculation située derrière la marche est calculée en temps réel dans un plan vertical et horizontal. La taille de cette région est manipulée avec succès. Une approche basée sur des observations de la dynamique de l'écoulement est présentée.Des résultats précédents dans la littérature montrent que la recirculation peut être réduite avec succès en agissant sur l'écoulement à la fréquence naturelle de lâchés tourbillonnaires liés à l'instabilité de Kelvin-Helmholtz de la couche cisaillée crée par la marche. Une éthode basée de détection de vortex est introduite pour calculer cette fréquence, qui est ensuite utilisée dans une boucle de contrôle qui assure que l'écoulement est toujours pulsé à la bonne fréquence. Ainsi en utilisant des capteurs optiques la recirculation est réduite de façon simple.Ensuite nous implémentons un contrôle de type feed-forward dont l'efficacité a préalablement été démontrée en simulation. Cette approche vise à prévenir l'amplification de perturbations amont par la couche cisaillée. Nous montrons comment une telle méthode peut être implémentée avec succès dans un contexte expérimental. Enfin, nous implémentons également une approche radicalement différente basée sur un algorithme génétique. Des lois de contrôle aléatoires sont testées et évaluées. Les meilleurs sont répliquées, mutées et croisées. Ce processus se poursuit itérativement jusqu'à ce que le coût soit minimisé. Bien que lente à converger cette approche donne des résultats encourageants à travers une loi de commande originale. / Flow control using optical sensors is experimentally investigated. Real-time computation of flow velocity fields is implemented. This novel approach featuring a camera for acquisition and a graphic processor unit (GPU) for processing is presented and detailed. Its validity with regards to speed and precision is investigated. A comprehensive guide to software and hardware optimization is given. We demonstrate that online computation of velocity fields is not only achievable but offers advantages over traditional particle image velocimetry (PIV) setups. It shows great promise not only for flow control but for parametric studies and prototyping also.A hydrodynamic channel is used in all experiments, featuring a backward facing step for separated flow control. Jets are used to provide actuation. A comprehensive parametric study is effected to determine the effects of upstream jet injection. It is shown upstream injection can be very effective at reducing recirculation, corroborating results from the literature.Both open and closed loop control methods are investigated using this setup. Basic control is introduced to ascertain the effectiveness of this optical setup. The recirculation region created in the backward-facing step flow is computed in the vertical symmetry plane and the horizontal plane. We show that the size of this region can be successfully manipulated through set-point adaptive control and gradient based methods.A physically driven control approach is introduced. Previous works have shown successful reduction recirculation reduction can be achieved by periodic actuation at the natural Kelvin-Helmholtz frequency of the shear layer.A method based on vortex detection is introduced to determine this frequency, which is used in a closed loop to ensure the flow is always adequately actuated. Thus showing how recirculation reduction can be achieved through simple and elegant means using optical sensors. Next a feed-forward approach based on ARMAX models is implemented. It was successfully used in simulations to prevent amplification of upstream disturbances by the backward-facing step shear layer. We show how such an approach can be successful in an experimental setting.Higher Reynolds number flows exhibit non-linear behavior which can be difficult to model in a satisfactory manner thus a new approach was attempted dubbed machine learning control and based on genetic programming. A number of random control laws are implemented and rated according to a given cost function. The laws that perform best are bred, mutated or copied to yield a second generation. The process carries on iteratively until cost is minimized. This approach can give surprising insights into effective control laws.

Shock boundary layer interactions (SBLI) is an undesirable event occurring in high-speed air-breathing propulsion system that stimulates boundary layer separation due to adverse pressure gradients and consequently lead to ow distortion and pressure loss in the intake section. Therefore it is essential to apply ow control mechanisms to prevent this phenomenon. This study involves a novel ow control device called micro-ramp, which is a part of the micro-vortex generator family that has shown great potential in solving the adverse phenomenon. The term micro refers to the height of the device, which is smaller than the boundary layer thickness, δ. It is important to highlight the two main novelties of this investigation. Firstly, it is the first micro-ramp study conducted in the hypersonic ow regime (Mach 5) since most of the previous micro-ramp studies were only performed in subsonic, transonic and supersonic flows. Another novelty is the various experimental techniques that were used in single study for example schlieren photography, oil-dot and oil- ow visualisation and conventional pressure transducers. In addition, advanced ow diagnostic tools such as infrared thermography, pressure sensitive paints (PSP) and particle image velocimetry (PIV) were also employed. T

Inspired by the pectoral flippers of the humpback whale, the use of spanwise waviness in wings has been considered in the literature as a possible way of delaying the stall, and possibly also reducing the drag coefficient, allowing for improved aerodynamic characteristics. In order to provide a better understanding of this flow control mechanism, the present work investigates numerically the effect of the waviness on the flow around infinite wings with a NACA0012 profile. The study consists of direct numerical simulations employing the spectral/hp method, which is available through the nektar++ library. Considering the high computational cost of the simulations performed, several improvements were introduced to the method, making it more efficient and allowing higher Reynolds numbers to be analysed. These improvements to the method include a coordinate transformation technique to treat the waviness, changes to the parallelism strategy, and an adaptive polynomial order refinement procedure. Initially, simulations were performed for a very low value of the Reynolds number Re = 1, 000, allowing the three-dimensional flow structures to be observed in de- tail. In this case, the results show that the waviness leads to a decrease in the lift-to-drag ratio, accompanied by a strong reduction in the fluctuations of the lift force. The reduction in the lift-to-drag ratio is the combined effect of lower drag and lift forces, and is associated with a regime where the flow remains attached behind the peaks of the leading edge while there are distinct regions of flow separation behind the troughs. Then, simulations with Re = 10, 000 were considered. For high angles of attack, the results for this case are similar to the lower Re, with the waviness leading to separation behind the troughs and reducing both the lift and the drag. However, for a lower angle of attack the waviness leads to a large increase in the lift coefficient. This was observed to be related to the fact that flow around the straight wing is laminar in this case, with the waviness inducing transition to a turbulent state. Finally, the case Re = 50, 000 was considered, with the results showing a good agreement with experiments presented in the literature. / Inspirado na nadadeira peitoral da baleia jubarte, o uso de ondulações ao longo da envergadura de asas tem sido considerado na literatura como uma possível maneira de atrasar o estol, e possivelmente também reduzir o arrasto, levando a melhores características aerodinâmicas. Com o objetivo de obter um melhor entendimento desse mecanismo de controle do escoamento, o presente trabalho investiga numericamente o efeito de ondulações no escoamento ao redor de asas infinitas com o perfil NACA0012. O estudo consiste de simulações diretas do escoamento usando o método espectral/hp, que está disponível através da biblioteca nektar++. Considerando o alto custo computacional das simulações realizadas, diversas melhorias foram introduzidas no método, tornando-o mais eficiente e permitindo que números de Reynolds mais elevados fossem analisados. Essas melhorias ao método incluem uma técnica de mudança de coordenadas para tratar a ondulação, mudanças na estratégia de paralelismo e um procedimento de refinamento usando ordem polinomial variável. Inicialmente, simulações foram realizadas para um número de Reynolds muito baixo Re = 1, 000, o que permitiu observar as estruturas tridimensionais do escoamento em detalhe. Nesse caso, os resultados mostram que a ondulação leva a uma diminuição da razão sustentação-arrasto, combinada com uma forte redução das flutuações da força de sustentação. A redução da razão sustentação-arrasto é consequência de uma combinação de arrasto e sustentação mais baixos e está associada a um regime no qual o escoamento permanece colado atrás dos picos do bordo de ataque, enquanto que regiões distintas de escoamento separado estão presentes atrás dos vales. Em seguida, simulações com Re = 10, 000 foram consideradas. Para ângulos de ataque elevados, os resultados neste caso são similares àqueles com Re mais baixo, com a ondulação levando a separação atrás dos vales e provocando reduções na sustentação e no arrasto. No entanto, para um ângulo de ataque mais baixo a ondulação leva a um grande aumento na força de sustentação. Foi observado que isso está relacionado ao fato de que o escoamento ao redor da asa lisa é laminar neste caso, com a ondulação induzindo a transição para um estado turbulento. Finalmente, o caso Re = 50, 000 foi considerado, com os resultados apresentando uma boa concordância com experimentos apresentados na literatura.

Ingeniero Civil en Computación / La protección de la confidencialidad de la información manipulada por los programas computacionales es abordada a nivel del código fuente con distintas técnicas. Una de ellas es tipado de seguridad para el control de flujo, que controla el nivel de seguridad donde fluye la información agregando anotaciones a las variables tipadas. La propiedad de seguridad fundamental de control de flujo es conocida como no-interferencia (noninterference), que establece que un observador público no puede obtener conocimiento desde datos confidenciales. A pesar de ser una propiedad muy atractiva, los sistemas reales la vulneran fácilmente, y necesitan mecanismos para desclasificar selectivamente alguna información. En esta dirección, Cruz et al. proponen una forma de desclasificación basada en tipos (type-based declassification), en donde se utilizan las relaciones de subtipos del lenguaje para expresar las políticas de desclasificación de los datos que maneja el programa, en una forma simple y expresiva. A pesar de que el fundamento teórico de la desclasificación basada en tipos está bien descrito, carece de una implementación que permita comprobar la utilidad práctica de la propuesta. En este trabajo, se implementa el análisis de la desclasificación basada en tipos para un subconjunto del lenguaje Dart, un lenguaje de programación de propósito general orientado a objetos desarrollado por Google. Además, se implementó un sistema de inferencia de políticas de desclasificación y una extensión para ambientes de desarrollo, con el objetivo de facilitar el trabajo al programador y mejorar su experiencia.

The thesis focuses on the control of data flow in networks of Internet service providers. The problem of aggregation and related overload network elements are shown. Theoretical section describes the standardized methods for managing data flow. The parameters associated with managing data flow are described for devices selected devices. The thesis displays measurements depicting to which extent the ECN algorithm occurs in practice. In the thesis is theoretically described HTB program, which is complemented by a newly described algorithm. The new algorithm is implemented into the program and tested on a real network ISP.

Electro-hydraulic proportional flow valves are widely used in hydraulic industry. There are several different structures and working principles. However, flow valves based on the existing principles usually have some shortcomings such as the complexity of the system and additional energy losses. A concept for a two-stage poppet flow valve with pilot pressure drop – pilot spool opening compensation is presented, and the linear relationship between the pilot stage and main stage, the semi-empirical flow equation are used in the electronic flow controller. To achieve the accurate control of the outlet flow, the actual input voltage of the pilot spool valve is regulated according to the actual pilot pressure drop, the desired flow rate and the given input voltage. The results show that the pilot pressure drop – pilot spool opening compensation method is feasible, and the proposed proportional flow control valve with this compensation method has a good static and dynamic performance.