Many judgment debtors try to evade, confront, and delay law enforcement using concealing transferring their property resist in China. The act of hiding seriously affects people’s legitimate rights interests China’s legal authority. Therefore, it is essential find an effective method analyzing whether a debtor hides property. Aiming at the hidden analysis problem, we propose case-based reasoning...

Laser bending is an advanced process in sheet metal forming in which a laser heat source is used to shape the metal sheet. In this paper, temperature distribution in a mild steel sheet metal is investigated numerically and experimentally. Laser heat source is applied through curved paths in square sheet metal parts. Finite element (FE) simulation is performed with the ABAQUS/CAE standard softwa...

The probable reasons for evolution of weld porosity and solidification cracking and the structure- property relationship in aluminium welds were investigated. Aluminium plates (1xxx series) were welded by Tungsten Inert Gas (TIG) welding process, 5356 filler metal was used and heat input was controlled by varying welding current (145A, 175A and 195A). The welded samples were examined under opti...

BAN logic is a propositional logic of knowledge for the verification of cryptographic protocols. While BAN logic has been successful from a practical point of view, the semantics of the epistemic (knowledge) modality is unclear. Several Kripke semantics have been proposed, but they do not attempt at anything beyond a soundness result. Completeness is prevented by the so called logical omniscien...

Detachable user interfaces consist of graphical user interfaces whose parts or whole can be detached at run-time from their host, migrated onto another computing platform while carrying out the task, possibly adapted to the new platform and attached to the target platform in a peer-to-peer fashion. Detaching is the property of splitting a part of a UI for transferring it onto another platform. ...