Bibliographies thématiques / Stock verification

Sommaire

Articles de revues
Thèses
Chapitres de livres
Actes de conférences
Rapports d'organisations

Littérature scientifique sur le sujet « Stock verification »

Auteur : Grafiati

Publié le 4 juin 2021

Mis à jour le 7 février 2022

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Stock verification ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "Stock verification"

Moorthy, A. Lakshmana. "Stock Verification of Electronic Publications: Rejoinder." DESIDOC Bulletin of Information Technology 20, no. 6 (2000): 7–8. http://dx.doi.org/10.14429/dbit.20.6.3529.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Dhiman, A. K. "Stock Verification: Some Problems of Electronic Publications." DESIDOC Bulletin of Information Technology 20, no. 6 (2000): 3–5. http://dx.doi.org/10.14429/dbit.20.6.3528.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Du, Yuyue, Hong Zheng, and Shuxia Yu. "Analysis and Verification of Dynamic Stock Trading Systems." Information Technology Journal 7, no. 3 (2008): 466–73. http://dx.doi.org/10.3923/itj.2008.466.473.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Rajendiran, P., and Indu Bhushan. "Automated Library Stock Verification with Barcode and LibSys." DESIDOC Bulletin of Information Technology 26, no. 5 (2006): 17–22. http://dx.doi.org/10.14429/dbit.26.3.3692.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Gertsekovich, David A., and Roman V. Babushkin. "Dynamic Portfolio Analysis of World Stock Indexes." World of Economics and Management 19, no. 4 (2019): 14–30. http://dx.doi.org/10.25205/2542-0429-2019-19-4-14-30.

Texte intégral

Résumé :

The article provides quantitive evaluation of the world stock markets with the «Return-Risk» Model, which is based on the fundamental principles of the porfolio theory. The analysis undertaken is aimed at revealing the most attractive world stock markets in regard to shaping of the future investment policy in the short term as well as determining the countries which securities (stocks, bonds, financial derivatives, etc.) should be included into the extended diversified investment portfolio. In other words, the world stock markets under study are not only considered as the status displays of th

Styles APA, Harvard, Vancouver, ISO, etc.

Thea, Eka Sholeha, and Hari Sulistyo. "Pengaruh Rasio Likuiditas, Solvabilitas, Profitabilitas Terhadap Harga Saham Subsektor Perkebunan Yang Terdaftar Di Bursa Efek Indonesia." Journal of Economic, Bussines and Accounting (COSTING) 4, no. 2 (2021): 540–46. http://dx.doi.org/10.31539/costing.v4i2.1697.

Texte intégral

Résumé :

Share Price is a reflection of the successful management of the company. A high share price will provide benefits, namely in the form of capital gains and a better image for the company so that it will attract investors to invest in the company. This study aims to determine whether there is an influence between liquidity, solvency and profitability on stock prices either partially or simultaneously. The research sample taken was 11 companies from a total of 19 plantation subsector companies that were listed on the Indonesia Stock Exchange in 2016-2018 with the sampling technique used was purpo

Styles APA, Harvard, Vancouver, ISO, etc.

Arbaningrum, Rosa, and Asep Muslihat. "Pengaruh Suku Bunga, PER, dan PBV Terhadap Harga Saham Perusahaan Sub Sektor Konstruksi Bangunan." Journal of Economic, Bussines and Accounting (COSTING) 4, no. 2 (2021): 706–11. http://dx.doi.org/10.31539/costing.v4i2.1733.

Texte intégral

Résumé :

The study aims to determine how much influence of interest rate, PER, and PBV have on stock prices. The method used is descriptive verification with a quantitative approaches. Data were analyzed using multiple linear regression analysis. Based on the results of a descriptive analysis of the highest interest rate occurred in 2014-2015 while the lowest interest rate in the 2017. There are 5 building construction sub-sector companies that have PER industry average, while 4 other companies have PER above industry average. Furthermore, there are 4 companies that have the value of PBV below the indu

Styles APA, Harvard, Vancouver, ISO, etc.

Frank, Kenneth T. "Predicting Recruitment Variation from Year Class Specific Vertebral Counts: An Analysis of the Potential and a Plan for Verification." Canadian Journal of Fisheries and Aquatic Sciences 48, no. 8 (1991): 1350–57. http://dx.doi.org/10.1139/f91-161.

Texte intégral

Résumé :

Recruitment prediction has been an elusive and seemingly unobtainable goal with no entirely satisfactory general approach yet available. I propose the use of meristic variation, traditionally applied to problems associated with stock discrimination studies, as a new method to predict recruitment variation. The approach is evaluated using literature data on year class strength (YCS) and year class specific average vertebral counts (VS), two apparently interrelated variables that are affected by environmental factors operating during the early life history. Three marine stocks at the southern li

Styles APA, Harvard, Vancouver, ISO, etc.

KOZŁOWSKA, MARZENA, ANDRZEJ KASPRZAK, and RYSZARD KUTNER. "FRACTIONAL MARKET MODEL AND ITS VERIFICATION ON THE WARSAW STOCK EXCHANGE." International Journal of Modern Physics C 19, no. 03 (2008): 453–69. http://dx.doi.org/10.1142/s012918310801225x.

Texte intégral

Résumé :

We analyzed the rising and relaxation of the cusp-like local peaks superposed with oscillations which were well defined by the Warsaw Stock Exchange index WIG in a daily time horizon. We found that the falling paths of all index peaks were described by a generalized exponential function or the Mittag-Leffler (ML) one superposed with various types of oscillations. However, the rising paths (except the first one of WIG which rises exponentially and the most important last one which rises again according to the ML function) can be better described by bullish anti-bubbles or inverted bubbles.2–4 T

Styles APA, Harvard, Vancouver, ISO, etc.

Madhusoodanan, P. R., and Hareesh V. Kumar. "An Empirical Verification of Cointegration and Causality in Indian Stock Markets." South Asia Economic Journal 9, no. 1 (2008): 159–72. http://dx.doi.org/10.1177/139156140700900107.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Thèses sur le sujet "Stock verification"

Mpendu-Mningiswa, Nwabisa. "Verification of the calculated cumulative factors of the USB with the implicit cumulative factors used by listed industrial JSE companies." Thesis, Stellenbosch : Stellenbosch University, 2003. http://hdl.handle.net/10019.1/53712.

Texte intégral

Résumé :

Study project (MBA)--University of Stellenbosch, 2003. ENGLISH ABSTRACT: The objective of this study is to verify the cumulative factors developed by the Graduate School of Business of the University of Stellenbosch when calculating prices per share (price) over the period 1970 to 2000, earnings per share (EPS), cash flows per share (CFS) and net asset values per share(NA V). All four are done in a time series format. This study project forms part ofa larger research project of the Graduate School of Business ofthe University of Stellenbosch (USB). The data was extracted from the dat

Styles APA, Harvard, Vancouver, ISO, etc.

Kochems, Jonathan Antonius. "Verification of asynchronous concurrency and the shaped stack constraint." Thesis, University of Oxford, 2014. http://ora.ox.ac.uk/objects/uuid:cd487639-0e7f-4248-9405-e05e8a8383d5.

Texte intégral

Résumé :

In this dissertation, we study the verification of concurrent programs written in the programming language Erlang using infinite-state model-checking. Erlang is a widely used, higher order, dynamically typed, call-by-value functional language with algebraic data types and pattern-matching. It is further augmented with support for actor concurrency, i.e. asynchronous message passing and dynamic process creation. With decidable model-checking in mind, we identify actor communicating systems (ACS) as a suitable target model for an abstract interpretation of Erlang. ACS model a dynamic network of

Styles APA, Harvard, Vancouver, ISO, etc.

Digerås, Daniel. "Integration between Optima and Farkle and verification with a use case about file storage stack integration in a quality of service manager in OSE." Thesis, Linköpings universitet, Institutionen för teknik och naturvetenskap, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-93081.

Texte intégral

Résumé :

iFEST is an EU project aimed at streamlining product development by creating a standalized tool-chain. This work aims to look at how a debug and test tools can integrate with each other. The goal is to provide input for the iFEST project on how such integration should be done. The two products Optima products and Farkle developed by Enea is used for the integration. Similar integration projects are evaluated to find a possible solution to a good design. A basic design forthe integration is made based on Eclipse, previous work and analysis of the tools Optima and Farkle. The design is implement

Styles APA, Harvard, Vancouver, ISO, etc.

Chen, Chen-Wei, and 陳楨緯. "Verification of four-factor model on Taiwan stock market." Thesis, 2011. http://ndltd.ncl.edu.tw/handle/24707619635004003712.

Texte intégral

Résumé :

碩士 雲林科技大學 財務金融系碩士班 99 Abstract We use the Four-Factor Model to analyze the abnormal returns of listed companies in Taiwan. The sample period of this study is from January 2000 to December 2010. The study attempts to verify the significance of Taiwan stocks by use the Four-Factors, Market Premium, Size Effect, Book-to-Market Value, and Momentum. The empirical results are as follow. First of all, the relationship between Market Premium and abnormal returns is positive. In addition, the Small Size Effect happens to traditional industries, and the Big Size Effect happens to electro

Styles APA, Harvard, Vancouver, ISO, etc.

Dai, Yu-Jhan, and 戴鈺展. "Automatic Verification of Stock Recommendations in Investment Social Webs." Thesis, 2016. http://ndltd.ncl.edu.tw/handle/3g7y8u.

Texte intégral

Résumé :

碩士 國立臺灣科技大學 電機工程系 104 Veracity is the last V words attributed to the nature of big data in addition to volume, velocity and variety; veracity may be the most critical factor weighing the value of data at hand. For example, there are numerous stock pick recommendation postings commonly seen in investment-oriented social webs. Bloggers or professionals alike make sell or short recommendations, most time even mingled with view-conflicting postings. However, there are few, if any, follow-ups to check their validity not only in practice, but also in research literature.This study aim

Styles APA, Harvard, Vancouver, ISO, etc.

Yang, Chih-Wen, and 楊智文. "The Verification and the Analysis of VaR Models on Taiwan Stock Market." Thesis, 2009. http://ndltd.ncl.edu.tw/handle/08707670980983525228.

Texte intégral

Résumé :

碩士 雲林科技大學 財務金融系碩士班 97 Value at Risk (VaR) is a hot topic in financial field. However, literatures report that the empirical distributions of return in most of financial assets have fat-tail phenomenon, and it will affect the forecast ability of model. This research utilizes five types of risk models, Variance-Covariance Method, Monte Carlo Simulation Method, Historical Simulation Method, Bootstrap Method, and Bootstrap-Stationary Method, to calculate the Value at Risk, respectively. In addition, by using Back Testing, fitness of each risk model is examined, to compare conservation,

Styles APA, Harvard, Vancouver, ISO, etc.

Peng, Kang-Jhe, and 彭康哲. "Combining Program Trading and Stock Selection Model to Design and Implement an Analyzing Platform. Using American Stock Data for initial Verification." Thesis, 2016. http://ndltd.ncl.edu.tw/handle/3mj6ug.

Texte intégral

Résumé :

碩士 國立中央大學 資訊管理學系 104 Stock investment is a high risk, high reward investment behavior. It is the main method of investments. There are many study focused on fundamental analysis and technical analysis in stock market. They hope to find the investment model which is more stable and make more excess returns. In actual trading situation, investment decisions of investors will be influenced by many factors. This situation make investment to be worthless and much unstable. Therefore, many investors are turn to using program trading. Program trading use program languages to define th

Styles APA, Harvard, Vancouver, ISO, etc.

Huang, Tien-Wei, and 黃天蔚. "Combining Stock Selection Model and Program Trading to Design and Implement an Analyzing Platform. Using Taiwan Stock Data for initial Verification." Thesis, 2016. http://ndltd.ncl.edu.tw/handle/69qybk.

Texte intégral

Résumé :

碩士 國立中央大學 資訊管理學系 104 Since the development of the stock market, predict changes in the stock price has became most concerned issue. However, stock market is very complex system, many experts have proposed various theories which can used to predict stock price such as fundamental analysis and technical analysis. Although the development of quantitative analysis platform for fundamental analysis or technical analysis has come of age. But there are still have many defects. For example, investment decision support system which developed by CMoney is very useful to do stock market analy

Styles APA, Harvard, Vancouver, ISO, etc.

Chien, Ming-Hung, and 錢明鴻. "Simplified Assessment Methodology and Verification of Applicability for Wheel/Rail Profile of Rolling Stock." Thesis, 2018. http://ndltd.ncl.edu.tw/handle/ugmq96.

Texte intégral

Résumé :

博士 國立臺灣科技大學 機械工程系 106 This study proposes a simplified methodology to assess the initial design of the wheel/rail contact profile for the railway system. This method does not require complicated simulation models or measurements, but simply applies wheel/rail contact geometry synthesis to explore all possible contact positions between the wheel and the rail on either side of the track. In addition, the dynamic motion of the wheelset obtained from the obtained wheel/rail contact points is analyzed. Based on the synthesis results, moving and fixed centrodes of the wheelset motion are

Styles APA, Harvard, Vancouver, ISO, etc.

Chen, Yi Jyun, and 陳怡君. "Related Party Transaction、Stock Ownership of Directors and Operating Performance-Efficient Transactions Hypothesis Verification." Thesis, 2007. http://ndltd.ncl.edu.tw/handle/51758922833737240780.

Texte intégral

Résumé :

碩士 國立雲林科技大學 會計系研究所 95 It’s a long term for a subject of debate about that regulator use related party transactions to manipulate earnings and transfer interests or that related party transactions efficiently fulfill underlying economic needs of the company to improve the efficiency of operation performance. In the past, there hasn’t been any consistent empirical result. For this reason，this study assume，whether related party transactions are detrimental or helpful to corporate operating performance，and whether they are correlated with these other corporate governance mechanisms. Th

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Chapitres de livres sur le sujet "Stock verification"

Rodes, Benjamin D., Anh Nguyen-Tuong, Jason D. Hiser, John C. Knight, Michele Co, and Jack W. Davidson. "Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation." In Runtime Verification. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-35632-2_29.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Fournet, Cédric, Tony Hoare, Sriram K. Rajamani, and Jakob Rehof. "Stuck-Free Conformance." In Computer Aided Verification. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-27813-9_19.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Chen, Taolue, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu, and Jun Yan. "Android Stack Machine." In Computer Aided Verification. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-96142-2_29.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Seth, Anil. "Global Reachability in Bounded Phase Multi-stack Pushdown Systems." In Computer Aided Verification. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14295-6_53.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Chiari, Michele, Dino Mandrioli, and Matteo Pradella. "Model-Checking Structured Context-Free Languages." In Computer Aided Verification. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_18.

Texte intégral

Résumé :

AbstractThe problem of model checking procedural programs has fostered much research towards the definition of temporal logics for reasoning on context-free structures. The most notable of such results are temporal logics on Nested Words, such as CaRet and NWTL. Recently, the logic OPTL was introduced, based on the class of Operator Precedence Languages (OPL), more powerful than Nested Words. We define the new OPL-based logic POTL, and provide a model checking procedure for it. POTL improves on NWTL by enabling the formulation of requirements involving pre/post-conditions, stack inspection, and others in the presence of exception-like constructs. It improves on OPTL by being FO-complete, and by expressing more easily stack inspection and function-local properties. We developed a model checking tool for POTL, which we experimentally evaluate on some interesting use-cases.

Styles APA, Harvard, Vancouver, ISO, etc.

Uezato, Yuya, and Yasuhiko Minamide. "Pushdown Systems with Stack Manipulation." In Automated Technology for Verification and Analysis. Springer International Publishing, 2013. http://dx.doi.org/10.1007/978-3-319-02444-8_29.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Akshay, S., Paul Gastin, and Karthik R. Prakash. "Fast Zone-Based Algorithms for Reachability in Pushdown Timed Automata." In Computer Aided Verification. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_30.

Texte intégral

Résumé :

AbstractGiven the versatility of timed automata a huge body of work has evolved that considers extensions of timed automata. One extension that has received a lot of interest is timed automata with a, possibly unbounded, stack, also called pushdown timed automata (PDTA). While different algorithms have been given for reachability in different variants of this model, most of these results are purely theoretical and do not give rise to efficient implementations. One main reason for this is that none of these algorithms (and the implementations that exist) use the so-called zone-based abstraction, but rely either on the region-abstraction or other approaches, which are significantly harder to implement.In this paper, we show that a naive extension, using simulations, of the zone based reachability algorithm for the control state reachability problem of timed automata is not sound in the presence of a stack. To understand this better we give an inductive rule based view of the zone reachability algorithm for timed automata. This alternate view allows us to analyze and adapt the rules to also work for pushdown timed automata. We obtain the first zone-based algorithm for PDTA which is terminating, sound and complete. We implement our algorithm in the tool TChecker and perform experiments to show its efficacy, thus leading the way for more practical approaches to the verification of timed pushdown systems.

Styles APA, Harvard, Vancouver, ISO, etc.

Tofan, Bogdan, Gerhard Schellhorn, and Wolfgang Reif. "Formal Verification of a Lock-Free Stack with Hazard Pointers." In Theoretical Aspects of Computing – ICTAC 2011. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-23283-1_16.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Drygajlo, Andrzej, Weifeng Li, and Kewei Zhu. "Verification of Aging Faces Using Local Ternary Patterns and Q-Stack Classifier." In Biometric ID Management and Multimodal Communication. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04391-8_4.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Nishida, Yuki, Hiromasa Saito, Ran Chen, et al. "Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types." In Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72013-1_14.

Texte intégral

Résumé :

AbstractA smart contract is a program executed on a blockchain, based on which many cryptocurrencies are implemented, and is being used for automating transactions. Due to the large amount of money that smart contracts deal with, there is a surging demand for a method that can statically and formally verify them.This tool paper describes our type-based static verification tool Helmholtz for Michelson, which is a statically typed stack-based language for writing smart contracts that are executed on the blockchain platform Tezos. Helmholtz is designed on top of our extension of Michelson’s type system with refinement types. Helmholtz takes a Michelson program annotated with a user-defined specification written in the form of a refinement type as input; it then typechecks the program against the specification based on the refinement type system, discharging the generated verification conditions with the SMT solver Z3. We briefly introduce our refinement type system for the core calculus Mini-Michelson of Michelson, which incorporates the characteristic features such as compound datatypes (e.g., lists and pairs), higher-order functions, and invocation of another contract. Helmholtz successfully verifies several practical Michelson programs, including one that transfers money to an account and that checks a digital signature.

Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Stock verification"

Joshi, Kinnary, Kalind Karia, Jaykumar Patel, and Sanjana Desai. "Library Stock Verification System using Artificial Neural Networks." In 2018 International Conference on Smart City and Emerging Technology (ICSCET). IEEE, 2018. http://dx.doi.org/10.1109/icscet.2018.8537289.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Gercekovich, David. "Us Stock Market Sliding Verification Of Profit-Risk Model." In Trends and Innovations in Economic Studies, Science on Baikal Session. European Publisher, 2020. http://dx.doi.org/10.15405/epsbs.2020.12.34.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Liu, Yanping, Zhe Chen, and Yang Zhao. "Verification Analysis of China Stock Risk Features Base on ARCH Models." In 2009 Second International Conference on Future Information Technology and Management Engineering (FITME). IEEE, 2009. http://dx.doi.org/10.1109/fitme.2009.26.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Yedla, Sandeep Kumar, V. M. Manikandan, and Panchami V. "Real-time Scene Change Detection with Object Detection for Automated Stock Verification." In 2020 5th International Conference on Devices, Circuits and Systems (ICDCS). IEEE, 2020. http://dx.doi.org/10.1109/icdcs48716.2020.243571.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Yu, Qing, Xianzhong Chen, and Qingwen Hou. "Verification of Near Field SAR Image Formation Based on RMA in Blast Furnace Stock Lines." In 2018 37th Chinese Control Conference (CCC). IEEE, 2018. http://dx.doi.org/10.23919/chicc.2018.8483734.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Sambandan, K., and K. K. Wang. "Five-Axis Swept Volumes for Graphic NC Simulation and Verification." In ASME 1989 Design Technical Conferences. American Society of Mechanical Engineers, 1989. http://dx.doi.org/10.1115/detc1989-0030.

Texte intégral

Résumé :

Abstract This paper explains in detail a simulator that has been developed for graphic verification of five-axis Numerical Control (NC) machining. Exact parametric representations for the surfaces generated by common NC milling cutters during five-axis motions have been derived using the theory of envelopes as the mathematical basis. Parts of these surfaces form the boundary of the total swept volume generated. For each cutting motion, the swept volume of the cutter is determined and then subtracted from the stock. The Boolean subtraction is done in the image space at the pixel level, using a

Styles APA, Harvard, Vancouver, ISO, etc.

Butlers, Aldis, and Andis Lazdins. "Carbon stock in litter and organic soil in drained and naturally wet forest lands in Latvia." In Research for Rural Development 2020. Latvia University of Life Sciences and Technologies, 2020. http://dx.doi.org/10.22616/rrd.26.2020.007.

Texte intégral

Résumé :

The aim of the study is to evaluate carbon stock in litter and organic forest soils in Latvia as well as to characterize accumulation of carbon in litter in afforested lands. The study is providing empirically valid information about soil and litter carbon changes for the National greenhouse gas (GHG) inventory by using data from National forest inventory (NFI), forest soil monitoring demonstration project BioSoil and other studies. The study proves significance of organic forest soil carbon pool in Latvia and demonstrates necessity to extend NFI incorporated forest soil monitoring program to

Styles APA, Harvard, Vancouver, ISO, etc.

Abdel-Malek, K., Walter Seaman, and Harn-Jou Yeh. "An Exact Method for NC Verification of up to 5-Axis Machining." In ASME 1999 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1999. http://dx.doi.org/10.1115/detc99/dac-8560.

Texte intégral

Résumé :

Abstract The motion of a cutter tool is modeled as a surface undergoing a sweep operation along another geometric entity. A numerically controlled machining verification method is developed based on a formulation for delineating the volume generated by the motion of a cutting tool on the workpiece (stock). Varieties and subvarieties that are subsets of some Eucledian space defined by the zeros of a finite number of analytic functions are computed and are characterized as closed form equations of surface patches of this volume. A topological space describing the swept volume will be built as a

Styles APA, Harvard, Vancouver, ISO, etc.

Petrzelka, Joseph E., and Matthew C. Frank. "Emergent Structure Detection for Multi-Axis Machining." In ASME 2010 International Manufacturing Science and Engineering Conference. ASMEDC, 2010. http://dx.doi.org/10.1115/msec2010-34329.

Texte intégral

Résumé :

This paper examines the phenomenon of emergent structures that occur in the transient stock material during multi-axis rough machining from a plurality of fixed orientations. Taking the form of thin webs and strings, emergent structures are stock material conditions that can lead to catastrophic failure during machining, even when tool path verification is successful. We begin by discussing the motivation for use of fixed orientations in multi-axis machining using multiple automated setups via rotary axes, which enables fast processing and ‘first part correct’ machining. Next, we demonstrate h

Styles APA, Harvard, Vancouver, ISO, etc.

Stefanakos, Christos N., Orestis Schinas, and Grim Eidnes. "Application of Fuzzy Time Series Techniques in Wind and Wave Data Forecasting." In ASME 2014 33rd International Conference on Ocean, Offshore and Arctic Engineering. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/omae2014-24612.

Texte intégral

Résumé :

This work explores the applicability of widely known fuzzy time series forecasting techniques for the prediction of wind and wave data. These techniques have extensively been used with great success to the forecasting of stock prices. In the present work, long-term time series of wind speed, significant wave height, and peak period are examined and used for the verification of the forecasting performance of the fuzzy models. To examine the forecasting accuracy, the root mean squared error (RMSE) is used as an evaluation criterion to compare the forecasting performance of the listing models. As

Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "Stock verification"

Flaherty, Julia, Jeremy Rishel, Sarah Suffield, and John Barnett. Assessment of the 3420 Building Filtered Exhaust Stack Sampling Probe Location: Stack Verification Following Fan and Air Blender Additions. Office of Scientific and Technical Information (OSTI), 2020. http://dx.doi.org/10.2172/1734886.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Harpenau, Evan M. Type A verification report for the high flux beam reactor stack and grounds, Brookhaven National Laboratory, Upton, New York. Office of Scientific and Technical Information (OSTI), 2012. http://dx.doi.org/10.2172/1060172.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

L. M. Dittmer. Remaining Sites Verification Package for 132-H-1, 116-H Reactor Stack Burial Site, Waste Site Reclassification Form 2006-053. Office of Scientific and Technical Information (OSTI), 2007. http://dx.doi.org/10.2172/944158.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

J. M. Capron. Remaining Sites Verification Package for the 100-F-46, 119-F Stack Sampling French Drain, Waste Site Reclassification Form 2008-021. Office of Scientific and Technical Information (OSTI), 2008. http://dx.doi.org/10.2172/944168.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Evan Harpenau. TYPE A VERIFICATION REPORT FOR THE HIGH FLUX BEAM REACTOR STACK AND GROUNDS, BROOKHAVEN NATIONAL LABORATORY, UPTON, NEW YORK DCN 5098-SR-08-0. Office of Scientific and Technical Information (OSTI), 2011. http://dx.doi.org/10.2172/1034270.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Venäläinen, Ari, Sanna Luhtala, Mikko Laapas, et al. Sää- ja ilmastotiedot sekä uudet palvelut auttavat metsäbiotaloutta sopeutumaan ilmastonmuutokseen. Finnish Meteorological Institute, 2021. http://dx.doi.org/10.35614/isbn.9789523361317.

Texte intégral

Résumé :

Climate change will increase weather induced risks to forests, and thus effective adaptation measures are needed. In Säätyö project funded by the Ministry of Agriculture and Forestry, we have summarized the data that facilitate adaptation measures, developed weather and climate services that benefit forestry, and mapped what kind of new weather and climate services are needed in forestry. In addition, we have recorded key further development needs to promote adaptation. The Säätyö project developed a service product describing the harvesting conditions of trees based on the soil moisture asses

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!