Results 11 to 20 of about 95,063 (306)

Verification of Unloadable Modules [PDF]

open access: yes, 2011
Programs in unsafe languages, like C and C++, may dynamically load and unload modules. For example, some operating system kernels support dynamic loading and unloading of device drivers. This causes specific difficulties in the verification of such programs and modules; in particular, it must be verified that no functions or global variables from the ...
Jacobs, Bart   +2 more
openaire   +3 more sources

Finite element based surface roughness study for ohmic contact of microswitches [PDF]

open access: yes, 2012
Finite element method (FEM) is used to model ohmic contact in microswitches. A determinist approach is adopted, including atomic force microscope (AFM) scanning real contact surfaces and generating rough surfaces with three-dimensional mesh.
Colin, Stephane   +12 more
core   +1 more source

Protein and Essential Amino Acids to Protect Musculoskeletal Health during Spaceflight: Evidence of a Paradox?

open access: yesLife, 2014
Long-duration spaceflight results in muscle atrophy and a loss of bone mineral density. In skeletal muscle tissue, acute exercise and protein (e.g., essential amino acids) stimulate anabolic pathways (e.g., muscle protein synthesis) both independently ...
Kyle J. Hackney, Kirk L. English
doaj   +1 more source

Research on automatic loading device of durability test of internal injection type single prop

open access: yesGong-kuang zidonghua, 2018
In order to solve problems of large labor intensity and low efficiency existed in durability test process of internal injection type single prop with manual loading and unloading method, a set of automatic loading device of durability test of internal ...
ZHANG Yue   +3 more
doaj   +1 more source

Posture control of two-link torque unit manipulator under condition of viscous friction

open access: yesNihon Kikai Gakkai ronbunshu, 2015
In this research, we study on posture control of a two-link torque unit manipulator under the condition of viscous friction. The torque unit is a module which consists of an electric motor and a reaction wheel, and it can be set at any arbitrary position
Yasuyuki SETOYAMA   +5 more
doaj   +1 more source

CONTROLLING STRESS-DEFORMED TALNAKH ARRAYS BY STRESS UNLOADING

open access: yesИзвестия Томского политехнического университета: Инжиниринг георесурсов, 2023
Link for citation: Golik V.I. Controlling stress-deformed Talnakh arrays by stress unloading. Bulletin of the Tomsk Polytechnic University. Geo Аssets Engineering, 2023, vol. 334, no. 7, рр. 59-65. In Rus. Relevance. Underground mining of rock massifs
Vladimir I. Golik
doaj   +1 more source

What Is Phloem Unloading? [PDF]

open access: yesPlant Physiology, 1990
Several studies of phloem unloading have failed to distinguish between transport events occurring at the sieve element/companion cell boundary and subsequent short-distance transport through parenchyma cells. Indirect evidence has been obtained for symplastic unloading in storage and utilization sinks. In other sinks transfer to the apoplast may occur,
openaire   +2 more sources

Method for calculating coefficient of collapsibility of loess under unloading

open access: yesYantu gongcheng xuebao, 2019
The concomitant process of unloading and collapse exists in the loess between piles of self-weight collapse loess site subjected to inundation. It is difficult to calculate the collapse deformation of loess under unloading.
JIN Xin , WANG Tie-hang , ZHAO Zai-kun , LUO Yang
doaj   +1 more source

Indicators of the force interaction of the track and rolling stock when a freight car runs on long irregularities, taking into account the action of longitudinal forces

open access: yesВестник Научно-исследовательского института железнодорожного транспорта, 2021
Authors describe formation mechanism of long irregularities of the railway track and the importance of their elimination for the track facilities. Based on the results of freight train operation modeling on long irregularities in the traction mode, an ...
E. A. Sidorova   +2 more
doaj   +1 more source

Simulation of unloading processes of short dump belt conveyors with speed control belt movement [PDF]

open access: yesНаучно-технический вестник Брянского государственного университета, 2021
Short dump belt conveyors are used to create bulk cargo both as an integral part of technological machines in the processing of building materials, and as vehicles in a chain of conveyors for transporting bulk cargo in accordance with the logistics of ...
Romanovich A.A.   +2 more
doaj   +1 more source

Home - About - Disclaimer - Privacy