Chinese︱Feedback︱Save this page

Login︱Register

• Elaborating Academic Views 　　　　 • Exchanging Innovative Ideas
• Protecting Intellectual Properties 　　• Fast Sharing Science Papers

Sponsored by the Center for Science and Technology Development of the Ministry of Education
Supervised by Ministry of Education of the People's Republic of China

Home > Papers > Systems-Engineering-Methodology

There are 20 papers published in subject: > since this site started.

Results per page:

20 Total, 2 Pages | 1 2 Next > Last >>

Select Subject

All (8830)

Agronomy (158)

Animal Husbandry,... (64)

Aquatic Science (16)

Astronomy (36)

Aviation (22)

Basic Medicine (184)

Biology (504)

Chemical Engineering (103)

Chemistry (635)

Civil and Archite... (105)

Clinical Medicine (236)

Computer Science ... (924)

Dynamic and Elect... (121)

Earth Science (119)

Economics (67)

Education (31)

Electrics, Commun... (927)

Energy Science an... (67)

Engineering and T... (15)

Environmental Sci... (140)

Food Science and ... (63)

Forestry (36)

Hydraulic Enginee... (40)

Mechanics (240)

Metallurgical Eng... (32)

Mine Engineering ... (38)

Nuclear Science a... (21)

Pharmacy (98)

Physics (920)

Preventive Medici... (37)

Psychology (20)

Security Science ... (17)

Sports Science (6)

Surveying and Map... (15)

Textile Science a... (16)

Traditional Chine... (56)

Transportation En... (57)

Third-level Subject

Other Subjects of Systems...(0)
System Modeling, Decision...(19)

Rank

Results per page:

20 Total, 2 Pages | 1 2 Next > Last >>

Alert Name:
Alerting to:
Authentication email will be sent to your email address in 24 hours
Frequency:
Email Message Format:	Plain text Graphical(HTML)

Complete the form below and we will recommend the selected titles to your friends on your behalf. * Indicates a required field.
Your name*:
Your email address*:
Recipient's name*:
Recipient's email address*:
(multiple recipient's names and email addresses should be separated with semicolons)
Your comments:	I thought you would find the page(s) useful.

Your name:
Your email address:
Recipient's name:
Recipient's email address:
(multiple recipient's names and email addresses should be separated with semicolons)
Your comments:	I thought you would find this page useful.

Disclaimer: This message was sent to your friend using the "Send it to a friend" facility on the Sciencepaper Online’ WWW site, http://www.paper.edu.cn/en. The Sciencepaper Online is not responsible for the content of this email, and anything said in this email does not necessarily reflect the Sciencepaper Online's views.


	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

Saved Papers

Saved Papers


	3. Formal Modeling and Verification of Complex Interactions in E-Government Applications
	SUN Meng,LI Yi
	Information Science and System Science 14 April 2015
	Show/Hide Abstract \| Cite this paper︱Full-text: PDF (0 B)

	Abstract:With the dramatic transformation of society and the increasing size of government information resources, proper modeling and verification techniques for designing large-scale distributed electronic government (E-Government) applications to make them trustworthy, secure and efficient are playing a key role in the development of such applications. This paper focuses on using the integration of a promising coordination modeling framework Reo and the proof assistant Coq for modeling and verification of complex interactions in E-Government applications. An access control example is investigated to show our approach on modeling, simulating and verifying the dynamic behavior of E-Government applications.
	TO cite this article:SUN Meng,LI Yi. Formal Modeling and Verification of Complex Interactions in E-Government Applications[OL].[14 April 2015] http://en.paper.edu.cn/en_releasepaper/content/4638639


	4. Impact of Relationship Heterogeneity on Opinion Evolution in Social Networks
	LI Pei,FAN Peng-Yi
	Information Science and System Science 14 March 2014
	Show/Hide Abstract \| Cite this paper︱Full-text: PDF (0 B)

	Abstract:Traditional opinion dynamics models usually assume positiverelationships, where opinions of individuals tend to get closer wheninteraction happens. However, these models can not explain whyextreme opinions appear when there are no extreme opinions at thebeginning. In this paper, we believe that individuals shifting awayopinions is due to the negative relationships. We focus onrelationship heterogeneity in social networks, and propose a modelto capture the positive relationships as well as negative ones. Wecharacterize the relationship between two individuals byrelationship factor, and specify the opinion adaptation behaviors fordifferent relationship types. To explore the proposed model, weconsider opinion dynamics in small world networks, and study theimpact of relationship heterogeneity on opinion dynamics by varyingthe fraction of negative relationships. We find that negativerelationships cause extreme opinions, even when the fraction ofnegative relationships is very small, and the largest and secondlargest opinion gaps first increase, and then decrease when thefraction of negative relationships varies from 0 to 1.
	TO cite this article:LI Pei,FAN Peng-Yi. Impact of Relationship Heterogeneity on Opinion Evolution in Social Networks[OL].[14 March 2014] http://en.paper.edu.cn/en_releasepaper/content/4589915


	5. 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


	6. 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


	7. Global stability analysis and optimal taxation strategy for a prey-predatorsystem with prey population refuge
	LIU Chao,ZHANG Yi,ZHANG Qingling ,LI Yuanke
	Information Science and System Science 09 May 2013
	Show/Hide Abstract \| Cite this paper︱Full-text: PDF (0 B)

	Abstract:In this paper, a prey predator system with prey refuge is proposed, where selective harvest effort on predator population is considered and taxation is utilized as a control instrument to protect the predator population from overexploitation. Conditions which influence boundedness of positive solutions of model system are studied. By using differential dynamical system theory, local stability analysis around all equilibria of system are discussed due to variation of prey refuge level and taxation. Furthermore, global stability of system around the positive equilibrium is investigated based on Bendixson criterion. By using Pontryagin's maximum principle, an optimal taxation policy is derived to ensure the sustainable development of related population resource and prosperous commercial harvesting.
	TO cite this article:LIU Chao,ZHANG Yi,ZHANG Qingling , et al. Global stability analysis and optimal taxation strategy for a prey-predatorsystem with prey population refuge[J].


	8. 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


	9. Dynamics Analysis and Simulation of A Modified HIV InfectionModel with A Saturated Infection Rate
	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:This paper studies a modified human immunodeficiency virus (HIV)infection differential equation model with a saturated infectionrate, which has an infection-free equilibrium point andan endemic infection equilibrium point. It is proved that if thebasic infection reproductive number $R_0$ of the model is less thanone, then the infection-free equilibrium point of the model isglobally asymptotically stable; if $R_0$ of the model is more thanone, then the endemic infection equilibrium point of the model isglobally asymptotically stable. Based on the clinic data from the HIVdrug resistance database of Stanford University, this paper uses the proposed modelto simulate the dynamics of two group patients' anti-HIV infectiontreatment. The numerical simulations have shown that the first 4 and8 weeks treatments made the two group patients' $R_0$ both reduced but still slightly more than one. After the week 8,drug resistance appeared which made two group patients' $R_0$increased. The results interpret why patients' CD$4^{+}$ T cellsmean level raised and HIV RNA mean level declined rapidly in thefirst 8 weeks, but contrary in the following weeks.
	TO cite this article:SUN Qi-Lin,MIN Le-Quan,CHEN Xiao. Dynamics Analysis and Simulation of A Modified HIV InfectionModel with A Saturated Infection Rate[OL].[30 January 2013] http://en.paper.edu.cn/en_releasepaper/content/4518070


	10. Dynamics of acute hepatitis B virus infection \ in chimpanzees
	CHEN Xiao,MIN Le-Quan, ZHENG Yu, KUANG Yang, YE Yong-An
	Information Science and System Science 26 January 2013
	Show/Hide Abstract \| Cite this paper︱Full-text: PDF (0 B)

	Abstract:We formulate a minimum virus infection model aiming at explainingwhy two acute Hepatitis B virus (HBV) infected chimpanzees with lowdose HBV DNA inoculation resulted in either prolonged or persistentinfections. This model has four variables: number of uninfectedcells, number of infected cells, number of free virus (HBV DNA),number of cytotoxic T lymphocytes (CTL) cells. The equation includes9 parameters. Two of the parameters related to immune reactions willchange during the course of the HBV infection. A minimizationmaximum relative error square criterion is used to determinenumerically the two immune parameters. We show that if a basic virusreproductive number is $R_0(t)< 1$, then the virus free solution ofthe model is globally attractive. This may provide a simple explanationto the observed distinct infection outcomes for two chimpanzees withthe same inoculated dosage of 10GE of HBV DNA. The numericalsimulation results also suggest that the immune response plays a keyrole in clearing the HBV from all infected hepatocytes.
	TO cite this article:CHEN Xiao,MIN Le-Quan, ZHENG Yu, et al. Dynamics of acute hepatitis B virus infection \ in chimpanzees[OL].[26 January 2013] http://en.paper.edu.cn/en_releasepaper/content/4516607

	Check out RSS, or use RSS reader to subscribe this item