Reiter presented the first formal framework for model-based diagnosis using logic. However, Reiter’s theory is unimplemented because it suffers from some shortcomings. An extension to Reiter’s diagnostic theory is e...Reiter presented the first formal framework for model-based diagnosis using logic. However, Reiter’s theory is unimplemented because it suffers from some shortcomings. An extension to Reiter’s diagnostic theory is established to overcome the shortcomings. Novel features of such extension include: (i) The fault modes of components are introduced to the behavior description, so that the outputs of both normal and abnormal components can be predicted (ii) Domain-dependent heuristics are used to contract and sort the hypothesis space and assist in making measurements, so that the diagnosis efficiency is improved, (iii) An integrated diagnostic system is proposed based on our theory, and efficient algorithms for computing all diagnoses are developed.展开更多
Y2002-63196-437 0311842在皮带传动汽车交流发电机中利用凸极式发动机=Salient pole generators for belt-driven automotive alterrla-tor applications[会,英]/Reiter,F.B.& Rajashekara,K.//2001 IEEE Industry Applications Co...Y2002-63196-437 0311842在皮带传动汽车交流发电机中利用凸极式发动机=Salient pole generators for belt-driven automotive alterrla-tor applications[会,英]/Reiter,F.B.& Rajashekara,K.//2001 IEEE Industry Applications Conference,Vol.1 of 4,—437～442(ME)Y2002-63196-443 0311843汽车应用的新型无刷式交流发电机=New brushlessalternator for automotive applications[会,英]/Julian,A.L.＆ Oriti,G.//2001 IEEE Industry AppliCations Con-ference,Vol.1 of 4,—443～448(ME)展开更多
We present a case of Reiter syndrome (RS) associated with Terry nail in a 32-year-old male patient who also had subungual keratosis and onycholysis. The case had all the characteristic findings of complete RS includin...We present a case of Reiter syndrome (RS) associated with Terry nail in a 32-year-old male patient who also had subungual keratosis and onycholysis. The case had all the characteristic findings of complete RS including urethritis, conjunctivitis, arthritis and skin lesions, and based on these findings a clinical diagnosis was established. The patient complained of milky-white coloured leakage that was more frequent in the mornings, and dysuria. Urinary analysis revealed leucocytes and erythrocytes. Erythrocyte sedimentation rate (ESR) and C-reactive protein (CRP) values were high. The case was considered as RS due to gonococcic urethritis. However, there was no growth in the culture. Self-report of the patient revealed that he had had continued symptoms and 9 months after the development of RS he developed Terry nail. To the best of our knowledge this is the first case of RS associated with Terry nail.展开更多
顺从性在动力系统中一直是一个热点课题。这一概念最初是由冯诺依曼针对离散群而提出来的,时至今日,已经拓展到数学的许多领域。但是,关于群满足顺从性的一系列等价条件在国内一直没有系统性的整理,国外相关文献又存在定理证明简略难懂...顺从性在动力系统中一直是一个热点课题。这一概念最初是由冯诺依曼针对离散群而提出来的,时至今日,已经拓展到数学的许多领域。但是,关于群满足顺从性的一系列等价条件在国内一直没有系统性的整理,国外相关文献又存在定理证明简略难懂、文献分散的情况。并且这些条件之间的联系国内外均未提及。因此,本文旨在系统完整的梳理群满足顺从性的相关等价条件并分析它们之间的内在联系。通过文献研究法梳理了可数离散群满足顺从性的常见等价条件,包括存在正定函数点点逼近单位函数、Følner条件和Reiter性质等。在此基础上,分析了它们之间的内在联系并得到关系图。Amenability has always been a hot topic in dynamical systems theory. This concept was first proposed by von Neumann for discrete groups, which has been extended to many areas of mathematics. However, the equivalent conditions of amenability have not been systematically sorted out in China, and the proof of relevant theorems in foreign literature is simple and difficult to understand and scattered. Besides, the relations between them are also not mentioned. Therefore, the purpose of this paper is to systematically and completely comb out the equivalence conditions of compliance and analyze the internal relations between them. We get the common equivalent conditions of the amenability for countable discrete groups by literature research, including the positive definite function tend pointwise to the unit function, Følner condition, Reiter property and so on. On this basis, we analyze the internal relations between them and get the relationship diagram between them.展开更多
基金Project supported by the National Natural Science Foundation of China and Sichuan Youth Science and Technology Foundation
文摘Reiter presented the first formal framework for model-based diagnosis using logic. However, Reiter’s theory is unimplemented because it suffers from some shortcomings. An extension to Reiter’s diagnostic theory is established to overcome the shortcomings. Novel features of such extension include: (i) The fault modes of components are introduced to the behavior description, so that the outputs of both normal and abnormal components can be predicted (ii) Domain-dependent heuristics are used to contract and sort the hypothesis space and assist in making measurements, so that the diagnosis efficiency is improved, (iii) An integrated diagnostic system is proposed based on our theory, and efficient algorithms for computing all diagnoses are developed.
文摘Y2002-63196-437 0311842在皮带传动汽车交流发电机中利用凸极式发动机=Salient pole generators for belt-driven automotive alterrla-tor applications[会,英]/Reiter,F.B.& Rajashekara,K.//2001 IEEE Industry Applications Conference,Vol.1 of 4,—437～442(ME)Y2002-63196-443 0311843汽车应用的新型无刷式交流发电机=New brushlessalternator for automotive applications[会,英]/Julian,A.L.＆ Oriti,G.//2001 IEEE Industry AppliCations Con-ference,Vol.1 of 4,—443～448(ME)
文摘We present a case of Reiter syndrome (RS) associated with Terry nail in a 32-year-old male patient who also had subungual keratosis and onycholysis. The case had all the characteristic findings of complete RS including urethritis, conjunctivitis, arthritis and skin lesions, and based on these findings a clinical diagnosis was established. The patient complained of milky-white coloured leakage that was more frequent in the mornings, and dysuria. Urinary analysis revealed leucocytes and erythrocytes. Erythrocyte sedimentation rate (ESR) and C-reactive protein (CRP) values were high. The case was considered as RS due to gonococcic urethritis. However, there was no growth in the culture. Self-report of the patient revealed that he had had continued symptoms and 9 months after the development of RS he developed Terry nail. To the best of our knowledge this is the first case of RS associated with Terry nail.
文摘顺从性在动力系统中一直是一个热点课题。这一概念最初是由冯诺依曼针对离散群而提出来的,时至今日,已经拓展到数学的许多领域。但是,关于群满足顺从性的一系列等价条件在国内一直没有系统性的整理,国外相关文献又存在定理证明简略难懂、文献分散的情况。并且这些条件之间的联系国内外均未提及。因此,本文旨在系统完整的梳理群满足顺从性的相关等价条件并分析它们之间的内在联系。通过文献研究法梳理了可数离散群满足顺从性的常见等价条件,包括存在正定函数点点逼近单位函数、Følner条件和Reiter性质等。在此基础上,分析了它们之间的内在联系并得到关系图。Amenability has always been a hot topic in dynamical systems theory. This concept was first proposed by von Neumann for discrete groups, which has been extended to many areas of mathematics. However, the equivalent conditions of amenability have not been systematically sorted out in China, and the proof of relevant theorems in foreign literature is simple and difficult to understand and scattered. Besides, the relations between them are also not mentioned. Therefore, the purpose of this paper is to systematically and completely comb out the equivalence conditions of compliance and analyze the internal relations between them. We get the common equivalent conditions of the amenability for countable discrete groups by literature research, including the positive definite function tend pointwise to the unit function, Følner condition, Reiter property and so on. On this basis, we analyze the internal relations between them and get the relationship diagram between them.
