Relevant bibliographies by topics / Automatic Static Analysi

Academic literature on the topic 'Automatic Static Analysi'

Author: Grafiati
Published: 14 March 2023

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

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Automatic Static Analysi.'

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.

Journal articles on the topic "Automatic Static Analysi"

1

Li, Wei, Decheng Wang, and Peng Cheng. "Design and Research of Automatic Tool Changer System for Multistation Spring Forming Machine." Journal of Robotics 2020 (December 1, 2020): 1–9. http://dx.doi.org/10.1155/2020/4635056.

Full text
Abstract:
Currently, the spring machine tool is fixed by means of manual clamping and positioning by bolts. The automation of the tool change is low, and the accurate value of the tool position cannot be determined. The automatic tool change system for spring machine was designed by using the standard functional parts of the automatic tool change system of the machining center. It mainly includes the design of the automatic loose clamp device and that of the multispindle automatic tool change arm. After static analysis, the deformation of the automatic tool change arm is 0.153 mm, which satisfies the requirements for usage. Kinematic analysis of the designed automatic tool change arm was carried out. After actual verification, the designed automatic tool change system of spring machine realizes the functions of the tools automatic replacement and positioning of the spring machine, which improves the automation of the spring forming equipment.
APA, Harvard, Vancouver, ISO, and other styles
2

Tatasciore, Monica, Vanessa K. Bowden, Troy A. W. Visser, Stephanie Chen, and Shayne Loft. "The Effect of the Degree of Static Automation in Simulated Submarine Track Management." Proceedings of the Human Factors and Ergonomics Society Annual Meeting 62, no. 1 (September 2018): 1668. http://dx.doi.org/10.1177/1541931218621378.

Full text
Abstract:
Automation that supports our workplaces is intended to relieve the requirement for humans to control tasks, as a way to reduce operator workload and maximize system capacity. Researchers have long recognized the potential costs associated with automation. These costs include the loss of an operator’s understanding of a task and an inability to anticipate future task events ( situation awareness; SA; Endsley, 1995) that can occur due to automation induced complacency (Parasuraman, Molloy, & Singh, 1993), and the subsequent lack of ability to regain manual control after automation (Kaber & Endsley, 2004). These costs to automation are more likely to occur when the degree of automation (DOA) increases. DOA has been defined based on whether automation is doing more or less ‘work’ ( levels of automation; Sheridan & Verplank, 1978), and at which of the four stages of human information processing the automation is directed; information acquisition, information analysis, decision selection, and action implementation ( stages of automation; Parasuraman, Sheridan, & Wickens, 2000). As the DOA increases, performance and workload tend to improve. However, SA and return-to-manual performance can decline. Recent research by Chen, Huf, Visser, and Loft (2017) reported that a low DOA had minimal benefits to performance and workload, and also impaired SA and non-automated task performance compared to a manual control condition in a simulated submarine track management task. However, the low DOA did not lead to any return-to-manual deficits when automation was unexpectedly removed. The current study compared the effects of low and high DOA on operator performance, workload, SA, non-automated task performance, and return-to-manual performance in submarine track management. Participants ( N= 122) monitored a tactical display that presented the location and heading of contacts in relation to the Ownship and landmarks, and a ‘waterfall’ display that presented sonar bearings of contacts and how those bearings change with time. Participants performed three tasks: classification, closest point of approach (CPA), and dive. The classification task involved classifying contacts depending on how long they had spent within display regions. The CPA task involved monitoring changes in contact heading to determine their closest point of approach to the Ownship. The dive task involved integrating contact location and heading information to determine when the submarine could safely dive. Automated assistance was provided for the classification and CPA tasks, but not for the dive task. The low DOA condition received information acquisition and analysis support (stages 1 and 2), whereas the high DOA received decision selection support (stage 3). In a mixed design, the between-subjects factor was condition (no automation, high DOA, low DOA) and the within-subjects factor was automation state (routine, automation removal). Participants completed three track management scenarios, and during the last scenario the automation was unexpectedly removed. Firstly, we predicted that a high DOA would have larger benefits to performance and workload compared to a low DOA, but that these benefits might be accompanied by costs to SA, non-automated task performance, and return-to-manual performance. Secondly, we predicted that a low DOA would show minimal benefits to performance and workload, significant costs to SA and non-automated task performance, and no effect on return-to-manual performance when compared to no automation, thus replicating the findings of Chen et al. (2017). The results from this study indicated that relative to the low DOA condition, participants provided with high DOA support had better performance and lower workload, without any further costs to SA, non-automated task performance, or return-to-manual performance. Furthermore, relative to no automation, participants provided with low DOA support only had minor benefits to performance (replicating Chen et al., 2017) and no benefits to workload, and significant costs to SA and non-automated task performance. In summary, the high DOA produced larger benefits to performance and workload than the low DOA, without increasing costs. In light of these results, the automated system that recommended decisions was effectively utilized by operators in the current context, and appeared to be superior to the automated system that supported information acquisition and analysis.
APA, Harvard, Vancouver, ISO, and other styles
3

G, Anil Reddy, Balakathikeyan B, Sri Ram S, Dr R. P. S. Manikandan, Dr S. Prakash, and Mr B. Varun Kumar. "Automatic Water Saving Irrigation System Using IoT." International Journal for Research in Applied Science and Engineering Technology 10, no. 2 (February 28, 2022): 1157–60. http://dx.doi.org/10.22214/ijraset.2022.40469.

Full text
Abstract:
Abstract: Automation of farm activities can transform agricultural domain from being manual and static to intelligent and dynamic leading to higher production with lesser human supervision. This paper proposes an automated irrigation system which monitors and maintains the desired soil moisture content via automatic watering. SoC ESP8266 Wi-Fi module platform is used to implement the control unit. The setup uses soil moisture sensors which measure the exact moisture level in soil. This value enables the system to use appropriate quantity of water which avoids over/under irrigation and the ph sensor measure the ph value of water finally the DHT11 used to analysis the temperature of atmosphere. IOT is used to keep the farmers updated about the status of sprinklers. Information from the sensors is regularly updated on a webpage using internet through which a farmer can check whether the water sprinklers are ON/OFF at any given time. Also, the sensor readings are transmitted to cloud storage to generate graphs for analysis Keywords: Automation, SoC, ESP8266, DHT11, IOT, Cloud storage
APA, Harvard, Vancouver, ISO, and other styles
4

Packevičius, Šarūnas, Greta Rudžionienė, and Eduardas Bareiša. "Automated Visual Testing of Application User Interfaces Using Static Analysis of Screenshots." International Journal of Software Engineering and Knowledge Engineering 31, no. 02 (February 2021): 167–91. http://dx.doi.org/10.1142/s0218194021500042.

Full text
Abstract:
Mobile and web applications must operate and be displayed correctly on many different devices and browsers. The visual testing of web or mobile applications is usually a manual process that requires a significant amount of testing time, meaning that applications are tested only on a few devices. It is then assumed that the applications will be displayed correctly on other compatible or similar devices. This paper presents an automated visual testing method for user interfaces. The main contributions of this paper are a classification scheme for visual defects of user interfaces and the definition of an automatic visual testing method that tests applications on many different devices with varying hardware and software parameters. The method is based on an automated search for defects using heuristic and expected state prediction algorithms, which involves analyzing the resources used by applications and screenshots. The testing method works by executing applications on a full set of devices, taking a screenshot at every execution step, and analyzing each of these screenshots. The manual as well as automated testing approaches were validated on 781 of Android applications. The experimental results show that the proposed method has advantages over manual testing.
APA, Harvard, Vancouver, ISO, and other styles
5

Tesfatsion, Leigh. "Nonlocal automated comparative static analysis." Computer Science in Economics and Management 5, no. 4 (November 1992): 313–31. http://dx.doi.org/10.1007/bf00436585.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Rama, Mr V. Seetha. "Precision Agriculture using IOT." International Journal for Research in Applied Science and Engineering Technology 9, no. VII (July 10, 2021): 122–27. http://dx.doi.org/10.22214/ijraset.2021.36255.

Full text
Abstract:
Automation of farm activities can transform agricultural domain from being manual and static to intelligent and dynamic leading to higher production with lesser human supervision. This paper proposes an automated irrigation system which monitors and maintains the desired soil moisture content via automatic watering. Microcontroller ATMEGA328P on Arduino Uno platform is used to implement the control unit. The setup uses soil moisture sensors which measure the exact moisture level in soil. This value enables the system to use appropriate quantity of water which avoids over/under irrigation. IOT is used to keep the farmers updated about the status of sprinklers. Information from the sensors is regularly updated on a webpage using GSM-GPRS SIM900A modem through which a farmer can check whether the water sprinklers are ON/OFF at any given time. Also, the sensor readings are transmitted to a Thing speak channel to generate graphs for analysis.
APA, Harvard, Vancouver, ISO, and other styles
7

Cui, Bing Yan, Li Wen Chen, Zhi Jun Wang, Yuan Hao Zhao, Li Zhan Xian, and Zhen Lin Jin. "Analysis of Statics and Design of Structur Parameters for a Bionic Robot Hip Joint." Journal of Biomimetics, Biomaterials and Biomedical Engineering 22 (March 2015): 3–12. http://dx.doi.org/10.4028/www.scientific.net/jbbbe.22.3.

Full text
Abstract:
The hip joint is one of the body's important joints, most of the lower limb activities of the human body are inseparable from the hip joint, a novel bionic robot hip joint was proposed based on 3-DOF spherical parallel mechanism. The statics performance of the bionic robot hip joint was analyzed, and the structure parameters were designed. First, the static transmission equation of the bionic robot hip joint was established using the principle of virtual works, which simplifies the calculation process of the bionic robot hip joint. Further, using the norm in Matrix theory, the force Jacobian matrix was introduced into the statics performance evaluation index, and the statics performance evaluation index and the global torque performance evaluation index was defined, and the performance atlas of the statics performance evaluation index was plotted at the workspace of the bionic robot hip joint. Moreover the objective optimal function was established basing on the global torque performance evaluation index, and the relation of the objective optimal function and the global torque performance evaluation index were analyzed. By use of fully automatic searching method, the optimal structural parameter ranges of the bionic robot hip joint were obtained. Analysis results show that the bionic robot hip joint has good static transmission performance at initial position, and the static transmission performance is decreased with increasing the workspace. Finally, using a set of optimal structural sizes parameters, a novel bionic robot hip joint was designed, which established the theoretical foundation for the bionic robot design and apply.
APA, Harvard, Vancouver, ISO, and other styles
8

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
9

Ravitch, Tristan, Steve Jackson, Eric Aderhold, and Ben Liblit. "Automatic generation of library bindings using static analysis." ACM SIGPLAN Notices 44, no. 6 (May 28, 2009): 352–62. http://dx.doi.org/10.1145/1543135.1542516.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Bozga, Marius, Jean-Claude Fernandez, and Lucian Ghirvu. "Using static analysis to improve automatic test generation." International Journal on Software Tools for Technology Transfer (STTT) 4, no. 2 (February 1, 2003): 142–52. http://dx.doi.org/10.1007/s10009-002-0098-x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Automatic Static Analysi"

1

Sterner, Kenneth. "Automated checking of programming assignments using static analysis." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-53337.

Full text
Abstract:
Computer science and software engineering education usually contain programming courses that require writing code that is graded. These assignments are corrected through manual code review by teachers or course assistants. The large amount of assignments motivates us to find ways to automatically correct certain parts of the assignments. One method to ensure certain requirements of written code is fulfilled is by using static analysis, which analyzes code without executing it. We utilize Clang-tidy and Clang Static Analyzer, existing static analysis tools for C/C++, and extend their capabilities to automate requirement checking based on existing assignments,such as prohibiting certain language constructs and ensuring certain function signatures match the ones provided in instructions. We evaluate our forked version of the Clang tooling on actual student hand-ins to show that the tool is capable of automating some aspects that would otherwise require manual code review. We were able to find several errors, even in assignments that were considered complete. However, Clang Static Analyzer also failed to find a memory leak, which leads us to conclude that despite the benefits,static analysis is best used as a complement to assist in finding errors.
APA, Harvard, Vancouver, ISO, and other styles
2

Baca, Dejan. "Automated static code analysis : A tool for early vulnerability detection." Licentiate thesis, Karlskrona : Department of Systems and Software Engineering, School of Engineering, Blekinge Institute of Technology, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-00429.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Joni, Jeffry Hartono. "Quasi-static force analysis of an automated live-bird transfer system." Thesis, Georgia Institute of Technology, 2000. http://hdl.handle.net/1853/16781.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Xie, Yichen. "Static detection of software errors precise and scalable algorithms for automatic detection of software errors." Saarbrücken VDM, Müller, 2006. http://deposit.d-nb.de/cgi-bin/dokserv?id=2991792&prov=M&dok_var=1&dok_ext=htm.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Nimal, Vincent P. J. "Static analyses over weak memory." Thesis, University of Oxford, 2014. http://ora.ox.ac.uk/objects/uuid:469907ec-6f61-4015-984e-7ca8757b992c.

Full text
Abstract:
Writing concurrent programs with shared memory is often not trivial. Correctly synchronising the threads and handling the non-determinism of executions require a good understanding of the interleaving semantics. Yet, interleavings are not sufficient to model correctly the executions of modern, multicore processors. These executions follow rules that are weaker than those observed by the interleavings, often leading to reorderings in the sequence of updates and readings from memory; the executions are subject to a weaker memory consistency. Reorderings can produce executions that would not be observable with interleavings, and these possible executions also depend on the architecture that the processors implement. It is therefore necessary to locate and understand these reorderings in the context of a program running, or to prevent them in an automated way. In this dissertation, we aim to automate the reasoning behind weak memory consistency and perform transformations over the code so that developers need not to consider all the specifics of the processors when writing concurrent programs. We claim that we can do automatic static analysis for axiomatically-defined weak memory models. The method that we designed also allows re-use of automated verification tools like model checkers or abstract interpreters that were not designed for weak memory consistency, by modification of the input programs. We define an abstraction in detail that allows us to reason statically about weak memory models over programs. We locate the parts of the code where the semantics could be affected by the weak memory consistency. We then provide a method to explicitly reveal the resulting reorderings so that usual verification techniques can handle the program semantics under a weaker memory consistency. We finally provide a technique that synthesises synchronisations so that the program would behave as if only interleavings were allowed. We finally test these approaches on artificial and real software. We justify our choice of an axiomatic model with the scalability of the approach and the runtime performance of the programs modified by our method.
APA, Harvard, Vancouver, ISO, and other styles
6

Aung, Arkar Min. "Automatic Eye-Gaze Following from 2-D Static Images: Application to Classroom Observation Video Analysis." Digital WPI, 2018. https://digitalcommons.wpi.edu/etd-theses/251.

Full text
Abstract:
In this work, we develop an end-to-end neural network-based computer vision system to automatically identify where each person within a 2-D image of a school classroom is looking (“gaze following�), as well as who she/he is looking at. Automatic gaze following could help facilitate data-mining of large datasets of classroom observation videos that are collected routinely in schools around the world in order to understand social interactions between teachers and students. Our network is based on the architecture by Recasens, et al. (2015) but is extended to (1) predict not only where, but who the person is looking at; and (2) predict whether each person is looking at a target inside or outside the image. Since our focus is on classroom observation videos, we collect gaze dataset (48,907 gaze annotations over 2,263 classroom images) for students and teachers in classrooms. Results of our experiments indicate that the proposed neural network can estimate the gaze target - either the spatial location or the face of a person - with substantially higher accuracy compared to several baselines.
APA, Harvard, Vancouver, ISO, and other styles
7

Diarra, Rokiatou. "Automatic Parallelization for Heterogeneous Embedded Systems." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLS485.

Full text
Abstract:
L'utilisation d'architectures hétérogènes, combinant des processeurs multicoeurs avec des accélérateurs tels que les GPU, FPGA et Intel Xeon Phi, a augmenté ces dernières années. Les GPUs peuvent atteindre des performances significatives pour certaines catégories d'applications. Néanmoins, pour atteindre ces performances avec des API de bas niveau comme CUDA et OpenCL, il est nécessaire de réécrire le code séquentiel, de bien connaître l’architecture des GPUs et d’appliquer des optimisations complexes, parfois non portables. D'autre part, les modèles de programmation basés sur des directives (par exemple, OpenACC, OpenMP) offrent une abstraction de haut niveau du matériel sous-jacent, simplifiant ainsi la maintenance du code et améliorant la productivité. Ils permettent aux utilisateurs d’accélérer leurs codes séquentiels sur les GPUs en insérant simplement des directives. Les compilateurs d'OpenACC/OpenMP ont la lourde tâche d'appliquer les optimisations nécessaires à partir des directives fournies par l'utilisateur et de générer des codes exploitant efficacement l'architecture sous-jacente. Bien que les compilateurs d'OpenACC/OpenMP soient matures et puissent appliquer certaines optimisations automatiquement, le code généré peut ne pas atteindre l'accélération prévue, car les compilateurs ne disposent pas d'une vue complète de l'ensemble de l'application. Ainsi, il existe généralement un écart de performance important entre les codes accélérés avec OpenACC/OpenMP et ceux optimisés manuellement avec CUDA/OpenCL. Afin d'aider les programmeurs à accélérer efficacement leurs codes séquentiels sur GPU avec les modèles basés sur des directives et à élargir l'impact d'OpenMP/OpenACC dans le monde universitaire et industrielle, cette thèse aborde plusieurs problématiques de recherche. Nous avons étudié les modèles de programmation OpenACC et OpenMP et proposé une méthodologie efficace de parallélisation d'applications avec les approches de programmation basées sur des directives. Notre expérience de portage d'applications a révélé qu'il était insuffisant d'insérer simplement des directives de déchargement OpenMP/OpenACC pour informer le compilateur qu'une région de code particulière devait être compilée pour être exécutée sur la GPU. Il est essentiel de combiner les directives de déchargement avec celles de parallélisation de boucle. Bien que les compilateurs actuels soient matures et effectuent plusieurs optimisations, l'utilisateur peut leur fournir davantage d'informations par le biais des clauses des directives de parallélisation de boucle afin d'obtenir un code mieux optimisé. Nous avons également révélé le défi consistant à choisir le bon nombre de threads devant exécuter une boucle. Le nombre de threads choisi par défaut par le compilateur peut ne pas produire les meilleures performances. L'utilisateur doit donc essayer manuellement différents nombres de threads pour améliorer les performances. Nous démontrons que les modèles de programmation OpenMP et OpenACC peuvent atteindre de meilleures performances avec un effort de programmation moindre, mais les compilateurs OpenMP/OpenACC atteignent rapidement leur limite lorsque le code de région déchargée a une forte intensité arithmétique, nécessite un nombre très élevé d'accès à la mémoire globale et contient plusieurs boucles imbriquées. Dans de tels cas, des langages de bas niveau doivent être utilisés. Nous discutons également du problème d'alias des pointeurs dans les codes GPU et proposons deux outils d'analyse statiques qui permettent d'insérer automatiquement les qualificateurs de type et le remplacement par scalaire dans le code source
Recent years have seen an increase of heterogeneous architectures combining multi-core CPUs with accelerators such as GPU, FPGA, and Intel Xeon Phi. GPU can achieve significant performance for certain categories of application. Nevertheless, achieving this performance with low-level APIs (e.g. CUDA, OpenCL) requires to rewrite the sequential code, to have a good knowledge of GPU architecture, and to apply complex optimizations that are sometimes not portable. On the other hand, directive-based programming models (e.g. OpenACC, OpenMP) offer a high-level abstraction of the underlying hardware, thus simplifying the code maintenance and improving productivity. They allow users to accelerate their sequential codes on GPU by simply inserting directives. OpenACC/OpenMP compilers have the daunting task of applying the necessary optimizations from the user-provided directives and generating efficient codes that take advantage of the GPU architecture. Although the OpenACC / OpenMP compilers are mature and able to apply some optimizations automatically, the generated code may not achieve the expected speedup as the compilers do not have a full view of the whole application. Thus, there is generally a significant performance gap between the codes accelerated with OpenACC/OpenMP and those hand-optimized with CUDA/OpenCL. To help programmers for speeding up efficiently their legacy sequential codes on GPU with directive-based models and broaden OpenMP/OpenACC impact in both academia and industry, several research issues are discussed in this dissertation. We investigated OpenACC and OpenMP programming models and proposed an effective application parallelization methodology with directive-based programming approaches. Our application porting experience revealed that it is insufficient to simply insert OpenMP/OpenACC offloading directives to inform the compiler that a particular code region must be compiled for GPU execution. It is highly essential to combine offloading directives with loop parallelization constructs. Although current compilers are mature and perform several optimizations, the user may provide them more information through loop parallelization constructs clauses in order to get an optimized code. We have also revealed the challenge of choosing good loop schedules. The default loop schedule chosen by the compiler may not produce the best performance, so the user has to manually try different loop schedules to improve the performance. We demonstrate that OpenMP and OpenACC programming models can achieve best performance with lesser programming effort, but OpenMP/OpenACC compilers quickly reach their limit when the offloaded region code is computed/memory bound and contain several nested loops. In such cases, low-level languages may be used. We also discuss pointers aliasing problem in GPU codes and propose two static analysis tools that perform automatically at source level type qualifier insertion and scalar promotion to solve aliasing issues
APA, Harvard, Vancouver, ISO, and other styles
8

Rungta, Neha Shyam. "Guided Testing for Automatic Error Discovery in Concurrent Software." Diss., CLICK HERE for online access, 2009. http://contentdm.lib.byu.edu/ETD/image/etd3175.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Wei, Ran. "An extensible static analysis framework for automated analysis, validation and performance improvement of model management programs." Thesis, University of York, 2016. http://etheses.whiterose.ac.uk/14375/.

Full text
Abstract:
Model Driven Engineering (MDE) is a state-of-the-art software engineering approach, which adopts models as first class artefacts. In MDE, modelling tools and task-specific model management languages are used to reason about the system under development and to (automatically) produce software artefacts such as working code and documentation. Existing tools which provide state-of-the-art model management languages exhibit the lack of support for automatic static analysis for error detection (especially when models defined in various modelling technologies are involved within a multi-step MDE development process) and for performance optimisation (especially when very large models are involved in model management operations). This thesis investigates the hypothesis that static analysis of model management programs in the context of MDE can help with the detection of potential runtime errors and can be also used to achieve automated performance optimisation of such programs. To assess the validity of this hypothesis, a static analysis framework for the Epsilon family of model management languages is designed and implemented. The static analysis framework is evaluated in terms of its support for analysis of task-specific model management programs involving models defined in different modelling technologies, and its ability to improve the performance of model management programs operating on large models.
APA, Harvard, Vancouver, ISO, and other styles
10

de, Carvalho Gomes Pedro. "Automatic Extraction of Program Models for Formal Software Verification." Doctoral thesis, KTH, Teoretisk datalogi, TCS, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-176286.

Full text
Abstract:
In this thesis we present a study of the generation of abstract program models from programs in real-world programming languages that are employed in the formal verification of software. The thesis is divided into three parts, which cover distinct types of software systems, programming languages, verification scenarios, program models and properties.The first part presents an algorithm for the extraction of control flow graphs from sequential Java bytecode programs. The graphs are tailored for a compositional technique for the verification of temporal control flow safety properties. We prove that the extracted models soundly over-approximate the program behaviour w.r.t. sequences of method invocations and exceptions. Therefore, the properties that are established with the compositional technique over the control flow graphs also hold for the programs. We implement the algorithm as ConFlEx, and evaluate the tool on a number of test cases.The second part presents a technique to generate program models from incomplete software systems, i.e., programs where the implementation of at least one of the components is not available. We first define a framework to represent incomplete Java bytecode programs, and extend the algorithm presented in the first part to handle missing code. Then, we introduce refinement rules, i.e., conditions for instantiating the missing code, and prove that the rules preserve properties established over control flow graphs extracted from incomplete programs. We have extended ConFlEx to support the new definitions, and re-evaluate the tool, now over test cases of incomplete programs.The third part addresses the verification of multithreaded programs. We present a technique to prove the following property of synchronization with condition variables: "If every thread synchronizing under the same condition variables eventually enters its synchronization block, then every thread will eventually exit the synchronization". To support the verification, we first propose SyncTask, a simple intermediate language for specifying synchronized parallel computations. Then, we propose an annotation language for Java programs to assist the automatic extraction of SyncTask programs, and show that, for correctly annotated programs, the above-mentioned property holds if and only if the corresponding SyncTask program terminates. We reduce the termination problem into a reachability problem on Coloured Petri Nets. We define an algorithm to extract nets from SyncTask programs, and show that a program terminates if and only if its corresponding net always reaches a particular set of dead configurations. The extraction of SyncTask programs and their translation into Petri nets is implemented as the STaVe tool. We evaluate the technique by feeding annotated Java programs to STaVe, then verifying the extracted nets with a standard Coloured Petri Net analysis tool
Den här avhandlingen studerar automatisk konstruktion av abstrakta modeller för formell verifikation av program skrivna i verkliga programmeringsspråk. Avhandlingen består av tre delar som involverar olika typer av program, programmeringsspråk, verifikationsscenarier, programmodeller och egenskaper.Del ett presenterar en algoritm för generation av flödesgrafer från sekventiella program i Java bytekod. Graferna är skräddarsydda för en kompositionell teknik för verifikationen av temporala kontrollflödens säkerhetsegenskaper. Vi visar att de extraherade modellerna sunt överapproximerar programbeteenden med avseende på sekvenser av metodanrop och -undantag. Således gäller egenskaperna som kan fastställas genom kompositionstekniken över kontrollflöden även för programmen. Vi implementerar dessutom algoritmen i form av verktyget ConFlEx och utvärderar verktyget på ett antal testfall.Del två presenterar en teknik för att generera modeller av ofullständiga program. Det vill säga, program där implementationen av åtminstone en komponent inte är tillgänglig. Vi definierar ett ramverk för att representera ofullständiga Java bytekodsprogram och utökar algoritmen från del ett till att hantera ofullständig kod.  Därefter presenterar vi raffineringsregler - villkor för att instansiera den saknade koden - och bevisar att reglerna bevarar relevanta egenskaper av kontrollflödesgrafer. Vi har dessutom utökat ConFlEx till att stödja de nya definitionerna och har omvärderat verktyget på testfall av ofullständiga program.Del tre angriper verifikation av multitrådade program. Vi presenterar en teknik för att bevisa följande egenskap för synkronisering med vilkorsvariabler: "Om varje trådsynkronisering under samma villkor så småningom stiger in i sitt synkroniseringsblock så kommer varje tråd också till slut lämna synkroniseringen". För att stödja verifikationen så introducerar vi först SyncTask - ett enkelt mellanliggande språk för att specificera synkronisering av parallella beräkningar. Därefter presenterar vi ett annoteringsspråk för Java som tillåter automatisk extrahering av SyncTask-program och visar att egenskapen gäller om och endast om motsvarande SyncTask-program terminerar. Vi reducerar termineringsproblemet till ett nåbarhetsproblem på färgade Petrinät samt definierar en algoritm som skapar Petrinät från SyncTask-program där programmet terminerar om och endast om nätet alltid når en särskild mängd av döda konfigurationer. Extraktionen av SyncTask-program och deras motsvarande Petrinät är implementerade i form av verktyget STaVe.  Slutligen utvärderar vi verktyget genom att mata annoterade.

QC 20151101

APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Automatic Static Analysi"

1

Office, ALMRS Project. Automated Land and Mineral Record System (ALMRS) alternatives analysis: Technical product. Alexandria, Va: Bureau of Land Management, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Staten, Carroll M. Training development under logistics support analysis. Brooks Air Force Base, Tex: Air Force Human Resources Laboratory, Air Force Systems Command, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

U.S. Nuclear Regulatory Commission. Office of Nuclear Regulatory Research. Division of Systems Research. and Brookhaven National Laboratory, eds. Analysis of long-term station blackout without automatic depressurization at Peach Bottom using MELCOR (version 1.8). Washington, DC: Division of Systems Research, Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Jimenez, Felix F. Automated Land and Mineral Record System equipment analysis: Bureau of Land Management, Colorado. Denver, Colo: U.S. Department of the Interior, Bureau of Land℗Management,℗Colorado State Office, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Goehring, Dwight J. An automated system for the analysis of Combat Training Center information: Strategy and development. Alexandria, Va: U.S. Army Research Institute for the Behavioral and Social Sciences, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Satdarova, Faina. DIFFRACTION ANALYSIS OF DEFORMED METALS: Theory, Methods, Programs. xxu: Academus Publishing, 2019. http://dx.doi.org/10.31519/monography_1598.

Full text
Abstract:
General analysis of the distribution of crystals orientation and dislocation density in the polycrystalline system is presented. Recovered information in diffraction of X-rays adopting is new to structure states of polycrystal. Shear phase transformations in metals — at the macroscopic and microscopic levels — become a clear process. Visualizing the advances is produced by program included in package delivered. Mathematical models developing, experimental design, optimal statistical estimation, simulation the system under study and evolution process on loading serves as instrumentation. To reduce advanced methods to research and studies problem-oriented software will promote when installed. Automation programs passed a testing in the National University of Science and Technology “MISIS” (The Russian Federation, Moscow). You score an advantage in theoretical and experimental research in the field of physics of metals.
APA, Harvard, Vancouver, ISO, and other styles
7

United States. Bureau of Land Management. Automated resource requirements study: An analysis of the functional requirements and automated capabilities needed for resource management in the Bureau of Land Management : final report. [Washington, D.C.]: U.S. Dept. of the Interior, Bureau of Land Management, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Bogumil, Veniamin, and Sarango Duke. Telematics on urban passenger transport. ru: INFRA-M Academic Publishing LLC., 2022. http://dx.doi.org/10.12737/1819882.

Full text
Abstract:
The monograph discusses the application of telematics in dispatch control systems in urban passenger transport. The role of telematics as a technological basis in automating the solution of control tasks, accounting and analysis of the volume and quality of transport work in modern dispatch control systems on urban passenger transport is shown. Analytical models have been developed to estimate the capacity of a high-speed bus transportation system on a dedicated line. Mathematical models and algorithms for predicting passenger vehicle interior filling at critical stages of urban passenger transport routes are presented. The issues of application of the concept of the phase space of states introduced by the authors to assess the quality of the passenger transportation process on the route of urban passenger transport are described. The developed classification of service levels and their application in order to inform passengers at stopping points about the degree of filling of the passenger compartment of the arriving vehicle is described. The material is based on the results of theoretical research and practical work on the creation and implementation of automated control systems for urban passenger transport in Russian cities. The material of M.H. Duque Sarango's dissertation submitted for the degree of Candidate of Technical Sciences in the specialty 05.22.10 "Operation of motor transport" was used. It will be useful to specialists in the field of telematics on urban passenger transport.
APA, Harvard, Vancouver, ISO, and other styles
9

Service, United States Internal Revenue. Organizational impact analysis handbook: A guide for analyzing the impacts of implementing information technology in IRS offices. [Washington, D.C.?]: Dept. of the Treasury, Internal Revenue Service, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Kovalenko, Vladimir. Design of information systems. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/987869.

Full text
Abstract:
The tutorial discusses the design features of information systems (is) involved in the implementation of CALS technologies: MRP/MRPII/ERP systems, e-Commerce systems (B2B), supply chain management (SCM), customer relationship management (CRM), and decision support systems (OLAP). The issues of choosing the design technology, software tools for project development, building functional and information models in the environment of Business Studio, MS Visio, Elma, AllFusion Modeling Suite and Oracle Designer 10g, as well as the development of technical and operational documentation are highlighted. The characteristics of CASE technologies and their implementation in the Oracle Designer 10g environment are considered. A comparative analysis of the standards of the organization of the life cycle of creating and using IP, practical recommendations for the development of standard profiles, examples of the development of an IP project based on a cascading model of the life cycle, including using a process approach in the management and automation of processes. The models of the client — server architecture and the structure of cloud computing are considered. Modern approaches to the selection of ready-made is and their implementation in automated enterprises are studied in detail. Meets the requirements of the Federal state educational standards of higher education of the latest generation. It is intended for students (bachelors and specialists) and masters of higher educational institutions studying in the direction of "Applied Informatics". It is also recommended for teachers and specialists working in the field of information technology.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Automatic Static Analysi"

1

Samanta, Roopsha, Oswaldo Olivo, and E. Allen Emerson. "Cost-Aware Automatic Program Repair." In Static Analysis, 268–84. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10936-7_17.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Raychev, Veselin, Martin Vechev, and Eran Yahav. "Automatic Synthesis of Deterministic Concurrency." In Static Analysis, 283–303. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38856-9_16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Xu, Xuezheng, Xudong Wang, and Jingling Xue. "Automatic Synthesis of Data-Flow Analyzers." In Static Analysis, 453–78. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-88806-0_22.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

D’Osualdo, Emanuele, Jonathan Kochems, and C. H. Luke Ong. "Automatic Verification of Erlang-Style Concurrency." In Static Analysis, 454–76. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38856-9_24.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Chatterjee, Krishnendu, Thomas A. Henzinger, and Jan Otop. "Quantitative Monitor Automata." In Static Analysis, 23–38. Berlin, Heidelberg: Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-53413-7_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Brauer, Jörg, and Andy King. "Automatic Abstraction for Intervals Using Boolean Formulae." In Static Analysis, 167–83. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15769-1_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Beillahi, Sidi Mohamed, Ahmed Bouajjani, Constantin Enea, and Shuvendu Lahiri. "Automated Synthesis of Asynchronizations." In Static Analysis, 135–59. Cham: Springer Nature Switzerland, 2022. http://dx.doi.org/10.1007/978-3-031-22308-2_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Venet, Arnaud. "Automatic Determination of Communication Topologies in Mobile Systems." In Static Analysis, 152–67. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-49727-7_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Vechev, Martin, Eran Yahav, Raghavan Raman, and Vivek Sarkar. "Automatic Verification of Determinism for Structured Parallel Programs." In Static Analysis, 455–71. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15769-1_28.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Abdulla, Parosh Aziz, Bengt Jonsson, and Cong Quy Trinh. "Automated Verification of Linearization Policies." In Static Analysis, 61–83. Berlin, Heidelberg: Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-53413-7_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Automatic Static Analysi"

1

Marcilio, Diego, and Rodrigo Bonifácio. "Automatically Fixing Static Analysis Tools Violations." In XI Congresso Brasileiro de Software: Teoria e Prática. Sociedade Brasileira de Computação - SBC, 2020. http://dx.doi.org/10.5753/cbsoft_estendido.2020.14625.

Full text
Abstract:
Static analysis tools analyze source code to find deviations, or violations, from recommended programming practices defined as rules. A warning is raised when a piece of code violates any rule. Even though these tools can help to identify defects, developers still face several barriers when using them. Among the challenges are the significant number of reported warnings, often caused by false-positives, and the need to devise fixes, a repetitive and error-prone process. In this work, we addressed these two difficulties in two stages: 1) we identified which kind of rules are mostly fixed by Java developers when using SonarQube (a widely used static analysis tools); 2) we implemented a tool that provides automatic fixes for a subset of the previously commonly fixed found rules. The results obtained indicate that providing automatic fixes for commonly fixed warnings is feasible and welcomed by developers.
APA, Harvard, Vancouver, ISO, and other styles
2

Jenei, Bettina, Roman Manasipov, Hussein Almuallim, and Leonhard Ganzer. "Advantages of Automated Rock Type Adjusting History Matching Workflow Driven by Adjoint Approach with Sensitivity Analysis of Different Model Parameters and Saturation Functions." In SPE Reservoir Characterisation and Simulation Conference and Exhibition. SPE, 2023. http://dx.doi.org/10.2118/212616-ms.

Full text
Abstract:
Abstract During history matching, physical inconsistencies can be introduced and remain unrevealed. A rich parameter space can mimic the historical reservoir behaviour, possibly by sacrificing geological constraints. Improved geological consistency is proposed in this work using rock-type adjustments. Sensitivity analysis of the parameters which characterise different rock types is essential. This paper demonstrates the advantages and sensitivities of the rock-typing workflow when coupled with an adjoint-based approach through various history-matching cases. In order to analyse the effect of individual model parameters on the rock-type driven history matching workflow, three different realisations of a quarter of a five-spot model were created with nine simulation cases. The analysed and modified properties are the porosity, absolute permeability, relative permeability and capillary pressure functions. The rock-type adjusting workflow is based on a Mahalanobis distance calculation; the results are compared to the standard adjoint-based workflow. The history matching process is split into stages with corresponding objective functions, e.g. rate or pressure focus, where the switch is automatic based on preliminarily defined criteria. The rock typing workflow shows more favourable results than the standard approach. The success of rock-type adjustments (validation and correction) lies in preserving the correlations between different petrophysical properties. The automated rock typing workflow can indirectly adjust the relative permeability and capillary pressure through the rock type correction. The extended workflow's performance concerning the parameters characterising different rock types is analysed. The sensitivity analysis provides a comprehensive comparison of the significance of each model parameter on the rock type adjusting history matching workflow. The results subsequently conclude the necessity of rock type adjustments for achieving a better match in the dynamic results while better maintaining the geological constraints of the static model. Conclusively a "smart", well-constrained automation is beneficial for achieving maximum efficiency and quality in history matching. This paper reveals a comparison between the influence of each model parameter on the rock type adjusting history matching workflow through two different automated setup combinations. While monitoring the objective functions of the dynamic results, two geological consistency indicators were introduced. These are the Valid Rock Types (VRT) and the Valid Mahalanobis Distance (VMD), which objectively quantify the validity of the final model regarding the static model assumptions. The automated rock-typing workflow improves the quality and reliability of the history-matching procedure, honouring geological consistency. Moreover, it also enhances the convergence rate and accuracy of the match. It includes automation between the different history matching sequences, which improves finding the right set of model parameters. The results show the necessity of applying the automated rock-typing feature with complex models and demonstrate the degree of inconsistency produced by applying the standard workflow.
APA, Harvard, Vancouver, ISO, and other styles
3

Aghav, Ishwari, Vishal Tathe, Aashay Zajriya, and M. Emmanuel. "Automated static data flow analysis." In 2013 Fourth International Conference on Computing, Communications and Networking Technologies (ICCCNT). IEEE, 2013. http://dx.doi.org/10.1109/icccnt.2013.6726670.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Maas, Alisa J. "Automatic array property detection via static analysis." In SPLASH '15: Conference on Systems, Programming, Languages, and Applications: Software for Humanity. New York, NY, USA: ACM, 2015. http://dx.doi.org/10.1145/2814189.2815367.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Aldavert, David, Marcal Rusinol, and Ricardo Toledo. "Automatic Static/Variable Content Separation in Administrative Document Images." In 2017 14th IAPR International Conference on Document Analysis and Recognition (ICDAR). IEEE, 2017. http://dx.doi.org/10.1109/icdar.2017.23.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Venkatesh, Sid, Sidney Ly, Martin Manning, John Michaloski, and Fred Proctor. "Automating Asset Knowledge With MTConnect." In ASME 2016 11th International Manufacturing Science and Engineering Conference. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/msec2016-8629.

Full text
Abstract:
In order to maximize assets, manufacturers should use real-time knowledge garnered from ongoing and continuous collection and evaluation of factory-floor machine status data. In discrete parts manufacturing, factory machine monitoring has been difficult, due primarily to closed, proprietary automation equipment that make integration difficult. Recently, there has been a push in applying the data acquisition concepts of MTConnect to the real-time acquisition of machine status data. MTConnect is an open, free specification aimed at overcoming the “Islands of Automation” dilemma on the shop floor. With automated asset analysis, manufacturers can improve production to become lean, efficient, and effective. The focus of this paper will be on the deployment of MTConnect to collect real-time machine status to automate asset management. In addition, we will leverage the ISO 22400 standard, which defines an asset and quantifies asset performance metrics. In conjunction with these goals, the deployment of MTConnect in a large aerospace manufacturing facility will be studied with emphasis on asset management and understanding the impact of machine Overall Equipment Effectiveness (OEE) on manufacturing.
APA, Harvard, Vancouver, ISO, and other styles
7

Ramler, Rudolf, Michael Moser, and Josef Pichler. "Automated Static Analysis of Unit Test Code." In 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER). IEEE, 2016. http://dx.doi.org/10.1109/saner.2016.102.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Doty, L. F. "Automated static covariance analysis with Mathematica." In Signal and Data Processing of Small Targets 1990. SPIE, 1990. http://dx.doi.org/10.1117/12.2321772.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Doty, L. F. "Automated static covariance analysis with mathematica." In OE/LASE '90, 14-19 Jan., Los Angeles, CA, edited by Oliver E. Drummond. SPIE, 1990. http://dx.doi.org/10.1117/12.21599.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Xiang, Jianwen, and Kazuo Yanoo. "Automatic Static Fault Tree Analysis from System Models." In 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, 2010. http://dx.doi.org/10.1109/prdc.2010.35.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Automatic Static Analysi"

1

Wendelberger, James G., Juan Duque, Kimberly Ann Kaufeld, and Elizabeth J. Kelly. Automatic Image Analysis Status Report. Office of Scientific and Technical Information (OSTI), December 2017. http://dx.doi.org/10.2172/1412838.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Gajera, Hardik, Srinivas S. Pulugurtha, and Sonu Mathew. Influence of Level 1 and Level 2 Automated Vehicles on Fatal Crashes and Fatal Crash Occurrence. Mineta Transportation Institute, June 2022. http://dx.doi.org/10.31979/mti.2022.2034.

Full text
Abstract:
Connected and automated vehicles (CAVs) are expected to improve safety by gradually reducing human decisions while driving. However, there are still questions on their effectiveness as we transition from almost 0% CAVs to 100% CAVs with different levels of vehicle autonomy. This research focuses on synthesizing literature and identifying risk factors influencing fatal crashes involving level 1 and level 2 CAVs in the United States. Fatal crashes involving level 0 vehicles—ones that are not connected and automated—were compared to minimize unobserved heterogeneity and randomness associated with the influencing risk factors. The research team used the fatal crash data for the years 2016 to 2019 for the analysis. A partial proportionality odds model is developed using crash, road, and vehicle characteristics as the independent variables and the fatal crash involving a vehicle with a specific level of automation as the dependent variable. The results of this research indicate that level 1 and level 2 CAVs are less likely to be involved in a fatal crash at four-way intersections, on two-way routes with wide medians, at nighttime, and in poor lighting conditions when compared to level 0 vehicles. However, they are more likely than level 0 vehicles to be involved in a fatal crash with pedestrians and bicyclists. Comparative analysis between vehicles with smart features and other vehicles indicated that pedestrian automatic emergency braking (PAEB) and lane-keeping assistance (LKA) improve the safety by reducing possible collision with a pedestrian and roadside departure, respectively. Contrarily, vehicles with other smart features are still highly likely to be involved in fatal crashes. This research adds to the growing body of literature that will identify potential areas for improvement in the safety of vehicular technologies and road geometry.
APA, Harvard, Vancouver, ISO, and other styles
3

Kress, Marin, Patricia DiJoseph, Patrick Donohue, and Kenneth Mitchell. Automatic Identification System Analysis Package user guide. Engineer Research and Development Center (U.S.), July 2022. http://dx.doi.org/10.21079/11681/44783.

Full text
Abstract:
The Automatic Identification System Analysis Package (AISAP) enables acquisition, statistical analysis, and visualization of Automatic Identification System (AIS) data from historic vessel position reports. The web-based AISAP software allows the users to choose which data they want to examine for a specific geographic area, time period, and vessel type(s). Built-in features provide vessel characteristics, arrival and departure information within a geofenced area, vessel travel time between two locations, vessel track line plots, and relative density plots of AIS data reports. AISAP accesses the Nationwide Automatic Identification System database hosted by the United States Coast Guard. This user manual provides training exercises for users to follow to familiarize themselves with AISAP procedures and workflows. These training exercises also provide examples of AISAP products.
APA, Harvard, Vancouver, ISO, and other styles
4

Madni, I. K. Analysis of Long-Term Station Blackout without automatic depressurization at Peach Bottom using MELCOR (Version 1.8). Office of Scientific and Technical Information (OSTI), May 1994. http://dx.doi.org/10.2172/10159734.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bates, C. Richards, Melanie Chocholek, Clive Fox, John Howe, and Neil Jones. Scottish Inshore Fisheries Integrated Data System (SIFIDS): Work package (3) final report development of a novel, automated mechanism for the collection of scallop stock data. Edited by Mark James and Hannah Ladd-Jones. Marine Alliance for Science and Technology for Scotland (MASTS), 2019. http://dx.doi.org/10.15664/10023.23449.

Full text
Abstract:
[Extract from Executive Summary] This project, aimed at the development of a novel, automated mechanism for the collection of scallop stock data was a sub-part of the Scottish Inshore Fisheries Integrated Data Systems (SIFIDS) project. The project reviewed the state-of-the-art remote sensing (geophysical and camera-based) technologies available from industry and compared these to inexpensive, off-the -shelf equipment. Sea trials were conducted on scallop dredge sites and also hand-dived scallop sites. Data was analysed manually, and tests conducted with automated processing methods. It was concluded that geophysical acoustic technologies cannot presently detect individual scallop but the remote sensing technologies can be used for broad scale habitat mapping of scallop harvest areas. Further, the techniques allow for monitoring these areas in terms of scallop dredging impact. Camera (video and still) imagery is effective for scallop count and provide data that compares favourably with diver-based ground truth information for recording scallop density. Deployment of cameras is possible through inexpensive drop-down camera frames which it is recommended be deployed on a wide area basis for further trials. In addition, implementation of a ‘citizen science’ approach to wide area recording is suggested to increase the stock assessment across the widest possible variety of seafloor types around Scotland. Armed with such data a full, statistical analysis could be completed and data used with automated processing routines for future long-term monitoring of stock.
APA, Harvard, Vancouver, ISO, and other styles
6

Bishop, Gary. Uncertainty analysis of runoff estimates from runoff-depth contour maps produced by five automated procedures for the northeastern United States. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.6197.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Tetreault, Brian, Marin Kress, and Patricia DiJoseph. AIS data case study : evaluating reception of AIS position reports on the Missouri River by LOMA AIS sites in April and August 2020. Engineer Research and Development Center (U.S.), January 2022. http://dx.doi.org/10.21079/11681/42980.

Full text
Abstract:
This Coastal and Hydraulics Engineering Technical Note (CHETN) describes a method for evaluating the received coverage from Automatic Identification System (AIS) shoreside sites along the Missouri River managed by the US Army Corps of Engineers (USACE) Lock Operations Management Application (LOMA), and presents the results of that analysis. The purpose is to identify AIS coverage gaps in the current system. Reception of AIS transmissions between shore-based transceivers and vessels is generally line-of-sight between the vessel and the AIS site antenna. However, signal reception may be affected by factors such as the distance and terrain between the vessel and the transceiver site, quality of the transceiver installation, state of the equipment either aboard the vessel or at the shore transceiver station, and atmospheric phenomena. Quantifying coverage gaps along the inland waterways system can inform research that uses AIS data, provide information on the performance of the AIS network, and provide guidance for efforts to address coverage gaps to improve navigation safety. In autumn 2020, severe shoaling was occurring on the Missouri River. As the shoals were identified, the Kansas City District requested the LOMA system transmit AIS Aid to Navigation (AtoN) to mark the shoals in several critical areas. However, vessel pilots sometimes reported that they were not receiving the AIS AtoN being transmitted. At the request of the Kansas City District, the US Army Engineer Research and Development Center, Coastal and Hydraulics Laboratory (ERDC-CHL), conducted a coverage analysis using data collected from the LOMA AIS transceivers in the area to determine if there were coverage issues and their extent and to aid in determining the best means of addressing any coverage gaps.
APA, Harvard, Vancouver, ISO, and other styles
8

Arhin, Stephen, Babin Manandhar, Hamdiat Baba Adam, and Adam Gatiba. Predicting Bus Travel Times in Washington, DC Using Artificial Neural Networks (ANNs). Mineta Transportation Institute, April 2021. http://dx.doi.org/10.31979/mti.2021.1943.

Full text
Abstract:
Washington, DC is ranked second among cities in terms of highest public transit commuters in the United States, with approximately 9% of the working population using the Washington Metropolitan Area Transit Authority (WMATA) Metrobuses to commute. Deducing accurate travel times of these metrobuses is an important task for transit authorities to provide reliable service to its patrons. This study, using Artificial Neural Networks (ANN), developed prediction models for transit buses to assist decision-makers to improve service quality and patronage. For this study, we used six months of Automatic Vehicle Location (AVL) and Automatic Passenger Counting (APC) data for six Washington Metropolitan Area Transit Authority (WMATA) bus routes operating in Washington, DC. We developed regression models and Artificial Neural Network (ANN) models for predicting travel times of buses for different peak periods (AM, Mid-Day and PM). Our analysis included variables such as number of served bus stops, length of route between bus stops, average number of passengers in the bus, average dwell time of buses, and number of intersections between bus stops. We obtained ANN models for travel times by using approximation technique incorporating two separate algorithms: Quasi-Newton and Levenberg-Marquardt. The training strategy for neural network models involved feed forward and errorback processes that minimized the generated errors. We also evaluated the models with a Comparison of the Normalized Squared Errors (NSE). From the results, we observed that the travel times of buses and the dwell times at bus stops generally increased over time of the day. We gathered travel time equations for buses for the AM, Mid-Day and PM Peaks. The lowest NSE for the AM, Mid-Day and PM Peak periods corresponded to training processes using Quasi-Newton algorithm, which had 3, 2 and 5 perceptron layers, respectively. These prediction models could be adapted by transit agencies to provide the patrons with accurate travel time information at bus stops or online.
APA, Harvard, Vancouver, ISO, and other styles
9

Osadcha, Kateryna P., and Viacheslav V. Osadchyi. The use of cloud computing technology in professional training of future programmers. [б. в.], June 2021. http://dx.doi.org/10.31812/123456789/4435.

Full text
Abstract:
The article provides a brief analysis of the current state of the study of cloud technologies by future software engineers at foreign and Ukrainian universities. The author experience in the application of cloud technologies in the training of future software engineers in Ukraine is presented. The application of cloud business automation systems, online services to monitor the implementation of the software projects, Google services for collaboration, planning and productivity while studying professional disciplines and carrying out diploma projects is described. Based on the survey conducted at Stackoverflow, the state of application of cloud technologies by software engineers around the world has been analyzed. The cloud technologies that are not studied at the analyzed universities of Ukraine and those that are not popular with software developers in the world, but studied at Ukrainian universities by future software engineers are outlined. Conclusions are made on the modernization of training programs for future software engineers. Topics for the study of cloud technologies by future software engineers in the content of professional disciplines are proposed.
APA, Harvard, Vancouver, ISO, and other styles
10

El-Rayes, Khaled, and Ernest-John Ignacio. Evaluating the Benefits of Implementing Mobile Road Weather Information Sensors. Illinois Center for Transportation, February 2022. http://dx.doi.org/10.36501/0197-9191/22-004.

Full text
Abstract:
State departments of transportation (DOTs) have traditionally utilized fixed road weather information sensors (RWIS) to improve road safety during inclement weather; enhance the management of labor, equipment, and materials for winter road maintenance; and reduce adverse environmental impacts from road maintenance activities. Despite the benefits of these fixed RWIS sites, their coverage and effectiveness are limited because of their stationary locations. To overcome these limitations, recent advances in mobile road weather information sensing technology and cellular communications have enabled the development of mobile RWIS that can be deployed on vehicles to expand the limited coverage of fixed RWIS networks. Combining mobile RWIS, fixed RWIS networks, automatic vehicle location, and maintenance decision support systems (MDSS) provide DOTs with accurate georeferenced road and weather information that can be used by DOTs to optimize winter road maintenance operations and deicer applications. This report presents the findings of a research project funded by the Illinois Department of Transportation to investigate the effectiveness of mobile RWIS and MDSS in improving winter maintenance operations. This project had the following three objectives. First, conduct a literature review to gather and analyze current practices and latest research studies on mobile RWIS and their use for collecting real-time winter roadway conditions to optimize winter maintenance operations. Second, perform interviews with other state DOTs to gather and analyze their experiences and best management practices for the deployment and use of mobile RWIS and MDSS. Third, develop recommendations for a pilot study to evaluate the deployment and performance of mobile RWIS and MDSS in order to determine their effectiveness, implementation requirements, software/technology needs, operational challenges, and life-cycle costs.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Automatic Static Analysi' for particular source types:
Journal articles Dissertations / Theses Books
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!

To the bibliography