Improving the focusing capability of pre-stack time migration allows the imaged section to reflect structural characteristics, depth, and interface shape and it is a key step for the preparation of the initial depth m...Improving the focusing capability of pre-stack time migration allows the imaged section to reflect structural characteristics, depth, and interface shape and it is a key step for the preparation of the initial depth migration velocity model. The traditional symmetrical travel time equation is derived based on the assumption of a layered model. It is difficult to achieve the desired effect of focusing in media with strong lateral variation. The nonsymmetrical travel time equation based on Lie algebra and a pseudo-differential operator contains a lateral velocity derivative which can improve the focusing capability even in strongly lateral variable media and also the computation precision of the weight coefficients for relative amplitude preservation. Compared with the symmetrical methods, the nonsymmetrical method is more effective. In this paper, we describe several key steps of nonsymmetric pre-stack travel time calculation and present some test results using synthetic and real data.展开更多
In this paper,an elasto-viscoplastic three-dimension(3D) finite element model is developed to simulate the processing of bimetal tube with rotary swaging. Through simulation,the effects of high-frequency pulse strokin...In this paper,an elasto-viscoplastic three-dimension(3D) finite element model is developed to simulate the processing of bimetal tube with rotary swaging. Through simulation,the effects of high-frequency pulse stroking on the distribution and histories of stress,stain and loading are clarified. The stress in inner tube is compressive and higher than the minimum bonding force. Meanwhile,the stiffness of inner tube impacts outer tube extension in length.展开更多
Group signature schemes are fundamental cryptographic tools. A group signature scheme allows members of a group to anonymously sign misuse, the anonymity messages. To counter can be revoked by the group manager. The g...Group signature schemes are fundamental cryptographic tools. A group signature scheme allows members of a group to anonymously sign misuse, the anonymity messages. To counter can be revoked by the group manager. The group joining operation is a critical component of group signature scheme, the framing attack can be prevented by group joining processes. This paper presents an efficient group signature scheme with a simple joining protocol that is based on a "single message and signature response" interaction between the prospective user and the group manager. The security of our group signature is based on the Discrete Logarithm assumption and Decisional Linear Diffie- Hellman assumption. The formal security proof of our scheme is given in the random oracle model. Our scheme is also a very efficient short group signature scheme with efficient concurrent join.展开更多
A mesoscopic model has been established to investigate the thermodynamic mechanisms and densification behavior of nickel-based superalloy during additive manufacturing/three-dimensional (3D) printing (AM/3DP) by n...A mesoscopic model has been established to investigate the thermodynamic mechanisms and densification behavior of nickel-based superalloy during additive manufacturing/three-dimensional (3D) printing (AM/3DP) by numerical simulation, using a finite volume method (FVM). The influence of the applied linear energy density (LED) on dimensions of the molten pool, thermodynamic mechanisms within the pool, bubbles migration and resultant densification behavior of AM/3DP-processed superalloy has been discussed. It reveals that the center of the molten pool slightly shifts with a lagging of 4 ktm towards the center of the moving laser beam. The Mar- angoni convection, which has various flow patterns, plays a crucial role in intensifying the convective heat and mass transfer, which is responsible for the bubbles migration and densification behavior of AM/3DP-processed parts. At an optimized LED of 221.5 J/m, the outward convection favors the numerous bubbles to escape from the molten pool easily and the resultant considerably high relative density of 98.9 % is achieved. However, as the applied LED further increases over 249.5 J/m, the convection pattern is apparently intensified with the formation of vortexes and the bubbles tend to be entrapped by the rotating flow within the molten pool, resulting in a large amount of residual porosity and a sharp reduction in densification of the superalloy. The change rules of the relative density and the corresponding distribution of porosity obtained by experiments are in accordance with the simulation results.展开更多
We focus on second order duality for a class of multiobjective programming problem subject to cone constraints. Four types of second order duality models are formulated. Weak and strong duality theorems are establishe...We focus on second order duality for a class of multiobjective programming problem subject to cone constraints. Four types of second order duality models are formulated. Weak and strong duality theorems are established in terms of the generalized convexity, respectively. Converse duality theorems, essential parts of duality theory, are presented under appropriate assumptions. Moreover, some deficiencies in the work of Ahmad and Agarwal(2010) are discussed.展开更多
A new model,called object model,for the simulation of cold roll-forming of tubes is presented.The model inherits the advantages of old models and is the embodiment of forming process that the strip is rolled step by s...A new model,called object model,for the simulation of cold roll-forming of tubes is presented.The model inherits the advantages of old models and is the embodiment of forming process that the strip is rolled step by step from feed rollers to last rolling pass.The elastic-plastic large deformation spline finite strip method based on updated Lagrangian method has been developed by improving the stiffness and transition matrix.Combined theory formulas and new analytical model,the forming process of a tube has been simulated successfully as an example.The analytical results are submitted and indicate that the proposed simulation method and new model are applicable.展开更多
基金This research was supported by the National Basic Research Program of China (Grant No. 2007CB209603), Key Project of the National Natural Science Foundation (Grant No. 40830424), State Key Laboratory of Geological Processes and Mineral Resources Geo-detection Laboratory of the Ministry of Education for their sponsorship (GPMR 200633, GDL0801).
文摘Improving the focusing capability of pre-stack time migration allows the imaged section to reflect structural characteristics, depth, and interface shape and it is a key step for the preparation of the initial depth migration velocity model. The traditional symmetrical travel time equation is derived based on the assumption of a layered model. It is difficult to achieve the desired effect of focusing in media with strong lateral variation. The nonsymmetrical travel time equation based on Lie algebra and a pseudo-differential operator contains a lateral velocity derivative which can improve the focusing capability even in strongly lateral variable media and also the computation precision of the weight coefficients for relative amplitude preservation. Compared with the symmetrical methods, the nonsymmetrical method is more effective. In this paper, we describe several key steps of nonsymmetric pre-stack travel time calculation and present some test results using synthetic and real data.
基金National Natural Science Foundation of China(No.51175413)
文摘In this paper,an elasto-viscoplastic three-dimension(3D) finite element model is developed to simulate the processing of bimetal tube with rotary swaging. Through simulation,the effects of high-frequency pulse stroking on the distribution and histories of stress,stain and loading are clarified. The stress in inner tube is compressive and higher than the minimum bonding force. Meanwhile,the stiffness of inner tube impacts outer tube extension in length.
基金This paper is supported by the National Natural Science Foundation of China under Grant No. 61072140, 61373171 the Program of Introducing Talents of Discipline to Universities NO. B08038 the Specialized Research Fund for the Doctoral Program of Higher Education No. 20100203110003.
文摘Group signature schemes are fundamental cryptographic tools. A group signature scheme allows members of a group to anonymously sign misuse, the anonymity messages. To counter can be revoked by the group manager. The group joining operation is a critical component of group signature scheme, the framing attack can be prevented by group joining processes. This paper presents an efficient group signature scheme with a simple joining protocol that is based on a "single message and signature response" interaction between the prospective user and the group manager. The security of our group signature is based on the Discrete Logarithm assumption and Decisional Linear Diffie- Hellman assumption. The formal security proof of our scheme is given in the random oracle model. Our scheme is also a very efficient short group signature scheme with efficient concurrent join.
基金supported by the National Natural Science Foundation of China (51575267, 51322509)the Top-Notch Young Talents Program of China+9 种基金the Outstanding Youth Foundation of Jiangsu Province of China (BK20130035)the Program for New Century Excellent Talents in University (NCET-13-0854)the Science and Technology Support Program (the Industrial Part)Jiangsu Provincial Department of Science and Technology of China (BE2014009-2)the 333 high-level talents training project (BRA2015368)the Science and Technology Foundation for Selected Overseas Chinese Scholar, Ministry of Human Resources and Social Security of Chinathe Aeronautical Science Foundation of China (2015ZE52051)the Shanghai Aerospace Science and Technology Innovation Fund (SAST2015053)the Fundamental Research Funds for the Central Universities (NE2013103, NP2015206 and NZ2016108)the Priority Academic Program Development of Jiangsu Higher Education Institutions
文摘A mesoscopic model has been established to investigate the thermodynamic mechanisms and densification behavior of nickel-based superalloy during additive manufacturing/three-dimensional (3D) printing (AM/3DP) by numerical simulation, using a finite volume method (FVM). The influence of the applied linear energy density (LED) on dimensions of the molten pool, thermodynamic mechanisms within the pool, bubbles migration and resultant densification behavior of AM/3DP-processed superalloy has been discussed. It reveals that the center of the molten pool slightly shifts with a lagging of 4 ktm towards the center of the moving laser beam. The Mar- angoni convection, which has various flow patterns, plays a crucial role in intensifying the convective heat and mass transfer, which is responsible for the bubbles migration and densification behavior of AM/3DP-processed parts. At an optimized LED of 221.5 J/m, the outward convection favors the numerous bubbles to escape from the molten pool easily and the resultant considerably high relative density of 98.9 % is achieved. However, as the applied LED further increases over 249.5 J/m, the convection pattern is apparently intensified with the formation of vortexes and the bubbles tend to be entrapped by the rotating flow within the molten pool, resulting in a large amount of residual porosity and a sharp reduction in densification of the superalloy. The change rules of the relative density and the corresponding distribution of porosity obtained by experiments are in accordance with the simulation results.
基金supported by National Natural Science Foundation of China (Grant Nos. 11431004, 11271391 and 11201511)the Project of Chongqing Science and Technology Committee (Grant No. cstc2014pt-sy00001)Theoretical Foundation and Application Procedure of Environmental Data Envelopment Analysis Model (Grant No. B-Q22L)
文摘We focus on second order duality for a class of multiobjective programming problem subject to cone constraints. Four types of second order duality models are formulated. Weak and strong duality theorems are established in terms of the generalized convexity, respectively. Converse duality theorems, essential parts of duality theory, are presented under appropriate assumptions. Moreover, some deficiencies in the work of Ahmad and Agarwal(2010) are discussed.
基金the National Natural Science Foundation of China (No. 50375135)the Talent Foundation of Beijing Jiaotong University (No. 2003RC059)
文摘A new model,called object model,for the simulation of cold roll-forming of tubes is presented.The model inherits the advantages of old models and is the embodiment of forming process that the strip is rolled step by step from feed rollers to last rolling pass.The elastic-plastic large deformation spline finite strip method based on updated Lagrangian method has been developed by improving the stiffness and transition matrix.Combined theory formulas and new analytical model,the forming process of a tube has been simulated successfully as an example.The analytical results are submitted and indicate that the proposed simulation method and new model are applicable.