The effect of annealing treatments and thermomechanical cycling on the transformation behaviors and shape memory effect of Ti48.5Ni48Fe2Nb1.5 shape memory alloys were investigated using electrical resistivity measurem...The effect of annealing treatments and thermomechanical cycling on the transformation behaviors and shape memory effect of Ti48.5Ni48Fe2Nb1.5 shape memory alloys were investigated using electrical resistivity measurement and tensile testing. It is found that the transformation behaviors are influenced considerably by the annealing treatments. Both Ms and As increase with increasing annealing temperature and cooling rate. Martensite stabilization occurs during thermomechanical cycles, thus resulting in lower Ms and recovery ratio. Moreover, thermomechanical cycling leads to pseudo-elasticity. The yield point of stress-induced martensite (σSIM) increases with increasing cycles and pre-formation.展开更多
The phase transformation behavior, mechanical properties, and the thermal stability of CuAlAg alloy were studied and minor rare earth (0.1 wt pct La+Ce) was added to improve the mechanical property of the studied allo...The phase transformation behavior, mechanical properties, and the thermal stability of CuAlAg alloy were studied and minor rare earth (0.1 wt pct La+Ce) was added to improve the mechanical property of the studied alloy. It was found that Ag addition in the CuAl binary alloy can improve the stability of martensitic transformation and high Al content leads to the disappearing of martensitic transformation. The tensile strength and strain of the Cu-10.6AI-5.8Ag (wt pct) alloy were measured to be 383.5 MPa and 0.86%, respectively. With rare earth addition, the tensile strain increased from 0.86% to 1.47%. The CuAlAg alloy did not exhibit martensitic transformation on the second heating process. Its poor thermal stability still needs to be improved.展开更多
The reverse transformation behavior of TiNi alloy wires prestrained at different temperatures is studied in this paper. Experimental results show that prestrain at different temperatures obviously affects the reverse ...The reverse transformation behavior of TiNi alloy wires prestrained at different temperatures is studied in this paper. Experimental results show that prestrain at different temperatures obviously affects the reverse transformation behavior of the TiNi alloy wire. A single peak appears on the DSC curves of wires prestrained at 253-313K (in the martensite state). However deformed at 333K, three consecutive peaks appear on the DSC curves of wires with a smaller prestrain and a single peak appears on the DSC curves of the wires with a larger prestrain. The recovery strain ratio of the wires prestrained at 253-313K are very similar. However, the ratio of the wire predeformed at 333K is obviously smaller than that of the wire prestrained in the martensite state.展开更多
Ferromagnetic Ni-Mn-Ga films were fabricated by depositing on MgO (001) substrates at temperatures from 673 K to 923 K. Microstructure, crystal structure, martensitic transformation behavior, and magnetic properties...Ferromagnetic Ni-Mn-Ga films were fabricated by depositing on MgO (001) substrates at temperatures from 673 K to 923 K. Microstructure, crystal structure, martensitic transformation behavior, and magnetic properties of the films were studied. With increasing deposition temperature, the surface morphology of the films transforms from granular to continu- ous. The martensitic transformation temperature is not dependent on deposition temperature; while transformation behavior is affected substantially by deposition temperature. X-ray analysis reveals that the film deposited at 873 K has a 7M marten- site phase, and its magnetization curve provides a typical step-increase, indicating the occurrence of magnetically induced reorientation (MIR). In situ magnetic domain structure observation on the film deposited at 873 K reflects that the marten- sitic transformation could be divided into two periods: nucleation and growth, in the form of stripe domains. The MIR occurs at the temperature at which martensitic transformation starts, and the switching field increases with the decrease of temperature due to damped thermal activation. The magnetically induced martensitic transformation is related to the difference of magnetization between martensite and austenite. A shift of martensite temperature of dT/dH = 0.43 K/T is observed, consistent with the theoretical value, 0.41 K/T.展开更多
Measurements of electrical resistivity, X-ray diffraction, and tensile test at room temperature and ?196°C were performed to investigate the effects of Al addition substituting Ni on the phase transformation beh...Measurements of electrical resistivity, X-ray diffraction, and tensile test at room temperature and ?196°C were performed to investigate the effects of Al addition substituting Ni on the phase transformation behaviors, the mechanical properties, and the shape memory effects of Ti50Ni47Fe2Al1 and Ti50Ni46.5Fe2.5Al1 alloys. It is found that 1at% Al addition dramatically decreases the martensitic start transformation temperature and expands the transformation temperature range of R-phase for TiNiFeAl alloys. The results of tensile test indicate that 1at% Al improves the yield strength of Ti50Ni47Fe2Al1 and Ti50Ni46.5Fe2.5Al1 alloys by 40% and 64%, but de- creases the plasticity to 11% and 12% from 26% and 27% respectively. Moreover, excellent shape memory effect of 6.6% and 7.5% were found in Ti50Ni47Fe2Al1 and Ti50Ni46.5Fe2.5Al1 alloys, which results from the stress-induced martensite transformation from the R-phase.展开更多
The effect of adding Ta on the changes of microstructure and Ms temperature of a dualphase shape memory alloy with compositions of (Ni51 Ti49)1 -x.Tax. and Ni50-Ti50 -g.Ta.g were systematically studied. An optical mi...The effect of adding Ta on the changes of microstructure and Ms temperature of a dualphase shape memory alloy with compositions of (Ni51 Ti49)1 -x.Tax. and Ni50-Ti50 -g.Ta.g were systematically studied. An optical microscope, SEM, X-ray diffraction and DSC were utilized in this work. The evolution of the microstructure as a function of Ta content was characterized. The variation of the Ni/Ti ratio in the NiTi phase plays an important role in the change of the Ms temperatures due to the addition of Ta. A pseudobinary NiTi-Ta phase diagram was proposed based on these results.展开更多
The influence of crown ether on behaviors of arsenic at different temperatures and residence time was investigated during the pyrolysis of Tuanbo (TB) coal. The modes of occurrence of arsenic were determined by sequ...The influence of crown ether on behaviors of arsenic at different temperatures and residence time was investigated during the pyrolysis of Tuanbo (TB) coal. The modes of occurrence of arsenic were determined by sequential chemical extraction, density fractionation and demineralization. The results indicated that at the same temperature and residence time, the arsenic removal adding dibenzo-18-crown-6 was higher than that adding 18-crown-6, and were all higher than that of TB coal during pyrolysis. When temperature was 850 ℃ and residence time was 30 min, the arsenic removal of TB coal was 30.63%; at the same condition, the arsenic removal while adding 18-crown-6 was 33.21%, higher than that of TB coal; and the arsenic removal while adding dibenzo-18-crown-6 was 67.41%, significantly higher than that of TB coal. From the results, we can see that adding crown ether can improve the arsenic removal during coal pyrolysis, and especially be conducive to the arsenic which is mainly associated with sulfates & monosulfides and that in stable forms.展开更多
This work focuses on the dynamic rheological behavior of low water-to-binder ratio cement mortars blended with fly ash microspheres(FAM) or silica fume(SF). The initial slump flow of each group has been controlled...This work focuses on the dynamic rheological behavior of low water-to-binder ratio cement mortars blended with fly ash microspheres(FAM) or silica fume(SF). The initial slump flow of each group has been controlled at similar values by adjusting the superplasticizer dosages. With the help of a coaxial cylinder rheometer, the dynamic rheological behaviors of these mortars are investigated by frequency sweeping in the range of 0-2 Hz under large amplitude oscillatory shear(LAOS). Based on the systematical elaboration of dynamic rheological testing theory, the experimental data are processed according to Lissajous plot fitting to reveal the viscoelastic characteristics. The nonlinearity of response signals is further assessed with Fourier transform(FT) analysis. The parameters, storage modulus G', loss modulus G" and relative amplitude I3/I1 are proposed to clarify the influences of FAM and SF on the stability and energy consumption of local structures and nonlinearity of response torques. The hydration characteristics of various groups well confirmed the rheological phenomenon. This study is beneficial for the preparation and optimization of flow state concrete such as pumping concrete and self-compacting concrete.展开更多
NiTi alloys have drawn significant attentions in biomedical and aerospace fields due to their unique shape memory effect(SME),superelasticity(SE),damping characteristics,high corrosion resistance,and good biocompatibi...NiTi alloys have drawn significant attentions in biomedical and aerospace fields due to their unique shape memory effect(SME),superelasticity(SE),damping characteristics,high corrosion resistance,and good biocompatibility.Because of the unsatisfying processabilities and manufacturing requirements of complex NiTi components,additive manufacturing technology,especially laser powder bed fusion(LPBF),is appropriate for fabricating NiTi products.This paper comprehensively summarizes recent research on the NiTi alloys fabricated by LPBF,including printability,microstructural characteristics,phase transformation behaviors,lattice structures,and applications.Process parameters and microstructural features mainly influence the printability of LPBF-processed NiTi alloys.The phase transformation behaviors between austenite and martensite phases,phase transformation temperatures,and an overview of the influencing factors are summarized in this paper.This paper provides a comprehensive review of the mechanical properties with unique strain-stress responses,which comprise tensile mechanical properties,thermomechanical properties(e.g.critical stress to induce martensitic transformation,thermo-recoverable strain,and SE strain),damping properties and hardness.Moreover,several common structures(e.g.a negative Poisson’s ratio structure and a diamond-like structure)are considered,and the corresponding studies are summarized.It illustrates the various fields of application,including biological scaffolds,shock absorbers,and driving devices.In the end,the paper concludes with the main achievements from the recent studies and puts forward the limitations and development tendencies in the future.展开更多
Butt welding of 0.2 mm-thick TiNi shape memory alloy sheet (SMA) was carried out using impulse laser, and tensile strength, fracture morphology, microstructure and phase change behaviour of welded joint were studied...Butt welding of 0.2 mm-thick TiNi shape memory alloy sheet (SMA) was carried out using impulse laser, and tensile strength, fracture morphology, microstructure and phase change behaviour of welded joint were studied. The results show that using impulse laser can realize good butt welding of TiNi SMA sheet, tensile strength of welded joint is 683 MPa, which achieves 97% of that of cold rolled base metal, and the fracture mode of welded joint is ductile type as well as base metal. The welded joint can be divided into four zones according to grain size and microstructure. The microstructures of welded seam center zone are fine equiaxed crystals and the microstructures of both lower surface and upper surface edge zones are columnar crystals. When welded joint is vacuum annealed after welding, the phase transformation process is basically similar to the annealed base metal.展开更多
Continuous cooling transformation behaviors of low carbon steels with two Si contents (0. 50% and 1. 35%) were investigated under undeformed and deformed conditions. Effects of Si contents, deformation, and cooling ...Continuous cooling transformation behaviors of low carbon steels with two Si contents (0. 50% and 1. 35%) were investigated under undeformed and deformed conditions. Effects of Si contents, deformation, and cooling rates on γ transformation start temperature (Ar3), phase microstructures, and hardness were studied. The results show that, in the ease of the deformation with the true strain of 0. 4, the length of bainitic ferrite laths is significantly decreased in low Si steel, whereas, the M/A constituent becomes more uniform in high Si steel. An increase in cooling rates lowers the Ar3 greatly. The steel with higher level of Si exhibits higher Ar3, and higher hardness both under undeformed and deformed conditions compared with the steel with a lower Si content. Especially, the influence of Si on At3 is dependent on deformation. Such effects are more significant under the undeformed condition. The hardness of both steels increases with the increase of cooling rates, whereas, the deformation involved in both steels reduces the hardness.展开更多
Architectural modeling and behavior analysis are two important concerns in the software development. They are often implemented separately, and specified by their own supporting notations. Architectural modeling helps...Architectural modeling and behavior analysis are two important concerns in the software development. They are often implemented separately, and specified by their own supporting notations. Architectural modeling helps to guarantee the system design to satisfy the requirement, and behavior analysis can ensure the interaction correctness. To improve the trustworthiness, methods trying to combine architectural modeling and behavior analysis notations together have been proposed, e.g., establishing a one-way mapping relation. However, the one-way relation cannot ensure updating one notation specifications in accordance with the other one, which results in inconsistency problems. In this paper, we present an approach to integrating behavior analysis into architectural modeling, which establishes the interoperability between architectural modeling notation and behavior analysis notation by a bidirectional mapping. The architecture is specified by the modeling language, architecture analysis and design language (AADL), and then mapped to behavior analysis notation, Darwin/FSP (finite state process) through the bidirectional transformation. The bidirectional transformarion provides traceability, which makes behavior analysis result provided by a model checker can be traced and reflected back to the original AADL specifications. In this way, the behavior analysis is integrated into architectural modeling. The feasibility of our approach is shown by a control system example.展开更多
An expression of the 3-D pulsating source of Michell type with forward speed for infinite water depth is derived in the present paper based on the Fourier transformation and contour integration technique. Emphases are...An expression of the 3-D pulsating source of Michell type with forward speed for infinite water depth is derived in the present paper based on the Fourier transformation and contour integration technique. Emphases are laid on the discussion of the mechanical feature of the source and the radiation behavior far from the source. The relative importance of each components of the pulsating source is discussed in detail. Compared with the commonly used pulsating source of Haskind type, the present expression has the merits of simplicity for numerical treatment and being more meaningful in its physical explanation. The Michell type expression of the 3-D pulsating source with forward speed can be widely used for the estimation of motions and wave forces for ships and offshore structures in waves with forward speed. The radiative behavior of the source in the far field may also give a reasonabel description of the radiation condition or the open boundary condition for other numerical methods, such as the Rankine source method etc.展开更多
基金supported by the National Natural Science Foundation of China (No. 50921003)
文摘The effect of annealing treatments and thermomechanical cycling on the transformation behaviors and shape memory effect of Ti48.5Ni48Fe2Nb1.5 shape memory alloys were investigated using electrical resistivity measurement and tensile testing. It is found that the transformation behaviors are influenced considerably by the annealing treatments. Both Ms and As increase with increasing annealing temperature and cooling rate. Martensite stabilization occurs during thermomechanical cycles, thus resulting in lower Ms and recovery ratio. Moreover, thermomechanical cycling leads to pseudo-elasticity. The yield point of stress-induced martensite (σSIM) increases with increasing cycles and pre-formation.
基金supported by Aviation Science Foundation of China(ASFC),No.00G51007.
文摘The phase transformation behavior, mechanical properties, and the thermal stability of CuAlAg alloy were studied and minor rare earth (0.1 wt pct La+Ce) was added to improve the mechanical property of the studied alloy. It was found that Ag addition in the CuAl binary alloy can improve the stability of martensitic transformation and high Al content leads to the disappearing of martensitic transformation. The tensile strength and strain of the Cu-10.6AI-5.8Ag (wt pct) alloy were measured to be 383.5 MPa and 0.86%, respectively. With rare earth addition, the tensile strain increased from 0.86% to 1.47%. The CuAlAg alloy did not exhibit martensitic transformation on the second heating process. Its poor thermal stability still needs to be improved.
基金This work is funded by the National Natural Science Foundation the Peoples Republic of China (No. 50071037)
文摘The reverse transformation behavior of TiNi alloy wires prestrained at different temperatures is studied in this paper. Experimental results show that prestrain at different temperatures obviously affects the reverse transformation behavior of the TiNi alloy wire. A single peak appears on the DSC curves of wires prestrained at 253-313K (in the martensite state). However deformed at 333K, three consecutive peaks appear on the DSC curves of wires with a smaller prestrain and a single peak appears on the DSC curves of the wires with a larger prestrain. The recovery strain ratio of the wires prestrained at 253-313K are very similar. However, the ratio of the wire predeformed at 333K is obviously smaller than that of the wire prestrained in the martensite state.
基金Project supported by the National Key Project of Fundamental Research of China (Grant No.2012CB932304)the National Natural Science Foundation of China (Grant No.50831006)the Priority Academic Program Development of Jiangsu Higher Education Institutions
文摘Ferromagnetic Ni-Mn-Ga films were fabricated by depositing on MgO (001) substrates at temperatures from 673 K to 923 K. Microstructure, crystal structure, martensitic transformation behavior, and magnetic properties of the films were studied. With increasing deposition temperature, the surface morphology of the films transforms from granular to continu- ous. The martensitic transformation temperature is not dependent on deposition temperature; while transformation behavior is affected substantially by deposition temperature. X-ray analysis reveals that the film deposited at 873 K has a 7M marten- site phase, and its magnetization curve provides a typical step-increase, indicating the occurrence of magnetically induced reorientation (MIR). In situ magnetic domain structure observation on the film deposited at 873 K reflects that the marten- sitic transformation could be divided into two periods: nucleation and growth, in the form of stripe domains. The MIR occurs at the temperature at which martensitic transformation starts, and the switching field increases with the decrease of temperature due to damped thermal activation. The magnetically induced martensitic transformation is related to the difference of magnetization between martensite and austenite. A shift of martensite temperature of dT/dH = 0.43 K/T is observed, consistent with the theoretical value, 0.41 K/T.
文摘Measurements of electrical resistivity, X-ray diffraction, and tensile test at room temperature and ?196°C were performed to investigate the effects of Al addition substituting Ni on the phase transformation behaviors, the mechanical properties, and the shape memory effects of Ti50Ni47Fe2Al1 and Ti50Ni46.5Fe2.5Al1 alloys. It is found that 1at% Al addition dramatically decreases the martensitic start transformation temperature and expands the transformation temperature range of R-phase for TiNiFeAl alloys. The results of tensile test indicate that 1at% Al improves the yield strength of Ti50Ni47Fe2Al1 and Ti50Ni46.5Fe2.5Al1 alloys by 40% and 64%, but de- creases the plasticity to 11% and 12% from 26% and 27% respectively. Moreover, excellent shape memory effect of 6.6% and 7.5% were found in Ti50Ni47Fe2Al1 and Ti50Ni46.5Fe2.5Al1 alloys, which results from the stress-induced martensite transformation from the R-phase.
文摘The effect of adding Ta on the changes of microstructure and Ms temperature of a dualphase shape memory alloy with compositions of (Ni51 Ti49)1 -x.Tax. and Ni50-Ti50 -g.Ta.g were systematically studied. An optical microscope, SEM, X-ray diffraction and DSC were utilized in this work. The evolution of the microstructure as a function of Ta content was characterized. The variation of the Ni/Ti ratio in the NiTi phase plays an important role in the change of the Ms temperatures due to the addition of Ta. A pseudobinary NiTi-Ta phase diagram was proposed based on these results.
基金Supported by the Research Fund for the Doctoral Program of Higher Education of China for New Teachers (20091404120002) the Shanxi Provincial Science Foundation for Youths of China (2011021008-1)
文摘The influence of crown ether on behaviors of arsenic at different temperatures and residence time was investigated during the pyrolysis of Tuanbo (TB) coal. The modes of occurrence of arsenic were determined by sequential chemical extraction, density fractionation and demineralization. The results indicated that at the same temperature and residence time, the arsenic removal adding dibenzo-18-crown-6 was higher than that adding 18-crown-6, and were all higher than that of TB coal during pyrolysis. When temperature was 850 ℃ and residence time was 30 min, the arsenic removal of TB coal was 30.63%; at the same condition, the arsenic removal while adding 18-crown-6 was 33.21%, higher than that of TB coal; and the arsenic removal while adding dibenzo-18-crown-6 was 67.41%, significantly higher than that of TB coal. From the results, we can see that adding crown ether can improve the arsenic removal during coal pyrolysis, and especially be conducive to the arsenic which is mainly associated with sulfates & monosulfides and that in stable forms.
基金Fundey by the Major State Basic Research Development Program of China(973 Program)(No.2015CB655101)the National Natural Science Foundations of China(No.51379163)
文摘This work focuses on the dynamic rheological behavior of low water-to-binder ratio cement mortars blended with fly ash microspheres(FAM) or silica fume(SF). The initial slump flow of each group has been controlled at similar values by adjusting the superplasticizer dosages. With the help of a coaxial cylinder rheometer, the dynamic rheological behaviors of these mortars are investigated by frequency sweeping in the range of 0-2 Hz under large amplitude oscillatory shear(LAOS). Based on the systematical elaboration of dynamic rheological testing theory, the experimental data are processed according to Lissajous plot fitting to reveal the viscoelastic characteristics. The nonlinearity of response signals is further assessed with Fourier transform(FT) analysis. The parameters, storage modulus G', loss modulus G" and relative amplitude I3/I1 are proposed to clarify the influences of FAM and SF on the stability and energy consumption of local structures and nonlinearity of response torques. The hydration characteristics of various groups well confirmed the rheological phenomenon. This study is beneficial for the preparation and optimization of flow state concrete such as pumping concrete and self-compacting concrete.
基金sponsored by the Natural and Science Foundation of China(Grant No.52275331)the Key-Area Research and Development Program of Guangdong Province(No.2020B090923001)+3 种基金the Key Research and Development Program of Hubei Province(No.2022BAA011)the Academic Frontier Youth Team(2018QYTD04)at Huazhong University of Science and Technology(HUST)the Hong Kong Scholars Program(No.XJ2022014)the Laboratory Project of Science and Technology on Power Beam Processes Laboratory。
文摘NiTi alloys have drawn significant attentions in biomedical and aerospace fields due to their unique shape memory effect(SME),superelasticity(SE),damping characteristics,high corrosion resistance,and good biocompatibility.Because of the unsatisfying processabilities and manufacturing requirements of complex NiTi components,additive manufacturing technology,especially laser powder bed fusion(LPBF),is appropriate for fabricating NiTi products.This paper comprehensively summarizes recent research on the NiTi alloys fabricated by LPBF,including printability,microstructural characteristics,phase transformation behaviors,lattice structures,and applications.Process parameters and microstructural features mainly influence the printability of LPBF-processed NiTi alloys.The phase transformation behaviors between austenite and martensite phases,phase transformation temperatures,and an overview of the influencing factors are summarized in this paper.This paper provides a comprehensive review of the mechanical properties with unique strain-stress responses,which comprise tensile mechanical properties,thermomechanical properties(e.g.critical stress to induce martensitic transformation,thermo-recoverable strain,and SE strain),damping properties and hardness.Moreover,several common structures(e.g.a negative Poisson’s ratio structure and a diamond-like structure)are considered,and the corresponding studies are summarized.It illustrates the various fields of application,including biological scaffolds,shock absorbers,and driving devices.In the end,the paper concludes with the main achievements from the recent studies and puts forward the limitations and development tendencies in the future.
基金Project(200804)supported by State Key Laboratory of Advanced Welding and Joining,Harbin Institute of Technology,China
文摘Butt welding of 0.2 mm-thick TiNi shape memory alloy sheet (SMA) was carried out using impulse laser, and tensile strength, fracture morphology, microstructure and phase change behaviour of welded joint were studied. The results show that using impulse laser can realize good butt welding of TiNi SMA sheet, tensile strength of welded joint is 683 MPa, which achieves 97% of that of cold rolled base metal, and the fracture mode of welded joint is ductile type as well as base metal. The welded joint can be divided into four zones according to grain size and microstructure. The microstructures of welded seam center zone are fine equiaxed crystals and the microstructures of both lower surface and upper surface edge zones are columnar crystals. When welded joint is vacuum annealed after welding, the phase transformation process is basically similar to the annealed base metal.
基金Item Sponsored by National Natural Science Foundation of China (50527402)
文摘Continuous cooling transformation behaviors of low carbon steels with two Si contents (0. 50% and 1. 35%) were investigated under undeformed and deformed conditions. Effects of Si contents, deformation, and cooling rates on γ transformation start temperature (Ar3), phase microstructures, and hardness were studied. The results show that, in the ease of the deformation with the true strain of 0. 4, the length of bainitic ferrite laths is significantly decreased in low Si steel, whereas, the M/A constituent becomes more uniform in high Si steel. An increase in cooling rates lowers the Ar3 greatly. The steel with higher level of Si exhibits higher Ar3, and higher hardness both under undeformed and deformed conditions compared with the steel with a lower Si content. Especially, the influence of Si on At3 is dependent on deformation. Such effects are more significant under the undeformed condition. The hardness of both steels increases with the increase of cooling rates, whereas, the deformation involved in both steels reduces the hardness.
基金The authors would like to thank anonymous reviewers for their helpful comments and suggestions. Special thanks to Raymond Cheng, Andrew Liu and Yuan Yao for their careful revisions. This work was supported by the National Natural Science Foundation of China under (Grant Nos. 91118004, 61232007), and the Innovation Program of Shanghai Municipal Education Commission (13ZZ023).
文摘Architectural modeling and behavior analysis are two important concerns in the software development. They are often implemented separately, and specified by their own supporting notations. Architectural modeling helps to guarantee the system design to satisfy the requirement, and behavior analysis can ensure the interaction correctness. To improve the trustworthiness, methods trying to combine architectural modeling and behavior analysis notations together have been proposed, e.g., establishing a one-way mapping relation. However, the one-way relation cannot ensure updating one notation specifications in accordance with the other one, which results in inconsistency problems. In this paper, we present an approach to integrating behavior analysis into architectural modeling, which establishes the interoperability between architectural modeling notation and behavior analysis notation by a bidirectional mapping. The architecture is specified by the modeling language, architecture analysis and design language (AADL), and then mapped to behavior analysis notation, Darwin/FSP (finite state process) through the bidirectional transformation. The bidirectional transformarion provides traceability, which makes behavior analysis result provided by a model checker can be traced and reflected back to the original AADL specifications. In this way, the behavior analysis is integrated into architectural modeling. The feasibility of our approach is shown by a control system example.
文摘An expression of the 3-D pulsating source of Michell type with forward speed for infinite water depth is derived in the present paper based on the Fourier transformation and contour integration technique. Emphases are laid on the discussion of the mechanical feature of the source and the radiation behavior far from the source. The relative importance of each components of the pulsating source is discussed in detail. Compared with the commonly used pulsating source of Haskind type, the present expression has the merits of simplicity for numerical treatment and being more meaningful in its physical explanation. The Michell type expression of the 3-D pulsating source with forward speed can be widely used for the estimation of motions and wave forces for ships and offshore structures in waves with forward speed. The radiative behavior of the source in the far field may also give a reasonabel description of the radiation condition or the open boundary condition for other numerical methods, such as the Rankine source method etc.