Select Subject

All (8497)

Agronomy (157)

Animal Husbandry,... (64)

Aquatic Science (16)

Astronomy (36)

Aviation (21)

Basic Medicine (182)

Biology (498)

Chemical Engineering (102)

Chemistry (631)

Civil and Archite... (105)

Clinical Medicine (230)

Computer Science ... (847)

Dynamic and Elect... (120)

Earth Science (118)

Economics (65)

Education (30)

Electrics, Commun... (900)

Energy Science an... (66)

Engineering and T... (14)

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 (914)

Preventive Medici... (36)

Psychology (20)

Security Science ... (17)

Sports Science (6)

Surveying and Map... (15)

Textile Science a... (16)

Traditional Chine... (55)

Transportation En... (52)

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 (4K 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 (4K 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. 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 (4K 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 (4K 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.

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.

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