New Static Analysis Methods and LRFD Recommendations for Steel H-Piles in Rock-Based Intermediate Geomaterials

2022 ◽  
Author(s):  
Pramila Adhikari ◽  
Kam W. Ng ◽  
Yrgalem Z. Gebreslasie ◽  
Shaun S. Wulff
Keyword(s):  
Static Analysis ◽  
Analysis Methods

A New Dynamic Protocol Analysis Model

2013 ◽  
Vol 765-767 ◽  
pp. 1761-1765
Author(s):  
Fu Lin Li ◽  
Jie Yang ◽  
Hong Wei Zhou ◽  
Ying Liu
Keyword(s):  
Static Analysis ◽  
Theorem Proving ◽  
Protocol Analysis ◽  
Experimental Results ◽  
Analysis Model ◽  
Formal Validation ◽  
Analysis Methods

Traditional static analysis methods such as formal validation and theorem proving were used to analyze protocols security previously. These methods can not measure and evaluate actual security of protocols accurately for the setting and suppose are far from the actual conditions. This paper proposes a new dynamic protocol analysis model. The system based on the model can be used to active test in actual running conditions, analyze known protocols security, integrity, robustness, and analyze unknown protocols online, provide support for protocol designer. The systems structure, working flow and implementation of key modules are described. The experimental results validate the validity of the models design.

A Research on Detection and Identification of Harmful Gas Utilizing Cataluminescence-Based Sensor Array

2013 ◽  
Vol 288 ◽  
pp. 109-113
Author(s):  
Li Shan Zhou
Keyword(s):  
Metal Oxides ◽  
Static Analysis ◽  
Sensor Array ◽  
Working Temperature ◽  
Analysis Methods ◽  
Detection And Identification ◽  
Nanosized Catalysts ◽  
Promising Perspective

A novel cataluminescence(CTL)-based sensor array consisting of 9 types of catalytic nanomaterials was developed for the determination and identification of harmful gas. The sensing nanomaterials, including nano-sized metal oxides, carbonates and decorated nanoparticles, have been selected carefully. A 3 x 3 array was integrated by depositing these nanosized catalysts onto the ceramic chip. Dynamic and static analysis methods were utilized to characterize the performance of the sensor array to 4 kinds of harmful gas. Each compound gives its unique CTL pattern after interact with the sensor array, which can be employed to recognize ether, acetone, chloroform, and toluene. PCA was conducted to classify the harmful gas and the plots showed that the groups were well classified. In addition, the patterns obtained at different working temperature and the analytical characteristics of array were investigated. The CTL-based sensor array shows promising perspective for the recognition and discrimination of harmful gas.

A Research of Virus Detection Combined Dynamic and Static Analysis Methods

2011 ◽  
Vol 187 ◽  
pp. 625-630
Author(s):  
Chun Yu Miao ◽  
Li Na Chen
Keyword(s):  
Neural Network ◽  
Static Analysis ◽  
Detection System ◽  
Probabilistic Neural Network ◽  
Virus Detection ◽  
Support Vector ◽  
Svm Classifier ◽  
Analysis Methods ◽  
Individual Classifier ◽  
Theory Of Evidence

we present a virus detection system based on the D-S theory of evidence, in which the dynamic and static analysis methods are combined. The detection engine applies two types of classifier, support vector amchine and probabilistic neural network to detect the virus. For SVM classifier, we extract the feature vector by monitoring the samples. And the static feature of samples is used in the probabilistic neural network classifier. Finally, the D-S theory of evidence is used to combine the contribution of each individual classifier to give the final decision.experiments show the presented method is more efficiently of the virus detections.

scholarly journals Helmet, Shield, and Sword as Symbolic Signs of the Warrior Concept

2019 ◽  
Vol 21 (2) ◽  
pp. 496-503
Author(s):  
Alexei B. Bodrikov
Keyword(s):  
Static Analysis ◽  
Average Degree ◽  
Analysis Methods ◽  
Low Degree ◽  
The Family ◽  
The One ◽  
Russian Linguistic

Attitude to Motherland plays an important role in Russian linguistic culture. The sphere is formed by a number of concepts, such as Fatherland, home, family, children, warrior, etc. The concept voin (warrior) has not been studied in modern linguistics, which adds relevance to the present research. Military concepts bear a large cultural load and make up an important component of the society. In Russian linguistic culture, a warrior is a defender, the one who protects the peace of the family, relatives, friends, and Motherland as a whole. Military concepts are just beginning to attract the attention of modern researchers. The present paper features the symbolic signs of the concept voin (warrior). The analysis is based on the constructions with the lexeme voin (warrior) from the Russian National Corps. One of the most common symbols of a warrior is weapon. The article focuses on the symbolic equipment signs of the concept, i.e. helmet, shield, and sword. The research employed conceptual, descriptive, and static analysis methods. The following symbolic stereotypical signs were especially frequent: helmet (24 %), armament (23.7 %), shield (22.8 %), and sword (10 %). The average degree of frequency was observed in such cognitive signs as chainmail (5.2 %), armor (4.7 %), spear (2.3 %), armor (2.1 %), and bow (1.6 %). Other signs demonstrated a low degree of frequency.

scholarly journals Generation and Visualization of Static Function Call Graph for Large C Codebases

2021 ◽  
Vol 10 (6) ◽  
pp. 1-6
Author(s):  
Sourabh S Badhya ◽  
◽  
Shobha G ◽  
Keyword(s):  
Software Development ◽  
Static Analysis ◽  
Software Systems ◽  
Call Graph ◽  
Analysis Methods ◽  
Development Lifecycle ◽  
Function Call ◽  
Software Development Lifecycle ◽  
The Many

As software systems evolve, there is a growing concern on how to manage and maintain a large codebase and fully understand all the modules present in it. Developers spend a significant amount of time analyzing dependencies before making any changes into codebases. Therefore, there is a growing need for applications which can easily make developers comprehend dependencies in large codebases. These applications must be able to analyze large codebases and must have the ability to identify all the dependencies, so that new developers can easily analyze the codebase and start making changes in short periods of time. Static analysis provides a means of analyzing dependencies in large codebases and is an important part of software development lifecycle. Static analysis has been proven to be extremely useful over the years in their ability to comprehend large codebases. Out of the many static analysis methods, this paper focuses on static function call graph (SFCG) which represents dependencies between functions in the form of a graph. This paper illustrates the feasibility of many tools which generate SFCG and locks in on Doxygen which is extremely reliant for large codebases. The paper also discusses the optimizations, issues and its corresponding solutions for Doxygen. Finally, this paper presents a way of representing SFCG which is easier to comprehend for developers.

Improving the fault resilience of an H.264 decoder using static analysis methods

2013 ◽  
Vol 13 (1s) ◽  
pp. 1-27 ◽  
Author(s):  
Florian Schmoll ◽  
Andreas Heinig ◽  
Peter Marwedel ◽  
Michael Engel
Keyword(s):  
Static Analysis ◽  
Fault Resilience ◽  
Analysis Methods
Sign in / Sign up

Export Citation Format

Share Document