Bibliographies thématiques / SMC Method

Sommaire

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

Littérature scientifique sur le sujet « SMC Method »

Auteur : Grafiati

Publié le 9 mars 2023

Mis à jour le 19 juillet 2025

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 « SMC Method ».

À 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 "SMC Method"

Guo, Yanjun, Terri Starman, and Charles Hall. "Growth, Quality, and Economic Value Responses of Bedding Plants to Reduced Water Usage." HortScience 54, no. 5 (2019): 856–64. http://dx.doi.org/10.21273/hortsci13793-18.

Texte intégral

Résumé :

This study analyzed the effects of two ranges of drying down of substrate moisture content (SMC) before re-watering on plant growth and development, postproduction quality, and economic value of bedding plants grown in 1.67-L containers during greenhouse production. The two SMC treatments were wide-range (WR) SMC (WR-SMC) for dry-down from container capacity (CC) of 54% SMC dried down to 20% SMC or narrow-range (NR) SMC (NR-SMC) for dry-down from CC of 54% SMC dried down to 40% SMC. Six bedding plant cultivars were used [Solenostemon scutellarioides ‘French Quarter’ (coleus); Petunia ×hybrida

Styles APA, Harvard, Vancouver, ISO, etc.

Wang, Liangliang, Shijia Wang, and Alexandre Bouchard-Côté. "An Annealed Sequential Monte Carlo Method for Bayesian Phylogenetics." Systematic Biology 69, no. 1 (2019): 155–83. http://dx.doi.org/10.1093/sysbio/syz028.

Texte intégral

Résumé :

Abstract We describe an “embarrassingly parallel” method for Bayesian phylogenetic inference, annealed Sequential Monte Carlo (SMC), based on recent advances in the SMC literature such as adaptive determination of annealing parameters. The algorithm provides an approximate posterior distribution over trees and evolutionary parameters as well as an unbiased estimator for the marginal likelihood. This unbiasedness property can be used for the purpose of testing the correctness of posterior simulation software. We evaluate the performance of phylogenetic annealed SMC by reviewing and comparing wi

Styles APA, Harvard, Vancouver, ISO, etc.

Abbasi, Saad Jamshed, Won Jae Kim, Jaehyung Kim, Min Cheol Lee, Byeong Ju Lee, and Myung Jun Shin. "Robust Control Design of a Human Heart Rate System for Cardiac Rehabilitation Exercise." Electronics 11, no. 24 (2022): 4081. http://dx.doi.org/10.3390/electronics11244081.

Texte intégral

Résumé :

Automatic, precise, and accurate heart rate control during treadmill exercise is an interesting topic among researchers. The human heart is a highly nonlinear system. Conventional control techniques are not sufficient and it is difficult to accurately model the human heart. Two different robust controllers were designed for this nonlinear system. Firstly, sliding mode control (SMC) was implemented; SMC is robust against parametric uncertainties and external disturbance but its robustness is not guaranteed during the reaching phase, especially in heart rate control, and implementation of SMC re

Styles APA, Harvard, Vancouver, ISO, etc.

Xing, Minfeng, Lin Chen, Jinfei Wang, Jiali Shang, and Xiaodong Huang. "Soil Moisture Retrieval Using SAR Backscattering Ratio Method during the Crop Growing Season." Remote Sensing 14, no. 13 (2022): 3210. http://dx.doi.org/10.3390/rs14133210.

Texte intégral

Résumé :

Soil moisture content (SMC) is an indispensable basic element for crop growth and development in agricultural production. Obtaining accurate information on SMC in real time over large agricultural areas has important guiding significance for crop yield estimation and production management. In this study, the paper reports on the retrieval of SMC from RADARSAT-2 polarimetric SAR data. The proposed SMC retrieval algorithm includes vegetation correction based on a ratio method and roughness correction based on the optimal roughness method. Three vegetation description parameters (i.e., RVI, LAI,

Styles APA, Harvard, Vancouver, ISO, etc.

Pošković, Emir, Fausto Franchini, Luca Ferraris, Federico Carosio, and Marco Actis Grande. "Rapid Characterization Method for SMC Materials for a Preliminary Selection." Applied Sciences 11, no. 24 (2021): 12133. http://dx.doi.org/10.3390/app112412133.

Texte intégral

Résumé :

In electrical machines, laminated steels are commonly adopted as soft magnetic materials, while for permanent magnets, sintered ferrites and NdFeB are the most common solutions. On the other hand, the growing demand for volume reduction with the increment of efficiency leads to the necessity of exploring other magnetic materials able to face the challenge better than the traditional ones. Bonded magnets have been used to replace sintered magnets, obtaining a better use of space and particular magnetic properties. Instead, for the magnetic circuit, Soft Magnetic Composites (SMC) allow realizing

Styles APA, Harvard, Vancouver, ISO, etc.

Kolesnikov, A. A., and A. A. Kuz’menko. "Sliding Mode Control Laws Design by the ADAR Method with Subsequent Invariant Manifolds Aggregation." Mekhatronika, Avtomatizatsiya, Upravlenie 20, no. 8 (2019): 451–60. http://dx.doi.org/10.17587/mau.20.451-460.

Texte intégral

Résumé :

Sliding mode control (SMC) laws are commonly used in engineering to make a system robust to parameters change, external disturbances and control object unmodeled dynamics. State-of-the-art capabilities of the theory of adaptive and robust control, the theory of fuzzy systems, artificial neural networks, etc., which are combined with SMC, couldn’t resolve current issues of SMC design: vector design and stability analysis of a closed-loop system with SMC are involved with considerable complexity. Generally the classical problem of SMC design consists in solving subtasks for transit an object fro

Styles APA, Harvard, Vancouver, ISO, etc.

Li, Zhi, Bo You, Liang Ding, Haibo Gao, and Fengxiang Huang. "Trajectory Tracking Control for WMRs with the Time-Varying Longitudinal Slippage Based on a New Adaptive SMC Method." International Journal of Aerospace Engineering 2019 (August 20, 2019): 1–13. http://dx.doi.org/10.1155/2019/4951538.

Texte intégral

Résumé :

Wheeled mobile robots (WMRs) in real complex environments such as on extraterrestrial planets are confronted with uncertain external disturbances and strong coupling of wheel-ground interactions while tracking commanded trajectories. Methods based on sliding mode control (SMC) are popular approaches for these situations. Traditional SMC has some potential problems, such as slow convergence, poor robustness, and excessive output chattering. In this paper, a kinematic-based feed-forward control model is designed for WMRs with longitudinal slippage and applied to the closed-loop control system fo

Styles APA, Harvard, Vancouver, ISO, etc.

Doğan, Mustafa, and Ümit Önen. "TRAJECTORY TRACKING CONTROL OF A TWO WHEELED SELF-BALANCING ROBOT BY USING SLIDING MODE CONTROL." Konya Journal of Engineering Sciences 12, no. 3 (2024): 652–70. http://dx.doi.org/10.36306/konjes.1425949.

Texte intégral

Résumé :

Two-Wheeled Self-Balancing Robots are widely used in various fields today. These systems have a highly unstable nature due to their underactuated structures. On the other hand, parameter uncertainties and external disturbances significantly affect their control performance. The best way to deal with parameter uncertainties that can easily lead controllers to instability is to use robust control methods. Dealing with these uncertainties is particularly crucial in control of underactuated and unstable systems such as Two-Wheeled Self-Balancing Robots. In this study, trajectory tracking control o

Styles APA, Harvard, Vancouver, ISO, etc.

Li, Zeyu, Weidong Liu, Le Li, Wenbo Zhang, and Liwei Guo. "Path following method for AUV based on Q-Learning and RBF neural network." Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University 39, no. 3 (2021): 477–83. http://dx.doi.org/10.1051/jnwpu/20213930477.

Texte intégral

Résumé :

In the underwater docking process, the oscillation on AUV velocity brings extra challenge on AUV path following. A Q-learning based Sliding Mode Control (SMC) method to increase the path following performances is proposed. Firstly, AUV guidance law is designed to reduce the path following error. Heading and depth sliding mode controllers are designed to track the guidance law. Then, according to AUV velocity, tracking error and the first derivative, the control parameters of SMC are optimized via Q-learning network. RBF neural network is built to accelerate the offline learning rate. Finally,

Styles APA, Harvard, Vancouver, ISO, etc.

Farhat, Maissa, and Oscar Barambones. "Advanced Control Scheme Optimization for Stand-Alone Photovoltaic Water Pumping Systems." Computation 12, no. 11 (2024): 224. http://dx.doi.org/10.3390/computation12110224.

Texte intégral

Résumé :

This study introduces a novel method for controlling an autonomous photovoltaic pumping system by integrating a Maximum Power Point Tracking (MPPT) control scheme with variable structure Sliding Mode Control (SMC) alongside Perturb and Observe (P&O) algorithms. The stability of the proposed SMC method is rigorously analyzed using Lyapunov’s theory. Through simulation-based comparisons, the efficacy of the SMC controller is demonstrated against traditional P&O methods. Additionally, the SMC-based system is experimentally implemented in real time using dSPACE DSP1104, showcasing its robu

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Thèses sur le sujet "SMC Method"

GONZATO, LUCA. "Application of Sequential Monte Carlo Methods to Dynamic Asset Pricing Models." Doctoral thesis, Università degli Studi di Milano-Bicocca, 2020. http://hdl.handle.net/10281/295144.

Texte intégral

Résumé :

In questa tesi si considera l’applicazione di metodi Monte Carlo sequenziali per modelli di asset pricing di tipo dinamico. Il primo capitolo della tesi presenta una panoramica generale sui metodi Monte Carlo sequenziali. Nello specifico, partendo da metodi Monte Carlo standard si giunge fino allo stato dell’arte per quanto riguarda i metodi Monte Carlo sequenziali. Il secondo capitolo costituisce una review della letteratura sui metodi di simulazione esatta per processi di Hawkes. Dall’analisi svolta si evince che lo schema proposto da Dassios e Zaho (2013) performa meglio degli altri algorit

Styles APA, Harvard, Vancouver, ISO, etc.

Esteras, Bejar Miguel. "Development of methods for the study of the role of the Smc5-Smc6 complex in DNA stability." Thesis, Imperial College London, 2013. http://hdl.handle.net/10044/1/11072.

Texte intégral

Résumé :

The Structural Maintenance of Chromosomes (SMC) proteins play a number of crucial roles in the metabolism of chromosomes. The Smc5-Smc6 complex is the least well understood of the complexes formed by SMC proteins. Hitherto, the Smc5-Smc6 complex has been linked to protein post-translational modification by sumoylation and restart of collapsed replication forks by homologous recombination between sister chromatids (SCR). However, a detailed characterization of the roles of the Smc5-Smc6 complex is missing. The objective of this study is to characterize the function of the Smc5-Smc6 complex in D

Styles APA, Harvard, Vancouver, ISO, etc.

McFarland, James. "Investigation of carbon nanotube growth using a nozzle CVD method." Pomona College, 2006. http://ccdl.libraries.claremont.edu/u?/stc,4.

Texte intégral

Résumé :

This work uses a modification of the chemical vapor deposition (CVD) technique to study the effects of source gas flow geometry (and the corresponding parameters) on carbon nanotube growth. Our approach is to flow the carbon-containing source gas through a nozzle, projecting the gas stream onto targeted regions of the substrate. This technique not only allows the potential for localized nanotube growth, but also offers an interesting opportunity to provide an experimental test of theoretical nanotube growth models.

Styles APA, Harvard, Vancouver, ISO, etc.

Strapko, Jaroslav. "Měření teplotních profilů SMD pouzder." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2010. http://www.nusl.cz/ntk/nusl-218369.

Texte intégral

Résumé :

Diploma thesis mainly deals with temperature management and calculation of temperature profile in oven by using SMD packages (PLCC, 1206) of different thermal capacitance on testing PCB. Above all shows theoretical consecution of temperature profile calculation in oven by using known mathematical method like the lumped capacitance method or finite difference method. Theoretical solution and measured values are compared. Diploma thesis also deals with fixation methods of thermocouples K type on assembly, comparison methods based on known and subexperiment, determines the deficiencies of methods

Styles APA, Harvard, Vancouver, ISO, etc.

Wang, Shu. "Thermodynamic properties predictions using the COSMO-SAC solvation method." Access to citation, abstract and download form provided by ProQuest Information and Learning Company; downloadable PDF file, 366 p, 2007. http://proquest.umi.com/pqdweb?did=1362532041&sid=24&Fmt=2&clientId=8331&RQT=309&VName=PQD.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Inoue, Shinichiro. "Ion assisted methods of deposition of SiC." Thesis, University of Salford, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.308174.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Zhang, Yixia. "Refined non-conforming linear and nonlinear finte [sic] element analysis." Hong Kong : University of Hong Kong, 2001. http://sunzi.lib.hku.hk/hkuto/record.jsp?B22753060.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Saarikko, Jukka Olavi. "A multi-method empirical study of the Finnish SME restructurings." Thesis, University of Manchester, 2009. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.500475.

Texte intégral

Résumé :

The ultimate purpose of the study was to find out differences between successful and unsuccessful Finnish SME restructurings. By contrast to previous research, the population of the study was homogeneous, insolvent Finnish small and middle-sized enterprises. In addition to that, a significant sample was achieved with the questionnaire survey which made it possible to generalize the findings. A theoretical sampling plan for the qualitative phase was conducted to build theories of success and failure on SME restructurings in Finland. In order to find out differences between cases, extremes were

Styles APA, Harvard, Vancouver, ISO, etc.

Yang, James J. "A statistical method for identifying informative genes in micorarrays [sic]." [Gainesville, Fla.] : University of Florida, 2002. http://purl.fcla.edu/fcla/etd/UFE1001199.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Zhang, Yixia, and 張義霞. "Refined non-conforming linear and nonlinear finte [sic] element analysis." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2001. http://hub.hku.hk/bib/B31242704.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Livres sur le sujet "SMC Method"

United Nations. Economic Commission for Africa., ed. Methods of controlling mail routeings [sic]. United Nations Economic and Social Council, 1989.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

W, Wiesel Sam, and Delahay John N, eds. Essentials of orthopedic [sic] surgery. 3rd ed. Springer, 2007.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Jarosław, Badurek, and Zawadzka Ludmiła 1943-, eds. Methods of decissions [sic] assistance in economy modelling [sic] and applications. Wydawn. Politechniki Gdańskiej, 2007.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

IAP Astrophysics Meeting (5th 1989 Paris, France). Astrophysical ages and dating methodes [sic] methods. Editions Frontieres, 1990.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Galen. On the therapeutic method: Books and [sic] I and II. Clarendon, 1991.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

1959-, Moses Randolph Lyle, Ohio State University, and Lewis Research Center, eds. Analysis of modified SMI method for adaptive array weight control. Ohio State University, 1989.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Dilsavor, Ronald Louis. Analysis of modified SMI method for adaptive array weight control. National Aeronautics and Space Administration, 1989.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Cyhelský, Lubomír. Contributions to solving of socio-ekonomic [sic] statistic's problems. Vysoká škola ekonomická v Praze ve Státnim pedagogickém nakl., 1987.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

L, Oliver H., ed. Reprocessing of marine multichannel seismic reflection profile line 12, Cape Hatteras, North Caroline [sic], to Shell Mohawk Well, Canada. U.S. Geological Survey, 1987.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Pyzdek, Thomas. SPC-PC: Statistical process control for personal computers : version 1.0. Quality America, 1986.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Chapitres de livres sur le sujet "SMC Method"

Wang, Hui. "Cascade PI-SMC Method for Matrix Converter-Fed BDFIM Drives." In Power Systems. Springer Nature Switzerland, 2024. https://doi.org/10.1007/978-3-031-69902-3_11.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Sato, Shigeyuki, Taiyo Mizuhashi, Genki Kimura, and Kenjiro Taura. "Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size Accesses." In Lecture Notes in Computer Science. Springer Nature Singapore, 2024. http://dx.doi.org/10.1007/978-981-97-8943-6_17.

Texte intégral

Résumé :

AbstractStateless model checking (SMC) is crucial for productivity in verified concurrent programming, and its recent developments for C/C++ and weak memory models are remarkable. The state-of-the-art SMC for C, GenMC, efficiently verifies C programs based on C11 atomics and pthreads. However, it does not support mixed-size accesses, accesses to the same memory region with different-sized types, even though they are ubiquitous in C/C++, particularly the code for memory management. As a result, GenMC does not work for C/C++ programs containing memory management. To resolve this problem, we develop a method of adapting GenMC to mixed-size accesses preserving its optimality. We experimentally evaluate the efficiency of our extended implementation of GenMC and its efficacy for memory management programs.

Styles APA, Harvard, Vancouver, ISO, etc.

Lundén, Daniel, Joey Öhman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, and David Broman. "Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference." In Programming Languages and Systems. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99336-8_2.

Texte intégral

Résumé :

AbstractProbabilistic programming languages (PPLs) allow users to encode arbitrary inference problems, and PPL implementations provide general-purpose automatic inference for these problems. However, constructing inference implementations that are efficient enough is challenging for many real-world problems. Often, this is due to PPLs not fully exploiting available parallelization and optimization opportunities. For example, handling probabilistic checkpoints in PPLs through continuation-passing style transformations or non-preemptive multitasking—as is done in many popular PPLs—often disallows compilation to low-level languages required for high-performance platforms such as GPUs. To solve the checkpoint problem, we introduce the concept of PPL control-flow graphs (PCFGs)—a simple and efficient approach to checkpoints in low-level languages. We use this approach to implement RootPPL: a low-level PPL built on CUDA and C++ with OpenMP, providing highly efficient and massively parallel SMC inference. We also introduce a general method of compiling universal high-level PPLs to PCFGs and illustrate its application when compiling Miking CorePPL—a high-level universal PPL—to RootPPL. The approach is the first to compile a universal PPL to GPUs with SMC inference. We evaluate RootPPL and the CorePPL compiler through a set of real-world experiments in the domains of phylogenetics and epidemiology, demonstrating up to 6$$\times $$ × speedups over state-of-the-art PPLs implementing SMC inference.

Styles APA, Harvard, Vancouver, ISO, etc.

Huang, Jia, Jidong Lv, Yu Feng, Zhengwei Luo, Hongjie Liu, and Ming Chai. "A Novel Method on Probability Evaluation of ZC Handover Scenario Based on SMC." In Communications in Computer and Information Science. Springer Singapore, 2020. http://dx.doi.org/10.1007/978-981-33-4929-2_22.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Tong, Shenghao, Long Zhao, Huaitao Shi, Zhiqiang Duo, and Cai He. "Multi-mode Sliding Mode Control of Four-Cable Parallel Robot Based on Wind Disturbance Observation." In Lecture Notes in Mechanical Engineering. Springer Nature Singapore, 2024. http://dx.doi.org/10.1007/978-981-97-1876-4_46.

Texte intégral

Résumé :

AbstractAiming at the problem of accurate trajectory tracking of four-cable parallel robot under wind disturbance in the process of material handling in buildings, a multi-mode sliding mode control (MSMC) method based on wind disturbance observer is proposed. Firstly, the wind field model is established, and the comprehensive wind speed model is introduced into the accurate dynamic model as a wind disturbance factor. Secondly, the wind disturbance observer is introduced to estimate the total disturbance of wind disturbance error in real time, which effectively reduces the switching gain, thus effectively reducing the vibration and improving the control accuracy of the system. Combined with the dynamic performance of multimode sliding mode controller, it can be switched at will to reduce chattering. Compared with the traditional sliding mode control method SMC, the anti-interference ability of MSMC is verified. The results show that the designed multimode sliding mode controller can effectively suppress the influence of wind disturbance on the vibration of the end effector.

Styles APA, Harvard, Vancouver, ISO, etc.

Derajat Amperajaya, M., Ragil Murdopo, Nofi Erni, Taufiqur Rahman, Septian Rahmat Adnan, and Ghefra Rizkan Gaffara. "Measurement and Effort to Improve OEE Value of SMC 2000 DST Machinery A PT. XYZ with PDCA Method." In Proceedings of the First Mandalika International Multi-Conference on Science and Engineering 2022, MIMSE 2022 (Mechanical and Electrical). Atlantis Press International BV, 2022. http://dx.doi.org/10.2991/978-94-6463-078-7_30.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Mori, Sadao, and Howard G. Barth. "SEC Method Development." In Size Exclusion Chromatography. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/978-3-662-03910-6_5.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Lundén, Daniel, Johannes Borgström, and David Broman. "Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages." In Programming Languages and Systems. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72019-3_15.

Texte intégral

Résumé :

AbstractProbabilistic programming is an approach to reasoning under uncertainty by encoding inference problems as programs. In order to solve these inference problems, probabilistic programming languages (PPLs) employ different inference algorithms, such as sequential Monte Carlo (SMC), Markov chain Monte Carlo (MCMC), or variational methods. Existing research on such algorithms mainly concerns their implementation and efficiency, rather than the correctness of the algorithms themselves when applied in the context of expressive PPLs. To remedy this, we give a correctness proof for SMC methods in the context of an expressive PPL calculus, representative of popular PPLs such as WebPPL, Anglican, and Birch. Previous work have studied correctness of MCMC using an operational semantics, and correctness of SMC and MCMC in a denotational setting without term recursion. However, for SMC inference—one of the most commonly used algorithms in PPLs as of today—no formal correctness proof exists in an operational setting. In particular, an open question is if the resample locations in a probabilistic program affects the correctness of SMC. We solve this fundamental problem, and make four novel contributions: (i) we extend an untyped PPL lambda calculus and operational semantics to include explicit resample terms, expressing synchronization points in SMC inference; (ii) we prove, for the first time, that subject to mild restrictions, any placement of the explicit resample terms is valid for a generic form of SMC inference; (iii) as a result of (ii), our calculus benefits from classic results from the SMC literature: a law of large numbers and an unbiased estimate of the model evidence; and (iv) we formalize the bootstrap particle filter for the calculus and discuss how our results can be further extended to other SMC algorithms.

Styles APA, Harvard, Vancouver, ISO, etc.

Lampacrescia, Marco, Michaela Klauck, and Matteo Palmas. "Towards Verifying Robotic Systems Using Statistical Model Checking in STORM." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2024. https://doi.org/10.1007/978-3-031-75434-0_28.

Texte intégral

Résumé :

AbstractRobust autonomy and interaction of robots with their environment, even in rare or new situations, is an ultimate goal of robotics research. We settle on Statistical Model Checking (SMC) for the benefit of robustness of robot deliberation and base our implementation on STORM, one of the most performant and comprehensive open-source model checkers, so far lacking an SMC extension. The SMC extension introduced in this paper offers various statistical methods, from which the user can choose to find the best trade-off between accuracy of the result and runtime. We demonstrate the efficiency of our SMC implementation by comparing it to other state-of-the-art SMC tools on well-established benchmarks and on a robotics-related example. The results indicate that our implementation, which will be continuously extended in the future to improve support for robotics use cases, is performant enough to bridge the gap between robotic systems and model checking in industry.

Styles APA, Harvard, Vancouver, ISO, etc.

Wall, Tyler, and Jarrett Rodrick. "The SOC Analyst Method." In Jump-start Your SOC Analyst Career. Apress, 2024. http://dx.doi.org/10.1007/979-8-8688-0345-1_9.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "SMC Method"

Ozaki, Yoshito, and Akira Utsumi. "A New Partitioning Method for the IDS Method." In 2013 IEEE International Conference on Systems, Man and Cybernetics (SMC 2013). IEEE, 2013. http://dx.doi.org/10.1109/smc.2013.670.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Lin, Yu-ling, Salem Chakhar, and Rui Yang. "Sequential Rank Aggregation Method." In 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC). IEEE, 2018. http://dx.doi.org/10.1109/smc.2018.00541.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Yong, Zhao, Li Hong, and Liu Liqun. "NN-SMC MPPT Method for PV Generating System." In 2011 First International Conference on Robot, Vision and Signal Processing (RVSP). IEEE, 2011. http://dx.doi.org/10.1109/rvsp.2011.47.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Seki, Hirosato, Fuhito Mizuguchi, Satoshi Watanabe, Hiroaki Ishii, and Masaharu Mizumoto. "SIRMs connected fuzzy inference method using kernel method." In 2008 IEEE International Conference on Systems, Man and Cybernetics (SMC). IEEE, 2008. http://dx.doi.org/10.1109/icsmc.2008.4811546.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Ye Jiang, Min Jiang, Jian Luo, Zhaohui Gan, and Jinshan Tang. "An interactive image retrieval method." In 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC). IEEE, 2016. http://dx.doi.org/10.1109/smc.2016.7844764.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Samejima, Masaki, and Keiichi Hamada. "A Change Detection Method of Arguing Points by Factor Analysis for Case Method Support." In 2013 IEEE International Conference on Systems, Man and Cybernetics (SMC 2013). IEEE, 2013. http://dx.doi.org/10.1109/smc.2013.486.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Tripathi, Ashish, Prateek Garbyal, K. K. Mishra, and A. K. Misra. "Environmental adaption method for dynamic environment." In 2014 IEEE International Conference on Systems, Man and Cybernetics - SMC. IEEE, 2014. http://dx.doi.org/10.1109/smc.2014.6973910.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Liu, Bin, Menghua Zhang, Xin Ma, et al. "Model independent PD-SMC method for bionic eye systems." In 2017 Chinese Automation Congress (CAC). IEEE, 2017. http://dx.doi.org/10.1109/cac.2017.8242853.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Filipovic, Ela, Nikolina Catlak, and Natasa Zenic. "Sport participation should not be observed as protective against smoking and drinking in adolescence; cross-sectional cluster-based analysis in Croatian southern regions." In 12th International Conference on Kinanthropology. Masaryk University Press, 2020. http://dx.doi.org/10.5817/cz.muni.p210-9631-2020-26.

Texte intégral

Résumé :

Purpose: Sport participation in adolescence is frequently observed as being protective against consumption of psychoactive substances (e.g. cigarettes and alcohol), but limited number of studies directly examined this problem while simultaneously observing consump-tion of cigarettes and alcohol. The aim of this study was to evidence the possible associations which may exist between different factors explaining participation in sports, and consumption of cigarettes and alcohol in adolescents from Croatia. Methods: The sample comprised 436 adolescents from coastal regions in Croatia (202 fe-male

Styles APA, Harvard, Vancouver, ISO, etc.

de Oliveira Moura, Shayane, Marcelo Bassani de Freitas, Halisson A. C. Cardoso, and George D. C. Cavalcanti. "Choosing instance selection method using meta-learning." In 2014 IEEE International Conference on Systems, Man and Cybernetics - SMC. IEEE, 2014. http://dx.doi.org/10.1109/smc.2014.6974215.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "SMC Method"

Youngblood, G. E., and R. H. Jones. Methods of radiation effects evaluation of SiC/SiC composite and SiC fibers. Office of Scientific and Technical Information (OSTI), 1998. http://dx.doi.org/10.2172/335383.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

เฉลิมชัยกิจ, ธงชัย, та ศุภชัย เนื้อนวลสุวรรณ. ประสิทธิภาพของชุดตรวจสอบ Delvotest-PR และ Microbial inhibition disk method ในการตรวจหายาปฏิชีวนะตกค้างในน้ำนมในประเทศไทย : รายงานผลงานวิจัย. จุฬาลงกรณ์มหาวิทยาลัย, 1995. https://doi.org/10.58837/chula.res.1995.36.

Texte intégral

Résumé :

การตรวจสอบหายาปฏิชีวนะตกค้างในน้ำนมพร้อมดื่มพาสเจอร์ไรซ์ 323 ตัวอย่าง ยูเอชที 330 ตัวอย่าง น้ำนมดิบจากถังนมรวมของเกษตรกร 515 ตัวอย่าง จากโคนมปกติ 200 ตัวอย่าง และจากโคนมที่มีอาการเต้านมอักเสบก่อนให้การรักษา 50 ตัวอย่าง โดยวิธี Microbial inhibition disk method และใช้ชุด ตรวจสอบ Delvotest-P[superscript R] พบว่าอัตราการให้ผลบวกลดลง 42: 1-100% หลังจากการอุ่นตัวอย่างน้ำนมที่อุณหภูมิ 80 องศาเซลเซียส นาน 3 นาที ก่อนทำการตรวจสอบแสดงว่าผลบวกเท็จที่เกิดขึ้นน่าจะมีสาเหตุจากสารยับยั้งการแบ่งตัวของแบคทีเรียตามธรรมชาติในน้ำนม (Natural inhibitors) เช่น Lysozyme และ Lactoferrin เป็นต้น โดยที่สารเหล่านี้ไม่สาม

Styles APA, Harvard, Vancouver, ISO, etc.

Shyshkina, Mariya, and Uliana Kohut. The Method of Using the Maxima System for Operations Research Learning. [б. в.], 2019. http://dx.doi.org/10.31812/123456789/3172.

Texte intégral

Résumé :

In the article, the problems of using the systems of computer mathematics (SCM) as a tool to support the teaching and research activities in the field of informatics and mathematics disciplines training are investigated. The role of SCM in the process of bachelors of informatics training and special aspects of pedagogical applications of these systems in the “Operations research” study is defined. The aim of the article is the justification of the Maxima system use of in the process of “Operations research” teaching in pedagogical university as enchasing the investigative approach to learning

Styles APA, Harvard, Vancouver, ISO, etc.

Neuffer, D. A novel method for correcting the SSC (Superconducting Super Collider) multipole problem. Office of Scientific and Technical Information (OSTI), 1988. http://dx.doi.org/10.2172/6733128.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Barry, Kenneth. Development of alternate methods of determining integrated SMR source terms. Office of Scientific and Technical Information (OSTI), 2014. http://dx.doi.org/10.2172/1133725.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Amirav, Aviv, and Steven Lehotay. Fast Analysis of Pesticide Residues in Agricultural Products. United States Department of Agriculture, 2002. http://dx.doi.org/10.32747/2002.7695851.bard.

Texte intégral

Résumé :

The overall theme of this project was to increase the speed of analysis for monitoring pesticide residues in food. Traditionally, analytical methods for multiple pesticides are time-consuming, expensive, laborious, wasteful, and ineffective to meet critical needs related to food safety. Faster and better methods were needed to provide more cost-effective detection of chemical contaminants, and thus provide a variety of benefits to agriculture. This overarching goal to speed and improve pesticide analysis was successfully accomplished even beyond what was originally proposed by the investigator

Styles APA, Harvard, Vancouver, ISO, etc.

Weischedel. L41035 Enhanced Interpretation of MFL to Detect SCC-(SEEC) Method Auxiliary Pole Approach. Pipeline Research Council International, Inc. (PRCI), 1998. http://dx.doi.org/10.55274/r0011243.

Texte intégral

Résumé :

This report deals with a novel and rather unorthodox electromagnetic inspection technique called the Se/f-Excited Eddy Current (SEEC) or Motion Induced Eddy Current (M/EC) method. The SEEC approach promises a surprisingly simple solution for the difficult and long-standing SCC detection, characterization, and discrimination problem.

Styles APA, Harvard, Vancouver, ISO, etc.

Lehotay, Steven J., and Aviv Amirav. Fast, practical, and effective approach for the analysis of hazardous chemicals in the food supply. United States Department of Agriculture, 2007. http://dx.doi.org/10.32747/2007.7695587.bard.

Texte intégral

Résumé :

Background to the topic: For food safety and security reasons, hundreds of pesticides, veterinary drugs, and environmental pollutants should be monitored in the food supply, but current methods are too time-consuming, laborious, and expensive. As a result, only a tiny fraction of the food is tested for a limited number of contaminants. Original proposal objectives: Our main original goal was to develop fast, practical, and effective new approaches for the analysis of hazardous chemicals in the food supply. We proposed to extend the QuEChERS approach to more pesticides, veterinary drugs and pol

Styles APA, Harvard, Vancouver, ISO, etc.

Clark, W. Multiple coil pulsed magnetic resonance method to measure the SSC bending magnet multipole moments. Office of Scientific and Technical Information (OSTI), 1990. http://dx.doi.org/10.2172/7107279.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Clark, W. G. (Multiple coil pulsed magnetic resonance method to measure the SSC bending magnet multipole moments). Office of Scientific and Technical Information (OSTI), 1990. http://dx.doi.org/10.2172/6233086.

Texte intégral

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!