Objective To study mechanics characteristics of two cooperative reconfigurable planetary robots when they get across an obstacle, and to find out the relationship between the maximum height of a stair with the configu...Objective To study mechanics characteristics of two cooperative reconfigurable planetary robots when they get across an obstacle, and to find out the relationship between the maximum height of a stair with the configuration of the two-robot, and to find some restrictions of kinematics for the cooperation. Methods Multirobot cooperation theory is used in the whole study process. Inverse kinematics of the robot is used to form a desired configuration in the cooperation process. Static equations are established to analyze the relations between the friction factor, the configuration of robots and the maximum height of a stair. Kinematics analysis is used to find the restrictions of the two collaborative robots in position, velocity and acceleration. Results 3D simulation shows that the two cooperative robots can climb up a stair under the condition of a certain height and a certain friction factor between robot wheel and the surface of the stair. Following the restrictions of kinematics, the climbing mission is fulfilled successfully and smoothly. Conclusion The maximum height of a stair, which the two cooperative robots can climb up, is involved in the configuration of robots, friction factor between the stair and the robots. The most strict restriction of the friction factor does not appear in the horizontal position. In any case, the maximum height is smaller than half of the distance between the centroid of robot1 with the centroid of robot2. However, the height can be higher than the radius of one robot wheel, which profit from the collaboration.展开更多
Due to their superior properties, the interest in nanostructures is increasing today in engineering. This study presents a new two-noded curved finite element for analyzing the in-plane static behaviors of curved nano...Due to their superior properties, the interest in nanostructures is increasing today in engineering. This study presents a new two-noded curved finite element for analyzing the in-plane static behaviors of curved nanobeams. Opposite to traditional curved finite elements developed by using approximate interpolation functions, the proposed curved finite element is developed by using exact analytical solutions. Although this approach was first introduced for analyzing the mechanical behaviors of macro-scale curved beams by adopting the local theory of elasticity, the exact analytical expressions used in this study were obtained from the solutions of governing equations that were expressed via the differential form of the nonlocal theory of elasticity. Therefore, the effects of shear strain and axial extension included in the analytical formulation are also inherited by the curved finite element developed here. The rigidity matrix and the consistent force vector are developed for a circular finite element. To demonstrate the applicability of the method, static analyses of various curved nanobeams subjected to different boundary conditions and loading scenarios are performed, and the obtained results are compared with the exact analytical ones. The presented study provides an accurate and low computational cost method for researchers to investigate the in-plane static behavior of curved nanobeams.展开更多
Stubble-breaking device is a key working part of no-tillage seeder in stub land,and directly affects planting quality of seeder.Based on the current domestic used stubble-breaking device,a new kind of stubble-breaking...Stubble-breaking device is a key working part of no-tillage seeder in stub land,and directly affects planting quality of seeder.Based on the current domestic used stubble-breaking device,a new kind of stubble-breaking ditching colter was designed.To study its strength property and reduce trouble in work,the three-dimensional model of stubble-breaking ditching colter was established based on SolidWorks.By using Cosmos,it was carried out the finite element analysis.The distortion and stress of stubble-breaking ditching colter in work were obtained,and the weak link of strength was found.The result showed that the maximum stress of stubble-breaking ditching colter was 5.862×108 N/m2,and the maximum twisted displacement was 2.648 mm.The stubble-breaking ditching colter was carried out improved design.Based on Cosmos,the static analysis was carried out.It showed that the strength and rigidity of improved stubble-breaking ditching colter were obviously improved.The research provided reference basis for optimal design of the stubble-breaking ditching colter.展开更多
As the elderly population continues to grow, the number of patients with low back pain is gradually increasing. Among them, Lumbar Degenerative Diseases (LDD) is one of the major contributors to low back pain. Biomech...As the elderly population continues to grow, the number of patients with low back pain is gradually increasing. Among them, Lumbar Degenerative Diseases (LDD) is one of the major contributors to low back pain. Biomechanical in vivo studies of the lumbar spine are mainly performed by implants or imaging data to record the real-time changes of form and stress on the intervertebral disc during motion. However, the current developments are slow due to the technological and ethical limitations. In vitro experiments include animal experiments and cadaver experiments, which are difficult to operate or differ greatly from normal human structures, and the results still need to be verified repeatedly to test their accuracy. As for finite element method, it is relatively low cost and can repeat the experimental results. Therefore, we believe that finite element analysis plays an extremely important role in biomechanical research, especially in analyzing the relationship between different surgical models and the degeneration caused by different mechanics.展开更多
Shift-share analysis has been confirmed a useful approach in the study of regional economics and many kinds of extended shift-share models have been advanced and put into practice in economic studies, but few have hit...Shift-share analysis has been confirmed a useful approach in the study of regional economics and many kinds of extended shift-share models have been advanced and put into practice in economic studies, but few have hitherto been introduced and applied to the tourism research in China. Moreover understanding the spatially competitive relationship is of paramount importance for marketers, developers, and planners involved in tourism strategy development. Based on international tourism receipts from 1995 to 2004, this study aims at probing into the spatial competitiveness of interna- tional tourism in Jiangsu Province in comparison with its neighbors by applying a spatially extended shift-share model and a modified dynamic shift-share model. The empirical results illustrate that exceptional years may exist in the ap- plication of dynamic shift-share models. To solve this issue, modifications to dynamic shift-share model are put forward. The analytical results are not only presented but also explained by the comparison of background conditions of tourism development between Jiangsu and its key competitors. The conclusions can be drawn that the growth of international tourism receipts in Jiangsu mainly attributes to the national component and the competitive component and Zhejiang is the most important rival to Jiangsu during the period of 1995-2004. In order to upgrade the tourism competitiveness, it is indispensable for Jiangsu to take proper positioning, promoting and marketing strategies and to cooperate and integrate with its main rivals.展开更多
To detect security vulnerabilities in a web application,the security analyst must choose the best performance Security Analysis Static Tool(SAST)in terms of discovering the greatest number of security vulnerabilities ...To detect security vulnerabilities in a web application,the security analyst must choose the best performance Security Analysis Static Tool(SAST)in terms of discovering the greatest number of security vulnerabilities as possible.To compare static analysis tools for web applications,an adapted benchmark to the vulnerability categories included in the known standard Open Web Application Security Project(OWASP)Top Ten project is required.The information of the security effectiveness of a commercial static analysis tool is not usually a publicly accessible research and the state of the art on static security tool analyzers shows that the different design and implementation of those tools has different effectiveness rates in terms of security performance.Given the significant cost of commercial tools,this paper studies the performance of seven static tools using a new methodology proposal and a new benchmark designed for vulnerability categories included in the known standard OWASP Top Ten project.Thus,the practitioners will have more precise information to select the best tool using a benchmark adapted to the last versions of OWASP Top Ten project.The results of this work have been obtaining using widely acceptable metrics to classify them according to three different degree of web application criticality.展开更多
Robust numerical models that describe the complex behaviors of risers are needed because these constitute dynamically sensitive systems. This paper presents a simple and efficient algorithm for the nonlinear static an...Robust numerical models that describe the complex behaviors of risers are needed because these constitute dynamically sensitive systems. This paper presents a simple and efficient algorithm for the nonlinear static and dynamic analyses of marine risers. The proposed approach uses the vector form intrinsic finite element(VFIFE) method, which is based on vector mechanics theory and numerical calculation. In this method, the risers are described by a set of particles directly governed by Newton's second law and are connected by weightless elements that can only resist internal forces. The method does not require the integration of the stiffness matrix, nor does it need iterations to solve the governing equations. Due to these advantages, the method can easily increase or decrease the element and change the boundary conditions, thus representing an innovative concept of solving nonlinear behaviors, such as large deformation and large displacement. To prove the feasibility of the VFIFE method in the analysis of the risers, rigid and flexible risers belonging to two different categories of marine risers, which usually have differences in modeling and solving methods, are employed in the present study. In the analysis, the plane beam element is adopted in the simulation of interaction forces between the particles and the axial force, shear force, and bending moment are also considered. The results are compared with the conventional finite element method(FEM) and those reported in the related literature. The findings revealed that both the rigid and flexible risers could be modeled in a similar unified analysis model and that the VFIFE method is feasible for solving problems related to the complex behaviors of marine risers.展开更多
In this paper, the authors use the finite element method to conduct a special static analysis for the loadout procedure of offshore structures. By introducing a variable Xmove (the distance between the relative coordi...In this paper, the authors use the finite element method to conduct a special static analysis for the loadout procedure of offshore structures. By introducing a variable Xmove (the distance between the relative coordinate system fixed in the moving upper structure and the absolute coordinate system fixed on slideway), adopting substructure to treat the upper structure, and using the elastic foundation beam to model the slideway, the model for the analysis of the loadoul procedure is established. On the basis of this model, DASOS-J loadout program, a program system for the static analysis of loadout offshore structures, is also developed.展开更多
Coupled effects on a single point mooring(SPM) system subjected to the combined action of wind,waves and current are studied in this paper. Due to the complicatedness of the sea state and the huge size of the vessel,p...Coupled effects on a single point mooring(SPM) system subjected to the combined action of wind,waves and current are studied in this paper. Due to the complicatedness of the sea state and the huge size of the vessel,physical experimental study is both time consuming and uneconomical,whereas the numerical study is cost-effective and DNV software provides powerful SESAM software in solving the issues. This paper focuses on the modeling process of the SPM system,catenary equilibrium calculation,static analysis of the vessel in three different scenarios,and dynamic response simulation of the SPM system under environmental excitations. The three scenarios in study are as follows:the SPM is under the combined function of(a) wind,waves and current,(b) wind and waves,(c) current and waves. They are so set that one can compare the contributions of different types of loads in both static and dynamic studies. Numerical study shows that wind and current are the two major factors contributing to the mooring line tension,and surge and sway are the two dominant motions of the moored vessel subjected to environmental excitations.展开更多
Based on the method of reverberation ray matrix（MRRM）, a reverberation matrix for planar framed structures composed of anisotropic Timoshenko（T） beam members containing completely hinged joints is developed for st...Based on the method of reverberation ray matrix（MRRM）, a reverberation matrix for planar framed structures composed of anisotropic Timoshenko（T） beam members containing completely hinged joints is developed for static analysis of such structures.In the MRRM for dynamic analysis, amplitudes of arriving and departing waves for joints are chosen as unknown quantities. However, for the present case of static analysis, displacements and rotational angles at the ends of each beam member are directly considered as unknown quantities. The expressions for stiffness matrices for anisotropic beam members are developed. A corresponding reverberation matrix is derived analytically for exact and unified determination on the displacements and internal forces at both ends of each member and arbitrary cross sectional locations in the structure. Numerical examples are given and compared with the finite element method（FEM） results to validate the present model. The characteristic parameter analysis is performed to demonstrate accuracy of the present model with the T beam theory in contrast with errors in the usual model based on the Euler-Bernoulli（EB） beam theory. The resulting reverberation matrix can be used for exact calculation of anisotropic framed structures as well as for parameter analysis of geometrical and material properties of the framed structures.展开更多
The hoist bracket links the rescue hoist with the helicopter cabin, and its structure design greatly affects the operation convenience and safety of the hoistman and lifeguard in the rescue process with a helicopter.T...The hoist bracket links the rescue hoist with the helicopter cabin, and its structure design greatly affects the operation convenience and safety of the hoistman and lifeguard in the rescue process with a helicopter.This paper firstly builds the force model of the hoist and bracket, and gives five kinds of typical working conditions as the design ones of the bracket. Then this paper puts forward a design process of the hoist bracket based on the topology optimization and strength analysis with the 3D modeling and finite element analysis. This design process can make the bracket's structure lightweight by achieving the optimal material layout under the conditions of maximizing the static stiffness or minimizing the compliance of the bracket. And this improves the dynamic performance of the helicopter, and reduces the fuel consumption and cost under the strength constraints. Finally,taking the design of the hoist bracket used in a rescue helicopter as an example, this paper illustrates the proposed model and method. The analysis results show that the mass of the hoist bracket decreases by 12.5% while the static stiffness of the hoist bracket is achieved. The optimization design results meet the strength requirements of the hoist.展开更多
I IntroductionSmartphones have become more complex in terms of functions and third-party applications, and this makes lhem a living space for malware. People store private information such as accounts and passwordson ...I IntroductionSmartphones have become more complex in terms of functions and third-party applications, and this makes lhem a living space for malware. People store private information such as accounts and passwordson their smartphones, the loss of which could have serious con- sequences.展开更多
Fuzzing is an effective technique to find security bugs in programs by quickly exploring the input space of programs.To further discover vulnerabilities hidden in deep execution paths,the hybrid fuzzing combines fuzzi...Fuzzing is an effective technique to find security bugs in programs by quickly exploring the input space of programs.To further discover vulnerabilities hidden in deep execution paths,the hybrid fuzzing combines fuzzing and concolic execution for going through complex branch conditions.In general,we observe that the execution path which comes across more and complex basic blocks may have a higher chance of containing a security bug.Based on this observation,we propose a hybrid fuzzing method assisted by static analysis for binary programs.The basic idea of our method is to prioritize seed inputs according to the complexity of their associated execution paths.For this purpose,we utilize static analysis to evaluate the complexity of each basic block and employ the hardware trace mechanism to dynamically extract the execution path for calculating the seed inputs’weights.The key advantage of our method is that our system can test binary programs efficiently by using the hardware trace and hybrid fuzzing.To evaluate the effectiveness of our method,we design and implement a prototype system,namely SHFuzz.The evaluation results show SHFuzz discovers more unique crashes on several real-world applications and the LAVA-M dataset when compared to the previous solutions.展开更多
The force analysis of overconstrained PMs is relatively complex and difficult, for which the methods have always been a research hotspot. However, few liter- atures analyze the characteristics and application scopes o...The force analysis of overconstrained PMs is relatively complex and difficult, for which the methods have always been a research hotspot. However, few liter- atures analyze the characteristics and application scopes of the various methods, which is not convenient for researchers and engineers to master and adopt them prop- erly. A review of the methods for force analysis of both passive and active overconstrained PMs is presented. The existing force analysis methods for these two kinds of overconstrained PMs are classified according to their main ideas. Each category is briefly demonstrated and evaluated from such aspects as the calculation amount, the compre- hensiveness of considering limbs＇ deformation, and the existence of explicit expressions of the solutions, which provides an important reference for researchers and engi- neers to quickly find a suitable method. The similarities and differences between the statically indeterminate prob- lem of passive overconstrained PMs and that of active overconstrained PMs are discussed, and a universal method for these two kinds of overconstrained PMs is pointed out. The existing deficiencies and development directions of the force analysis methods for overconstrained systems are indicated based on the overview.展开更多
This paper studies the static deformation behavior of a piezoelectric micromachined ultrasonic transducer （PMUT） actuated by a strong external electric field. The transducer membrane consists of a piezoelectric laye...This paper studies the static deformation behavior of a piezoelectric micromachined ultrasonic transducer （PMUT） actuated by a strong external electric field. The transducer membrane consists of a piezoelectric layer, a passive layer and two electrode layers. The nonlinearities of the piezoelectric layer caused by electrostriction under a strong electric field are analyzed. Because the thickness of the transducer membrane is on the microscale, the size dependence of the deformation behavior is evaluated using the couple stress theory. The results show that the optimal ratio of the top electrode diameter and the membrane diameter is around 0.674. It is also found that this optimal value does not depend on any other parameters if the thicknesses of the two electrodes are negligible compared with those of the piezo- electric and passive layers. In addition, the nonlinearities of the piezoelectric layer will become stronger along with the increase of the electric field, which means that softening of the membrane stiffness occurs when a strong external electric field is applied. Meanwhile, the optimal thickness ratio for the passive layer and the piezoelectric layer is not equal to 1.0 which is usually adopted by previous researchers. Because there exists size dependence of membrane deforma-tion, the optimal value of this thickness ratio needs to be greater than 1.0 on the microscale.展开更多
Static stability analysis of the two-point mooring autonomous underwater vehicle(AUV) is presented.The mathematic model is a set of equilibrium equations describing the attitude of the AUV.The mooring lines are regard...Static stability analysis of the two-point mooring autonomous underwater vehicle(AUV) is presented.The mathematic model is a set of equilibrium equations describing the attitude of the AUV.The mooring lines are regarded as inelastic catenaries,and five degrees of freedom of AUV are considered.The stability of the system is represented by inequality conditions between several physical quantities and the corresponding limitations.We analyze stability of the prime AUV and find that the AUV has a flow-following tendency,which makes the swing angle big.The result shows that the two-point mooring AUV can remain stable under 2.5 kn ocean current speed,and it will weigh anchor when the speed is greater than 3 kn.Subsequent parametric study reveals the influence of the designing parameters on the stability.展开更多
A simple method is proposed, for incremental static analysis of a set of inter-colliding particles, simulating 2D flow. Within each step of proposed algorithm, the particles perform small displacements, proportional t...A simple method is proposed, for incremental static analysis of a set of inter-colliding particles, simulating 2D flow. Within each step of proposed algorithm, the particles perform small displacements, proportional to the out-of-balance forces, acting on them. Numerical experiments show that if the liquid is confined within boundaries of a set of inter-communicating vessels, then the proposed method converges to a final equilibrium state. This incremental static analysis approximates dynamic behavior with strong damping and can provide information, as a first approximation to 2D movement of a liquid. In the initial arrangement of particles, a rhombic element is proposed, which assures satisfactory incompressibility of the fluid. Based on the proposed algorithm, a simple and short computer program (a “pocket” program) has been developed, with only about 120 Fortran instructions. This program is first applied to an amount of liquid, contained in a single vessel. A coarse and refined discretization is tried. In final equilibrium state of liquid, the distribution on hydro-static pressure on vessel boundaries, obtained by proposed computational model, is found in satisfactory approximation with corresponding theoretical data. Then, an opening is formed, at the bottom of a vertical boundary of initial vessel, and the liquid is allowed to flow gradually to an adjacent vessel. Almost whole amount of liquid is transferred, from first to second vessel, except of few drops-particles, which remain, in equilibrium, at the bottom of initial vessel. In the final equilibrium state of liquid, in the second vessel, the free surface level of the liquid confirms that the proposed rhombing element assures a satisfactory incompressibility of the fluid.展开更多
In the present study,the static and dynamic analyses of elliptical functionally graded sandwich(FGS)plates are investigated.The constituent materials of the sandwich plates are ceramic and metal so that the core is ma...In the present study,the static and dynamic analyses of elliptical functionally graded sandwich(FGS)plates are investigated.The constituent materials of the sandwich plates are ceramic and metal so that the core is made of pure metal,while the face sheets consist of a combination of metal and ceramic according to a four-parameter power-law distribution.Different material profiles such as classic,symmetric,and asymmetric can be obtained using the applied generalized power-law distribution relation.The analysis is performed based on the classical laminated plate theory(CLPT)and the Ritz method.The effects of four parameters in the material distribution relation as well as different geometric parameters on the deflection and natural frequencies of elliptical FGS plates are studied.The results of this study show that with a proper distribution of materials,the optimal static and dynamic behavior can be achieved.The results also indicate that the generalized power-law distribution has significant effects on the natural frequencies of elliptical FGS plates.For example,although the frequency parameter of a plate with ceramic face sheets is more than the one with metal face sheets,the use of larger amounts of ceramic does not necessarily increase the natural frequency of the structure.展开更多
The article proposes an Equivalent Single Layer(ESL)formulation for the linear static analysis of arbitrarily-shaped shell structures subjected to general surface loads and boundary conditions.A parametrization of the...The article proposes an Equivalent Single Layer(ESL)formulation for the linear static analysis of arbitrarily-shaped shell structures subjected to general surface loads and boundary conditions.A parametrization of the physical domain is provided by employing a set of curvilinear principal coordinates.The generalized blendingmethodology accounts for a distortion of the structure so that disparate geometries can be considered.Each layer of the stacking sequence has an arbitrary orientation and is modelled as a generally anisotropic continuum.In addition,re-entrant auxetic three-dimensional honeycomb cells with soft-core behaviour are considered in the model.The unknown variables are described employing a generalized displacement field and pre-determined through-the-thickness functions assessed in a unified formulation.Then,a weak assessment of the structural problem accounts for shape functions defined with an isogeometric approach starting fromthe computational grid.Ageneralizedmethodology has been proposed to define two-dimensional distributions of static surface loads.In the same way,boundary conditions with three-dimensional features are implemented along the shell edges employing linear springs.The fundamental relations are obtained from the stationary configuration of the total potential energy,and they are numerically tackled by employing the Generalized Differential Quadrature(GDQ)method,accounting for nonuniform computational grids.In the post-processing stage,an equilibrium-based recovery procedure allows the determination of the three-dimensional dispersion of the kinematic and static quantities.Some case studies have been presented,and a successful benchmark of different structural responses has been performed with respect to various refined theories.展开更多
In recent years,the rapid development of computer software has led to numerous security problems,particularly software vulnerabilities.These flaws can cause significant harm to users’privacy and property.Current secu...In recent years,the rapid development of computer software has led to numerous security problems,particularly software vulnerabilities.These flaws can cause significant harm to users’privacy and property.Current security defect detection technology relies on manual or professional reasoning,leading to missed detection and high false detection rates.Artificial intelligence technology has led to the development of neural network models based on machine learning or deep learning to intelligently mine holes,reducing missed alarms and false alarms.So,this project aims to study Java source code defect detection methods for defects like null pointer reference exception,XSS(Transform),and Structured Query Language(SQL)injection.Also,the project uses open-source Javalang to translate the Java source code,conducts a deep search on the AST to obtain the empty syntax feature library,and converts the Java source code into a dependency graph.The feature vector is then used as the learning target for the neural network.Four types of Convolutional Neural Networks(CNN),Long Short-Term Memory(LSTM),Bi-directional Long Short-Term Memory(BiLSTM),and Attention Mechanism+Bidirectional LSTM,are used to investigate various code defects,including blank pointer reference exception,XSS,and SQL injection defects.Experimental results show that the attention mechanism in two-dimensional BLSTM is the most effective for object recognition,verifying the correctness of the method.展开更多
基金This workis supported in part by the Hi-tech Research and Development Programof China (2002AA422130) .
文摘Objective To study mechanics characteristics of two cooperative reconfigurable planetary robots when they get across an obstacle, and to find out the relationship between the maximum height of a stair with the configuration of the two-robot, and to find some restrictions of kinematics for the cooperation. Methods Multirobot cooperation theory is used in the whole study process. Inverse kinematics of the robot is used to form a desired configuration in the cooperation process. Static equations are established to analyze the relations between the friction factor, the configuration of robots and the maximum height of a stair. Kinematics analysis is used to find the restrictions of the two collaborative robots in position, velocity and acceleration. Results 3D simulation shows that the two cooperative robots can climb up a stair under the condition of a certain height and a certain friction factor between robot wheel and the surface of the stair. Following the restrictions of kinematics, the climbing mission is fulfilled successfully and smoothly. Conclusion The maximum height of a stair, which the two cooperative robots can climb up, is involved in the configuration of robots, friction factor between the stair and the robots. The most strict restriction of the friction factor does not appear in the horizontal position. In any case, the maximum height is smaller than half of the distance between the centroid of robot1 with the centroid of robot2. However, the height can be higher than the radius of one robot wheel, which profit from the collaboration.
基金supported by Scientific Research Projects Department of Istanbul Technical University.Project Number:MGA-2018-41546.Grant receiver:E.T.
文摘Due to their superior properties, the interest in nanostructures is increasing today in engineering. This study presents a new two-noded curved finite element for analyzing the in-plane static behaviors of curved nanobeams. Opposite to traditional curved finite elements developed by using approximate interpolation functions, the proposed curved finite element is developed by using exact analytical solutions. Although this approach was first introduced for analyzing the mechanical behaviors of macro-scale curved beams by adopting the local theory of elasticity, the exact analytical expressions used in this study were obtained from the solutions of governing equations that were expressed via the differential form of the nonlocal theory of elasticity. Therefore, the effects of shear strain and axial extension included in the analytical formulation are also inherited by the curved finite element developed here. The rigidity matrix and the consistent force vector are developed for a circular finite element. To demonstrate the applicability of the method, static analyses of various curved nanobeams subjected to different boundary conditions and loading scenarios are performed, and the obtained results are compared with the exact analytical ones. The presented study provides an accurate and low computational cost method for researchers to investigate the in-plane static behavior of curved nanobeams.
基金Supported by National Science and Technology Support Plan of China(2011BAF07B01)~~
文摘Stubble-breaking device is a key working part of no-tillage seeder in stub land,and directly affects planting quality of seeder.Based on the current domestic used stubble-breaking device,a new kind of stubble-breaking ditching colter was designed.To study its strength property and reduce trouble in work,the three-dimensional model of stubble-breaking ditching colter was established based on SolidWorks.By using Cosmos,it was carried out the finite element analysis.The distortion and stress of stubble-breaking ditching colter in work were obtained,and the weak link of strength was found.The result showed that the maximum stress of stubble-breaking ditching colter was 5.862×108 N/m2,and the maximum twisted displacement was 2.648 mm.The stubble-breaking ditching colter was carried out improved design.Based on Cosmos,the static analysis was carried out.It showed that the strength and rigidity of improved stubble-breaking ditching colter were obviously improved.The research provided reference basis for optimal design of the stubble-breaking ditching colter.
文摘As the elderly population continues to grow, the number of patients with low back pain is gradually increasing. Among them, Lumbar Degenerative Diseases (LDD) is one of the major contributors to low back pain. Biomechanical in vivo studies of the lumbar spine are mainly performed by implants or imaging data to record the real-time changes of form and stress on the intervertebral disc during motion. However, the current developments are slow due to the technological and ethical limitations. In vitro experiments include animal experiments and cadaver experiments, which are difficult to operate or differ greatly from normal human structures, and the results still need to be verified repeatedly to test their accuracy. As for finite element method, it is relatively low cost and can repeat the experimental results. Therefore, we believe that finite element analysis plays an extremely important role in biomechanical research, especially in analyzing the relationship between different surgical models and the degeneration caused by different mechanics.
基金Under the auspices of the National Natural Science Foundation of China (No. 40371030)
文摘Shift-share analysis has been confirmed a useful approach in the study of regional economics and many kinds of extended shift-share models have been advanced and put into practice in economic studies, but few have hitherto been introduced and applied to the tourism research in China. Moreover understanding the spatially competitive relationship is of paramount importance for marketers, developers, and planners involved in tourism strategy development. Based on international tourism receipts from 1995 to 2004, this study aims at probing into the spatial competitiveness of interna- tional tourism in Jiangsu Province in comparison with its neighbors by applying a spatially extended shift-share model and a modified dynamic shift-share model. The empirical results illustrate that exceptional years may exist in the ap- plication of dynamic shift-share models. To solve this issue, modifications to dynamic shift-share model are put forward. The analytical results are not only presented but also explained by the comparison of background conditions of tourism development between Jiangsu and its key competitors. The conclusions can be drawn that the growth of international tourism receipts in Jiangsu mainly attributes to the national component and the competitive component and Zhejiang is the most important rival to Jiangsu during the period of 1995-2004. In order to upgrade the tourism competitiveness, it is indispensable for Jiangsu to take proper positioning, promoting and marketing strategies and to cooperate and integrate with its main rivals.
文摘To detect security vulnerabilities in a web application,the security analyst must choose the best performance Security Analysis Static Tool(SAST)in terms of discovering the greatest number of security vulnerabilities as possible.To compare static analysis tools for web applications,an adapted benchmark to the vulnerability categories included in the known standard Open Web Application Security Project(OWASP)Top Ten project is required.The information of the security effectiveness of a commercial static analysis tool is not usually a publicly accessible research and the state of the art on static security tool analyzers shows that the different design and implementation of those tools has different effectiveness rates in terms of security performance.Given the significant cost of commercial tools,this paper studies the performance of seven static tools using a new methodology proposal and a new benchmark designed for vulnerability categories included in the known standard OWASP Top Ten project.Thus,the practitioners will have more precise information to select the best tool using a benchmark adapted to the last versions of OWASP Top Ten project.The results of this work have been obtaining using widely acceptable metrics to classify them according to three different degree of web application criticality.
基金supported by the National Key Research and Development Program (No. 2016YFC0802301)the Shandong Province Science and Technology Major Project (No. 2015ZDZX04003)the Natural Science Foundation of Shandong Province (No. ZR2016GM06)
文摘Robust numerical models that describe the complex behaviors of risers are needed because these constitute dynamically sensitive systems. This paper presents a simple and efficient algorithm for the nonlinear static and dynamic analyses of marine risers. The proposed approach uses the vector form intrinsic finite element(VFIFE) method, which is based on vector mechanics theory and numerical calculation. In this method, the risers are described by a set of particles directly governed by Newton's second law and are connected by weightless elements that can only resist internal forces. The method does not require the integration of the stiffness matrix, nor does it need iterations to solve the governing equations. Due to these advantages, the method can easily increase or decrease the element and change the boundary conditions, thus representing an innovative concept of solving nonlinear behaviors, such as large deformation and large displacement. To prove the feasibility of the VFIFE method in the analysis of the risers, rigid and flexible risers belonging to two different categories of marine risers, which usually have differences in modeling and solving methods, are employed in the present study. In the analysis, the plane beam element is adopted in the simulation of interaction forces between the particles and the axial force, shear force, and bending moment are also considered. The results are compared with the conventional finite element method(FEM) and those reported in the related literature. The findings revealed that both the rigid and flexible risers could be modeled in a similar unified analysis model and that the VFIFE method is feasible for solving problems related to the complex behaviors of marine risers.
文摘In this paper, the authors use the finite element method to conduct a special static analysis for the loadout procedure of offshore structures. By introducing a variable Xmove (the distance between the relative coordinate system fixed in the moving upper structure and the absolute coordinate system fixed on slideway), adopting substructure to treat the upper structure, and using the elastic foundation beam to model the slideway, the model for the analysis of the loadoul procedure is established. On the basis of this model, DASOS-J loadout program, a program system for the static analysis of loadout offshore structures, is also developed.
基金This work has been financially supported by the Cultivation Fund of the Key Scientific and Technical Innovation Project,Ministry of Education of China under Grant No.704031by the Natural Science Foundation of Qingdao,Grant No.05-2-JC-88.
文摘Coupled effects on a single point mooring(SPM) system subjected to the combined action of wind,waves and current are studied in this paper. Due to the complicatedness of the sea state and the huge size of the vessel,physical experimental study is both time consuming and uneconomical,whereas the numerical study is cost-effective and DNV software provides powerful SESAM software in solving the issues. This paper focuses on the modeling process of the SPM system,catenary equilibrium calculation,static analysis of the vessel in three different scenarios,and dynamic response simulation of the SPM system under environmental excitations. The three scenarios in study are as follows:the SPM is under the combined function of(a) wind,waves and current,(b) wind and waves,(c) current and waves. They are so set that one can compare the contributions of different types of loads in both static and dynamic studies. Numerical study shows that wind and current are the two major factors contributing to the mooring line tension,and surge and sway are the two dominant motions of the moored vessel subjected to environmental excitations.
基金Project supported by the Program for New Century Excellent Talents in Universities(NCET)by the Ministry of Education of China(No.NCET-04-0373)
文摘Based on the method of reverberation ray matrix（MRRM）, a reverberation matrix for planar framed structures composed of anisotropic Timoshenko（T） beam members containing completely hinged joints is developed for static analysis of such structures.In the MRRM for dynamic analysis, amplitudes of arriving and departing waves for joints are chosen as unknown quantities. However, for the present case of static analysis, displacements and rotational angles at the ends of each beam member are directly considered as unknown quantities. The expressions for stiffness matrices for anisotropic beam members are developed. A corresponding reverberation matrix is derived analytically for exact and unified determination on the displacements and internal forces at both ends of each member and arbitrary cross sectional locations in the structure. Numerical examples are given and compared with the finite element method（FEM） results to validate the present model. The characteristic parameter analysis is performed to demonstrate accuracy of the present model with the T beam theory in contrast with errors in the usual model based on the Euler-Bernoulli（EB） beam theory. The resulting reverberation matrix can be used for exact calculation of anisotropic framed structures as well as for parameter analysis of geometrical and material properties of the framed structures.
基金the Science and Technology Project of Ministry of Transport of China(No.2013328225080)the Natural Science Foundation of Liaoning Province of China(No.2015020121)+1 种基金the Research Fund for the Doctoral Program of Higher Education of China(No.20122125120013)the Fundamental Research Funds for the Central Universities of China(Nos.3132016069 and 3132016354)
文摘The hoist bracket links the rescue hoist with the helicopter cabin, and its structure design greatly affects the operation convenience and safety of the hoistman and lifeguard in the rescue process with a helicopter.This paper firstly builds the force model of the hoist and bracket, and gives five kinds of typical working conditions as the design ones of the bracket. Then this paper puts forward a design process of the hoist bracket based on the topology optimization and strength analysis with the 3D modeling and finite element analysis. This design process can make the bracket's structure lightweight by achieving the optimal material layout under the conditions of maximizing the static stiffness or minimizing the compliance of the bracket. And this improves the dynamic performance of the helicopter, and reduces the fuel consumption and cost under the strength constraints. Finally,taking the design of the hoist bracket used in a rescue helicopter as an example, this paper illustrates the proposed model and method. The analysis results show that the mass of the hoist bracket decreases by 12.5% while the static stiffness of the hoist bracket is achieved. The optimization design results meet the strength requirements of the hoist.
基金supported in part by the Fundamental Research Funds for the Central Universities of China (Grant No.WK0110000007)the Specialized Research Fund for the Doctoral Program of Higher Education of China (Grant No.20113402120026)+2 种基金the Natural Science Foundation of Anhui Province,China (Grant No. 1208085QF112)the Foundation for Young Talents in College of Anhui Province,China (GrantNo.2012SQRL001ZD)the Research Fund of ZTE Corpo ration
文摘I IntroductionSmartphones have become more complex in terms of functions and third-party applications, and this makes lhem a living space for malware. People store private information such as accounts and passwordson their smartphones, the loss of which could have serious con- sequences.
基金the National Key Research and Development Program of China under Grant No.2016QY07X1404National Natural Science Foundation of China(NSFC)under Grant No.61602035 and 61772078+1 种基金Beijing Science and Technology Project under Grant No.Z191100007119010,CCF-NSFOCUS Kun-Peng Scientific Research FoundationOpen Found of Key Laboratory of Network Assessment Technology,Institute of Information Engineering,Chinese Academy of Sciences.
文摘Fuzzing is an effective technique to find security bugs in programs by quickly exploring the input space of programs.To further discover vulnerabilities hidden in deep execution paths,the hybrid fuzzing combines fuzzing and concolic execution for going through complex branch conditions.In general,we observe that the execution path which comes across more and complex basic blocks may have a higher chance of containing a security bug.Based on this observation,we propose a hybrid fuzzing method assisted by static analysis for binary programs.The basic idea of our method is to prioritize seed inputs according to the complexity of their associated execution paths.For this purpose,we utilize static analysis to evaluate the complexity of each basic block and employ the hardware trace mechanism to dynamically extract the execution path for calculating the seed inputs’weights.The key advantage of our method is that our system can test binary programs efficiently by using the hardware trace and hybrid fuzzing.To evaluate the effectiveness of our method,we design and implement a prototype system,namely SHFuzz.The evaluation results show SHFuzz discovers more unique crashes on several real-world applications and the LAVA-M dataset when compared to the previous solutions.
基金Supported by National Natural Science Foundation of China(Grant Nos.51675458,51275439)Youth Top Talent Project of Hebei Province Higher Education of China(Grant No.BJ2017060)
文摘The force analysis of overconstrained PMs is relatively complex and difficult, for which the methods have always been a research hotspot. However, few liter- atures analyze the characteristics and application scopes of the various methods, which is not convenient for researchers and engineers to master and adopt them prop- erly. A review of the methods for force analysis of both passive and active overconstrained PMs is presented. The existing force analysis methods for these two kinds of overconstrained PMs are classified according to their main ideas. Each category is briefly demonstrated and evaluated from such aspects as the calculation amount, the compre- hensiveness of considering limbs＇ deformation, and the existence of explicit expressions of the solutions, which provides an important reference for researchers and engi- neers to quickly find a suitable method. The similarities and differences between the statically indeterminate prob- lem of passive overconstrained PMs and that of active overconstrained PMs are discussed, and a universal method for these two kinds of overconstrained PMs is pointed out. The existing deficiencies and development directions of the force analysis methods for overconstrained systems are indicated based on the overview.
基金supported by the National Natural Science Foundation of China (11172138, 10727201)
文摘This paper studies the static deformation behavior of a piezoelectric micromachined ultrasonic transducer （PMUT） actuated by a strong external electric field. The transducer membrane consists of a piezoelectric layer, a passive layer and two electrode layers. The nonlinearities of the piezoelectric layer caused by electrostriction under a strong electric field are analyzed. Because the thickness of the transducer membrane is on the microscale, the size dependence of the deformation behavior is evaluated using the couple stress theory. The results show that the optimal ratio of the top electrode diameter and the membrane diameter is around 0.674. It is also found that this optimal value does not depend on any other parameters if the thicknesses of the two electrodes are negligible compared with those of the piezo- electric and passive layers. In addition, the nonlinearities of the piezoelectric layer will become stronger along with the increase of the electric field, which means that softening of the membrane stiffness occurs when a strong external electric field is applied. Meanwhile, the optimal thickness ratio for the passive layer and the piezoelectric layer is not equal to 1.0 which is usually adopted by previous researchers. Because there exists size dependence of membrane deforma-tion, the optimal value of this thickness ratio needs to be greater than 1.0 on the microscale.
基金the National Natural Science Foundation of China(No.11302176)the Special Research Fund for the Doctoral Program of Higher Education of China(No.20126102120021)
文摘Static stability analysis of the two-point mooring autonomous underwater vehicle(AUV) is presented.The mathematic model is a set of equilibrium equations describing the attitude of the AUV.The mooring lines are regarded as inelastic catenaries,and five degrees of freedom of AUV are considered.The stability of the system is represented by inequality conditions between several physical quantities and the corresponding limitations.We analyze stability of the prime AUV and find that the AUV has a flow-following tendency,which makes the swing angle big.The result shows that the two-point mooring AUV can remain stable under 2.5 kn ocean current speed,and it will weigh anchor when the speed is greater than 3 kn.Subsequent parametric study reveals the influence of the designing parameters on the stability.
文摘A simple method is proposed, for incremental static analysis of a set of inter-colliding particles, simulating 2D flow. Within each step of proposed algorithm, the particles perform small displacements, proportional to the out-of-balance forces, acting on them. Numerical experiments show that if the liquid is confined within boundaries of a set of inter-communicating vessels, then the proposed method converges to a final equilibrium state. This incremental static analysis approximates dynamic behavior with strong damping and can provide information, as a first approximation to 2D movement of a liquid. In the initial arrangement of particles, a rhombic element is proposed, which assures satisfactory incompressibility of the fluid. Based on the proposed algorithm, a simple and short computer program (a “pocket” program) has been developed, with only about 120 Fortran instructions. This program is first applied to an amount of liquid, contained in a single vessel. A coarse and refined discretization is tried. In final equilibrium state of liquid, the distribution on hydro-static pressure on vessel boundaries, obtained by proposed computational model, is found in satisfactory approximation with corresponding theoretical data. Then, an opening is formed, at the bottom of a vertical boundary of initial vessel, and the liquid is allowed to flow gradually to an adjacent vessel. Almost whole amount of liquid is transferred, from first to second vessel, except of few drops-particles, which remain, in equilibrium, at the bottom of initial vessel. In the final equilibrium state of liquid, in the second vessel, the free surface level of the liquid confirms that the proposed rhombing element assures a satisfactory incompressibility of the fluid.
文摘In the present study,the static and dynamic analyses of elliptical functionally graded sandwich(FGS)plates are investigated.The constituent materials of the sandwich plates are ceramic and metal so that the core is made of pure metal,while the face sheets consist of a combination of metal and ceramic according to a four-parameter power-law distribution.Different material profiles such as classic,symmetric,and asymmetric can be obtained using the applied generalized power-law distribution relation.The analysis is performed based on the classical laminated plate theory(CLPT)and the Ritz method.The effects of four parameters in the material distribution relation as well as different geometric parameters on the deflection and natural frequencies of elliptical FGS plates are studied.The results of this study show that with a proper distribution of materials,the optimal static and dynamic behavior can be achieved.The results also indicate that the generalized power-law distribution has significant effects on the natural frequencies of elliptical FGS plates.For example,although the frequency parameter of a plate with ceramic face sheets is more than the one with metal face sheets,the use of larger amounts of ceramic does not necessarily increase the natural frequency of the structure.
文摘The article proposes an Equivalent Single Layer(ESL)formulation for the linear static analysis of arbitrarily-shaped shell structures subjected to general surface loads and boundary conditions.A parametrization of the physical domain is provided by employing a set of curvilinear principal coordinates.The generalized blendingmethodology accounts for a distortion of the structure so that disparate geometries can be considered.Each layer of the stacking sequence has an arbitrary orientation and is modelled as a generally anisotropic continuum.In addition,re-entrant auxetic three-dimensional honeycomb cells with soft-core behaviour are considered in the model.The unknown variables are described employing a generalized displacement field and pre-determined through-the-thickness functions assessed in a unified formulation.Then,a weak assessment of the structural problem accounts for shape functions defined with an isogeometric approach starting fromthe computational grid.Ageneralizedmethodology has been proposed to define two-dimensional distributions of static surface loads.In the same way,boundary conditions with three-dimensional features are implemented along the shell edges employing linear springs.The fundamental relations are obtained from the stationary configuration of the total potential energy,and they are numerically tackled by employing the Generalized Differential Quadrature(GDQ)method,accounting for nonuniform computational grids.In the post-processing stage,an equilibrium-based recovery procedure allows the determination of the three-dimensional dispersion of the kinematic and static quantities.Some case studies have been presented,and a successful benchmark of different structural responses has been performed with respect to various refined theories.
基金This work is supported by the Provincial Key Science and Technology Special Project of Henan(No.221100240100)。
文摘In recent years,the rapid development of computer software has led to numerous security problems,particularly software vulnerabilities.These flaws can cause significant harm to users’privacy and property.Current security defect detection technology relies on manual or professional reasoning,leading to missed detection and high false detection rates.Artificial intelligence technology has led to the development of neural network models based on machine learning or deep learning to intelligently mine holes,reducing missed alarms and false alarms.So,this project aims to study Java source code defect detection methods for defects like null pointer reference exception,XSS(Transform),and Structured Query Language(SQL)injection.Also,the project uses open-source Javalang to translate the Java source code,conducts a deep search on the AST to obtain the empty syntax feature library,and converts the Java source code into a dependency graph.The feature vector is then used as the learning target for the neural network.Four types of Convolutional Neural Networks(CNN),Long Short-Term Memory(LSTM),Bi-directional Long Short-Term Memory(BiLSTM),and Attention Mechanism+Bidirectional LSTM,are used to investigate various code defects,including blank pointer reference exception,XSS,and SQL injection defects.Experimental results show that the attention mechanism in two-dimensional BLSTM is the most effective for object recognition,verifying the correctness of the method.
