高效抑制斜入射光线Fresnel反射的均匀扩散板设计

针对无导光板LED平板灯具设计中常规扩 散板对斜入射光线透过率低的问题,基于几何光 学和Fresnel公式,设计了一种具有高效抑制斜入射光线Fresnel反射的表面微结构扩散板, 并推导了获得 高光传输效率的三棱柱微结构参数计算公式。采用Solidworks软件进行建模,并结合TraceP ro软件对所设计 的扩散板进行光线追迹仿真,分析了扩散板微结构参数对光传输效率和照明面照度均匀度的 影响。结果表 明,入射表面微结构不等腰三棱柱的尺寸和形状、出射表面半凹球面微透镜直径对斜入射光 线传输效率都 有较大影响;参数优化后的扩散板,在距离出光面 1mm处的照明面上的光传输效率为0.92,照度均匀度为 96.8%,并且不同距离照明面上的照度均匀度均能达到80%以上 。根据理论分析得出的优化参数制作扩散板,得到传输效率为0.91。     

Calculating first-order sensitivity measures: A benchmark of some recent methodologies

This work compares three different global sensitivity analysis techniques, namely the state-dependent parameter (SDP) modelling, the random balance designs, and the improved formulas of the Sobol’ sensitivity indices. These techniques are not yet commonly known in the literature. Strengths and weaknesses of each technique in terms of efficiency and computational cost are highlighted, thus enabling the user to choose the more suitable method depending on the computational model analysed. Two test functions proposed in the literature are considered. Computational costs and convergence rates for each function are compared and discussed.     

Characterization and suitability of polyphenols-based formulas to replace sulfur dioxide for storage of sparkling white wine

The sparkling wine protection against air is of interest for maintaining its sensorial profile and it is achieved through the use of antioxidants while disgorging. Sulfur dioxide (SO₂) is commonly added, but its amount should be limited due to human health problems. The suitability of three polyphenols-based commercial formulas containing plant gallic and ellagic acids extracted from grape (Vitis vinifera L.) (AO1), plant ellagic acid and gum arabic (AO2), and plant gallic, ellagic acids and Saccharomyces cerevisiae cell-wall fractions (AO3) was evaluated after 7 months storage (at 15 °C and 25 °C) of disgorged sparkling white wine. The phenolic composition of these formulas was investigated through spectrophotometric measurements. Moreover, the phenols were characterized and quantified by HPLC-MS analyses. The sotolon concentration and the absorbance values at 420 nm were determined in wines. The HPLC-MS analysis showed that the formula AO1 mainly contained gallotannins, ellagic tannins and flavan-3-ols, while AO2 had high levels of flavan-3-ols and gallotannins. Flavan-3-ols were the only phenols found in AO3. The addition of these formulas increased the yellow hue. Sotolon was higher than the perception threshold in the samples with AO2 and at trace amount in the samples with both AO1 and AO3 only stored at 25 °C. The tested antioxidant formulas seemed to be less effective of SO₂ for the storage of sparkling white wine. However, the investigation of phenolics in antioxidant formulas could be helpful for the proper choice of a potential substitute of SO₂ due to increase interest in sulfur-free wine production.     

一种混合样条插值

本文构造了一种混合样条函数,它是用一次多项式函数及指数函数的结合来表示的。文章给出了这种混合样条的一般表达式,并证明插值问题解的存在性定理和误差估计定理,由此说明这种样条函数具有良好的逼近度和物理背景。     

An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation

The high computational complexity of advanced reasoning tasks such as reasoning about knowledge and planning calls for efficient and reliable algorithms for reasoning problems harder than NP. In this paper we propose Evaluate, an algorithm for evaluating quantified Boolean formulae (QBFs). Algorithms for evaluation of QBFs are suitable for experimental analysis of problems that belong to a wide range of complexity classes, a property not easily found in other formalisms. Evaluate is a generalization of the Davis–Putnam procedure for SAT and is guaranteed to work in polynomial space. Before presenting the algorithm, we discuss several abstract properties of QBFs that we singled out to make it more efficient. We also discuss various options that were investigated about heuristics and data structures and report the main results of the experimental analysis. In particular, Evaluate is orders of magnitude more efficient than a nested backtracking procedure that resorts to a Davis–Putnam algorithm for handling the innermost set of quantifiers. Moreover, experiments show that randomly generated QBFs exhibit regular patterns such as phase transition and easy-hard-easy distribution.     

不可满足公式的同态证明系统

合取范式(CNF)公式H到F的同态φ是一个从H的文字集合到F的文字集合的映射,并保持补运算和子句映到子句.同态映射保持一个公式的不可满足性.一个公式是极小不可满足的是指该公式本身不可满足,而且从中删去任意一个子句后得到的公式可满足.MU(1)是子句数与变元数的差等于1的极小不可满足公式类.一个三元组(H,φ,F)称为的一个来自H的同态证明,如果φ是一个从H到F的同态.利用基础矩阵的方法证明了:一个不可满足公式F的树消解证明,可以在多项式时间内转换成一个来自MU(1)中公式的同态证明.从而,由MU(1)中的公式构成的同态证明系统是完备的,并且由MU(1)中的公式构成的同态证明系统与树消解证明系统之间是多项式等价的.     

论孙子互余定理I

本文给出一个与孙子定理（中国剩余定理）相并行的对偶理论-孙子互余定理，用以解决一元一次互余式组通解的问题。同时还给出互余式组与同余式组的一个等价转换定理。这是一个值得研究的对偶规律，而且具有一定的普遍意义，是对孙子定理的进一步扩展和补充。     

On Hamiltonian Paths and a Chain Metric

A recurrent formula and an ordinary formula are proposed for the number of Hamiltonian paths on special digraphs generated by a chain metric on n-permutations.     

Ferritin synthesis by Caco-2 cells as an indicator of iron bioavailability: Application to milk-based infant formulas

The bioavailability of iron from milk-based infant formulas was estimated by an in vitro system including enzymatic digestion, iron uptake by Caco-2 cells and ferritin determination via an enzymoimmunoassay (ELISA). Positive correlations (p < 0.01) were found between the Fe(II) added to Caco-2 cells and ferritin synthesis and between the amount of dialyzed iron added to the cell culture and ferritin synthesis. The comparison of the bioavailability of iron from different milk-based formulas showed that adapted formulas having the same composition but differing in the iron salts added yielded similar ferritin levels. The same happened with follow-up formulas differing only in the presence or absence of bifidobacterium added. However, significant differences in the amount of ferritin synthesized were recorded between the two analyzed toddler formulas. Such differences could be attributed firstly to the ascorbic acid content and perhaps also to the manufacturing process involved, because one formula was in liquid form while the other was powdered.     

Stability of the lipid fraction of milk‐based infant formulas during storage

A study is made of the effects of storage (time and temperature) on the lipid fraction of four milk‐based adapted infant formulas with basically the same composition, though differing in the iron salt added (lactate or sulfate) and/or the vitamin E source (α‐tocopherol or α‐tocopherol acetate). Peroxide value, hydroperoxide C₁₈ percentage and thiobarbituric acid‐reactive substance (TBARS) content were used as indicators of lipid peroxidation. Fat contents remained stable throughout storage. Peroxide values increased from the first storage month and were affected by storage time, although they exhibited irregular behavior. Storage time and temperature affected hydroperoxide percentage, which was seen to be the earliest indicator of lipid oxidation, being measurable in newly manufactured formulas. TBARS values were only affected by storage time. No statistically significant differences were found among the four infant formulas for any of the lipid oxidation indicators.