Zhenhua Duan

Learn More
This paper investigates the satisfiability of Propositional Projection Temporal Logic (PPTL) with infinite models. A decision procedure for PPTL formulas is given. To this end, Normal Form (NF) and Labeled Normal Form Graph (LNFG) for PPTL formulas are defined, and algorithms for transforming a formula to its normal form and constructing the LNFG for the(More)
Unstructured and structured P2P are two typical distributed models for P2P networking. The unstructured P2P uses flooding method, and has poor scalability and low efficiency, while the structured P2P uses DHT (Distributed Hash Table) method, and has low stability. This paper proposes a two-layer hybrid P2P network - HP2P, which combines flooding and DHT(More)
Interleukin 17 (IL-17) is a Th17 cytokine associated with inflammation, autoimmunity, and defense against some bacteria; it has been implicated in many chronic autoimmune diseases including psoriasis, multiple sclerosis, and systemic sclerosis. However, whether IL-17 plays a role in the pathogenesis of ankylosing spondylitis (AS) remains unclear. To analyze(More)
Sunitinib is a multitargeted tyrosine kinase inhibitor with antitumor and antiangiogenic activity. The aim of this study was to compare the efficacy of sunitinib combined with transarterial chemoembolization (TACE) versus TACE alone for treating patients with advanced-stage hepatocellular carcinoma (HCC). Of 103 patients with advanced-stage HCC, 38 (36.9 %)(More)
We discuss the projection temporal logic (PTL), based on a primitive projection operator,prj. A framing technique is also presented, using which a synchronization operator,await, is defined within the underlying logic. A framed temporal logic programming language (FTLL) is presented. To illustrate how to use both the language and framing technique, some(More)
Previous studies have found that the Fc receptor-like (FCRL) molecule, involved in controlling B cell signaling, may contribute to the autoimmune disease process. Many studies have reported the relation of FCRL gene family with SLE and RA. We hypothesized that FCRL4 may be a key gene for ankylosing spondylitis (AS) development. To test this hypothesis, we(More)
OBJECTIVES Tumor necrosis factor (TNF)-α promoter -308G/A polymorphism has been shown to be associated with high TNF-α production and poor response to anti-TNF-α treatment. However, not all patients show a good response to TNF-α antagonists, so this association remains controversial. This study was designed to investigate whether TNF-α promoter -308 G/A(More)