Results 11 to 20 of about 95,063 (306)
Verification of Unloadable Modules [PDF]
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]
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
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
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
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
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]
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
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
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]
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

