Results 1 to 10 of about 84,843 (116)

Visualization and heat transfer in a closed loop thermosyphon with a check valve

Case Studies in Thermal Engineering, 2020
Liquid-vapor flow separation is a major problem in the development of high-efficiency two phase thermosyphons. The closed loop thermosyphons with check valve (CLTP/CV) are able to completely separate the liquid-vapor flow and their efficiency is higher ...
S. Thongdaeng, N. Pipatpaiboon, A. Donmuang   +2 more
doaj   +3 more sources

Specialization of derivations in modal logic S5

Lietuvos Matematikos Rinkinys, 2023
Loop-check-free decidable specialization of sequent calculus for modal logic S5 is presented. Soundness and completness of this calculus is proved.
Aida Pliuškevičienė
doaj   +3 more sources

Efficient loop-check for multimodal KD45n logic

Lietuvos Matematikos Rinkinys, 2021
We introduce sequent calculus for multi-modal logic KD45n which uses efficient loop-check. Efficiency of the used loop-check is obtained by using marked modal operator squarei which is used as an alternative to sequent with histories ([2,3]).We use ...
Adomas Birštunas
doaj   +1 more source

Efficient decision procedure for Belief modality

Lietuvos Matematikos Rinkinys, 2005
This paper defines decision algorithm for subclass of BKD45DKDIKD logic which is based on known algorithm for temporal BKD45DKDIKD logic [2]. BDI logics are widely used in agent based systems. Such usage of BDI logic can be found in [1].
Adomas Birštunas
doaj   +3 more sources

Advanced Loop Thermosiphon With Check Valve (ALT/CV): Thermal Performance and Behavior

International Journal of Renewable Energy Development, 2021
Nanofluids (NFs) are an attractive alternative to traditional working fluids for thermosiphons, but the solid nanoparticles (NPs) within the NF can agglomerate and reduce the thermal performance.
Khridsadakhon Booddachan, Nipon Bhuwakietkumjohn, Thanya Parameethanuwat   +2 more
doaj   +1 more source

Target tracking mission system design and application

Hangkong gongcheng jinzhan, 2023
Man-aircraft closed-loop characteristics is very important for the high precision flight mission.In order to check man-aircraft closed-loop characteristics under the condition of shortage of flight test resources, a visual target tracking system is ...
ZHANG Ying, MENG Zehai, RAO Qiulei, HE Tai   +3 more
doaj   +1 more source

Elimination of loop-check for logic of idealized knowledge

Lietuvos Matematikos Rinkinys, 2009
In the paper loop-check-free sequent calculus for logic of idealized knowledge is presented. To obtain termination of derivation indices and marks are used instead of history.
Aida Pliuškevičienė
doaj   +1 more source

Termination of derivations for minimal tense logic

Lietuvos Matematikos Rinkinys, 2009
It is known that loop checking and backtracking are extensively used in various non-classical logics. An efficient loop checking is obtained using a technique based on histories.
Regimantas Pliuškevičius
doaj   +1 more source

Loop-check elimination for non-transitive distributed knowledge logic

Lietuvos Matematikos Rinkinys, 2008
A non-transitive distributed knowledge logic TnD, obtained from multi-modal logic Tn by adding distributed knowledge operator, is considered. Sound and complete loop-check-free sequent calculus for this logic is proposed.
Aida Pliuškevičienė
doaj   +1 more source

One loop mass renormalization of massive states using pure spinor formalism

Journal of High Energy Physics, 2023
As a check of the first massive integrated vertex operator in the pure spinor formalism constructed in arXiv:1802.04486 , we compute the one loop 2-point function of the stable non BPS massive states in SO(32) heterotic string theory.
Sitender Pratap Kashyap, Mritunjay Verma
doaj   +1 more source