搜索结果: 1-10 共查到“工学 formulas”相关记录10条 . 查询时间(0.046 秒)
Small Formulas for Large Programs: On-line Constraint Simplification in Scalable Static Analysis
Small Formulas Large Programs On-line Constraint Simplification Scalable Static Analysis
2016/5/24
Static analysis techniques that represent program states as formulas typically generate a large number of redundant formulas that are incrementally constructed from previous formulas. In addition to q...
Let F be a 2-DNF formula on boolean variables x1,...,xn. We present a homomorphic public key encryption system that allows the public evaluation of F given an encryption of the variables x1,...,xn. In...
Plastics are a miracle of modern science and are now fundamental to our everyday lives. Of course, they are also a constant reminder of our throwaway society. With support from the National Science Fo...
Isolation of Cronobacter spp. isolates from infant formulas and their survival in the production process of infant formula
Cronobacter dry stress powdered infant formula (PIF) contamination sources
2014/2/25
Over a 24-month surveillance, three Cronobacter strains, NC041, NC830, and NC1006, were isolated from 77 powder infant formulas (3.90%). No Cronobacter was detected in liquid milk. The prevalence of C...
外啮合齿轮泵困油面积和卸荷面积计算式的建立（Established Formulas for Trapped-oil Area and Relief-load Area of External Spur-gear Pump）
外啮合齿轮泵 困油面积 卸荷面积 拟合公式
2009/8/11
为利于后续困油现象的定量分析，基于泵齿轮传动的几何关系及它与卸荷槽的空间位置关系的解析和过渡曲线的适当简化，以啮合点与节点之间的距离为变量，建立了困油面积的计算公式和卸荷面积的拟合公式，并对计算结果与由精确的虚拟模型获得的测量结果进行了对比。研究表明：困油面积和卸荷面积均可采用不同指数的抛物线线型表示，过渡曲线的简化是可行的，提供的拟合常数可直接使用。得出的两面积计算公式正确可靠，可直接用于后续困...
Two-Variable Scattering Formulas to Describe Some Classes of Lossles Two-Ports with Mixed, Lumped Elements and Commensurate Stubs
Scattering parameters two-variable description mixed element networks
2009/7/28
Using the semi-analytic method based on the construction of two-variable scattering functions, which describe lossless two-ports with two kinds of elements, for some classes of ladder networks formed ...
Effect of Bifidogenic Factors on Growth Characteristics of Bifidobacteria in Infant Formulas
bifidobacteria infant milk formula lactulose fructooligosaccharides
2008/3/26
A bifidogenic factor, lactulose or fructooligosaccharides, was added (0.5%) into infant formula based on soy or infant formula with hydrolyzed casein. The infant formulas were then inoculated (2.5 %) ...
Determination of Pantothenic Acid in Infant Milk Formulas by High Performance Liquid Chromatography
pantothenic acid infant formula high performance liquid chromatography
2008/3/25
A reverse-phase liquid chromatographic method was adapted for the assay of pantothenic acid in infant milk formulas. Sample preparation consisted of deproteination with acetic acid and sodium acetate ...
Predicting molecular formulas of fragment ions with isotope patterns in tandem mass spectra
Predicting molecular formulas fragment ions isotope patterns
2010/12/15
A number of different approaches have been proposed to predict elemental component formulas (or molecular formulas) of molecular ions in low and medium resolution mass spectra. Most of them rely on is...
Predicting Molecular Formulas of Fragment Ions with Isotope Patterns in Tandem Mass Spectra
Predicting Molecular Formulas Fragment Ions Isotope Patterns Tandem Mass Spectra
2010/12/14
Tandem mass spectrometry (MS/MS) is an essential and reliable tool for biologists to identify peptide and protein sequences. Many approaches have been designed for peptide sequencing. One important cl...