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

17th International Workshop on Intelligent Computing in Engineering, EG-ICE 2010

作者： Semenov, Vitaly Kazakov, Konstantine Zolotov, Vladislav Jones, Huw Jones, Stephan Institute for System Programming Russian Academy of Sciences Moscow Russia Advanced Construction Technologies - UK Coventry United Kingdom

ISBN: (纸本)9781907284601

Collision detection is the most time consuming component of many geometric reasoning applications like CAD/CAM, robotics and automation, computer graphics, and virtual reality. Performance is also a crucial factor for 4D planning applications targeted on scheduling of large industry projects by means of identifying and resolving of clashes in complex dynamic scenes, containing thousands and millions of objects. Many methods have been proposed and successfully implemented to deal with different statements and peculiarities of the dynamic collision detection problem. In this paper, we develop and analyze a combined strategy that exploits spatial and temporal coherence of scenes appearing in 4D planning applications. The strategy takes into account complexity and large scales of scenes, evolving character of fragments, significant temporal latency, and availability of identical objects. The strategy combines spatial decomposition, bounding volumes and temporal analysis methods yielding substantially faster collision detection than previous known methods being applied separately or discordantly. To implement the strategy, a special spatio-temporal partition schema (STPS) has been proposed and developed. The results are presented in conformity to performance benchmarks relating to architecture, engineering and construction projects. © 2018 Esprit. All rights reserved.

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

advanced Grammar-Based Fuzzing

Advanced Grammar-Based Fuzzing

引用

2022 Ivannikov Memorial Workshop, IVMEM 2022

作者： Sargsyan, Sevak Hakobyan, Jivan Mehrabyan, Matevos Mkoyan, Ruslan Sahakyan, Vardan Melkonyan, Vahagn Arutunian, Mariam Fahradyan, Arman Avetisyan, Arutyun Russian-Armenian University Center of Advanced Software Technologies Yerevan Armenia Programming of the RAS Ivannikov Institute for System Moscow Russia

ISBN: (数字)9781665492973

ISBN: (纸本)9781665492973

This article presents novel method for efficient fuzzing of programs accepting complex structured data. It generates input data based on formal grammar description. Data generator is periodically autoconfigured based on target programs code coverage. It means that the type of generated programs is dynamically changed to increase code coverage. Data generator uses descriptions of BNF (Backus-Naur Form) rules in ANTLR (ANother Tool for Language Recognition) platform. More than 250 languages and data formats are supported. Every rule of grammar is designed as universal pushdown automata, which allows automatically generate BNF compatible data by traversing automata. We added weights for each transition of automata to provide priority of highly efficient paths (sequence of transitions). These weights are automatically changed by fuzzing engine, which provides data generator adaptation based on the coverage of the target programs. According to experimental results, we were able to increase code coverage significantly for several widely used programs including compilers. © 2022 IEEE.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

LAR-CC: Large atomic regions with conditional commits

LAR-CC: Large atomic regions with conditional commits

引用

作者： Borin, Edson Wu, Youfeng Breternitz, Mauricio Wang, Cheng Institute of Computing University of Campinas Brazil Programming Systems Lab. Intel Labs. United Kingdom Advanced Software and Analytics Technology Group - AMD United Kingdom

ISBN: (纸本)9781612843551

HW/SW Co-designed systems rely on dynamic binary translation and optimizations for efficient execution of binary code. Due to memory ordering properties and other architectural constraints, most binary optimizations are applied to regions of code that are atomically executed. To ensure that the underlying hardware has enough speculative resources to execute the whole atomic region, these systems typically form short atomic regions, with only 20 to 30 instructions. However, the shorter is the atomic region the smaller is the scope for optimizations. We present LAR-CC, a novel technique that enables HW/SW co-designed systems to optimize large atomic regions and dynamically fit them into the available speculative hardware resources by means of conditional commits. The LAR-CC technique consists of two major components: 1) conditional branch instructions to conditionally skip commit operations;2) code transformations that replace commit operations by conditional commits and enable optimizations to be applied on the large atomic regions. Our experiments show that LAR-CC can effectively achieve dynamic atomic region sizes larger than 1000 instructions, providing sufficiently large scope to apply many advanced optimizations on HW/SW co-designed systems. © 2011 IEEE.

关键词： Cosine transforms

来源：评论

学校读者我要写书评

暂无评论

Reasoning (on) service component ensembles in rewriting logic

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014年 8373卷 188-211页

作者： Belzner, Lenz De Nicola, Rocco Vandin, Andrea Wirsing, Martin Programming and Software Engineering LMU Munich Germany IMT Institute for Advanced Studies Lucca Italy

programming autonomic systems with massive number of heterogeneous components poses a number of challenges to language designers and software engineers and requires the integration of computational tools and reasoning tools. We present a general methodology to enrich SCEL, a recently introduced language for programming systems with massive numbers of components, with reasoning capabilities that are guaranteed by external reasoners. We show how the methodology can be instantiated by considering the Maude implementation of SCEL and a specific reasoner, Pirlo, implemented in Maude as well. Moreover we show how the actual integration can benefit from the existing analytical tools of the Maude framework. In particular, we demonstrate our approach by considering a simple scenario consisting of a group of robots moving in an arena aiming at minimising the number of collisions. © 2014 Springer-Verlag Berlin Heidelberg.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Aerodynamic Analysis of Delta Wing Aircraft and Effect of the Propeller Using OpenFOAM

Aerodynamic Analysis of Delta Wing Aircraft and Effect of th...

引用

Ivannikov ISPRAS Open Conference (ISPRAS)

作者： Ruslan Mkoyan Daria Romanova Sevak Sargsyan Andrey Epikhin Center of advanced software technologies Russian-Armenian University Ivannikov Institute for System Programming of the RAS Yerevan Armenia Lomonosov MSU Ivannikov Institute for System Programming of the RAS Moscow Russia Ivannikov Institute for System Programming of the RAS Moscow Russia

This paper presents a calculation of the aerodynamic characteristics of the ZOHD Alpha Strike UAV model, designed with a delta wing. The focus of the study is the overall layout of the aircraft and the influence of the propeller on its aerodynamic characteristics. The computational fluid dynamics tool OpenFOAM is used as an effective method to solve the complex aerodynamic problems inherent in this UAV model. Research is carried out in an incompressible flow, due to the low speeds inherent in such aircraft. A numerical methodology is proposed for quick evaluation of the aerodynamic performances of UAV models with a propeller. A simple dynamic model and flight data are presented. The calculation results are verified using a flight experiment.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Technological parameters of thin-film pulsed laser scribing for perovskite photovoltaics

引用

Clean Energy 2024年第3期8卷 127-135页

作者： Rustam Ishteev Pavel Gostishchev Mariia Tiukhova Anton Sorokin Arthur Ishteev Vladimir Kondratenko Laboratory of Precision Machining of Materials Department of NanoelectronicsInstitute for Advanced Technologies and Industrial ProgrammingRTU MIREAMoscowRussia Research and Practical Clinical Center for Diagnostics and Telemedicine Technologies of the Moscow Health Care Department MoscowRussia Laboratory of Advanced Solar Energy(LASE) National University of Science and Technology MISIS4 Leninsky St.MoscowRussia Semenov Federal Research Center of Chemical Physics Russian Academy of Sciences(RAS)4 Kosygina str.MoscowRussia

Over the past decade,the power conversion efficiency of halide perovskite solar cells has shown a rapid increase to 26.1%.The significant efficiency growth and the relative simplification of the technology for obtaining thin-film solar cells due to liquid printing methods determine the high potential for the low-cost perovskite solar cells ***,efficient use of cell geometry is comparable to the size of standard crystalline-Si wafers(156:156 mm and more).Therefore,modular geometry similar to amorphous-Si solar cell approaches is used to scale perovskite solar *** electrical connection of thin-film cells requires precise processing of the conductive layers that form the device p-i-n *** subject of research is the development of a full pulsed laser scribing cycle for inverted perovskite solar *** this work,we propose a study of a laser-patterning technology In_(2)O_(3):SnO_(2)(ITO)conductive layer and a photoactive perovskite layer Cs0,2(CH(NH_(2))_(2))_(0,8)PbI_(3).Process regimes of transparent conducting electrodes based on ITO and halide perovskite layer Cs_(0,2)(CH(NH_(2))_(2))_(0,8)PbI_(3)laser patterning were *** optimal parameters for the multipass mode processing of ITO and perovskite layer were *** cell was electrically isolated at a scribe line width of 30μm.

关键词： patterning perovskite solar cell perovskite solar cell photovoltaics scribing

来源：评论

学校读者我要写书评

暂无评论

Muskel: A skeleton library supporting skeleton set expandability

引用

Scalable Computing 2007年第4期8卷 325-341页

作者： Aldinucci, Marco Danelutto, Marco Dazzi, Patrizio Dept. Computer Science Univ. of Pisa Italy Programming Model Institute CoreGRID United Kingdom ISTI-CNR Pisa Italy IMT-Institute for Advanced Studies Lucca Italy

programming models based on algorithmic skeletons promise to raise the level of abstraction perceived by programmers when implementing parallel applications, while guaranteeing good performance figures. At the same time, however, they restrict the freedom of programmers to implement arbitrary parallelism exploitation patterns. In fact, efficiency is achieved by restricting the parallelism exploitation patterns provided to the programmer to the useful ones for which efficient implementations, as well as useful and efficient compositions, are known. In this work we introduce muskel, a full Java library targeting workstation clusters, networks and grids and providing the programmers with a skeleton based parallel programming environment. muskel is implemented exploiting (macro) data flow technology, rather than the more usual skeleton technology relying on the use of implementation templates. Using data flow, muskel easily and efficiently implements both classical, predefined skeletons, and user-defined parallelism exploitation patterns. This provides a means to overcome some of the problems that Cole identified in his skeleton "manifesto" as the issues impairing skeleton success in the parallel programming arena. We discuss fully how user-defined skeletons are supported by exploiting a data flow implementation, experimental results and we also discuss extensions supporting the further characterization of skeletons with non-functional properties, such as security, through the use of Aspect Oriented programming and annotations. © 2007 SWPS.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

A practical approach to object modeling for large, complex applications

A practical approach to object modeling for large, complex a...

引用

IEEE National Conference on Aerospace and Electronics (NAECON)

作者： J. Porter B. Deer M.E. Howard C. Ferguson R. McCarty Advanced Programming Institute Inc. OH USA NCI Information Systems Inc. OH USA USAF AFMC MSG OH USA Computer Science Corporation OH USA

Object-oriented (OO) software development techniques have gained in popularity as an attractive alternative to the traditional, structured development approach. Fundamental to the OO approach is the object, which bundles data with associated operations in a self-contained unit. The inherently modular object provides an excellent mechanism for creating reusable, stable, and easily maintainable code. In this paper, we present an introduction to OO development; discuss the challenges of large, complex systems; and document the procedures we developed to meet these challenges for our project.

关键词： Application software programming Information systems Buildings Object oriented modeling Bridges User interfaces Cost function Vents Encapsulation

来源：评论

学校读者我要写书评

暂无评论

The role of 7-dehydrocholesterol in inducing ER stress and apoptosis of head and neck squamous cell carcinoma

引用

Cancer Letters 2025年 217842页

作者： Bok-Soon Lee Yea-In Park Hengtian Liu Sang Gyu Kim Hyo Jeong Kim Ji-Hye Choi Si Hyun Rho Joselyn Padilla Jin Roh Hyun Goo Woo Hae Jin Seo Man Ho Choi Yu-Jin Jeong Evan C. Lien Syed Hassan Mehdi Dongjoon Lee Donghoon Yoon Chul-Ho Kim Jiyoung Lee Department of Biochemistry and Molecular Medicine School of Medicine and Health Sciences The George Washington University Washington DC USA Department of Otolaryngology Ajou University School of Medicine Suwon Korea Department of Molecular Science and Technology Ajou University School of Medicine Suwon Korea Department of Physiology Ajou University School of Medicine Suwon Korea Department of Pathology Ajou University School of Medicine Suwon Korea Center for Advanced Biomolecular Recognition Korea Institute of Science and Technology Seoul Korea Department of Metabolism and Nutritional Programming Van Andel Institute Grand Rapids MI USA Hematology Oncology Division Department of Internal Medicine The University of Arkansas for Medical Sciences Little Rock AR USA GW Cancer Center School of Medicine and Health Sciences The George Washington University Washington DC USA

Alterations of metabolic pathways that sustain cancer cell survival often offer promising therapeutic avenues. Here, we show that enhanced de novo cholesterol biosynthesis is crucial for the survival of head and neck squamous cell carcinoma (HNSCC). Transcriptomic analysis of HNSCC tissues identified profound dysregulation in steroid and cholesterol metabolism compared to normal tissues. Inhibition of two key enzymes, DHCR7 and DHCR24, which mediate cholesterol biosynthesis, induced apoptosis in HNSCC cells, even when cholesterol levels were restored. Metabolomic profiling revealed the accumulation of 7-dehydrocholesterol (7-DHC) upon DHCR7 or DHCR24 inhibition, triggering endoplasmic reticulum (ER) stress and promoting further cell death. These findings suggest that HNSCC cells adapt to ER stress by modulating 7-DHC levels through enhancing DHCR7 and DHCR24 levels, highlighting a metabolic vulnerability in HNSCC and demonstrating a direct link between cholesterol metabolism and ER stress in cancer cell viability.

关键词： 7-dehydrocholesterol Cholesterol metabolism DHCR24 DHCR7 ER stress head and neck cancer

来源：评论

学校读者我要写书评

暂无评论

Effective rectification of terahertz electromagnetic fields in a ferrimagnetic iron garnet

引用

Physical Review B 2023年第9期108卷 094439-094439页

作者： T. G. H. Blank E. A. Mashkovich K. A. Grishunin C. F. Schippers M. V. Logunov B. Koopmans A. K. Zvezdin A. V. Kimel Radboud University Institute for Molecules and Materials 6525 AJ Nijmegen Netherlands Department of Applied Physics Eindhoven University of Technology P.O. Box 513 Eindhoven 5600 MB Netherlands Institute of Physics II University of Cologne D-50937 Cologne Germany Kotel'nikov Institute of Radioengineering and Electronics 125009 Moscow Russia Prokhorov General Physics Institute of the Russian Academy of Sciences 119991 Moscow Russia Institute of Advanced Technology and Industrial Programming MIREA Russian Technological University 119454 Moscow Russia

It is found that single-cycle THz electromagnetic fields efficiently excite a GHz spin resonance mode in ferrimagnetic Tm3Fe5O12, despite the near absence of GHz spectral components in the exciting THz pulse. By analyzing how the efficiency of excitation depends on the orientation and strength of the THz electric field, we show that it can be explained in terms of the nonlinear THz inverse Cotton-Mouton effect. Here, the THz electric field gets effectively rectified and acts on the ferrimagnetic spins as a unipolar effective magnetic field pulse. This interpretation is confirmed by a theoretical model based on the phenomenological analysis of the effective magnetic field, combined with the equations of motion derived from the effective Lagrangian for a ferrimagnet. Moreover, by using the outcome of two-dimensional THz spectroscopy, we conjecture a quantum-mechanical interpretation of the observed effect in terms of impulsive stimulated Raman scattering of THz photons by the crystal-field split f−f electronic transitions of Tm3+.

关键词： Faraday effect Magnetism Magneto-optical effect Magneto-optics Nonlinear optics Ultrafast magnetization dynamics Ferrimagnets Magnetic insulators Ferromagnetic resonance Terahertz spectroscopy Ultrafast pump-probe spectroscopy

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：