Inspired by nature's self-similar designs,novel honeycomb-spiderweb based self-similar hybrid cellular structures are proposed here for efficient energy absorption in impact applications.The energy absorption is e...Inspired by nature's self-similar designs,novel honeycomb-spiderweb based self-similar hybrid cellular structures are proposed here for efficient energy absorption in impact applications.The energy absorption is enhanced by optimizing the geometry and topology for a given mass.The proposed hybrid cellular structure is arrived after a thorough analysis of topologically enhanced self-similar structures.The optimized cell designs are rigorously tested considering dynamic loads involving crush and high-velocity bullet impact.Furthermore,the influence of thickness,radial connectivity,and order of patterning at the unit cell level are also investigated.The maximum crushing efficiency attained is found to be more than 95%,which is significantly higher than most existing traditional designs.Later on,the first and second-order hierarchical self-similar unit cell designs developed during crush analysis are used to prepare the cores for sandwich structures.Impact tests are performed on the developed sandwich structures using the standard 9-mm parabellum.The influence of multistaging on impact resistance is also investigated by maintaining a constant total thickness and mass of the sandwich structure.Moreover,in order to avoid layer-wise weak zones and hence,attain a uniform out-of-plane impact strength,off-setting the designs in each stage is proposed.The sandwich structures with first and second-order self-similar hybrid cores are observed to withstand impact velocities as high as 170 m/s and 270 m/s,respectively.展开更多
In order to improve the quality of web search,a new query expansion method by choosing meaningful structure data from a domain database is proposed.It categories attributes into three different classes,named as concep...In order to improve the quality of web search,a new query expansion method by choosing meaningful structure data from a domain database is proposed.It categories attributes into three different classes,named as concept attribute,context attribute and meaningless attribute,according to their semantic features which are document frequency features and distinguishing capability features.It also defines the semantic relevance between two attributes when they have correlations in the database.Then it proposes trie-bitmap structure and pair pointer tables to implement efficient algorithms for discovering attribute semantic feature and detecting their semantic relevances.By using semantic attributes and their semantic relevances,expansion words can be generated and embedded into a vector space model with interpolation parameters.The experiments use an IMDB movie database and real texts collections to evaluate the proposed method by comparing its performance with a classical vector space model.The results show that the proposed method can improve text search efficiently and also improve both semantic features and semantic relevances with good separation capabilities.展开更多
The tropical Pacific Ocean supports many productive commercial fisheries.However,few studies of ecosystem structure in the tropical Pacific Ocean have been carried out.In this study,we analyzed the food web structure ...The tropical Pacific Ocean supports many productive commercial fisheries.However,few studies of ecosystem structure in the tropical Pacific Ocean have been carried out.In this study,we analyzed the food web structure in the central and eastern tropical Pacific Ocean based on trophic relationships of 35 pelagic species collected by Chinese tuna longline observers from June to November in 2017.Topology indices(node degree,D;centrality indices,BC and CC;topological importance indices,TI^1,TI^3;keystone indices,K,K_t and K_b)and Key-Player algorithms(KPP-1,KPP-2)were used to select key species and construct a simplified food web combined with body size data.The Kendall rank correlation and hierarchical clustering analysis indicated that different topology indices resulted in consistent rankings of key species.Most key species were the same as those selected in other studies in the Pacific Ocean,such as Shortbill spearfish(Tetrapturus angustirostris),Swordfish(Xiphias gladius),Albacore tuna(Thunnus alalunga),cephalopods and scomber.The food web would be separated into many unconnected parts(F=0.632,FD=0.795,R^D=0.957)after the removal of the five key species,indicating the key roles of these species in the food web structure and stability.Body size was considered an influential indicator in constructing the simplified food web.This study can improve our understanding of the food web structure in the tropical Pacific Ocean and provide scientific basis for further ecosystem dynamics studies.展开更多
The structure of Web site became more complex than before. During the design period of a Web site, the lack of model and method results in improper Web structure, which depend on the designer's experience. From th...The structure of Web site became more complex than before. During the design period of a Web site, the lack of model and method results in improper Web structure, which depend on the designer's experience. From the point of view of software engineering, every period in the software life must be evaluated before starting the next period's work. It is very important and essential to search relevant methods for evaluating Web structure before the site is completed. In this work, after studying the related work about the Web structure mining and analyzing the major structure mining methods (Page\|rank and Hub/Authority), a method based on the Page\|rank for Web structure evaluation in design stage is proposed. A Web structure modeling language WSML is designed, and the implement strategies for evaluating system of the Web site structure are given out. Web structure mining has being used mainly in search engines before. It is the first time to employ the Web structure mining technology to evaluate a Web structure in the design period of a Web site. It contributes to the formalization of the design documents for Web site and the improving of software engineering for large scale Web site, and the evaluating system is a practical tool for Web site construction.展开更多
The food sources of aquacultured Apostichopus japonicus and the trophic levels of organisms in a sea cucumber(A. japonicus) and prawn(Penaeus japonica) polyculture system in a saltwater pond in Zhuanghe, Liaoning ...The food sources of aquacultured Apostichopus japonicus and the trophic levels of organisms in a sea cucumber(A. japonicus) and prawn(Penaeus japonica) polyculture system in a saltwater pond in Zhuanghe, Liaoning Province were examined using carbon and nitrogen stable isotopes. Across organisms, δ13C ranged from(–25.47±0.20)‰ to(–16.48±0.17)‰(mean±SD), and δ15N ranged from(4.23±0.49)‰ to(12.44±0.09)‰. The δ13C and δ15N contents of A. japonicus, P. japonica and Fenneropenaeus chinensis were comparatively higher than those of other organisms. Values of δ13C and δ15N revealed that P. japonica, Hemigrapsus sanguineus and Neomysis japonica comprised the largest component of the diet of A. japonicus. The mean trophic level of the organisms in this saltwater pond polyculture system was(2.75±0.08). P. japonica, A. japonicus, F. chinensis,Synechogobius hasta and Neomysis japonica were in the 3rd trophic level(2–3); jellyfish, H. sanguineus and zooplankton were in the 2nd trophic level(1–2); and Enteromorpha prolifera, benthic microalgae, periphyton and suspended matter primarily consisting of phytoplankton, bacteria and humus were in the primary trophic level(0–1).展开更多
Food web structures are well known to vary widely among ecosystems. Moreover, many food web studies of lakes have generally attempted to characterize the overall food web structure and have largely ignored internal sp...Food web structures are well known to vary widely among ecosystems. Moreover, many food web studies of lakes have generally attempted to characterize the overall food web structure and have largely ignored internal spatial and environmental variations. In this study, we hypothesize that there is a high degree of spatial heterogeneity within an ecosystem and such heterogeneity may lead to strong variations in environmental conditions and resource availability, in turn resulting in dif ferent trophic pathways. Stable carbon and nitrogen isotopes were employed for the whole food web to describe the structure of the food web in different sub-basins within Taihu Lake. This lake is a large eutrophic freshwater lake that has been intensively managed and highly influenced by human activities for more than 50 years. The results show significant isotopic dif ferences between basins with dif ferent environmental characteristics. Such differences likely result from isotopic baseline dif ferences combining with a shift in food web structure. Both are related to local spatial heterogeneity in nutrient loading in waters. Such variation should be explicitly considered in future food web studies and ecosystem-based management in this lake ecosystem.展开更多
Large cavity structures are widely employed in aerospace engineering, such as thin-walled cylinders, blades andwings. Enhancing performance of aerial vehicles while reducing manufacturing costs and fuel consumptionhas...Large cavity structures are widely employed in aerospace engineering, such as thin-walled cylinders, blades andwings. Enhancing performance of aerial vehicles while reducing manufacturing costs and fuel consumptionhas become a focal point for contemporary researchers. Therefore, this paper aims to investigate the topologyoptimization of large cavity structures as a means to enhance their performance, safety, and efficiency. By usingthe variable density method, lightweight design is achieved without compromising structural strength. Theoptimization model considers both concentrated and distributed loads, and utilizes techniques like sensitivityfiltering and projection to obtain a robust optimized configuration. The mechanical properties are checked bycomparing the stress distribution and displacement of the unoptimized and optimized structures under the sameload. The results confirm that the optimized structures exhibit improved mechanical properties, thus offering keyinsights for engineering lightweight, high-strength large cavity structures.展开更多
Functional research on biological macromolecules must fcus on specific loca regions.PDBlocal is aweb-based tool developed to overcome the limitations of traditional molecular visualization tools forthre-dimensional(3D...Functional research on biological macromolecules must fcus on specific loca regions.PDBlocal is aweb-based tool developed to overcome the limitations of traditional molecular visualization tools forthre-dimensional(3D)inspection of local regions.PDBlocal provides an intuitive and easy-to-manipulate web page interface and some new useful functions.It can kep loca regions flashing,display sequence text that is dynamically consistent with the 3D structure in local appearance undermultiple local manipulations,use two scenes to help users inspect the same local region withdifferent statuses,list all historical manipulation statuses with a tree structure,llow users toannotate regions ofinterest,and save ll historical statuses and other data to a web server for futureresearch.PDBlocal has met expectations and shown satisfactory performance for both expert andnovice users.This tool is available at http:/labsystem.scuec.edu.cn/pdblocal/.展开更多
Single-species management ignores the interactions between species,and ecosystem-based fisheries management(EBFM)has become a main method to fisheries management.Understanding food web structures and species interacti...Single-species management ignores the interactions between species,and ecosystem-based fisheries management(EBFM)has become a main method to fisheries management.Understanding food web structures and species interactions is essential for the implementation of EBFM and maintenance of ecosystem functions.Overfishing is one of the main reasons behind the depletion,which could even lead to the depletion of some target species in local areas.So understanding the impacts of species depletion on food web structures is important for the implementation of EBFM.The impacts of species depletion can be transmitted through the food web and cause the local extinction of both target and non-target species.In this study,topological network analysis was applied to examine the impacts of species depletion on the food web structure of Haizhou Bay.Results showed that fine crayfish Leptochela gracilis,squid Loligo sp.,and Japanese snapping shrimp Alpheus japonicus have the highest numbers of outgoing links(48,32 and 31 respectively);thus,these species may be considered key prey species.Whitespotted conger Conger myriaster,fat greenling Hexagrammos otakii,and bluefin gurnard Chelidonichthys kumu were key predators with the highest number of incoming links(37,36 and 35 respectively).The competition graphs derived from the Haizhou Bay food web were highly connected(more than 40%predators sharing over 10 common prey species),and showed close trophic interaction between high trophic level fishes.Simulation analysis showed that the food web structure has small changes to the depletion of species in a highly complex food web.The most-connected target species did not necessarily indicate high structural importance;however,some species with low connectivity may demonstrate stronger trophic interactions and play important ecological roles in the food web.But most species were more sensitive to the depletion of the most-connected target species than other target species(for instance,for zooplankton,closeness centrality 13.876 in D6,but closeness centrality 82.143 in original food web).Therefore,EBFM should focus on the most-connected target species,but also on those species with few but strong links and feeding relationships in the food web.展开更多
Structural stabilization by a pressurized fluid is very common in nature, however hardly found in technology. Car tires, hot air balloons, airships and airhouses are among the few technical exceptions, which are stab...Structural stabilization by a pressurized fluid is very common in nature, however hardly found in technology. Car tires, hot air balloons, airships and airhouses are among the few technical exceptions, which are stabilized by a compressed medium, typically air. Restricted by simple geometries and a very limited load bearing capacity these pneumatic structures could succeed only in very specialized applications. Nevertheless, prospective concepts ag has systematically investigated pneumatic structures during the last few years. As a major result, it was demonstrated that almost any shape can be made with pneumatic structures and that astonishing structures such as the pneumatic airplane Stingray can be realized even with low air pressure. On top of that, Airlight Ltd. in close collaboration with prospective concepts ag has recently developed the fundamental new structural concept Tensairity. The synergetic combination of an inflated structure with conventional structural elements such as cables and struts yields pneumatic light-weight structures with the load bearing capacity of steel girders. Thus, complex forms and high strength open up many new opportunities for pressure induced stability in technology. An overview of these recent developments is presented and the close relationship of pneumatic structures with biology is outlined.展开更多
HoPLLS (Hierarchy of protein loop-lock structures) (http://leah.haifa.ac.il/~skogan/Apache/mydata1/main.html) is a web server that identifies closed loops-a structural basis for protein domain hierarchy. The server is...HoPLLS (Hierarchy of protein loop-lock structures) (http://leah.haifa.ac.il/~skogan/Apache/mydata1/main.html) is a web server that identifies closed loops-a structural basis for protein domain hierarchy. The server is based on the loop-and-lock theory for structural organisation of natural proteins. We describe this web server, the algorithms for the decomposition of a 3D protein into loops and the results of scientific investigations into a structural “alphabet” of loops and locks.展开更多
Aiming to improve the Structured Query Language( SQL) injection penetration test accuracy through the formalismguided test case generation,an attack purpose based attack tree model of SQL injection is proposed,and the...Aiming to improve the Structured Query Language( SQL) injection penetration test accuracy through the formalismguided test case generation,an attack purpose based attack tree model of SQL injection is proposed,and then under the guidance of this model, the formal descriptions for the SQL injection vulnerability feature and SQL injection attack inputs are established. Moreover,according to new coverage criteria,these models are instantiated and the executable test cases are generated.Experiments show that compared with the random enumerated test case used in other works,the test case generated by our method can detect the SQL injection vulnerability more effectively. Therefore,the false negative is reduced and the test accuracy is improved.展开更多
基金the Science and Engineering Research Board(SERB),Department of Science and Technology,India,for funding this research through grant number SRG/2019/001581。
文摘Inspired by nature's self-similar designs,novel honeycomb-spiderweb based self-similar hybrid cellular structures are proposed here for efficient energy absorption in impact applications.The energy absorption is enhanced by optimizing the geometry and topology for a given mass.The proposed hybrid cellular structure is arrived after a thorough analysis of topologically enhanced self-similar structures.The optimized cell designs are rigorously tested considering dynamic loads involving crush and high-velocity bullet impact.Furthermore,the influence of thickness,radial connectivity,and order of patterning at the unit cell level are also investigated.The maximum crushing efficiency attained is found to be more than 95%,which is significantly higher than most existing traditional designs.Later on,the first and second-order hierarchical self-similar unit cell designs developed during crush analysis are used to prepare the cores for sandwich structures.Impact tests are performed on the developed sandwich structures using the standard 9-mm parabellum.The influence of multistaging on impact resistance is also investigated by maintaining a constant total thickness and mass of the sandwich structure.Moreover,in order to avoid layer-wise weak zones and hence,attain a uniform out-of-plane impact strength,off-setting the designs in each stage is proposed.The sandwich structures with first and second-order self-similar hybrid cores are observed to withstand impact velocities as high as 170 m/s and 270 m/s,respectively.
基金Program for New Century Excellent Talents in University(No.NCET-06-0290)the National Natural Science Foundation of China(No.60503036)the Fok Ying Tong Education Foundation Award(No.104027)
文摘In order to improve the quality of web search,a new query expansion method by choosing meaningful structure data from a domain database is proposed.It categories attributes into three different classes,named as concept attribute,context attribute and meaningless attribute,according to their semantic features which are document frequency features and distinguishing capability features.It also defines the semantic relevance between two attributes when they have correlations in the database.Then it proposes trie-bitmap structure and pair pointer tables to implement efficient algorithms for discovering attribute semantic feature and detecting their semantic relevances.By using semantic attributes and their semantic relevances,expansion words can be generated and embedded into a vector space model with interpolation parameters.The experiments use an IMDB movie database and real texts collections to evaluate the proposed method by comparing its performance with a classical vector space model.The results show that the proposed method can improve text search efficiently and also improve both semantic features and semantic relevances with good separation capabilities.
基金The National Natural Science Foundation of China under contract No.41676120。
文摘The tropical Pacific Ocean supports many productive commercial fisheries.However,few studies of ecosystem structure in the tropical Pacific Ocean have been carried out.In this study,we analyzed the food web structure in the central and eastern tropical Pacific Ocean based on trophic relationships of 35 pelagic species collected by Chinese tuna longline observers from June to November in 2017.Topology indices(node degree,D;centrality indices,BC and CC;topological importance indices,TI^1,TI^3;keystone indices,K,K_t and K_b)and Key-Player algorithms(KPP-1,KPP-2)were used to select key species and construct a simplified food web combined with body size data.The Kendall rank correlation and hierarchical clustering analysis indicated that different topology indices resulted in consistent rankings of key species.Most key species were the same as those selected in other studies in the Pacific Ocean,such as Shortbill spearfish(Tetrapturus angustirostris),Swordfish(Xiphias gladius),Albacore tuna(Thunnus alalunga),cephalopods and scomber.The food web would be separated into many unconnected parts(F=0.632,FD=0.795,R^D=0.957)after the removal of the five key species,indicating the key roles of these species in the food web structure and stability.Body size was considered an influential indicator in constructing the simplified food web.This study can improve our understanding of the food web structure in the tropical Pacific Ocean and provide scientific basis for further ecosystem dynamics studies.
文摘The structure of Web site became more complex than before. During the design period of a Web site, the lack of model and method results in improper Web structure, which depend on the designer's experience. From the point of view of software engineering, every period in the software life must be evaluated before starting the next period's work. It is very important and essential to search relevant methods for evaluating Web structure before the site is completed. In this work, after studying the related work about the Web structure mining and analyzing the major structure mining methods (Page\|rank and Hub/Authority), a method based on the Page\|rank for Web structure evaluation in design stage is proposed. A Web structure modeling language WSML is designed, and the implement strategies for evaluating system of the Web site structure are given out. Web structure mining has being used mainly in search engines before. It is the first time to employ the Web structure mining technology to evaluate a Web structure in the design period of a Web site. It contributes to the formalization of the design documents for Web site and the improving of software engineering for large scale Web site, and the evaluating system is a practical tool for Web site construction.
基金The National Marine Public Welfare Project of China under contract No.201305005
文摘The food sources of aquacultured Apostichopus japonicus and the trophic levels of organisms in a sea cucumber(A. japonicus) and prawn(Penaeus japonica) polyculture system in a saltwater pond in Zhuanghe, Liaoning Province were examined using carbon and nitrogen stable isotopes. Across organisms, δ13C ranged from(–25.47±0.20)‰ to(–16.48±0.17)‰(mean±SD), and δ15N ranged from(4.23±0.49)‰ to(12.44±0.09)‰. The δ13C and δ15N contents of A. japonicus, P. japonica and Fenneropenaeus chinensis were comparatively higher than those of other organisms. Values of δ13C and δ15N revealed that P. japonica, Hemigrapsus sanguineus and Neomysis japonica comprised the largest component of the diet of A. japonicus. The mean trophic level of the organisms in this saltwater pond polyculture system was(2.75±0.08). P. japonica, A. japonicus, F. chinensis,Synechogobius hasta and Neomysis japonica were in the 3rd trophic level(2–3); jellyfish, H. sanguineus and zooplankton were in the 2nd trophic level(1–2); and Enteromorpha prolifera, benthic microalgae, periphyton and suspended matter primarily consisting of phytoplankton, bacteria and humus were in the primary trophic level(0–1).
基金Supported by the"Chen Guang"Project of Shanghai Municipal Education Commission(No.10CG52)the Shanghai Education Development Foundation(No.11YZ155)the National Natural Science Foundation of China(Nos.41206124,41541024)
文摘Food web structures are well known to vary widely among ecosystems. Moreover, many food web studies of lakes have generally attempted to characterize the overall food web structure and have largely ignored internal spatial and environmental variations. In this study, we hypothesize that there is a high degree of spatial heterogeneity within an ecosystem and such heterogeneity may lead to strong variations in environmental conditions and resource availability, in turn resulting in dif ferent trophic pathways. Stable carbon and nitrogen isotopes were employed for the whole food web to describe the structure of the food web in different sub-basins within Taihu Lake. This lake is a large eutrophic freshwater lake that has been intensively managed and highly influenced by human activities for more than 50 years. The results show significant isotopic dif ferences between basins with dif ferent environmental characteristics. Such differences likely result from isotopic baseline dif ferences combining with a shift in food web structure. Both are related to local spatial heterogeneity in nutrient loading in waters. Such variation should be explicitly considered in future food web studies and ecosystem-based management in this lake ecosystem.
基金the National Natural Science Foundation of China and the Natural Science Foundation of Jiangsu Province.It was also supported in part by Young Elite Scientists Sponsorship Program by CAST.
文摘Large cavity structures are widely employed in aerospace engineering, such as thin-walled cylinders, blades andwings. Enhancing performance of aerial vehicles while reducing manufacturing costs and fuel consumptionhas become a focal point for contemporary researchers. Therefore, this paper aims to investigate the topologyoptimization of large cavity structures as a means to enhance their performance, safety, and efficiency. By usingthe variable density method, lightweight design is achieved without compromising structural strength. Theoptimization model considers both concentrated and distributed loads, and utilizes techniques like sensitivityfiltering and projection to obtain a robust optimized configuration. The mechanical properties are checked bycomparing the stress distribution and displacement of the unoptimized and optimized structures under the sameload. The results confirm that the optimized structures exhibit improved mechanical properties, thus offering keyinsights for engineering lightweight, high-strength large cavity structures.
基金supported by the International Science and Technology Cooperation Key Projects of the Chinese Ministry of Science and Technology(2009DFB30340)National Major Projects of China(2016ZX08010004-004)+2 种基金National Natural Sciences Foundation of China(81373379)Natural Science Foundation of Hubei Province of China(2012FFB07402)Fundamental Research Funds for the Central Universities in China(SouthCentral University for Nationalities,CZY12004).
文摘Functional research on biological macromolecules must fcus on specific loca regions.PDBlocal is aweb-based tool developed to overcome the limitations of traditional molecular visualization tools forthre-dimensional(3D)inspection of local regions.PDBlocal provides an intuitive and easy-to-manipulate web page interface and some new useful functions.It can kep loca regions flashing,display sequence text that is dynamically consistent with the 3D structure in local appearance undermultiple local manipulations,use two scenes to help users inspect the same local region withdifferent statuses,list all historical manipulation statuses with a tree structure,llow users toannotate regions ofinterest,and save ll historical statuses and other data to a web server for futureresearch.PDBlocal has met expectations and shown satisfactory performance for both expert andnovice users.This tool is available at http:/labsystem.scuec.edu.cn/pdblocal/.
基金The National Key R&D Program of China under contract No.2018YFD0900904the National Natural Science Foundation of China under contract Nos 31772852 and 31802301。
文摘Single-species management ignores the interactions between species,and ecosystem-based fisheries management(EBFM)has become a main method to fisheries management.Understanding food web structures and species interactions is essential for the implementation of EBFM and maintenance of ecosystem functions.Overfishing is one of the main reasons behind the depletion,which could even lead to the depletion of some target species in local areas.So understanding the impacts of species depletion on food web structures is important for the implementation of EBFM.The impacts of species depletion can be transmitted through the food web and cause the local extinction of both target and non-target species.In this study,topological network analysis was applied to examine the impacts of species depletion on the food web structure of Haizhou Bay.Results showed that fine crayfish Leptochela gracilis,squid Loligo sp.,and Japanese snapping shrimp Alpheus japonicus have the highest numbers of outgoing links(48,32 and 31 respectively);thus,these species may be considered key prey species.Whitespotted conger Conger myriaster,fat greenling Hexagrammos otakii,and bluefin gurnard Chelidonichthys kumu were key predators with the highest number of incoming links(37,36 and 35 respectively).The competition graphs derived from the Haizhou Bay food web were highly connected(more than 40%predators sharing over 10 common prey species),and showed close trophic interaction between high trophic level fishes.Simulation analysis showed that the food web structure has small changes to the depletion of species in a highly complex food web.The most-connected target species did not necessarily indicate high structural importance;however,some species with low connectivity may demonstrate stronger trophic interactions and play important ecological roles in the food web.But most species were more sensitive to the depletion of the most-connected target species than other target species(for instance,for zooplankton,closeness centrality 13.876 in D6,but closeness centrality 82.143 in original food web).Therefore,EBFM should focus on the most-connected target species,but also on those species with few but strong links and feeding relationships in the food web.
文摘Structural stabilization by a pressurized fluid is very common in nature, however hardly found in technology. Car tires, hot air balloons, airships and airhouses are among the few technical exceptions, which are stabilized by a compressed medium, typically air. Restricted by simple geometries and a very limited load bearing capacity these pneumatic structures could succeed only in very specialized applications. Nevertheless, prospective concepts ag has systematically investigated pneumatic structures during the last few years. As a major result, it was demonstrated that almost any shape can be made with pneumatic structures and that astonishing structures such as the pneumatic airplane Stingray can be realized even with low air pressure. On top of that, Airlight Ltd. in close collaboration with prospective concepts ag has recently developed the fundamental new structural concept Tensairity. The synergetic combination of an inflated structure with conventional structural elements such as cables and struts yields pneumatic light-weight structures with the load bearing capacity of steel girders. Thus, complex forms and high strength open up many new opportunities for pressure induced stability in technology. An overview of these recent developments is presented and the close relationship of pneumatic structures with biology is outlined.
文摘HoPLLS (Hierarchy of protein loop-lock structures) (http://leah.haifa.ac.il/~skogan/Apache/mydata1/main.html) is a web server that identifies closed loops-a structural basis for protein domain hierarchy. The server is based on the loop-and-lock theory for structural organisation of natural proteins. We describe this web server, the algorithms for the decomposition of a 3D protein into loops and the results of scientific investigations into a structural “alphabet” of loops and locks.
基金National Natural Science Foundation of China(No.51274150)Tianjin Major Project of Application Foundation and Advanced Technology,China(No.12JCZDJC27800)
文摘Aiming to improve the Structured Query Language( SQL) injection penetration test accuracy through the formalismguided test case generation,an attack purpose based attack tree model of SQL injection is proposed,and then under the guidance of this model, the formal descriptions for the SQL injection vulnerability feature and SQL injection attack inputs are established. Moreover,according to new coverage criteria,these models are instantiated and the executable test cases are generated.Experiments show that compared with the random enumerated test case used in other works,the test case generated by our method can detect the SQL injection vulnerability more effectively. Therefore,the false negative is reduced and the test accuracy is improved.