Bibliographies thématiques / Static Analysis Tool / Articles de revues

Articles de revues sur le sujet « Static Analysis Tool »

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Static Analysis Tool.
Auteur : Grafiati
Publié le 10 mars 2023

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Static Analysis Tool ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.

1

Thomson, Patrick. « Static Analysis : An Introduction ». Queue 19, no 4 (31 août 2021) : 29–41. http://dx.doi.org/10.1145/3487019.3487021.

Texte intégral
Résumé :
Modern static-analysis tools provide powerful and specific insights into codebases. The Linux kernel team, for example, developed Coccinelle, a powerful tool for searching, analyzing, and rewriting C source code; because the Linux kernel contains more than 27 million lines of code, a static-analysis tool is essential both for finding bugs and for making automated changes across its many libraries and modules. Another tool targeted at the C family of languages is Clang scan-build, which comes with many useful analyses and provides an API for programmers to write their own analyses. Like so many things in computer science, the utility of static analysis is self-referential: To write reliable programs, we must also write programs for our programs. But this is no paradox. Static-analysis tools, complex though their theory and practice may be, are what will enable us, and engineers of the future, to overcome this challenge and yield the knowledge and insights that we practitioners deserve.
Styles APA, Harvard, Vancouver, ISO, etc.
2

Tiganov, Daniil, Lisa Nguyen Quang Do et Karim Ali. « Designing UIs for Static Analysis Tools ». Queue 19, no 4 (31 août 2021) : 97–118. http://dx.doi.org/10.1145/3487019.3487026.

Texte intégral
Résumé :
Static-analysis tools suffer from usability issues such as a high rate of false positives, lack of responsiveness, and unclear warning descriptions and classifications. Here, we explore the effect of applying user-centered approach and design guidelines to SWAN, a security-focused static-analysis tool for the Swift programming language. SWAN is an interesting case study for exploring static-analysis tool usability because of its large target audience, its potential to integrate easily into developers' workflows, and its independence from existing analysis platforms.
Styles APA, Harvard, Vancouver, ISO, etc.
3

Dewar, Robert B. K. « The compiler as a static analysis tool ». ACM SIGAda Ada Letters XXVII, no 3 (17 novembre 2007) : 83–88. http://dx.doi.org/10.1145/1315607.1315601.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Koshelev, V. K., V. N. Ignatiev, A. I. Borzilov et A. A. Belevantsev. « SharpChecker : Static analysis tool for C# programs ». Programming and Computer Software 43, no 4 (juillet 2017) : 268–76. http://dx.doi.org/10.1134/s0361768817040041.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Gawade, Makarand, K. Ravikanth et Sanjeev Aggarwal. « Constantine : configurable static analysis tool in Eclipse ». Software : Practice and Experience 44, no 5 (7 décembre 2012) : 537–63. http://dx.doi.org/10.1002/spe.2173.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

LIANG, Guang-Tai, Na MENG, Jin-Hui LI, Hao ZHONG, Lu ZHANG et Qian-Xiang WANG. « A Semi-Automatic Extensible Static Defect Analysis Tool ». Chinese Journal of Computers 34, no 6 (6 septembre 2011) : 1114–25. http://dx.doi.org/10.3724/sp.j.1016.2011.01114.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Anderson, Paul. « Measuring the Value of Static-Analysis Tool Deployments ». IEEE Security & ; Privacy Magazine 10, no 3 (mai 2012) : 40–47. http://dx.doi.org/10.1109/msp.2012.4.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Tiganov, Daniil, Lisa Nguyen Quang Do et Karim Ali. « Designing UIs for static-analysis tools ». Communications of the ACM 65, no 2 (février 2022) : 52–58. http://dx.doi.org/10.1145/3486600.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Guo, Ting Ting, Teng Jiao Sun et Fang Shao. « Finite Element Analysis for Static Stiffness of a Crankshaft Grinding Machine Tool ». Applied Mechanics and Materials 543-547 (mars 2014) : 76–79. http://dx.doi.org/10.4028/www.scientific.net/amm.543-547.76.

Texte intégral
Résumé :
Taking a grinding machine tool as an example, this paper obtained the static stiffness of the machine tool by finite element analysis method. The structure and technical parameters of the machine tool were introduced at first.Then, the finite element model of the machine tool was established. The static stiffness of the machine tool in x-, y-, and z-directions were simulated at last. The results show that, the static stiffness in x-direction is 2.0062×107 N/m, the static stiffness in y-direction is 0.821×107 N/m, and the static stiffness in z-direction is 0.2992×107 N/m. This paper provides advices for structure optimization of the machine tool which is convenient for improving the machining accuracy.
Styles APA, Harvard, Vancouver, ISO, etc.
10

Peng, Rui Tao, Wang Yan, Xin Zi Tang et Zhuan Zhou. « Dynamic Characteristics Analysis and Structural Topology Optimization of the Plane Grinder ». Key Engineering Materials 693 (mai 2016) : 471–78. http://dx.doi.org/10.4028/www.scientific.net/kem.693.471.

Texte intégral
Résumé :
The dynamic characteristic is one of the important indicators which determine the performance of a machine tool, in this paper, the finite element model of a plane grinder is established with consideration of the behavior of joint, the static dynamic characteristics of machine tools are analyzed to reveal the vibration weak link, the column structure is topology optimized and redesigned based on the variable density degradation method. Static and dynamic characteristics of the original and new column are compared, and the dynamic characteristics of the machine tool before and after modification are discussed. The results indicate that the static and dynamic characteristics of the plane grinder are all improved after optimization.
Styles APA, Harvard, Vancouver, ISO, etc.
11

Borodin, Alexey Evgenevich, Alexey Vyacheslavovich Goremykin, Sergey Pavlovitch Vartanov et Andrey Andreevich Belevantsev. « Searching for tainted vulnerabilities in static analysis tool Svace ». Proceedings of the Institute for System Programming of the RAS 33, no 1 (2021) : 7–32. http://dx.doi.org/10.15514/ispras-2021-33(1)-1.

Texte intégral
Résumé :
The paper is dedicated to search for taint-based errors in the source code of programs, i.e. errors caused by unsafe use of data obtained from external sources, which could potentially be modified by an attacker. The interprocedural static analyzer Svace was used as a basis. The analyzer searches both for defects in the program and searches for suspicious places where the logic of the program may be violated. The goal is to find as many errors as possible at an acceptable speed and a low level of false positives (< 20-35%). To find errors, Svace with help of modified compiler builds a low-level typed intermediate representation, which is used as an input to the main SvEng analyzer. The analyzer builds a call graph and then performs summary-based analysis. In this analysis, the functions are traversed according to the call graph starting from the leaves. After analyzing the function, its summary is created, which will then be used to analyze the call instructions. The analysis has both high speed and good scalability. Intra-procedural analysis is based on symbolic execution with the union of states at merge points of paths. An SMT solver can be used to filter out infeasible paths for some checkers. In this case, the SMT-solver is called only if there is a suspicion of an error. The analyzer has been expanded to find defects of tainted data using. The checkers are implemented as plugins by using the source-sink scheme. The sources are calls of library functions that receive data from outside the program, as well as the arguments of the main function. Sinks are accessing to arrays, using variables as a step or loop boundary, calling functions that require checked arguments. Checkers covering most of the possible types of vulnerabilities for tainted integers and strings have been implemented. The Juliet project was used to assess the coverage. The false negative rate ranged from 46,31% to 81.17% with a small number of false positives.
Styles APA, Harvard, Vancouver, ISO, etc.
12

Borodin, A. E., A. V. Goremykin, S. P. Vartanov et A. A. Belevantsev. « Searching for Taint Vulnerabilities with Svace Static Analysis Tool ». Programming and Computer Software 47, no 6 (novembre 2021) : 466–81. http://dx.doi.org/10.1134/s0361768821060037.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
13

Lee, Ki Hyun, Seok Mo Kim, Young B. Park et Je Ho Park. « Cost Based Vulnerability Control Method Using Static Analysis Tool ». KIPS Transactions on Software and Data Engineering 5, no 3 (31 mars 2016) : 139–44. http://dx.doi.org/10.3745/ktsde.2016.5.3.139.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
14

Jamil, Norlida, Ahmad Razlan Yusoff et Muhammad Hatifi Mansor. « Experimental Study of the Static Modal Analysis on Milling Machine Tool ». Advanced Materials Research 903 (février 2014) : 123–28. http://dx.doi.org/10.4028/www.scientific.net/amr.903.123.

Texte intégral
Résumé :
Machine tool vibrations have great impact on machining process. Modal testing is a form of vibration testing which is able to determine the Frequency Response Function (FRF) of the mechanical test structures. In this paper, the main focus is to identify a procedure to obtain natural frequency values for machine tool components in order to establish better conditions in the cutting process on the machine tool. For this purpose, a 3D model of the machine tools structure is made using design software and exported to analysis software. Later on, the Finite Element Method (FEM) modal analysis was used to obtain the natural frequencies. The model is evaluated and corrected through an experimental modal test. In the experiment, the machine tool vibration is excited by impact hammer and the response of excited vibration is recorded. In the end, the result of both FEM and experimental shows a good consistency in comparison.
Styles APA, Harvard, Vancouver, ISO, etc.
15

Pang, Xiao Chen, et Hong Guo. « Static Analysis and Dynamic Analysis of CNC Machine Center Based on ANSYS ». Advanced Materials Research 816-817 (septembre 2013) : 951–56. http://dx.doi.org/10.4028/www.scientific.net/amr.816-817.951.

Texte intégral
Résumé :
The static characteristic and dynamic characteristic of machine tool is one of the most important factors that affect the performance of machine tool, and it will affect the manufacturing final performance of the machine tool, and it is also an important index to evaluate the machine tool of high performances. Based on finite element structure analysis software ANSYS, the analyses of static and dynamic characteristics of VDL-1000 were conducted. The influencing factors to working accuracy were pointed out and a way was proposed to improve the structure of the machine center. All these can provide an important theoretical basis for the design and optimization of the machine center.
Styles APA, Harvard, Vancouver, ISO, etc.
16

Chen, Shi Guang, Hong Lin Zhao, Zhi Heng Wu, Guang Peng Zhang, Bo Wang et Qing Fu Wang. « Static and Dynamic Characteristic Analysis of XDK650X Engraving and Milling Machine ». Applied Mechanics and Materials 34-35 (octobre 2010) : 582–86. http://dx.doi.org/10.4028/www.scientific.net/amm.34-35.582.

Texte intégral
Résumé :
To get an accurate prediction and analysis results of static and dynamic characteristics of the whole machine tool, finite element model should consider adding characteristic parameters to each pair of the combined interfaces when being built. Taking XDK650X engraving and milling machine as an example, integrating the combined interface parameters into the whole machine tool model with the help of finite element method, the dynamic model contained combined interface characteristics of the whole machine tool was built, and investigation on static and dynamic characteristic were carried out. Then, the relative stiffness between the tool and the platform was analyzed by using harmonic respond analyzing method. It was concluded that XDK650X engraving and milling machine has bigger static stiffness in three directions compared with other similar machines, but has comparatively smaller static stiffness in X direction, a bigger relative vibration amount between the tool and the platform in Y direction. Therefore preponderant natural frequency should be avoided in usage, the static stiffness in X direction and the dynamic stiffness in Y direction need for enhancement in structural optimization.
Styles APA, Harvard, Vancouver, ISO, etc.
17

Sun, Xing Wei, Jun Wang, Ke Wang et Xing Feng. « Static Analysis of Stator Housing of Screw Drilling Rig ». Advanced Materials Research 605-607 (décembre 2012) : 69–72. http://dx.doi.org/10.4028/www.scientific.net/amr.605-607.69.

Texte intégral
Résumé :
Screw drilling rig’s hard core is motor unit assemblage. Stator housing’s thread tool recess is a key component and a weak link of motor unit assemblage. The finite-element method was used to do some static analysis of the thread tool recesses which were in the same conditions and different shapes, in order to improve the screw drilling rig’s operating life and reduce the failure accident. According to the nephograms and curves about the tool recesses’ stress, the most dangerous position is thread root. Minimizing the sectional dimension’s changing and increasing the chamfering’s radius are effective way to reduce thread tool recess’ stress concentration.
Styles APA, Harvard, Vancouver, ISO, etc.
18

Zhang, Yao Man, Ren Jun Gu et Guang Xiao Yang. « Static and Dynamic Characteristic Analysis for the HSR Series Linear Motion Guide ». Advanced Materials Research 834-836 (octobre 2013) : 1488–92. http://dx.doi.org/10.4028/www.scientific.net/amr.834-836.1488.

Texte intégral
Résumé :
The dynamic characteristic of junction surface is an important part of the dynamic characteristics of NC machine tools, and it is sometimes the weakest link of the machine tool's dynamic characteristics. The precision of the finite element calculation of the machine tool's dynamic characteristics shall be affected by the junction surface parameters directly. Linear Motion guide is one of the most widely used components of the NC machine tool, and its characteristic is one of the most important components of the performances of the NC machine tool. The HSR series of linear motion guides are taken as the object of the paper, and its static and dynamic characteristics are studied. And the parameters of static and dynamic characteristics of HSR, such as static stiffness, natural frequency and modal shape are obtained. The accuracy of the finite element analysis mode is verified, which establishes the foundation for the dynamics analysis of machine tool.
Styles APA, Harvard, Vancouver, ISO, etc.
19

Belyaev, M., et V. Tsesko. « LLVM-based static analysis tool using type and effect systems ». Automatic Control and Computer Sciences 46, no 7 (décembre 2012) : 324–30. http://dx.doi.org/10.3103/s0146411612070073.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
20

Liang, Hongliang, Lei Wang, Dongyang Wu et Jiuyun Xu. « MLSA : a static bugs analysis tool based on LLVM IR ». International Journal of Networked and Distributed Computing 4, no 3 (2016) : 137. http://dx.doi.org/10.2991/ijndc.2016.4.3.1.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
21

Xie, Hua Long, Wen Ke Zhang, Hui Min Guo et Yong Xian Liu. « The Spindle Static Characteristic Analysis of HTC3250µn NC Machine Tool ». Applied Mechanics and Materials 157-158 (février 2012) : 291–94. http://dx.doi.org/10.4028/www.scientific.net/amm.157-158.291.

Texte intégral
Résumé :
The analysis of spindle static stiffness is particularly important. The concept of spindle stiffness is introduced. Based on software ANSYS, the finite element analysis model of simplified spindle is established. Two equivalent forms of bearings are discussed and the analysis results are compared. The stress distribution nephogram of spindle is given. The research indicates that using spring-damper element instead of bearings is more suitable and the machining accuracy mainly depends on the stiffness rather than strength.
Styles APA, Harvard, Vancouver, ISO, etc.
22

Pritchett, William W., et John D. Riley. « An ASIS-based static analysis tool for high-integrity systems ». ACM SIGAda Ada Letters XVIII, no 6 (novembre 1998) : 12–17. http://dx.doi.org/10.1145/301687.289527.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
23

Kulkarni, P. R., Mahendra et U. Gaikwad. « Static and Dynamic Analysis of End Mill Tool for Stability ». International Journal of Advanced Materials Manufacturing and Characterization 3, no 1 (13 mars 2013) : 341–43. http://dx.doi.org/10.11127/ijammc.2013.02.062.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
24

Shiyekar, S. M., et Akshaya Awari. « Static Stress Analysis of Functionally Graded Cylindrical Stiffened Shells ». Proceedings of the 12th Structural Engineering Convention, SEC 2022 : Themes 1-2 1, no 1 (19 décembre 2022) : 1847–52. http://dx.doi.org/10.38208/acp.v1.727.

Texte intégral
Résumé :
In this paper, a study on bending performance of functionally graded (FGM) cylindrical shells under transverse mechanical load is presented. Computational and analytical tools are used to study the behavior of FGM cylindrical shells under bending. Analytical modeling is based on first order shear deformation theory (FOST) and a finite element computational tool ABAQUS is used to model the FGM cylindrical shell. Material properties are estimated by power law index. Results from computational tools for isotropic and FGM cylindrical shells with various boundary and loading conditions are validated with literature and present FOST. Stiffened FG cylindrical shells with cutouts are analyzed. The FGM circular cylindrical shells subjected to an internal pressure with various arrangements of stiffeners are also analyzed and von – Mises stresses are also studied.
Styles APA, Harvard, Vancouver, ISO, etc.
25

Latifa, Er-rajy, et My Ahmed El Kiram. « Permission Watcher Tool : a sandbox tool based static and Dynamic analysis for Android Apps ». International Journal of Electronic Commerce Studies 9, no 2 (17 mars 2019) : 209. http://dx.doi.org/10.7903/ijecs.1651.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
26

Oktaviani, Anisa, et Melwin Syafrizal. « GandCrab Ransomware Analysis on Windows Using Static Method ». Buletin Ilmiah Sarjana Teknik Elektro 3, no 2 (27 novembre 2021) : 163–75. http://dx.doi.org/10.12928/biste.v3i2.4884.

Texte intégral
Résumé :
Malware-infected operating systems may experience system damage, files or loss of important data. Ransomware is a type of malware that works by attacking the internet network and then encrypting the victim's computer. So that the victim can access his computer again, the victim is asked to redeem (ransom) with some money in the form of Bitcoin. One of them is GandCrab. Gandcrab is a very powerful ransomware and only the creators of Gandcrab know the description of the encrypted files.Static analysis is done by importing malware samples into Virustotal, Dependency walker, PEStudio, Exeinfo PE, and PEexplorer tools to get the strings function, which will then be analyzed to find out how the GandCrab Ransomware works.This study analyzes the gandcrab ransomware malware using a static method. In the Virustotal tool, it was found that the malware sample file was detected as malware with a ratio of 60 out of 70 antimalware. Furthermore, it was found that GandCrab is in PE (portable executable) format, compiled using Microsoft Visual C++ and GndCrab accesses some DLL (dynamic link-library) functions. Sistem operasi yang terinfeksi malware dapat mengalami kerusakan sistem, file atau kehilangan data-data penting. Ransomware merupakan salah satu jenis malware yang bekerja dengan cara menyerang jaringan internet kemudian mengenkripsi komputer korban. Agar korban dapat mengakses komputernya lagi, korban diminta unutk menebus (ransom) dengan sejumlah uang dalam bentuk Bitcoin. Salah satunya yaitu GandCrab. Gandcrab merupakan ransomware yang sangat kuat dan hanya pembuat gandcrab yang mengetahui deskripsi dari file yang terenkripsi. Analisis statis dilakukan dengan mengimpor sample malware kedalam tools Virustotal, Dependency walker, PEStudio, Exeinfo PE, dan PEexplorer untuk mendapatkan fungsi strings yang kemudian strings tersebut akan dianalisa untuk mengetahui cara kerja dari GandCrab Ransomware. Penelitian ini melakukan analisis terhadap malware gandcrab ransomware dengan menggunakan metode statis. Pada tool Virustotal, didapatkan bahwa file sample malware terdeteksi sebagai malware dengan rasio 60 dari 70 antimalware. Selanjutnya ditemukan bahwa GandCrab berformat PE (portable executable), dikompilasi menggunakan Microsoft Visual C++ dan GandCrab mengakses beberapa fungsi DLL (dynamic link-library).
Styles APA, Harvard, Vancouver, ISO, etc.
27

Gao, Dong Qiang, Fei Zhang, Zhi Yun Mao, Huan Lin et Jiang Miao Yi. « Finite Element Analysis and Structure Optimization of Machine Tool Worktable ». Applied Mechanics and Materials 80-81 (juillet 2011) : 985–89. http://dx.doi.org/10.4028/www.scientific.net/amm.80-81.985.

Texte intégral
Résumé :
DVG850 high-speed machining center worktable is taken as research object, in order to meet the overall performance requirements of the high-speed machining center, 3D model of worktable is established in SolidWorks. Static analysis and modal analysis are carried out in ANSYS Workbench, and then the worktable is optimized in topology optimization module of ANSYS Workbench. According with the analysis results, the worktable structure has improved. The improved worktable keeps the original’s static performance, and enhances the dynamic performance; however, its quality is lighter than original structure by 23.2 kg.
Styles APA, Harvard, Vancouver, ISO, etc.
28

Imbugwa, Gerald Birgen, Luiz Jonatã Pires de Araújo, Mansur Khazeev, Ewane Enombe, Harrif Saliu et Manuel Mazzara. « A case study comparing static analysis tools for evaluating SwiftUI projects ». Journal of Physics : Conference Series 2134, no 1 (1 décembre 2021) : 012022. http://dx.doi.org/10.1088/1742-6596/2134/1/012022.

Texte intégral
Résumé :
Abstract Declarative programming languages such as SwiftUI have gained increasing relevance for user interface implementation in mobile applications. A tool for evaluating and improving the quality of such projects is static analysis (SA). This study compares the usefulness of two of the most popular SA tools (SonarQube and Codacy) for evaluating real-world SwiftUI projects. Moreover, it recommends setup and adjustments to promote SA tools for SwiftUI projects that can be extended to other languages.
Styles APA, Harvard, Vancouver, ISO, etc.
29

Lu, Mo Wu, et Guo Ming Zhang. « Analysis on Static Characteristic of HTC100 NC Lathe Bed ». Applied Mechanics and Materials 226-228 (novembre 2012) : 617–20. http://dx.doi.org/10.4028/www.scientific.net/amm.226-228.617.

Texte intégral
Résumé :
HTC 100 CNC lathe is a heavy machine tool. The lathe bed is the important part of the machine tool. The static characteristic of the lathe bed directly influence the machining accuracy and production efficiency of the machine tool. At present, the lathe bed design general depends on the designer’s experience. In this paper, the static analysis of the HTC100 CNC lathe bed is carried out with ANSYS 12.0. The node equivalent stress distribution cloud, the total deformation distribution of Lathe bed and the maximum distortion under various kinds of working conditions are obtained. According to the result, the structure of lathe bed design tends to conservative and the distribution of static stiffness is unreasonable, which is necessary to optimum design.
Styles APA, Harvard, Vancouver, ISO, etc.
30

Wang, Li Ming, Ying Xian, Li Zhang et Xi Yang Liu. « JSSlicer : A Static Program Slicing Tool for JavaScript ». Applied Mechanics and Materials 241-244 (décembre 2012) : 2690–95. http://dx.doi.org/10.4028/www.scientific.net/amm.241-244.2690.

Texte intégral
Résumé :
The rapid development of Web 2.0 leads scripting language such as JavaScript to be ubiquitous in web pages; however the dynamic nature and flexibility of JavaScript make its development, debugging, maintenance, and reuse difficult. To improve the efficiency and accuracy of JavaSript security analysis, we propose a new JavaScript analysis method based on program slicing, together with a prototype-implemented JavaScript slicing tool, named JSSlicer. We also present a proof-of-concept application example of JSSlicer where an example of the common mode failure problem is tackled.
Styles APA, Harvard, Vancouver, ISO, etc.
31

Zhao, Liang, Ya Dong Gong et Guang Qi Cai. « Analysis and Optimal Design for the Static Stiffness of a 2UPS-UPR Parallel Machine Tool ». Materials Science Forum 626-627 (août 2009) : 429–34. http://dx.doi.org/10.4028/www.scientific.net/msf.626-627.429.

Texte intégral
Résumé :
The stiffness model of the parallel machine tool is established by static analysis, the static stiffness analysis is carried out through numerical Simulation and the stiffness distribution is given. On the basis of this, the optimal objective is given which is the average of 729 values of -axis stiffness and -axis stiffness corresponding to 729 positions in the workspace. With MATLAB software, the effects are simulated which the structural parameters of the parallel machine tool have on their stiffness, their change rules are gained, and this provides a basis for the structural design of this type of machine tools.
Styles APA, Harvard, Vancouver, ISO, etc.
32

Zhang, Fei, Dong Qiang Gao, Zhi Yun Mao, Jiang Miao Yi et Huan Lin. « Structure Analysis and Optimization for High-Speed Vertical Machining Tool Table ». Applied Mechanics and Materials 120 (octobre 2011) : 197–202. http://dx.doi.org/10.4028/www.scientific.net/amm.120.197.

Texte intégral
Résumé :
In order to meet high-speed machining center’s overall performance requirements, there are four different worktable structures established in SolidWorks, and they are carried out static analysis in ANSYS Workbench to calculate their static stiffness, so that find out the best structure. In meeting the worktable stiffness, the best structure is optimized in ANSYS Workbench, then the worktable’s quality reduces 8.43% in the original foundation and the cost also decreases, which is a basis for worktable’s dynamic performance analysis.
Styles APA, Harvard, Vancouver, ISO, etc.
33

Polyakov, Sergey Andreevich, et Alexey Evgenevich Borodin. « Deadlock Detection using Static Analysis ». Proceedings of the Institute for System Programming of the RAS 32, no 5 (2020) : 21–34. http://dx.doi.org/10.15514/ispras-2020-32(5)-2.

Texte intégral
Résumé :
The paper describes an extension to summary based static program analysis to find deadlock errors. Summary based analysis is a popular approach aimed at the detection of bugs in programs due to its high performance and scalability. At the same time, the implementation of deadlock detectors in such an analysis is nontrivial, because there is no information about the locks held higher in the call stack during the process of function intraprocedural analysis. A lock graph, which is built during the main analysis, is used to model the semantics of multithreaded programs. Lock graph is a modification of call graph which contains additional information about held locks. After the lock graph is built, the deadlock detector is launched. Both the construction of the lock graph and the deadlock detection algorithm do not require significant processor time. On the performed measurements, the total analysis time increased by 4%. Based on the results of the analysis of 8 open source projects in C/C++/Java with a total size of more than 14 million lines of code, the proposed algorithm showed a high level of true positives. The described algorithms were implemented in the Svace tool.
Styles APA, Harvard, Vancouver, ISO, etc.
34

Zhang, Yao Man, Chao Qun Wang et Xiu Li Lin. « Finite Element Analysis and Optimization on the Numerical Control Lathe Bed ». Applied Mechanics and Materials 778 (juillet 2015) : 28–32. http://dx.doi.org/10.4028/www.scientific.net/amm.778.28.

Texte intégral
Résumé :
Lathe bed is one of the important parts of machine tool, and its performance will affect the final machining accuracy of the machine tool directly. A numerical control lathe produced by a machine tool plant was taken as the research object, the finite element analysis and optimization method of the Lathe bed were studied. First of all, the external load of the bed was analyzed, static performance finite element analysis of the bed was implemented, and the corresponding analysis results were obtained. Then, the evaluation methods were discussed, and the deformations of junction areas were studied. At the same time, its effect on the performance of machine tool could also be analyzed. Based on the topology optimization method, the conceptual model of Lathe bed could be acquired, and also the rationality of the existing machine tool structure was discussed. The finite element analysis and optimization method of Lathe bed were concluded, which are helpful to obtain the static characteristics of the Lathe bed accurately. Moreover, there is an important practical significance to design the Lathe bed reasonably and to promote the machine tools comprehensive performance.
Styles APA, Harvard, Vancouver, ISO, etc.
35

Samal, B. B., et L. E. Eiden. « pathFinder : A Static Network Analysis Tool for Pharmacological Analysis of Signal Transduction Pathways ». Science Signaling 1, no 31 (5 août 2008) : pt4. http://dx.doi.org/10.1126/scisignal.131pt4.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
36

Kang, Ji-Hun, et Jae-Cheol Ryou. « A Base Address Analysis Tool for Static Analysis of ARM Architecture-Based Binary ». Journal of the Korea Institute of Information Security and Cryptology 26, no 5 (31 octobre 2016) : 1185–89. http://dx.doi.org/10.13089/jkiisc.2016.26.5.1185.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
37

Bulat, Hrvoje, Dubravko Franković et Saša Vlahinić. « Enhanced Contingency Analysis—A Power System Operator Tool ». Energies 14, no 4 (10 février 2021) : 923. http://dx.doi.org/10.3390/en14040923.

Texte intégral
Résumé :
Contingency analysis (CA) is a well-known function in power system planning and operation. In accordance with CA results, the system operator dispenses information regarding static security of the power system (overloads and/or voltage outside tolerable limits). However, classic CA with remedial action schemes cannot distinguish safe operating regimes from potentially dangerous ones in terms of voltage (in)stability. In fact, voltage instability is considered as one of the major threats leading to power system insecurity. Therefore, in this study an enhanced contingency analysis (ECA) is presented where the classical CA is extended with static voltage analysis based on the modal analysis. The article presents a dedicated methodology for the proposed ECA tool, with special emphasis on the analysis of corrective measures provided by the system operator, intended for enhancing power system security (regulation transformer action, distributed generation and energy storage). Also the influence of the load model was analyzed by simulation and the main conclusions are presented. The study demonstrated the advantages that distributed generation resources and energy storage can provide in the context of voltage stability. Also, the simulations acknowledged the importance of correct load modeling, since over or under estimation of a certain load-type component can result in too optimistic or too pessimistic power system operation limits.
Styles APA, Harvard, Vancouver, ISO, etc.
38

Walker, Andrew, Dipta Das et Tomas Cerny. « Automated Code-Smell Detection in Microservices Through Static Analysis : A Case Study ». Applied Sciences 10, no 21 (3 novembre 2020) : 7800. http://dx.doi.org/10.3390/app10217800.

Texte intégral
Résumé :
Microservice Architecture (MSA) is becoming the predominant direction of new cloud-based applications. There are many advantages to using microservices, but also downsides to using a more complex architecture than a typical monolithic enterprise application. Beyond the normal poor coding practices and code smells of a typical application, microservice-specific code smells are difficult to discover within a distributed application setup. There are many static code analysis tools for monolithic applications, but tools to offer code-smell detection for microservice-based applications are lacking. This paper proposes a new approach to detect code smells in distributed applications based on microservices. We develop an MSANose tool to detect up to eleven different microservice specific code smells and share it as open-source. We demonstrate our tool through a case study on two robust benchmark microservice applications and verify its accuracy. Our results show that it is possible to detect code smells within microservice applications using bytecode and/or source code analysis throughout the development process or even before its deployment to production.
Styles APA, Harvard, Vancouver, ISO, etc.
39

Szőke, Gábor. « Automating the Refactoring Process ». Acta Cybernetica 23, no 2 (2017) : 715–35. http://dx.doi.org/10.14232/actacyb.23.2.2017.16.

Texte intégral
Résumé :
To decrease software maintenance cost, software development companies use static source code analysis techniques. Static analysis tools are capable of finding potential bugs, anti-patterns, coding rule violations, and they can also enforce coding style standards. Although there are several available static analyzers to choose from, they only support issue detection. The elimination of the issues is still performed manually by developers. Here, we propose a process that supports the automatic elimination of coding issues in Java. We introduce a tool that uses a third-party static analyzer as input and enables developers to automatically fix the detected issues for them. Our tool uses a special technique, called reverse AST-search, to locate source code elements in a syntax tree, just based on location information. Our tool was evaluated and tested in a two-year project with six software development companies where thousands of code smells were identified and fixed in five systems that have altogether over five million lines of code.
Styles APA, Harvard, Vancouver, ISO, etc.
40

Mitin, E. V., S. P. Sul’din et A. E. Mitina. « Static Analysis of Cutting Inserts in a Smoothing Tool by Simulation ». Russian Engineering Research 41, no 4 (avril 2021) : 353–56. http://dx.doi.org/10.3103/s1068798x21040158.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
41

Bang, Jiho, et Rhan Ha. « Validation Test Codes Development of Static Analysis Tool for Secure Software ». Journal of Korea Information and Communications Society 38C, no 5 (31 mai 2013) : 420–27. http://dx.doi.org/10.7840/kics.2013.38c.5.420.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
42

Shahoor, Arooba, Rida Shaukat, Sumaira Sultan Minhas, Hina Awan et Kashif Saghar. « sharpniZer : A C# Static Code Analysis Tool for Mission Critical Systems ». Advances in Science, Technology and Engineering Systems Journal 5, no 6 (novembre 2020) : 561–70. http://dx.doi.org/10.25046/aj050668.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
43

Smith, Justin, Brittany Johnson, Emerson Murphy-Hill, Bill Chu et Heather Richter Lipford. « How Developers Diagnose Potential Security Vulnerabilities with a Static Analysis Tool ». IEEE Transactions on Software Engineering 45, no 9 (1 septembre 2019) : 877–97. http://dx.doi.org/10.1109/tse.2018.2810116.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
44

Bak, Na-Yeon, Byeong-Mo Chang et Kwanghoon Choi. « SmartVisual : a visualisation tool for SmartThings IoT Apps using static analysis ». IET Software 14, no 4 (août 2020) : 411–22. http://dx.doi.org/10.1049/iet-sen.2019.0344.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
45

Harb, Hany, Hamdy Kelash et Ahmed Shehata. « STATIC TOOL ENVIRONMENT FOR RULE TERMINATION ANALYSIS BY REFINED EVOLUTION GRAPHS ». JES. Journal of Engineering Sciences 35, no 1 (1 janvier 2007) : 163–76. http://dx.doi.org/10.21608/jesaun.2007.111412.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
46

Holzmann, Gerard J. « Cobra : a light-weight tool for static and dynamic program analysis ». Innovations in Systems and Software Engineering 13, no 1 (1 juin 2016) : 35–49. http://dx.doi.org/10.1007/s11334-016-0282-x.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
47

César, Eduardo, Anna Morajko, Tomàs Margalef, Joan Sorribes, Antonio Espinosa et Emilio Luque. « Dynamic Performance Tuning Supported by Program Specification ». Scientific Programming 10, no 1 (2002) : 35–44. http://dx.doi.org/10.1155/2002/549617.

Texte intégral
Résumé :
Performance analysis and tuning of parallel/distributed applications are very difficult tasks for non-expert programmers. It is necessary to provide tools that automatically carry out these tasks. These can be static tools that carry out the analysis on a post-mortem phase or can tune the application on the fly. Both kind of tools have their target applications. Static automatic analysis tools are suitable for stable application while dynamic tuning tools are more appropriate to applications with dynamic behaviour. In this paper, we describe KappaPi as an example of a static automatic performance analysis tool, and also a general environment based on parallel patterns for developing and dynamically tuning parallel/distributed applications.
Styles APA, Harvard, Vancouver, ISO, etc.
48

Bayly, Philip V., Keith A. Young, Sean G. Calvert et Jeremiah E. Halley. « Analysis of Tool Oscillation and Hole Roundness Error in a Quasi-Static Model of Reaming ». Journal of Manufacturing Science and Engineering 123, no 3 (1 novembre 2000) : 387–96. http://dx.doi.org/10.1115/1.1383551.

Texte intégral
Résumé :
A quasi-static model of reaming is developed to explain oscillation of the tool during cutting and the resulting roundness errors in reamed holes. A tool with N evenly-spaced teeth often produces holes with N+1 or N−1 “lobes.” These profiles correspond, respectively, to forward or backward whirl of the tool at N cycles/rev. Other whirl harmonics (2N cycles/rev, e.g.) are occasionally seen as well. The quasi-static model is motivated by the observations that relatively large oscillations occur at frequencies well below the natural frequency of the tool, and that in this regime the wavelength of the hole profile is largely independent of both cutting speed and tool natural frequency. In the quasi-static approach, inertial and viscous damping forces are neglected, but the system remains dynamic because regenerative (time-delayed) cutting and rubbing forces are included. The model leads to an eigenvalue problem with forward and backward whirl solutions that closely resemble the tool behavior seen in practice.
Styles APA, Harvard, Vancouver, ISO, etc.
49

Venugopal, Prabhu Raja, M. Kalayarasan, PR Thyla, PV Mohanram, Mahendrakumar Nataraj, S. Mohanraj et Harshad Sonawane. « Structural investigation of steel-reinforced epoxy granite machine tool column by finite element analysis ». Proceedings of the Institution of Mechanical Engineers, Part L : Journal of Materials : Design and Applications 233, no 11 (16 avril 2019) : 2267–79. http://dx.doi.org/10.1177/1464420719840592.

Texte intégral
Résumé :
Higher damping with higher static stiffness is essential for improving the static and dynamic characteristics of machine tool structures. The structural vibration in conventional machine tools, which are generally made up of cast iron and cast steel, may lead to poor surface finish and the dimensional inaccuracy in the machined products. It leads to the investigation of alternative machine tool structural materials such as concrete, polymer concrete, and epoxy granite. Although epoxy granite has a better damping capacity, its structural stiffness (Young's modulus) is one-third as compared to cast iron. Therefore, the present work represents optimization of the structural design of the vertical machining center column by introducing various designs of steel reinforcement in the epoxy granite structure to improve its static and dynamic characteristics using experimental and numerical approaches. A finite element model of the existing cast iron vertical machining center column has been developed and validated against the experimental data obtained using modal analysis. Furthermore, finite element models for various epoxy granite column designs have been developed and compared with the static and dynamic characteristics of cast iron column. A total of nine design configurations for epoxy granite column with steel reinforcement are evolved and numerical investigations are carried out by finite element analysis. The proposed final configuration with standard steel sections has been modeled using finite element analysis for an equivalent static stiffness and natural frequencies of about 12–20% higher than cast iron structure. Therefore, the proposed finite element model of epoxy-granite-made vertical machining center column can be used as a viable alternative for the existing column in order to achieve higher structural damping, equivalent or higher static stiffness and, easy and environmental-friendly manufacturing process.
Styles APA, Harvard, Vancouver, ISO, etc.
50

Vasyura-Bathke, Hannes, Jan Dettmer, Andreas Steinberg, Sebastian Heimann, Marius Paul Isken, Olaf Zielke, Paul Martin Mai, Henriette Sudhaus et Sigurjón Jónsson. « The Bayesian Earthquake Analysis Tool ». Seismological Research Letters 91, no 2A (22 janvier 2020) : 1003–18. http://dx.doi.org/10.1785/0220190075.

Texte intégral
Résumé :
Abstract The Bayesian earthquake analysis tool (BEAT) is an open-source Python software to conduct source-parameter estimation studies for crustal deformation events, such as earthquakes and magma intrusions, by employing a Bayesian framework with a flexible problem definition. The software features functionality to calculate Green’s functions for a homogeneous or a layered elastic half-space. Furthermore, algorithm(s) that explore the solution space may be selected from a suite of implemented samplers. If desired, BEAT’s modular architecture allows for easy implementation of additional features, for example, alternative sampling algorithms. We demonstrate the functionality and performance of the package using five earthquake source estimation examples: a full moment-tensor estimation; a double-couple moment-tensor estimation; an estimation for a rectangular finite source; a static finite-fault estimation with variable slip; and a full kinematic finite-fault estimation with variable hypocenter location, rupture velocity, and rupture duration. This software integrates many aspects of source studies and provides an extensive framework for joint use of geodetic and seismic data for nonlinear source- and noise-covariance estimation within layered elastic half-spaces. Furthermore, the software also provides an open platform for further methodological development and for reproducible source studies in the geophysical community.
Styles APA, Harvard, Vancouver, ISO, etc.
Vous pouvez également être intéressé par les bibliographies sur le sujet « Static Analysis Tool » pour d’autres types de sources :
Thèses Livres
Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!

Vers la bibliographie