Gotowe bibliografie tematyczne / Binary input/output system

Gotowa bibliografia na temat „Binary input/output system”

Autor: Grafiati
Data publikacji: 13 kwietnia 2024

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

Wybierz rodzaj źródła:

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

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

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

Spis treści

  1. Artykuły w czasopismach
  2. Rozprawy doktorskie
  3. Książki
  4. Części książek
  5. Streszczenia konferencji
  6. Raporty organizacyjne

Artykuły w czasopismach na temat "Binary input/output system":

1

Anashin, Vladimir. "Discreteness causes waves". Facta universitatis - series: Physics, Chemistry and Technology 14, nr 3 (2016): 143–96. http://dx.doi.org/10.2298/fupct1603143a.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Streszczenie:
In the paper, we show that matter waves can be derived from discreteness and causality. Namely we show that matter waves can naturally be ascribed to finite discrete causal systems, the Mealy automata having binary input/output which are bit sequences. If assign real numerical values (?measured quantities?) to bit sequences, the waves arise as a correspondence between the numerical values of input sequences (?impacts?) and output sequences (?system-evoked responses?). We show that among all discrete causal systems with arbitrary (not necessarily binary) inputs/outputs, only the ones with binary input/output can be ascribed to matter waves ?(x,t) = ei(kx??t).
2

Gurevich, Yuri, i Saharon Shelah. "Time polynomial in input or output". Journal of Symbolic Logic 54, nr 3 (wrzesień 1989): 1083–88. http://dx.doi.org/10.2307/2274767.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Streszczenie:
AbstractWe introduce the class PIO of functions computable in time that is polynomial in max {the length of input, the length of output}, observe that there is no notation system for total PIO functions but there are notation systems for partial PIO functions, and give an algebra of partial PIO functions from binary strings to binary strings.
3

Alderman, Phillip D. "Parallel gridded simulation framework for DSSAT-CSM (version 4.7.5.21) using MPI and NetCDF". Geoscientific Model Development 14, nr 10 (28.10.2021): 6541–69. http://dx.doi.org/10.5194/gmd-14-6541-2021.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Streszczenie:
Abstract. The Decision Support System for Agrotechnology Transfer Cropping Systems Model (DSSAT-CSM) is a widely used crop modeling system that has been integrated into large-scale modeling frameworks. Existing frameworks generate spatially explicit simulated outputs at grid points through an inefficient process of translation from binary spatially referenced inputs to point-specific text input files, followed by translation and aggregation back from point-specific text output files to binary spatially referenced outputs. The main objective of this paper was to document the design and implementation of a parallel gridded simulation framework for DSSAT-CSM. A secondary objective was to provide preliminary analysis of execution time and scaling of the new parallel gridded framework. The parallel gridded framework includes improved code for model-internal data transfer, gridded input–output with the Network Common Data Form (NetCDF) library, and parallelization of simulations using the Message Passing Interface (MPI). Validation simulations with the DSSAT-CSM-CROPSIM-CERES-Wheat model revealed subtle discrepancies in simulated yield due to the rounding of soil parameters in the input routines of the standard DSSAT-CSM. Utilizing NetCDF for direct input–output produced a 3.7- to 4-fold reduction in execution time compared to R- and text-based input–output. Parallelization improved execution time for both versions with between 12.2- (standard version) and 13.4-fold (parallel gridded version) speed-up when comparing 1 to 16 compute cores. Estimates of parallelization of computation ranged between 99.2 % (standard version) and 97.3 % (parallel gridded version), indicating potential for scaling to higher numbers of compute cores.
4

Oualla, Hicham, Mathieu Pouliquen, Miloud Frikel i Said Safi. "Recursive identification of IIR system using binary input/output measurements". International Journal of Modelling, Identification and Control 40, nr 4 (2022): 327. http://dx.doi.org/10.1504/ijmic.2022.125549.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Safi, Said, Miloud Frikel, Hicham Oualla i Mathieu Pouliquen. "Recursive identification of IIR system using binary input/output measurements". International Journal of Modelling, Identification and Control 40, nr 4 (2022): 327. http://dx.doi.org/10.1504/ijmic.2022.10050542.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Yum, Bong-Jin, i Seong-Jun Kim. "On parameter design of binary-input-and-binary-output dynamic systems". Quality and Reliability Engineering International 9, nr 6 (listopad 1993): 471–76. http://dx.doi.org/10.1002/qre.4680090603.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Singh, Gajendra Pratap, i Sujit Kumar Singh. "Petri Net Recommender System for Generating of Perfect Binary Tree". International Journal of Knowledge and Systems Science 10, nr 2 (kwiecień 2019): 1–12. http://dx.doi.org/10.4018/ijkss.2019040101.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Streszczenie:
In modeling a discrete event driven system, Petri net recommender systems can play a very important role in describing the structural and behavioral properties of complex and tricky networks. The finite and infinite perfect binary tree forms a predictive model which can map the input information to output information based on the inputs' attributes. A perfect binary tree can be used for three types of recommender systems such as: collaborative filtering, a content-based approach, and a hybrid approach. In this article, the authors show the existence of a Petri net whose reachability tree is a Perfect Infinite Binary Tree (PIBT).
8

Collins, R., J. Pemberton, S. J. D. Phoenix i J. A. D. Matthew. "Output velocity distribution of a Langevin system with random binary input". European Journal of Physics 9, nr 4 (1.10.1988): 312–18. http://dx.doi.org/10.1088/0143-0807/9/4/013.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Zhao, Yujie, Zhanyong Tang, Guixin Ye, Xiaoqing Gong i Dingyi Fang. "Input-Output Example-Guided Data Deobfuscation on Binary". Security and Communication Networks 2021 (13.12.2021): 1–16. http://dx.doi.org/10.1155/2021/4646048.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Streszczenie:
Data obfuscation is usually used by malicious software to avoid detection and reverse analysis. When analyzing the malware, such obfuscations have to be removed to restore the program into an easier understandable form (deobfuscation). The deobfuscation based on program synthesis provides a good solution for treating the target program as a black box. Thus, deobfuscation becomes a problem of finding the shortest instruction sequence to synthesize a program with the same input-output behavior as the target program. Existing work has two limitations: assuming that obfuscated code snippets in the target program are known and using a stochastic search algorithm resulting in low efficiency. In this paper, we propose fine-grained obfuscation detection for locating obfuscated code snippets by machine learning. Besides, we also combine the program synthesis and a heuristic search algorithm of Nested Monte Carlo Search. We have applied a prototype implementation of our ideas to data obfuscation in different tools, including OLLVM and Tigress. Our experimental results suggest that this approach is highly effective in locating and deobfuscating the binaries with data obfuscation, with an accuracy of at least 90.34%. Compared with the state-of-the-art deobfuscation technique, our approach’s efficiency has increased by 75%, with the success rate increasing by 5%.
10

Pouliquen, Mathieu, Eric Pigeon, Olivier Gehan, Abdelhak Goudjil i Romain Auber. "Impulse response identification from input/output binary measurements". Automatica 123 (styczeń 2021): 109307. http://dx.doi.org/10.1016/j.automatica.2020.109307.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł
Możesz być także zainteresowany rozszerzonymi bibliografiami na temat „Binary input/output system” dla poszczególnych typów źródeł:
Artykuły w czasopismach Rozprawy doktorskie Książki

Rozprawy doktorskie na temat "Binary input/output system":

1

Oualla, Hicham. "Contributions à l'identification en boucle ouverte/fermée des systèmes à base de données binaires". Electronic Thesis or Diss., Normandie, 2022. http://www.theses.fr/2022NORMC229.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Streszczenie:
Cette thèse est consacrée à l'identification des systèmes à base de données binaires. Dans un premier temps, une présentation succincte de l'ensemble des méthodes d'identification des systèmes basé sur l'utilisation des données binaires existant dans la littérature est donnée. Dans la suite nous nous sommes intéressé au problème d'identification en boucle ouverte des systèmes à sortie et entrée binaires. Nous proposons des méthodes permettant l'identification des systèmes RIF et plus complexes les RII ayant une entrée et sortie binaires. Ces méthodes sont analysées et testées par des exemples numériques. Dans le reste de ce travail, nous proposons des premières solutions aux problèmes d'identification en boucle fermée des systèmes à base de données binaires. Les premières solutions sont dédiées aux systèmes à sortie binaire, l'excitation de la boucle fermée est supposée être à haute résolution. Enfin, deux méthodes sont proposées pour les systèmes en boucle fermée à sortie et entrée binaires. Ces solutions sont testées sur des exemples numériques pour mesurer leurs performances
This thesis is devoted to the identification of systems based on binary data. First, a brief presentation of all the methods of identification of systems based on the use of binary data existing in the literature is given. In the following, we are interested in the problem of open loop identification of systems with binary output and input. We propose methods for the identification of FIR systems and more complex IIR systems with binary input and output. These methods are analyzed and tested by numerical examples. In the rest of this work, we propose first solutions to the problems of closed-loop identification of systems based on binary data. The first solutions are dedicated to binary output systems, the closed loop excitation is assumed to be high resolution. Finally, two methods are proposed for closed loop systems with binary output and input. These solutions are tested on numerical examples to quantify their performances
2

Shang, Feng. "INPUT-OUTPUT WATER QUALITY MODEL IN WATER DISTRIBUTION SYSTEM". University of Cincinnati / OhioLINK, 2002. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1028649564.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Hernańdez, Correa Evelio. "Control of nonlinear systems using input-output information". Diss., Georgia Institute of Technology, 1992. http://hdl.handle.net/1853/11176.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Ozkan, Ugur. "Application of the constrained implicants set concept to the minimization of binary functions". Thesis, Monterey, California : Naval Postgraduate School, 1990. http://handle.dtic.mil/100.2/ADA239470.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Streszczenie:
Thesis (M.S. in Electrical and Computer Engineering)--Naval Postgraduate School, September 1990.
Thesis Advisor(s): Yang, Chyan ; Butler, Jon T. "September 1990." Description based on title screen as viewed on March 22, 2010. Author(s) subject terms: Constrained Implicants Set Concept, Binary Minimization. Includes bibliographical references (p. 75-76). Also available in print.
5

Maeda, Ken. "Nonlinear control system of inverted pendulum based on input-output linearization". Diss., Online access via UMI:, 2006.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Ding, Minhua. "Multiple-input multiple-output wireless system designs with imperfect channel knowledge". Thesis, Kingston, Ont. : [s.n.], 2008. http://hdl.handle.net/1974/1335.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Morimoto, Mai. "Signal transformation at the input and output of the Drosophila visual system". Thesis, University of Cambridge, 2017. https://www.repository.cam.ac.uk/handle/1810/267911.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Streszczenie:
A key function of the nervous system is to sample data from the external world, generate internal signals, and transform them into meaningful information that can be used to trigger behaviour. In order to gain insight into the underlying mechanism for signal transformation, the visual system has been extensively studied: partly owing to the stimulus being reliably presentable, and the anatomy being well described. The Drosophila visual system is one such system, with the added advantage of genetic tractability. In this thesis, I studied the filtering property of visual neurons at two levels, biophysical and circuit levels. The first study looks at signal transformation at the biophysical level, at the input of the visual system, in photoreceptors. Voltage-gated potassium channels counteract the depolarization caused by opening of light sensitive channels, and the heterogeneous properties of their kinetics can fine-tune the photoreceptor’s frequency response to fulfill the animal’s ecological requirements. Shaker (Kv1) and Shab (Kv2) have been identified as fast and slow inactivating components of the photoreceptor’s outward currents, however a current with intermediate kinetics (IKf) has not been molecularly identified, but had been postulated to be Shal (Kv4). I focused on characterizing this current using whole-cell patch clamp in wild type and mutants, and using antibodies for Shal. My results from whole-cell patch clamp indicated that IKf in adult R1-6 cells are not Shal, from their voltage dependence and insensitivity to a Kv4 blocker. This calls for alternative molecular basis for IKf, which is likely to be a slow inactivating component of Shaker, or a combination of its many splice variants. The second study looks at signal transformation at the circuit level, at the output end, in the third optic neuropil, lobula. Visual projection neurons project from the lobula to the central brain, and have been proposed to carry behaviourally relevant visual features to higher brain regions. It was recently shown that optogenetic activation of individual visual projection neuron types could induce distinct behaviours such as takeoff and backward walking, linking these visual neurons to specific behavioural programs downstream. Using in vivo two-photon calcium imaging, I recorded visually evoked calcium responses from three of these cell types. Cell types that showed induced takeoff and backward walking preferentially responded to dark looming stimuli or fragmented expanding local features, suggesting their role in behaviours triggered by object approach. To explore how this visual information is transformed in the downstream circuit, we identified several candidate neurons that receive input from this cell type by anatomical overlap, and then validated their connections using optogenetic activation and calcium imaging. One downstream cell-type that projects bilaterally had very similar response properties to its upstream partner, whereas another cell-type that projects ipsilaterally seemed to filter out some information from its upstream partner. This is one of the first studies that functionally characterizes lobula visual projection neurons and their downstream partners in Drosophila, and their response properties agree with the general idea that visual information becomes increasingly selective as it is sent to higher brain regions.
8

Jones, Catherine Linda. "Characterisation of input and output mechanisms in the zebra finch circadian system". Thesis, University of Birmingham, 2011. http://etheses.bham.ac.uk//id/eprint/3132/.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Streszczenie:
Circadian rhythms are biochemical, physiological, or behavioural over 24 hours. The avian circadian system is complex, involving numerous oscillators in the brain. I characterised two hypothalamic input mechanism (melatonin receptors and light) and one output mechanism (vasotocin) in the zebra finch. Melatonin receptors were cloned and expression levels investigated in the brain and in peripheral tissues. Receptors were found in all tissues, with some pronounced rhythmic mRNA expression. Tissue-specific differences in temporal distribution, peak expression and amplitude suggests melatonin have varied roles in different tissues and different receptors control/influence these roles. Effect of light in the hypothalamus was investigated by exposing light into the dark phase of an LD cycle and studying the difference in C-FOS expression. C-FOS was found in hypothalamic nuclei associated with photic transduction. C-FOS-IR cells were also found in the two known avian hypothalamic oscillators, the LHN and SCN. Arginine-Vasotocin is a neuropeptide involved in numerous bodily and nervous tissue functions, secreted within the hypothalamus and pituitary gland. Immunofluorescent experiments showed marked differences in expression, as different zeitgeber times and between species. This study has improved our understanding of avian circadian systems, providing new insights into the hypothalamic oscillator of a complex circadian organisation.
9

Velusamy, Vijay. "Adapting Remote Direct Memory Access based file system to parallel Input-/Output". Master's thesis, Mississippi State : Mississippi State University, 2003. http://library.msstate.edu/etd/show.asp?etd=etd-11112003-092209.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Hafeez, Muhammad. "An expandable input/output and graphics system for distributed memory parallel computers". Thesis, University of Bath, 1990. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.235808.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Książki na temat "Binary input/output system":

1

A, Reed Daniel, red. Scalable input/output: Achieving system balance. Cambridge, Mass: MIT Press, 2004.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Haber, Robert, i László Keviczky. Nonlinear System Identification — Input-Output Modeling Approach. Dordrecht: Springer Netherlands, 1999. http://dx.doi.org/10.1007/978-94-011-4481-0.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Haber, Robert. Nonlinear system identification: Input-output modeling approach. Dordrecht: Kluwer Academic Publishers, 1999.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Delchamps, David F. State Space and Input-Output Linear Systems. New York, NY: Springer New York, 1988.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Tran, Thanh T. High-Speed System and Analog Input/Output Design. Cham: Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-04954-5.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Geological Survey (U.S.), red. Discriminator output to CUSP, RTP, and Motorola computer system inputs. [Denver, Colo.?]: The Survey, 1988.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Geological Survey (U.S.), red. Discriminator output to CUSP, RTP, and Motorola computer system inputs. [Denver, Colo.?]: The Survey, 1988.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Geological Survey (U.S.), red. Discriminator output to CUSP, RTP, and Motorola computer system inputs. [Denver, Colo.?]: The Survey, 1988.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Delchamps, David F. State space and input-output linear systems. New York: Springer-Verlag, 1988.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

United States. National Aeronautics and Space Administration., red. Earth observing system.: Output data products and input requirements. [Greenbelt, MD]: Science Processing Support Office (SPSO), Goddard Space Flight Center, 1992.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Części książek na temat "Binary input/output system":

1

Babu, Hafiz Md Hasan. "Multiple-Valued Input Binary-Valued Output Functions". W VLSI Circuits and Embedded Systems, 107–20. Boca Raton: CRC Press, 2022. http://dx.doi.org/10.1201/9781003269182-11.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Kaiser, Mark J. "Input-Output System". W Offshore Service Industry and Logistics Modeling in the Gulf of Mexico, 253–65. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-17013-8_11.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Dunsmuir, M. R. M., i G. J. Davies. "Input/Output Programming". W Programming the UNIXTM System, 47–79. London: Macmillan Education UK, 1985. http://dx.doi.org/10.1007/978-1-349-07371-9_4.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Davies, A., i J. H. Williams. "System input/output monitoring". W Handbook of Condition Monitoring, 189–218. Dordrecht: Springer Netherlands, 1998. http://dx.doi.org/10.1007/978-94-011-4924-2_8.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Dunsmuir, M. R. M., i G. J. Davies. "Buffered Input and Output". W Programming the UNIXTM System, 80–95. London: Macmillan Education UK, 1985. http://dx.doi.org/10.1007/978-1-349-07371-9_5.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Balaji, V. "Input/Output and Postprocessing". W Earth System Modelling - Volume 4, 1–2. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-36464-8_1.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Lin, Yi, Lucas M. Tabajara i Moshe Y. Vardi. "ZDD Boolean Synthesis". W Tools and Algorithms for the Construction and Analysis of Systems, 64–83. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99524-9_4.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Streszczenie:
AbstractMotivated by applications in boolean-circuit design, boolean synthesis is the process of synthesizing a boolean function with multiple outputs, given a relation between its inputs and outputs. Previous work has attempted to solve boolean functional synthesis by converting a specification formula into a Binary Decision Diagram (BDD) and quantifying existentially the output variables. We make use of the fact that the specification is usually given in the form of a Conjunctive Normal Form (CNF) formula, and we can perform resolution on a symbolic representation of a CNF formula in the form of a Zero-suppressed Binary Decision Diagram (ZDD). We adapt the realizability test to the context of CNF and ZDD, and show that the Cross operation defined in earlier work can be used for witness construction. Experiments show that our approach is complementary to BDD-based Boolean synthesis.
8

Nyhus, Douglas. "The INFORUM—ERI international system of macroeconomic input—output models". W Input-Output Analysis, 391–410. Dordrecht: Springer Netherlands, 1988. http://dx.doi.org/10.1007/978-94-009-2607-3_22.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Ünsalan, Cem, Hüseyin Deniz Gürhan i Mehmet Erkin Yücel. "Digital Input and Output". W Embedded System Design with ARM Cortex-M Microcontrollers, 53–80. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-88439-0_4.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Bromberger, Martin, Irina Dragoste, Rasha Faqeh, Christof Fetzer, Larry González, Markus Krötzsch, Maximilian Marx, Harish K. Murali i Christoph Weidenbach. "A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic". W Tools and Algorithms for the Construction and Analysis of Systems, 480–501. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99524-9_27.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Streszczenie:
AbstractIn a previous paper, we have shown that clause sets belonging to the Horn Bernays-Schönfinkel fragment over simple linear real arithmetic (HBS(SLR)) can be translated into HBS clause sets over a finite set of first-order constants. The translation preserves validity and satisfiability and it is still applicable if we extend our input with positive universally or existentially quantified verification conditions (conjectures). We call this translation a Datalog hammer. The combination of its implementation in SPASS-SPL with the Datalog reasoner VLog establishes an effective way of deciding verification conditions in the Horn fragment. We verify supervisor code for two examples: a lane change assistant in a car and an electronic control unit of a supercharged combustion engine.In this paper, we improve our Datalog hammer in several ways: we generalize it to mixed real-integer arithmetic and finite first-order sorts; we extend the class of acceptable inequalities beyond variable bounds and positively grounded inequalities; and we significantly reduce the size of the hammer output by a soft typing discipline. We call the result the sorted Datalog hammer. It not only allows us to handle more complex supervisor code and to model already considered supervisor code more concisely, but it also improves our performance on real world benchmark examples. Finally, we replace the before file-based interface between SPASS-SPL and VLog by a close coupling resulting in a single executable binary.

Streszczenia konferencji na temat "Binary input/output system":

1

Oualla, Hicham, Mathieu Pouliquen, Miloud Frikel, Said Safi i Tristan Bonargent. "Spectral Analysis for System Identification from Input/Output Binary Measurements". W 2020 European Control Conference (ECC). IEEE, 2020. http://dx.doi.org/10.23919/ecc51009.2020.9143871.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

You, Keyou, Erik Weyer i Girish Nair. "Identification of a gain system with binary input and output measurements". W 2015 54th IEEE Conference on Decision and Control (CDC). IEEE, 2015. http://dx.doi.org/10.1109/cdc.2015.7402576.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Moskowitz, Ira S., Paul Cotae i Pedro N. Safier. "Algebraic information theory and stochastic resonance for binary-input binary-output channels". W 2012 46th Annual Conference on Information Sciences and Systems (CISS). IEEE, 2012. http://dx.doi.org/10.1109/ciss.2012.6310786.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Kim, Myung Soo, i Clark C. Guest. "Opto-neural system for pattern classification". W OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1990. http://dx.doi.org/10.1364/oam.1990.mjj3.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Streszczenie:
An optoneural system, which is a combination of an optical processor and a neural network, is developed for pattern classification. The system takes advantages of the two-dimensional processing capability of optics and the mapping capability of neural networks. The optical processor consists of a binary phase-only filter, and the neural network consists of three nonlinear mapping layers: the input layer, a hidden layer, and the output layer. Correlation outputs of the optical processor are used as inputs to the neural network. Binary phase in the binary phase-only filter and weights of the neural network are simultaneously trained with a simulated annealing algorithm. Gray-tone texture patterns that are not easily classified with annealed binary phase-only filters are well classified with the trained optoneural system.
5

Leong, Alex S., Erik Weyer i Girish N. Nair. "On the identification of FIR systems with binary input and output observations". W 2016 IEEE 55th Conference on Decision and Control (CDC). IEEE, 2016. http://dx.doi.org/10.1109/cdc.2016.7798706.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Papadimitriou, Theophilos, i Konstantinos I. Diamantaras. "Channel Shortening of Multi-Input Multi-Output Convolutive Systems with Binary Sources". W 2006 IEEE Signal Processing Society Workshop. IEEE, 2006. http://dx.doi.org/10.1109/mlsp.2006.275560.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Oualla, Hicham, Mathieu Pouliquen, Miloud Frikel, Said Safi i Ali Mestrah. "Closed-loop system parametric identification based on binary measurement on the input and the output". W 2022 8th International Conference on Control, Decision and Information Technologies (CoDIT). IEEE, 2022. http://dx.doi.org/10.1109/codit55151.2022.9803966.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Ahmed, Jamal U., i Abdul Ahad S. Awwal. "Polarization-encoded optical shadow-casting: arithmetic logic unit design: separate output generation". W OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1991. http://dx.doi.org/10.1364/oam.1991.fdd6.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Streszczenie:
A polarization-encoded optical shadow-casting (POSC) system1 processes 2-D coded input in parallel. Light emitting diodes (LEDs) shift and overlap the shadow of the overlapped input pattern from which a decoding mask spatially filters and detects the output. Our current work involves designing an arithmetic logic unit (ALU) which is the heart of general purpose computing. For an ALU, sixteen logical operations of two variables and addition/subtraction result of three binary variables need to be generated. To simplify the design process, the result of three binary variables need to be generated. To simplify the design process, the resulting ALU truth table with twenty-four entries, is partitioned2 into smaller sections, so that each section can be realized with smaller pixel inputs. In the sectional arrangement, inputs A and B are controlled by the third input pixel C to generate both arithmetic and logical output, separately, similar to a single instruction multiple data flow machine. The application of truth table partitioning results in a smaller pixel size, only two pixel subcells for each input. The input coding and source LED pattern are also provided.
9

Karim, M. A., A. A. S. Awwal i U. Dayton. "Programmable logic array design using polarization-encoded optical shadow-casting". W OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1987. http://dx.doi.org/10.1364/oam.1987.thi6.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Streszczenie:
An efficient optical computing system may involve the use of a programmable logic array (PLA) where only on outputs are stored in locations addressable by the inputs. The lensless optical shadow-casting (OSC) system1 using LEDs provides an easier and reliable means to generate logic operations. This scheme has been recently extended2,3 to include polarized sources, masks, and encoding codes, thus increasing the design flexibility. In an OSC, each LED produces a shadow of the input overlap pattern, which along with the other similarly produced shadows give an output overlap pattern which is subsequently decoded by means of decoding masks. The original1 and polarization-encoded2,3 optical shadow-casting systems explored so far are designed to generate only one output at a time. We report the design of a polarization-encoded PLA device where multiple outputs are generated simultaneously for all the input pixels without switching either LEDs or mask. The proposed algorithm is thereafter employed to design an optimal multiple-output binary multiplication unit.
10

Lohmann, Adolf W., i Jorge Ojeda Castaneda. "Trading one dimension for binary simplicity". W OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1993. http://dx.doi.org/10.1364/oam.1993.wqq.1.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "Binary input/output system":

1

Farhi, Edward, i Hartmut Neven. Classification with Quantum Neural Networks on Near Term Processors. Web of Open Science, grudzień 2020. http://dx.doi.org/10.37686/qrl.v1i2.80.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Streszczenie:
We introduce a quantum neural network, QNN, that can represent labeled data, classical or quantum, and be trained by supervised learning. The quantum circuit consists of a sequence of parameter dependent unitary transformations which acts on an input quantum state. For binary classification a single Pauli operator is measured on a designated readout qubit. The measured output is the quantum neural network’s predictor of the binary label of the input state. We show through classical simulation that parameters can be found that allow the QNN to learn to correctly distinguish the two data sets. We then discuss presenting the data as quantum superpositions of computational basis states corresponding to different label values. Here we show through simulation that learning is possible. We consider using our QNN to learn the label of a general quantum state. By example we show that this can be done. Our work is exploratory and relies on the classical simulation of small quantum systems. The QNN proposed here was designed with near-term quantum processors in mind. Therefore it will be possible to run this QNN on a near term gate model quantum computer where its power can be explored beyond what can be explored with simulation.
2

Hurdle, Daniel J. Development of Stability/Robustness Considerations for Control System Design with Multiple Input/Multiple Output Plants. Fort Belvoir, VA: Defense Technical Information Center, czerwiec 1988. http://dx.doi.org/10.21236/ada200408.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Kraimer, M. R. Experimental physics and industrial control system (EPICS) input/output controller (IOC) application developer`s guide. Office of Scientific and Technical Information (OSTI), maj 1994. http://dx.doi.org/10.2172/205865.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Carrico, Caitlyn, Erwin Corong i Dominique van der Mensbrugghe. The GTAP 10A Multi-Region Input Output (MRIO) Data Base. GTAP Research Memoranda, czerwiec 2020. http://dx.doi.org/10.21642/gtap.rm34.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Streszczenie:
This memorandum describes the GTAP version 10A Multi-Region Input Output (GTAPMRIO) Data Base. GTAP-MRIO extends the standard GTAP Data Base (Aguiar et al., 2019) by additionally distinguishing bilateral trade and tariff flows by agents or so-called end-users,namely: firms, private household, government and investors. In constructing GTAP-MRIO,we employ the methodology in Carrico (2017) and update it in four ways. First, an updated concordance table is used—i.e., the United Nations Statistics Division (UNSD) 6-digit Harmonized System 2012 to Broad Economic Categories concordances revision 4 to System of National Accounts end-use framework (HStoBECtoSNA). Second, the International Trade Centre (ITC) Market Access Map (MAcMap) data is directly used in lieu of the TASTE utility (Horridge and Laborde, 2008) which is also based on MAcMap. Third, the optimization programs are updated to take advantage of grid facility in GAMS, thereby reducing MRIO data build time by 90 percent and easing MRIO data construction at the full dimensionality of GTAP data—i.e., 65-sectors and 141-regions for version 10A. Fourth, accompanying GTAPAgg2 (Horridge, 2019) and FlexAgg packages (Villoria and McDougall, 2012) are provided to aid researchers aggregate the GTAP-MRIO data.
5

Kraimer, M. R. EPICS : input / output controller (IOC) application developer's guide. EPICS release 3.12 specific documentation.[Experimental Physics and Industrial Control System]. Office of Scientific and Technical Information (OSTI), styczeń 2002. http://dx.doi.org/10.2172/793086.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Barker, S. Integrated Information Support System (IISS). Volume 7. Communications Subsystem. Part 6. File Input/Output Primitives (FIOPS) Unit Test Plan. Fort Belvoir, VA: Defense Technical Information Center, wrzesień 1990. http://dx.doi.org/10.21236/ada248915.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Sinclair, Samantha, i Sally Shoop. Automated detection of austere entry landing zones : a “GRAIL Tools” validation assessment. Engineer Research and Development Center (U.S.), sierpień 2022. http://dx.doi.org/10.21079/11681/45265.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Streszczenie:
The Geospatial Remote Assessment for Ingress Locations (GRAIL) Tools software is a geospatial product developed to locate austere entry landing zones (LZs) for military aircraft. Using spatial datasets like land classification and slope, along with predefined LZ geometry specifications, GRAIL Tools generates binary suitability filters that distinguish between suitable and unsuitable terrain. GRAIL Tools combines input suitability filters, searches for LZs at user‐defined orientations, and plots results. To refine GRAIL Tools, we: (a) verified software output; (b) conducted validation assessments using five unpaved LZ sites; and (c) assessed input dataset resolution on outcomes using 30 and 1‐m datasets. The software was verified and validated in California and the Baltics, and all five LZs were correctly identified in either the 30 or the 1‐m data. The 30‐m data provided numerous LZs for consideration, while the 1‐m data highlighted hazardous conditions undetected in the 30‐m data. Digital elevation model grid size affected results, as 1‐m data produced overestimated slope values. Resampling the data to 5 m resulted in more realistic slopes. Results indicate GRAIL Tools is an asset the military can use to rapidly assess terrain conditions.
8

Einarsson, Rasmus. Nitrogen in the food system. TABLE, luty 2024. http://dx.doi.org/10.56661/2fa45626.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Streszczenie:
Nitrogen (N) plays a dual role in the agri-food system: it is an essential nutrient for all life forms, yet also an environmental pollutant causing a range of environmental and human health impacts. As the plant nutrient needed in greatest quantities, and as a building block of proteins and other biomolecules, N is a necessary part of all life. In the last century, an enormous increase of N turnover in the agri-food system has enabled increasing per-capita food supply for a growing world population, but as an unintended side effect, N pollution has increased to levels widely agreed in science and policy to be far beyond sustainable limits. There is no such thing as perfectly circular N supply. Losses of N to the environment inevitably arise as N is transformed and used in the food system, for example in soil processes, in manure storage, and in fertilizer application. This lost N must be replaced by ‘new’ N, which is N converted to bioavailable forms from the vast atmospheric pool of unreactive dinitrogen (N2). New N comes mainly as synthetic N fertilizer and through a process known as biological N fixation (BNF). In addition, there is a large internal flow of recycled N in the food system, mainly in the form of livestock excreta. This recirculated N, however, is internal to the food system and cannot make up for the inevitable losses of N. The introduction of synthetic N fertilizer during the 20th century revolutionized the entire food system. The industrial production of synthetic N fertilizer was a revolution for agricultural systems because it removed the natural constraint of N scarcity. Given sufficient energy, synthetic N fertilizer can be produced in limitless quantities from atmospheric dinitrogen (N2). This has far-reaching consequences for the whole agri-food system. The annual input of synthetic N fertilizer today is more than twice the annual input of new N in pre-industrial agriculture. Since 1961, increased N input has enabled global output of both crop and livestock products to roughly triple. During the same time period, total food-system N emissions to the environment have also more than tripled. Livestock production is responsible for a large majority of agricultural N emissions. Livestock consume about three-quarters of global cropland N output and are thereby responsible for a similar share of cropland N emissions to air and water. In addition, N emissions from livestock housing and manure management systems contribute a substantial share of global N emissions to air. There is broad political agreement that global N emissions from agriculture should be reduced by about 50%. High-level policy targets of the EU and of the UN Convention on Biological Diversity are for a 50% reduction in N emissions. These targets are in line with a large body of research assessing what would be needed to stay within acceptable limits as regards ecosystem change and human health impacts. In the absence of dietary change towards less N-intensive diets, N emissions from food systems could be reduced by about 30%, compared to business-as-usual scenarios. This could be achieved by implementing a combination of technical measures, improved management practices, improved recycling of wasted N (including N from human excreta), and spatial optimization of agriculture. Human dietary change, especially in the most affluent countries, offers a huge potential for reducing N emissions from food systems. While many of the world’s poor would benefit nutritionally from increasing their consumption of nutrient-rich animal-source foods, many other people consume far more nutrients than is necessary and could reduce consumption of animal-source food by half without any nutritional issues. Research shows that global adoption of healthy but less N-polluting diets might plausibly cut future food-system N losses by 10–40% compared to business-as-usual scenarios. There is no single solution for solving the N challenge. Research shows that efficiency improvements and food waste reductions will almost certainly be insufficient to reach agreed environmental targets. To reach agreed targets, it seems necessary to also shift global average food consumption onto a trajectory with less animal-source food.
9

Hoch, Brendon, i Samantha Cook. A 10-Year monthly climatology of wind direction : case-study assessment. Engineer Research and Development Center (U.S.), kwiecień 2023. http://dx.doi.org/10.21079/11681/46912.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Streszczenie:
A 10-year monthly climatology of wind direction in compass degrees is developed utilizing datasets from the National Oceanic Atmospheric Administration, Climate Forecast System. Data retrieval methodologies, numerical techniques, and scientific analysis packages to develop the climatology are explored. The report describes the transformation of input data in Gridded Binary format to the Geographic Tagged Image File Format to support geospatial analyses. The specific data sources, software tools, and data-verification techniques are outlined.
10

Jigjidsuren, Altantuya, i Bayar Oyun. Supporting Health-Care Financing Reform in Mongolia: Experiences, Lessons Learned, and Future Directions. Asian Development Bank, grudzień 2022. http://dx.doi.org/10.22617/wps220609-3.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Streszczenie:
This paper discusses Mongolia’s health-care financing system and highlights lessons from reforms. The reform of the health-care financing system in Mongolia has seen the establishment of health insurance as an additional source of funding, and the transition from an input-oriented financing model to an output-oriented model that is better suited to a market economy. The Asian Development Bank’s assistance in reforming health-care financing in Mongolia offers lessons that could be useful in supporting other countries across the region.

Do bibliografii