• Title/Summary/Keyword: static software analysis

Search Result 346, Processing Time 0.031 seconds

Basice Design of Pantograph for Prototype Train of Korean Very High Speed Rail (한국형 고속전철 시제차량용 판토그라프의 기본설계)

  • 김휘준;박수홍;오창진;정경렬;배정찬
    • Proceedings of the KSR Conference
    • /
    • 1999.11a
    • /
    • pp.189-201
    • /
    • 1999
  • According to the current trend of single arm type pantograph for high speed trail korean pantograph designed to single arm type will be installed on each power car roof of prototype train of korean very high speed rail configured to 7 cars and have the characteristics of maximum 1% contact loss at 350 km/h speed. This study is devoted to design basically element components of pantograph for korean very high speed train on the basis of kinematic analysis, static analysis and dynamic analysis, followed by making the basic drawings of korean pantograph. This drawings will be complemented through certification tests of prototype pantograph and verification of analysis software.

  • PDF

Practical and Verifiable C++ Dynamic Cast for Hard Real-Time Systems

  • Dechev, Damian;Mahapatra, Rabi;Stroustrup, Bjarne
    • Journal of Computing Science and Engineering
    • /
    • v.2 no.4
    • /
    • pp.375-393
    • /
    • 2008
  • The dynamic cast operation allows flexibility in the design and use of data management facilities in object-oriented programs. Dynamic cast has an important role in the implementation of the Data Management Services (DMS) of the Mission Data System Project (MDS), the Jet Propulsion Laboratory's experimental work for providing a state-based and goal-oriented unified architecture for testing and development of mission software. DMS is responsible for the storage and transport of control and scientific data in a remote autonomous spacecraft. Like similar operators in other languages, the C++ dynamic cast operator does not provide the timing guarantees needed for hard real-time embedded systems. In a recent study, Gibbs and Stroustrup (G&S) devised a dynamic cast implementation strategy that guarantees fast constant-time performance. This paper presents the definition and application of a cosimulation framework to formally verify and evaluate the G&S fast dynamic casting scheme and its applicability in the Mission Data System DMS application. We describe the systematic process of model-based simulation and analysis that has led to performance improvement of the G&S algorithm's heuristics by about a factor of 2. In this work we introduce and apply a library for extracting semantic information from C++ source code that helps us deliver a practical and verifiable implementation of the fast dynamic casting algorithm.

Distribution of Inter-Contact Time: An Analysis-Based on Social Relationships

  • Wei, Kaimin;Duan, Renyong;Shi, Guangzhou;Xu, Ke
    • Journal of Communications and Networks
    • /
    • v.15 no.5
    • /
    • pp.504-513
    • /
    • 2013
  • Communication in delay tolerant networks (DTNs) relies on message transport by mobile nodes, and a correct understanding of the node mobility characteristics is therefore crucial to the design of an efficient DTN routing protocol. However, previous work has mainly focused on uncovering all behaviors of node movement, which is not conducive to accurately detecting the specific movement characteristics of a different node. In this paper, we seek to address this problem based on a consideration of social relationships. We first consider social ties from both static and dynamic perspectives. For a static perspective, in addition to certain accidental events, social relations are considered for a long time granularity and tend to be stable over time. For a dynamic perspective, social relations are analyzed in a relatively short time granularity and are likely to change over time. Based on these perspectives, we adopted different efficient approaches to dividing node pairs into two classes, i.e., familiar and unfamiliar pairs. A threshold approach is used for static social ties whereas a density-based aggregation method is used for dynamic social relationships. Extensive experimental results show that both familiar and unfamiliar node pairs have the same inter-contact time distribution, which closely follows a power-law decay up to a certain point, beyond which it begins to exponentially decay. The results also demonstrate that the inter-contact time distribution of familiar pairs decays faster than that of unfamiliar pairs, whether from a static or dynamic perspective. In addition, we also analyze the reason for the difference between the inter-contact time distributions of both unfamiliar and familiar pairs.

The Effects of Elastic Ankle Taping on Static and Dynamic Postural Control in Individuals With Chronic Ankle Instability

  • Lim, Jin-seok;Kim, Seo-hyun;Moon, Il-young;Yi, Chung-hwi
    • Physical Therapy Korea
    • /
    • v.28 no.3
    • /
    • pp.200-207
    • /
    • 2021
  • Background: Postural control deficit is a major characteristic in patients with chronic ankle instability (CAI). Elastic ankle tapings are commonly used to facilitate postural control in patients with CAI as well as prevent relapse of a lateral ankle sprain. However, equivocal evidence exists concerning the effect of elastic ankle taping on postural control. Objects: This study aimed to evaluate the effects of elastic ankle tapings using kinesio taping (KT) and dynamic taping (DT) on static and dynamic postural control in patients with CAI. Methods: Fifteen subjects with CAI were participated in this study. The participants performed tests under three conditions (barefoot, KT, and DT). Static postural control was evaluated using the one-leg standing test (OLST) and dynamic postural control using the modified Star Excursion Balance Test (mSEBT). One-way repeated-measures analysis of variance was used to compare center of pressure (CoP) data and normalized mSEBT reach distances among the three conditions (with α = 0.05). Results: The CoP parameters (path length, ellipse area, and mean velocity) of the OLST significantly decreased on applying KT and DT compared with those when barefoot. The normalized reach distances in the anteromedial (AM), medial (M), and posteromedial (PM) directions of the mSEBT significantly increased with DT compared to that in the control condition. Further, the higher reach distances with KT compared with those in the control condition were obtained in the M and PM directions of the mSEBT. No significant differences were identified in any of the OLST and SEBT parameters between the two different taping applications. Conclusion: KT and DT improved static postural control during the OLST compared with the control condition. Moreover, these tapes improved dynamic postural control during the mSEBT compared to the control. Therefore, elastic ankle tapings are useful prophylactic devices for the prevention and treatment of ankle sprain in people with CAI.

Method of Signature Extraction and Selection for Ransomware Dynamic Analysis (랜섬웨어 동적 분석을 위한 시그니처 추출 및 선정 방법)

  • Lee, Gyu Bin;Oak, Jeong Yun;Im, Eul Gyu
    • KIISE Transactions on Computing Practices
    • /
    • v.24 no.2
    • /
    • pp.99-104
    • /
    • 2018
  • Recently, there are increasing damages by ransomware in the world. Ransomware is a malicious software that infects computer systems and restricts user's access to them by locking the system or encrypting user's files saved in the hard drive. Victims are forced to pay the 'ransom' to recover from the damage and regain access to their personal files. Strong countermeasure is needed due to the extremely vicious way of attack with enormous damage. Malware analysis method can be divided into two approaches: static analysis and dynamic analysis. Recent malwares are usually equipped with elaborate packing techniques which are main obstacles for static analysis of malware. Therefore, this paper suggests a dynamic analysis method to monitor activities of ransomware. The proposed method can analyze ransomwares more accurately. The suggested method is comprised of extracting signatures of benign program, malware, and ransomware, and selecting the most appropriate signatures for ransomware detection.

A Preliminary Study on the Optimal Shape Design of the Axisymmetric Forging Component Using Equivalent Static Loads (등가정하중을 이용한 축대칭 단조품의 형상최적화에 관한 기초연구)

  • Jung, Ui-Jin;Lee, Jae-Jun;Park, Gyung-Jin
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.35 no.1
    • /
    • pp.1-10
    • /
    • 2011
  • An optimization method is proposed for preform and billet shape designs in the forging process by using the Equivalent Static Loads (ESLs). The preform shape is an important factor in the forging process because the quality of the final forging is significantly influenced by it. The ESLSO is used to determine the shape of the preform. In the ESLSO, nonlinear dynamic loads are transformed to the ESLs and linear response optimization is performed using the ESLs. The design is updated in linear response optimization and nonlinear analysis is performed with the updated design. The examples in this paper show that optimization using the ESLs is useful and the design results are satisfactory. Consequently, the optimal preform and billet shapes which produce the desired final shape have been obtained. Nonlinear analysis and linear response optimization of the forging process are performed using the commercial software LS-DYNA and NASTRAN, respectively.

Realization of Internet Supercomputing Technology (인터넷 수퍼컴퓨팅 기술의 구현)

  • 김승조
    • 한국전산유체공학회:학술대회논문집
    • /
    • 2000.10a
    • /
    • pp.1-8
    • /
    • 2000
  • In this work, Internet Supercomputing methodology is introduced and the concept is materialized for large-scale finite element analysis. The primary resources of Internet Supercomputing are numerous idling PCs connected by Internet with no regards to their locations. Therefore, it becomes one of the most affordable ways to achieve supercomputing power unlimitedly if the appropriate parallel algorithm and the operating program are developed for this slow network environment. Under the above concept, virtual supercomputing system InterSup I is constructed and tested. To establish the InterSup I system, 64 CPU nodes, which are located in several places and connected by Internet, are conscripted, and parallel finite element software is developed for linear static analysis of structures based on the parallel multi-frontal algorithm. By the established InterSup I system, analysis of finite element structural model having around five million DOFs are solved to check the affordability and effectiveness of Internet Supercomputing.

  • PDF

Experiences with Simulation Software for the Analysis of Inverter Power Sources in Arc Welding Applications

  • Fischer W.;Mecke H.;Czarnecki T.K.
    • Proceedings of the KIPE Conference
    • /
    • 2001.10a
    • /
    • pp.731-736
    • /
    • 2001
  • Nowadays various simulation tools are widely used for the design and the analysis of power electronic converters. From the engineering point of view it is rather difficult to parameterize power semiconductor device models without the knowledge of basic physical parameters. In recent years some data sheet driven behavioral models or so called 'wizard' tools have been introduced to solve this problem. In this contribution some experiences with some user-friendly power semiconductor models will be discussed. Using special simulation test circuits it is possible to get information on the static and dynamic behavior of the parameterized models before they are applied in more complex schemes. These results can be compared with data sheets or with measurements. The application of these models for power loss analysis of inverter type arc welding power sources will be described.

  • PDF

Escape Analysis for Stack Allocation in Java (자바 객체의 스택 저장 가능성 판별을 위한 정적 분석 기법)

  • 조은선
    • Journal of KIISE:Software and Applications
    • /
    • v.31 no.6
    • /
    • pp.840-848
    • /
    • 2004
  • Garbage collecting objects in Java makes memory management easier for the programmer, but it is time consuming. Stack allocation may be an alternative which identifies stack-allocatable objects before the execution, without performance degradation. We suggest an escaping analysis recording the interprocedural movement of the method, to detect an object the method of whose creation may have been already deactivated during the access. Our approach is different from prior works, enables us to handle some cases that are missed in the previous variable - oriented approach.

Computational Analysis of the Three-Dimensional Flow Characteristics and the Performance of Sirocco Fan (시로코팬의 3차원 유동 특성 및 성능에 대한 전산해석)

  • 하재홍;문영준
    • Korean Journal of Air-Conditioning and Refrigeration Engineering
    • /
    • v.12 no.7
    • /
    • pp.674-679
    • /
    • 2000
  • The Sirocco fan performance and its three-dimensional flow characteristics were numerically predicted by STAR-CD software. Turbulent flow computations were performed using approximately 500,000 mesh points, and the performance results of two computational methods, transient analysis and quasi-static analysis were compared with experimental data. At present, our attention was focused on localizing the three-dimensional flow characteristics of the Sirocco fin, especially the structure of the secondary flow in the scroll and the through-flow characteristics of the Sirocco fan blades. Also, for an optimization, the scroll passage was tilted with 10 degrees to change the flow characteristics and improve the performance of the Sirocco fan.

  • PDF