Modeling and verification of multi-winding rope winch for facade operation
Sign Up to like & getrecommendations! Published in 2021 at "Mechanism and Machine Theory"
DOI: 10.1016/j.mechmachtheory.2020.104105
Abstract: Abstract This paper presents the modeling and verification of a multi-winding rope winch for facade operation. The winch enables a robot to ascend and descend high-rise buildings using synthetic fiber ropes and can easily be… read more here.
Keywords: modeling verification; facade operation; winch; rope ... See more keywords
New Advances in the Modeling and Verification of Experimental Information for Ester–Alkane Solutions: Application to a Batch-Distillation Case
Sign Up to like & getrecommendations! Published in 2020 at "Industrial & Engineering Chemistry Research"
DOI: 10.1021/acs.iecr.0c00850
Abstract: This work shows a practical experience involving the following sequence of tasks on eight binary solutions of alkyl (propyl, butyl) propanoate with four alkanes (hexane to nonane): experimentation ... read more here.
Keywords: new advances; advances modeling; verification experimental; information ester ... See more keywords
An Integrated Formal Method Combining Labeled Transition System and Event-B for System Model Refinement
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Access"
DOI: 10.1109/access.2022.3146390
Abstract: Formal modeling and verification of a concurrent system is an essential means to ensure the security and reliability of the system. However, at present, there is no single formal method that can fully meet the… read more here.
Keywords: system; event; integrated formal; method ... See more keywords
Modeling and Verification of Symbolic Distributed Applications Through an Intelligent Monitoring Agent
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Access"
DOI: 10.1109/access.2022.3204043
Abstract: Wireless Sensor Networks (WSNs) represent a key component in emerging distributed computing paradigms such as IoT, Ambient Intelligence, and Smart Cities. In these contexts, the difficulty of testing, verifying, and monitoring applications in their intended… read more here.
Keywords: distributed applications; symbolic distributed; verification symbolic; monitoring ... See more keywords
Numerical modeling and verification of a sonobioreactor and its application on two model microorganisms
Sign Up to like & getrecommendations! Published in 2020 at "PLoS ONE"
DOI: 10.1371/journal.pone.0229738
Abstract: Ultrasound has many uses, such as in medical imaging, monitoring of crystallization, characterization of emulsions and suspensions, and disruption of cell membranes in the food industry. It can also affect microbial cells by promoting or… read more here.
Keywords: sonobioreactor; pressure distribution; application; numerical modeling ... See more keywords
Modeling and verification of response of RC columns strengthened in flexure with mechanically fastened FRP
Sign Up to like & getrecommendations! Published in 2018 at "Journal of Vibroengineering"
DOI: 10.21595/jve.2018.18990
Abstract: One of the most important challenges exists in using of carbon fiber reinforced polymer(FRP) for strengthening of concrete members is the brittle behavior of RC members due to premature de-bonding of the layers. Mechanically fastened… read more here.
Keywords: mechanically fastened; verification response; fastened frp; columns strengthened ... See more keywords