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

35th IEEE International Parallel and Distributed Processing Symposium (IPDPS)

作者： Babenko, Mikhail Tchernykh, Andrei Pulido-Gaytan, Bernardo Cortes-Mendoza, Jorge M. Shiryaev, Egor Golimblevskaia, Elena Avetisyan, Arutyun Nesmachnow, Sergio North Caucasus Fed Univ Stavropol Russia CICESE Res Ctr Ensenada Baja California Mexico South Ural State Univ Chelyabinsk Russia RAS Ivannikov Inst Syst Programming Moscow Russia Univ Republica Montevideo Uruguay

ISBN: (纸本)9781665435772

Ensuring reliable data storage in a cloud environment is a challenging problem. One of the efficient mechanisms used to solve it is the Redundant Residue Number system (RRNS) with the projection method, a commonly used mechanism for detecting errors. However, the error correction based on the projection method has exponential complexity depending on the number of control and working moduli. In this paper, we propose an optimization mechanism using a base extension and Hamming distance to reduce the number of calculated projections. We show that they can be reduced up to three times than the classical projection method and, hence, the time complexity of data recovery in the distributed cloud data storage.

关键词： cloud computing residue number system reliability error-correcting code uncertainty

来源：评论

学校读者我要写书评

暂无评论

SmmPack: Obfuscation for SMM Modules with TPM Sealed Key 21st

SmmPack: Obfuscation for SMM Modules with TPM Sealed Key

引用

21st Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA)

作者： Matsuo, Kazuki Tanda, Satoshi Suzaki, Kuniyasu Kawakoya, Yuhei Mori, Tatsuya Waseda Univ 3-4-1 OkuboShinjuku Tokyo 1698555 Japan Inst Informat Secur 2-14-1 TsuruyachoKanagawa Ku Yokohama Kanagawa 2210835 Japan NTT Secur Japan KK 4-14-1 SotokandaChiyoda Ku Tokyo 1010021 Japan Satoshis Syst Programming Lab Vancouver BC Canada NICT 4-2-1 Nuki Kitamachi Kokubunji Tokyo 1840015 Japan RIKEN AIP 15th FloorNihonbashi 1-4-1Chuo Ku Tokyo 1030027 Japan

ISBN: (纸本)9783031641701;9783031641718

system Management Mode (SMM) is the highest-privileged operating mode of x86 and x86-64 processors. Through SMM exploitation, attackers can tamper with the Unified Extensible Firmware Interface (UEFI) firmware, disabling the security mechanisms implemented by the operating system and hypervisor. Vulnerabilities enabling SMM code execution are often reported as Common Vulnerabilities and Exposures (CVEs);however, no security mechanisms currently exist to prevent attackers from analyzing those vulnerabilities. To increase the cost of vulnerability analysis of SMM modules, we introduced SmmPack. The core concept of SmmPack involves encrypting an SMM module with the key securely stored in a Trusted Platform Module (TPM). We assessed the effectiveness of SmmPack in preventing attackers from obtaining and analyzing SMM modules using various acquisition methods. Our results show that SmmPack significantly increases the cost by narrowing down the means of module acquisition. Furthermore, we demonstrated that SmmPack operates without compromising the performance of the original SMM modules. We also clarified the management and adoption methods of SmmPack, as well as the procedure for applying BIOS updates, and demonstrated that the implementation of SmmPack is realistic.

关键词： UEFI SMM TPM2.0 Packing

来源：评论

学校读者我要写书评

暂无评论

On the Calculation of the Vortex Sheet and Point Vortices Effects at Approximate Solution of the Boundary Integral Equation in 2D Vortex Methods of Computational Hydrodynamics

引用

FLUID DYNAMICS 2019年第7期54卷 991-1001页

作者： Kuzmina, K. S. Marchevskii, I. K. Bauman Moscow State Syst Univ Moscow Russia RAS Ivannikov Inst Syst Programming Moscow Russia

When simulating incompressible flow around airfoil using vortex methods of computational hydrodynamics, it is necessary to solve the boundary integral equation with respect to the intensity of the vortex sheet at the airfoil surface line. For its approximate solution, the Galerkin method with a piecewise-constant and piecewise-linear representation of the solution on the airfoil surface line can be applied. The coefficients of the system of linear equations, arising from the procedure of discretization of the integral equation, e xpress the influence of the vortex sheet located on the panels of the airfoil surface line on other panels;the components of the right-hand side vector express the influence of point vortices that simulate a vortex wake in the flow domain. For the case of the airfoil surface line approximation with a polyline consisting of rectilinear panels, exact analytical expressions are obtained for the coefficients of the matrix and the right-hand side vector;for the case of taking into account the curvature of the panels, an approach for their approximate calculation is proposed and all the necessary formulae are derived.

关键词： vortex methods boundary integral equation computational hydrodynamics

来源：评论

学校读者我要写书评

暂无评论

Sydr: Cutting Edge Dynamic Symbolic Execution

Sydr: Cutting Edge Dynamic Symbolic Execution

引用

Ivannikov Ispras Open Conference (ISPRAS)

作者： Vishnyakov, Alexey Fedotov, Andrey Kuts, Daniil Novikov, Alexander Parygina, Darya Kobrin, Eli Logunova, Vlada Belecky, Pavel Kurmangaleev, Shamil RAS Ivannikov Inst Syst Programming Moscow Russia Lomonosov Moscow State Univ Moscow Russia Moscow Inst Phys & Technol Moscow Russia

ISBN: (纸本)9781665412919

The security development lifecycle (SDL) is becoming an industry standard. Dynamic symbolic execution (DSE) has enormous amount of applications in computer security (fuzzing, vulnerability discovery, reverse-engineering, etc.). We propose several performance and accuracy improvements for dynamic symbolic execution. Skipping non-symbolic instructions allows to build a path predicate 1.2-3.5 times faster. Symbolic engine simplifies formulas during symbolic execution. Path predicate slicing eliminates irrelevant conjuncts from solver queries. We handle each jump table (switch statement) as multiple branches and describe the method for symbolic execution of multi-threaded programs. The proposed solutions were implemented in Sydr tool. Sydr performs inversion of branches in path predicate. Sydr combines DynamoRlO dynamic binary instrumentation tool with Triton symbolic engine. We evaluated Sydr features on 64-bit Linux executables.

关键词： symbolic execution concolic execution dynamic analysis binary analysis dynamic binary instrumentation computer security security development lifecycle DSE SMT DBI SDL

来源：评论

学校读者我要写书评

暂无评论

Time-optimal state transfer for an open qubit

引用

JOURNAL OF PHYSICS A-MATHEMATICAL AND THEORETICAL 2024年第27期57卷 275302-275302页

作者： Lokutsievskiy, L., V Pechen, A. N. Zelikin, M., I Russian Acad Sci Steklov Math Inst 8 Gubkina str Moscow 119991 Russia Lomonosov Moscow State Univ GSP-1 Leninskie Gory Moscow 119991 Russia Russian Acad Sci Ivannikov Inst Syst Programming Alexandra Solzhenitsyna str 25 Moscow 109004 Russia Univ Sci & Technol MISIS 4 Leninsky Prosp Moscow 119991 Russia

Finding minimal time and establishing the structure of the corresponding optimal controls which can transfer a given initial state of a quantum system into a given target state is a key problem of quantum control. In this work, this problem is solved for a basic component of various quantum technology processes-a qubit interacting with the environment and experiencing an arbitrary time-dependent coherent driving. We rigorously derive both upper and lower estimates for the minimal steering time. Surprisingly, we discover that the optimal controls have a very special form-they consist of two impulses, at the beginning and at the end of the control period, which can be assisted by a smooth time-dependent control in between. Moreover, an important for practical applications explicit almost optimal state transfer protocol is provided which only consists of four impulses and gives an almost optimal time of motion. The results can be directly applied to a variety of experimental situations for estimation of the ultimate limits of state control for quantum technologies.

关键词： open qubit coherent control optimal transfer quantum control geometric control theory

来源：评论

学校读者我要写书评

暂无评论

Academician Ivannikov Victor Petrovich

Academician Ivannikov Victor Petrovich

引用

Ivannikov Ispras Open Conference (ISPRAS)

作者： Avetisyan, Arutyun, I Prokhorov, Sergei P. Russian Acad Sci Ivannikov Inst Syst Programming Moscow Russia Russian Acad Sci Vavilov Inst Hist Sci & Technol Moscow Russia

ISBN: (纸本)9781665412919

The article is dedicated to Victor Ivannikov, a prominent Russian scientist who worked in computer science, primarily system programming. His practical work was primarily related to the development of operating systems to manage multicomputer heterogeneous systems. The AS-6 multi-machine complex developed with his active participation was used in the Apollo-Soyuz space flight control, the first international space mission, carried out jointly by the United States and the Soviet Union. In the difficult period of the 1990s, when funding for new computer developments in Russia almost wholly ceased, he created the institute for system programming. Now it is a successful institute actively participating in international research programs and practical projects. He was an active participant in the Central-East European Initiative of the IEEE Computer Society, designed to remove the barriers that prevented scientists from socialist countries from participating in international cooperation during the Cold War. He was the founder and first head of the systems programming departments at three leading Russian universities. He achieved a lot in his life. However, he considered the most important achievement of his life that he succeeded to found the institute for system programming. The institute, in which system programming is not tied to a specific computer model, but system programming is the dominant discipline as a scientific direction. An institute in which an "atmosphere of creative brotherhood" would prevail. He considered this to be the essential condition for creative work and the achievement of high scientific results.

关键词： Ivannikov institute for system programming history of computing

来源：评论

学校读者我要写书评

暂无评论

Cryptographic Primitives Optimization Based on the Concepts of the Residue Number system and Finite Ring Neural Network 4th

Cryptographic Primitives Optimization Based on the Concepts ...

引用

4th International Conference on Optimization and Learning (OLA)

作者： Tchernykh, Andrei Babenko, Mikhail Pulido-Gaytan, Bernardo Shiryaev, Egor Golimblevskaia, Elena Avetisyan, Arutyun Hung, Nguyen Viet Cortes-Mendoza, Jorge M. CICESE Res Ctr Ensenada BC Mexico Ivannikov Inst Syst Programming Moscow Russia South Ural State Univ Chelyabinsk Russia North Caucasus Fed Univ Stavropol Russia Le Quy Don Tech Univ Hanoi Vietnam

ISBN: (纸本)9783030856717;9783030856724

Data encryption has become a vital mechanism for data protection. One of the main challenges and an important target for optimization is the encryption/decryption speed. In this paper, we propose techniques for speeding up the software performance of several important cryptographic primitives based on the Residue Number system (RNS) and Finite Ring Neural Network (FRNN). RNS&FRNN reduces the computational complexity of operations with arbitrary-length integers such as addition, subtraction, multiplication, division by constant, Euclid division, and sign detection. To validate practical significance, we compare LLVM library implementations with state-of-the-art, high-performance, portable C++ NTL library implementations. The experimental analysis shows the superiority of the proposed optimization approach compared to the available approaches. For the NIST FIPS 186-5 digital signature algorithm, the proposed solution is 85% faster, even though the sign detection has low efficiency.

关键词： Residue number system Finite ring neural network Encryption High-performance Cryptographic primitives

来源：评论

学校读者我要写书评

暂无评论

Effects of maternal high-fat/high sucrose diet on hepatic lipid metabolism in rat offspring

引用

CLINICAL AND EXPERIMENTAL PHARMACOLOGY AND PHYSIOLOGY 2021年第1期48卷 86-95页

作者： Ingvorsen, Camilla Lelliott, Christopher J. Brix, Susanne Hellgren, Lars I. Tech Univ Denmark Dept Syst Biol Lyngby Denmark Ctr Fetal Programming Copenhagen Denmark Wellcome Trust Sanger Inst Mouse Genet Project Hinxton England Novo Nordisk AS Novo Nordisk Pk 1 DK-2760 Malov Denmark Tech Univ Denmark Dept Biotechnol & Biomed Lyngby Denmark

Maternal obesity and/or high-fat diet during pregnancy predispose the offspring to metabolic disease. It is however unclear how pre-natal and post-natal exposure respectively affect the risk of hepatic steatosis and the trajectory towards non-alcoholic steatohepatitis in the offspring. We investigate hepatic lipid metabolism and how these factors are related to metabolic outcome in new born and young rats. Rat dams were exposed to a high-fat/high sucrose (HFHS) diet for 17 weeks prior to mating and during pregnancy. After birth, female offspring were killed and male offspring were cross-fostered, creating four groups;Control-born pups lactated by control (CC) or HFHS dams (CH) and HFHS-born pups lactated by control (HC) or HFHS dams (HH). At 4 weeks of age, pups were killed and metabolic markers in plasma were assayed, together with hepatic lipid composition and expression of relevant genes. Female HFHS neonates had smaller livers at birth (P < .05), a reduced hepatic lipid content (P < .05) and altered lipid composition. The post-natal environment dominated the metabolic profile in the male offspring at 4 weeks of age. Offspring exposed to a HFHS environment post-natally had increased adiposity (P < .0001), increased hepatic triacylglycrol accumulation (P < .0001), and an altered lipid profile with elevatedn-6 polyunsaturated fatty acid (PUFA) levels (P < .0001) and a reduction in ceramide (P < .001) and monounsaturated fatty acid (MUFA) (P < .0001). In summary, maternal HFHS diet during gestation affects the hepatic lipid profile in neonates. The pre-natal exposure becomes less pronounced in young male offspring at 4 weeks of age, where the post-natal diet has the largest impact.

关键词： fetal programming hepatic lipid profile obese-prone rats steatosis

来源：评论

学校读者我要写书评

暂无评论

Characterization model of the post COVID-19 condition based on immunological, biochemical, and cytokine markers

引用

ISCIENCE 2024年第9期27卷 110839页

作者： Olivan-Blazquez, Barbara Bona-Otal, Marta Mendez-Lopez, Fatima Lerma-Irureta, David Garcia-Izuel, Paula Ibanez-Ruiz, Jesus Montolio, Alberto Ruiz-Herreros, Maria Godino, Javier Jimeno-Beltran, Beatriz Encabo-Berzosa, Maria del Mar Arenaz, Izaskun Medel-Martinez, Ana Casado-Vicente, Veronica Coiras, Mayte Telleria-Orriols, Carlos Schoorlemmer, Jon Magallon-Botaya, Rosa Univ Zaragoza Dept Psychol & Sociol Zaragoza Spain Inst Hlth Res Aragon IIS Aragon Aragonese Primary Care Res Grp GAIAP Zaragoza Spain Carlos III Hlth Inst Res Network Chron Primary Care & Hlth Promot RICAP Madrid Spain Navarre Hlth Serv Pamplona Spain Univ Zaragoza Dept Med Psychiat & Dermatol Zaragoza Spain Inst Aragones Ciencias Salud IACS Endogenous Retroviruses ERVs Dev & Dis Grp Zaragoza Spain ARAID Fdn Zaragoza Spain Inst Aragones Ciencias Salud IACS Biocomp Unit Zaragoza Spain Tarazona Primary Hlth Care Ctr Aragonese Healthcare Serv SALUD Zaragoza Spain Inst Aragones Ciencias Salud IACS Cell Separat & Flow Cytometry Core Zaragoza Spain Inst Aragones Ciencias Salud IACS Biobank Aragon Hlth Syst Zaragoza Spain Inst Hlth Res Aragon IIS Aragon Placental Pathophysiol & Fetal Programming Res Grp Zaragoza Spain Univ Valladolid Parquesol Univ Univ Teaching Unit Family & Community Med Hlth CtrCastilla & Leon Hlth Serv SACYL Valladolid Spain Natl Ctr Microbiol Inst Salud Carlos 3 Immunopathol & Viral Reservoir Unit Madrid Spain

Post-coronavirus disease condition (PCC) continues to affect many people globally, yet there remains a lack of diagnostic biomarkers to distinguish PCC from those recovered from acute COVID-19. This study compared biomarkers between two age- and gender-matched groups: PCC individuals and those recovered within three months of acute COVID-19 in 2020 (n n = 85 each). Biomarkers were assessed 12- 24 months after initial diagnosis, examining biochemical profiles, blood cell counts, coagulation status, antibody serology, lymphocyte populations, and cytokine levels. PCC individuals exhibited significant alterations in 49 of 167 markers, including K+ levels, a GAD antibodies, antithrombin III, insulin-like growth factor-binding protein 3 (IGFBP3), and interleukin-10 (IL-10). A panel of a GAD, IL-10, potassium levels, and CD16brightCD56- bright CD56- cell presence distinguished PCC individuals from recovered patients with >88% accuracy and <92% precision.

关键词： Immunology Virology Biochemistry

来源：评论

学校读者我要写书评

暂无评论

Generalized likelihood ratio test for optical subpixel objects' detection with hypothesis-dependent background covariance matrix

引用

JOURNAL OF APPLIED REMOTE SENSING 2020年第4期14卷

作者： Golikov, Victor Samovarov, Oleg Zhilyakov, Evgeniy Rullan-Lara, Jose L. Alazki, Hussain Autonomous Univ Carmen Engn Fac Ciudad del Carmen Campeche Mexico Ivannikov Inst Syst Programming Moscow Russia Plekhanov Russian Univ Econ Moscow Russia Belgorod State Univ Belgorod Russia

Much interest has arisen in the problem of detecting weak optical subpixel objects in a sequence of images immersed in a heavy homogeneous Gaussian clutter background. In optical systems, the presence of the objects changes the background plus the channel noise covariance matrix. Hence, this matrix may be different under null and alternative hypotheses. Because the maximum likelihood estimate of the background covariance matrix is not available when using the primary data set, we use an approximate estimate of a certain number of eigenvalues of the background covariance matrix that are available for estimation. We derived the general likelihood ratio test for the problem at hand and obtained the modified spectrum matching detector (MSpMD). Using the simulation results, we contrast it with well-known spectrum matching detectors and the hypothesis-independent matched subspace detectors. We also present experimental results of small subpixel objects detection on an agitated sea surface, using digital optical experiments that demonstrate the validation of the simulating results. We show the advantage of the MSpMD that allows to detect small subpixel floating objects on an agitated sea surface even with the same means and variances of the reflected signals from the sea surface and the object. (C) The Authors. Published by SPIE under a Creative Commons Attribution 4.0 Unported License.

关键词： subpixel detection image sequences unknown background spectra

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：