Academic literature on the topic 'On-the-fly code generation'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'On-the-fly code generation.'
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 "On-the-fly code generation"
1
Eckert, Candice, Brian Cham, Pengyi Li, Jing Sun, and Gillian Dobbie. "Linking Design Model with Code." International Journal of Software Engineering and Knowledge Engineering 26, no. 09n10 (2016): 1473–91. http://dx.doi.org/10.1142/s0218194016400131.
Full textAbstract:
With the growing in size and complexity of modern computer systems, the need for improving the quality at all stages of software development has become a critical issue. The current software production has been largely dependent on manual code development. Despite the slow development process, the errors introduced by the programmers contribute to a substantial portion of defects in the final software product. Model-driven engineering (MDE), despite having many advantages, is often overlooked by programmers due to lack of proper understanding and training in the matter. This paper investigates the advantages and disadvantages of MDE and looks at research results showing the adoption rates of design models. It analyzes different tools used for automated code generation and displays the reasons that led to technical decisions such as the programming language or design model used. In light of the findings, an educational tool, namely Lorini, was developed to provide automated code generation from the design models. The implemented tool consists of a plug-in for the Astah framework aimed at teaching Java programming to students through UML diagrams. It features instantaneous code generation from three types of UML diagrams, code-diagram matching, a feedback panel for error displays and on-the-fly compilation and execution of the resulting program. We also explore the possibility of generating assertion constraints from the design model and use them to verify the implementation. Evaluation of the tool indicated it to be successful with unique educational features and intuitive to use.
2
Li, Jingjing, Zichao Li, Tao Ge, Irwin King, and Michael R. Lyu. "Text Revision By On-the-Fly Representation Optimization." Proceedings of the AAAI Conference on Artificial Intelligence 36, no. 10 (2022): 10956–64. http://dx.doi.org/10.1609/aaai.v36i10.21343.
Full textAbstract:
Text revision refers to a family of natural language generation tasks, where the source and target sequences share moderate resemblance in surface form but differentiate in attributes, such as text formality and simplicity. Current state-of-the-art methods formulate these tasks as sequence-to-sequence learning problems, which rely on large-scale parallel training corpus. In this paper, we present an iterative in-place editing approach for text revision, which requires no parallel data. In this approach, we simply fine-tune a pre-trained Transformer with masked language modeling and attribute classification. During inference, the editing at each iteration is realized by two-step span replacement. At the first step, the distributed representation of the text optimizes on the fly towards an attribute function. At the second step, a text span is masked and another new one is proposed conditioned on the optimized representation. The empirical experiments on two typical and important text revision tasks, text formalization and text simplification, show the effectiveness of our approach. It achieves competitive and even better performance than state-of-the-art supervised methods on text simplification, and gains better performance than strong unsupervised methods on text formalization. Our code and model are released at https://github.com/jingjingli01/OREO.
3
Franz, Michael. "Open Standards Beyond Java: On the Future of Mobile Code for the Internet." JUCS - Journal of Universal Computer Science 4, no. (5) (1998): 522–33. https://doi.org/10.3217/jucs-004-05-0522.
Full textAbstract:
At first sight, Java's position as the de-facto standard for portable software distributed across the Internet seems virtually unassailable. Interestingly enough, however, it is surprisingly simple to provide alternatives to the Java platform, using the plug-in mechanism supported by the major commercial World Wide Web browsers. We are currently developing a comprehensive infrastructure for mobile software components. This is a long-term research activity whose primary objectives are not directly related to today's World Wide Web, but which targets future high-performance component-software systems. However, purely as a technology demonstration, we have recently started a small spin-off project called "Juice" with the intent of extending our experimental mobile-code platform into the realm of the commercial Internet. Juice is implemented in the form of a browser plug-in that generates native code on-the-fly. Although our software distribution format and run-time architecture are fundamentally different from Java s, and arguably more advanced, once that the appropriate Juice plug-in has been installed on a Windows PC or a Macintosh computer, end-users can no longer distinguish between applets that are based on Java and those that are based on Juice. The two kinds of applets can even coexist on the same Web-page. This, however, means that Java can in principle be complemented by alternative technologies (or even gradually be displaced by something better) with far fewer complications than most people seem to assume. As dynamic code generation technology matures further, it will become less important which code-distribution format has the largest "market share", many such formats can be supported concurrently. Future executable-content developers may well be able to choose from a wide range of platforms, probably including several dialects of Java itself. Hence, a pattern of "open standards" for mobile code is likely to eventually emerge, in spite of Java's current dominance.
4
Jo, Yunki, and Deokjung Lee. "Current capabilities and future developments of Monte Carlo code MCS." EPJ Nuclear Sciences & Technologies 11 (2025): 7. https://doi.org/10.1051/epjn/2025001.
Full textAbstract:
The Monte Carlo code, MCS was developed at the Ulsan National Institute of Science and Technology (UNIST) in 2011. In the initial development phase, the primary focus was on developing a Monte Carlo code for the high-fidelity multicycle analysis of large-scale power reactors, especially pressurized water reactors. For the power reactor analysis, capabilities including refueling and shuffling of fuel assemblies, on-the-fly Doppler broadening of neutron cross-sections, and multiphysics coupling were implemented in the MCS. Beyond reactor analysis and capabilities, MCS has been developed to extend its applications. The MCS has been used for radiation shielding, group constants generation, sensitivity, uncertainty, and transient analysis. This study provides a general overview of MCS capabilities.
5
Kuznetsov, A. A., and D. O. Zakharov. "Deep learning-based models’ application to generating a cryptographic key from a face image." Radiotekhnika, no. 213 (June 16, 2023): 31–40. http://dx.doi.org/10.30837/rt.2023.2.213.03.
Full textAbstract:
Generating cryptographic keys, such as passwords or pin codes, involves utilizing specialized algorithms that rely on complex mathematical transformations. These keys necessitate secure storage measures and complex distribution and processing mechanisms, which often incur substantial costs. However, an alternative approach emerges, proposing the generation of cryptographic keys based on the user's biometric data. Since one can generate keys "on the fly," there is no longer a requirement for key storage or distribution. These generated keys, derived from biometric information, can be effectively employed for biometric authentication, offering numerous advantages. Additionally, this alternative approach unlocks new possibilities for constructing information infrastructure. By utilizing biometric keys, the initiation of cryptographic algorithms like encryption and digital signatures becomes more streamlined and less burdensome in storing and processing procedures. This paper explores biometric key generation technologies, focusing on applying deep learning models. In particular, we employ convolutional neural networks to extract significant biometric features from human face images as the foundation for subsequent key generation processes. A comprehensive analysis involves extensive experimentation with various deep-learning models. We achieve remarkable results by optimizing the algorithm's parameters, with the False Reject Rate (FRR) and False Acceptance Rate (FAR) approximately equal and less than 10%. With code-based cryptographic extractors’ post-quantum level of security, we ensure the continued protection and integrity of sensitive information within the cryptographic framework.
6
Kempeneers, Pieter, Ondrej Pesek, Davide De Marchi, and Pierre Soille. "pyjeo: A Python Package for the Analysis of Geospatial Data." ISPRS International Journal of Geo-Information 8, no. 10 (2019): 461. http://dx.doi.org/10.3390/ijgi8100461.
Full textAbstract:
A new Python package, pyjeo, that deals with the analysis of geospatial data has been created by the Joint Research Centre (JRC). Adopting the principles of open science, the JRC strives for transparency and reproducibility of results. In this view, it has been decided to release pyjeo as free and open software. This paper describes the design of pyjeo and how its underlying C/C++ library was ported to Python. Strengths and limitations of the design choices are discussed. In particular, the data model that allows the generation of on-the-fly data cubes is of importance. Two uses cases illustrate how pyjeo can contribute to open science. The first is an example of large-scale processing, where pyjeo was used to create a global composite of Sentinel-2 data. The second shows how pyjeo can be imported within an interactive platform for image analysis and visualization. Using an innovative mechanism that interprets Python code within a C++ library on-the-fly, users can benefit from all functions in the pyjeo package. Images are processed in deferred mode, which is ideal for prototyping new algorithms on geospatial data, and assess the suitability of the results created on the fly at any scale and location.
7
Popa, Cristina-Elena, Constantin-Cristian Damian, and Daniela Coltuc. "Joint Data Hiding and Partial Encryption of Compressive Sensed Streams." Information 16, no. 7 (2025): 513. https://doi.org/10.3390/info16070513.
Full textAbstract:
This paper proposes a method to secure Compressive Sensing (CS) streams. It involves protecting part of the measurements with a secret key and inserting code into the remaining measurements. The secret key is generated via a cryptographically secure pseudorandom number generator (CSPRNG) and XORed with the measurements to be inserted. For insertion, we use a reversible data hiding (RDH) scheme, which is a prediction error expansion algorithm modified to match the statistics of CS measurements. The reconstruction from the embedded stream results in a visibly distorted image. The image distortion is controlled by the number of embedded levels. In our tests, embedding on 10 levels results in ≈18 dB distortion for images of 256×256 pixels reconstructed with the Fast Iterative Shrinkage-Thresholding Algorithm (FISTA). A particularity of the presented method is on-the-fly insertion, which makes it appropriate for the sequential acquisition of measurements with a single-pixel camera. On-the-fly insertion avoids the buffering of CS measurements for the subsequent standard encryption and generation of a thumbnail image.
8
Wang, Bin, Fan Wu, Xiao Han, et al. "VIGC: Visual Instruction Generation and Correction." Proceedings of the AAAI Conference on Artificial Intelligence 38, no. 6 (2024): 5309–17. http://dx.doi.org/10.1609/aaai.v38i6.28338.
Full textAbstract:
The integration of visual encoders and large language models (LLMs) has driven recent progress in multimodal large language models (MLLMs). However, the scarcity of high-quality instruction-tuning data for vision-language tasks remains a challenge. The current leading paradigm, such as LLaVA, relies on language-only GPT-4 to generate data, which requires pre-annotated image captions and detection bounding boxes, suffering from understanding image details. A practical solution to this problem would be to utilize the available multimodal large language models to generate instruction data for vision-language tasks. However, it's worth noting that the currently accessible MLLMs are not as powerful as their LLM counterparts, as they tend to produce inadequate responses and generate false information. As a solution for addressing the current issue, this paper proposes the Visual Instruction Generation and Correction (VIGC) framework that enables multimodal large language models to generate instruction-tuning data and progressively enhance its quality on-the-fly. Specifically, Visual Instruction Generation (VIG) guides the vision-language model to generate diverse instruction-tuning data. To ensure generation quality, Visual Instruction Correction (VIC) adopts an iterative update mechanism to correct any inaccuracies in data produced by VIG, effectively reducing the risk of hallucination. Leveraging the diverse, high-quality data generated by VIGC, we finetune mainstream models and validate data quality based on various evaluations. Experimental results demonstrate that VIGC not only compensates for the shortcomings of language-only data generation methods, but also effectively enhances the benchmark performance. The models, datasets, and code are available at https://opendatalab.github.io/VIGC
9
Yang, Chenyuan, Yinlin Deng, Runyu Lu, et al. "WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models." Proceedings of the ACM on Programming Languages 8, OOPSLA2 (2024): 709–35. http://dx.doi.org/10.1145/3689736.
Full textAbstract:
Compiler correctness is crucial, as miscompilation can falsify program behaviors, leading to serious consequences over the software supply chain. In the literature, fuzzing has been extensively studied to uncover compiler defects. However, compiler fuzzing remains challenging: Existing arts focus on black- and grey-box fuzzing, which generates test programs without sufficient understanding of internal compiler behaviors. As such, they often fail to construct test programs to exercise intricate optimizations. Meanwhile, traditional white-box techniques, such as symbolic execution, are computationally inapplicable to the giant codebase of compiler systems. Recent advances demonstrate that Large Language Models (LLMs) excel in code generation/understanding tasks and even have achieved state-of-the-art performance in black-box fuzzing. Nonetheless, guiding LLMs with compiler source-code information remains a missing piece of research in compiler testing. To this end, we propose WhiteFox, the first white-box compiler fuzzer using LLMs with source-code information to test compiler optimization, with a spotlight on detecting deep logic bugs in the emerging deep learning (DL) compilers. WhiteFox adopts a multi-agent framework: (i) an LLM-based analysis agent examines the low-level optimization source code and produces requirements on the high-level test programs that can trigger the optimization; (ii) an LLM-based generation agent produces test programs based on the summarized requirements. Additionally, optimization-triggering tests are also used as feedback to further enhance the test generation prompt on the fly. Our evaluation on the three most popular DL compilers (i.e., PyTorch Inductor, TensorFlow-XLA, and TensorFlow Lite) shows that WhiteFox can generate high-quality test programs to exercise deep optimizations requiring intricate conditions, practicing up to 8 times more optimizations than state-of-the-art fuzzers. To date, WhiteFox has found in total 101 bugs for the compilers under test, with 92 confirmed as previously unknown and 70 already fixed. Notably, WhiteFox has been recently acknowledged by the PyTorch team, and is in the process of being incorporated into its development workflow. Finally, beyond DL compilers, WhiteFox can also be adapted for compilers in different domains, such as LLVM, where WhiteFox has already found multiple bugs.
10
Jalili, Vahid, Matteo Matteucci, Marco Masseroli, and Stefano Ceri. "Explorative visual analytics on interval-based genomic data and their metadata." BMC Bioinformatics 18, no. 1 (2017): 536. https://doi.org/10.1186/s12859-017-1945-9.
Full textAbstract:
<strong>Background: </strong>With the wide-spreading of public repositories of NGS processed data, the availability of user-friendly and effective tools for data exploration, analysis and visualization is becoming very relevant. These tools enable interactive analytics, an exploratory approach for the seamless "sense-making" of data through on-the-fly integration of analysis and visualization phases, suggested not only for evaluating processing results, but also for designing and adapting NGS data analysis pipelines.<strong>Results: </strong>This paper presents abstractions for supporting the early analysis of NGS processed data and their implementation in an associated tool, named GenoMetric Space Explorer (GeMSE). This tool serves the needs of the GenoMetric Query Language, an innovative cloud-based system for computing complex queries over heterogeneous processed data. It can also be used starting from any text files in standard BED, BroadPeak, NarrowPeak, GTF, or general tab-delimited format, containing numerical features of genomic regions; metadata can be provided as text files in tab-delimited attribute-value format. GeMSE allows interactive analytics, consisting of on-the-fly cycling among steps of data exploration, analysis and visualization that help biologists and bioinformaticians in making sense of heterogeneous genomic datasets. By means of an explorative interaction support, users can trace past activities and quickly recover their results, seamlessly going backward and forward in the analysis steps and comparative visualizations of heatmaps.<strong>Conclusions: </strong>GeMSE effective application and practical usefulness is demonstrated through significant use cases of biological interest. GeMSE is available at http://www.bioinformatics.deib.polimi.it/GeMSE/, and its source code is available at https://github.com/Genometric/GeMSE under GPLv3 open-source license.
Dissertations / Theses on the topic "On-the-fly code generation"
1
Franz, Michael Steffen Oliver. "Code-generation on-the-fly : a key portable software /." Zürich, 1994. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=10497.
Full textBooks on the topic "On-the-fly code generation"
1
Code-Generation On-The-Fly: A Key to Portable Software. vdf Hochschulverlag ETH Zurich, 1994.
Find full text
2
Franz, Michael Steffen Oliver. Code-generation on-the-fly: A key to portable software. 1994.
Find full textBook chapters on the topic "On-the-fly code generation"
1
Paskevich, Andrei, Paul Patault, and Jean-Christophe Filliâtre. "coma, an Intermediate Verification Language with Explicit Abstraction Barriers." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-91121-7_8.
Full textAbstract:
Abstract We introduce coma, a formally defined intermediate verification language. Specification annotations in coma take the form of assertions mixed with the executable program code. A special programming construct representing the abstraction barrier is used to separate, inside a subroutine, the “interface” part of the code, which is verified at every call site, from the “implementation” part, which is verified only once, at the definition site. In comparison with traditional contract-based specification, this offers us an additional degree of freedom, as we can provide separate specification (or none at all) for different execution paths. We define a verification condition generator for coma and prove its correctness. For programs where specification is given in a traditional way, with abstraction barriers at the function entries and exits, our verification conditions are similar to the ones produced by a classical weakest-precondition calculus. For programs where abstraction barriers are placed in the middle of a function definition, the user-written specification is seamlessly completed with the verification conditions generated for the exposed part of the code. In addition, our procedure can factorize selected subgoals on the fly, which leads to more compact verification conditions. We illustrate the use of coma on two non-trivial examples, which have been formalized and verified using our implementation: a second-order regular expression engine and a sorting algorithm written in unstructured assembly code.
Conference papers on the topic "On-the-fly code generation"
1
Halbe, Omkar, and Manfred Hajek. "A Methodology towards Rotorcraft Piloting Autonomy for Approach on Moving Offshore Platforms." In Vertical Flight Society 74th Annual Forum & Technology Display. The Vertical Flight Society, 2018. http://dx.doi.org/10.4050/f-0074-2018-12906.
Full textAbstract:
Helicopter operation on moving offshore platforms poses a challenge in terms of human factors and flight control. Higher control modes are essential to relieve pilot workload and enable autonomous shipdeck recovery. This paper focuses on control laws for fully autonomous approach guidance from cruise to relative hover on a moving shipdeck. First, the engagement geometry of a typical helicopter-ship combination is described. An instrument-like procedure including arrival and approach phases is defined and the necessary conditions for successful guidance based on ground track, altitude and ground speed parameters are specified. Second, outer loop control laws for real-time generation of the flight path vector commands are developed. The control laws use state feedback from the helicopter-ship system. Control gains are defined in terms of the distance to next waypoint to achieve smooth and gradual state tracking. Third, a model-based inner loop control is implemented to command the required collective, cyclic and pedal inputs for accurate flight path vector tracking, stabilization and axes cross-coupling compensation tasks. Simulation studies are performed using a comprehensive real-time capable helicopter flightmechanics code. Operational scenarios with nominal approach and steep approach profiles are simulated in still air and in wind up to 30 knots with gusts. Simulation results have demonstrated precise tracking of the shipdeck's position, course and speed with robustness to wind gusts and the feasibility to fly steep approaches.
2
Ghoshal, Anindya, Kevin Kerner, Muthuvel Murugan, Blake Barnett, Michael Walock, and Marc Pepi. "Turbomachinery Blade Thermomechanical Interface Science and Sandphobic Coatings Research." In Vertical Flight Society 71st Annual Forum & Technology Display. The Vertical Flight Society, 2015. http://dx.doi.org/10.4050/f-0071-2015-10240.
Full textAbstract:
Gas turbine engines operating in hostile environment polluted with micron-sized solid particles are susceptible to blade surface damage. Commercial/Military fixed-wing aircraft engines and helicopter engines often have to operate over sandy terrains or in volcanic areas; on the other hand gas turbines in marine applications are subjected to salt spray, while the coal-burning industrial power generation turbines are subjected to fly-ash. The presence of solid particles in the working fluid medium has an adverse effect on these engines, both structurally and aerodynamically. Typical turbine blade damages include blade wear, sand glazing, Calcia-Magnesia-Alumina-Silicate (CMAS) attack, oxidation, plugged cooling holes, all of which can cause rapid performance deterioration. The focus of this research work is to simulate a single solid particle impact on typical turbomachinery material targets using non-linear dynamics analysis. The objective of this research is to understand the interfacial kinetic behaviors that can provide insights into the physics of particle interactions and to enable leap ahead technologies in material choices and sand-phobic thermal barrier coatings for turbomachinery blades. This paper outlines the research efforts at the U.S Army Research Laboratory (ARL) to come up with novel gas turbine engine protective coatings, and analysis methods to study particle impact effects at the surface of the coatings, and the integrity of interfaces between substrate and coating materials. The research effort intends to cover both nickel-based super alloys and ceramic matrix composites (CMC) for developing thermal and sandphobic coatings.
3
Zachos, Damaris, Lauren Weist, Kenneth Brentner, and Eric Greenwood. "Variation in Helicopter Noise During Approach Maneuvers." In Vertical Flight Society 78th Annual Forum & Technology Display. The Vertical Flight Society, 2022. http://dx.doi.org/10.4050/f-0078-2022-17438.
Full textAbstract:
The Helicopter Association International (HAI) "Fly Neighborly" program aims to provide helicopter pilots with recommendations to effectively reduce the noise of their operations. One aspect of this program encourages the development of approach trajectories that avoid airspeed and flight path angle combinations associated with high levels of noise generation. These trajectories necessarily involve changes in speed and flight path angle; i.e., there is an acceleration. To understand the effect of acceleration on noise, a parametric sweep of both longitudinal acceleration and time rate of change of flight path angle (vertical acceleration) were completed for a model of the Sikorsky S-76D helicopter. This was done utilizing a PSU noise prediction system that is a coupled flight simulation (PSUHeloSim), rotor comprehensive analysis (CHARM), and noise prediction code (PSU-WOPWOP). These sweeps are compared with noise predictions for trajectories processed through the PSU noise prediction system that follow flight test data collected in the 2019 joint NASA/FAA/Army flight test.
4
Park, Jiwoon, Gwanghee Jo, Jinseok Kim, and Hoyoung Yoo. "Area-Efficient On-the-Fly Code Generator for BDS B1C Receivers." In 2021 International Conference on Electronics, Information, and Communication (ICEIC). IEEE, 2021. http://dx.doi.org/10.1109/iceic51217.2021.9369771.
Full text
5
Du Bois, Andre, and Rodrigo Ribeiro. "Combining Effects in a Music Programming Language based on Patterns." In Simpósio Brasileiro de Computação Musical. Sociedade Brasileira de Computação - SBC, 2019. http://dx.doi.org/10.5753/sbcm.2019.10430.
Full textAbstract:
HMusic is a domain specific language based on music patterns that can be used to write music and live coding. The main abstractions provided by the language are patterns and tracks. Code written in HMusic looks like patterns and multi-tracks available in music sequencers, drum machines and DAWs. HMusic provides primitives to design and combine patterns generating new patterns. The objective of this paper is to extend the original design of HMusic to allow effects on tracks. We describe new abstractions to add effects on individual tracks and in groups of tracks, and how they influence the combinators for track composition and multiplication. HMusic allows the live coding of music and, as it is embedded in the Haskell functional programming language, programmers can write functions to manipulate effects on the fly. The current implementation of the language is compiled into Sonic Pi [1], and we describe how the compiler’s back-end was modified to support the new abstractions for effects. HMusic can be and can be downloaded from [2].
6
Kachuma, Dick, Jean-Claude Hild, and Irina Belushko. "Simplified Initialization of Reservoir Simulation Models with Continuously Varying Tilted Contacts and Complex Fluid Distributions." In SPE Reservoir Simulation Conference. SPE, 2021. http://dx.doi.org/10.2118/203966-ms.
Full textAbstract:
Abstract We tackle reservoir simulation model initialization in situations where the current free water level has risen significantly above the original paleo-contact. In such cases, traditional initialization based on primary drainage capillary-gravity equilibrium is insufficient because it does not consider the reimbibition that takes place after primary oil migration. Usage of traditional initialization would require a generation of several thousands of regions to have a satisfactory representation of such phenomenon in the model. We apply this initialization to a reservoir with a complex initial fluid in which hydrocarbons come from multiple sources resulting in significant spatial variation. To capture this spatial variation, the scripting feature of a commercial simulator is used to generate on-the-fly PVT regions and fluid descriptions based on continuous fluid properties. Capillary-gravity equilibrium is then used to initialize the model with the primary drainage capillary pressure curves at the paleo-contact, which gives the minimum water saturation for each grid-block. From this, an imbibition scanning curve is generated for a second initialization based on the current oil-water contact thereby including reimbibition. Our proposed approach was applied to a giant carbonate field for which we were able to generate on-the-fly PVT regions based on continuous property maps of fluid properties such as oil API, solution gas-oil-ratio and water salinity. This resulted in fewer regions being generated and thereby reducing the amount of memory required to initialize the model. We were also able to reduce the initialization time as compared to use of discretized contacts and regions. Our approach enabled us to initialize with both the paleo- and current contacts allowed to continuously vary spatially. This together with the use of a more appropriate capillary pressure hysteresis model, resulted in an initial reservoir state that gave a better match to the saturations obtained from logs. This work illustrates the creation of PVT data and fluid regions on-the-fly based on continuous fluid properties. We also demonstrate the use of continuously varying paleo- and current oil-water contacts without the need to discretize these into regions. These aspects facilitate the propagation of an uncertainty workflow, starting with continuous fluid properties and structural modelling, directly to the simulation model with no need for intermediate discretization and without massive computational penalties.
7
Mangan, Joseph, David Murphy, Rachel Dunwoody, et al. "Experiences in firmware development for a CubeSat instrument payload." In Symposium on Space Educational Activities (SSAE). Universitat Politècnica de Catalunya, 2022. http://dx.doi.org/10.5821/conference-9788419184405.024.
Full textAbstract:
Recent advancements in gamma-ray detector technology have brought new opportunities to study gamma-ray bursts and other high-energy phenomena. However, there is a lack of dissemination on the development methods, tools and techniques used in the production of instrument flight firmware. This is understandable as firmware for spacecraft payloads may be proprietary or exceptionally hardware specific and so is not always published. However, this leaves a gap in the knowledge for CubeSat teams, especially those consisting of university students who may be building a custom spacecraft payload with limited initial experience. The Gamma-Ray Module (GMOD) on-board EIRSAT-1, a 2U CubeSat in the 2nd European Space Agency Fly Your Satellite! programme, is one such instrument. GMOD features a 25x25x40mm Scionix CeBr3 scintillator, coupled to an array of 16 (4x4) JSeries OnSemiconductor MicroFJ-60035-TSV silicon photomultipliers (SiPMs) with readout provided by the SIPHRA IDE3380 application specific integrated circuit. The instrument is supported by the Gamma-Ray Module motherboard which controls and configures the instrument, providing regulated voltage and current sources as well as generating time tagged event packets and a temporary on-board flash storage. At the core of this system is the Texas Instruments MSP430FR5994 microcontroller. A custom firmware was produced for the instrument by the EIRSAT-1 team over numerous cycles of testing and development to reliably perform the long duration tasks of readout, storage and transfer of time tagged event data to the EIRSAT-1 on-board computer. Recognising the value of sharing our experiences and pitfalls on firmware development with the wider CubeSat community, this paper will provide an introduction to GMOD, with focus primarily on the development approach of the firmware. The development, testing, version control, essential tools and an overview of how the resources provided by the device manufacturer were used will be examined, such that the lessons learned may be extended to other payloads from student-led missions
Reports on the topic "On-the-fly code generation"
1
Walsh, Jonathan, Brian Kiedrowski, Benoit Forget, Kord Smith, and Forrest Brown. Demonstration of On-the-Fly Generation of Unresolved Resonance Region Cross Sections in a Monte Carlo Transport Code. Office of Scientific and Technical Information (OSTI), 2014. http://dx.doi.org/10.2172/1164462.
Full text