Entity

Time filter

Source Type

Tianhe, China

Jiang T.,South China Agricultural University | Jiang T.,China CEPREI Laboratory | Li K.,South China Agricultural University | Liu H.,Nanjing Forestry University | Yang L.,Nanjing Forestry University
European Journal of Wood and Wood Products | Year: 2016

Dalbergia cochinchinensis Pierre hardwood is widely accepted by consumers as one of the most desirable materials in making furniture and handicrafts for its properties of enriched aroma and sense of touch. The unique characteristics of this wood are attributed to its organic compounds in gum canal and parenchyma cells. However, many valuable organic compounds are not properly protected and retained during the conventional kiln drying. In order to investigate the organic compounds in D. cochinchinensis Pierre and find the favorable drying method which reserves organic compounds, the wood extract was analyzed by gas chromatography-mass spectrometer (GC–MS) at first. Then the samples were dried to absolute dry state by conventional drying (CD), vacuum drying (VD) and vacuum freeze drying (VFD) respectively, to obtain extract and calculate the yield. Lastly, these extracts from absolute dried wood were also analyzed and compared with each other. Results illustrated that there were some components with obvious medical efficacy existing in D. cochinchinensis Pierre, and VFD outperformed the other two methods in maintaining organic compounds in D. cochinchinensis Pierre. © 2016 Springer-Verlag Berlin Heidelberg Source


Tang X.,Hefei University of Technology | Fang Z.,China CEPREI Laboratory | Cheng F.,China CEPREI Laboratory
Advances in Information Sciences and Service Sciences | Year: 2012

With the increasing globalization, there are many sources of uncertainty across the entire service supply chain. Measuring the value of information sharing for service supply chain leads to increased information flow, reduced uncertainty, which has become a critical success factor for general contractors in improving service level. We study the service supply chain consisting of one service vendor (SV) and one service integrator (SI) and develop information sharing coordination between the SV and SI as well as performance according to different types of information transferring scenario. To illustrate the benefits of partnerships with information sharing, we introduced the three levels of information sharing. According to different situation of information sharing, the contribution of this article is the information sharing-based partnership can improve the overall performance of a service supply chain. The findings reinforce the importance of coordination to help contractors make decision on service activities. Finally, future research direction is pointed out. Source


Su M.,China CEPREI Laboratory | Su L.H.,China CEPREI Laboratory | Hu H.J.,China CEPREI Laboratory
Applied Mechanics and Materials | Year: 2014

In this paper, To the energy efficiency of power adapter as the research target, we analyzed the demand for automated testing, establish safety regulations automated test system based on LabVIEW. We will use open, modular design and flexible hardware framework, increase the hardware configuration according to customer product testing requirements, and has a good price and versatility. The test process will be automated, the test results will be displayed in real time, and realize the test data storage, analysis and print. By establishing automates of the entire testing process, greatly saving time and reducing test engineers labor costs, and improve the testing laboratory automation and testing reliability. © (2014) Trans Tech Publications, Switzerland. Source


Peng Z.,China CEPREI Laboratory | Peng Z.,Beihang University | Lu Y.,University of Glasgow | Miller A.,University of Glasgow | And 2 more authors.
Quality and Reliability Engineering International | Year: 2016

Navigation satellites are a core component of navigation satellite-based systems such as Global Positioning System, Global Navigation Satellite System and Galileo, which provide location and timing information for a variety of uses. Such satellites are designed for operating on orbit to perform tasks and have lifetimes of 10 years or more. Reliability, availability and maintainability analysis of systems has been indispensable in the design phase of satellites in order to achieve minimum failures or to increase mean time between failures and thus to plan maintenance strategies, optimise reliability and maximise availability. In this paper, we present formal models of both a single satellite and a navigation satellite constellation and logical specification of their reliability, availability and maintainability properties, respectively. The probabilistic model checker PRISM has been used to perform automated analysis of these quantitative properties. © 2014 John Wiley & Sons, Ltd. Source


Lu Y.,University of Glasgow | Peng Z.,China CEPREI Laboratory | Peng Z.,Beihang University | Miller A.A.,University of Glasgow | And 2 more authors.
Reliability Engineering and System Safety | Year: 2015

Abstract This paper highlights a promising application of the analysis technique of probabilistic verification. We prove that it is able and suitable to analyse GNSS based positioning in aviation sectors for aircraft guidance. In particular, the focus is a widely used formal method called probabilistic model checking, and its generalisation to the analysis of quantitative aspects of a specific civil flight. We construct a formal model of the GNSS based positioning system for this application in the probabilistic π-calculus, a process algebra which supports modelling of concurrency, uncertainty, and mobility. After that, we encode our model in language of the PRISM symbolic probabilistic model checker. We then formalise and analyse the logical properties that relate to the dependability of the underlying system to check the system reliability and availability. We demonstrate how model specification and verification techniques can be successfully applied to the reliability and availability analysis of our case study. © 2015 Elsevier Ltd. Source

Discover hidden collaborations