Добірка наукової літератури з теми "Switch logiciel"

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Switch logiciel".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Статті в журналах з теми "Switch logiciel":

1

Pugach, N. G., D. M. Heim, D. V. Seleznev, A. I. Chernov, and D. Menzel. "Switchable spiral Josephson junction: a superconducting spin-valve proposal." Superconductor Science and Technology 35, no. 2 (December 29, 2021): 025002. http://dx.doi.org/10.1088/1361-6668/ac3f9f.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Abstract We propose a superconducting spin valve based on a Josephson junction with B20-family magnetic metal as a barrier material. Our analysis shows that the states of this element can be switched by reorienting the intrinsic non-collinear magnetization of the spiral magnet. This reorientation modifies long-range spin-triplet correlations and thereby strongly influences the critical Josephson current. Compared to superconducting spin valves proposed earlier, our device has the following advantages: (a) it contains only one barrier layer, which makes it easier to fabricate and control; (b) its ground state is stable, which prevents uncontrolled switching; (c) it is compatible with devices of low-T Josephson electronics. This device may switch between two logical states which exhibit two different values of critical current, or its positive and negative values. I.e. 0-π switch is achievable on a simple Josephson junction.
2

Qu, Xiao Yuan, Feng Zhang, and Hui Feng Xue. "Research on New Algorithm of Network Topology Design Based on Cloud Integration." Applied Mechanics and Materials 190-191 (July 2012): 360–63. http://dx.doi.org/10.4028/www.scientific.net/amm.190-191.360.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Analyzed integrated logical structure of the cloud, back-end cloud computing systems, tens of thousands of servers, how to organize such a large number of servers is the cloud computing system efficient and stable operation of one of the key issues. We surveyed the requirement of cloud computing networking. Analyzed the architecture of cloud computing networking topology, and thought that the networking topology should be composed of two parts the center switch trunk and some tree shape branch subnet. Then we proposed the Self Adaptive Algorithm for the center swish trunk’s topology design based on the graph theory, optimization theory and classic greedy algorithm. Finally we do some experiments and comparison to verify the algorithm’s usability and advantages.
3

Sun, Li Hui. "Design Method of Redundant Node in Zigbee Wireless Sensor Network." Applied Mechanics and Materials 568-570 (June 2014): 604–7. http://dx.doi.org/10.4028/www.scientific.net/amm.568-570.604.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Redundancy technology is an important measure to enhance the reliability of computer control system. Two types of node redundancy architectures of wireless sensor network are analyzed. The design and implementing method of node redundancy in Zigbee network is presented. The node, which acts as master, is determined through competition after the system is powered up. The logical structure of the system is presented too. The switch protocol between master computer and backup computer and the method of competing for master among all the nodes are described in detail. The system can achieve that backup computer switches to master computer without disturbance. Because Zigbee network is adopted to achieve switching between Master and Backup, the reliability of the whole system is enhanced. The novel redundancy system is of low-cost, openness and good maintainability.
4

Lai, Xiao Liang, Cheng Guan, and Xiao Lin. "Fuzzy Logical Control Algorithm Based on Engine on/off State Switch for Hybrid Hydraulic Excavator." Advanced Materials Research 228-229 (April 2011): 447–52. http://dx.doi.org/10.4028/www.scientific.net/amr.228-229.447.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
When the hybrid hydraulic excavator worked in a low load and high battery SOC value state, the maintenance of the engine working would cause unnecessary loss during energy conversion, therefore it was required to shut down the engine at this moment. Then a fuzzy logical control algorithm based on the engine on/off state switch was proposed for the hybrid hydraulic excavator. By comprehensively evaluated the current external load level, value of battery SOC and the duration of engine former state, the engine on-off state switch rules and trigger condition were established, also, parallel or pure electric driver system patterns was formed. By using MATLAB/Simulink to establish a dynamic mathematical model, the power system control performance and fuel consumption were analyzed after the application of the algorithm. The results showed that the fuzzy logic control algorithm had strong applicability for the external load changes, and the engine on/off state switch could reduce the redundancy of the energy conversion process, the machine fuel consumption when the excavator is in a low-load condition with high battery SOC.
5

Kumar, Kanike Vinod, and R. Saravana Kumar. "Real time simulation of reduced switch multilevel inverter with PWM switching sequence control." International Journal of Power Electronics and Drive Systems (IJPEDS) 12, no. 4 (December 1, 2021): 2305. http://dx.doi.org/10.11591/ijpeds.v12.i4.pp2305-2313.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
<span lang="EN-US">Reduction of switch count in symmetrical and asymmetrical reduced switch multilevel inverter designs has been proposed regularly with operation of conventional carrier-based pulse width modulation technique. In this study, a novel structure of symmetrical Hexa shaped model reduced switch seven level output inverter is proposed without any auxiliary switch and H-bridge. Proposed structure offers a smaller number of switch count and voltage sources which results in the cost and complexity reduction of its implementation. To operate the switching sequence of inverter from carrier based APOD, POD and PD methods, suitable logical expression to be realize which gained more prominence. Active utilization of two voltage sources in each mode of operation results in significant reduction of voltage stress across each switch is achieved. A comparative study of proposed MLI with various reduced switch MLIs has been presented. Initially, simulation model implementation has been carried out with MATLAB/Simulink and observed the performance parameters and THD. Simulation results are carried for the comparison of the results obtained in the real time work performed on OPAL-RT 5700 simulator</span><span lang="EN-US">.</span>
6

Zaki, Hatem, R. A. Swief, T. S. Abdel-Salam, and M. A. M. Mostafa. "A New Distribution System Performance Approach to the Switch Allocation Problem Under Smart Grid Framework." E3S Web of Conferences 57 (2018): 03007. http://dx.doi.org/10.1051/e3sconf/20185703007.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
This paper proposes a new vision of the Distribution System Switch Allocation problem considering new system performance measures. The mathematical model has been rebuilt with a new aggregated multi-objective formula, minimizing a newly developed performance index while achieving minimum annual energy lost. A new practical weighted combined system performance index, consisting of Reliability, Resiliency and Vulnerability, is applied and tested to be used by utilities replacing the common simple reliability index combination. The new model uses mixed integer design variables to determine the number, location and status of switches. A set of eight logical and technical constraints was applied to provide the best description of the real existing system constraints. A new algorithm of checking the system radial topology is also applied to the problem. The problem was solved using the Genetic Algorithm and was tested on a 54-bus real distribution test system, deemed more complicated than the test systems found in literature, to demonstrate its validity and effectiveness in real life systems.
7

Choi, Seungdo, Geonhu Lee, and Jongmin Kim. "Cellular Computational Logic Using Toehold Switches." International Journal of Molecular Sciences 23, no. 8 (April 12, 2022): 4265. http://dx.doi.org/10.3390/ijms23084265.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
The development of computational logic that carries programmable and predictable features is one of the key requirements for next-generation synthetic biological devices. Despite considerable progress, the construction of synthetic biological arithmetic logic units presents numerous challenges. In this paper, utilizing the unique advantages of RNA molecules in building complex logic circuits in the cellular environment, we demonstrate the RNA-only bitwise logical operation of XOR gates and basic arithmetic operations, including a half adder, a half subtractor, and a Feynman gate, in Escherichia coli. Specifically, de-novo-designed riboregulators, known as toehold switches, were concatenated to enhance the functionality of an OR gate, and a previously utilized antisense RNA strategy was further optimized to construct orthogonal NIMPLY gates. These optimized synthetic logic gates were able to be seamlessly integrated to achieve final arithmetic operations on small molecule inputs in cells. Toehold-switch-based ribocomputing devices may provide a fundamental basis for synthetic RNA-based arithmetic logic units or higher-order systems in cells.
8

Оrdabayeva G.К., Dzhusupbekova G.T., and Rakhymbek N. "DESIGN AND SIMULATION OF VIRTUAL LOCAL AREA NETWORK USING CISCO PACKET TRACER." BULLETIN 6, no. 388 (December 15, 2020): 6–14. http://dx.doi.org/10.32014/2020.2518-1467.176.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Modern local networks consist of several subscriber devices located inside the same building. Computers on the local network are interconnected using network equipment - switches. By default, all devices connected to the ports of the same switch can communicate by exchanging network packets. Computer networks of data transmission are the result of the information revolution and in the future will be able to form the main means of communication. The worldwide trend towards the integration of computers in the network is due to a number of important reasons, such as the acceleration of the transmission of information messages, the ability to quickly exchange information between users, receiving and transmitting messages (faxes, E-mail letters, electronic conferences, etc.) without leaving the workplace, the ability to instantly receive any information from anywhere in the world, as well as the exchange of information between computers of different manufacturers working under different software. A large number of broadcast packets sent by devices leads to a decrease in network performance, because instead of useful operations, the switches are busy processing data addressed to everyone at once. The situation forces us to divide such large networks into autonomous subnets; as a result, the logical structures of the network are different from the physical topologies. This article discusses VLAN technology (Virtual Local Area Network - VLAN), which allows you to divide one local network into separate segments.
9

Gao, Yan, Chenchen Liu, and Jiaqi Wang. "Stabilization of Periodic Switched k-Valued Logical Networks." IEEE Access 9 (2021): 74488–98. http://dx.doi.org/10.1109/access.2021.3077387.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Vemuganti, Hari Priya, Dharmavarapu Sreenivasarao, Ganjikunta Siva Kumar, and Appikonda Sai Spandana. "Reduced carrier PWM scheme with unified logical expressions for reduced switch count multilevel inverters." IET Power Electronics 11, no. 5 (May 2018): 912–21. http://dx.doi.org/10.1049/iet-pel.2017.0586.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

Дисертації з теми "Switch logiciel":

1

Zhao, Yimeng. "Déploiement du switch logiciel dans SDN-enabled Réseau environnement de virtualisation." Thesis, Paris, ENST, 2016. http://www.theses.fr/2016ENST0029.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Avec la prévalence de logicielisation, virtualisation est devenue une technologie dominante dans des data-centres et clouds. Deux aspects principaux de la logicielisation de réseaux sont Software Defined Network (SDN) et Network Function Virtualization (NFV), dont un des outils essentiel sont les switches logiciels, à l’opposition des switches matériaux. Les switches logiciels sont également indispensables pour le succès de NFV. Cette thèse vise à relever des défis principaux dans la logicielisation de réseaux. Spécifiquement, elle porte sur le déploiement des switches logiciels dans un réseau virtuel avec SDN
Due to the growing trend of “Softwarization”, virtualization is becoming the dominating technology in data center and cloud environment. Software Defined Network (SDN) and Network Function Virtualization (NFV) are different expressions of “Network Softwarization”. Software switch is exactly the suitable and powerful tool to support network softwarization, which is also indispensable to the success of network virtualization. Regarding the challenges and opportunities in network softwarization, this thesis aims to investigate the deployment of software switch in a SDN-enabled network virtualization environment
2

Mejecaze, Guillaume. "Analyse des destructions d'alimentations électroniques soumises à un courant impulsionnel fort niveau." Thesis, Bordeaux, 2019. http://www.theses.fr/2019BORD0204.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Depuis plus d'une trentaine d'années, la menace d'impulsion électromagnétique provoquée par une explosion à haute altitude (IEMN-HA) d'une arme nucléaire est un sujet d'actualité avec les préoccupations croissantes de sécurité. L'IEMN-HA se couple de manière privilégiée sur les lignes aériennes de distribution en électricité permettant d'alimenter les habitations et les usines. Une fois couplée à ces lignes, la contrainte générée peut alors se propager de façon conduite jusqu'aux premiers systèmes qu'elle rencontrera, et les perturber voire les détruire. Dans la majorité des cas, ces systèmes sont les alimentations des appareils domestiques ou industriels. Dans ce cadre, les effets de destruction d'alimentations électroniques lors de l'injection d'un courant impulsionnel de forte amplitude sont étudiés grâce à un moyen d'injection appelé PIC pour Plateforme d'Injection en Courant. Une alimentation à découpage de type flyback, représentative d'une majorité des alimentations actuelles, a été conçue pour la thèse afin de maîtriser entièrement sa topologie et ses constituants. Les composants les plus susceptibles dans une alimentation à découpage ont été mis en évidence, et il a été montré qu'ils sont détruits à cause d'une amplitude trop importante de courant pendant une durée excessive par rapport aux maximums de leurs capacités. Des analyses aux rayons~X et au microscope optique ont été réalisées sur les composants pour aider à la compréhension. Celles-ci ont permis de fournir des premières hypothèses sur la cause de leur destruction, qui ont ensuite été confirmées par des mesures de courants et de tensions autour de chaque composant lors de l'injection de l'impulsion en entrée de l'alimentation. Enfin, le moyen d'injection ainsi que l'alimentation conçue ont été modélisés sous un logiciel de simulation électronique de type Spice. Cette thèse est la première étape d'un travail dont l'objectif final est de modéliser la susceptibilité des alimentations à découpage afin de prédire leur niveau de destruction
For thirty years, the threat of electromagnetic pulses caused by a high-altitude nuclear explosion (NEMP / HEMP) is still an actual concern in the field of security and safety. NEMP couples efficiently on aerial lines of the electricity network allowing to supply houses and factories. Once coupled to these lines, the generated interference can then be propagated to the first encountered systems and disturb or destroy them. In most cases, these systems are household or industries appliances power supplies. In this context, destruction effects of electronic power supplies due to high level current pulse injectionare studied thanks to an injection generator called PIC for Current Injection Platform. A flyback switch mode power supply (SMPS), representative of a majority of common power supplies, has been designed for the thesis in order to fully control its topology and components. The most susceptible components in SMPS have been identified and have been destroyed due to a too high level current over an excessive duration compared to their maximum ratings. These understandings have been supported by X-rays and optical microscope analyzes. These ones allowed to provide first hypotheses on their destruction cause, which were then confirmed by current and voltage measurements on each component during the pulse injection. Finally, PIC and the designed SMPS have been modeled using a Spice electronic simulation software. This thesis is the first step of a work whose final objective is to model the susceptibility of SMPS in order to predict their destruction level
3

Bullock, Stephen. "Project proposal for Anglo Platinum to make a meaningful switch to G3 sustainable development reporting : a logical framework analysis." Thesis, Stellenbosch : University of Stellenbosch, 2009. http://hdl.handle.net/10019.1/3366.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Thesis (MPhil (Public Management and Planning))--University of Stellenbosch, 2009.
This project proposal has as its topic a communications and change management project within Anglo Platinum, called the G3 Project. It is being submitted as an integrated assignment for the MPhil programme on sustainable development in the Department of Public Management and Planning at Stellenbosch University and is also intended for consideration by the executive management of Anglo Platinum. The G3 Project proposal document has been drafted based on the logical framework analysis (LFA) approach and format envisaged by Örtengren (2004). LFA is a widely accepted methodology for setting out project proposals. It provides a basis for identifying a problem in society, and for analysing its causes and effects. This then provides a basis upon which to identify actions that will address the causes of the problem. This project proposal covers each of the nine stages of the LFA guidelines, as follows: context analysis; stakeholder analysis; problem analysis; objectives analysis; plan of activities; resource planning; indicators; risk analysis; and assumptions. The focal problem of the analysis is that corporate sustainable development reporting has become mostly a bureaucratic, “tick-box process” under Global Reporting Initiative (GRI) 2002 guidelines. As Confino (2008) has alerted us, “There is a risk that sustainability reporting will not inspire deep change, but could become a dry bureaucratic diversion.” Therefore, the overall objective of the project is to ensure that corporations use their sustainable development reports to make ambitious commitments to sustainability, as a means of addressing global sustainability challenges. Its purpose is to ensure that Anglo Platinum’s sustainability reporting, compiled using the GRI G3 guidelines, is used as a vehicle for the company to make ambitious commitments to addressing the material societal sustainability issues over which it has control; and results in fundamental changes in the company’s business processes. The outputs of the G3 Project, which are designed to meet the project’s purpose, include compiling the 2008 Anglo Platinum sustainable development report in line with the requirements to meet the GRI’s G3 B+ self-declaration level;1 setting ambitious, sustainability-related targets and developing management plans to address Anglo Platinum’s material sustainability issues; and ensuring that the 2009 Anglo Platinum sustainable development report is structured and in line with GRI’s A+ requirements. For these outputs to be achieved, a budget of R8 million will need to be made available for the G3 Project over the next three years. Questions may be raised about what the business case is for doing such a project. However, according to a recent Globescan/SustainAbility survey of corporations, academics, NGOs and sustainable development experts, the reason why it is important for companies in general to address those social sustainability challenges over which they have control is that they are believed to be key players, more so than governments and non-governmental organisations (NGOs), in providing leadership on sustainable development over the next ten years. This was reiterated by Hart (2005), who states that corporations are the only entities in the world today with the technology, capacity and global reach required to lead us towards a sustainable world. This project proposal is directed at the executive management of Anglo Platinum, for its consideration in deciding the future path of sustainable development reporting -- and of sustainability itself -- within the company.
4

Yongyi, Yuan. "Investigation and implementation of data transmission look-ahead D flip-flops." Thesis, Linköping University, Department of Electrical Engineering, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-2529.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:

This thesis investigates four D flip-flops with data transmission look-ahead circuits. Based on logical effort and power-delay products to resize all the transistor widths along the critical path in µm CMOS technology. The main goal is to verify and proof this kind of circuits can be used when the input data have low switching probabilities. From comparing the average energy consumption between the normal D flip-flops and D flip-flops with look-ahead circuits, D flip-flops with look-ahead circuits consume less power when the data switching activities are low.

5

Lolis, Luis. "Agile Bandpass Sampling RF Receivers for low power Applications." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2011. http://tel.archives-ouvertes.fr/tel-00670162.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Les nouveaux besoins en communications sans fil pussent le développement de systèmes de transmission RF en termes the reconfigurabilité, multistandard et à basse consommation. Cette thèse propose d'une nouvelle architecture de réception capable d'adresser ces aspects. Le sous échantillonnage est appliquée et permet d'exploiter et certain nombre d'avantages liées au traitement du signal à Temps Discret, notamment le filtrage et la décimation, permettant de relâcher les contraintes liées aux ADCs en maintenant des caractéristiques multistandard et de reconfigurabilité. Un simulateur large bande développé et une nouvelle méthode ce conception système permettent répondre à des limitations au niveau système comme le repliement spectral, séparer les différentes contributions dans la dégradation du SNDR, séparer les différentes contraintes des blocs pour la définition d'un plan de fréquence et the filtrage optimaux. L'architecture à sous échantillonnage proposée dans la thèse est résultat d'une comparaison quantitative des différentes architectures à sous échantillonnage, tout en appliquant la méthode et l'outil de conception système développés; et représente le meilleur compromis entre la consommation électrique et l'agilité, dans le contexte voulu. Le bloc de filtrage à temps discret est identifié comme étant critique. Des effets come les capacités parasites, l'imparité entre les capacités, le bruit du commutateur, le gain finit de Ampli OP, sont évalués à travers d'une simulation comportementale en VHDL-AMS. On observe la robustesse des circuits orientés temps discret par rapport les contraintes des nouvelles technologies intégrés. Finalement, le système est spécifié en termes de bruit de phase, qui peuvent représenter jusqu'à 30% de la consommation en puissance. Dans ce but, une nouvelle méthode numérique est proposée pour évaluer le rapport signal sur distorsion due au jitter SDjR dans le processus de sous échantillonnage. En plus, une conclusion non intuitive est survenue de cette étude, où on que réduire la fréquence d'échantillonnage n'augmente pas les contraintes en termes de jitter pour le système. L'architecture proposée issue de cette étude est sujet d'un développement circuit pour la validation du concept.
6

Figueiredo, Daniel Oliveira. "Logical foundations and computational tools for synthetic biology." Doctoral thesis, 2020. http://hdl.handle.net/10773/29829.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
The study and development of tools for computational systems is an area where we can easily find diverse works and, nowadays, it is one of the dominant topics when we think about the research on computer science. As consequence, the field of computation has access to a solid theoretical basis, as well as to a wide collection of algorithms and tools (such as model checkers). The focus of this thesis is to look at a biological system under a computational perspective, where cells and gens replace the role of transistors as the fundamental elements of a computational system. Indeed, the notion of computation is often compared to the functioning of a brain in an animal. Taking into account this point of view, the goal of this work is to revisit basic concepts present on the study of intracelular dynamics, which are fundamentally the same for all living organisms, under a computer science perpective. Thus, we intend to understand how we can apply concepts, algorithms and computational tools, which are used the field of Computer Science, to the mentioned biological systems. In particular, we start by describing some kinds of models used to model the intracellular dynamics of living organisms – Piecewise linear models and Boolean networks. Hence, we propose a new perspective over Piecewise linear model, considering these models as reconfigurable. This allows one to use computational tools like KeYmaera and dReach to reason about these models. Afterward, discretizing this kind of model but maintaining the notion of reconfigurability, we obtain the concept of reactive Boolean network, based on the switch graph formalism, and propose a logical language to express and formally check properties of these systems along with a notion of bisimulation. In what relates to Boolean networks, we provide a new point of view over the notion of “terminal”, by relating it to the notion of bisimulation, which is widely known in the area of Computater Science. Then, we focus in the asymptotic graph method and, after a fundamental study, we propose a generalized and intermediate method that is less efficient in a computational perspective but more suitable to the intended context. Finally, we consider a new kind of stochastic model which is obtaining embeding weights in edges of switch graphs. We also develop an extension of PRISM model checker – rPrism – to ease the study of this specific class of stochastic models.
O estudo e desenvolvimento de ferramentas para sistemas computacionais é uma área onde facilmente podemos encontrar vários trabalhos, sendo hoje em dia um dos tópicos dominantes na investigação em Ciências da Computação, permitindo, a esta área, o acesso a uma vasta base teórica, além de diversos algoritmos e ferramentas tais como model checkers. Esta tese centra-se na ideia de que um sistema biológico pode ser visto, em certa forma, como um sistema computacional, onde células e genes substituem o papel dos transístors. De facto, a noção de computação é, muitas vezes, associada ao funcionamento do cérebro de seres vivos. Tendo em conta este ponto de vista, o objetivo deste trabalho é revisitar alguns conceitos básicos no estudo de dinâmicas intracelulares, comuns a todos os seres vivos, de um ponto de vista computacional, de forma a averiguar como podemos aplicar a estes sistemas os conceitos, algoritmos e ferramentas computacionais usadas na área da Informática. Em particular, começamos por revisitar vários tipos de modelos usados para descrever a dinâmica intracelular de seres vivos – modelos lineares por partes e redes Booleanas. De seguida, propomos uma nova perspetiva sobre os modelos lineares por partes, considerando estes modelos como reconfiguráveis. Isto permite-nos o uso de ferramentas computacionais como o KeYmaera e dReach. Por outro lado, discretizando este modelos mas mantendo a noção de reconfigurabilidade, obtemos a noção de rede Booleana reactiva, baseada no formalismo de switch graphs, e propomos uma linguagem lógica para expressar e verificar propriedades destes sistemas bem como uma noção de bissimulação. No que diz respeito a modelos Booleanos, apresentamos uma nova visão sobre a noção de “terminal” (ou atrator) de forma a relacioná-lo com a noção de bisimulação, muito usada em computação. De seguida, focamos a atenção no método de obtenção do gráfico assintótico e, após um estudo profundo, propomos um método intermédio que, apesar de menos eficiente a nível computacional, se mostra mais adequado ao contexto. Finalmente, consideramos um novo tipo de modelo estocástico ao incorporar pesos na arestas dos switch graphs e desenvolvemos uma extensão do PRISM model checker – rPrism – para estudar esta classe específica de modelos.
Programa Doutoral em Matemática Aplicada
7

Забитівський, Денис Борисович, та Denys Zabytivsʹkyy. "Розробка комп’ютерної мережі Будилівської ЗОШ І-ІІІ ступенів". Bachelor's thesis, 2021. http://elartu.tntu.edu.ua/handle/lib/35786.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
В процесі роботи виконано проектування логічної та фізичної топологій мережі, проведено вибір мережевого обладнання та апаратного забезпечення, описано методику прокладання, монтажу та управління мережею, обґрунтовано вибір засобів безпеки та підключення мережевих ресурсів, проведено тестування мережі.
In the process of work the design of logical and physical network topologies was performed, the selection of network equipment and hardware was carried out, the method of laying, installation and management of the network was described, the choice of security means and connection of network resources was substantiated, the network was tested.
ВСТУП 6 1 РОЗДІЛ 1. АНАЛІЗ ПРЕДМЕТНОЇ ОБЛАСТІ 7 1.1 Аналіз технічного завдання 7 1.1.1 Вимоги за призначенням 7 1.1.2 Вимоги до параметрів 7 1.1.3 Вимоги до експлуатації 8 1.1.4 Характеристика організації 8 1.1.5 Опис інформаційних ресурсів і служб 10 1.2 Технічне обґрунтування фізичної топології комп’ютерної мережі 10 РОЗДІЛ 2. ПРАКТИЧНА РЕАЛІЗАЦІЯ 12 2.1 Аналіз та вибір базових технологій компютерної мережі школи 12 2.2 Укрупнений розрахунок варіантів телекомунікаційного обладнання 13 2.3 Структура комп’ютерної мережі 18 2.4 Вибір активного мережевого обладнання 20 2.5 Проектування логічної адресації 22 2.6 Комутація 25 2.6.1 Налаштування комутаторів другого рівня 25 2.6.2 Налаштування VLAN 27 2.7 Організація доступу до Інтернет 36 2.7.1 Технологія доступу до Інтернет 36 2.7.2 Апаратні засоби доступу до Інтернет 37 РОЗДІЛ 3. БЕЗПЕКА ЖИТТЄДІЯЛЬНОСТІ, ОСНОВИ ХОРОНИ ПРАЦІ 39 ВИСНОВОК 50 ПЕРЕЛІК ЛІТЕРАТУРНИХ ДЖЕРЕЛ 51

Книги з теми "Switch logiciel":

1

Launay, Jean-Pierre, and Michel Verdaguer. The mastered electron: molecular electronics and spintronics, molecular machines. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198814597.003.0005.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
After a historical account of the evolution which led to the concept of Molecular Electronics, the “Hybrid Molecular Electronics” approach (that is, molecules connected to nanosized metallic electrodes) is discussed. The different types of transport (one-step, two-step with different forms of tunnelling) are described, including the case where the molecule is paramagnetic (Kondo resonance). Several molecular achievements are presented: wires, diodes, memory cells, field-effect transistors, switches, using molecules, but also carbon nanotubes. A spin-off result is the possibility of imaging Molecular Orbitals. The emerging field of molecular spintronics is presented. Besides hybrid devices, examples are given of electronic functionalities using ensembles of molecules, either in solution (logical functions) or in the solid state (memory elements). The relation with the domain of Quantum Computing is presented, including the particular domain of Quantum Hamiltonian Computing. The chapter finishes by an introduction to molecular machines, with the problem of the directional control of their motion.

Частини книг з теми "Switch logiciel":

1

Antos, Carolin. "Conceptions of Infinity and Set in Lorenzen’s Operationist System." In Paul Lorenzen -- Mathematician and Logician, 23–46. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-65824-3_3.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
AbstractIn the late 1940s and early 1950s, Lorenzen developed his operative logic and mathematics, a form of constructive mathematics. Nowadays this is mostly seen as a precursor of the better-known dialogical logic (Notable exceptions are the works of Schroeder-Heister 2008; Coquand and Neuwirth 2017; Kahle and Oitavem 2020.), and one might assume that the same philosophical motivations were present in both works. However, we want to show that this is not everywhere the case. In particular, we claim that Lorenzen’s well-known rejection of the actual infinite, as stated in Lorenzen (1957), was not a major motivation for operative logic and mathematics. Rather, we argue that a shift happened in Lorenzen’s treatment of the infinite from the early to the late 1950s. His early motivation for the development of operationism is concerned with a critique of the Cantorian notion of set and with related questions about the notions of countability and uncountability; it is only later that his motivation switches to focusing on the concept of infinity and the debate about actual and potential infinity.
2

Orlova, Anna. "Dry Friction Element With Logical Switch for Numerical Simulation of Vehicle Dynamics and Its Application." In Non-smooth Problems in Vehicle Systems Dynamics, 113–22. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-01356-0_10.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Flowers, Thomas H. "Colossus." In Colossus. Oxford University Press, 2006. http://dx.doi.org/10.1093/oso/9780192840554.003.0016.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Machines such as counters, computers, and Colossus process information. Items of information are given a physical identity which can be recognised and transmitted over distance. The identity is transmitted by what is called a signal and the relationship between the signals and the information they represent is called a code (as distinct from a cipher). Certain types of numbers are commonly used to identify items of information, because they are universally known and endless in quantity: the information, processors, and processing are then said to be digital. Processing consists of logical operations carried out serially on the numbers until a conclusion has been reached, expressed in numbers which can be converted to information by the code. Automatic number processors may be wholly or in part mechanical, electromechanical, or electronic. For the present purpose, electromechanical operation is the easiest to describe and to understand and so will be used as the starting point of this exposition. Electromechanical processors comprise electrical circuits consisting of switches interconnected by wire conductors. A switch is a device which can be set into one of two states, the unoperated or OFF state and the operated or ON state. The earliest switches used movable metal elements called contacts which could be pressed together to connect, or separated to disconnect, two wires that were attached to the contacts. Some metal contact switches used electric motors to operate them. All switches are stable in their OFF states. In their ON states, they may be stable only so long as the operating force is maintained. When this force is removed, they may remain in the ON state or revert to the OFF state. An electric light switch is an example of a manually operated switch which is stable in both the OFF and the ON states. A bell ‘push-button to ring’ switch reverts to the OFF state when the operating force is removed. Electromechanical (i.e. electromagnetically operated) switches usually take the form of relays, each of which consists of a U-shaped iron structure, as shown in Figure 1, around part of which a coil of wire has been wound. A hinged iron armature bridges the open end of the U.
4

Koh, S. C. Lenny, and Stuart Maguire. "Developing a Telecommunication Operation Support Systems (OSS)." In Information and Communication Technologies Management in Turbulent Business Environments, 351–75. IGI Global, 2009. http://dx.doi.org/10.4018/978-1-60566-424-8.ch019.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
The Telecommunications Act of 1996 opened competition in the telecommunications market in the U.S. and forced the incumbent telecommunications companies to open both their physical and logical infrastructure for Competitive Local Exchange Carriers (CLECs). In this case study we focus on the problems that face a CLEC with regard to designing an information system and getting a back office system, called an Operations Support Systems (OSS), operational in a highly competitive, complex, fast-paced market in a compressed time frame when a change in a critical telecommunications network component, namely the central office switch, is made after 75% of the system implementation was completed. This case deals with the factors that led to this change in central office switches, its impact on the IT department, its impact on the company, and the alternatives considered by the IT department as possible solutions to the many problems created by this change.
5

Williams, James G., and Kai A. Olsen. "Developing a Telecommunication Operation Support Systems (OSS)." In Connectivity and Knowledge Management in Virtual Organizations, 301–20. IGI Global, 2009. http://dx.doi.org/10.4018/978-1-60566-070-7.ch017.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
The Telecommunications Act of 1996 opened competition in the telecommunications market in the U.S. and forced the incumbent telecommunications companies to open both their physical and logical infrastructure for competitive local exchange carriers (CLECs). In this case study we focus on the problems that face a CLEC with regard to designing an information system and getting a back office system, called an operations support systems (OSS), operational in a highly competitive, complex, fast-paced market in a compressed time frame when a change in a critical telecommunications network component, namely the central office switch, is made after 75% of the system implementation was completed. This case deals with the factors that led to this change in central office switches, its impact on the IT department, its impact on the company, and the alternatives considered by the IT department as possible solutions to the many problems created by this change.
6

Nahin, Paul J. "Logic Switching Circuits." In The Logician and the Engineer. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691176000.003.0005.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Today's digital circuitry is built with electronic technology that the telephone engineers of the 1930s and the pioneer computer designers of the 1940s would have thought to be magic. The first real digital technology took the form of electromagnetic relays in telephone switching exchanges. Then came vacuum tube digital circuitry, discrete transistors, integrated transistor circuits, and so on. But the one thing that remains the same is the math, the Boolean algebra that is the central star of this book. This chapter describes the technology that Shannon himself used in his switching analyses. It covers Switches and the logical connectives, a classic switching design problem, electromagnetic relay, the ideal diode and the relay logical AND and OR, and the bi-stable relay latch.
7

Dasgupta, Subrata. "Making (Bio)Logical Connections." In The Second Age of Computer Science. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190843861.003.0011.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
At first blush, computing and biology seem an odd couple, yet they formed a liaison of sorts from the very first years of the electronic digital computer. Following a seminal paper published in 1943 by neurophysiologist Warren McCulloch and mathematical logician Warren Pitts on a mathematical model of neuronal activity, John von Neumann of the Institute of Advanced Study, Princeton, presented at a symposium in 1948 a paper that compared the behaviors of computer circuits and neuronal circuits in the brain. The resulting publication was the fountainhead of what came to be called cellular automata in the 1960s. Von Neumann’s insight was the parallel between the abstraction of biological neurons (nerve cells) as natural binary (on–off) switches and the abstraction of physical computer circuit elements (at the time, relays and vacuum tubes) as artificial binary switches. His ambition was to unify the two and construct a formal universal theory. One remarkable aspect of von Neumann’s program was inspired by the biology: His universal automata must be able to self-reproduce. So his neuron-like automata must be both computational and constructive. In 1955, invited by Yale University to deliver the Silliman Lectures for 1956, von Neumann chose as his topic the relationship between the computer and the brain. He died before being able to deliver the lectures, but the unfinished manuscript was published by Yale University Press under the title The Computer and the Brain (1958). Von Neumann’s definitive writings on self-reproducing cellular automata, edited by his one-time collaborator Arthur Burks of the University of Michigan, was eventually published in 1966 as the book Theory of Self-Reproducing Automata. A possible structure of a von Neumann–style cellular automaton is depicted in Figure 7.1. It comprises a (finite or infinite) configuration of cells in which a cell can be in one of a finite set of states. The state of a cell at any time t is determined by its own state and those of its immediate neighbors in the preceding point of time t – 1, according to a state transition rule.
8

Odarchenko, Roman, Zohaib Hassan, and Abnash Zaman. "Use of Big Data in Aviation." In Automated Systems in the Aviation and Aerospace Industries, 436–52. IGI Global, 2019. http://dx.doi.org/10.4018/978-1-5225-7709-6.ch017.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
The expansion of data and its efficient handling is becoming a more popular tendency in recent times bringing new difficulties to learn new avenues. Data analytics can be done more proficiently with the availability of distributed architecture of not only SQL (NoSQL) databases. Technological advancements around us are changing very rapidly, and major shift is being carried out, a switch from relational to non-relational world. When moving from relational to non-relational models, database administrators face common problems due to the fact that NoSQL is a no-schema database. The purpose of conducting this research is to propose a mechanism by which the schema of a relational database management system and its data can be transformed into big data by following some standardize guidelines. This model can be quite useful for relational database administrators by enabling them to give attention to logical modeling rather than procedural writing for each and every SQL to NoSQL transition.
9

Liberati, Diego. "Model Identification Through Data Mining." In Data Warehousing and Mining, 2281–88. IGI Global, 2008. http://dx.doi.org/10.4018/978-1-59904-951-9.ch135.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Four main general purpose approaches inferring knowledge from data are presented as a useful pool of at least partially complementary techniques also in the cyber intrusion identification context. In order to reduce the dimensionality of the problem, the most salient variables can be selected by cascading to a K-means a Divisive Partitioning of data orthogonal to the Principal Directions. A rule induction method based on logical circuits synthesis after proper binarization of the original variables proves to be also able to further prune redundant variables, besides identifying logical relationships among them in an understandable “if . then ..” form. Adaptive Bayesian networks are used to build a decision tree over the hierarchy of variables ordered by Minimum Description Length. Finally, Piece-Wise Affine Identification also provides a model of the dynamics of the process underlying the data, by detecting possible switches and changes of trends on the time course of the monitoring.
10

Pengli, Cheng. "A Prosperous ‘Cancer Village’." In Chinese "Cancer Villages". NL Amsterdam: Amsterdam University Press, 2020. http://dx.doi.org/10.5117/9789089647221_ch05.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Money, or life? Town and Village Enterprises helped local farmers get rich quickly, but they also caused serious environmental pollution that was a threat to people’s health. Through a study of a village in northern Zhejiang, this chapter shows how, through their daily experiences, villagers established a logical relationship between industrial pollution and cancer and came to believe that the incidence of cancer was not only high, but strongly related to pollution. Facing health risks from pollution, the villagers initially engaged in resistance, but when this strategy was unsuccessful, they later switched to less active measures.

Тези доповідей конференцій з теми "Switch logiciel":

1

Imre, Kayhan. "Simulating the Programmable Networks for HLA Compatible High-Performance Simulators." In 36th ECMS International Conference on Modelling and Simulation. ECMS, 2022. http://dx.doi.org/10.7148/2022-0291.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
This paper explores a parallel discrete event simulator that simulates a programmable fat tree network. The programmable networks can be programmed to perform application specific tasks. The task explored in our research is a time management functionality offloaded to the network switches. Specifically, the network switches used for constructing the fat tree run Greatest Available Logical Time (GALT) computation. In this paper, this switch-based GALT computation is compared against two node-based GALT computations using the simulator developed.
2

Carpenter, Bob, and Glyn Morrill. "Switch graphs for parsing type logical grammars." In the Ninth International Workshop. Morristown, NJ, USA: Association for Computational Linguistics, 2005. http://dx.doi.org/10.3115/1654494.1654497.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
3

Lonac, J. A., and G. A. Merletti. "Implementation of a logical inverter using RF MEMS switch technology." In 2016 IEEE Biennial Congress of Argentina (ARGENCON). IEEE, 2016. http://dx.doi.org/10.1109/argencon.2016.7585244.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Badeeva, Elena, Tatyana Murashkina, Yuri Vasiliev, Sergey Ivanovich Gerashchenko, and Tatiana Y. Brostilova. "PROBLEMATIC ISSUES OF THE USE OF FIBER-OPTIC PRESSURE SENSORS IN MEDICAL PRACTICE." In NEW TECHNOLOGIES IN MEDICINE, BIOLOGY, PHARMACOLOGY AND ECOLOGY. Institute of information technology, 2021. http://dx.doi.org/10.47501/978-5-6044060-1-4.02.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
The problematic issues that arise when measuring low pressures in medical practice, and the associated difficulties in designing measuring instruments, first of all, the low sensitivity of signal conversion, leading to an increase in the components of the basic error, the overall dimensions of the devices, the use of indirect measurement methods that entail large methodo-logical measurement errors, are considered. It is proposed to switch to advanced fiber-optic pressure sensors and new ways to measure low pressures with them.
5

Jiang, Jing, Zong-Quan Deng, Hong-Hao Yue, Lei Wang, and Horn-Sen Tzou. "Research on Constitutive Model of Hybrid Photovoltaic/Piezoelectric Actuation Mechanism." In ASME 2014 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/imece2014-37199.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Opto-mechanical actuators do not require hard-wired connections to control light source. Accordingly, the control commands will not be influenced by undesirable electric noises. Without accessorial devices and connecting wires, photonic control which conforms to the lightweight trend of space structure has great research value. PLZT photostrictive actuator can only induce actuation strain along its polarized direction, so it has the deficiency of one-way actuation. In this paper, the novel hybrid photovoltaic/piezoelectric actuation mechanism is proposed to remedy this deficiency. The ultraviolet light-driven PLZT induced voltages are used to drive piezoelectric actuator. Based on the equivalent electrical model, constitutive model is established to define the time history of actuation strain of piezoelectric actuator driven by photovoltage. Experimental platform is established to verify this established constitutive model. A logical switch is designed to realize positive and negative connection switch between PLZT photovoltaic generator and piezoelectric actuator. It is experimentally validated that the piezoelectric actuator can induce both positive and negative control forces.
6

Deng, Lei, Mengmeng Gong, and Peiyong Zhu. "Controllability of switched singular mix-valued logical control networks with constraints." In ADVANCES IN ENERGY SCIENCE AND ENVIRONMENT ENGINEERING II: Proceedings of 2nd International Workshop on Advances in Energy Science and Environment Engineering (AESEE 2018). Author(s), 2018. http://dx.doi.org/10.1063/1.5029781.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
7

Wakasa, Takuma, Yoshiki Nagatani, Kenji Sawada, and Seiichi Shin. "Switched Pinning Control for Vehicle Platoons via Mixed Logical Dynamical Modeling*." In 2020 IEEE/SICE International Symposium on System Integration (SII). IEEE, 2020. http://dx.doi.org/10.1109/sii46433.2020.9026268.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
8

Chiaroni, Dominique, Bruno Lavigne, Angeline Barroso, Laure Hamon, and Amaury Jourdan. "All-optical fast packet-switched networks: physical and logical limits of operation." In Photonics East (ISAM, VVDC, IEMB), edited by John M. Senior and Chunming Qiao. SPIE, 1998. http://dx.doi.org/10.1117/12.327075.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
9

Merat, Kaveh, Jafar Abbaszadeh Chekan, Hassan Salarieh, and Aria Alasty. "Online Hybrid Model Predictive Controller Design for Cruise Control of Automobiles." In ASME 2017 Dynamic Systems and Control Conference. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/dscc2017-5274.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
In the proposed study, a Hybrid Model Predictive Controller is introduced for cruise control of an automobile model. The presented model consists of the engine, the gearbox, and the transmission dynamics, where the aerodynamics force and elastic friction between the tires and road are taken into account. Through Piecewise Linearization of nonlinearities in the system; (torque)-(throttle)-(angular velocity) of engine and (aerodynamic drag force)-(automobile velocity), a comprehensive piecewise linear model for the system is obtained. Then combined with the switch and shift between engaged gears in gearbox, the Piecewise Affine (PWA) model for the vehicle dynamics is acquired. As far as the control design is concerned, the cruise control problem for tracking a desired speed fashion is addressed by a MPC-based controller design. The proposed control approach is based on the online model predictive control, applied on the obtained PWA dynamics. The highlighted novelties of the presented research work are summarized as: first a more complete model is examined due to the consideration of a realistic model for engine. This improvement makes the polyhedron regions of the PWA system dependent to both state variable (i.e., velocity) and input signals (i.e., throttle and engaged gear) which brings the complexity to the design of control procedure. Second, due to the switch in the dynamics and dependence of our PWA model to discrete input (gear shift), the desperate need to solve the optimization problem through mixed integer programming, which needs high computation effort specially for our system, seems inevitable. We triumph over this challenge through introducing “possible gear shift scenario” sets. Hence, by constraining the optimization problem to the introduced logical sets, the problem still remains convex optimization type and the computation volume is reduced. In addition, we hired branch and bound method which allowed us to have large problems to be solved in a tractable amount of time and computation resources. At last, some simulations are presented to exhibit the performance of the proposed method.
10

Wu, Jiahao, and Yang Liu. "Robust Stability of Switched Logical Networks with Function Perturbation under Arbitrary Switching Signals." In 2021 International Conference on Control, Automation and Information Sciences (ICCAIS). IEEE, 2021. http://dx.doi.org/10.1109/iccais52680.2021.9624515.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.

До бібліографії