Areas of Interest
•  8
•  7
•  3
##### Representing Imperfect Information of Procedures with Hyper Models In Mamata Banerjee & S. N. Krishna (eds.), Logic and Its Applications. ICLA 2015. Lecture Notes in Computer Science, vol 8923, Springer. 2015.
© Springer-Verlag Berlin Heidelberg 2015. When reasoning about knowledge of procedures under imperfect information, the explicit representation of epistemic possibilities blows up the S5like models of standard epistemic logic. To overcome this drawback, in this paper, we propose a new logical framework based on compact models without epistemic accessibility relations for reasoning about knowledge of procedures. Inspired by the 3-valued abstraction method in model checking, we introduce hyper mod…Read more
•  4
##### Microstructural characterization of rapidly solidified Al 90 Ce 10 alloy with Z. Zhang and X. Bian Philosophical Magazine 83 (7): 827-838. 2003.
In the present work, the microstructure of the melt-spun Al 90 Ce 10 alloy has been characterized using X-ray diffraction and transmission electron microscopy together with energy-dispersive spectrometry. It has been found that the microstructure of the melt-spun Al 90 Ce 10 alloy is composed of the amorphous phase, f -Al, f -Al 11 Ce 3 , Al 3 Ce and unidentified phases, quite different from that of the ingot-like alloy consisting of coarse primary f -Al- f -Al 11 Ce 3 dendrites embedded in the …Read more
•  1
##### A two-temperature model for selective photothermolysis laser treatment of port wine stains with D. Li, G. X. Wang, Y. L. He, K. M. Kelly, W. J. Wu, and Z. X. Ying
Selective photothermolysis is the basic principle for laser treatment of vascular malformations such as port wine stain birthmarks. During cutaneous laser surgery, blood inside blood vessels is heated due to selective absorption of laser energy, while the surrounding normal tissue is spared. As a result, the blood and the surrounding tissue experience a local thermodynamic non-equilibrium condition. Traditionally, the PWS laser treatment process was simulated by a discrete-blood-vessel model tha…Read more
•  5
##### A Hierarchy For The Plus Cupping Turing Degrees with Angsheng Li Journal of Symbolic Logic 68 (3): 972-988. 2003.
We say that a computably enumerable degree a is plus-cupping, if for every c. e. degree x with 0 < x≤ a, there is a c. e. degree y ≠ 0’ such that x ∨ y=0’. We say that a is n-plus-cupping, if for every c. e. degree x, if 0 < x ≤ a, then there is a lown c. e. degree l such that x ∨ l=0’. Let PC and PCn be the set of all plus-cupping, and n-plus-cupping c. e. degrees respectively. Then PC1 ⊆ PC2⊆ PC3 = PC. In this paper we show that PC1 ⊂ PC2, so giving a nontrivial hierarchy for the plus cupping …Read more
• ##### The Arrangement of Control Rights in Debt Financing Nankai University (Philosophy and Social Sciences) 1 133-140. 2006.
In the private benefits of control with the case, it has incentives for entrepreneurs; the same time, because of moral hazard, creditors can use to protect their control over the return, therefore, control of the creditors but also has the role acceptance. These two conflicting effects, debt financing will inevitably affect the arrangement of control. Debt financing, the best control of the arrangement depends on the control of the trade-off between the two roles, people generally believe that d…Read more
•  14
##### A hierarchy for the plus cupping Turing degrees with Angsheng Li Journal of Symbolic Logic 68 (3): 972-988. 2003.
We say that a computably enumerable (c. e.) degree a is plus-cupping, if for every c.e. degree x with $0 < x \leq a$ , there is a c. e. degree $y \not= 0'$ such that $x \vee y = 0/\'$ . We say that a is n-plus-cupping. if for every c. e. degree x, if $0 < x \leq a$ , then there is a $low_n$ c. e. degree 1 such that $x \vee l = 0'$ . Let PC and $PC_n$ be the set of all plus-cupping, and n-plus-cupping c. e. degrees respectively. Then $PC_{1} \subseteq PC_{2} \subseteq PC_3 = PC$ . In this paper w…Read more
•  2
•  6
•  9
##### From the Sublime to the Obscene: Modalities of Totalitarianism and Jouissance American Journal of Semiotics 23 (1/4): 173-191. 2007.
Drawing on Yan’s novella Serve the People, the author examines the metamorphosis of the titular master signifier that has served as a central moral mandate in the Chinese Communist Party’s ideological discourse. Relying on a Lacanian framework via Žižek’s and others’ writings, this paper attempts to show that totalitarian ideological transformation hinges on the organization of jouissance that has undergone three ideological modes — proto-, post-, and neo-totalitarianism. In the first mode, the …Read more