Guizhou Academy of science

Guiyang, China

Guizhou Academy of science

Guiyang, China
SEARCH FILTERS
Time filter
Source Type

Wang Y.,Guizhou University | Zhang Y.,University of Western Sydney | Zhou Y.,University of Western Sydney | Zhang M.,Guizhou Academy of science
13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 | Year: 2012

In this paper, we propose a semantic forgetting for arbitrary logic programs (or propositional theories) under answer set semantics, called HT-forgetting. The HT-forgetting preserves strong equivalence in the sense that strongly equivalent logic programs will remain strongly equivalent after forgetting the same set of atoms. The result of an HT-forgetting is always expressible by a logic program, and in particular, the result of an HT-forgetting in a Horn program is expressible in a Horn program; and a representation theorem shows that HT-forgetting can be precisely characterized by Zhang-Zhou's four forgetting postulates under the logic of here-and-there. We also reveal underlying connections between HT-forgetting and classical forgetting, and provide complexity results for decision problems. Copyright © 2012, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.


Tao Q.,South China University of Technology | Luo J.,South China University of Technology | Zhou J.,South China University of Technology | Zhou S.,South China University of Technology | And 3 more authors.
Bioresource Technology | Year: 2014

Performance of a two-chamber microbial fuel cell (MFC) was evaluated with the influence of cathodic dissolved oxygen (DO). The maximum voltage, coulombic efficiency and maximum power density outputs of MFC decreased from 521 to 303mV, 52.48% to 23.09% and 530 to 178mW/m2 with cathodic DO declining. Furthermore, a great deal of total phosphorus (TP) was removed owing to chemical precipitation (about 80%) and microbial absorption (around 4-17%). COD was first removed in anode chamber (>70%) then in cathode chamber (<5%). Most of nitrogen was removed when the cathodic DO was at low levels. Chemical precipitates formed in cathode chamber were verified as phosphate, carbonate and hydroxyl compound with the aid of scanning electron microscope capable of energy dispersive spectroscopy (SEM-EDS), X-ray diffractometer (XRD) and Fourier transform infrared spectroscopy (FTIR). © 2014 Elsevier Ltd.


Wang Y.,Guizhou University | Wang K.,Griffith University | Zhang M.,Guizhou Academy of science
IJCAI International Joint Conference on Artificial Intelligence | Year: 2013

A new semantic forgetting for answer set programs (ASP), called SM-forgetting, is proposed in the paper. It distinguishes itself from the others in that it preserves not only skeptical and credulous consequences on unforgotten variables, but also strong equivalence - forgetting same variables in strongly equivalent logic programs has strongly equivalent results. The forgetting presents a positive answer to Gabbay, Pearce and Valverde's open question - if ASP has uniform interpolation property. We also investigate some properties, algorithm and computational complexities for the forgetting. It shows that computing the forgetting result is generally intractable even for Horn logic programs.


Patent
Guizhou Aluminums Factory, Guizhou University and Guizhou Academy Of Science | Date: 2011-03-23

A high strength casting aluminum alloy material comprises (in weight %) Cu 2.0-6.0%, Mn 0.05-1.0%, Ti 0.01-0.5%,Cr0.01-0.2%, Cd 0.01-0.4%, Zr 0.01-0.25%, B 0.005-0.04%, rare earth 0.05-0.3%, and balance aluminum and trace impurities. The alloy has reduced cost.


Chen H.-M.,Guizhou Academy of science | Zhang F.,Hebei University | Zhu M.-S.,Hebei University
Zootaxa | Year: 2011

Four new troglophilous Pholcus spiders from Guizhou Province, China, are diagnosed, described and illustrated under the names: Pholcus anlong sp. nov., P. ceheng sp. nov., P. xingren sp. nov. and P.xingyi sp. nov. This is the first report on cave-dwelling Pholcus species from Guizhou Province, China. Copyright © 2011 - Magnolia Press.


Zhang P.,Guizhou Academy of science | Zhang P.,French Natural History Museum | Huang W.,CAS Institute of Vertebrate Paleontology and Paleoanthropology | Wang W.,Guangxi Natural Historical Museum
Quaternary International | Year: 2010

Fengshudao (Guangxi province, southern China), adjacent to the northern part of the Bose basin, has yielded a lithic assemblage rich in handaxes. Through tektite dating, the site is estimated at 800. ka. The study provides elements regarding the technical characteristics of this material, giving evidence that an Acheulian population (practicing the mode II technology) settled in Fengshudao. This lithic assemblage clearly prefigures parts of the Levallois operating procedure. © 2009 Elsevier Ltd and INQUA.


Guan D.,Saga University | Gao W.,University of Kitakyushu | Su W.,Chongqing Normal University | Su W.,Guizhou Academy of Science | And 2 more authors.
Ecological Indicators | Year: 2011

At present, environmental issues associated with rapid economic development are becoming critical concerns that arouse government's and people's particular attention. A large amount of influencing factors and especially their complicated interactions have always thrown confused insights into assessing the dynamic evolvement and sustainable development of urban economy-resource- environment (ERE) system and programming the developing strategies. A combination of system dynamics (SD) and geographic information system (GIS) is expected to explicitly understand the synergic interaction and feedback among a variety of influencing factors in time and space, since SD model can extend the spatial analysis functions of GIS to realize both dynamic simulation and trend prediction of an ERE system development. According to connotation and framework of sustainable development, this study proposes a dynamic combination method of SD-GIS to model and evaluate the urban development in Chongqing city of China suffering from depletion of resource and degradation of environment. To compare different policy inclinations with regard to potential ERE effects, typical scenarios (current, resource, technology and environment scenarios) are designed by adjusting the parameters in the model and changing the specification of some variables. Integrated assessment results indicate that the current ERE system of Chongqing is not sustainable; environment scenario is more effective to sustainable development of urban ERE system in a long run. Under the considerations of development features and regional differences, as well as regular discipline on urbanization, a coordinated combination of environmental, resource and technology scenarios is anticipated to realize sustainable development of urban ERE system. © 2011 Elsevier Ltd.


Wang Y.,Affiliated Hospital of Guiyang Medical College | Cheng M.,Affiliated Hospital of Guiyang Medical College | Zhang B.,Affiliated Hospital of Guiyang Medical College | Nie F.,Guizhou Academy of science | Jiang H.,Affiliated Hospital of Guiyang Medical College
PLoS ONE | Year: 2013

Aim: To investigate the effect of blueberry juice intake on rat liver fibrosis and its influence on hepatic antioxidant defense. Methods: Rabbiteye blueberry was used to prepare fresh juice to feed rats by daily gastric gavage. Dan-shao-hua-xian capsule (DSHX) was used as a positive control for liver fibrosis protection. Liver fibrosis was induced in male Sprague-Dawley rats by subcutaneous injection of CCl4 and feeding a high-lipid/low-protein diet for 8 weeks. Hepatic fibrosis was evaluated by Masson staining. The expression of α-smooth muscle actin (α-SMA) and collagen III (Col III) were determined by immunohistochemical techniques. The activities of superoxide dismutase (SOD) and malondialdehyde (MDA) in liver homogenates were determined. Metallothionein (MT) expression was detected by real-time RT-PCR and immunohistochemical techniques. Results: Blueberry juice consumption significantly attenuates CCl4-induced rat hepatic fibrosis, which was associated with elevated expression of metallothionein (MT), increased SOD activity, reduced oxidative stress, and decreased levels of α-SMA and Col III in the liver. Conclusion: Our study suggests that dietary supplementation of blueberry juice can augment antioxidative capability of the liver presumably via stimulating MT expression and SOD activity, which in turn promotes HSC inactivation and thus decreases extracellular matrix collagen accumulation in the liver, and thereby alleviating hepatic fibrosis. © 2013 Wang et al.


Tao Q.,South China University of Technology | Zhou S.,South China University of Technology | Zhou S.,Guizhou Academy of science
Applied Microbiology and Biotechnology | Year: 2014

The effect of a magnetic field (MF) on electricity production and wastewater treatment in two-chamber microbial fuel cells (MFCs) has been investigated. Electricity production capacity could be improved by the application of a low-intensity static MF. When a MF of 50 mT was applied to MFCs, the maximum voltage, total phosphorus (TP) removal efficiency, and chemical oxygen demand (COD) removal efficiency increased from 523 ± 2 to 553 ± 2 mV, ∼93 to ∼96 %, and ∼80 to >90 %, respectively, while the start-up time and coulombic efficiency decreased from 16 to 10 days and ∼50 to ∼43 %, respectively. The MF effects were immediate, reversible, and not long lasting, and negative effects on electricity generation and COD removal seemed to occur after the MF was removed. The start-up and voltage output were less affected by the MF direction. Nitrogen compounds in magnetic MFCs were nitrified more thoroughly; furthermore, a higher proportion of electrochemically inactive microorganisms were found in magnetic systems. TP was effectively removed by the co-effects of microbe absorption and chemical precipitation. Chemical precipitates were analyzed by a scanning electron microscope capable of energy-dispersive spectroscopy (SEM-EDS) to be a mixture of phosphate, carbonate, and hydroxyl compounds. © 2014, Springer-Verlag Berlin Heidelberg.


Guan D.,Chongqing Jiaotong University | Li H.,Saga University | Inohae T.,Saga University | Su W.,Chongqing Normal University | And 3 more authors.
Ecological Modelling | Year: 2011

Spatially land use models are indispensable for sustainable land use planning. This study demonstrates a combined Markov-Cellular Automata model to analyze temporal change and spatial distribution of land use stressed by natural and socioeconomic factors in Saga, Japan. Firstly, area change and spatial distribution of land use are calculated using GIS technology, and then the transition among different land use types is analyzed to obtain the transformation matrices during a period of 1976-2006. Meanwhile, an integration evaluation procedure with natural and socioeconomic data is used to generate the transition potential maps. Secondly, using the transition potential maps and transition matrices, a Markov-Cellular Automata model is established to simulate spatial distribution of land use in 2006. Finally, we use this Markov-Cellular Automata model to forecast the future land use changes during the period of 2015-2042. As a consequence, area change simulation predicts a continuing downward trend in agriculture land and forestland areas, as well as an upward trend in built-up areas; spatial distribution simulation indicates that built-up land will expand toward suburban regions, and land use of urban center is at the decline stage. Hence, if the current trends keep constant without holistic sustainable development measures, severe land use decline will ensue. The study is anticipated to help local authorities better understand and address a complex land use system, and develop the improved land use management strategies that can better balance urban expansion and ecological conservation. © 2011 Elsevier B.V.

Loading Guizhou Academy of science collaborators
Loading Guizhou Academy of science collaborators