In order to optimize ontology reasoning, a novel boundary-based modular extraction method is introduced for ontologies in EL^++ description logics. The proposed module extraction method is capable of identifying rel...In order to optimize ontology reasoning, a novel boundary-based modular extraction method is introduced for ontologies in EL^++ description logics. The proposed module extraction method is capable of identifying relevant axioms in an ontology based on the notion of boundaries of symbols, with respect to a given reasoning task. Exactness of the method is ensured by discovering all axioms in the original ontology that may be directly or indirectly relevant to boundaries of symbols used in the reasoning task. Compactness of the method is ensured by boundary partition and intersection operation performed in the process of module extraction. The theoretical foundation and a practical algorithm for computing the proposed axiom-based modules are presented. The proposed algorithm is implemented for the description logic EL^++. Experimental results on realworld ontologies show that, based on the proposed modularization method, the performance of ontology reasoning can be significantly improved.展开更多
The shortage and inefficiency of public cultural services are common problems in China, especially in the western regions. Baiyun District has made use- ful exploration to the construction of rural public cultural ser...The shortage and inefficiency of public cultural services are common problems in China, especially in the western regions. Baiyun District has made use- ful exploration to the construction of rural public cultural service system, network system, resource system, management system and service system.展开更多
To deduce a new color difference formula based on CIE 1997 Color Appearance Model(CIECAM97s), a color space J a 1 b 1 is first constructed with color appearance descriptors J,a,b in CIECAM97s. The new f...To deduce a new color difference formula based on CIE 1997 Color Appearance Model(CIECAM97s), a color space J a 1 b 1 is first constructed with color appearance descriptors J,a,b in CIECAM97s. The new formula is then deduced in the space and named CDF CIECAM97s. The factors for lightness, chroma and hue correction in the formula are derived by linear regression according to BFD? CP data sets. It is found by statistical analysis that CDF CIECAM97s is in closer accordance with the visual assessments when compared with CMC(1∶1), CIE94 and CIE L *a *b * color difference formulae. Based on color appearance model, the new color difference formula can be used to predict color difference perception in a varity of different viewing conditions.展开更多
The urban comprehensive park is the main body of the urban environment construction, and the plant landscape is the most important landscape element of the comprehensive park. It is helpful for the landscape design of...The urban comprehensive park is the main body of the urban environment construction, and the plant landscape is the most important landscape element of the comprehensive park. It is helpful for the landscape design of the comprehensive park to improve the environmental quality and the sustainable development of the city. Taking the "Nanjiang Park" in Xiaoshan District of Hangzhou as the research object, the landscape design of plants was explored and analyzed. The results showed that there were significant differences in the application forms of plant land- scapes in different functional zones in comprehensive parks. The specific forms of the garden elements had different needs of plant landscape construction. According to the results of case studies, it found that comprehensive parks could improve the functions, create the aesthetic sense, enhance the atmosphere and enhance the taste through plant landscape design. In addition, corresponding suggestions were put forward according to the current situation with the aim to provide references for the future plant landscape design related with garden greens.展开更多
AIM: To develop a new formulation with hydroxy propyl methyl cellulose and Shellac coating for extended and selective delivery of butyrate in the ileo-caecal region and colon. METHODS: One-gram sodium butyrate coate...AIM: To develop a new formulation with hydroxy propyl methyl cellulose and Shellac coating for extended and selective delivery of butyrate in the ileo-caecal region and colon. METHODS: One-gram sodium butyrate coated tablets containing ^13C-butyrate were orally administered to 12 healbhy subjects and 12 Crohn's disease patients and the rate of ^13C-butyrate absorption was evaluated by t3CO2 breath test analysis for eight hours. Tauroursodeoxycholic acid (500 rag) was co-administered as a biomarker of oro-ileal transit time to determine also the site of release and absorption of butyrate by the time of its serum maximum concentration. RESULTS: The coated formulation delayed the ^13C-butyrate release by 2-3 h with respect to the uncoated tablets. Sodium butyrate was delivered in the intestine of all subjects and a more variable transit time was found in Crohn's disease patients than in healthy subjects. The variability of the peak ^13CO2 in the kinetic release of butyrate was explained by the inter-subject variability in transit time. However, the coating chosen ensured an efficient release of the active compound even in patients with a short transit time. CONCLUSION: Simultaneous evaluation of breath ^13CO2 and tauroursodeoxycholic acid concentrationtime curves has shown that the new oral formulation consistently releases sodium butyrate in the ileo-cecal region and colon both in healthy subjects and Crohn's disease patients with variable intestinal transit time. This formulation may be of therapeutic value in inflammatory bowel disease patients due to the appropriate release of the active compound.展开更多
Nonlinear modeling of a flexible beam with large deformation was investigated. Absolute nodal cooridnate formulation is employed to describe the motion, and Lagrange equations of motion of a flexible beam are derived ...Nonlinear modeling of a flexible beam with large deformation was investigated. Absolute nodal cooridnate formulation is employed to describe the motion, and Lagrange equations of motion of a flexible beam are derived based on the geometric nonlinear theory. Different from the previous nonlinear formulation with Euler-Bernoulli assumption, the shear strain and transverse normal strain are taken into account. Computational example of a flexible pendulum with a tip mass is given to show the effects of the shear strain and transverse normal strain. The constant total energy verifies the correctness of the present formulation.展开更多
The RMC technology developed by RIPP has been applied in a 1.5 Mt/a medium pressure hydrocracking unit at Shanghai Petrochemical Company. The unit was successfully put on stream in September 2002. Calibration of the p...The RMC technology developed by RIPP has been applied in a 1.5 Mt/a medium pressure hydrocracking unit at Shanghai Petrochemical Company. The unit was successfully put on stream in September 2002. Calibration of the performance of the commercial unit has shown that the RMC technology has higher hydrogenation activity and selectivity, and high quality product can be obtained under lower reaction temperature. The heavy naphtha with less than 0.5 ppm of sulfur and 58.5 m% potential aromatic content is a good feedstock for catalytic reforming unit. The diesel with less than 0.5 ppm of sulfur, 6.6 m% aromatics and cetane rating of 56 is a high-grade diesel fuel. The hydrocracked tail oil containing more than 14 m% hydrogen and mere 1.7m% aromatics could be used as a good feedstock for steam cracking process to produce ethylene.展开更多
Axiomatic design (AD) and theory of inventive problem solving (TRIZ) are widely used in conceptual design. Both of them have limitations, however. We presented an integrated model of these two methods to increase the ...Axiomatic design (AD) and theory of inventive problem solving (TRIZ) are widely used in conceptual design. Both of them have limitations, however. We presented an integrated model of these two methods to increase the efficiency and quality of the problem solving process for conceptual design. AD is used for systematically defining and structuring a problem into a hierarchy. Sometimes, the design matrix is coupled in AD which indicates the functional requirements are coupled. TRIZ separation principles can be used to separate non-independent design parameters, which provide innovative solutions at each hierarchical level. We applied the integrated model to the heating and drying equipment of bitumen reproduction device. The result verifies that the integrated model can work very well in conceptual design.展开更多
The process of urban building reviewing is a collaborative work by a group of urban planning staffs and land managers who are working with different departments of a organization. There are three ingredients for impro...The process of urban building reviewing is a collaborative work by a group of urban planning staffs and land managers who are working with different departments of a organization. There are three ingredients for improving the work efficiency, i.e., agile communication and interactive mechanisms, good information, effective processing and visualizing tools. In order to build a computer supported collaborative work (CSCW) system in Urban Planning and Land Administration Bureau in Changzhou Municapality, GIS was integrated with office automation (OA). The workflow and organizational structure had been re-engineered to meet the requirement of application of the new technology. Federated databases were constructed by assembling disparate sources of heterogeneous spatial and attribute data. Easy access to the data by contents was developed for promoting information sharing within the organization. Specific desktop spatial data handling tools were provided for delineating land lots or building layouts on large-scale digital maps. Office automation functions, including applications registering, reasonableness checking, opinions giving and exchanging, were developed and they permit printing and documents filing. The work efficiency in the organization has been improved by introducing the computer-based collaborative building reviewing system.展开更多
This paper presents a voxel-based region growing method for automatic road surface extraction from mobile laser scanning point clouds in an expressway environment.The proposed method has three major steps:constructing...This paper presents a voxel-based region growing method for automatic road surface extraction from mobile laser scanning point clouds in an expressway environment.The proposed method has three major steps:constructing a voxel model;extracting the road surface points by employing the voxel-based segmentation algorithm;refining the road boundary using the curb-based segmentation algorithm.To evaluate the accuracy of the proposed method,the two-point cloud datasets of two typical test sites in an expressway environment consisting of flat and bumpy surfaces with a high slope were used.The proposed algorithm extracted the road surface successfully with high accuracy.There was an average recall of 99.5%,the precision was 96.3%,and the F1 score was 97.9%.From the extracted road surface,a framework for the estimation of road roughness was proposed.Good agreement was achieved when comparing the results of the road roughness map with the visual image,indicating the feasibility and effectiveness of the proposed framework.展开更多
This article refers to the application of DOCO olefin-reducing catalyst developed by RIPP and manufactured by the Catalyst Factory of Changling Refining and Chemical Company in the 1.4 Mt/a RFCCU at Daqing Petrochemic...This article refers to the application of DOCO olefin-reducing catalyst developed by RIPP and manufactured by the Catalyst Factory of Changling Refining and Chemical Company in the 1.4 Mt/a RFCCU at Daqing Petrochemical Company. Results of operation over two months had revealed that this catalyst had good olefin-reducing ability and heavy oil converting ability adapted to paraffinic feedstock. The gasoline olefin yield had been reduced to 36.1 v% from 54.2 v% with gasoline RON rating decreased by 1.4 units. The induction period of gasoline had significantly increased to 952 mm, while the coke yield was increased by 0.05 percentage point with light oil yield dropping by only 0.02 percentage point. The FCC product distribution is favorable.展开更多
The FCC naphtha selective hydrodesulfurization technology(RSDS-II)has been tested with different feedstocks in pilot scale.The results show that RSDS-II technology is viable in terms of its adaptability to different f...The FCC naphtha selective hydrodesulfurization technology(RSDS-II)has been tested with different feedstocks in pilot scale.The results show that RSDS-II technology is viable in terms of its adaptability to different feedstocks.To produce gasoline with a sulfur content of less than 50μg/g by the RSDS-II technology,the gasoline RON loss is less than 1.8,0.9and 0.2 units,respectively,upon processing the conventional high-sulfur and high-olefin FCC naphtha,the high-sulfur MIP naphtha,and the medium-sulfur or low-sulfur MIP naphtha.Upon using the naphtha produced from pre-hydrotreated FCC feedstock as the RSDS-II feedstock to manufacture gasoline with a sulfur content of lower than 10μg/g,the RON loss does not exceed 1.0 unit.The RSDS-II technology has been commercialized successfully at many refineries.The result of operating commercial RSDS-II unit at the Shanghai Petrochemical Company has revealed that upon processing a feedstock containing 38.7 v% —43.3 v% of olefins and 250—470 mg/g of sulfur,the sulfur content in the treated gasoline ranges from 33μg/g to 46μg/g and the RON loss is equal to only 0.3—0.6 units.Till now this RSDS-II unit has been operating smoothly over 30 months.Thanks to its high HDS activity and good selectivity,the RSDS-II technology can meet the refinery’s needs for adequate upgrading of gasoline.展开更多
We investigate the evolution of cooperation with evolutionary public goods games based on finite populations, where four pure strategies: cooperators, defectors, punishers and loners who are unwilling to participate ...We investigate the evolution of cooperation with evolutionary public goods games based on finite populations, where four pure strategies: cooperators, defectors, punishers and loners who are unwilling to participate are considered. By adopting approximate best response dynamics, we show that the magnitude of rationality not only quantitatively explains the experiment results in [Nature (London) 425 (2003) 390], but also it will heavily influence the evolution of cooperation. Compared with previous results of infinite populations, which result in two equilibriums, we show that there merely exists a special equilibrium cooperation. In addition, we characterize that loner's and the relevant high value of bounded rationality will sustain payoff plays an active role in the maintenance of cooperation, which will only be warranted for the low and moderate values of loner's payoff. It thus indicates the effects of rationality and loner's payoff will influence the cooperation. Finally, we highlight the important result that the introduction of voluntary participation and punishment will facilitate cooperation greatly.展开更多
The catalytic cracking of a FCC gasoline fraction (IBP--75℃) provided by the refinery No. 2 of Fushun Petrochemical Company was carried out in a continuous fixed fluidized bed reaction apparatus in the laboratory, ...The catalytic cracking of a FCC gasoline fraction (IBP--75℃) provided by the refinery No. 2 of Fushun Petrochemical Company was carried out in a continuous fixed fluidized bed reaction apparatus in the laboratory, using the modified HZSM-5 as the catalyst. The effects of the reaction temperature and loading of lanthanum on the modified HZSM-5 catalyst on the FCC product distribution were investigated. The results showed that the yield of propylene was as high as 39.28% and the yield of aromatics reached 23.57% when the loading of La in the HZSM-5 catalyst was about 8%, when the reaction was carried under atmospheric pressure and at a reaction temperature of 500~550℃and a spatial velocity of 4.5 h^-1. The yield of aromatics dropped by 6.29% during catalytic cracking of gasoline in the presence of the zeolitic catalyst modified with 8% La.展开更多
Recently,corrections to the standard Einstein Hilbert action were proposed to explain the current cosmicacceleration in stead of introducing dark energy.In the Palatini formulation of those modified gravity models,the...Recently,corrections to the standard Einstein Hilbert action were proposed to explain the current cosmicacceleration in stead of introducing dark energy.In the Palatini formulation of those modified gravity models,thereis an important observation due to Arkani Hamed:matter loops will give rise to a correction to the modified gravityaction proportional to the Ricci scalar of the metric.In the presence of such a term,we show that the current formsof modified gravity models in Palatini formulation,specifically,the 1/R gravity and in R gravity,will have phantoms.Then we study the possible instabilities due to the presence of phantom fields.We show that the strong instability inthe metric formulation of 1/R gravity indicated by Dolgov and Kawasaki will not appear and the decay timescales forthe phantom fields may be long enough for the theories to make sense as effective field theory.On the other hand,if wechange the sign of the modification terms to eliminate the phantoms,some other inconsistencies will arise for the variousversions of the modified gravity models.Finally,we comment on the universal property of the Palatini formulation ofthe matter loops corrected modified gravity models and its implications.展开更多
Endoscopic submucosal dissection(ESD) is a highly refined technique compared to conventional endoscopic mucosal resection.It enables complete resection of early gastric cancer(EGC) which has no possibility of lymph no...Endoscopic submucosal dissection(ESD) is a highly refined technique compared to conventional endoscopic mucosal resection.It enables complete resection of early gastric cancer(EGC) which has no possibility of lymph node metastasis.Indication for ESD of EGC generally entails early gastric cancer confined to the mucosa with well differentiated histology,though there are clinically suitable expanded criteria.As ESD requires specific skill and expertise,endoscopists need to be familiarized with basic methods and the use of special devices.The essence of the technique is to dissect the submucosal layer with direct vision and maintain thecutting plane above the underlying proper muscle layer.Although there are some differences in the detailed technical aspect,the cardinal method of ESD is now well established and standardized.Furthermore,research and development of new ESD devices that render more efficient,safe ESD are still in progress to improve the overall result of ESD on early gastric cancer.展开更多
The ehi calculus is a model of mobile processes. It has evolved from the pi-calculus with motivations from simplification aml communication-as-cut-eliminatinn. This paper studies the ehi calculus in the framework inco...The ehi calculus is a model of mobile processes. It has evolved from the pi-calculus with motivations from simplification aml communication-as-cut-eliminatinn. This paper studies the ehi calculus in the framework incorporating asymmetric communication. The major feature of the calculus is the identification of two actions: x/x and τ. The investigalion on the barbed bisimilarity shows how the property affects the observational theory. Based on the definition of the barbed bisimilarity, the simulation properties of the barbed bisimilarity are studied. It shows that the algebraic properties of the barbed bisimiilarity have changed greatly compared with the chi calculus.Although the definition of the barbed bisimilarity is very simple, the properly of closeness under contexts makes it difficuh to understand the barbed bisimilarity directly. Therefore an open style definition of the barbed bisimilarity is given, which is a context free description of barbed bisimilarity. Its definition is complex, but it is a well-behaved relation for it coincides with the barbed bisimilarity. It also helps to build an axiomatization system for the bathed congruence. Besides the axioms for the strong barbed bisimilarity, the paper proposes a new tau law and four new update laws for the barbed congruence. Both the operational and algebraic properties of the enriched calculus improve the understanding of the bisimulation behaviors of the model.展开更多
Two types of equilibrium and non-equilibrium stage models are generally used to simulate the mass transfer of packed distillation column. Using non-equilibrium model requires the calculation of mass transfer coefficie...Two types of equilibrium and non-equilibrium stage models are generally used to simulate the mass transfer of packed distillation column. Using non-equilibrium model requires the calculation of mass transfer coefficients, thus, usually equilibrium-based methods are preferred to be used for simulations of distillation columns. In this paper, packed column distillation of production of Mono Ethylene Glycol in FARSA SHIMI Company (Assaluyeh-Iran)'s Ethylene Glycol portion has been simulated through using the equilibrium model and solving the related equations. The simulation has been carried out in the MATLAB environment. The column also has been simulated in the Aspen Hysys and Aspen Plus ver. 2006.5 environments. Then, the output has been compared with software results, designing and operating data of the underlying columns which demonstrate good consistency with the model. Having the model validated, the effect of some operating parameters has been analyzed through the model.展开更多
In view of the fact that safety production supervision of coal mines in China features low efficacy, this paper applies principles of cybernetics to simulate the dynamic process of safety supervision, and proposes tha...In view of the fact that safety production supervision of coal mines in China features low efficacy, this paper applies principles of cybernetics to simulate the dynamic process of safety supervision, and proposes that institutional variables be controlled to support intermediate goals, which in turn contribute to the ultimate safety production objective. Rather than focusing all attention on safety issues of working faces, supervising departments of coalmines are advised to pay much more attention to institutional factors that may impact people’s attitude and behavior, which are responsible for most coalmine accidents. It is believed that such a shift of attention can effectively reduce coalmining production accidents and greatly enhance supervision efficacy.展开更多
基金The PhD Programs Foundation of Ministry of Education of China(No20096102120037)
文摘In order to optimize ontology reasoning, a novel boundary-based modular extraction method is introduced for ontologies in EL^++ description logics. The proposed module extraction method is capable of identifying relevant axioms in an ontology based on the notion of boundaries of symbols, with respect to a given reasoning task. Exactness of the method is ensured by discovering all axioms in the original ontology that may be directly or indirectly relevant to boundaries of symbols used in the reasoning task. Compactness of the method is ensured by boundary partition and intersection operation performed in the process of module extraction. The theoretical foundation and a practical algorithm for computing the proposed axiom-based modules are presented. The proposed algorithm is implemented for the description logic EL^++. Experimental results on realworld ontologies show that, based on the proposed modularization method, the performance of ontology reasoning can be significantly improved.
文摘The shortage and inefficiency of public cultural services are common problems in China, especially in the western regions. Baiyun District has made use- ful exploration to the construction of rural public cultural service system, network system, resource system, management system and service system.
文摘To deduce a new color difference formula based on CIE 1997 Color Appearance Model(CIECAM97s), a color space J a 1 b 1 is first constructed with color appearance descriptors J,a,b in CIECAM97s. The new formula is then deduced in the space and named CDF CIECAM97s. The factors for lightness, chroma and hue correction in the formula are derived by linear regression according to BFD? CP data sets. It is found by statistical analysis that CDF CIECAM97s is in closer accordance with the visual assessments when compared with CMC(1∶1), CIE94 and CIE L *a *b * color difference formulae. Based on color appearance model, the new color difference formula can be used to predict color difference perception in a varity of different viewing conditions.
文摘The urban comprehensive park is the main body of the urban environment construction, and the plant landscape is the most important landscape element of the comprehensive park. It is helpful for the landscape design of the comprehensive park to improve the environmental quality and the sustainable development of the city. Taking the "Nanjiang Park" in Xiaoshan District of Hangzhou as the research object, the landscape design of plants was explored and analyzed. The results showed that there were significant differences in the application forms of plant land- scapes in different functional zones in comprehensive parks. The specific forms of the garden elements had different needs of plant landscape construction. According to the results of case studies, it found that comprehensive parks could improve the functions, create the aesthetic sense, enhance the atmosphere and enhance the taste through plant landscape design. In addition, corresponding suggestions were put forward according to the current situation with the aim to provide references for the future plant landscape design related with garden greens.
文摘AIM: To develop a new formulation with hydroxy propyl methyl cellulose and Shellac coating for extended and selective delivery of butyrate in the ileo-caecal region and colon. METHODS: One-gram sodium butyrate coated tablets containing ^13C-butyrate were orally administered to 12 healbhy subjects and 12 Crohn's disease patients and the rate of ^13C-butyrate absorption was evaluated by t3CO2 breath test analysis for eight hours. Tauroursodeoxycholic acid (500 rag) was co-administered as a biomarker of oro-ileal transit time to determine also the site of release and absorption of butyrate by the time of its serum maximum concentration. RESULTS: The coated formulation delayed the ^13C-butyrate release by 2-3 h with respect to the uncoated tablets. Sodium butyrate was delivered in the intestine of all subjects and a more variable transit time was found in Crohn's disease patients than in healthy subjects. The variability of the peak ^13CO2 in the kinetic release of butyrate was explained by the inter-subject variability in transit time. However, the coating chosen ensured an efficient release of the active compound even in patients with a short transit time. CONCLUSION: Simultaneous evaluation of breath ^13CO2 and tauroursodeoxycholic acid concentrationtime curves has shown that the new oral formulation consistently releases sodium butyrate in the ileo-cecal region and colon both in healthy subjects and Crohn's disease patients with variable intestinal transit time. This formulation may be of therapeutic value in inflammatory bowel disease patients due to the appropriate release of the active compound.
基金National Natural Science Foundation ofChina (No.10472066,10372057)
文摘Nonlinear modeling of a flexible beam with large deformation was investigated. Absolute nodal cooridnate formulation is employed to describe the motion, and Lagrange equations of motion of a flexible beam are derived based on the geometric nonlinear theory. Different from the previous nonlinear formulation with Euler-Bernoulli assumption, the shear strain and transverse normal strain are taken into account. Computational example of a flexible pendulum with a tip mass is given to show the effects of the shear strain and transverse normal strain. The constant total energy verifies the correctness of the present formulation.
文摘The RMC technology developed by RIPP has been applied in a 1.5 Mt/a medium pressure hydrocracking unit at Shanghai Petrochemical Company. The unit was successfully put on stream in September 2002. Calibration of the performance of the commercial unit has shown that the RMC technology has higher hydrogenation activity and selectivity, and high quality product can be obtained under lower reaction temperature. The heavy naphtha with less than 0.5 ppm of sulfur and 58.5 m% potential aromatic content is a good feedstock for catalytic reforming unit. The diesel with less than 0.5 ppm of sulfur, 6.6 m% aromatics and cetane rating of 56 is a high-grade diesel fuel. The hydrocracked tail oil containing more than 14 m% hydrogen and mere 1.7m% aromatics could be used as a good feedstock for steam cracking process to produce ethylene.
基金Funded by the Natural Science Foundation of China (No. 50575083)
文摘Axiomatic design (AD) and theory of inventive problem solving (TRIZ) are widely used in conceptual design. Both of them have limitations, however. We presented an integrated model of these two methods to increase the efficiency and quality of the problem solving process for conceptual design. AD is used for systematically defining and structuring a problem into a hierarchy. Sometimes, the design matrix is coupled in AD which indicates the functional requirements are coupled. TRIZ separation principles can be used to separate non-independent design parameters, which provide innovative solutions at each hierarchical level. We applied the integrated model to the heating and drying equipment of bitumen reproduction device. The result verifies that the integrated model can work very well in conceptual design.
基金Project supported by the National Natural Science Foundation of China(No.49671061)
文摘The process of urban building reviewing is a collaborative work by a group of urban planning staffs and land managers who are working with different departments of a organization. There are three ingredients for improving the work efficiency, i.e., agile communication and interactive mechanisms, good information, effective processing and visualizing tools. In order to build a computer supported collaborative work (CSCW) system in Urban Planning and Land Administration Bureau in Changzhou Municapality, GIS was integrated with office automation (OA). The workflow and organizational structure had been re-engineered to meet the requirement of application of the new technology. Federated databases were constructed by assembling disparate sources of heterogeneous spatial and attribute data. Easy access to the data by contents was developed for promoting information sharing within the organization. Specific desktop spatial data handling tools were provided for delineating land lots or building layouts on large-scale digital maps. Office automation functions, including applications registering, reasonableness checking, opinions giving and exchanging, were developed and they permit printing and documents filing. The work efficiency in the organization has been improved by introducing the computer-based collaborative building reviewing system.
基金Project(SIIT-AUN/SEED-Net-G-S1 Y16/018)supported by the Doctoral Asean University Network ProgramProject supported by the Metropolitan Expressway Co.,Ltd.,Japan+2 种基金Project supported by Elysium Co.Ltd.Project supported by Aero Asahi Corporation,Co.,Ltd.Project supported by the Expressway Authority of Thailand。
文摘This paper presents a voxel-based region growing method for automatic road surface extraction from mobile laser scanning point clouds in an expressway environment.The proposed method has three major steps:constructing a voxel model;extracting the road surface points by employing the voxel-based segmentation algorithm;refining the road boundary using the curb-based segmentation algorithm.To evaluate the accuracy of the proposed method,the two-point cloud datasets of two typical test sites in an expressway environment consisting of flat and bumpy surfaces with a high slope were used.The proposed algorithm extracted the road surface successfully with high accuracy.There was an average recall of 99.5%,the precision was 96.3%,and the F1 score was 97.9%.From the extracted road surface,a framework for the estimation of road roughness was proposed.Good agreement was achieved when comparing the results of the road roughness map with the visual image,indicating the feasibility and effectiveness of the proposed framework.
文摘This article refers to the application of DOCO olefin-reducing catalyst developed by RIPP and manufactured by the Catalyst Factory of Changling Refining and Chemical Company in the 1.4 Mt/a RFCCU at Daqing Petrochemical Company. Results of operation over two months had revealed that this catalyst had good olefin-reducing ability and heavy oil converting ability adapted to paraffinic feedstock. The gasoline olefin yield had been reduced to 36.1 v% from 54.2 v% with gasoline RON rating decreased by 1.4 units. The induction period of gasoline had significantly increased to 952 mm, while the coke yield was increased by 0.05 percentage point with light oil yield dropping by only 0.02 percentage point. The FCC product distribution is favorable.
基金financially supported bu the Nationol Key Technology R&D Program of China(2007BAE43B01)and SINOPEC Corporation(contact No.106076)
文摘The FCC naphtha selective hydrodesulfurization technology(RSDS-II)has been tested with different feedstocks in pilot scale.The results show that RSDS-II technology is viable in terms of its adaptability to different feedstocks.To produce gasoline with a sulfur content of less than 50μg/g by the RSDS-II technology,the gasoline RON loss is less than 1.8,0.9and 0.2 units,respectively,upon processing the conventional high-sulfur and high-olefin FCC naphtha,the high-sulfur MIP naphtha,and the medium-sulfur or low-sulfur MIP naphtha.Upon using the naphtha produced from pre-hydrotreated FCC feedstock as the RSDS-II feedstock to manufacture gasoline with a sulfur content of lower than 10μg/g,the RON loss does not exceed 1.0 unit.The RSDS-II technology has been commercialized successfully at many refineries.The result of operating commercial RSDS-II unit at the Shanghai Petrochemical Company has revealed that upon processing a feedstock containing 38.7 v% —43.3 v% of olefins and 250—470 mg/g of sulfur,the sulfur content in the treated gasoline ranges from 33μg/g to 46μg/g and the RON loss is equal to only 0.3—0.6 units.Till now this RSDS-II unit has been operating smoothly over 30 months.Thanks to its high HDS activity and good selectivity,the RSDS-II technology can meet the refinery’s needs for adequate upgrading of gasoline.
基金Supported by National Nature Science Foundation under Grant No.60904063the Tianjin municipal Natural Science Foundation under Grant Nos.11JCYBJC06600,11ZCKF6X00900,11ZCKFGX00900
文摘We investigate the evolution of cooperation with evolutionary public goods games based on finite populations, where four pure strategies: cooperators, defectors, punishers and loners who are unwilling to participate are considered. By adopting approximate best response dynamics, we show that the magnitude of rationality not only quantitatively explains the experiment results in [Nature (London) 425 (2003) 390], but also it will heavily influence the evolution of cooperation. Compared with previous results of infinite populations, which result in two equilibriums, we show that there merely exists a special equilibrium cooperation. In addition, we characterize that loner's and the relevant high value of bounded rationality will sustain payoff plays an active role in the maintenance of cooperation, which will only be warranted for the low and moderate values of loner's payoff. It thus indicates the effects of rationality and loner's payoff will influence the cooperation. Finally, we highlight the important result that the introduction of voluntary participation and punishment will facilitate cooperation greatly.
文摘The catalytic cracking of a FCC gasoline fraction (IBP--75℃) provided by the refinery No. 2 of Fushun Petrochemical Company was carried out in a continuous fixed fluidized bed reaction apparatus in the laboratory, using the modified HZSM-5 as the catalyst. The effects of the reaction temperature and loading of lanthanum on the modified HZSM-5 catalyst on the FCC product distribution were investigated. The results showed that the yield of propylene was as high as 39.28% and the yield of aromatics reached 23.57% when the loading of La in the HZSM-5 catalyst was about 8%, when the reaction was carried under atmospheric pressure and at a reaction temperature of 500~550℃and a spatial velocity of 4.5 h^-1. The yield of aromatics dropped by 6.29% during catalytic cracking of gasoline in the presence of the zeolitic catalyst modified with 8% La.
基金National Natural Science Foundation of China under Grant No.10675062the Second Stage Brain Korea 21 Program in Hanyang University
文摘Recently,corrections to the standard Einstein Hilbert action were proposed to explain the current cosmicacceleration in stead of introducing dark energy.In the Palatini formulation of those modified gravity models,thereis an important observation due to Arkani Hamed:matter loops will give rise to a correction to the modified gravityaction proportional to the Ricci scalar of the metric.In the presence of such a term,we show that the current formsof modified gravity models in Palatini formulation,specifically,the 1/R gravity and in R gravity,will have phantoms.Then we study the possible instabilities due to the presence of phantom fields.We show that the strong instability inthe metric formulation of 1/R gravity indicated by Dolgov and Kawasaki will not appear and the decay timescales forthe phantom fields may be long enough for the theories to make sense as effective field theory.On the other hand,if wechange the sign of the modification terms to eliminate the phantoms,some other inconsistencies will arise for the variousversions of the modified gravity models.Finally,we comment on the universal property of the Palatini formulation ofthe matter loops corrected modified gravity models and its implications.
文摘Endoscopic submucosal dissection(ESD) is a highly refined technique compared to conventional endoscopic mucosal resection.It enables complete resection of early gastric cancer(EGC) which has no possibility of lymph node metastasis.Indication for ESD of EGC generally entails early gastric cancer confined to the mucosa with well differentiated histology,though there are clinically suitable expanded criteria.As ESD requires specific skill and expertise,endoscopists need to be familiarized with basic methods and the use of special devices.The essence of the technique is to dissect the submucosal layer with direct vision and maintain thecutting plane above the underlying proper muscle layer.Although there are some differences in the detailed technical aspect,the cardinal method of ESD is now well established and standardized.Furthermore,research and development of new ESD devices that render more efficient,safe ESD are still in progress to improve the overall result of ESD on early gastric cancer.
基金Sponsored by the National Distinguished Young Scientist Fund of NNSFC(Grant No.60225012)the National 973 Project(Grant No.2003CB316905)BDCC(Grant No.03DZ14025).
文摘The ehi calculus is a model of mobile processes. It has evolved from the pi-calculus with motivations from simplification aml communication-as-cut-eliminatinn. This paper studies the ehi calculus in the framework incorporating asymmetric communication. The major feature of the calculus is the identification of two actions: x/x and τ. The investigalion on the barbed bisimilarity shows how the property affects the observational theory. Based on the definition of the barbed bisimilarity, the simulation properties of the barbed bisimilarity are studied. It shows that the algebraic properties of the barbed bisimiilarity have changed greatly compared with the chi calculus.Although the definition of the barbed bisimilarity is very simple, the properly of closeness under contexts makes it difficuh to understand the barbed bisimilarity directly. Therefore an open style definition of the barbed bisimilarity is given, which is a context free description of barbed bisimilarity. Its definition is complex, but it is a well-behaved relation for it coincides with the barbed bisimilarity. It also helps to build an axiomatization system for the bathed congruence. Besides the axioms for the strong barbed bisimilarity, the paper proposes a new tau law and four new update laws for the barbed congruence. Both the operational and algebraic properties of the enriched calculus improve the understanding of the bisimulation behaviors of the model.
文摘Two types of equilibrium and non-equilibrium stage models are generally used to simulate the mass transfer of packed distillation column. Using non-equilibrium model requires the calculation of mass transfer coefficients, thus, usually equilibrium-based methods are preferred to be used for simulations of distillation columns. In this paper, packed column distillation of production of Mono Ethylene Glycol in FARSA SHIMI Company (Assaluyeh-Iran)'s Ethylene Glycol portion has been simulated through using the equilibrium model and solving the related equations. The simulation has been carried out in the MATLAB environment. The column also has been simulated in the Aspen Hysys and Aspen Plus ver. 2006.5 environments. Then, the output has been compared with software results, designing and operating data of the underlying columns which demonstrate good consistency with the model. Having the model validated, the effect of some operating parameters has been analyzed through the model.
文摘In view of the fact that safety production supervision of coal mines in China features low efficacy, this paper applies principles of cybernetics to simulate the dynamic process of safety supervision, and proposes that institutional variables be controlled to support intermediate goals, which in turn contribute to the ultimate safety production objective. Rather than focusing all attention on safety issues of working faces, supervising departments of coalmines are advised to pay much more attention to institutional factors that may impact people’s attitude and behavior, which are responsible for most coalmine accidents. It is believed that such a shift of attention can effectively reduce coalmining production accidents and greatly enhance supervision efficacy.