On board processing(OBP) satellite systems have obtained more and more attentions in recent years because of their high efficiency and performance.However,the OBP transponders are very sensitive to the high energy par...On board processing(OBP) satellite systems have obtained more and more attentions in recent years because of their high efficiency and performance.However,the OBP transponders are very sensitive to the high energy particles in the space radiation environments.Single event upset(SEU)is one of the major radiation effects,which influences the satellite reliability greatly.Triple modular redundancy(TMR) is a classic and efficient method to mask SEUs.However,TMR uses three identical modules and a comparison logic,the circuit size becomes unacceptable,especially in the resource limited environments such as OBP systems.Considering that,a new SEU-tolerant method based on residue code and high-level synthesis(HLS) is proposed,and the new method is applied to FIR filters,which are typical structures in the OBP systems.The simulation results show that,for an applicable HLS scheduling scheme,area reduction can be reduced by 48.26%compared to TMR,while fault missing rate is 0.15%.展开更多
Allocation is one of main tasks in the high-level synthesis. It includes module , functional unit allocation, storage allocation and interconnection allocation. This paper models the allocation problem as cluster anal...Allocation is one of main tasks in the high-level synthesis. It includes module , functional unit allocation, storage allocation and interconnection allocation. This paper models the allocation problem as cluster analysis and applies a new algorithm, neighbor state transition (NST) algorithm, for cluster optimization. It is proved that the algorithm produces an asymptotically global optimal solution with the upper bound on the cost function (1 + O(1/n)2-ε)F*, When F" is the cost of the optimum solution, n is the problem size and e is a positive parameter arbitrarily close to zero. The numerical examples show that the NST algorithm produces better results compared to the other known methods.展开更多
Strontium titanate synroc samples were synthesized by self-propagating high-temperature synthesis （SHS）. Sr directly took part in the synthesis process. As a result, the loading content issue is basically resolved. ...Strontium titanate synroc samples were synthesized by self-propagating high-temperature synthesis （SHS）. Sr directly took part in the synthesis process. As a result, the loading content issue is basically resolved. The products were characterized by density, microhardness X-ray diffraction, and scanning electron microscopy （SEM/EDS）. The leaching rate was measured by the method of PCT （product consistency test）. The results indicate that the Sr^2＋-SrTiO3 compound is of high density, low leach rate and high stability and the synthesis process is feasible in technology and economy. It can be concluded that the strontium titanate synroc is a perfect material to immobilize HLW.展开更多
Reaction of 2-pyridone, copper acetate and terbium(or yttrium) perchlorate in acetone with the mole ratio 6: 2: 1 results in the formation of heteronuclear complex Ln_2Cu_4L_8 (HL)_4 (OH)_2 (ClO_4)_4 (H_20)_(10) 2CH_3...Reaction of 2-pyridone, copper acetate and terbium(or yttrium) perchlorate in acetone with the mole ratio 6: 2: 1 results in the formation of heteronuclear complex Ln_2Cu_4L_8 (HL)_4 (OH)_2 (ClO_4)_4 (H_20)_(10) 2CH_3COCH_3(Ln = Tb (1), Y (2)). By recrystallizing (1) in CHCl_3 single crystals were obtained and the structure was determined by four-circle diffractometer. Data showed that the crystal is in space group C2/m with a=27. 454(9)A, b=13, 608A, c=30. 556(11)A, β=99. 89(3)°, v=11245. 7(7. 5)A^3. The structure was solved by a combination of Patterson method and Fourier technique. The final R value is 0. 103. In the structure, four copper and two terbium ions are bridged by 2-pyridone anions to form an essentially octahedral Cu_4Tb_2 core. The terbium atoms are each eight-coordinate and the copper atoms are five-coordinate.展开更多
It was confirmed that the damage of HL-60 cells caused by heating (42℃, 60min) was of heterogeueity.The partial recovery of colony survival and 3H-TdR incorporation from inhibited HL-60 cells was acquired through sh...It was confirmed that the damage of HL-60 cells caused by heating (42℃, 60min) was of heterogeueity.The partial recovery of colony survival and 3H-TdR incorporation from inhibited HL-60 cells was acquired through short-term (24h) Iiquid culture. The resultsindicated that inhibition of DNA synthesis and colonyformation of leukemic cells by hyperthermia was partlyreversible. Its clinical significance and pathogenicmechanism were also discussed.展开更多
This paper describes a VHDL high-level synthesis system HLS/BIT with emphasis on its register-transfer level (RTL) binding and technology mapping subsystem. In more detail, the component instantiation mechanism and th...This paper describes a VHDL high-level synthesis system HLS/BIT with emphasis on its register-transfer level (RTL) binding and technology mapping subsystem. In more detail, the component instantiation mechanism and the knowledge-driven approach to RTL technology mapping are also presented.展开更多
This paper studies the linkage problem between the result of high-level synthesis and back-end technology, presents a method of high-level technology mapping based on knowl edge, and studies deeply all of its importan...This paper studies the linkage problem between the result of high-level synthesis and back-end technology, presents a method of high-level technology mapping based on knowl edge, and studies deeply all of its important links such as knowledge representation, knowledge utility and knowledge acquisition. It includes: (1) present a kind of expanded production about knowledge of circuit structure; (2) present a VHDL-based method to acquire knowledge of tech nology mapping; (3) provide solution control strategy and algorithm of knowledge utility; (4)present a half-automatic maintenance method, which can find redundance and contradiction of knowledge base; (5) present a practical method to embed the algorithm into knowledge system to decrease complexity of knowledge base. A system has been developed and linked with three kinds of technologies, so verified the work of this paper.展开更多
基金Supported by the National S&T Major Project(No.2011ZX03003-003-01,2011ZX03004-004)the National Basic Research Program of China(No.2012CB316002)
文摘On board processing(OBP) satellite systems have obtained more and more attentions in recent years because of their high efficiency and performance.However,the OBP transponders are very sensitive to the high energy particles in the space radiation environments.Single event upset(SEU)is one of the major radiation effects,which influences the satellite reliability greatly.Triple modular redundancy(TMR) is a classic and efficient method to mask SEUs.However,TMR uses three identical modules and a comparison logic,the circuit size becomes unacceptable,especially in the resource limited environments such as OBP systems.Considering that,a new SEU-tolerant method based on residue code and high-level synthesis(HLS) is proposed,and the new method is applied to FIR filters,which are typical structures in the OBP systems.The simulation results show that,for an applicable HLS scheduling scheme,area reduction can be reduced by 48.26%compared to TMR,while fault missing rate is 0.15%.
文摘Allocation is one of main tasks in the high-level synthesis. It includes module , functional unit allocation, storage allocation and interconnection allocation. This paper models the allocation problem as cluster analysis and applies a new algorithm, neighbor state transition (NST) algorithm, for cluster optimization. It is proved that the algorithm produces an asymptotically global optimal solution with the upper bound on the cost function (1 + O(1/n)2-ε)F*, When F" is the cost of the optimum solution, n is the problem size and e is a positive parameter arbitrarily close to zero. The numerical examples show that the NST algorithm produces better results compared to the other known methods.
基金This work was financially supported by the National Natural Science Foundation of China (No.20476008).
文摘Strontium titanate synroc samples were synthesized by self-propagating high-temperature synthesis （SHS）. Sr directly took part in the synthesis process. As a result, the loading content issue is basically resolved. The products were characterized by density, microhardness X-ray diffraction, and scanning electron microscopy （SEM/EDS）. The leaching rate was measured by the method of PCT （product consistency test）. The results indicate that the Sr^2＋-SrTiO3 compound is of high density, low leach rate and high stability and the synthesis process is feasible in technology and economy. It can be concluded that the strontium titanate synroc is a perfect material to immobilize HLW.
基金Project supported by China National Climbing plan and National Nature Science Foundation
文摘Reaction of 2-pyridone, copper acetate and terbium(or yttrium) perchlorate in acetone with the mole ratio 6: 2: 1 results in the formation of heteronuclear complex Ln_2Cu_4L_8 (HL)_4 (OH)_2 (ClO_4)_4 (H_20)_(10) 2CH_3COCH_3(Ln = Tb (1), Y (2)). By recrystallizing (1) in CHCl_3 single crystals were obtained and the structure was determined by four-circle diffractometer. Data showed that the crystal is in space group C2/m with a=27. 454(9)A, b=13, 608A, c=30. 556(11)A, β=99. 89(3)°, v=11245. 7(7. 5)A^3. The structure was solved by a combination of Patterson method and Fourier technique. The final R value is 0. 103. In the structure, four copper and two terbium ions are bridged by 2-pyridone anions to form an essentially octahedral Cu_4Tb_2 core. The terbium atoms are each eight-coordinate and the copper atoms are five-coordinate.
文摘It was confirmed that the damage of HL-60 cells caused by heating (42℃, 60min) was of heterogeueity.The partial recovery of colony survival and 3H-TdR incorporation from inhibited HL-60 cells was acquired through short-term (24h) Iiquid culture. The resultsindicated that inhibition of DNA synthesis and colonyformation of leukemic cells by hyperthermia was partlyreversible. Its clinical significance and pathogenicmechanism were also discussed.
文摘This paper describes a VHDL high-level synthesis system HLS/BIT with emphasis on its register-transfer level (RTL) binding and technology mapping subsystem. In more detail, the component instantiation mechanism and the knowledge-driven approach to RTL technology mapping are also presented.
文摘This paper studies the linkage problem between the result of high-level synthesis and back-end technology, presents a method of high-level technology mapping based on knowl edge, and studies deeply all of its important links such as knowledge representation, knowledge utility and knowledge acquisition. It includes: (1) present a kind of expanded production about knowledge of circuit structure; (2) present a VHDL-based method to acquire knowledge of tech nology mapping; (3) provide solution control strategy and algorithm of knowledge utility; (4)present a half-automatic maintenance method, which can find redundance and contradiction of knowledge base; (5) present a practical method to embed the algorithm into knowledge system to decrease complexity of knowledge base. A system has been developed and linked with three kinds of technologies, so verified the work of this paper.
