Three-Dimensional Lattice Boltzmann Simulation of Two-Phase Flow Containing a Deformable Body with a Viscoelastic Membrane

First published in Communications in Commun. Comput. Phys. in No. 5, 9 (2011), published by Global Science PressThe lattice Boltzmann method (LBM) with an elastic model is applied to the simulation of two-phase flows containing a deformable body with a viscoelastic membrane. The numerical method is based on the LBM for incompressible two-phase fluid flows with the same density. The body has an internal fluid covered by a viscoelastic membrane of a finite thickness. An elastic model is introduced to the LBM in order to determine the elastic forces acting on the viscoelastic membrane of the body. In the present method, we take account of changes in surface area of the membrane and in total volume of the body as well as shear deformation of the membrane. By using this method, we calculate two problems, the behavior of an initially spherical body under shear flow and the motion of a body with initially spherical or biconcave discoidal shape in square pipe flow. Calculated deformations of the body (the Taylor shape parameter) for various shear rates are in good agreement with other numerical results. Moreover, tank-treading motion, which is a characteristic motion of viscoelastic bodies in shear flows, is simulated by the present method.ArticleCommunications in Computational Physics. 9(5):1397-1413 (2011)journal articl

Event-Driven Data Gathering in Pure Asynchronous Multi-Hop Underwater Acoustic Sensor Networks

[EN] In underwater acoustic modem design, pure asynchrony can contribute to improved wake-up coordination, thus avoiding energy-inefficient synchronization mechanisms. Nodes are designed with a pre-receptor and an acoustically adapted Radio Frequency Identification system, which wakes up the node when it receives an external tone. The facts that no synchronism protocol is necessary and that the time between waking up and packet reception is narrow make pure asynchronism highly efficient for energy saving. However, handshaking in the Medium Control Access layer must be adapted to maintain the premise of pure asynchronism. This paper explores different models to carry out this type of adaptation, comparing them via simulation in ns-3. Moreover, because energy saving is highly important to data gathering driven by underwater vehicles, where nodes can spend long periods without connection, this paper is focused on multi-hop topologies. When a vehicle appears in a 3D scenario, it is expected to gather as much information as possible in the minimum amount of time. Vehicle appearance is the event that triggers the gathering process, not only from the nearest nodes but from every node in the 3D volume. Therefore, this paper assumes, as a requirement, a topology of at least three hops. The results show that classic handshaking will perform better than tone reservation because hidden nodes annulate the positive effect of channel reservation. However, in highly dense networks, a combination model with polling will shorten the gathering time.Blanc Clavero, S. (2020). Event-Driven Data Gathering in Pure Asynchronous Multi-Hop Underwater Acoustic Sensor Networks. Sensors. 20(5):1-16. https://doi.org/10.3390/s20051407S116205Roy, A., & Sarma, N. (2018). Effects of Various Factors on Performance of MAC Protocols for Underwater Wireless Sensor Networks. Materials Today: Proceedings, 5(1), 2263-2274. doi:10.1016/j.matpr.2017.09.228Awan, K. M., Shah, P. A., Iqbal, K., Gillani, S., Ahmad, W., & Nam, Y. (2019). Underwater Wireless Sensor Networks: A Review of Recent Issues and Challenges. Wireless Communications and Mobile Computing, 2019, 1-20. doi:10.1155/2019/6470359Rudnick, D. L., Davis, R. E., Eriksen, C. C., Fratantoni, D. M., & Perry, M. J. (2004). Underwater Gliders for Ocean Research. Marine Technology Society Journal, 38(2), 73-84. doi:10.4031/002533204787522703Petritoli, E., & Leccese, F. (2018). High Accuracy Attitude and Navigation System for an Autonomous Underwater Vehicle (AUV). ACTA IMEKO, 7(2), 3. doi:10.21014/acta_imeko.v7i2.535Nam, H. (2018). Data-Gathering Protocol-Based AUV Path-Planning for Long-Duration Cooperation in Underwater Acoustic Sensor Networks. IEEE Sensors Journal, 18(21), 8902-8912. doi:10.1109/jsen.2018.2866837Sun, J., Hu, F., Jin, W., Wang, J., Wang, X., Luo, Y., … Zhang, A. (2020). Model-Aided Localization and Navigation for Underwater Gliders Using Single-Beacon Travel-Time Differences. Sensors, 20(3), 893. doi:10.3390/s20030893Wahid, A., Lee, S., Kim, D., & Lim, K.-S. (2014). MRP: A Localization-Free Multi-Layered Routing Protocol for Underwater Wireless Sensor Networks. Wireless Personal Communications, 77(4), 2997-3012. doi:10.1007/s11277-014-1690-6Sánchez, A., Blanc, S., Yuste, P., Perles, A., & Serrano, J. J. (2012). An Ultra-Low Power and Flexible Acoustic Modem Design to Develop Energy-Efficient Underwater Sensor Networks. Sensors, 12(6), 6837-6856. doi:10.3390/s120606837Li, S., Qu, W., Liu, C., Qiu, T., & Zhao, Z. (2019). Survey on high reliability wireless communication for underwater sensor networks. Journal of Network and Computer Applications, 148, 102446. doi:10.1016/j.jnca.2019.102446Jiang, S. (2018). State-of-the-Art Medium Access Control (MAC) Protocols for Underwater Acoustic Networks: A Survey Based on a MAC Reference Model. IEEE Communications Surveys & Tutorials, 20(1), 96-131. doi:10.1109/comst.2017.2768802Chirdchoo, N., Soh, W., & Chua, K. C. (2008). RIPT: A Receiver-Initiated Reservation-Based Protocol for Underwater Acoustic Networks. IEEE Journal on Selected Areas in Communications, 26(9), 1744-1753. doi:10.1109/jsac.2008.081213Zenia, N. Z., Aseeri, M., Ahmed, M. R., Chowdhury, Z. I., & Shamim Kaiser, M. (2016). Energy-efficiency and reliability in MAC and routing protocols for underwater wireless sensor network: A survey. Journal of Network and Computer Applications, 71, 72-85. doi:10.1016/j.jnca.2016.06.005Khasawneh, A., Latiff, M. S. B. A., Kaiwartya, O., & Chizari, H. (2017). A reliable energy-efficient pressure-based routing protocol for underwater wireless sensor network. Wireless Networks, 24(6), 2061-2075. doi:10.1007/s11276-017-1461-xSánchez, A., Blanc, S., Yuste, P., Perles, A., & Serrano, J. J. (2015). An Acoustic Modem Featuring a Multi-Receiver and Ultra-Low Power. Circuits and Systems, 06(01), 1-12. doi:10.4236/cs.2015.6100

Perceptions of gender balance of IS journal editorial positions

An analysis of 18,854 editorial positions on IS journals was undertaken to examine the perceived gender balance of those positions as an indication of their contribution towards a positive role model for females considering an IS academic career. The nature and extent of perceived gender balance is examined in terms of overall composition of editorial positions, journal prestige and the specific area within IS covered by a journal. The results indicate that perceived gender balance of editorial positions reflects that of ICT academia generally, and that female representation appears to be concentrated in journals covering areas that are traditionally seen as female occupations, e.g., health, education, librarianship. As such, little or no encouragement is given to females considering an IS academic career.<br /

Hostile gatekeeping: The strategy of engaging with journalists in extremism reporting

This article broadly examines the relationship between strategic communications and journalism with specific reference to the issue of violent extremism. Using a case study of reporting on the Boko Haram conflict in Nigeria, it analyses the nature and consequences of engagement among the various communicators involved. The primary data were drawn from focus groups and individual interviews with thirty-two journalists and strategic communicators, and from analysis of Boko Haram videos and Nigerian security forces’ press releases. The findings suggest that journalists have a tense but interdependent relationship with strategic communicators that is characterised by conflict and cooperation, harassment and intimidation. Strategic communicators’ control of the conflict theatre and use of the Internet to reach audiences directly give them leverage in the relationship. They, however, rely on journalists to help enhance the reach and credibility of their narratives, while journalists depend significantly on their media releases

Partial Correctness of a Power Algorithm

This work continues a formal verification of algorithms written in terms of simple-named complex-valued nominative data [6],[8],[15],[11],[12],[13]. In this paper we present a formalization in the Mizar system [3],[1] of the partial correctness of the algorithm: i := val.1 j := val.2 b := val.3 n := val.4 s := val.5 while (i n) i := i + j s := s * b return s computing the natural n power of given complex number b, where variables i, b, n, s are located as values of a V-valued Function, loc, as: loc/.1 = i, loc/.3 = b, loc/.4 = n and loc/.5 = s, and the constant 1 is located in the location loc/.2 = j (set V represents simple names of considered nominative data [17]).The validity of the algorithm is presented in terms of semantic Floyd-Hoare triples over such data [9]. Proofs of the correctness are based on an inference system for an extended Floyd-Hoare logic [2],[4] with partial pre- and post-conditions [14],[16],[7],[5].Institute of Informatics, University of Białystok, PolandGrzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pąk. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6.R.W. Floyd. Assigning meanings to programs. Mathematical aspects of computer science, 19(19–32), 1967.Adam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1.C.A.R. Hoare. An axiomatic basis for computer programming. Commun. ACM, 12(10): 576–580, 1969.Ievgen Ivanov and Mykola Nikitchenko. On the sequence rule for the Floyd-Hoare logic with partial pre- and post-conditions. In Proceedings of the 14th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kyiv, Ukraine, May 14–17, 2018, volume 2104 of CEUR Workshop Proceedings, pages 716–724, 2018.Ievgen Ivanov, Mykola Nikitchenko, Andrii Kryvolap, and Artur Korniłowicz. Simple-named complex-valued nominative data – definition and basic operations. Formalized Mathematics, 25(3):205–216, 2017. doi:10.1515/forma-2017-0020.Ievgen Ivanov, Artur Korniłowicz, and Mykola Nikitchenko. Implementation of the composition-nominative approach to program formalization in Mizar. The Computer Science Journal of Moldova, 26(1):59–76, 2018.Ievgen Ivanov, Artur Korniłowicz, and Mykola Nikitchenko. On an algorithmic algebra over simple-named complex-valued nominative data. Formalized Mathematics, 26(2):149–158, 2018. doi:10.2478/forma-2018-0012.Ievgen Ivanov, Artur Korniłowicz, and Mykola Nikitchenko. An inference system of an extension of Floyd-Hoare logic for partial predicates. Formalized Mathematics, 26(2): 159–164, 2018. doi:10.2478/forma-2018-0013.Ievgen Ivanov, Artur Korniłowicz, and Mykola Nikitchenko. Partial correctness of GCD algorithm. Formalized Mathematics, 26(2):165–173, 2018. doi:10.2478/forma-2018-0014.Ievgen Ivanov, Artur Korniłowicz, and Mykola Nikitchenko. On algebras of algorithms and specifications over uninterpreted data. Formalized Mathematics, 26(2):141–147, 2018. doi:10.2478/forma-2018-0011.Artur Kornilowicz, Andrii Kryvolap, Mykola Nikitchenko, and Ievgen Ivanov. Formalization of the algebra of nominative data in Mizar. In Maria Ganzha, Leszek A. Maciaszek, and Marcin Paprzycki, editors, Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, September 3–6, 2017., pages 237–244, 2017. ISBN 978-83-946253-7-5. doi:10.15439/2017F301.Artur Kornilowicz, Andrii Kryvolap, Mykola Nikitchenko, and Ievgen Ivanov. Formalization of the nominative algorithmic algebra in Mizar. In Leszek Borzemski, Jerzy Świątek, and Zofia Wilimowska, editors, Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology – ISAT 2017 – Part II, Szklarska Poręba, Poland, September 17–19, 2017, volume 656 of Advances in Intelligent Systems and Computing, pages 176–186. Springer, 2017. ISBN 978-3-319-67228-1. doi:10.1007/978-3-319-67229-8_16.Artur Korniłowicz, Andrii Kryvolap, Mykola Nikitchenko, and Ievgen Ivanov. An approach to formalization of an extension of Floyd-Hoare logic. In Vadim Ermolayev, Nick Bassiliades, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Vyacheslav Kharchenko, Vladimir Peschanenko, Mariya Shyshkina, Mykola Nikitchenko, and Aleksander Spivakovsky, editors, Proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, Kyiv, Ukraine, May 15–18, 2017, volume 1844 of CEUR Workshop Proceedings, pages 504–523. CEUR-WS.org, 2017.Artur Korniłowicz, Ievgen Ivanov, and Mykola Nikitchenko. Kleene algebra of partial predicates. Formalized Mathematics, 26(1):11–20, 2018. doi:10.2478/forma-2018-0002.Andrii Kryvolap, Mykola Nikitchenko, and Wolfgang Schreiner. Extending Floyd-Hoare logic for partial pre- and postconditions. In Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, and Grygoriy Zholtkevych, editors, Information and Communication Technologies in Education, Research, and Industrial Applications: 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19–22, 2013, Revised Selected Papers, pages 355–378. Springer International Publishing, 2013. ISBN 978-3-319-03998-5. doi:10.1007/978-3-319-03998-5_18.Volodymyr G. Skobelev, Mykola Nikitchenko, and Ievgen Ivanov. On algebraic properties of nominative data and functions. In Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, and Grygoriy Zholtkevych, editors, Information and Communication Technologies in Education, Research, and Industrial Applications – 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9–12, 2014, Revised Selected Papers, volume 469 of Communications in Computer and Information Science, pages 117–138. Springer, 2014. ISBN 978-3-319-13205-1. doi:10.1007/978-3-319-13206-8_6.27218919