Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking

We investigate a SAT-based bounded model checking (BMC) method for EMTLK (the existential fragment of the metric temporal logic with knowledge) that is interpreted over timed models generated by timed interpreted systems. In particular, we translate the existential model checking problem for EMTLK to the existential model checking problem for a variant of linear temporal logic (called HLTLK), and we provide a SAT-based BMC technique for HLTLK. We evaluated the performance of our BMC by means of a variant of a timed generic pipeline paradigm scenario and a timed train controller system.     

Retracts of the closure space of filters in the lattice of all subsets

We give an idea of uniform approach to the problem of characterization of absolute extensors for categories of topological spaces [21], closure spaces [15], Boolean algebras [22], and distributive lattices [4]. In this characterization we use the notion of retract of the closure space of filters in the lattice of all subsets.     

作为一种新人文主义的后现代自由主义

在欧洲,理性信念曾经走过一段辉煌的历程。最重要的因素存在于开端,存在于伟大的希腊哲学家们对所有各种无法控制的东西,以及对所有各种威胁人、使人堕落到内心的混沌或者外在的混沌之中去的东西所具有的憎恶之中。这种东西既可能是肉体方面的各种感情,也可能是对群氓的非理性意志的服从。必须用某种由于始终保持不变、因而能够抵制永远变化的逻辑的东西,来祛除这个世界所具有的不稳定性和脆弱性。这种作为古代哲学的典型特征而存在的态度,导致了对理性和真理的热爱,也导致了对绝对确定性的希冀、导致了有关发现存在于所有各种事物背后的原…     

The ‘living dead’ — Survivors of torture and psychosis

Regardless of all differences between patients who have suffered from psychotic breakdowns and those with the sequelae of torture, our experience have shown that some common features can be recognized. We can attempt to understand patients' experience of being ‘living dead’ in terms of regression to the ‘psychotic core’ in the personality, and in terms of actualisation and enactment of archaic relations to primary objects. The major difference between thee two categories of patients deals with a located, limited, and concrete traumatic event in the life of the torture-survivor, whilst in the schizophrenic individual the trauma also emanates from within through own destructiveness and rage. Regressive forms of relations toward distorted, aggressively cathected and persecutory primary objects are reestablished in both cases, leading to a more or less stable reorganisation of the ego. Difficulties in psychotherapy with schizophrenic patients and torture-survivors are here discussed as a consequence of the patients' persistently holding onto the distorted and regressive forms of relating to primary objects, when the projections of the patients' own destructiveness and hate is followed by a strong tendency to symbiotic merging.