The famous diagonal argument plays a prominent role in set the ory as well as in the proof of undecidability results in computability the ory and incompleteness results in metamathematics.Lawvere(1969)brings to light ...The famous diagonal argument plays a prominent role in set the ory as well as in the proof of undecidability results in computability the ory and incompleteness results in metamathematics.Lawvere(1969)brings to light the common schema among them through a pretty neat fixpoint the orem which generalizes the diagonal argument behind Cantor's theorem and characterizes self-reference explicitly in category theory.Not until Yanofsky(2003)rephrases Lawvere’s fixpoint theorem using sets and functions,Lawvere's work has been overlooked by logicians.This paper will continue Yanofsky's work,and show more applications of Lawvere's fixpoint theorem to demonstrate the ubiquity of the theorem.For example,this paper will use it to construct uncomputable real number,unnameable real number,partial re cursive but not potentially recursive function,Berry paradox,and fast growing Busy Beaver function.Many interesting lambda fixpoint combinators can also be fitted into this schema.Both Curry's Y combinator and Turing's combinator follow from Lawvere's theorem,as well as their call-by-value versions.At last,it can be shown that the lambda calculus version of the fixpoint lemma also fits Lawvere’s schema.展开更多
Based on geological and mining characteristics,coal mine roadways under complex conditions were divided into five types,for each type the deformation and damage characteristics of rocks surrounding roadways were analy...Based on geological and mining characteristics,coal mine roadways under complex conditions were divided into five types,for each type the deformation and damage characteristics of rocks surrounding roadways were analyzed.The recent developments of roadway support technologies were introduced abroad,based on the experiences of supports for deep and complex roadways from Germany,the United States and Australia.The history and achievements of roadway support technologies in China were detailed,including rock bolting,steel supports,grouting reinforcement and combined supports.Four typical support and reinforcement case studies were analyzed,including a high stressed roadway 1,000 m below the surface,a roadway surrounded by severely weak and broken rocks,a chamber surrounded by weak and broken rocks,and a roadway with very soft and swelling rocks.Based on studies and practices in many years,rock bolting has become the mainstream roadway support form in China coal mines,and steel supports,grouting reinforcement and combined supports have also been applied at proper occasions,which have provided reliable technical measures for the safe and high effective construction and mining of underground coal mines.展开更多
AIM: To compare the therapeutic effect and significances of multimodality treatment for hepatocellular carcinoma (HCC) with tumor thrombi in portal vein (PVTT). METHODS: HCC patients (n=147) with tumor thrombi in the ...AIM: To compare the therapeutic effect and significances of multimodality treatment for hepatocellular carcinoma (HCC) with tumor thrombi in portal vein (PVTT). METHODS: HCC patients (n=147) with tumor thrombi in the main portal vein or the first branch of portal vein were divided into four groups by the several therapeutic methods. There were conservative treatment group in 18 out of patients (group A); and hepatic artery ligation(HAL) and/or hepatic artery infusion (HAI) group in 18 patients (group B), in whom postoperative chemoembolization was done periodically; group of removal of HCC with PVTT in 79 (group C) and group of transcatheter hepatic arterial chemoembolization (TACE) or HAI and/or portal vein infusion (PVI) after operation in 32 (group D). RESULTS: The median survival period was 12 months in our series and the 1-,3-, and 5-year survival rates were 44.3%, 24.5% and 15.2%, respectively. The median survival times were 2, 5, 12 and 16 months in group A, B, C and D, respectively. The 1-, 3- and 5-year survival rates were 5.6%, 0% and 0% in group A; 22.2%, 5.6% and 0% in group B; 53.9%, 26.9% and 16.6% in group C; 79.3%, 38.9% and 26.8% in group D, respectively. Significant difference appeared in the survival rates among the groups (P 【 0.05). CONCLUSION: Hepatic resection with removal of tumor thrombi and HCC should increase the curative effects and be encouraged for the prolongation of life span and quality of life for HCC patients with PVTT, whereas the best therapeutic method for HCC with PVTT is with regional hepatic chemotherapy or chemoembolization after hepatic resection with removal of tumor thrombi.展开更多
Soil contamination in the vicinity of the Dabaoshan Mine, Guangdong Province, China, was studied through determi- nation of total concentrations and chemical speciation of the toxic metals, Cu, Zn, Cd, and Pb, using i...Soil contamination in the vicinity of the Dabaoshan Mine, Guangdong Province, China, was studied through determi- nation of total concentrations and chemical speciation of the toxic metals, Cu, Zn, Cd, and Pb, using inductively coupled plasma mass spectrometry. The results showed that over the past decades, the environmental pollution was caused by a combination of Cu, Zn, Cd, and Pb, with tailings and acid mine drainage being the main pollution sources affecting soils. Significantly higher levels （P ≤ 0.05） of Cu, Zn, Cd, and Pb were found in the tailings as compared with paddy, garden, and control soils, with averages of 1486, 2516, 6.42, and 429 mg kg^-1, respectively. These metals were continuously dispersed downstream from the tallings and waste waters, and therefore their concentrations in the paddy soils were as high as 567, 1 140, 2.48, and 191 mg kg^-1, respectively, being significantly higher （P ≤ 0.05） as compared with those in the garden soils. The results of sequential extraction of the above metals from all the soil types showed that the residual fraction was the dominant form. However, the amounts of metals that were bound to Fe-Mn oxides and organic matter were relatively higher than those bound to carbonates or those that existed in exchangeable forms. As metals could be transformed from an inert state to an active state, the potential environmental risk due to these metals would increase with time.展开更多
文摘The famous diagonal argument plays a prominent role in set the ory as well as in the proof of undecidability results in computability the ory and incompleteness results in metamathematics.Lawvere(1969)brings to light the common schema among them through a pretty neat fixpoint the orem which generalizes the diagonal argument behind Cantor's theorem and characterizes self-reference explicitly in category theory.Not until Yanofsky(2003)rephrases Lawvere’s fixpoint theorem using sets and functions,Lawvere's work has been overlooked by logicians.This paper will continue Yanofsky's work,and show more applications of Lawvere's fixpoint theorem to demonstrate the ubiquity of the theorem.For example,this paper will use it to construct uncomputable real number,unnameable real number,partial re cursive but not potentially recursive function,Berry paradox,and fast growing Busy Beaver function.Many interesting lambda fixpoint combinators can also be fitted into this schema.Both Curry's Y combinator and Turing's combinator follow from Lawvere's theorem,as well as their call-by-value versions.At last,it can be shown that the lambda calculus version of the fixpoint lemma also fits Lawvere’s schema.
文摘Based on geological and mining characteristics,coal mine roadways under complex conditions were divided into five types,for each type the deformation and damage characteristics of rocks surrounding roadways were analyzed.The recent developments of roadway support technologies were introduced abroad,based on the experiences of supports for deep and complex roadways from Germany,the United States and Australia.The history and achievements of roadway support technologies in China were detailed,including rock bolting,steel supports,grouting reinforcement and combined supports.Four typical support and reinforcement case studies were analyzed,including a high stressed roadway 1,000 m below the surface,a roadway surrounded by severely weak and broken rocks,a chamber surrounded by weak and broken rocks,and a roadway with very soft and swelling rocks.Based on studies and practices in many years,rock bolting has become the mainstream roadway support form in China coal mines,and steel supports,grouting reinforcement and combined supports have also been applied at proper occasions,which have provided reliable technical measures for the safe and high effective construction and mining of underground coal mines.
基金Surported by the Funds of Hundred Outsdanding Persons project of Shanghai(97BR029)Science and Technology Commission of Shanghai(984419067)
文摘AIM: To compare the therapeutic effect and significances of multimodality treatment for hepatocellular carcinoma (HCC) with tumor thrombi in portal vein (PVTT). METHODS: HCC patients (n=147) with tumor thrombi in the main portal vein or the first branch of portal vein were divided into four groups by the several therapeutic methods. There were conservative treatment group in 18 out of patients (group A); and hepatic artery ligation(HAL) and/or hepatic artery infusion (HAI) group in 18 patients (group B), in whom postoperative chemoembolization was done periodically; group of removal of HCC with PVTT in 79 (group C) and group of transcatheter hepatic arterial chemoembolization (TACE) or HAI and/or portal vein infusion (PVI) after operation in 32 (group D). RESULTS: The median survival period was 12 months in our series and the 1-,3-, and 5-year survival rates were 44.3%, 24.5% and 15.2%, respectively. The median survival times were 2, 5, 12 and 16 months in group A, B, C and D, respectively. The 1-, 3- and 5-year survival rates were 5.6%, 0% and 0% in group A; 22.2%, 5.6% and 0% in group B; 53.9%, 26.9% and 16.6% in group C; 79.3%, 38.9% and 26.8% in group D, respectively. Significant difference appeared in the survival rates among the groups (P 【 0.05). CONCLUSION: Hepatic resection with removal of tumor thrombi and HCC should increase the curative effects and be encouraged for the prolongation of life span and quality of life for HCC patients with PVTT, whereas the best therapeutic method for HCC with PVTT is with regional hepatic chemotherapy or chemoembolization after hepatic resection with removal of tumor thrombi.
基金Project supported by the Guangdong Environmental Protection Bureau of China (No.2001-27)Guangdong Provincial Department of Science and Technology,China (No.2004A30308002)State Key Laboratory of Environment Geochemistry,Chinese Academy of Sciences
文摘Soil contamination in the vicinity of the Dabaoshan Mine, Guangdong Province, China, was studied through determi- nation of total concentrations and chemical speciation of the toxic metals, Cu, Zn, Cd, and Pb, using inductively coupled plasma mass spectrometry. The results showed that over the past decades, the environmental pollution was caused by a combination of Cu, Zn, Cd, and Pb, with tailings and acid mine drainage being the main pollution sources affecting soils. Significantly higher levels （P ≤ 0.05） of Cu, Zn, Cd, and Pb were found in the tailings as compared with paddy, garden, and control soils, with averages of 1486, 2516, 6.42, and 429 mg kg^-1, respectively. These metals were continuously dispersed downstream from the tallings and waste waters, and therefore their concentrations in the paddy soils were as high as 567, 1 140, 2.48, and 191 mg kg^-1, respectively, being significantly higher （P ≤ 0.05） as compared with those in the garden soils. The results of sequential extraction of the above metals from all the soil types showed that the residual fraction was the dominant form. However, the amounts of metals that were bound to Fe-Mn oxides and organic matter were relatively higher than those bound to carbonates or those that existed in exchangeable forms. As metals could be transformed from an inert state to an active state, the potential environmental risk due to these metals would increase with time.
