In order to gain the great performance of ASIP, this paper discusses different aspects of an ASIP instruction set specification like syntax, encoding, constraints as welt as behaviors, and introduces our ADL model bas...In order to gain the great performance of ASIP, this paper discusses different aspects of an ASIP instruction set specification like syntax, encoding, constraints as welt as behaviors, and introduces our ADL model based methodology to check them. The automatic generation of test cases based on our straight-forward instruction representation is shown, and the efficient generation of them with good coverage is shown as well. The verification of the constraint checker, a very important tool for programmer, is performed. Results show that the toolkit can find some errors in previous delivery tools, and the introduced methodology verifies the feasibility of our instruction set specification.展开更多
A new construction method of pile foundation in composite ground, in which, prior to installing piles, the ground is improved around the heads of the piles in soft ground or ground subject to liquefaction, which is in...A new construction method of pile foundation in composite ground, in which, prior to installing piles, the ground is improved around the heads of the piles in soft ground or ground subject to liquefaction, which is introduced in this paper. This construction method uses a combination of pile foundation construction together with common ground improvement methods, including deep mixing, preloading and sand compaction piling, and it is referred to as the composite ground pile method. Since an artificial ground with relatively high rigidity comparing with that of the original ground was formed around the pile in this method, and the seismic performance has not been made clear, thus the seismic performance of piles in composite ground was systematically analyzed through a series of centrifuge model tests and numerical analyses by using dynamic nonlinear finite element method, and a verification method for the seismic performance of piles in composite ground was proposed on the basis of the experimental and numerical results.展开更多
文摘In order to gain the great performance of ASIP, this paper discusses different aspects of an ASIP instruction set specification like syntax, encoding, constraints as welt as behaviors, and introduces our ADL model based methodology to check them. The automatic generation of test cases based on our straight-forward instruction representation is shown, and the efficient generation of them with good coverage is shown as well. The verification of the constraint checker, a very important tool for programmer, is performed. Results show that the toolkit can find some errors in previous delivery tools, and the introduced methodology verifies the feasibility of our instruction set specification.
文摘A new construction method of pile foundation in composite ground, in which, prior to installing piles, the ground is improved around the heads of the piles in soft ground or ground subject to liquefaction, which is introduced in this paper. This construction method uses a combination of pile foundation construction together with common ground improvement methods, including deep mixing, preloading and sand compaction piling, and it is referred to as the composite ground pile method. Since an artificial ground with relatively high rigidity comparing with that of the original ground was formed around the pile in this method, and the seismic performance has not been made clear, thus the seismic performance of piles in composite ground was systematically analyzed through a series of centrifuge model tests and numerical analyses by using dynamic nonlinear finite element method, and a verification method for the seismic performance of piles in composite ground was proposed on the basis of the experimental and numerical results.
