Gotowe bibliografie tematyczne / Stack

Spis treści

Artykuły w czasopismach
Rozprawy doktorskie
Książki
Części książek
Streszczenia konferencji
Raporty organizacyjne

Gotowa bibliografia na temat „Stack”

Autor: Grafiati

Data publikacji: 4 czerwca 2021

Data aktualizacji: 9 czerwca 2025

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Stack”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "Stack"

Zhou, Wei, Haoran Li, Shiya Wen, Lijuan Xie, Ting Wang, Yongzhong Tian, and Wenping Yu. "Simulation of Soil Organic Carbon Content Based on Laboratory Spectrum in the Three-Rivers Source Region of China." Remote Sensing 14, no. 6 (March 21, 2022): 1521. http://dx.doi.org/10.3390/rs14061521.

Pełny tekst źródła

Streszczenie:

Soil organic carbon (SOC) changes affect the land carbon cycle and are also closely related to climate change. Visible-near infrared spectroscopy (Vis-NIRS) has proven to be an effective tool in predicting soil properties. Spectral transformations are necessary to reduce noise and ensemble learning methods can improve the estimation accuracy of SOC. Yet, it is still unclear which is the optimal ensemble learning method exploiting the results of spectral transformations to accurately simulate SOC content changes in the Three-Rivers Source Region of China. In this study, 272 soil samples were collected and used to build the Vis-NIRS simulation models for SOC content. The ensemble learning was conducted by the building of stack models. Sixteen combinations were produced by eight spectral transformations (S-G, LR, MSC, CR, FD, LRFD, MSCFD and CRFD) and two machine learning models of RF and XGBoost. Then, the prediction results of these 16 combinations were used to build the first-step stack models (Stack1, Stack2, Stack3). The next-step stack models (Stack4, Stack5, Stack6) were then made after the input variables were optimized based on the threshold of the feature importance of the first-step stack models (importance > 0.05). The results in this study showed that the stack models method obtained higher accuracy than the single model and transformations method. Among the six stack models, Stack 6 (5 selected combinations + XGBoost) showed the best simulation performance (RMSE = 7.3511, R2 = 0.8963, and RPD = 3.0139, RPIQ = 3.339), and obtained higher accuracy than Stack3 (16 combinations + XGBoost). Overall, our results suggested that the ensemble learning of spectral transformations and simulation models can improve the estimation accuracy of the SOC content. This study can provide useful suggestions for the high-precision estimation of SOC in the alpine ecosystem.

Style APA, Harvard, Vancouver, ISO itp.

Xu, Yine, Qi Yu, Yan Zhang, and Weichun Ma. "Numerical Study on the Plume Behavior of Multiple Stacks of Container Ships." Atmosphere 12, no. 5 (May 5, 2021): 600. http://dx.doi.org/10.3390/atmos12050600.

Pełny tekst źródła

Streszczenie:

This paper showed different plume behaviors of exhausts from different number of stacks of the container ship, using CFD code PHOENICS version 6.0. The plume behavior was quantitatively analyzed by mass fraction of the pollutant in the exhaust and plume heights. Three simplified typical configurations were constructed by CFD according to the investigation of container ships. The configurations included a single main stack (BL1), one main stack and multiple auxiliary stacks (BL2), and two main stacks and multiple auxiliary stacks (BL3). All the main stacks had the same emission characteristics, and all the auxiliary stacks had the same emission characteristics. The results show that the transmission and diffusion characteristics of the exhaust from multiple stacks are different from those of the exhaust from a single stack. In BL2 and BL3 simulations, the maximum mass fraction of SO2 in the exhaust (C1max) of multiple stack emissions was approximately 329% and 269% higher than that of single stack emissions over the main stack, respectively, and the plume height of multiple stack emissions is higher than that of single stack emissions. In BL2 and BL3 simulations, the plume height of multiple stack emissions was 41% and 75% higher than that of single stack emissions, respectively. The increase of C1max, due to multiple stack emissions, is weakened as the distance of the stacks increase. The difference in plume behavior between multiple stack emissions and single stack emissions is of great significance for air quality management and pollution control in port areas.

Style APA, Harvard, Vancouver, ISO itp.

Muthusundari, S., V. Devi, S. Sharath Kumar, D. Sudhish Reddy, Kannedari Uday Kiran, Pulimi Hanith Sai Kumar Reddy, Gosani Bhanu Sai Priya, and Katragunta Yagna Priya. "Stack sort – a new approach with sorting network and a buffer." Salud, Ciencia y Tecnología - Serie de Conferencias 3 (June 14, 2024): 898. http://dx.doi.org/10.56294/sctconf2024898.

Pełny tekst źródła

Streszczenie:

Knuth introduced the problem of stack sorting. Stack sorting was implemented by t stacks in series. In this paper, we propose a new dimension to stack sorting problem by introducing a stack with sorting network and a petty buffer. Instead of using t stacks in series, it helps to improve the performance by avoiding shuffles the stack. The basic idea behind in this paper is to perform a stack sorting with a single stack, and to achieve greater performance. In this novel approach, 2 bit buffer is compared to stack and insert the element into stack in order to avoid multiple stack. The result shows the time complexity of the proposed algorithm is O (n).

Style APA, Harvard, Vancouver, ISO itp.

Bursztyn, Henrique, Francesco Noseda, and Chenchang Zhu. "Principal Actions of Stacky Lie Groupoids." International Mathematics Research Notices 2020, no. 16 (July 5, 2018): 5055–125. http://dx.doi.org/10.1093/imrn/rny142.

Pełny tekst źródła

Streszczenie:

Abstract Stacky Lie groupoids are generalizations of Lie groupoids in which the “space of arrows” of the groupoid is a differentiable stack. In this paper, we consider actions of stacky Lie groupoids on differentiable stacks and their associated quotients. We provide a characterization of principal actions of stacky Lie groupoids, that is, actions whose quotients are again differentiable stacks in such a way that the projection onto the quotient is a principal bundle. As an application, we extend the notion of Morita equivalence of Lie groupoids to the realm of stacky Lie groupoids, providing examples that naturally arise from non-integrable Lie algebroids.

Style APA, Harvard, Vancouver, ISO itp.

Kim, Hanki, Jiyeon Choi, Namjo Jeong, Yeon-Gil Jung, Haeun Kim, Donghyun Kim, and SeungCheol Yang. "Correlations between Properties of Pore-Filling Ion Exchange Membranes and Performance of a Reverse Electrodialysis Stack for High Power Density." Membranes 11, no. 8 (August 10, 2021): 609. http://dx.doi.org/10.3390/membranes11080609.

Pełny tekst źródła

Streszczenie:

The reverse electrodialysis (RED) stack-harnessing salinity gradient power mainly consists of ion exchange membranes (IEMs). Among the various types of IEMs used in RED stacks, pore-filling ion exchange membranes (PIEMs) have been considered promising IEMs to improve the power density of RED stacks. The compositions of PIEMs affect the electrical resistance and permselectivity of PIEMs; however, their effect on the performance of large RED stacks have not yet been considered. In this study, PIEMs of various compositions with respect to the RED stack were adopted to evaluate the performance of the RED stack according to stack size (electrode area: 5 × 5 cm2 vs. 15 × 15 cm2). By increasing the stack size, the gross power per membrane area decreased despite the increase in gross power on a single RED stack. The electrical resistance of the PIEMs was the most important factor for enhancing the power production of the RED stack. Moreover, power production was less sensitive to permselectivities over 90%. By increasing the RED stack size, the contributions of non-ohmic resistances were significantly increased. Thus, we determined that reducing the salinity gradients across PIEMs by ion transport increased the non-ohmic resistance of large RED stacks. These results will aid in designing pilot-scale RED stacks.

Style APA, Harvard, Vancouver, ISO itp.

Halpern-Leistner, Daniel, and Anatoly Preygel. "Mapping stacks and categorical notions of properness." Compositio Mathematica 159, no. 3 (March 2023): 530–89. http://dx.doi.org/10.1112/s0010437x22007667.

Pełny tekst źródła

Streszczenie:

One fundamental consequence of a scheme $X$ being proper is that the functor classifying maps from $X$ to any other suitably nice scheme or algebraic stack is representable by an algebraic stack. This result has been generalized by replacing $X$ with a proper algebraic stack. We show, however, that it also holds when $X$ is replaced by many examples of algebraic stacks which are not proper, including many global quotient stacks. This leads us to revisit the definition of properness for stacks. We introduce the notion of a formally proper morphism of stacks and study its properties. We develop methods for establishing formal properness in a large class of examples. Along the way, we prove strong $h$ -descent results which hold in the setting of derived algebraic geometry but not in classical algebraic geometry. Our main applications are algebraicity results for mapping stacks and the stack of coherent sheaves on a flat and formally proper stack.

Style APA, Harvard, Vancouver, ISO itp.

Toën, Bertrand. "Descente fidèlement plate pour les n-champs d’Artin." Compositio Mathematica 147, no. 5 (July 25, 2011): 1382–412. http://dx.doi.org/10.1112/s0010437x10005245.

Pełny tekst źródła

Streszczenie:

AbstractWe prove two flat descent results in the setting of Artin n-stacks. First of all, a stack for the etale topology which is an Artin n-stack (in the sense of Simpson and Toën–Vezzosi) is also a stack for the flat (fppf) topology. Moreover, an n-stack, for the fppf topology, which admits a flat (fppf) n-atlas is an Artin n-stack (i.e. possesses a smooth n-atlas). We deduce from these two results a comparison between etale and fppf cohomologies (with coefficients in non-smooth group schemes and also non-abelian). This work is written in the setting of the derived stacks of Toën and Vezzosi, and all of these results are therefore also valid for derived Artin n-stacks.

Style APA, Harvard, Vancouver, ISO itp.

Dombrovskis, Johanna, Victor Shokhen, Lisa Kylhammar, and Andreas Bodén. "(Invited) Optimized Conditioning and Performance of PEM Fuel Cell Stacks." ECS Meeting Abstracts MA2024-02, no. 46 (November 22, 2024): 3264. https://doi.org/10.1149/ma2024-02463264mtgabs.

Pełny tekst źródła

Streszczenie:

The fuel cell market is maturing, and the production volumes are increasing. In parallel, expectations on performance, lifetime and operational range for fuel cell stacks are growing. As fuel cell technology matures, more fuel cell stacks are used in real life applications instead of laboratory environment. These positive developments bring with them new challenges and opportunities to learn. Several of these challenges and their impact on stack design and validation will be discussed. The focus will be on optimization of useful stack power density, fuel cell stack conditioning, enlarging the LT-PEM fuel cell operation range and on durability testing. This talk addresses why conditioning and durability testing are closely connected and illustrates how this can impact stack platform and fuel cell development. In addition, the interactions between power density, stack integration and stack operational window are illustrated showing how each of these parameters could be optimized utilizing a current distribution plate and what trade-offs are relevant for optimized fuel cell stack and system performance. Powercell is active in various market segments and has developed stacks and stack components for ~20 years. The optimizations and trade-offs described hinge heavily on key PEM stack requirements which can be widely different in different PEM fuel cell market sectors, as illustrated by the emerging usage of fuel cells in aviation.

Style APA, Harvard, Vancouver, ISO itp.

Baid, Jayant, and Sapna Gupta. "COMPARATIVE ANALYSIS OF MERN, MEAN AND MEVN STACKS IN WEB DEVELOPMENT." INTERANTIONAL JOURNAL OF SCIENTIFIC RESEARCH IN ENGINEERING AND MANAGEMENT 08, no. 02 (February 8, 2024): 1–10. http://dx.doi.org/10.55041/ijsrem28539.

Pełny tekst źródła

Streszczenie:

Choosing a technology stack is a critical decision that affects how software projects progress in the ever- changing field of web development. Regarding web development, a technology stack is a set of tools, frameworks, and programming languages that are utilized in the construction of an application's front end and back end. In addition to making the development process easier, these stacks provide the groundwork for the finished product's performance, scalability, and maintainability. JavaScript-based stacks are becoming serious contenders as businesses and developers search for frameworks that provide efficiency, scalability, and flexibility. Starting with a thorough examination and comparison of three popular JavaScript stacks, this research paper examines MEAN (MongoDB, Express, Angular and Node.js), MERN (MongoDB, Express, React and Node.js) and MEVN (MongoDB, Express, Vue.js and Node.js). Keywords: Web Development, MERN Stack, MEAN Stack, MEVN Stack, ReactJS, AngularJS, VueJS

Style APA, Harvard, Vancouver, ISO itp.

Wu, Chien-Chang, and Tsung-Lin Chen. "Dynamic Modeling of a Parallel-Connected Solid Oxide Fuel Cell Stack System." Energies 13, no. 2 (January 20, 2020): 501. http://dx.doi.org/10.3390/en13020501.

Pełny tekst źródła

Streszczenie:

This study proposes novel simulation methods to model the power delivery function of a parallel-connected solid-oxide-fuel-cell stack system. The proposed methods are then used to investigate the possible thermal runaway induced by the performance mismatch between the employed stacks. A challenge in this modeling study is to achieve the same output voltage but different output current for each employed stack. Conventional fuel-cell models cannot be used, because they employ fuel flow rates and stack currents as the input variables. These two variables are unknown in the parallel-connected stack systems. The proposed method solves the aforementioned problems by integrating the fuel supply dynamics with the conventional stack models and then arranging them in a multiple-feedback-loop configuration for conducting simulations. The simulation results indicate that the proposed methods can model the transient response of the parallel-connected stack system. Moreover, for the dynamics of the power distribution, there exists an unstable positive feedback loop between employed stacks when the stack temperatures are low, and a stable negative feedback loop when the stack temperatures are high. A thermal runaway could be initiated when the dynamics of the stack temperature is slower than that of the current distribution.

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Rozprawy doktorskie na temat "Stack"

Davies, James. "stack : minimalist poetics." Thesis, University of Roehampton, 2018. https://pure.roehampton.ac.uk/portal/en/studentthesis/stack(aebfad17-9098-4c69-831d-3af98f9d48e4).html.

Pełny tekst źródła

Streszczenie:

stack: Minimalist Poetics consists of a portfolio of practice-led research — a volume-length minimalist poem entitled stack — and a critical essay. The poem applies and adapts several minimalist writing strategies, which are evaluated in the critical essay to create a text that is rich in imagery yet indeterminate in meaning. In addition, stack is innovative in its structural approach — through original use of enjambment, footnoting and repetition, lines may be treated as discrete entities and, also, as combinations. A key research question that the practice-led component and the critical essay interrogate is the applicability and development of the poetics of the “New Sentence”, and other formally innovative approaches in the field of minimalist writing. The first part of the critical essay contextualises the creative portfolio in relation to the field of minimalist poetics as a whole. It sets out how stack belongs to a strand of minimalist poetry that evolved out of imagism and objectivism, and whose key practitioners include Robert Grenier, Robert Lax and Aram Saroyan. Subsequently, the thesis outlines the methods that were used to generate the creative portfolio. Effectively these latter sections present a manual for making minimalist poetry. Aside from exploring the written elements of stack, the thesis also examines my practice of conducting what I refer to as ‘minimalist interventions’ (embodied, micro-actions). These interventions, which have taken place in a range of environments, generally function as stimuli for the written aspects of the poem.

Style APA, Harvard, Vancouver, ISO itp.

Hightower, Jeffrey. "The location stack /." Thesis, Connect to this title online; UW restricted, 2004. http://hdl.handle.net/1773/6917.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Muradi, Saman. "Utvecklingstekniker för webben : En komparativ studie mellan MEAN-stack ochAMP-stack." Thesis, Karlstads universitet, Handelshögskolan, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-56682.

Pełny tekst źródła

Streszczenie:

Den ökande efterfrågan på prestanda och skalbarhet i en webb applikation har motiverat utvecklare att skapa nya utvecklingstekniker. Vilket har resulterat till att det i skrivande stund finns ett antal utvecklingstekniker att välja mellan, att välja rätt utvecklingsteknik är en av de viktigaste delarna när man utvecklar en webb applikation, väljer man fel teknik kan detta ge förödande konsekvenser. Detta kan undvikas genom att från början analysera det man vill utveckla och sedan välja en lämplig stack som uppfyller alla de krav som ett företag har. Denna undersökning har gjort en kvalitativ studie där författaren har samlat in data genom intervjuer. Det var totalt 6 respondenter som deltog i undersökningen och dessa har alla erfarenhet inom webbutveckling. Syftet med undersökningen är att jämföra MEAN-stack och AMP-stack för webbutveckling.Resultatet visar att de bakomliggande faktorer för att använda respektive stack var följande• Om man har en kund kan denna påverka valet av stack. Eftersom kunden kan vilja att man utvecklar, modifierar eller vidareutvecklar ett pågående projekt eller att kunden vill att du använder en specifik stack när du utvecklar ett nytt projekt.• Erfarenheten som ett företags utvecklare har kan påverka. Mer erfarenhet i en viss stack kan minska utvecklingstiden vilket gör en specifik stack mer intressant.• Vad som faktiskt ska utvecklas kan påverka vilken stack man väljer. Eftersom ett företag vill att en stack ska klara av alla krav de har.Fördelar med MEAN-stack var följande efter en jämförelse mellan teori och empiri.• NPM, Utrymmet som sparas med MongoDB, JavaScript i hela stacken, Hög prestanda, Hög tillgänglighet, routing som express.js erbjuder och skalbarheten.Det fanns inga likheter i nackdelar för MEAN-stack mellan empiri och teori. Teori pratade om tekniska nackdelar medans empiri pratade om att det var svårt att hitta rätt kompetens för att ta del av alla fördelar MEAN-stack har.Fördelar med AMP-stack var följande efter en jämförelse mellan teori och empiri• Skalbart, hög säkerhet samt att PHP kan användas för att skapa dynamiska webb applikationer.Det fanns en likhet mellan teori och empiri för nackdelar med AMP-stack och båda argumenterade om att PHP var ett svagt skrivet språk vilket gör det svårt att använda i komplexa webb applikationer eller webb applikationer med affärkritisk logik.Resultatet i denna undersökning kan användas av målgruppen organisationer och företag som jobbar med webbutveckling. Det kan förenkla för dem när de står inför ett val av stack och förhindra dem från att välja fel stack vilket kan få förödande konsekvenser.

Style APA, Harvard, Vancouver, ISO itp.

Zhou, Jie. "Infrared emission comparison between half-stack and full-stack ZnS:REF3 ACTFEL devices." [Gainesville, Fla.] : University of Florida, 2003. http://purl.fcla.edu/fcla/etd/UFE0000835.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Fredriksen, Steinar Lieng. "Priority Based Message Stack." Thesis, Norwegian University of Science and Technology, Department of Engineering Cybernetics, 2008. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-8893.

Pełny tekst źródła

Streszczenie:

<p>To enable deterministic scheduling in a distributed embedded system an existing open source embedded TCP/IP stack has been modified to support strict priority queuing. The embedded target system has a fully switched closed Ethernet backplane used for internal communication. The problem is that high-volume configuration file downloads interfere with low-volume internal signaling, such as alarms, status reports, performance data and other statistics. The network was already designed using a type of switches which could support several Quality of Service schemes. An open source embedded TCP/IP stack, lightweight IP (lwIP) was evaluated, and found to be a suitable foundation for the developed application; the Priority Based Message Stack (PBMS). PBMS is a modification of lwIP with support for selective packet forwarding and reception based on the IPv4 Type-of-Service (TOS) field. Support for the BOOTP protocol, as well as a nonblocking send operation, was also implemented. PBMS is easily portable in the sense that it only requires a clearly defined basic set of generic OS functions in order to be ported to new systems. A generic interface to Ethernet drivers must also be developed. The implementation was desktop tested on a Linux platform for correct functionality in the IP, UDP and BSD Socket modules. The performance of the priority scheme compared to a best-effort strategy was also measured. These tests showed that stack-internal strict prioritization based on the IPv4 TOS precedence bits have a clear potential for offering deterministic transfer times in Neras distributed embedded system. Without prioritization, with contention for the network link, an average output time of 480 microseconds was measured from the time the socket sendto function was called until the IP output function had been executed. Using strict prioritization under the same conditions this sequence of functions executed in only 15 microseconds in 99 percent of the test runs. The proper prioritization within the TCP/IP stack is only one of several queuing points in the target network. The existing switches, along with the proper TOS marking of each packet, will ensure an unbroken chain of priority queueing all the way to the destination. Some network endpoints might have variable latencies, which will affect the round-trip time (RTT). A measurement methodology to determine this has been described. A test methodology for round-trip and one-way delay time measurement will be used to validate PBMS in the target system. These tests can also be used to estimate the latencies in those network endpoints mentioned above. With this data at hand a worst-case RTT for the entire system can be calculated. The target system integration and validation will be carried out immediately after the completion of this thesis.</p>

Style APA, Harvard, Vancouver, ISO itp.

Nessler, F. Scott. "Comparison of a pin stack to a conventional stack in a thermoacoustic prime mover." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1994. http://handle.dtic.mil/100.2/ADA294306.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Vellala, Manoj. "Stack Composition for SILO Architecture." NCSU, 2008. http://www.lib.ncsu.edu/theses/available/etd-03212008-153547/.

Pełny tekst źródła

Streszczenie:

SILO is a new internetworking architecture that represents a significant departure from current philosophy and practice. The architecture consists of building blocks of fine-grain functionality, explicit support for combining elemental blocks to accomplish highly configurable complex communication tasks, and control elements to facilitate (what is currently referred to as) cross-layer interactions. It takes a holistic view of network design, allowing applications to work synergistically with the network architecture and physical layers so as to meet the application's needs within resource availability constraints. The SILO research advocates a non-layered architecture based on silos of services assembled on demand and specific to an application and network environment. With the goal to facilitate what in today's layered architecture is referred to as ``cross-laye' interactions, in a manner that meets the exact user requirements and optimizes performance, the main focus of this research work is on developing mechanisms to optimize the construction of SILOs (stack of services) in a manner that takes into account service specific constraints, current network conditions and user policies.

Style APA, Harvard, Vancouver, ISO itp.

Berezovsky, V. V. "Modern front-end development stack." Thesis, Київський національний університет технологій та дизайну, 2018. https://er.knutd.edu.ua/handle/123456789/10634.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Gibson, Rodney Jay. "An experimental comparison of a pin stack to a conventional stack in a thermoacoustic prime mover." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1996. http://handle.dtic.mil/100.2/ADA316037.

Pełny tekst źródła

Streszczenie:

Thesis (M.S. in Applied Physics)--Naval Postgraduate School, June 1996.<br>Thesis advisor(s): Robert Keolian and Thomas J. Hofler. "June 1996." DTIC Descriptor(s): Heat Engines, Refrigeration Systems, Pressure Gradients, Computerized Simulation, Computer Aided Design, High Temperature, Acoustic Waves, Efficiency, Theses, Heat Exchangers, Temperature Gradients, Thermal Analysis, Acoustic Measurement, Liquid Nitrogen, Heat Flux, Sound Pressure, Thermocouples, Stacking, Heat Sinks, Acoustic Resonance. DTIC Identifier(s): Thermoacoustics, Prime Movers, Acoustic Energy, PE61153N. Bibliography: p. 55. Also available online.

Style APA, Harvard, Vancouver, ISO itp.

Campbell, Brian. "Type-based amortized stack memory prediction." Thesis, University of Edinburgh, 2008. http://hdl.handle.net/1842/3176.

Pełny tekst źródła

Streszczenie:

Controlling resource usage is important for the reliability, efficiency and security of software systems. Automated analyses for bounding resource usage can be invaluable tools for ensuring these properties. Hofmann and Jost have developed an automated static analysis for finding linear heap space bounds in terms of the input size for programs in a simple functional programming language. Memory requirements are amortized by representing them as a requirement for an abstract quantity, potential, which is supplied by assigning potential to data structures in proportion to their size. This assignment is represented by annotations on their types. The type system then ensures that all potential requirements can be met from the original input’s potential if a set of linear constraints can be solved. Linear programming can optimise this amount of potential subject to the constraints, yielding a upper bound on the memory requirements. However, obtaining bounds on the heap space requirements does not detect a faulty or malicious program which uses excessive stack space. In this thesis, we investigate extending Hofmann and Jost’s techniques to infer bounds on stack space usage, first by examining two approaches: using the Hofmann- Jost analysis unchanged by applying a CPS transformation to the program being analysed, then showing that this predicts the stack space requirements of the original program; and directly adapting the analysis itself, which we will show is more practical. We then consider how to deal with the different allocation patterns stack space usage presents. In particular, the temporary nature of stack allocation leads us to a system where we calculate the total potential after evaluating an expression in terms of assignments of potential to the variables appearing in the expression as well as the result. We also show that this analysis subsumes our previous systems, and improves upon them. We further increase the precision of the bounds inferred by noting the importance of expressing stack memory bounds in terms of the depth of data structures and by taking the maximum of the usage bounds of subexpressions. We develop an analysis which uses richer definitions of the potential calculation to allow depth and maxima to be used, albeit with a more subtle inference process.

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Książki na temat "Stack"

Di Cataldo, Giuseppe. Stack Frames. Berkeley, CA: Apress, 2016. http://dx.doi.org/10.1007/978-1-4842-2181-5.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

1955-, Rubinstein Raphael, and Greene Alison de Lima, eds. Gael Stack. Austin [Tex.]: University of Texas Press, 2011.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Tupperware. Microwave: Stack cooking. Bury St Edmunds: SP Creative Design, 1990.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Mardan, Azat. Full Stack JavaScript. Berkeley, CA: Apress, 2018. http://dx.doi.org/10.1007/978-1-4842-3718-2.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Sharma, Vishal. Beginning Elastic Stack. Berkeley, CA: Apress, 2016. http://dx.doi.org/10.1007/978-1-4842-1694-1.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Mardan, Azat. Full Stack JavaScript. Berkeley, CA: Apress, 2015. http://dx.doi.org/10.1007/978-1-4842-1751-1.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Sachdeva, Gurpreet S. Practical ELK Stack. Berkeley, CA: Apress, 2017. http://dx.doi.org/10.1007/978-1-4842-2626-1.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Subramanian, Vasan. Pro MERN Stack. Berkeley, CA: Apress, 2019. http://dx.doi.org/10.1007/978-1-4842-4391-6.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Subramanian, Vasan. Pro MERN Stack. Berkeley, CA: Apress, 2017. http://dx.doi.org/10.1007/978-1-4842-2653-7.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Pontarelli, Alain. Stack: Alain Pontarelli. La Seyne-sur-Mer: Villa Tamaris centre d'art, 2017.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Części książek na temat "Stack"

Lozano, Yolanda, Steven Duplij, Malte Henkel, Malte Henkel, Euro Spallucci, Steven Duplij, Malte Henkel, et al. "Stack." In Concise Encyclopedia of Supersymmetry, 380. Dordrecht: Springer Netherlands, 2004. http://dx.doi.org/10.1007/1-4020-4522-0_504.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Umebayashi, Katsu, Thomas Daniell, Michael Webb, Peter Allison, and Kazuhiro Kojima. "Stack." In FOBA, 105–16. New York, NY: Princeton Archit.Press, 2005. http://dx.doi.org/10.1007/1-56898-635-1_9.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Weik, Martin H. "stack." In Computer Science and Communications Dictionary, 1647. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_18035.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Augustin, Larry M., David C. Luckham, Benoit A. Gennart, Youm Huh, and Alec G. Stanculescu. "Stack." In The Kluwer International Series in Engineering and Computer Science, 111–22. Boston, MA: Springer US, 1991. http://dx.doi.org/10.1007/978-1-4615-4042-7_8.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Chiang, Pen-Chi, and Xiang Gao. "Stack." In Air Pollution Control and Design, 527–60. Singapore: Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-13-7488-3_15.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Citton, Yves. "Stack." In Angles morts du numérique ubiquitaire, 354–56. Nanterre: Presses universitaires de Paris Nanterre, 2023. http://dx.doi.org/10.4000/11tue.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Collins, Jeffrey. "Stack." In Case Studies in Parametric Design, 85–113. London: Routledge, 2023. http://dx.doi.org/10.4324/9781003299417-4.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Siddiqui, Ahmad Talha, and Shoeb Ahad Siddiqui. "Stack." In Data Structure Using C, 159–96. London: CRC Press, 2023. http://dx.doi.org/10.1201/9781003453291-4.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Ren, Jianfeng, and Andric Li. "Stack." In Silicon Valley Python Engineer Interview Guide, 37–51. Singapore: Springer Nature Singapore, 2025. https://doi.org/10.1007/978-981-96-3201-5_3.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Di Cataldo, Giuseppe. "Stack Frames." In Stack Frames, 89–165. Berkeley, CA: Apress, 2016. http://dx.doi.org/10.1007/978-1-4842-2181-5_5.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "Stack"

Turšic, Miha. "Planetary Public Stack." In IAF Space Education and Outreach Symposium, Held at the 75th International Astronautical Congress (IAC 2024), 646–53. Paris, France: International Astronautical Federation (IAF), 2024. https://doi.org/10.52202/078378-0078.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Headings, Leon M., and Gregory N. Washington. "Stiffness Controlled Piezoelectric Stick-Slip Actuator for Rapid Positioning Applications." In ASME 2005 International Mechanical Engineering Congress and Exposition. ASMEDC, 2005. http://dx.doi.org/10.1115/imece2005-80916.

Pełny tekst źródła

Streszczenie:

Rotary screw-type stick-slip actuators driven by smart materials offer the attractive characteristics of large stroke, fine resolution, high power-off holding force, and relative simplicity to manufacture. However, the actuation speed of current rotary stick-slip actuators limits their applications. The research presented in this study focuses on rapid positioning applications and involves the development of two mechanism designs. Both designs utilize piezoelectric stacks driven by sawtooth waves to provide stick-slip contact between two partially threaded jaws and a 1/4-80 screw. The first mechanism design utilizes two piezoelectric stacks in a push-pull configuration. The motion of the two stacks is coupled through a lever amplification mechanism. The second design uses a single stack to directly drive the jaws without amplification. However, a second stack is oriented perpendicular to the first stack and driven with a triggered square wave. This stack varies the normal and thus frictional force between the jaws and screw, permitting more efficient slipping and sticking of the actuator. This allows for potential increases in both output speed and force. Existing actuators were modeled using both theoretical and finite element analysis techniques. These results were compared with experimental data to validate the models.

Style APA, Harvard, Vancouver, ISO itp.

Tevare, Vaishnavi, and P. S. Revankar. "Forecasting Stock Prices with Stack Transformer." In 2023 International Conference on Circuit Power and Computing Technologies (ICCPCT). IEEE, 2023. http://dx.doi.org/10.1109/iccpct58313.2023.10245652.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Bethapudi, Sasank Viswanath, N. Rajalakshmi, and K. S. Dhathathreyan. "PEMFC Stack Activation Through Thermal Management." In ASME 2013 11th International Conference on Fuel Cell Science, Engineering and Technology collocated with the ASME 2013 Heat Transfer Summer Conference and the ASME 2013 7th International Conference on Energy Sustainability. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/fuelcell2013-18203.

Pełny tekst źródła

Streszczenie:

Activation of PEM fuel cell stack is an important factor in setting peak power of stack before its steady operations. Several methods of activation for larger capacity stacks involve operation of the stacks initially at low voltages under highly humidified conditions and at high temperatures. This is expected to improve proton conductivity of the membrane. For large area cells this method can create hot spots due to high current and non-uniform temperature distribution. Hence, an alternative approach for activating PEMFC stack at low current for vehicular applications has been investigated in this study. Conventional stack activation requires continuous supply of coolant. However for vehicular applications, a closed loop thermal management system is required. During the course of developing such a close loop thermal management system for transportation application, we have identified that the same system can be used in activating a PEM fuel cell stack. In the present study a 5kW PEMFC stack, operating on dry reactants, has been activated using a closed loop thermal management system. The activation has been carried out over a period of 620 minutes with 6 start/stop cycles. Through the start stop cycles the power delivered by the stack steadily increased from 2.5kW, to 5kW. Further, heat developed inside the fuel cell, as removed by the coolant water, has been studied and there is a proportional increase in the overall heat removed by the coolant to the total power delivered by the fuel cell. The start stop cycles are regulated based on the single cell voltages and stack temperature. Each cycle is stopped when the stack temperature reaches a set temperature of 50°C. The advantage of this procedure is that it will result in long life of the fuel cell stack, uniform membrane equilibration, and will avert hot spot generation in the electrodes at low cell potential.

Style APA, Harvard, Vancouver, ISO itp.

McGuffie, Sean M., and Michael A. Porter. "Reduction of Stack Vortex Induced Vibrations." In ASME 2013 Pressure Vessels and Piping Conference. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/pvp2013-97995.

Pełny tekst źródła

Streszczenie:

A stack installation experienced vortex-induced vibrations (VIV) while in-service. The magnitude of the vibrations was severe enough that cracking in the welds at the stack bases was experienced shortly after their installation. Initially, straight strakes were placed on the stacks, based on field serviceability, per API 560. The strakes proved ineffective and it was determined that the stacks would be uninstalled for repair. During the repair process, design steps were required to reduce or eliminate the VIV experienced in-service. Due to a flaw in the initial design and the ineffectiveness of the straight strake solution, the end client required verification of any proposed design changes before their implementation. Additionally, little time was allotted for the investigation of solutions. Tuned mass dampers were initially explored for the design modification. It was determined that they could not be constructed of materials suitable for the environmental operational characteristics of the stacks. It was then agreed that aerodynamic modifications of the stacks should be explored to reduce VIV. ASME STS I specifies the design and installation of helical strakes on stacks, but does not indicate the magnitude of vibration reduction that can be expected [3]. Therefore, numerical models were used to determine if the strakes would reduce or eliminate the service vibration. A baseline analysis was first conducted to validate that the tools — a combination of computational fluid dynamics (CFD) and finite element (FE) methods — could capture the in-service behavior. To perform this analysis a CFD model was constructed of the as-built stack. Using DES methods, this model was analyzed at several wind speeds to determine the magnitude and frequency content of the VIV-forcing functions. This information was then used to perform a dynamic analysis using an FE model of the stack. This model accurately predicted the correct wind speed corresponding to VIV and the amplitude of the stack’s vibration. A second model was then constructed of a stack with helical strakes, using a novel modeling methodology. This model was analyzed over a variety of wind speeds using DES methodologies. The forcing functions predicted with the helical strake model were then used to determine the stack’s in-service response. This paper contains the complete methodologies and results associated with these analyses.

Style APA, Harvard, Vancouver, ISO itp.

Lindahl, Peter A., and Steven R. Shaw. "Reference Based Fuel Cell Stack Simulator." In ASME 2010 8th International Conference on Fuel Cell Science, Engineering and Technology. ASMEDC, 2010. http://dx.doi.org/10.1115/fuelcell2010-33315.

Pełny tekst źródła

Streszczenie:

This paper presents a test system which uses the current and voltage relationship of a single fuel cell or small scale stack as a reference for reproducing the electrical terminals of a full stack. The voltage of the reference cell is measured and amplified by the simulator to the voltage level that would be generated by a large scale fuel cell stack. This scaled voltage can be applied to a realistic load for studying stack / load interactions, stack electro-chemical performance characteristics and cell durability. This reference simulator system provides an alternative in stack / load studies to costly and cumbersome power level fuel cell stacks while providing more realistic results than model-based stack simulators. The simulator system was tested using a single InDEC Solid Oxide Fuel Cell (SOFC) scaled to simulate a 21 cell stack. Data from these tests are included and show good steady-state and dynamic accuracy.

Style APA, Harvard, Vancouver, ISO itp.

Mitra, Debojyoti, Ashish Chakraborty, Sujata Bhattacharya, Subrata Dey, and Sukritranjan Bhattacharya. "Experimental Measurements of Wind-Resistant Support in a Circular Stack Design." In ASME 2006 2nd Joint U.S.-European Fluids Engineering Summer Meeting Collocated With the 14th International Conference on Nuclear Engineering. ASMEDC, 2006. http://dx.doi.org/10.1115/fedsm2006-98470.

Pełny tekst źródła

Streszczenie:

Higher capacities of power plants together with increased awareness on environmental considerations have led to taller height of stacks. It is seen that strong wind can result in falling of stacks. So aerodynamic considerations of stacks is very important in order to save the falling of stacks. One stack is not enough in industries and power sectors and two or three stacks are required for proper operation of the unit. It is very important to arrange the stacks in proper way to resist their downfall. The present experimental study concentrates on the mutual effect of three nearby stacks on each other at three different arrangements, viz. linear, side-by-side and triangular. The experiments find out the directions of resultant forces acting on the stacks in different configurations so that proper arrangement of supports can be made with respect to the wind directionality obtained from local meteorological data. The other conclusions that could be drawn from these experiments are: (a) the second stack in along wind linear arrangement experiences the most drag and hence is much more susceptible to falling down with high gusts, whereas the last stack experiences the least drag and hence less prone to the downfall. (b) In side-by-side arrangement, although the middle one experiences maximum drag, the lift forces on the right and left stacks are far greater and hence the resultant force on them are much more in comparison to the middle one. (c) In the triangular arrangement also, the lift force being so pronounced on the right and left corner stacks, the resultant force on them will be much higher in comparison to that on the front stack sitting at the apex of the triangle. Thus, this study is important in studying the effect of wind force on three stacks in different arrangements and is very helpful in placing the supports in proper places in order to avoid failing of stack-like structures due to wind.

Style APA, Harvard, Vancouver, ISO itp.

Afoakwa, Richard, Lejie Lu, Hui Wu, and Michael Huang. "To Stack or Not To Stack." In 2019 28th International Conference on Parallel Architectures and Compilation Techniques (PACT). IEEE, 2019. http://dx.doi.org/10.1109/pact.2019.00017.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Müller, T. "Common Reflection Surface Stack Versus NMO/Stack and NMO/DMO Stack." In 60th EAGE Conference and Exhibition. European Association of Geoscientists & Engineers, 1998. http://dx.doi.org/10.3997/2214-4609.201408166.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Hongwei, Zhou, Ke Zhipeng, Zhang Yuchen, Guo Ruichao, Li Shengsheng, and Yuan Jinhui. "RS-Stack: Defense against Stack Buffer Overflow Attack with Random Shadow Stack." In 2022 IEEE 2nd International Conference on Data Science and Computer Application (ICDSCA). IEEE, 2022. http://dx.doi.org/10.1109/icdsca56264.2022.9988252.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "Stack"

Flaherty, Julia E., and Ernest J. Antonio. Effluent Management Facility Stack Monitor Qualification: Assessment with Surrogate Stacks. Office of Scientific and Technical Information (OSTI), May 2019. http://dx.doi.org/10.2172/1545549.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Panek and Young. PR-312-12208-R02 Limitations and Costs Associated with Raising Existing RICE Stack Heights. Chantilly, Virginia: Pipeline Research Council International, Inc. (PRCI), March 2014. http://dx.doi.org/10.55274/r0010556.

Pełny tekst źródła

Streszczenie:

Modeling of actual and hypothetical compressor station facilities concluded increasing reciprocating engine stack height as one potential mitigation measure to reduce modeled impacts below the primary 1-hour NO2 National Ambient Air Quality Standards (NAAQS). Increasing stack heights to between 50-75 feet appears to offer considerable relief based on typical facility configurations (e.g., compressor house height, stack parameters). This white paper discusses potential stack design criteria to be considered when increasing existing exhaust stack heights or planning considerations for new units. To assist in gathering information on practical concerns and issues associated with raising existing compressor driver stacks, a questionnaire was developed and provided to operations and engineering staff, OEMs, and members to provide insight into physical constraints, engineering considerations, and costs to be considered and evaluated in developing this report. This white paper summarizes stack height limitations for reciprocating engines based on operating (e.g., back pressure, effective stack heights) and physical (e.g., guy-wire and structural requirements) constraints. Where available, cost implications are also provided. Criteria addressed include: Good Engineering Practice (GEP) for stack heights, engine back pressure limitations, structural integrity of the exhaust system, wind and seismic loads on the exhaust stack, and other specifications for structural designs. Proper stack design should address local environmental regulations, local building codes (e.g., height requirements, wind and seismic loads), structural integrity, base configuration, and lateral support.

Style APA, Harvard, Vancouver, ISO itp.

Tsuchiya, K., H. Higuchi, and Y. Atarashi. Dual Stack Hosts using the "Bump-In-the-Stack" Technique (BIS). RFC Editor, February 2000. http://dx.doi.org/10.17487/rfc2767.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Rosen, E., D. Tappan, G. Fedorkow, Y. Rekhter, D. Farinacci, T. Li, and A. Conta. MPLS Label Stack Encoding. RFC Editor, January 2001. http://dx.doi.org/10.17487/rfc3032.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Tsirtsis, G., V. Park, and H. Soliman. Dual-Stack Mobile IPv4. RFC Editor, March 2009. http://dx.doi.org/10.17487/rfc5454.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Quer, Giorgio, and Ramesh R. Rao. Cognitive Protocol Stack Design. Fort Belvoir, VA: Defense Technical Information Center, November 2015. http://dx.doi.org/10.21236/ad1007260.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Yuh, C. Non-proprietary stack research. Office of Scientific and Technical Information (OSTI), July 1992. http://dx.doi.org/10.2172/6841885.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Knobbe, Roger, and Andrew Purtell. GINSU: Guaranteed Internet Stack Utilization. Fort Belvoir, VA: Defense Technical Information Center, November 2005. http://dx.doi.org/10.21236/ada442047.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

C. Neumeyer, P. Heitzenroeder, C. Kessel, M. Ono, M. Peng, J. Schmidt, R. Woolley, and I. Zatz. Spherical Torus Center Stack Design. Office of Scientific and Technical Information (OSTI), January 2002. http://dx.doi.org/10.2172/793024.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Long, Kevin N., Christine C. Roberts, Anne M. Grillet, Alexander J. Headley, Kyle Fenton, Dennis Wong, and David Ingersoll. Open stack thermal battery tests. Office of Scientific and Technical Information (OSTI), April 2017. http://dx.doi.org/10.2172/1411884.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!