Authentication email has already been sent, please check your email box: and activate it as soon as possible.
You can login to My Profile and manage your email alerts.
If you haven’t received the email, please:
|
|
There are 8 papers published in subject: > since this site started. |
Results per page: |
Select Subject |
Select/Unselect all | For Selected Papers |
Saved Papers
Please enter a name for this paper to be shown in your personalized Saved Papers list
|
1. A Framework for Off-Line Conformance Testing of Timed Connectors | |||
LI Shao-Dong, CHEN Xiao-Hong, WANG Yi-Wu, SUN Meng | |||
Information Science and System Science 23 July 2015 | |||
Show/Hide Abstract | Cite this paper︱Full-text: PDF (0 B) | |||
Abstract:Coordination is playing a key role in complex cyber-physical systems (CPSs). The complexity and importance of coordination models and languages for CPSs necessarily lead to a higher relevance of testing during development of CPSs. Model-based testing is a promising technology to test the conformance or non-conformance relation between the implementation-under-test (IUT) and its specification. In this paper, we present an approach to test the conformance relation $ iococ$(Timed Input-Output Conformance) between the implementation of a timed Reo connector and its specification given by a timed constraint automaton (TCA). An algorithm to generate test cases from a TCA is proposed and the testing approach is implemented in UPPAAL. | |||
TO cite this article:LI Shao-Dong, CHEN Xiao-Hong, WANG Yi-Wu, et al. A Framework for Off-Line Conformance Testing of Timed Connectors[OL].[23 July 2015] http://en.paper.edu.cn/en_releasepaper/content/4650279 |
2. Stability analysis and application of a modified HIV infection model | |||
SUN Qi-Lin,MIN Le-Quan | |||
Information Science and System Science 07 June 2015 | |||
Show/Hide Abstract | Cite this paper︱Full-text: PDF (0 B) | |||
Abstract:This paper proposes a modified human immunodeficiency virus (HIV)infection di-\fferential equation model including drug sensitive anddrug resistant viruses variables. The ba-\sic reproductive numbers $R_s$ and$R_r$ for drug sensitive virus anddrug resistant virus of the m-\odified model are independent of the total number of CD4$^+$ T cells in vivo. The model has an infection-free equilibrium point, a boundaryequilibrium point and an interior equilibrium poi-\nt. Two proposed theorems prove that if $R_s<1$ and $R_r<1$, theinfection-free equilibrium po-int of the model is globallyasymptotically stable; if $R_s<1/(1-u)$ and $R_r>1$, the boundar-\y equilibrium point of the model is globally asymptotically stable.Based on the clinical data from HIV drug resistance database ofStanford University, using the proposed model simulat-\es the dynamics ofa patient's anti-HIV infection treatment. Simulation results show that the drug resistance may appear when there is a sharp rise in theproportion of the drug resistant virus; once the drug resistanceappears, the production rate of drug resistant virus may increa-\se;HIV RNA load may affect how strongly the apoptosis of CD$4^{+}$ Tcells induced by HIV. | |||
TO cite this article:SUN Qi-Lin,MIN Le-Quan. Stability analysis and application of a modified HIV infection model[OL].[ 7 June 2015] http://en.paper.edu.cn/en_releasepaper/content/4645622 |
3. Multi-hierarchical Functional Directed Graph Modeling Method for Aircraft System Fault Diagnosis | |||
SU Yan,LIU Pengpeng | |||
Information Science and System Science 05 February 2014 | |||
Show/Hide Abstract | Cite this paper︱Full-text: PDF (0 B) | |||
Abstract:In order to overcome the shortcomings or insufficiency of analysis methods individually based on graph theory or quantitative analysis method, semi-quantitative fault diagnosis method based on graph theory and fuzzy theory combined with functional fault analysis (FFA) theories and Failure Mode and Effects Analysis(FMEA) is studied. And a multi-hierarchical functional directed graph modeling method is proposed for aircraft system fault diagnosis. Nacelle Anti-Ice subsystem of an aero engine is taken as a specific application to present the detailed MHFDG modeling method. | |||
TO cite this article:SU Yan,LIU Pengpeng. Multi-hierarchical Functional Directed Graph Modeling Method for Aircraft System Fault Diagnosis[OL].[ 5 February 2014] http://en.paper.edu.cn/en_releasepaper/content/4584619 |
4. Modeling of Opinion Dynamics in Social Networks with Relationship Heterogeneity | |||
LI Pei,FAN Peng-Yi,JIANG Zhi-Hong,WANG Hui | |||
Information Science and System Science 21 May 2013 | |||
Show/Hide Abstract | Cite this paper︱Full-text: PDF (0 B) | |||
Abstract:Traditional opinion dynamic models usually assume homogeneous relationships, where individual opinions tend to get closer when interaction happens. In this paper we propose an opinion dynamic model which can capture relationship heterogeneity. To show this model is analytical, we take into account a scenario with three individuals, where there are both positive and negative relationships. We find that if the level of negative relationship is low, individuals tend to reach consensus, and if the level of negative relationship is high, individuals tend to hold different opinions. The analysis results are verified by numerical simulations. | |||
TO cite this article:LI Pei,FAN Peng-Yi,JIANG Zhi-Hong, et al. Modeling of Opinion Dynamics in Social Networks with Relationship Heterogeneity[OL].[21 May 2013] http://en.paper.edu.cn/en_releasepaper/content/4544143 |
5. Global Stability of Infection-free State and Endemic Infection State of An Amended HIV Infection Model | |||
SUN Qi-Lin,Min Le-Quan,CHEN Xiao | |||
Information Science and System Science 30 January 2013 | |||
Show/Hide Abstract | Cite this paper︱Full-text: PDF (0 B) | |||
Abstract: We consider a modified human immunodeficiency virus (HIV) infection differential equation model with a saturated infection rate. This model has an infection-free equilibrium point and an endemic infection equilibrium point. Using LaSalle's invariance principle, we show that if the basic infection reproductive number $R_0$ of the model is less than one, then the infection-free equilibrium point of the model is globally asymptotically stable, otherwise the endemic infection equilibrium point of the model is globally asymptotically stable. Based on the clinic data from the HIV drug resistance database of StanfordUniversity, this paper simulates the dynamics of two group patients' anti-HIVinfection therapy. The simulation results show that thetreatments cannot make the two group patients' $R_0$ less than one,which can interpret why the two group patients were still at endemic infection state during the entire trail. | |||
TO cite this article:SUN Qi-Lin,Min Le-Quan,CHEN Xiao. Global Stability of Infection-free State and Endemic Infection State of An Amended HIV Infection Model[OL].[30 January 2013] http://en.paper.edu.cn/en_releasepaper/content/4518830 |
6. Control System Modeling and Simulation of Superconducting Current Limiter with Saturated Iron Core | |||
He Yi,Jiang Tao,Li Changbin,Wu Aiguo,Xin Yin | |||
Information Science and System Science 25 December 2012 | |||
Show/Hide Abstract | Cite this paper︱Full-text: PDF (0 B) | |||
Abstract:This paper presents a basic structure of superconducting current limiter (SFCL) with saturated iron core and compares the advantages and disadvantages of several kinds of SFCL. On this basis, the working principle of SFCL with saturated iron core is analyzed, and a dynamic system mathematical model of this type of SFCL is established. Simulation results show that the SFCL with saturated iron core can limit the short circuit fault current quickly and effectively.In this paper, a control system model with input of DC bias current and ac supply voltage, output of ac impedance of SFCL is presented. Through simulation, it shows that when short circuit fault occurs , then the DC bias current is cut off, the ac impedance of SFCL increases gradually, at las turn into a steady state. | |||
TO cite this article:He Yi,Jiang Tao,Li Changbin, et al. Control System Modeling and Simulation of Superconducting Current Limiter with Saturated Iron Core[OL].[25 December 2012] http://en.paper.edu.cn/en_releasepaper/content/4503355 |
7. Fuzzy Grey GM(1,1) Model of Maintaining Cost for Torpedo | |||
Liang Qingwei,Zhao Minquan,Yang Pu | |||
Information Science and System Science 09 September 2010 | |||
Show/Hide Abstract | Cite this paper︱Full-text: PDF (0 B) | |||
Abstract:Establish the grey model of maintaining cost for torpedo, selecting the data for several years. To solve this problem that historical data at different time have different effects on the model prediction, processed raw data using fuzzy method. At the same time, weaken the randomness of the data by processing of weakening buffer operator. Simulation shows that this method is satisfactory. | |||
TO cite this article:Liang Qingwei,Zhao Minquan,Yang Pu. Fuzzy Grey GM(1,1) Model of Maintaining Cost for Torpedo[OL].[ 9 September 2010] http://en.paper.edu.cn/en_releasepaper/content/4385124 |
8. SDG-Based Fault Isolation for Large-Scale Complex Systems Solved by Rough Set Theory | |||
Fan Yang,Xiao Deyun | |||
Information Science and System Science 09 January 2008 | |||
Show/Hide Abstract | Cite this paper︱Full-text: PDF (0 B) | |||
Abstract:Signed directed graph (SDG) is an important qualitative model that is used to describe large-scale complex systems and the cause-effect relationships among variables. It has been successfully applied in fault diagnosis, hazard assessment and other areas. In the fault isolation problem, the task is to find the fault origin that causes the abnormal phenomenon. However, as the basis of analysis, the inference method based on SDG, is simply a traversal search or a rule-based expert system. Because of the redundant or disordered information, the efficiency of these algorithms is quite low. Rough set theory provides an idea of handling vague information and can be used to data reduction, thus it can be introduced to the fault isolation problem (a kind of decision problems) to optimize the decision rules. The decision algorithm is proposed in this paper, in which the generation and reduction methods of the rules are related to the structure of the SDG model. We combine the algebraic and logical expression ways to achieve the purpose. Moreover, due to the convenience of expressing granularity, the decision algorithm is still applicable when the types of the faults we concerned are changed or reformed. Finally, an example of a 65t/h boiler system is carried out to illustrate and validate the proposed method, and some future trends of this method are also discussed. | |||
TO cite this article:Fan Yang,Xiao Deyun. SDG-Based Fault Isolation for Large-Scale Complex Systems Solved by Rough Set Theory[J]. |
Select/Unselect all | For Selected Papers |
Saved Papers
Please enter a name for this paper to be shown in your personalized Saved Papers list
|
|
Results per page: |
About Sciencepaper Online | Privacy Policy | Terms & Conditions | Contact Us
© 2003-2012 Sciencepaper Online. unless otherwise stated