Indirect Determination of MCPD Fatty Acid Esters in Lipid Fractions of Commercially Available Infant Formulas for the Assessment of Infants’ Health Risk

Food Analytical Methods - MCPD esters are intensively investigated food lipid contaminants for over a decade. Concern related to their presence in various types of food products is related to the...     

BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance

The paper deals with symbolic approaches to bounded model checking (BMC) for the existential fragment of linear temporal logic extended with the epistemic component (ELTLK), interpreted over interleaved interpreted systems. Two translations of BMC for ELTLK to SAT and to operations on BDDs are presented. The translations have been implemented, tested, and compared with each other as well as with another tool on several benchmarks for MAS. Our experimental results reveal advantages and disadvantages of SAT- versus BDD-based BMC for ELTLK.     

Influence of different types of the internal system of the ballistic helmet shell on the thermal insulation measured by a manikin headform

The head is a part of the body whose temperature influences not only physiological parameters of the whole body but also the perception of a thermal environment and psychomotor parameters of a human. For this reason, it is important to prevent the head from overheating and to use head covers which render it possible to release heat from head surface to the environment.     

Optimization of the ASPN Process to Bright Nitriding of Woodworking Tools Using the Taguchi Approach

The subject of the research is optimization of the parameters of the Active Screen Plasma Nitriding (ASPN) process of high speed steel planing knives used in woodworking. The Taguchi approach was applied for development of the plan of experiments and elaboration of obtained experimental results. The optimized ASPN parameters were: process duration, composition and pressure of the gaseous atmosphere, the substrate BIAS voltage and the substrate temperature. The results of the optimization procedure were verified by the tools’ behavior in the sharpening operation performed in normal industrial conditions. The ASPN technology proved to be extremely suitable for nitriding the woodworking planing tools, which because of their specific geometry, in particular extremely sharp wedge angles, could not be successfully nitrided using conventional direct current plasma nitriding method. The carried out research proved that the values of fracture toughness coefficient K _Ic are in correlation with maximum spalling depths of the cutting edge measured after sharpening, and therefore may be used as a measure of the nitrided planing knives quality. Based on this criterion the optimum parameters of the ASPN process for nitriding high speed planing knives were determined.