Siga este enlace para ver otros tipos de publicaciones sobre el tema: Static tool.

Artículos de revistas sobre el tema "Static tool"

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Static tool".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

Chen, Chen, Zhe Jing, Jinxin Ma, Baojiang Cui, Han Xu y 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

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

Texto completo
Resumen
<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>
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

Kondo, Eiji, Ryuichi Iwamoto y 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 (septiembre de 2014): 696–702. http://dx.doi.org/10.4028/www.scientific.net/amr.1017.696.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

Al-Shareef, K. J. H. y 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, n.º 2 (mayo de 1990): 91–104. http://dx.doi.org/10.1243/pime_proc_1990_204_052_02.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

ADACHI, Kazuhiko, Junya TANAKA y 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_.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
42

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

Latifa, Er-rajy y 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, n.º 2 (17 de marzo de 2019): 209. http://dx.doi.org/10.7903/ijecs.1651.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
50

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

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía