نتایج جستجو برای: based on physical

تعداد نتایج: 9353587  

Journal: :Lecture Notes in Computer Science 2022

To understand and detect possible errors in programs manipulating memory, static analyses of various levels precision have been introduced, yet it remains hard to capture both information about the byte-level layout precise global structural invariants. Classical pointer struggle with latter, whereas advanced shape incur a higher computational cost. In this paper, we propose new memory analysis...

Journal: :Acoustical Science and Technology 2001

Journal: :Brazilian Journal of Chemical Engineering 1999

Introduction and goal: Nowadays, engaging in sports activities has become widespread in all societies and the number of people who engage in all kinds of sports as a competitive sport or as a recreational sport (leisure) is increasing every day. Optimal leisure time plays an important role in educating the community and prevents individual, social, economic, and cultural problems. Leisure is an...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه بوعلی سینا - دانشکده علوم پایه 1391

abstract: in this thesis, we focus to class of convex optimization problem whose objective function is given as a linear function and a convex function of a linear transformation of the decision variables and whose feasible region is a polytope. we show that there exists an optimal solution to this class of problems on a face of the constraint polytope of feasible region. based on this, we dev...

ژورنال: مهندسی دریا 2019

Monopiles are the most common type of foundation for offshore wind turbines (OWT). Monopiles have been used in more than 80% of the offshore wind turbines. A monopile will be affected by millions of lateral load cycles during the operating period, which will cause its rotation and lateral deformation. The rotation and the deformation are dependent on the soil properties, monopile specification,...

2010
Tanya L. Crenshaw Steven Beyer

Developing software for cyber-physical systems presents a unique challenge. These systems are not simply software; they are composed of software running on a collection of machines that present a risk to human safety if anything goes wrong. Researchers want to create languages and tools that aid in the development of secure and fault-tolerant software, but they cannot simply “try out” their ide...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید