oalib

Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99

Submit

Any time

2020 ( 5 )

2019 ( 102 )

2018 ( 663 )

2017 ( 640 )

Custom range...

Search Results: 1 - 10 of 48501 matches for " Bo Guo "
All listed articles are free for downloading (OA Articles)
Page 1 /48501
Display every page Item
Test Selection on Extended Finite State Machines with Provable Guarantees  [PDF]
Bo Guo, Mahadevan Subramaniam
Journal of Software Engineering and Applications (JSEA) , 2013, DOI: 10.4236/jsea.2013.69060
Abstract:

Building high confidence regression test suites to validate new system versions is a challenging problem. A modelbased approach to build a regression test suite from a given test suite is described. The generated test suite includes every test that will traverse a change performed to produce the new version, and consists of only such tests to reduce the testing costs. Finite state machines extended with typed variables (EFSMs) are used to model systems and system changes are mapped to EFSM transition changes adding/deleting/replacing EFSM transitions and states. Tests are a sequence of input and expected output messages with concrete parameter values over the supported data types. An invariant is formulated to characterize tests whose runtime behavior can be accurately predicted by analyzing their descriptions along with the model. Incremental procedures to efficiently evaluate the invariant and to select tests for regression are developed. Overlaps among the test descriptions are exploited to extend the approach to simultaneously select multiple tests to reduce the test selection costs. Effectiveness of the approach is demonstrated by applying it to several protocols, Web services, and model programs extracted from a popular testing benchmark. Our experimental results show that the proposed approach is economical for regression test selection in all these examples. For all these examples, the proposed approach is able to identify all tests exercising changes more efficiently than brute-force symbolic evaluation.

Mechanism and Algorithm for Indirect Schema Mapping Composition
Bo Wang,Bo Guo
International Journal of Image, Graphics and Signal Processing , 2009,
Abstract: There are a large number of indirect schema mappings between peers in the network. To improve the efficiency of data exchange and queries, indirect mappings are needed to be composed. Direct mappings can be derived directly by the constraints defined between schemas, but not for indirect mappings’ composition. Defined the combination operations of schema elements in indirect mappings, and gave the expression of indirect mappings. Analyzed the composition of indirect mappings, and proposed a strategy, named schema element back, to solve the problem of indirect mapping composition, and gave the indirect mapping composition generation algorithm based on such strategy. Experiments showed that indirect mapping composition can improve the efficiency of data exchange, and compared with other non-full mapping composition generation algorithms, and indirect mapping composition generated by our algorithm based on schema element back strategy can completely eliminate the infection of media schema with no reduction of the composition efficiency.
Effect of Activation of the Ca2+-Permeable Acid-Sensing Ion Channel 1a on Acid-Induced Vascular Endothelial Cell Injury of Henoch-Sch?nlein Purpura Children  [PDF]
Qidi Peng, Liping Yuan, Yan Bo, Xiaoyan Guo, Hu Bo
Open Journal of Pediatrics (OJPed) , 2016, DOI: 10.4236/ojped.2016.64044
Abstract: Acidosis in local environment plays a critical role in cell injury. One key mediator of acidosis-induced cell injury is the acid-sensing ion channels (ASICs), particularly ASIC1a. Herein, we investigated the role of ASIC1a in acid-induced vascular endothelial cell injury of Henoch-Schonlein purpura (HSP) children. Acid-induced ASIC1a, Calpain and Calcineurin expression in vascular endothelial cells pretreated with IgA1 isolated from HSP were detected by real time quantitative polymerase chain reaction and western blot methods, respectively. Cell cytotoxicity was measured by interleukin-8 and nitric oxide production with ELISA. The results showed acid-induced ASIC1a, Calpain and Calcineurin expression in cells increased, especially at PH6.5. The cytotoxicity of vascular endothelial cells was increased by extracellular acidosis. Moreover non-specific or specific blockers of ASIC1a, Amiloride and PcTX-1 could remarkably decrease these parameters. These findings show that increased [Ca2+]i, mediated via ASIC1a, might contribute to acid-induced vascular endothelial cell injury of HSP.
Study on the Economic Growth of Patent Output in the High-tech Industry
Yingying Guo,Bo Wang
Journal of Management and Sustainability , 2012, DOI: 10.5539/jms.v3n1p103
Abstract: This paper makes the empirical research for the relationship between patent output and economic growth in the high-tech industry by panel data model. On the whole, the result shows that there is a significant long-run equilibrium relationship between patent output and economic growth. Moreover they are the Granger reason mutually, with the interactive mechanism. Patent output contributes to economic growth with a significant lagged effect, displaying the function of patent output is a dynamic accumulation process. Subsequently, through constructing the individual fixed effect regression model and analyzing it, this paper finds that there is the conspicuous difference among the spontaneous effects of economic growth among high-tech industry. Finally, this paper proposes that the science and technology input should be arranged reasonably according to the various development characteristic of each industry, instead of one-sidedly pursuing the equalization in industry distribution of the science and technology input.
Research on the Influencing Factors of Job Stress of University Teachers ---- Take Changchun University of Science and Technology as an Example
Bo MENG,Liying GUO
Canadian Social Science , 2012, DOI: 10.3968/j.css.1923669720120802.2865
Abstract: The paper selects 159 teachers of Changchun University of Science and Technology (CUST) by stratifi ed sampling method to perform questionnaire survey, determines five factors that influence the job stress of university teachers by principal component analysis. It also analyzes the influence of academic title, gender, age, education background, length of service and discipline difference on the job stress so as to guide universities to deal with teachers’ job stress. Key words: University teacher; Job stress; Job performance Résumé Le présent texte sélectionne 159 professeurs de l’Universitéde de la science et de la technologie de Changchun (CUST) par la méthode d’échantillonnage stratifié pour effectuer enquête par questionnaire, détermine cinq facteurs qui infl uencent le stress au travail des professeurs d’université par l’analyse en composantes principales. Il analyse également l’influence du titre de formation, le sexe, l’age, l’éducation de base, la durée de service et de la différence de discipline sur le stress au travail afi n de guider les universités à faire face au stress d’emploi des enseignants. Mots clés: Professeur d’université; Le stress au travail; Le rendement au travail
A Lexicographic Approach to Postdisaster Relief Logistics Planning Considering Fill Rates and Costs under Uncertainty
Yajie Liu,Bo Guo
Mathematical Problems in Engineering , 2014, DOI: 10.1155/2014/939853
Abstract: Predicting the occurrences of earthquakes is difficult, but because they often bring huge catastrophes, it is necessary to launch relief logistics campaigns soon after they occur. This paper proposes a stochastic optimization model for post-disaster relief logistics to guide the strategic planning with respect to the locations of temporary facilities, the mobilization levels of relief supplies, and the deployment of transportation assets with uncertainty on demands. In addition, delivery plans for relief supplies and evacuation plans for critical population have been developed for each scenario. Two objectives are featured in the proposed model: maximizing the expected minimal fill rate of affected areas, where the mismatching distribution among correlated relief demands is penalized, and minimizing the expected total cost. An approximate lexicographic approach is here used to transform the bi-objective stochastic programming model into a sequence of single objective stochastic programming models, and scenario-decomposition-based heuristic algorithms are furthermore developed to solve these transformed models. The feasibility of the proposed bi-objective stochastic model has been demonstrated empirically, and the effectiveness of the developed solution algorithms has also been evaluated and compared to that of commercial mixed-integer optimization software. 1. Introduction Earthquakes are a special type of natural disaster that can result in huge catastrophes. The Great Sichuan Earthquake, which occurred on May 12, 2008, in Wenchuan County, Sichuan Province, China, was one such case. It had a recorded magnitude of 8.0 and imposed tremendous suffering on the local residents, causing over 69,000 deaths, 18,000 missing persons cases, 374,000 injuries, and huge loss of property. Although thousands of networked seismograph stations have been installed around the world and although these stations use powerful computers, it is still difficult to predict when and where an earthquake will strike. Therefore, an effective and necessary approach coping with an earthquake disaster is to plan and implement a disaster relief campaign that would reduce the damage right after the earthquake disaster takes place. Emergency logistics plays a vital role in disaster relief campaigns. However, the planning and implementation of relief logistics are challenging, especially when help is needed in mountainous areas, where the transportation infrastructure, such as roads, bridges and railway lines, can suffer severe damage after large earthquakes. The following three factors
Estimating heritability of complex traits from genome-wide association studies using IBS-based Haseman–Elston regression
Guo-Bo Chen
Frontiers in Genetics , 2014, DOI: 10.3389/fgene.2014.00107
Abstract: Exploring heritability of complex traits is a central focus of statistical genetics. Among various previously proposed methods to estimate heritability, variance component methods are advantageous when estimating heritability using markers. Due to the high-dimensional nature of data obtained from genome-wide association studies (GWAS) in which genetic architecture is often unknown, the most appropriate heritability estimator model is often unclear. The Haseman–Elston (HE) regression is a variance component method that was initially only proposed for linkage studies. However, this study presents a theoretical basis for a modified HE that models linkage disequilibrium for a quantitative trait, and consequently can be used for GWAS. After replacing identical by descent (IBD) scores with identity by state (IBS) scores, we applied the IBS-based HE regression to single-marker association studies (scenario I) and estimated the variance component using multiple markers (scenario II). In scenario II, we discuss the circumstances in which the HE regression and the mixed linear model are equivalent; the disparity between these two methods is observed when a covariance component exists for the additive variance. When we extended the IBS-based HE regression to case-control studies in a subsequent simulation study, we found that it provided a nearly unbiased estimate of heritability, more precise than that estimated via the mixed linear model. Thus, for the case-control scenario, the HE regression is preferable. GEnetic Analysis Repository (GEAR; http://sourceforge.net/p/gbchen/wiki/GEAR/) software implemented the HE regression method and is freely available.
The electron-ion streaming instabilities driven by drift velocities of the order of electron thermal velocity in a nonmagnetized plasma
Jun Guo,Bo Li
Physics , 2013, DOI: 10.1007/s10509-013-1494-2
Abstract: We examine the electron-ion streaming instabilities driven by drift velocities of the order of the electron thermal velocity in a nonmagnetized plasma by one-dimensional electrostatic particle-in-cell code which adopts an ion-to-electron mass ratio of 1600. An initial state is set up where the ion bulk speed is zero while the electrons drift relative to ions, and where electrons are much hotter. We examine in detail four runs where drift velocity is systematically varied from lower than to larger than the electron thermal velocity. In all runs the Langmuir waves with Doppler-shifted frequencies dominate early on when streaming instabilities are too weak to discern. And then intense ion-acoustic waves or Buneman instabilities appear, which tend to be accompanied by localized electron and ion beams. Ion-acoustic modes and Buneman modes co-exist in the system when the initial drift velocity is just over the electron thermal speed. Beam modes are excited when the localized beams with large enough velocities appear. In the developed stage of instabilities, the direction in which density depressions propagate is always opposite to that of the localized ion beams. When the initial drift velocity is close to the electron thermal speed, categorizing the relevant instabilities is not easy, and one needs to examine in detail the wave dispersion diagrams at various stages of the evolution of the system.
Porosity Formation and Evolution of the Deeply Buried Lower Triassic Feixianguan Formation, Puguang Gas Field, NE Sichuan Basin, China  [PDF]
Xuefeng Zhang, Tonglou Guo, Bo Liu, Xiaoyue Fu, Shuanglin Wu
Open Journal of Geology (OJG) , 2013, DOI: 10.4236/ojg.2013.34035
Abstract:

The deeply buried shoal dolomite reservoirs of the Lower Triassic Feixianguan Formation, giant Puguang Gas Field, NE Sichuan Basin, are exceptionally porous. The influences of diageneses on pore evolution are studied. Through petrologic investigation, diagenetic phases are divided into four stages, i.e., near-surface, pre-oil window, oil window, and gas window. The Adobe Photoshop system is used to quantify the rock texture components, porosity constitutions and the influences of diageneses on reservoir porosity. Porosity evolution curves are quantitatively recovered. The Feixianguan reservoir porosities are mainly created by early meteoric dissolution, dolomitization, and organic acids dissolution. Dissolution during deep burial is insignificant. Pores are formed in near-surface and pre-oil window stages and effectively preserved till present. This result may be of great significance to the further exploration of deeply buried carbonate reservoirs not only in NE Sichuan Basin, but also around the world.

Automatic Modeling of Fault Tree for NuIEEE Transactions on Power Electronics,Clear Power Safety I&C Configuration  [PDF]
Shan Leng, Bo Zhang, Wei Sun, Zhiwu Guo, Yichen Hao
Energy and Power Engineering (EPE) , 2013, DOI: 10.4236/epe.2013.54B052
Abstract: The automatic modeling of fault tree for nuclear power safety I&C configuration is designed to meet the requirements of reducing the workload and improving the traceability during the nuclear power safety I&C system reliability assessment work. To complete the fault tree automatic modeling, the Visio Automation software technology is used to analyze the topology of the nuclear power safety I&C system hardware device and software function. The good result in practical implementations shows that the nuclear power safety I&C system fault tree modeling work is successfully simplified.
Page 1 /48501
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.