A new stereological principle for test lines in three-dimensional space

A new principle is presented to generate isotropic uniform random (IUR) test lines hitting a geometric structure in three-dimensional space (3D). The principle therefore concerns the estimation of surface area, volume, membrane thickness, etc., of arbitrary structures with piecewise smooth boundary. The principle states that a point-sampled test line on an isotropic plane through a fixed point in 3D is effectively an invariant test line in 3D. Particular attention is devoted to the stereology of particles, where an alternative to the surfactor method is obtained to estimate surface area. An interesting case arises when the particle is convex. The methods are illustrated with synthetic examples.     

二维介质PBG结构的工程设计

针对介质材料中按二维菱形周期排列空气圆孔的PBG结构，采用平面波展开法结合迭代技术的理论分析程序，对结构尺寸与介质参数的不同组合进行了批量计算，根据对计算结果的分析，归纳出阻带范围与结构参数之间的函数关系，经数据拟合得出一组准确而快捷的工程设计公式，还给出了根据预期的阻带范围设计PBG结构参数的简明步骤，实例验证了该组公式的实用性。     

一类带谱参数的奇异Sturm-Liouville算子特征的渐近分析工

研究了一类具有转换条件且在一个边界条件中带谱参数的奇异Sturm—Liouville问题．将上述问题的基本解的渐近分析,转化为考虑定义在适当的Hilbert空间H中的一个线性算子A的基本解的渐近分析,同时推导出该奇异的Sturm-Liouville算子A的基本解的渐近式．     

中压馈线分段策略的实用优化模型和方法

对馈线进行合理分段是提高馈线供电可靠性的简单有效的重要措施,涉及分段策略(含分段数及其开关或终端类型选择)的优化。基于用户均匀分布假设,推导了断路器与负荷开关混合配置下的馈线系统平均停电时间(system average interruption duration index,SAIDI)估算公式,完善了架空馈线SAIDI与分段数的通用简化公式;基于涉及可靠性和经济性的目标和约束给出了2种馈线分段策略的实用优化模型,并针对架空馈线和电缆馈线的不同特点提出了相应的简化求解方法;最后通过典型算例计算得到了不同供电区域、不同线路长度的分段优化策略,表明了所提模型方法的有效和实用。     

On the combinatorial complexity of fuzzy pattern matching in music analysis

In music analysis it is a common requirement to search a musical score for occurrences of a particular musical motif and its variants. This tedious and time-consuming task can be carried out by computer, using one of several models to specify which variants are to be included in the search. The question arises: just how many variants must be explicitly considered? The answer has a profound effect on the computer time needed. In this paper, recurrence relations and closed form analytic expressions are derived for the run time complexity of two models of fuzzy pattern matching for use in music analysis; each model assumes the existence of an atomic exact pattern matching operation. The formulae so obtained are evaluated and tabulated as a function of their independent parameters. These results enable a priori estimates to be made of the relative run times of different music searches performed using either model. This is illustrated by applying the results to an actual musical example.Richard E. Overill, BSc, PhD, C.Math, FIMA, C.Eng, MBCS, MIEE, is Lecturer in Computer Science at King's College London. His research includes the design, analysis, and practical implementation of algorithms on supercomputers. He has also given lecture-recitals on the keyboard music of the Tudor composers Thomas Tallis (1985), John Blitheman (1991), and William Byrd (1993).     

Shallow circuits and concise formulae for multiple addition and multiplication

A theory is developed for the construction of carry-save networks with minimal delay, using a given collection of carry-save adders each of which may receive inputs and produce outputs using several different representation standards.The construction of some new carry-save adders is described. Using these carry-save adders optimally, as prescribed by the above theory, we get {, , }-circuits of depth 3.48 log₂ n and {, , }-circuits of depth 4.95 log₂ n for the carry-save addition ofn numbers of arbitrary length. As a consequence we get multiplication circuits of the same depth. These circuits put out two numbers whose sum is the result of the multiplication. If a single output number is required then the depth of the multiplication circuits increases respectively to 4.48 log₂ n and 5.95 log₂ n.We also get {, , }-formulae of sizeO (n ^3.13) and {, }-formulae of sizeO (n ^4.57) for all the output bits of a carry-save addition ofn numbers. As a consequence we get formulae of the same size for the majority function and many other symmetric Boolean functions.     

钼在α铁基体中的平衡固溶度公式

根据相关热力学数据推导出μ相（Fe7Mo6）和λ相（Fe2Mo）在α铁中的固溶度积公式，同时考虑Fe7Mo6 和Fe2Mo的形成自由能随温度的变化关系式，推导出在不同温度范围钼在α铁基体中的平衡固溶度公式分别为：log（[Mo]α） =3.003-1961/T（899～1199 ℃）; log（[Mo]α）=2.752-1562/T（311.6～899 ℃）.这些公式在相关的理论研究和生产实际应用中具有重要的作用.     

数据处理常用数表的替代公式

数据处理与统计中查各种系数的数表很不方便,建立了一系列简化公式以替代这些数表.     

Multiclass method for fast determination of veterinary drug residues in baby food by ultra-high-performance liquid chromatography–tandem mass spectrometry

A simple and rapid multiresidue method for the determination of different veterinary drug residues in meat-based baby food (MBF) and powdered milk-based infant formulae (PMIF) has been developed. The method involves an extraction procedure based on buffered QuEChERS (quick, easy, cheap, effective, rugged and safe) methodology, without any further clean-up step, followed by ultra-high performance liquid chromatography coupled to tandem mass spectrometry (UHPLC-MS/MS). The method has been validated in two baby food matrices (MBF and PMIF) at three different concentration levels, obtaining suitable recoveries and precision (inter and intra-day precision) values. Quantification was carried out using matrix-matched standard calibration. Furthermore, the decision limit (CCα) and the decision capability (CCβ) were evaluated, ranging from 0.5 to 16.2 μg/kg and from 1.2 to 22.4 μg/kg, respectively. Finally, the method was applied to the analysis of several kinds of baby food samples and traces of some veterinary drugs were detected.     

建立一种快速检测坂歧肠杆菌的方法

目的:建立快速检测婴儿配方奶制品(IFM)中坂歧肠杆菌的方法。方法:选择ATCC坂歧肠杆菌标准株,对不同的增菌性培养基、选择性培养基和显色培养基进行研究;结合VITEK仪和API20E细菌鉴定系统,构建快速检测配方奶制品中坂歧肠杆菌的方法。结果:建立的快速检测配方奶制品中坂歧肠杆菌的方法,所需检验流程为72h,方法灵敏度为2CUF/g,能有效区别于阴沟杆菌、产气杆菌等肠杆菌科细菌;方法应用稳定;操作简单、方法可靠,适宜规模化检测。结论:本研究认为,所建立的快速检测配方奶制品中坂歧肠杆菌的方法适宜检验检疫的工作要求,能有效地发现配方奶制品中坂歧肠杆菌的污染情况。