排序方式: 共有35条查询结果,搜索用时 31 毫秒
1.
I N Trubachev Iu N Okladnikov V A Barashkov G S Kalacheva N A Tabakov 《Voprosy pitaniia》1985,(1):55-57
The authors studied the biochemical composition of the meat of broilers, eggs, liver and muscles of laying hens of 3 generations on a 5, 10, 25, 50 and 100% (broilers), 10 and 20% (laying hens) replacement of the animal protein quota in the diet by protein obtained from the hydrogen bacteria Alcaligenes eutrophus L-1. No deterioration of the quality of the produce was found from the standpoint of the main biochemical parameters. 相似文献
2.
Optimized temporal monitors for SystemC 总被引:1,自引:1,他引:0
SystemC is a modeling language built as an extension of C++. Its growing popularity and the increasing complexity of designs have motivated research efforts aimed at the verification of SystemC models using assertion-based verification (ABV), where the designer asserts properties that capture the design intent in a formal language such as PSL or SVA. The model then can be verified against the properties using runtime or formal verification techniques. In this paper we focus on automated generation of runtime monitors from temporal properties. Our focus is on minimizing runtime overhead, rather than monitor size or monitor-generation time. We identify four issues in monitor generation: state minimization, alphabet representation, alphabet minimization, and monitor encoding. We conduct extensive experimentation and identify a combination of settings that offers the best performance in terms of runtime overhead. 相似文献
3.
4.
5.
A new method of evaluation of the elastic property deterioration due to accumulated damage is suggested and experimentally verified. It is based on the explicit correlations between two groups of anisotropic properties – conductivity and elasticity, recently established for porous/microcracked materials with anistropic microstructures. An experimental study of fatigue has been done to verify the theoretical predictions. The electrical resistance and Young's modulus are measured as functions of the number of loading cycles in the standard fatigue tests. The agreement between the theoretical predictions and the direct experimental data is better than 10% in all cases. The results allow one to use measurements of the electric resistance to estimate the damage accumulated in methal structures and the decrease of the elastic modulus. 相似文献
6.
A new higher-order theory for the analysis of laminated orthotropic plates and shells subject to both mechanical and thermal loads is developed. Using the variational approach the system of governing differential equations and corresponding boundary conditions are derived. Two refined models of the stress and strain state are considered, their application and accuracy are discussed. The analytical solution is obtained for plates and shells with the Navier boundary conditions on the side surfaces. The results of calculations are given and compared with an exact three-dimensional solution available in the literature. The influence of the laminated structure upon the exactness of results and the characteristics of stress–strain state is studied and discussed. 相似文献
7.
V. P. Tabakov N. A. Shirmanov S. V. Sizov A. V. Chikhranov 《Russian Engineering Research》2017,37(12):1048-1051
The production of complex (multielement) nitride coatings on the basis of different cathode structure and configuration is considered. The coatings obtained by means of one-piece and composite cathodes have different properties. This difference is smaller for multielement coatings. 相似文献
8.
The influence of the condensation temperature and cathode structure on the structure and mechanical properties of the coating formed is investigated. The influence of the coating structure on the dimensions of the coherent-scattering regions, the residual stress, and the microhardness of the coating is established. The influence of the coating structure on tool wear is also studied. 相似文献
9.
10.
The influence of multilayer wear-resistant coatings on the contact processes and the thermal state of the tool in the transverse cutting and thread cutting of workpieces is studied. The effectiveness of cutters with the proposed multilayer coatings is demonstrated. 相似文献