Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99


Any time

2019 ( 168 )

2018 ( 1231 )

2017 ( 1087 )

2016 ( 1109 )

Custom range...

Search Results: 1 - 10 of 80265 matches for " Lina Chen "
All listed articles are free for downloading (OA Articles)
Page 1 /80265
Display every page Item
Automatic Test Cases Generation for Statechart Specifications from Semantics to Algorithm
Lina Chen
Journal of Computers , 2011, DOI: 10.4304/jcp.6.4.769-775
Abstract: This paper studies automatic test cases generation for Statechart specifications. Applying Tretmans’ approach to generate test cases from labeled transition systems, we provide a solid mathematical basis for conformance testing and automatic test case generation for Statechart specifications. In order to make the test cases generation process more simple and efficient, we propose observable semantics as a suitable semantics model for describing observable behavior subset of a Statechart specification, which is different from complete semantics used for Statechart specification verification and model checking. Then we describe how to use this semantics model for not only generation reactive systems but also critical reactive systems. We also propose a formal conformance relation based on presented semantics model and test hypothesis, and provide an algorithm which, for a Statechart specification, generates a test suite. For Statechart specifications with graph semantics the algorithm can generate complete test suite, and for Statechart specifications with tree semantics cost-efficient sound test suite can be generated.
A Remark on Regular Points of Ricci Limit Spaces
Lina Chen
Mathematics , 2015,
Abstract: Let $Y$ be a Gromov-Hausdorff limit of complete Riemannian n-manifolds with Ricci curvature bounded from below. A point in $Y$ is called $k$-regular, if its tangent is unique and is isometric to an $k$-dimensional Euclidean space. By \cite{B5}, there is $k>0$ such that the set of all $k$-regular point $\mathcal{R}_k$ has a full renormalized measure. An open problem is if $\mathcal{R}_l=\emptyset$ for all $l
The Research on the Effect of Consumer Internal Psychological Preference to the Retail Industry Inventory  [PDF]
Lina Fang, Yu Hou, Yangchen Chen
Journal of Service Science and Management (JSSM) , 2016, DOI: 10.4236/jssm.2016.95044
Supply chain inventory plays an increasingly important role in rising prosperity and flexible retail industry. The retail industry’s own characteristics determine the importance of the inventory. The inventory management has played an important role in reducing the cost of supply chain and the whole supply chain coordination and stability. This paper takes the consumer internal psychological preference as the starting point. Data are obtained through market research on consumer internal psychological preference and consumer sensitivity of the inventory. Based on the internal psychological preferences of consumers, the correlation among product quality, product price, and consumer behavior of the three potential variables is analyzed. This paper constructs the structural equation model of consumer behavior and inventory sensitivity, and puts forward the main issues and improvement measures to the retail industry inventory.
The Research and Design of the Application Domain Building Based on GridGIS  [PDF]
Zhong XIE, Lina MA, Liang WU, Zhanlong CHEN
Journal of Geographic Information System (JGIS) , 2010, DOI: 10.4236/jgis.2010.21007
Abstract: According to the characteristic of Grid geographical information system (GridGIS), data distribution, heterogeneity and diversity in the grid environment, combining the high demand for shared resources and the purpose to realize unified and efficient management and sharing of distributed and mass resources, this paper proposed a grid GIS application building program on a number of peer-to-peer global Managers designs. This paper discussed the building process of the application domain, the selection criteria of application domain manager, the database design of application domain, and every service function module design of application domain. The integration of the application domain builds the three-tier management system of the node, the application domain, and the global management. The spatial query tests of distributed environment have shown that, the application domain is established to manage and share the distributed resources efficiently, and enhance the business processing functions in the grid environment.
Fabrication of Solvent-Resistant Nanofiltration Membrane via Interfacial Polymerization Based on Cellulose Acetate Membrane  [PDF]
Chen Su, Lina Chi, Yingjia Qian, Siwei Sun, Zheng Jiang
Journal of Materials Science and Chemical Engineering (MSCE) , 2018, DOI: 10.4236/msce.2018.612001
Abstract: Although a great progress has been achieved for the development of NF membranes and technologies and SRNF do show a great potential in the separation of organic components, an NF membrane with good separation performance and good resistance to organic solvents are urgently needed for a more complicated situation in practical. In this study, a kind of solvent-resistant nanofiltration (SRNF) membrane was fabricated via interfacial polymerization on a laboratory optimized cellulose acetate (CA) basic membrane. The effects of interfacial polymerization parameters, such as water phase concentration, immersed time in the water phase and in the organic phase, on the pure water flux and rejection rate of C-2R yellow dyestuffs were investigated. A highest dye rejection rate of 72.9% could be obtained by water phase solution containing 1% m-xylylenediamine (mXDA) and organic phase solution with 0.2% trimesoyl chloride (TMC) under immersed time in water phase of 6 minutes and in organic phase of 40 seconds. This membrane demonstrated better resistance to methyl alcohol compared to commercial membrane. This study may offer an avenue to develop a solvent-resistant nanofiltration membrane.
Single Peak Solitons for the Boussinesq-Like Equation
Lina Zhang,Shumin Li,Aiyong Chen
International Journal of Partial Differential Equations , 2013, DOI: 10.1155/2013/732809
Abstract: The nonlinear dispersive Boussinesq-like equation , which exhibits single peak solitons, is investigated. Peakons, cuspons and smooth soliton solutions are obtained by setting the equation under inhomogeneous boundary condition. Asymptotic behavior and numerical simulations are provided for these three types of single peak soliton solutions of the equation. 1. Introduction The interest inspired by the well-known Camassa-Holm (CH) equation and its singular peakon solutions [1] prompted search for other integrable equations with nonsmooth solitons. An integrable CH-type equation with cubic nonlinearity was derived independently by Fokas [2], by Fuchssteiner [3], by Olver and Rosenau [4], and by Qiao [5]. It is shown in [5–7] that (1) admits Lax pair and bi-Hamiltonian structures and possesses the M/W-shape soliton solution and a new type of cusped soliton solution. Another peakon equation with cubic nonlinearity has been recently discovered by Novikov [8]. In the work by Hone and Wang [9], it is shown that Novikov's equation admits peakon solutions like the CH equation. Also, it has a Lax pair in matrix form and a bi-Hamiltonian structure. The Boussinesq-like equation with nonlinear dispersion is given by where , and , . This equation is the generalized form of the Boussinesq equation, where, in particular, the case leads to the Boussinesq equation. Equation (2), for , is the major equation for compactons (solitons with compact support). Abundant compactons [10–13] are developed by the Adominan decomposition method. For , exact solutions with solitary patterns of Boussinesq-like equations are obtained in the works by Shang [14] and Zhang et al. [15] by extending sinh-cosh method and by using the integral approach, respectively. A natural question is that whether the Boussinesq-like equation (2) has nonsmooth solitons such as peakons or cuspons. The present paper focuses on the following Boussinesq-like equation: We give all possible single peak soliton solutions of (3) through setting the traveling wave solution under the inhomogeneous boundary condition ( is a nonzero constant) as . New cusped soliton solutions, and smooth soliton solutions are obtained. Asymptotic analysis and numerical simulations are provided for peaked solitons, cusped solitons and smooth solitons of the equation. The method used here is based on the phase portrait analysis technique which is similar to that in [16–18]. 2. Asymptotic Behavior of Solutions In this section, we first introduce some notations. Let denote the set of all times continuously differential functions on the
Long-Term Continuous Light Exposure Affects Body Weight and Blood Glucose Associated with Inflammation in Female Rats  [PDF]
Xuezhi Kang, Lina Jia, Xu Zhang, Yaming Li, Yi Chen, Xueyong Shen, Yaochi Wu
Journal of Biosciences and Medicines (JBM) , 2016, DOI: 10.4236/jbm.2016.49002
Abstract: Studies have indicated that night lights interfere with the circadian rhythm in the human body and threaten human health. Our previous studies indicated that continuous light exposure severely damages the reproductive endocrine system of female rats resembles polycystic ovary syndrome in women. In this study, we used the continuous measurement method to observe changes in the basal physiological indicators of female rats in an abnormal light exposure environment. Our study results indicated that in female rats: 1) the body temperature first continuously and gradually increased followed by a gradually decrease; 2) the increase in body weight slowed down at the late stage of the experimental process; 3) the random blood glucose level increased, and the fasting serum insulin level decreased; and 4) the serum C-reactive protein level increased. Our study investigated for the first time the correlation between the duration of continuous light exposure in female rats and the continuously measured basal physiological indicators and preliminarily discussed the effect of continuous light exposure on female basal metabolism and the possible inflammation mechanism. We propose that long-term continuous exposure to night lights in females severely damages their immune and metabolic systems.
The Financial Impact of Joining the Chain and Improving Hotel Rating: A Case Study in Russia  [PDF]
Lina Krengel
Open Journal of Business and Management (OJBM) , 2016, DOI: 10.4236/ojbm.2016.44066
Abstract: The objectives of this study were to consider the development of hotel chains in Russia and, further, to analyze the financial advantages or disadvantages of joining as part of the largest hotel chain’s membership, as well as to analyze the financial activity of the company before and after joining the chain. The theoretical foundation of this research was based on overall theories of economic development. This research was conducted within a case study framework. The research instruments used were interviews of hotel employees for thematic analysis, and chronological analysis of the hotel’s financial performance during two periods: 2010-11 and 2012-13. Findings of the research indicate that joining a well-known and large hotel chain as well as an improved hotel ranking has a significant financial impact on the hotel studied within this case study. It certainly improved the image of the hotel in the market, increased its reputation, and made it more recognizable.
Study on the Peer Effect of Unrelated M&As Decisions  [PDF]
Lina Yu
Modern Economy (ME) , 2017, DOI: 10.4236/me.2017.812096
Abstract: This paper takes 7464 pieces of M&As events for A-share listed companies in China from 2010 to 2015 as samples and investigates the industry peer effect of unrelated M&As decisions. The research shows that there exists the peer effect when companies make unrelated M&As decisions in the same industry. This paper also makes further examinations and finds that the M&As experience and scale of companies enhance the peer effect. Moreover, companies with more industry competitions have more obvious industry peer effect. This paper enriches the M&As decisions theory and has guiding significance in practice.
Research on the Innovation of Reading Promotion Service Model of University Library Based on Readers’ Characteristics—Taking the Library of Heilongjiang Bayi Agricultural University (HLAU) as an Example  [PDF]
Lina Li
Journal of Service Science and Management (JSSM) , 2018, DOI: 10.4236/jssm.2018.114026
Abstract: Based on the practical experience of reading promotion in the library of HLAU in recent years, this paper analyzes the reasons for the bottleneck of reading promotion in university libraries, expounds the problems that need to be solved urgently in the promotion of reading from the theoretical basis, student resources, financial support and leadership attention and proposes future development trends and directions, thus providing an effective way of reading promotion for the libraries of agricultural colleges and universities.
Page 1 /80265
Display every page Item

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