Academic literature on the topic 'SMC Method'

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'SMC Method.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "SMC Method"

1

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
Abstract:
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,
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
Abstract:
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,
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "SMC Method"

1

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
5

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.

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

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.

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

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.

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

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
9

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.

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

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.

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

Books on the topic "SMC Method"

1

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

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

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

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

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

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

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

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

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

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

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.

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

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

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

Cyhelský, Lubomír. Contributions to solving of socio-ekonomic [sic] statistic's problems. Vysoká škola ekonomická v Praze ve Státnim pedagogickém nakl., 1987.

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

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.

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

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "SMC Method"

1

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.

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

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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
4

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.

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

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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
6

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.

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

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.

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

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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
10

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.

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

Conference papers on the topic "SMC Method"

1

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

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

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
10

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.

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

Reports on the topic "SMC Method"

1

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.

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

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

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

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
4

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.

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

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.

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

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
9

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.

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

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!