Log in

Relevant bibliographies by topics / Static Analysis Tool / Journal articles

To see the other types of publications on this topic, follow the link: Static Analysis Tool.

Journal articles on the topic 'Static Analysis Tool'

Author: Grafiati

Published: 10 March 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Static Analysis Tool.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Thomson, Patrick. "Static Analysis: An Introduction." Queue 19, no. 4 (August 31, 2021): 29–41. http://dx.doi.org/10.1145/3487019.3487021.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

2

Tiganov, Daniil, Lisa Nguyen Quang Do, and Karim Ali. "Designing UIs for Static Analysis Tools." Queue 19, no. 4 (August 31, 2021): 97–118. http://dx.doi.org/10.1145/3487019.3487026.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

3

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

10

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

11

Borodin, Alexey Evgenevich, Alexey Vyacheslavovich Goremykin, Sergey Pavlovitch Vartanov, and 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.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

12

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

15

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

16

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

17

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

18

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

19

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Liang, Hongliang, Lei Wang, Dongyang Wu, and 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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

22

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Shiyekar, S. M., and 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 (December 19, 2022): 1847–52. http://dx.doi.org/10.38208/acp.v1.727.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

25

Latifa, Er-rajy, and 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 (March 17, 2019): 209. http://dx.doi.org/10.7903/ijecs.1651.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

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

Full text

Abstract:

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).

APA, Harvard, Vancouver, ISO, and other styles

27

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

28

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

29

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

30

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

31

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

32

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

33

Polyakov, Sergey Andreevich, and 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.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

34

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

35

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Kang, Ji-Hun, and 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 (October 31, 2016): 1185–89. http://dx.doi.org/10.13089/jkiisc.2016.26.5.1185.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

38

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

40

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

César, Eduardo, Anna Morajko, Tomàs Margalef, Joan Sorribes, Antonio Espinosa, and 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.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

48

Bayly, Philip V., Keith A. Young, Sean G. Calvert, and 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 (November 1, 2000): 387–96. http://dx.doi.org/10.1115/1.1383551.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

49

Venugopal, Prabhu Raja, M. Kalayarasan, PR Thyla, PV Mohanram, Mahendrakumar Nataraj, S. Mohanraj, and 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 (April 16, 2019): 2267–79. http://dx.doi.org/10.1177/1464420719840592.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

50

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!