Unilibrary. Oliy ta'lim muassasalarining yagona elektron kutubxona axborot tizimi.

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it focuses on model driven engineering methods including architecture description languages, virtual prototyping, and formal analysis methods. CPS are based on a new design paradigm intended to enable emerging software-intensive systems. Embedded computers and networks monitor and control the physical processes, usually with the help of feedback loops where physical processes affect computations and vice versa. The principal challenges in system design lie in this constant interaction of software, hardware and physics. Developing reliable CPS has become a critical issue for the industry and society, because many applications such as transportation, power distribution, medical equipment and tele-medicine are dependent on CPS. Safety and security requirements must be ensured by means of powerful validation tools. Satisfying such requirements, including quality of service, implies having formally proven the required properties of the system before it is deployed.

Transactions on Petri Nets and Other Models of Concurrency XII

The 9 papers cover a diverse range of topics including model checking and system verification, refinement, and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: security, service composition, databases, communication protocols, business processes, and distributed systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.

Pedagogik texnologiya

O`quv qo`llanmada pedagogik texnologiyaning konseptual asoslari, o‘qitish jarayonini loyihalashtirish va rejalashtirish, zamonaviy o‘qitish texnologiyalari, masofali talim texnologiyasi, tarbiya jarayonini texnologiyalashtirish masalalari yoritib berilgan.

Pedagogik diagnostika va korreksiya

Mazkur darslik pedagogika oliygohlari 5A 110901 - “Pedagogika nazariyasi va tarixi" ixtisosligi bo 'yicha tahsil olayotgan magistrantlar uchun mo ’Ijallangan bo'lib, О’zbekiston Respublikasi oliy ta ’lim davlat standartlari asosida tuzilgan.

Biologiya asoslari

Ushbu o'quv qo'llanma O'zbekiston Respublikasi Oliy va o'rta maxsus ta'lim vaziriigi tomonidan tasdiqlangan namunaviy dastur asosida yozilgan. Mazkur o'quv qo'llamada 5630100-Ekologiya va afrof-muhit muhofazasi ta'lim yo'nalishlari bo'yicha ta'lim olayotgan oliy o'quv yurtlari talabalari uchun muhim bo'lgan ‘Biologiya asoslari" fanidan nazariy bilimlami, o'simliklarning anatomik va morfologik tuzilishi, tuban va yuksak o'simliklar sistematikasi, hayotiy shakllari, o'simlik jamoalarining shakllanishi, fitotsenozdagi jarayonlar va boshqa biologik xususiyetlari to'g'risida yo'nalish profiliga mos bilim, ko'nikma va malakalari to'g'risida ma’lumotlar keltirilgan.

Hardware and Software: Verification and Testing

Simulation-based verification.- Software and hardware equivalence checking.- Static analysis.- Model checking.- Hardware/software co-verification.- Validation of data-intensive solutions.- Coverage analysis and test minimization.- Testing of mobile and cloud applications.- Software artifacts review and inspection.- Security verification.- Machine learning techniques for verification. This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.

Сборник методических материалов для курсового и дипломного проектирования выпуск 2

В книге составлены с целью облегчения построения линий влияния лишних неизвестных и усилий в сечениях различных арочных и комбинированных систем, имеющих применение в на стоящее время в мостах под железную и автогужевую дороги автором были приняты исходные положения и выведены основные расчетные формулы.

Advances in Visual Informatics

This book constitutes the refereed proceedings of the 5th International Conference on Advances in Visual Informatics, IVIC 2017, held in Bangi, Malaysia, in November 2017. The keynote and 72 papers presented were carefully reviewed and selected from 130 submissions. The papers are organized in the following topics: Visualization and Data Driven Technology; Engineering and Data Driven Innovation; Data Driven Societal Well-being and Applications; and Data Driven Cyber Security.

Гидромеханизация земляных работ

В книге изложены основы гидра механизированного способа ведения земляных работ, описаны плавучие землесосные снаряды и оборудование, применяемое при гидромониторной разработке грунта, приведены их техническая характеристика и сведения по монтажу, эксплуатации и ремонту описаны процессы, происходящие при разработке грунта и их влияние на производительность установок.

Cloud Computing, Security, Privacy in New Computing Environments

This book constitutes the refereed proceedings of the 7th International Conference on Cloud Computing, Security, Privacy in New Computing Environments, CloudComp 2016, and the First EAI International Conference SPNCE 2016, both held in Guangzhou, China, in November and December 2016.The proceedings contain 10 full papers selected from 27 submissions and presented at CloudComp 2016 and 12 full papers selected from 69 submissions and presented at SPNCE 2016. CloudComp 2016 presents recent advances and experiences in clouds, cloud computing and related ecosystems and business support. SPNCE 2016 focuses on security and privacy aspects of new computing environments including mobile computing, big data, cloud computing and other large-scale environments.

Дунё сиёсат жамият

Қўлланма ўқитувчилар, талабалар, академик лицей ва касб-ҳунар коллежлари ўқувчилари, абитуриентлар турли касб эгалари ва барча илмга қизикунчиларга мўлжалланган.

Digging into Software Knowledge Generation in Cultural Heritage

The book also reports on two case studies carried out in real-world scenarios within the Cultural Heritage setting. The book presents an original conceptual framework for developing software solutions to assist the knowledge generation process in connection with large archaeological data sets and related cultural heritage information― a context in which the inputs are mainly textual sources written in freestyle, i.e. without a predetermined, standard structure. Following an in-depth exploration of recent works on the knowledge generation process in the above-mentioned context and IT-based options for facilitating it, the book proposes specific new techniques capable of capturing the structure and semantics implicit in such textual sources, and argues for using this information in the knowledge generation process.

Reliability, Safety, and Security of Railway Systems

This volume constitutes the proceedings of the Second International Conference on Reliability, Safety and Security of Railway Systems, RRSRail 2017, held in Pistoia, Italy, in November 2017. The 16 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: communication challenges in railway systems; formal modeling and verification for safety; light rail and urban transit; and engineering techniques and standards. The book also contains one keynote talk in full-paper length.

Методы расчета сооружений на вибрацию и удар

В книге излагаются эффективные методы расчета инженерных сооружений на удар, описываются разработанные автором методы начальных параметров, моментов и перемещений в теории колебаний балок и свободных рам

Ёниқ сўз

Бугунги ўзбек адабиётшунослигидаги янгича тамойиллар яққол намоён бўлганлиги билан ажралиб турадиган ушбу китоб миллий адабий тафаккур ривожига жиддий таъсир кўрсатишига умид қиламиз.

The Semantic Web – ISWC 2017

The two-volume set LNCS 10587 + 10588 constitutes the refereed proceedings of the 16th International Semantic Web Conference, ISWC 2017, held in Vienna, Austria, in October 2017. ISWC 2017 is the premier international forum, for the Semantic Web / Linked Data Community. The total of 55 full and 21 short papers presented in this volume were carefully reviewed and selected from 300 submissions. They are organized according to the tracks that were held: Research Track; Resource Track; and In-Use Track.