Log in

Relevant bibliographies by topics / Static tool / Journal articles

Journal articles on the topic 'Static tool'

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

Author: Grafiati

Published: 25 May 2024

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

Imbert, C. A. C., and H. J. McQueen. "Static Recrystallization of Tool Steels." Materials Science Forum 539-543 (March 2007): 4458–63. http://dx.doi.org/10.4028/www.scientific.net/msf.539-543.4458.

Full text

Abstract:

Double-twist torsion tests were used to determine static softening in the hot working range of three tool steels – W1, a carbon steel (1.03% C - 0.8% other elements), A2 and D2, a medium and a high alloy steel, containing 8.45% and 14.82% alloying elements. The carbon steel, that was single-phase austenite in the hot-working range, experienced rapid static recrystallization due to increased diffusion rate caused by C in hot austenite, very little alloying solute and no carbides. Carbides in alloy tool steels, which exist throughout the hot-working range, have a retarding effect on the progress of recrystallization but are responsible for enhancing initiation due to formation of nuclei at the strain concentration near the particle/matrix interface. Static recrystallization (SRX) of the alloy tool steels was compared with austenitic stainless steels, with similar strengths but much greater alloying content, and with microalloyed steels, as well as with the dynamic recrystallization kinetics.

APA, Harvard, Vancouver, ISO, and other styles

3

Milind Shinde, Mrunmayee, and A. S. Rao. "Static collision detection using visualization tool." Materials Today: Proceedings 5, no. 13 (2018): 27220–24. http://dx.doi.org/10.1016/j.matpr.2018.09.035.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

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

5

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

6

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

7

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

8

Wang, Han, Tianjian Li, Xizhi Sun, Diane Mynors, and Tao Wu. "Optimal Design Method for Static Precision of Heavy-Duty Vertical Machining Center Based on Gravity Deformation Error Modelling." Processes 10, no. 10 (September 24, 2022): 1930. http://dx.doi.org/10.3390/pr10101930.

Full text

Abstract:

Due to the large size and large span of heavy-duty machine tools, the structural deformation errors caused by gravity account for a large proportion of the static errors, and the influence of gravity deformation must thus be considered in the machine tool precision design. This paper proposes a precision design method for heavy-duty vertical machining centers based on gravity deformation error modelling. By abstracting the machine tool into a multibody system topology, the static error model of the machine tool is established based on the multibody system theory and a homogeneous coordinate transformation. Assuming that the static error of each motion axis is composed of two parts, i.e., the manufacturing-induced geometric error and the gravity deformation error, the machine tool stiffness model of the relationship between gravity and deformation error is developed using the spatial beam elements. In the modelling process, the stiffness coefficients and volume coefficients of the components are introduced to fully consider the influences of structural parameters on machine tool precision. Taking the machine tool static precision, the component stiffness coefficients and the volume coefficients as the design variables, based on the use of the worst condition method, error sensitivity analysis and global optimization algorithm, the optimal allocation of the static error budget of the machine tool and the structural design requirements of each component are determined, providing a valuable guide for the detailed structure design and manufacture processing of the machine tool components.

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

Zaus, Mahesi Agni, Rizky Ema Wulansari, Syaiful Islami, and Doni Pernanda. "Perancangan Media Pembelajaran Listrik Statis dan Dinamis Berbasis Android." INTECOMS: Journal of Information Technology and Computer Science 1, no. 1 (March 13, 2018): 1–7. http://dx.doi.org/10.31539/intecoms.v1i1.140.

Full text

Abstract:

This study discusses about design of static electricity and dynamic electricity learning media based on Android. designed learning media containing static and dynamic electrical materials that are abstract and not visible to see. The material is described in real and easily understood by learners. The method used in the design of learning media is System Development Life Cycle Waterfall model. And the design model of learning media using Unified Modeling Language with Use case diagram, flowchart and then developed using Adobe Flash CS6 tool. The results of this study indicate that the learning tool of static and dynamic electricity based on android easy to use for learners and teachers in the learning process.Keyword : Learning Tools, Android, Static Electricity, Dynamic Electricity

APA, Harvard, Vancouver, ISO, and other styles

11

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

12

Gonçalves, Leonel C., Juliane Gerth, Astrid Rossegger, Thomas Noll, and Jérôme Endrass. "Predictive Validity of the Static-99 and Static-99R in Switzerland." Sexual Abuse 32, no. 2 (January 9, 2019): 203–19. http://dx.doi.org/10.1177/1079063218821117.

Full text

Abstract:

This study evaluated the validity of the Static-99 and Static-99R in assessing sexual recidivism in Switzerland, based on a sample of 142 male sex offenders. Both tools showed predictive validity, but the Static-99R had better discrimination (OR = 1.82, AUC = .81) and calibration (Brier = .078, P/E = 0.96) than the Static-99. A cut score of four on the Static-99R maximized sensitivity (92.9%) and specificity (60.2%). However, although most offenders (98.7%) with a score < 4 did not commit sexual offenses in the 5-year follow-up period, only one in five (20.3%) offenders with a score ≥ 4 actually recidivated. Furthermore, the predicted number of recidivists in the well above average risk category (Static-99R ≥ 6) was 24% higher than expected in routine samples. The results suggest that the Static-99R may be a useful screening tool to identify low-risk individuals but offenders with scores ≥ 4 should be subjected to a more thorough assessment.

APA, Harvard, Vancouver, ISO, and other styles

13

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

14

Ferreira, N. T. "49. Modelling tool to enhance static nutritional tables." Animal - science proceedings 13, no. 4 (September 2022): 569–70. http://dx.doi.org/10.1016/j.anscip.2022.07.440.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

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

16

Shved, P. E., V. S. Mutilin, and M. U. Mandrykin. "Experience of improving the blast static verification tool." Programming and Computer Software 38, no. 3 (May 25, 2012): 134–42. http://dx.doi.org/10.1134/s0361768812030061.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Brown, M. J., and L. Elliott. "A design tool for static underbuoy hose-systems." Applied Ocean Research 9, no. 3 (July 1987): 171–80. http://dx.doi.org/10.1016/0141-1187(87)90021-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Chen, Chen, Zhe Jing, Jinxin Ma, Baojiang Cui, Han Xu, and Quanchen Zou. "IoTSIT: A Static Instrumentation Tool for IoT Devices." IEEE Access 8 (2020): 92153–61. http://dx.doi.org/10.1109/access.2020.2991782.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

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

20

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

21

Gapon, A. O., V. M. Fedorchenko, and О. V. Sievierinov. "Methods and means of static and dynamic code analysis." Radiotekhnika, no. 212 (March 28, 2023): 7–13. http://dx.doi.org/10.30837/rt.2023.1.212.01.

Full text

Abstract:

The purpose of the article is to explore the methods and tools used to analyze software code in order to identify errors and potential problems. Static and dynamic code analysis are key processes in software development, as they allow you to detect errors in the early stages of development, reduce the risk of problems later and ensure high quality of the software product. The article discusses various methods and means of static and dynamic code analysis. For each method and tool, examples of their use and advantages and disadvantages are described. The article will be useful for software developers who want to improve the quality of their products and reduce the risk of problems. It will provide readers with an in-depth understanding of code analysis techniques and tools and help them choose the most appropriate tool for their needs.

APA, Harvard, Vancouver, ISO, and other styles

22

Jin, Xin, and Bin Jiu Yang. "Research on Static Stiffness Characteristics of Parallel Machine Tool." Advanced Materials Research 139-141 (October 2010): 1628–31. http://dx.doi.org/10.4028/www.scientific.net/amr.139-141.1628.

Full text

Abstract:

The static stiffness characteristic of parallel machine tool is an important factor and reference for machine design and optimization. The static stiffness characteristic of 3-TPT parallel machine tool is researched in this paper. The structural analytical model of machine tool is built by ANSYS software, which has two different work positions and three kinds of different workloads. The details of analytical process and method are provided, and the deformation conditions and the laws of stiffness variation are got. The main factors of static stiffness are obtained, so it provides an important reference for modifying structure of machine tool and relative research.

APA, Harvard, Vancouver, ISO, and other styles

23

Alokush, Basem, Mohammad Abdallah, Mustafa Alrifaee, and Mosa Salah. "A Proposed Java Static Slicing Approach." Indonesian Journal of Electrical Engineering and Computer Science 11, no. 1 (July 1, 2018): 308. http://dx.doi.org/10.11591/ijeecs.v11.i1.pp308-317.

Full text

Abstract:

<p>Program slicing is to abstract a part of source code depending on the point of interest. It used widely in maintenance, debugging and testing. There are many slicing techniques such as static, dynamic, and amorphous. In this paper, we choose to develop a new approach applying static slicing on Java programs. The new approach simplifies the data dependency using arrays. A new Tool called Java Multi-Slicing Tool (JavaMST) has been introduced to apply this approach.</p><p>JavaMST presents new ways to slice any simple java code segment, it allows you to extract the variables and its direct and indirect dependencies from the code, using backward, forward or both slicing techniques to produce the needed code. This tool is a simple tool designed to deal with simple java code segments. JavaMST can be run under any operating system and does not require a specialized platforms or plug-ins. Therefore, it is useful to be used for educational purposes.</p>

APA, Harvard, Vancouver, ISO, and other styles

24

Lehrich, Krzysztof. ""IDENTIFICATION OF STATIC AND DYNAMIC PROPERTIES OF HEAVY-DUTY PLANER MILLS USING FEM "." International Journal of Modern Manufacturing Technologies 14, no. 1 (June 20, 2022): 81–90. http://dx.doi.org/10.54684/ijmmt.2022.14.1.81.

Full text

Abstract:

The accuracy of a machine tool is a result of many factors. It significantly depends on its design features. Therefore, designing a machine tool requires experience in this field and knowledge of the values of static and dynamic parameters, which the design should have. Such data are usually the know-how of the manufacturer of machine tools and are not available to companies which start such works or wish to construct a machine tool for their needs. The article presents the results of FEM analyses of four heavy-duty planer mills regarding static stiffness, dynamic stiffness and the frequency and form of free vibrations. The article relates these properties to the mass and dimensions of the working space of the machine tool. A coefficient has also been proposed to describe the relationship between these quantities. This is a unique approach proposed by the author.The analysis results presented show which machine tool properties can be expected depending on the size of the machine tool. The presented set of results is unique due to the number and size of machine tools. It can be used to compare similar designs and to support the design and optimisation of new designs. The results can also be used at the design stage to assess the expected accuracy of the machine tool.

APA, Harvard, Vancouver, ISO, and other styles

25

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

26

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

27

Kondo, Eiji, Ryuichi Iwamoto, and Yuya Kobaru. "Monitoring of Wear Land Width of Diamond Tool Cutting Edge with Large Nose Radius in Ultra-Precision Cutting Using Static Cutting Forces." Advanced Materials Research 1017 (September 2014): 696–702. http://dx.doi.org/10.4028/www.scientific.net/amr.1017.696.

Full text

Abstract:

Large wear of diamond tools for ultra-precision cutting of soft metals deteriorates quality of machined surface, and the worn tools have to be replaced with new tools when the tool wear reaches limited wear land width of cutting edge generating finished surface. However, it is difficult to predict the tool life since all cutting tools have individual tool life. Therefore, the purpose of this study is to estimate wear land width of cutting edge of a single crystal diamond tool having large nose radius by using static cutting forces during machining. As a result of the cutting tests and measurements, it was found that the ratio of thrust force to principal force had good relation with the ratio of flank wear land area to cutting cross section area. Furthermore, according to some detailed observation of flank wear, width of flank wear land was greatly related to uncut chip thickness obtained under different cutting conditions and it was found that width of flank wear land could be estimated by measured static cutting forces and cutting conditions.

APA, Harvard, Vancouver, ISO, and other styles

28

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

29

Youn, Jae-Woong, and Min-Yang Yang. "A Study on the Relationships Between Static/Dynamic Cutting Force Components and Tool Wear." Journal of Manufacturing Science and Engineering 123, no. 2 (August 1, 2000): 196–205. http://dx.doi.org/10.1115/1.1362321.

Full text

Abstract:

The development of flexible automation in the manufacturing industry is concerned with production activities performed by unmanned machining systems. A major topic relevant to metal-cutting operations is monitoring tool wear, which affects process efficiency and product quality, and implementing automatic tool replacements. In this paper, the measurement of the cutting force components has been found to provide a method for an in-process detection of tool wear. Cutting force components are divided into static and dynamic components in this paper. The static components of cutting force have been used to detect flank wear and the dynamic components of cutting force have been analyzed to detect crater wear. To eliminate the influence of variations in cutting conditions, tools, and workpiece materials, the relationships between normalized cutting forces and cutting conditions are established. According to the proposed method, the static and dynamic force components could provide the effective means to detect flank and crater wear for varying cutting conditions in turning operation.

APA, Harvard, Vancouver, ISO, and other styles

30

Liu, Shi Hao, Wen Hua Ye, Wei Fang Chen, and Ting Zhang. "Simulation and Experiment Study for Spindle of Numerical Control Machine Tool." Applied Mechanics and Materials 16-19 (October 2009): 1289–93. http://dx.doi.org/10.4028/www.scientific.net/amm.16-19.1289.

Full text

Abstract:

Processing precision of numerical control machine tool is decided by static rigidity and dynamic rigidity of spindle to a great extent. 3- D model of numerical control machine tool was established by using parametric modeling and virtual assembly function of Solidworks. Simultaneously, simulation and Experiment study of the spindle static rigidity was carried out, and practicability of the simulation analysis method was proved. The result indicates that the biggest deformation appears in the front of spindle. The static rigidity of spindle can been enhanced greatly by enhancing three carriage-feed system’s static rigidity of machine tool. The simulation for the dynamic rigidity of spindle indicates that the dynamic rigidity of spindle is uniformly distributed and resonance can be avoided effectively by the spindle when working.

APA, Harvard, Vancouver, ISO, and other styles

31

Wei, Jia Zheng. "The Study on 5-DOF CNC Machine Tool Motion." Applied Mechanics and Materials 494-495 (February 2014): 448–51. http://dx.doi.org/10.4028/www.scientific.net/amm.494-495.448.

Full text

Abstract:

The 5-DOF CNC machine tools motion error, motion space simulation and interference are analyzed. The tool machine dynamic and static interference, trajectory planning are discussed, which realizes the parts manufacturability and processing rationality.

APA, Harvard, Vancouver, ISO, and other styles

32

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

33

Gao, Dong Qiang, Fei Zhang, Zhi Yun Mao, Huan Lin, and Jiang Miao Yi. "Application of Honeycomb Structure in Machine Tool Table." Advanced Materials Research 308-310 (August 2011): 1233–37. http://dx.doi.org/10.4028/www.scientific.net/amr.308-310.1233.

Full text

Abstract:

The aluminum alloy honeycomb structure used in the structural design of high-speed machine tool table to reduce the worktable’s quality, so that the inertial force generated from fast-moving reduced too. The new worktable and the original one both carried out static analysis and modal analysis by ANSYS Workbench respectively. From the result’s comparison, we can know that the new structure worktable’s static and dynamic performance are both better than the original one. The machine tool table’s machining accuracy has been raised.

APA, Harvard, Vancouver, ISO, and other styles

34

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

35

Akmaev, O. K., B. A. Enikeev, and A. I. Nigmatullin. "Static Stiffness Modeling of Parallel Kinematics Machine Tool Joints." Journal of Engineering Science and Technology Review 8, no. 6 (December 2015): 1–5. http://dx.doi.org/10.25103/jestr.086.01.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

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

37

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

38

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

39

Araki, M., and Y. Kuroyama. "Shock synthesized and static sintered boron nitride cutting tool." Physica B+C 139-140 (May 1986): 819–21. http://dx.doi.org/10.1016/0378-4363(86)90710-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Al-Shareef, K. J. H., and J. A. Brandon. "On the Quasi-Static Design of Machine Tool Spindles." Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture 204, no. 2 (May 1990): 91–104. http://dx.doi.org/10.1243/pime_proc_1990_204_052_02.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

ADACHI, Kazuhiko, Junya TANAKA, and Motohiro OHKUBO. "1406 Static stiffness distribution tendency of long rotating tool." Proceedings of Conference of Kansai Branch 2012.87 (2012): _14–5_. http://dx.doi.org/10.1299/jsmekansai.2012.87._14-5_.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Alazzawy, Wedad I. "STATIC AND DYNAMIC ANALYSIS OF STIFFENED PLATE USED IN MACHINE TOOL COLUMN." Journal of Engineering 14, no. 04 (February 24, 2024): 3099–111. http://dx.doi.org/10.31026/j.eng.2008.04.18.

Full text

Abstract:

Static behavior (under torsion and bending loading) of machine tool column was studied in this paper. The effects of changing the cross sectional area of the column itself on the deformations (design parameters) was investigated. The adding of stiffeners and changing the stiffeners cross sectional area are also verified. The results show that using of stiffeners can produse a great reduction in deformation of the column structure under the stastic loading mentioned above. Also using stiffeners with different cross-sectional areas suggest the best stiffener cross-sectional shape can be used to give the minimum deformations of column structure. Dynamic analysis of column involves calculating natural frequencies and mode of different column structure mentioned above, these frequencies are fairly insensitive of adding stiffeners to colmn structures.

APA, Harvard, Vancouver, ISO, and other styles

43

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

44

Chan, Tzu-Chi, Chia-Chuan Chang, Aman Ullah, and Han-Huei Lin. "Study on Kinematic Structure Performance and Machining Characteristics of 3-Axis Machining Center." Applied Sciences 13, no. 8 (April 10, 2023): 4742. http://dx.doi.org/10.3390/app13084742.

Full text

Abstract:

The rigidity and natural frequency of machine tools considerably influence cutting and generate great forces when the tool is in contact with the workpiece. The poor static rigidity of these Vertical Machining Centre machines can cause deformations and destroy the workpiece. If the natural frequency of the machines is low or close to the commonly used cutting frequency, they vibrate considerably, resulting in poor workpiece surfaces and thus shortening the lifespan of the tool. The main objective of this study was to develop an experimental technique for measuring the effect of machine tool stiffness. The static rigidity of the X-axis was found to be 2.20 kg/μm, while the first-, second-, and third-order natural frequencies were 27.3, 34.4, and 48.3 Hz, respectively. When an external force of 1000 N was applied, the Y-axis motor load was found to be approximately 2740 N-mm. In this study, the finite element method was mainly used to analyze the structure, static force, modal, frequency spectrum, and transient state of machine tools. The results of the static analysis were verified and compared to the experimental results. The analysis model and conditions were modified to ensure that the analysis results were consistent with the experimental results. Multi-body dynamics analyses were conducted by examining the force of each component and casting of the machine tools and the load of the motor during the cutting stroke. Moreover, an external force was applied to simulate the load condition of the motor when the machine tool is cutting to confirm the feed. In this study, we used topology optimization for effective structural optimization designs. The optimal conditions for topology optimization included lightweight structures, which resulted in reduced structural deformation and increased natural frequency.

APA, Harvard, Vancouver, ISO, and other styles

45

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

46

Shvets, S. V., and V. P. Astakhov. "Effect of Insert Angles on Cutting Tool Geometry." Journal of Engineering Sciences 7, no. 2 (2020): A1—A6. http://dx.doi.org/10.21272/jes.2020.7(2).a1.

Full text

Abstract:

An analysis of publications has shown that mechanically clamped indexable inserts are predominantly used in modern tool manufacturing. Each insert has its shape and geometry in the tool coordinate system. The static system’s required geometry is achieved by the tilting of the insert pocket in the radial and axial directions. Therefore, it is of great importance in the tool design to know the relationships between the insert’s geometry parameters in the tool coordinate system where the geometry paraments of the insert are defined and working geometry parameters of the tool defined in the static coordinate system. The paper presents the developed methodology for determining the insert pocket base surface position to ensure the required values of the tool geometry parameters of the selected indexable insert in the static coordinate system. The graphs of the dependence of each of the angles of the insert geometry on the angles of rotation of this insert in the front and profile planes are presented as the level lines for practical use. Using these graphs, one can optimize all geometric insertion parameters in the static coordinate system. The model of the calculations of the mechanism of the insert clamping by a screw is developed. The basic size and tolerance of the output link determine the distance from the intersection line of the base surfaces to the thread axis on the pocket and the minimum amount of the screw stroke on the insert clamping in the pocket. Keywords: indexable insert, cutting tool, coordinate system, base surfaces, geometric parameters.

APA, Harvard, Vancouver, ISO, and other styles

47

Stejskal, Tomáš, Miroslav Štofa, Jozef Svetlík, Martin Pituk, and Adam Žilinský. "Production Aspects Affecting the Final Precision Machining of Advanced Materials." Key Engineering Materials 756 (September 2017): 155–61. http://dx.doi.org/10.4028/www.scientific.net/kem.756.155.

Full text

Abstract:

When creating products of modern construction materials has a great influence on their endpoints right way and the quality of working on machine tools. The article deals with positioning accuracy of machine tools which is carried out in an unloaded condition, according to international standard ISO 230-2. Overall accuracy of working machining is determined mainly static rigidity, geometrical accuracy of mechanical components, positioning accuracy and dynamic stiffness. Static stiffness is defined in new machine tools in a limited workspace. Therefore, the article deals with the definition of static stiffness in the expanded work area and also defines its impact on the positioning accuracy at individual points in workspace of the machine tool.

APA, Harvard, Vancouver, ISO, and other styles

48

Handayani, Elvira, and Jauhar Maknun. "Efektifitas Penggunaan Alat Hydraulic Static Pile Driver (HSPD) pada Pemancangan." Jurnal Civronlit Unbari 3, no. 1 (April 30, 2018): 1. http://dx.doi.org/10.33087/civronlit.v3i1.26.

Full text

Abstract:

The rapid development of construction projects in Indonesia is directly proportional to the tools created and developed to assist and facilitate activities in the work. The tools no longer fully use human power but humans are only a part of the process of operating the tool. Limited land in the city of Jambi became the main reason in the construction of high-rise buildings. Thus, special technology is needed in order to facilitate the implementation of such development. One of the tools used is the tool for foundation work. Deep foundation construction has a more complex structure compared to shallow foundation construction. Therefore, in the construction of high-rise project, the use of jack in pile is considered very appropriate. One of the advantages of jack in pile is environmental disturbance such as vibration and noise can be minimized. In this research will discuss one type of Jack in Pile that is type Hydraulic Static Pile Driver (HSPD). Where in this case the effectiveness of the use of Hydraulic Static Pile Drivers (HSPD) on the Odua Weston project will be discussed according to the literature and supporting data available.Keywords: Effectiveness of Pollution, HSPD, SWOT Analysis

APA, Harvard, Vancouver, ISO, and other styles

49

Mangiri, Dewo, Junus Mara, and Herby Calvin Pascal Tiyouw. "Analisis Produktivitas Alat Hydraulic Static Pile Driver Pada Pembangunan Delft Apartemen Makassar." Paulus Civil Engineering Journal 4, no. 1 (March 17, 2022): 71–79. http://dx.doi.org/10.52722/pcej.v4i1.379.

Full text

Abstract:

This study aims to find out productivity Hydraulic Static Pile Driver (HSPD) tool in Delft Apartment construction project and also to find out the impact of productivity pilling tool Hydraulic Static Pile Driver on the duration of pilling activities in the Delft Apartement construction project. This study was conducted by direct observation method on project area to get data depth of pilling and duration of work. Then analyzed to get productivity value on Hydraulic Static Pile Driver. The result of this study is the productivity resulting from pilling with Hydraulic Static Pile Driver 15,732 m/hour and the highest productivity value is 21,631 m/hour and the lowest productivity value is 14,933 m/hour. Productivity of Hydraulic Static Pile Driver tool is very impactful to the duration of work pilling. The higher the production value, the shorter the pilling duration, conversely the lower the production value, the longer the pilling duration.

APA, Harvard, Vancouver, ISO, and other styles

50

V. V., Mangave. "Automated Code Review Tool." INTERANTIONAL JOURNAL OF SCIENTIFIC RESEARCH IN ENGINEERING AND MANAGEMENT 08, no. 05 (May 10, 2024): 1–5. http://dx.doi.org/10.55041/ijsrem33572.

Full text

Abstract:

As software development undergoes continual evolution, the assurance of code quality remains paramount in the development lifecycle. This research paper introduces an innovative Automated Code Review Tool engineered to augment and streamline the code review process. The tool capitalizes on advanced static code analysis, machine learning algorithms, and industry best practices to automate the detection of code quality issues, security vulnerabilities, and compliance with coding standards. The Automated Code Review Tool addresses the inherent challenges of manual code reviews, including human error, time constraints, and inconsistencies. Through automation, developers can expedite the identification and resolution of potential issues, thereby enhancing overall code quality and software reliability. Key features of the tool encompass intelligent pattern recognition, real-time feedback, and customizable rule sets, enabling development teams to tailor the tool to their project-specific requirements. Leveraging machine learning algorithms facilitates the tool's continuous learning from past reviews, thereby adapting to evolving coding practices and emerging security threats. This paper presents the architectural framework and design principles underpinning the Automated Code Review Tool, emphasizing its capacity to foster collaboration among development teams, reduce time-to-market, and ultimately contribute to the development of more robust and secure software. A comprehensive evaluation of the tool's efficacy across diverse development environments is conducted, offering insights into the practical implications of embracing automated solutions in real-world contexts. Keywords: Automated Code Review Tool, Code quality, Static code analysis, Machine learning algorithms, Coding standards, Manual code reviews, Human error, Time constraints, etc.

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!