Computational Modelling of Wing Downwash Profile with Reynolds-Averaged and Delayed Detached-Eddy Simulations

This paper describes the computational model to predict downwash for a conventional fixed wing configuration at flight scales (ReMAC = 2.26 × 107 ). The lack of resolution in the downwash wake region resulted in an over-dissipation of the turbulent behaviour of airflow in the wing’s wake. This artificially inflates the effectiveness of the horizontal stabilizer where an over-prediction of pitch stiffness was observed. To resolve this over-dissipation, both the Reynolds-Averaged and Delayed Detached-Eddy Simulation methodology were adopted to accurately capture the downwash profile leaving the wing. Comparisons between the estimation of wall shear stresses and viscous wall unit against a ‘first-cut’ simulation are made and discussed. Fundamental features of the downwash profile including the spatial and temporal scales used for the mesh are also presented and detailed in this paper

Formation free energy of clusters in vapor-liquid nucleation: A Monte Carlo simulation study

The formation free energy of clusters in a supersaturated vapor is obtained by a constrained Monte Carlo technique. A key feature of this approach is to set an upper limit to the size of cluster. This maximum cluster size serves essentially as an extra thermodynamic variable that constrains the system. As a result, clusters larger than the critical cluster of nucleation in the supersaturated vapor can no longer grow beyond the limiting size. Like changing the overall density of the system, changing the maximum cluster size also results in a different supersaturation and thereby a different formation free energy. However, at the same supersaturation and temperature it is found that the formation free energy has a unique value, independent of the upper limit of cluster size. The predicted size of critical cluster of nucleation is found to be consistent with the nucleation theorem as well as previous results using different simulation approaches

Formation free energy of clusters in vapor-liquid nucleation: A Monte Carlo simulation study

The formation free energy of clusters in a supersaturated vapor is obtained by a constrained Monte Carlo technique. A key feature of this approach is to set an upper limit to the size of cluster. This maximum cluster size serves essentially as an extra thermodynamic variable that constrains the system. As a result, clusters larger than the critical cluster of nucleation in the supersaturated vapor can no longer grow beyond the limiting size. Like changing the overall density of the system, changing the maximum cluster size also results in a different supersaturation and thereby a different formation free energy. However, at the same supersaturation and temperature it is found that the formation free energy has a unique value, independent of the upper limit of cluster size. The predicted size of critical cluster of nucleation is found to be consistent with the nucleation theorem as well as previous results using different simulation approaches

A tetrahedrally coordinated cobalt(II) phosphonate with a three-dimensional framework containing two-dimensional channels

The structure of poly[caesium( I) [( mu(4)- ethylenediphosphonato) cobalt( II)]], {Cs[ Co( C2H5O6P2)]} (n), reveals a three- dimensional polymeric open framework consisting of tetrahedral Co II atoms coordinated by four different ethylenediphosphonate O atoms and intermolecular O - H center dot center dot center dot O hydrogen bonds. The largest open window is made of corner- sharing CoO4 and PO3C tetrahedra, giving 16membered rings of dimensions 9.677 ( 5) * 4.684 ( 4) angstrom(2). There are two independent ethylenediphosphonate ligands, each lying about an inversion centre

Uniaxial Phase Transition in Si : Ab initio Calculations

Based on a previously proposed thermodynamic analysis, we study the relative stabilities of five Si phases under uniaxial compression using ab initio methods. The five phases are diamond, beta-tin, sh, sc, and hcp structures. The possible phase-transition patterns were investigated by considering the phase transitions between any two chosen phases of the five phases. By analyzing the different conributions to the relative pahse stability, we identified the most important factors in reducing the phase-transition pressures at uniaxial compression. We also show that it is possible to have phase transitions occur only when the phases are under uniaxial compression, in spite of no phase transition when under hydrostatic commpression. Taking all five phases into consideration, the phase diagram at uniaxial compression was constructed for pressures under 20 GPa. The stable phases were found to be diamond, beta-tin and sh structures, i.e. the same as those when under hydrostatic condition. According to the phase diagram, direct phase transition from the diamond to the sh phase is possible if the applied uniaxial pressures, on increasing, satisfy the condition of Px>Pz. Simiilarly, the sh-to-beta-tin transition on increeasing pressures is also possible if the applied uniaxial pressures are varied from the condition of Px>Pz, on which the phase of sh is stable, to that of Px<Pz, on which the beta-tin is stable

Bistable Operation of a Two-Section 1.3-mm InAs Quantum Dot Laser—Absorption Saturation and the Quantum Confined Stark Effect

Room temperature, continuous-wave bistability was observed in oxide-confined, two-section, 1.3- m quantum-dot (QD) lasers with an integrated intracavity quantum-dot saturable absorber. The origin of the hysteresis and bistability were shown to be due to the nonlinear saturation of the QD absorption and the electroabsorption induced by the quantum confined Stark effect

Mining State-Based Models from Proof Corpora

Interactive theorem provers have been used extensively to reason about various software/hardware systems and mathematical theorems. The key challenge when using an interactive prover is finding a suitable sequence of proof steps that will lead to a successful proof requires a significant amount of human intervention. This paper presents an automated technique that takes as input examples of successful proofs and infers an Extended Finite State Machine as output. This can in turn be used to generate proofs of new conjectures. Our preliminary experiments show that the inferred models are generally accurate (contain few false-positive sequences) and that representing existing proofs in such a way can be very useful when guiding new ones.Comment: To Appear at Conferences on Intelligent Computer Mathematics 201

The Role of the Fabrication of Anatase-TiO2 Chain-Networked Photoanodes

A novel, sandwich-layered Ti/TiO2/Ti/fluorine-doped tin oxide (FTO) architecture is reported. The Ti layers play a critical role in the formation of long pear-necklace chains made of interconnected TiO2 nanoparticles. The chains interpenetrate a network structure on FTO glass substrates under alkaline hydrothermal-processing conditions. A significant enhancement in the photocurrent density of dye-sensitized solar cells employing non-volatile polymer-based electrolytes is obtained

Information fusion in multi-agent system based on reliability criterion

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-00369-6_13The paper addresses the problem of information fusion in Multi-Agent System. Since the knowledge of the process state is distributed between agents, the efficiency of the task performance depends on a proper information fusion technique applied to the agents. In this paper we study the case in which each agent has its own sensing device and is able to collect information with some certainty. Since the same information can be detected by multiple agents, the global certainty about the given fact derives from the fusion of information exchanged by interconnecting agents. The key issue in the method proposed, is an assumption that each agent is able to asses its own reliability during the task performance. The method is illustrated by the pick-up-and-collection task example. The effectiveness of the method proposed is evaluated using relevant simulation experiments.Mellado Arteche, M.; Skrzypczyk, K. (2013). Information fusion in multi-agent system based on reliability criterion. En Vision Based Systemsfor UAV Applications. Springer. 207-217. doi:10.1007/978-3-319-00369-6_13S207217Cheng, X., Shen, J., Liu, H., Gu, G.: Multi-robot Cooperation Based on Hierarchical Reinforcement Learning. In: Shi, Y., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2007, Part III. LNCS, vol. 4489, pp. 90–97. Springer, Heidelberg (2007)Harmati, I., Skrzypczyk, K.: Robot team coordination for target tracking using fuzzy logiccontroller in game theoretic framework. Robotics and Autonomous Systems 57(1) (2009)Jones, C., Mataric, M.: Adaptive Division of Labor in Large-Scale Minimalist Multi-Robot Systems. In: Proc. of IEEE/RSJ International Conference on Intelligent Robots and Systems, Las Vegas, pp. 1969–1974 (2003)Kaminka, G.A., Erusalimchik, D., Kraus, S.: Adaptive Multi-Robot Coordination: A Game-Theoretic Perspective. In: Proc. of IEEE International Conference on Robotics and Automation, Anchorage Convention District, Anchorage, Alaska, USA (2002)Kok, J.R., Spaan, M.T.J., Vlassis, N.: Non-communicative multi-robot coordination in dynamic environments. Robotics and Autonomous Systems 50(2-3), 99–114 (2005)Klusch, M., Gerber, A.: Dynamic coalition formation among rational agents. IEEE Intelligent Systems 17(3), 42–47 (2002)Kraus, S., Winkfeld, J., Zlotkin, G.: Multiagent negotiation under time constraints. Artificial Intelligence 75, 297–345 (1995)Kraus, S.: Negotiation and cooperation in multiagent environments. Artificial Intelligence 94(1-2), 79–98 (1997)Mataric, M., Sukhatme, G., Ostergaard, E.: Multi-Robot Task Allocation in Uncertain Environments. Autonomous Robots 14, 255–263 (2003)Schneider-Fontan, M., Mataric, M.J.: Territorial Multi-Robot Task Division. IEEE Transactionson Robotics and Automation 14(5), 815–822 (1998)Winkfeld, K.J., Zlotkin, G.: Multiagent negotiation under time constraints. Artificial Intelligence (75), 297–345 (1995)Wooldridge, M.: An Introduction to Multiagent Systems. Johnn Wiley and Sons Ltd., UK (2009) ISBN:978-0-470-51946-2Vail, D., Veloso, M.: Dynamic Multi-Robot Coordination. In: Schultz, A., et al. (eds.) Multi Robot Systems: From Swarms to Intelligent Automata, vol. II, pp. 87–98. Kluwer Academic Publishers, The Netherlands (2003)Gałuszka, A., Pacholczyk, M., Bereska, D., Skrzypczyk, K.: Planning as Artifficial Intelligence Problem-short introduction and overview. In: Nawrat, A., Simek, K., Świerniak, A. (eds.) Advanced Technologies for Intelligent Systems of National Border Security. SCI, vol. 440, pp. 95–104. Springer, Heidelberg (2013)Jędrasiak, K., Bereska, D., Nawrat, A.: The Prototype of Gyro-Stabilized UAV Gimbal for Day-Night Surveillance. In: Nawrat, A., Simek, K., Świerniak, A. (eds.) Advanced Technologies for Intelligent Systems of National Border Security. SCI, vol. 440, pp. 107–116. Springer, Heidelberg (2013)Galuszka, A., Bereska, D., Simek, K., Skrzypczyk, K., Daniec, K.: Application of graphs theory methods to criminal analysis system. Przeglad Elektrotechniczny 86(9), 278–283 (2010