Tikhonov regularization（TR） method has played a very important role in the gravity data and magnetic data process. In this paper, the Tikhonov regularization method with respect to the inversion of gravity data is d...Tikhonov regularization（TR） method has played a very important role in the gravity data and magnetic data process. In this paper, the Tikhonov regularization method with respect to the inversion of gravity data is discussed. and the extrapolated TR method（EXTR） is introduced to improve the fitting error. Furthermore, the effect of the parameters in the EXTR method on the fitting error, number of iterations, and inversion results are discussed in details. The computation results using a synthetic model with the same and different densities indicated that. compared with the TR method, the EXTR method not only achieves the a priori fitting error level set by the interpreter but also increases the fitting precision, although it increases the computation time and number of iterations. And the EXTR inversion results are more compact than the TR inversion results, which are more divergent. The range of the inversion data is closer to the default range of the model parameters, and the model features and default model density distribution agree well.展开更多
OBJECTIVE To study the anti-tumor effect of arsenic trioxide on the HepG2 human hepatocellular carcinoma cell line, and to explore its mechanism of action. METHODS The MTT assay was used to determine the inhibitory ef...OBJECTIVE To study the anti-tumor effect of arsenic trioxide on the HepG2 human hepatocellular carcinoma cell line, and to explore its mechanism of action. METHODS The MTT assay was used to determine the inhibitory effect of As2O3 on HepG2 cells at various As2O3 concentrations. The expression of p-JNK, caspase-3 and PARP was detected by Western blots. RESULTS As2O3 markedly inhibited the growth of the HepG2 cells and induced apoptosis. The results of Western blot analysis showed that the As2O3-induced apoptosis was accompanied by caspase-3 and PARP activation. p-JNK was detected at 10 min following As2O3 treatment, and preceded to peak at 20 min, and decreased by 30 min. The total protein content did not obviously change. The activation of JNK occurred prior to cell apoptosis. SP600125, a JNK inhibitor, suppressed the As2O3-induced activation of caspase-3 and PARP cleavage. CONCLUSION As2O3 inhibits the proliferation of human HepG2 hepatocellular carcinoma cells by inducing apoptosis in vitro. As2O3-induced apoptosis is accessed through the caspase-3 pathway. The JNK signal-transduction pathway and caspase-3 are involved upstream in the As2O3 induced HepG2 apoptotic response.展开更多
This article reports recent developments and advances in the simulation of the CO2-formation fluid displacement behaviour at the pore scale of subsurface porous media. Roughly, there are three effective visualization ...This article reports recent developments and advances in the simulation of the CO2-formation fluid displacement behaviour at the pore scale of subsurface porous media. Roughly, there are three effective visualization approaches to detect and observe the CO2-formation fluid displacement mechanism at the micro-scale, namely, magnetic resonance imaging, X-ray computed tomography and fabricated micromodels, but they are not capable of investigating the dis- placement process at the nano-scale. Though a lab-on-chip approach for the direct visualization of the fluid flow behaviour in nanoscale channels has been developed using an advanced epi-fluorescence microscopy method combined with a nanofluidic chip, it is still a qualitative analysis method. The lattice Boltzmann method （LBM） can simulate the CO2 displacement processes in a two-dimensional or three-dimensional （3D） pore structure, but until now, the CO2 displace- ment mechanisms had not been thoroughly investigated and the 3D pore structure of real rock had not been directly taken into account in the simulation of the CO2 displacement process. The status of research on the applications of CO2 displacement to enhance shale gas recovery is also analyzed in this paper. The coupling of molecular dynamics and LBM in tandem is proposed to simulate the CO2-shale gas displacement process based on the 3D digital model of shale obtained from focused ion beams and scanning electron microscopy.展开更多
Vladimir Markin proposes a certain construction---a generalisation of syllogistic--in which he uses the constant @ with indef＇mite arity. The atomic formulae are of the following sort： S1S2 ...Sm@P1P2...Pn, where re...Vladimir Markin proposes a certain construction---a generalisation of syllogistic--in which he uses the constant @ with indef＇mite arity. The atomic formulae are of the following sort： S1S2 ...Sm@P1P2...Pn, where re＋n〉0. The standard syllogistic functors are here interpreted as follows： SAP=： S@P SeP=： SP@ SIP=： -SP@ SOP=： ~S@P Markin constructs a system of Fundamental Syllogistic （FS） with constant @ in an axiomatic way. Based on Markin＇s idea, we propose two constructions, which are formulations of the system of sequential predication built upon the quantifier-less calculus of names. The first one includes the FS system. The second one is enriched with individual variables and, among other things, allows including sequences of individual names in which one has to do with enumerative functors. The counterpart of Hao Wang＇s algorithm holds in the first system extended with negative terms.展开更多
Stope mining design is a very important and complicated task in daily production design and technical management of an underground mine.Based on workface technology and human-computer interaction technology,this study...Stope mining design is a very important and complicated task in daily production design and technical management of an underground mine.Based on workface technology and human-computer interaction technology,this study introduces a method of 3D parametric design for the irregular structure of stope bottoms,and focuses on solving technical problems in surface modeling of stope bottom structure.Optimization of the minimum span length algorithm(MSLA) and the shortest path search algorithm(SPSA) is conducted to solve the problem of contour-line based instant modeling of stope bottom structures,which makes possible the 3D parametric design for irregular structure of stope bottom.Implementation process and relevant methods of the proposed algorithms are also presented.Feasibility and reliability of the proposed modeling method are testified in a case study.In practice,the proposed 3 D parameterization design method for irregular structure stope bottom proves to be very helpful to precise 3D parametric design.This method is capable of contributing to improved efficiency and precision of stope design,and is worthy of promotion.展开更多
Because of the complexity and variability of the mine underground roadway, roadway is required to be dynamically generated in 3-D display,viewpoint can be trans- formed to achieve the 3-D roaming effect,and can do int...Because of the complexity and variability of the mine underground roadway, roadway is required to be dynamically generated in 3-D display,viewpoint can be trans- formed to achieve the 3-D roaming effect,and can do interactive inquiries and positioning for the roadway.In terms of the requirements above,gave the comparatively detailed elaboration of the solution,using the open graphics library (OpenGL) and relying on VC++ 6.0 combined with Database Programming.Mainly establish the 3D model landscape of the underground roadway using OpenGL based on VC programming environment and MFC programming,elaborated the powerful 3D graphics library,i.e.OpenGL in detail, gave the algorithm which can realize the relative positioning and of arbitrary point and the roaming and so on in the mine roadway,and also solves illumination,turning,and other issues of the roadway model.展开更多
BP( Back Propagation) neural network and PSO( Particle Swarm Optimization) are two main heuristic optimization methods,and are usually used as nonlinear inversion methods in geophysics. The authors applied BP neural n...BP( Back Propagation) neural network and PSO( Particle Swarm Optimization) are two main heuristic optimization methods,and are usually used as nonlinear inversion methods in geophysics. The authors applied BP neural network and BP neural network optimized with PSO into the inversion of 3D density interface respectively,and a comparison was drawn to demonstrate the inversion results. To start with,a synthetic density interface model was created and we used the proceeding inversion methods to test their effectiveness. And then two methods were applied into the inversion of the depth of Moho interface. According to the results,it is clear to find that the application effect of PSO-BP is better than that of BP network. The BP network structures used in both synthetic and field data are consistent in order to obtain preferable inversion results. The applications in synthetic and field tests demonstrate that PSO-BP is a fast and effective method in the inversion of 3D density interface and the optimization effect is evident compared with BP neural network merely,and thus,this method has practical value.展开更多
The study of marine data visualization is of great value. Marine data, due to its large scale, random variation and multiresolution in nature, are hard to be visualized and analyzed. Nowadays, constructing an ocean mo...The study of marine data visualization is of great value. Marine data, due to its large scale, random variation and multiresolution in nature, are hard to be visualized and analyzed. Nowadays, constructing an ocean model and visualizing model results have become some of the most important research topics of ‘Digital Ocean'. In this paper, a spherical ray casting method is developed to improve the traditional ray-casting algorithm and to make efficient use of GPUs. Aiming at the ocean current data, a 3D view-dependent line integral convolution method is used, in which the spatial frequency is adapted according to the distance from a camera. The study is based on a 3D virtual reality and visualization engine, namely the VV-Ocean. Some interactive operations are also provided to highlight the interesting structures and the characteristics of volumetric data. Finally, the marine data gathered in the East China Sea are displayed and analyzed. The results show that the method meets the requirements of real-time and interactive rendering.展开更多
Ecological degradation is a global problem, and ecological restoration technologies have played and will continue to play an important role in its mitigation. However, the lack of systematic research and evaluations o...Ecological degradation is a global problem, and ecological restoration technologies have played and will continue to play an important role in its mitigation. However, the lack of systematic research and evaluations of ecological technologies has thus far affected their effective application in vulnerable ecological regions. This study therefore provides an overview of the main technologies for remediating soil and water erosion, desertification, and rock desertification in China and throughout the world. It addresses key issues and recommends approaches for evaluating ecological restoration technologies. Restoration technology emerged as early as 1800. Over the years such technology has changed from single objective applications to multi-purpose, multi-objective applications employing strategies that take into account ecosystem rehabilitation and integrated ecological and socioeconomic development. Along with this technological evolution, different countries have taken pertinent actions as part of their restoration initiatives. However, key issues remain, including the lack of location-specific restoration technologies and a methodological strategy to assess and prioritize existing technologies. This study proposes a four-level analytical hierarchical framework in conjunction with an indicator system that highlights the establishment and adaptation of associative indicators, while also recommending a three-phase evaluation method（The Mert）, targeting The Mert to qualitative（quick and extensive） and quantitative（detailed） evaluations in order to select the most appropriate restoration technologies available. This study can also be used as a basis for understanding the evaluation and prioritization of restoration technologies, while increasing the awareness of decision makers and the public on the role of technology in restoring degraded ecosystems.展开更多
In this paper, a new Wolfe-type line search and a new Armijo-type line searchare proposed, and some global convergence properties of a three-term conjugate gradient method withthe two line searches are proved.
Lithium metal is considered to be the most promising anode material for the next-generation rechargeable batteries. However, the uniform and dendrite-free deposition of Li metal anode is hard to achieve, hindering its...Lithium metal is considered to be the most promising anode material for the next-generation rechargeable batteries. However, the uniform and dendrite-free deposition of Li metal anode is hard to achieve, hindering its practical applications. Herein, a lightweight, free-standing and nitrogen-doped carbon nanofiber-based 3D structured conductive matrix(NCNF), which is characterized by a robust and interconnected 3D network with high doping level of 9.5 at%, is prepared by electrospinning as the current collector for Li metal anode. Uniform Li nucleation with reduced polarization and dendrite-free Li deposition are achieved because the NCNF with high nitrogen-doping level and high conductivity provide abundant and homogenous metallic Li nucleation and deposition sites. Excellent cycling stability with high coulombic efficiency are realized. The Li plated NCNF was paired with LiFePO4 to assemble the full battery, also showing high cyclic stability.展开更多
Mesh parameterization is one of the fundamental operations in computer graphics(CG) and computeraided design(CAD). In this paper, we propose a novel local/global parameterization approach, ARAP++, for singleand multi-...Mesh parameterization is one of the fundamental operations in computer graphics(CG) and computeraided design(CAD). In this paper, we propose a novel local/global parameterization approach, ARAP++, for singleand multi-boundary triangular meshes. It is an extension of the as-rigid-as-possible(ARAP) approach, which stitches together 1-ring patches instead of individual triangles. To optimize the spring energy, we introduce a linear iterative scheme which employs convex combination weights and a fitting Jacobian matrix corresponding to a prescribed family of transformations. Our algorithm is simple, efficient, and robust. The geometric properties(angle and area)of the original model can also be preserved by appropriately prescribing the singular values of the fitting matrix. To reduce the area and stretch distortions for high-curvature models, a stretch operator is introduced. Numerical results demonstrate that ARAP++ outperforms several state-of-the-art methods in terms of controlling the distortions of angle, area, and stretch. Furthermore, it achieves a better visualization performance for several applications, such as texture mapping and surface remeshing.展开更多
基金supported by the National Scientific and Technological Plan(Nos.2009BAB43B00 and 2009BAB43B01)
文摘Tikhonov regularization（TR） method has played a very important role in the gravity data and magnetic data process. In this paper, the Tikhonov regularization method with respect to the inversion of gravity data is discussed. and the extrapolated TR method（EXTR） is introduced to improve the fitting error. Furthermore, the effect of the parameters in the EXTR method on the fitting error, number of iterations, and inversion results are discussed in details. The computation results using a synthetic model with the same and different densities indicated that. compared with the TR method, the EXTR method not only achieves the a priori fitting error level set by the interpreter but also increases the fitting precision, although it increases the computation time and number of iterations. And the EXTR inversion results are more compact than the TR inversion results, which are more divergent. The range of the inversion data is closer to the default range of the model parameters, and the model features and default model density distribution agree well.
基金supported by a grant from theNational Natural Science Foundation of China(No.30572114).
文摘OBJECTIVE To study the anti-tumor effect of arsenic trioxide on the HepG2 human hepatocellular carcinoma cell line, and to explore its mechanism of action. METHODS The MTT assay was used to determine the inhibitory effect of As2O3 on HepG2 cells at various As2O3 concentrations. The expression of p-JNK, caspase-3 and PARP was detected by Western blots. RESULTS As2O3 markedly inhibited the growth of the HepG2 cells and induced apoptosis. The results of Western blot analysis showed that the As2O3-induced apoptosis was accompanied by caspase-3 and PARP activation. p-JNK was detected at 10 min following As2O3 treatment, and preceded to peak at 20 min, and decreased by 30 min. The total protein content did not obviously change. The activation of JNK occurred prior to cell apoptosis. SP600125, a JNK inhibitor, suppressed the As2O3-induced activation of caspase-3 and PARP cleavage. CONCLUSION As2O3 inhibits the proliferation of human HepG2 hepatocellular carcinoma cells by inducing apoptosis in vitro. As2O3-induced apoptosis is accessed through the caspase-3 pathway. The JNK signal-transduction pathway and caspase-3 are involved upstream in the As2O3 induced HepG2 apoptotic response.
基金The authors gratefully acknowledge the financial support of the National Natural Science Foundation of China （Grant Nos. 51374213 and 51674251）, the State Key Research Development Program of China （Grant No. 2016YFC0600705）, the National Natural Science Fund for Distinguished Young Scholars of China （Grant No. 51125017）, the Fund for Innovative Research and Development Group Program of Jiangsu Province （Grant No. 2014- 27）, the Science Fund for Creative Research Groups of the National Natural Science Foundation of China （Grant No. 51421003）, and the Priority Academic Program Development of the Jiangsu Higher Education Institutions （PAPD 2014）.
文摘This article reports recent developments and advances in the simulation of the CO2-formation fluid displacement behaviour at the pore scale of subsurface porous media. Roughly, there are three effective visualization approaches to detect and observe the CO2-formation fluid displacement mechanism at the micro-scale, namely, magnetic resonance imaging, X-ray computed tomography and fabricated micromodels, but they are not capable of investigating the dis- placement process at the nano-scale. Though a lab-on-chip approach for the direct visualization of the fluid flow behaviour in nanoscale channels has been developed using an advanced epi-fluorescence microscopy method combined with a nanofluidic chip, it is still a qualitative analysis method. The lattice Boltzmann method （LBM） can simulate the CO2 displacement processes in a two-dimensional or three-dimensional （3D） pore structure, but until now, the CO2 displace- ment mechanisms had not been thoroughly investigated and the 3D pore structure of real rock had not been directly taken into account in the simulation of the CO2 displacement process. The status of research on the applications of CO2 displacement to enhance shale gas recovery is also analyzed in this paper. The coupling of molecular dynamics and LBM in tandem is proposed to simulate the CO2-shale gas displacement process based on the 3D digital model of shale obtained from focused ion beams and scanning electron microscopy.
文摘Vladimir Markin proposes a certain construction---a generalisation of syllogistic--in which he uses the constant @ with indef＇mite arity. The atomic formulae are of the following sort： S1S2 ...Sm@P1P2...Pn, where re＋n〉0. The standard syllogistic functors are here interpreted as follows： SAP=： S@P SeP=： SP@ SIP=： -SP@ SOP=： ~S@P Markin constructs a system of Fundamental Syllogistic （FS） with constant @ in an axiomatic way. Based on Markin＇s idea, we propose two constructions, which are formulations of the system of sequential predication built upon the quantifier-less calculus of names. The first one includes the FS system. The second one is enriched with individual variables and, among other things, allows including sequences of individual names in which one has to do with enumerative functors. The counterpart of Hao Wang＇s algorithm holds in the first system extended with negative terms.
基金Supported by the National High Technology Research and Development Programme of China(No.2011AA060407)Yunnan Province Science and Technology Innovation Platform Construction Plans,China(No.2010DH005)
文摘Stope mining design is a very important and complicated task in daily production design and technical management of an underground mine.Based on workface technology and human-computer interaction technology,this study introduces a method of 3D parametric design for the irregular structure of stope bottoms,and focuses on solving technical problems in surface modeling of stope bottom structure.Optimization of the minimum span length algorithm(MSLA) and the shortest path search algorithm(SPSA) is conducted to solve the problem of contour-line based instant modeling of stope bottom structures,which makes possible the 3D parametric design for irregular structure of stope bottom.Implementation process and relevant methods of the proposed algorithms are also presented.Feasibility and reliability of the proposed modeling method are testified in a case study.In practice,the proposed 3 D parameterization design method for irregular structure stope bottom proves to be very helpful to precise 3D parametric design.This method is capable of contributing to improved efficiency and precision of stope design,and is worthy of promotion.
基金the Open Research Fund Program of the Geomatics and Applications Laboratory,Liaoning Technical University(2007010)the Important Laboratory of Liaoning Province Fund(20060370)
文摘Because of the complexity and variability of the mine underground roadway, roadway is required to be dynamically generated in 3-D display,viewpoint can be trans- formed to achieve the 3-D roaming effect,and can do interactive inquiries and positioning for the roadway.In terms of the requirements above,gave the comparatively detailed elaboration of the solution,using the open graphics library (OpenGL) and relying on VC++ 6.0 combined with Database Programming.Mainly establish the 3D model landscape of the underground roadway using OpenGL based on VC programming environment and MFC programming,elaborated the powerful 3D graphics library,i.e.OpenGL in detail, gave the algorithm which can realize the relative positioning and of arbitrary point and the roaming and so on in the mine roadway,and also solves illumination,turning,and other issues of the roadway model.
基金Supported by National High-tech Research&Development Program of China(863 Project)(No.2014AA06A613)
文摘BP( Back Propagation) neural network and PSO( Particle Swarm Optimization) are two main heuristic optimization methods,and are usually used as nonlinear inversion methods in geophysics. The authors applied BP neural network and BP neural network optimized with PSO into the inversion of 3D density interface respectively,and a comparison was drawn to demonstrate the inversion results. To start with,a synthetic density interface model was created and we used the proceeding inversion methods to test their effectiveness. And then two methods were applied into the inversion of the depth of Moho interface. According to the results,it is clear to find that the application effect of PSO-BP is better than that of BP network. The BP network structures used in both synthetic and field data are consistent in order to obtain preferable inversion results. The applications in synthetic and field tests demonstrate that PSO-BP is a fast and effective method in the inversion of 3D density interface and the optimization effect is evident compared with BP neural network merely,and thus,this method has practical value.
基金supported by the Natural Science Foundation of China under Project 41076115the Global Change Research Program of China under project 2012CB955603the Public Science and Technology Research Funds of the Ocean under project 201005019
文摘The study of marine data visualization is of great value. Marine data, due to its large scale, random variation and multiresolution in nature, are hard to be visualized and analyzed. Nowadays, constructing an ocean model and visualizing model results have become some of the most important research topics of ‘Digital Ocean'. In this paper, a spherical ray casting method is developed to improve the traditional ray-casting algorithm and to make efficient use of GPUs. Aiming at the ocean current data, a 3D view-dependent line integral convolution method is used, in which the spatial frequency is adapted according to the distance from a camera. The study is based on a 3D virtual reality and visualization engine, namely the VV-Ocean. Some interactive operations are also provided to highlight the interesting structures and the characteristics of volumetric data. Finally, the marine data gathered in the East China Sea are displayed and analyzed. The results show that the method meets the requirements of real-time and interactive rendering.
基金National Key Research and Development Program of China(2016YFC0503700)
文摘Ecological degradation is a global problem, and ecological restoration technologies have played and will continue to play an important role in its mitigation. However, the lack of systematic research and evaluations of ecological technologies has thus far affected their effective application in vulnerable ecological regions. This study therefore provides an overview of the main technologies for remediating soil and water erosion, desertification, and rock desertification in China and throughout the world. It addresses key issues and recommends approaches for evaluating ecological restoration technologies. Restoration technology emerged as early as 1800. Over the years such technology has changed from single objective applications to multi-purpose, multi-objective applications employing strategies that take into account ecosystem rehabilitation and integrated ecological and socioeconomic development. Along with this technological evolution, different countries have taken pertinent actions as part of their restoration initiatives. However, key issues remain, including the lack of location-specific restoration technologies and a methodological strategy to assess and prioritize existing technologies. This study proposes a four-level analytical hierarchical framework in conjunction with an indicator system that highlights the establishment and adaptation of associative indicators, while also recommending a three-phase evaluation method（The Mert）, targeting The Mert to qualitative（quick and extensive） and quantitative（detailed） evaluations in order to select the most appropriate restoration technologies available. This study can also be used as a basis for understanding the evaluation and prioritization of restoration technologies, while increasing the awareness of decision makers and the public on the role of technology in restoring degraded ecosystems.
基金This research is supported by the National Natural Science Foundation of China(10171055).
文摘In this paper, a new Wolfe-type line search and a new Armijo-type line searchare proposed, and some global convergence properties of a three-term conjugate gradient method withthe two line searches are proved.
基金the financial support from the Guangdong Natural Science Funds for Distinguished Young Scholar (2017B030306006) the National Natural Science Foundation of China (51772164, U1601206 and U1710256)+1 种基金 the National Key Basic Research Program of China (2014CB932400)Shenzhen Technical Plan Project (JCYJ20150529164918734 and JCYJ20170412171359175)
文摘Lithium metal is considered to be the most promising anode material for the next-generation rechargeable batteries. However, the uniform and dendrite-free deposition of Li metal anode is hard to achieve, hindering its practical applications. Herein, a lightweight, free-standing and nitrogen-doped carbon nanofiber-based 3D structured conductive matrix(NCNF), which is characterized by a robust and interconnected 3D network with high doping level of 9.5 at%, is prepared by electrospinning as the current collector for Li metal anode. Uniform Li nucleation with reduced polarization and dendrite-free Li deposition are achieved because the NCNF with high nitrogen-doping level and high conductivity provide abundant and homogenous metallic Li nucleation and deposition sites. Excellent cycling stability with high coulombic efficiency are realized. The Li plated NCNF was paired with LiFePO4 to assemble the full battery, also showing high cyclic stability.
基金supported by the National Natural Science Foundation of China(Nos.61432003,61572105,11171052,and 61328206)
文摘Mesh parameterization is one of the fundamental operations in computer graphics(CG) and computeraided design(CAD). In this paper, we propose a novel local/global parameterization approach, ARAP++, for singleand multi-boundary triangular meshes. It is an extension of the as-rigid-as-possible(ARAP) approach, which stitches together 1-ring patches instead of individual triangles. To optimize the spring energy, we introduce a linear iterative scheme which employs convex combination weights and a fitting Jacobian matrix corresponding to a prescribed family of transformations. Our algorithm is simple, efficient, and robust. The geometric properties(angle and area)of the original model can also be preserved by appropriately prescribing the singular values of the fitting matrix. To reduce the area and stretch distortions for high-curvature models, a stretch operator is introduced. Numerical results demonstrate that ARAP++ outperforms several state-of-the-art methods in terms of controlling the distortions of angle, area, and stretch. Furthermore, it achieves a better visualization performance for several applications, such as texture mapping and surface remeshing.
