检索结果-内蒙古大学图书馆

International Conference on High Performance Computing & Simulation (HPCS)

作者： Feoktistov, Alexander Sidorov, Ivan Tchernykh, Andrei Edelev, Alexei Zorkalzev, Valery Kostromin, Roman Gorsky, Sergey Bychkov, Igor Avetisyan, Arutyun Russian Acad Sci Matrosov Inst Syst Dynam & Control Theory Siberian Branch Irkutsk Russia CICESE Res Ctr Ensenada Baja California Mexico Russian Acad Sci Ivannikov Inst Syst Programming Moscow Russia South Ural State Univ Chelyabinsk Russia Russian Acad Sci Siberian Branch Melentiev Energy Syst Inst Irkutsk Russia

ISBN: (纸本)9781538678794

We address dynamic elasticity issues of VM provisioning in a heterogeneous distributed computing environment that integrates resources of a data center. We consider the scenario when the center includes dedicated resources (private cloud) for providing virtualized service and non-dedicated resources for Grid-computing. Existing platforms for the resource virtualization does not support management of such an infrastructure. We propose an approach to a job management based on the dynamic elasticity of virtual machines provisioning using resources of both types. We develop the multi-agent job scheduler for dedicated resources and hypervisor shell to launch virtual machines through queues of resource management systems in non-dedicated resources. The scheduler provides a dynamic elasticity of virtual machine provisioning. Advantages of the offered approach to the resource virtualization are demonstrated by an example of a job flow management for a scalable application to solve the complicated practical problem. It is related to the energy security of Vietnam. Provided experiments show that using the developed tools together with the platform for the resource virtualization enables agents to significantly speed up the problem-solving process.

关键词： cloud Grid virtual machines multi-agent management

来源：评论

学校读者我要写书评

暂无评论

Secure Verifiable Secret Short Sharing Scheme for Multi-Cloud Storage 16

Secure Verifiable Secret Short Sharing Scheme for Multi-Clou...

引用

International Conference on High Performance Computing & Simulation (HPCS)

作者： Deryabin, Maxim Chervyakov, Nikolay Tchernykh, Andrei Babenko, Mikhail Kucherov, Nikolay Miranda-Lopez, Vanessa Avetisyan, Arutyun North Caucasus Fed Univ Stavropol Russia CICESE Res Ctr Ensenada Baja California Mexico South Ural State Univ Chelyabinsk Russia RAS Inst Syst Programming Moscow Russia

ISBN: (纸本)9781538678794

In this paper, we propose a new approach to the construction of computationally secure secret sharing scheme based on the simultaneous use of the Residue Number system (RNS), as the symmetric encryption, and the perfect Asmuth-Bloom secret sharing scheme. We combine the useful features of Redundant RNS to design space efficient secret sharing scheme with enough level of security and to control of data integrity. This combination provides verifiability and achieves a high speed of data processing.

关键词： Threshold secret sharing scheme computationally secure secret sharing verifiable scheme Residue Number system cloud data storage distributed storage multi-clouds

来源：评论

学校读者我要写书评

暂无评论

Methods for Vibration Reduction in Enclosed Electronic Packages

Methods for Vibration Reduction in Enclosed Electronic Packa...

引用

18th International Scientific Conference on Diagnostics of Machines and Vehicles (Diagnostyka)

作者： Kovtun, Igor Boiko, Juliy Petrashchuk, Svitlana Kalaczynski, Tomasz Khmelnytsky Natl Univ Dept Art & Tech Graph Technol & Design Fac 11 Inst Ska Str UA-29016 Khmelnitsky Ukraine Khmelnytsky Natl Univ Dept Telecommun & Radio Engn Programming & Comp Telecommun Syst Fac 11 Inst Ska Str UA-29016 Khmelnitsky Ukraine UTP Bydgoszcz Dept Vehicle Engn Fac Mech Engn Al Prof S Kaliskiego 7 PL-85796 Bydgoszcz Poland

Excitation and transmission of vibration inside electronic packages are strongly connected with mechanical characteristics of their enclosure, which are in the objective for the current research aimed at developing methods and means to reduce vibration inside the enclosure case. The main idea of the introduced methods is in creating elastic and dissipative mechanical joints between structural elements, which appear to be the links for vibration transmission, inside and outside of the electronic package enclosure. The effectiveness of developed methods is proved by experimental verification and theoretical foundation.

关键词： Enclosures

来源：评论

学校读者我要写书评

暂无评论

Active Learning and Crowdsourcing: A Survey of Optimization Methods for Data Labeling

引用

programming AND COMPUTER SOFTWARE 2018年第6期44卷 476-491页

作者： Gilyazev, R. A. Turdakov, D. Yu. Russian Acad Sci Ivannikov Inst Syst Programming Ul Solzhenitsyna 25 Moscow 109004 Russia Moscow Inst Phys & Technol Inst Skii Per 9 Dolgoprudnyi 141701 Moscow Oblast Russia Moscow MV Lomonosov State Univ Moscow 119991 Russia Natl Res Univ Higher Sch Econ Ul Myasnitskaya 20 Moscow 101000 Russia

High-quality annotated collections are a key element in constructing systems that use machine learning. In most cases, these collections are created through manual labeling, which is expensive and tedious for annotators. To optimize data labeling, a number of methods using active learning and crowdsourcing were proposed. This paper provides a survey of currently available approaches, discusses their combined use, and describes existing software systems designed to facilitate the data labeling process.

关键词： Optimization methods Crucial components Crowdsource Software systems

来源：评论

学校读者我要写书评

暂无评论

UWB Channel Impulse Responses for Positioning in Complex Environments: A Detailed Feature Analysis

引用

SENSORS 2019年第24期19卷 5547-5547页

作者： Kram, Sebastian Stahlke, Maximilian Feigl, Tobias Seitz, Jochen Thielecke, Joern Fraunhofer IIS Wolfsmantel 33 D-91058 Erlangen Germany FAU Inst Informat Technol Commun Elect D-91058 Erlangen Germany Georg Simon Ohm Inst Technol D-90489 Nurnberg Germany FAU Programming Syst Grp D-91058 Erlangen Germany

Radio signal-based positioning in environments with complex propagation paths is a challenging task for classical positioning methods. For example, in a typical industrial environment, objects such as machines and workpieces cause reflections, diffractions, and absorptions, which are not taken into account by classical lateration methods and may lead to erroneous positions. Only a few data-driven methods developed in recent years can deal with these irregularities in the propagation paths or use them as additional information for positioning. These methods exploit the channel impulse responses (CIR) that are detected by ultra-wideband radio systems for positioning. These CIRs embed the signal properties of the underlying propagation paths that represent the environment. This article describes a feature-based localization approach that exploits machine-learning to derive characteristic information of the CIR signal for positioning. The approach is complete without highly time-synchronized receiver or arrival times. Various features were investigated based on signal propagation models for complex environments. These features were then assessed qualitatively based on their spatial relationship to objects and their contribution to a more accurate position estimation. Three datasets collected in environments of varying degrees of complexity were analyzed. The evaluation of the experiments showed that a clear relationship between the features and the environment indicates that features in complex propagation environments improve positional accuracy. A quantitative assessment of the features was made based on a hierarchical classification of stratified regions within the environment. Classification accuracies of over 90% could be achieved for region sizes of about 0.1 m(2). An application-driven evaluation was made to distinguish between different screwing processes on a car door based on CIR measures. While in a static environment, even with a single infrastructure tag, n

关键词： Ultra-Wideband positioning channel modeling machine learning feature extraction

来源：评论

学校读者我要写书评

暂无评论

MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors 11th

引用

11th International Andrei P. Ershov Informatics Conference on Perspectives of system Informatics (PSI)

作者： Kamkin, Alexander Tatarnikov, Andrei Russian Acad Sci Inst Syst Programming Moscow Russia Lomonosov Moscow State Univ Moscow Russia Moscow Inst Phys & Technol Dolgoprudnyi Moscow Region Russia Natl Res Univ Higher Sch Econ Moscow Russia

ISBN: (纸本)9783319743134;9783319743127

The paper presents MicroTESK, a tool for test program generation for functional verification of microprocessors. It generates test programs from templates which describe generation tasks in terms of constraints that must be satisfied in order to reach certain coverage goals. The tool uses formal specifications of the instruction set as a source of knowledge about the microprocessor under verification. This gives several advantages. First, the tool is easily adapted to new architectures by providing corresponding specifications. Second, constraints that constitute coverage model are automatically extracted from specifications. Third, a reference model used to track the microprocessor state during test generation is constructed on the basis of specifications. Such an approach helps to reduce the effort required to create test programs and increase the quality of testing. The tool has been successfully applied in industrial projects for verification of ARMv8 and MIPS64 microprocessors.

关键词： Microprocessors Functional verification Test program generation Formal specifications instruction set architectures

来源：评论

学校读者我要写书评

暂无评论

Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code 1

引用

11th International Andrei P. Ershov Informatics Conference on Perspectives of system Informatics (PSI)

作者： Belevantsev, Andrey Avetisyan, Arutyun Russian Acad Sci Inst Syst Programming Moscow Russia Moscow MV Lomonosov State Univ Moscow Russia Natl Univ Moscow Inst Phys & Technol Moscow Russia Natl Res Univ Higher Sch Econ Moscow Russia

ISBN: (数字)9783319743134

ISBN: (纸本)9783319743134;9783319743127

This paper presents the formalism for multiple level static analysis for defect detection in source code. The first level has the program and memory model that are suitable for AST-level checks. The following levels address detection of critical errors: on the second level interprocedural partially context-sensitive analysis is performed via dataflow analysis and symbolic execution with state merging, whereas the third level adds path-sensitivity via predicate tracking for the dataflow information computed on the second. The analysis designer can freely choose the appropriate analysis level or their combination to check the desired program property. The presented methods are implemented in the Svace static analysis toolset. The first analysis levels for C/C++ and Java are implemented as extensions of corresponding production compilers (Clang and javac) and Find-Bugs tool plugins, while the second and third levels make the core of Svace analyzer together with 100+ implemented checkers for critical defects. The evaluation on extra large codebases of millions lines of code such as full-blown Android and Tizen OSes has shown the approach scalability and the acceptable false positives ratio (less than 40%).

关键词： Static analysis Symbolic execution Defect detection

来源：评论

学校读者我要写书评

暂无评论

Test Program Generator MicroTESK for RISC-V 19

Test Program Generator MicroTESK for RISC-V

引用

19th International Workshop on Microprocessor and SOC Test, Security and Verification (MTV)

作者： Chupilko, Mikhail Kamkin, Alexander Kotsynyak, Artem Protsenko, Alexander Smolov, Sergey Tatarnikov, Andrei RAS ISP Ivannikov Inst Syst Programming Moscow Russia Lomonosov Moscow State Univ MSU Moscow Russia MIPT Moscow Russia Natl Res Univ Higher Sch Econ HSE Moscow Russia

ISBN: (纸本)9781538692509

The paper presents a test program generator for functional verification of RISC-V microprocessors. The generator is implemented on the base of MicroTESK framework and consists of formal specifications of RISC-V ISA and ISA-independent core. The specifications describe instructions' syntax and semantics and can be easily modified to support more instructions (including custom extensions). The core implements techniques of instruction sequences composition and test data generation. Test programs are generated from test templates, describing the programs' structural and behavioral properties;among generation techniques, random, combinatorial, and constraint-based ones are supported.

关键词： functional verification ISA MicroTESK RISC-V

来源：评论

学校读者我要写书评

暂无评论

Learning and Scaling Directed Networks via Graph Embedding

Learning and Scaling Directed Networks via Graph Embedding

引用

European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD)

作者： Drobyshevskiy, Mikhail Korshunov, Anton Turdakov, Denis Russian Acad Sci Inst Syst Programming Moscow Russia

ISBN: (纸本)9783319712499;9783319712482

Reliable evaluation of network mining tools implies significance and scalability testing. This is usually achieved by picking several graphs of various size from different domains. However, graph properties and thus evaluation results could be dramatically different from one domain to another. Hence the necessity of aggregating results over a multitude of graphs within each domain. The paper introduces an approach to automatically learn features of a directed graph from any domain and generate similar graphs while scaling input graph size with a real-valued factor. Generating multiple graphs with similar size allows significance testing, while scaling graph size makes scalability evaluation possible. The proposed method relies on embedding an input graph into low-dimensional space, thus encoding graph features in a set of node vectors. Edge weights and node communities could be imitated as well in optional steps. We demonstrate that embedding-based approach ensures variability of synthetic graphs while keeping degree and subgraphs distributions close to the original graphs. Therefore, the method could make significance and scalability testing of network algorithms more reliable without the need to collect additional data. We also show that embedding-based approach preserves various features in generated graphs which can't be achieved by other generators imitating a given graph.

关键词： Random graph generating Graph embedding Representation learning

来源：评论

学校读者我要写书评

暂无评论

Parental occupational exposure to pesticides, animals and organic dust and risk of childhood leukemia and central nervous system tumors: Findings from the International Childhood Cancer Cohort Consortium (I4C)

引用

INTERNATIONAL JOURNAL OF CANCER 2020年第4期146卷 943-952页

作者： Patel, Deven M. Jones, Rena R. Booth, Benjamin J. Olsson, Ann C. Kromhout, Hans Straif, Kurt Vermeulen, Roel Tikellis, Gabriella Paltiel, Ora Golding, Jean Northstone, Kate Stoltenberg, Camilla Haberg, Siri E. Schuz, Joachim Friesen, Melissa C. Ponsonby, Anne-Louise Lemeshow, Stanley Linet, Martha S. Magnus, Per Olsen, Jorn Olsen, Sjurdur F. Dwyer, Terence Stayner, Leslie T. Ward, Mary H. NCI Occupat & Environm Epidemiol Branch Div Canc Epidemiol & Genet NIH Rockville MD USA Washington State Dept Hlth Off Community Hlth Syst Olympia WA USA Int Agcy Res Canc Sect Environm & Radiat Lyon France Univ Utrecht Inst Risk Assessment Sci Div Environm Epidemiol Utrecht Netherlands Int Agcy Res Canc Lyon France Univ Melbourne Murdoch Childrens Res Inst Royal Childrens Hosp Populat Hlth Melbourne Vic Australia Hadassah Hebrew Univ Dept Hematol Jerusalem Israel Hadassah Hebrew Univ Braun Sch Publ Hlth & Community Med Jerusalem Israel Univ Bristol Bristol Med Sch Populat Hlth Sci Bristol Avon England Norwegian Inst Publ Hlth Oslo Norway Univ Bergen Dept Global Publ Hlth & Community Care Bergen Norway Univ Tasmania Menzies Res Inst Hobart Tas Australia Ohio State Univ Coll Publ Hlth Columbus OH 43210 USA NCI Radiat Epidemiol Branch Div Canc Epidemiol & Genet NIH Rockville MD USA Aarhus Univ Dept Clin Epidemiol Aarhus Denmark Univ Calif Los Angeles Sch Publ Hlth Dept Publ Hlth & Epidemiol Los Angeles CA 90024 USA Staten Serum Inst Ctr Fetal Programming Dept Epidemiol Res Copenhagen Denmark Univ Oxford George Inst Global Hlth Nuffield Dept Obstet & Gynaecol Oxford England Univ Illinois Sch Publ Hlth Div Epidemiol & Biostat Chicago IL USA

Parental occupational exposures to pesticides, animals and organic dust have been associated with an increased risk of childhood cancer based mostly on case-control studies. We prospectively evaluated parental occupational exposures and risk of childhood leukemia and central nervous system (CNS) tumors in the International Childhood Cancer Cohort Consortium. We pooled data on 329,658 participants from birth cohorts in five countries (Australia, Denmark, Israel, Norway and United Kingdom). Parental occupational exposures during pregnancy were estimated by linking International Standard Classification of Occupations-1988 job codes to the ALOHA+ job exposure matrix. Risk of childhood (<15 years) acute lymphoblastic leukemia (ALL;n= 129), acute myeloid leukemia (AML;n= 31) and CNS tumors (n= 158) was estimated using Cox proportional hazards models to generate hazard ratios (HR) and 95% confidence intervals (CI). Paternal exposures to pesticides and animals were associated with increased risk of childhood AML (herbicides HR = 3.22, 95% CI = 0.97-10.68;insecticides HR = 2.86, 95% CI = 0.99-8.23;animals HR = 3.89, 95% CI = 1.18-12.90), but not ALL or CNS tumors. Paternal exposure to organic dust was positively associated with AML (HR = 2.38 95% CI = 1.12-5.07), inversely associated with ALL (HR = 0.55, 95% CI = 0.31-0.99) and not associated with CNS tumors. Low exposure prevalence precluded evaluation of maternal pesticide and animal exposures;we observed no significant associations with organic dust exposure. This first prospective analysis of pooled birth cohorts and parental occupational exposures provides evidence for paternal agricultural exposures as childhood AML risk factors. The different risks for childhood ALL associated with maternal and paternal organic dust exposures should be investigated further.

关键词： agricultural exposures childhood cancer childhood leukemia childhood brain tumors parental occupation organic dust pesticides animals

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：