逻辑函数在布尔减-异或、布尔除-符合代数系统中的规范展开式

证明了布尔减、异或运算以及布尔除、符合运算的完备性,并从与-异或及或-符合代数系统中的RM、CRM展开式出发,分别推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范展开式.举例说明了与-或-非代数系统中规范展开式与布尔减-异或、布尔除-符合代数系统中的规范展开式之间的转换.     

应用无衍射贝塞尔光束的固体线膨胀系数测量系统

测量固体线膨胀系数是工程设计中的一项重要工作。这套非接触固体线膨胀系数测量系统利用激光三角法进行了设计。通过采用线阵CCD作为信号传感器来实现自动化测量。通过采用无衍射贝塞尔光束来提高测量精度和增大测量范围。     

受压矩形截面柱在塑性阶段的缺陷敏感性分析

对加载到塑性阶段的矩形截面柱，本文研究了几何缺陷对屈曲的影响，在分析中考虑了弹性卸载的影响，求出了荷载、缺陷大小及分叉模态幅值之间的精确渐近关系式，结果表明在塑性阶段最大承载力对小缺陷非常敏感，但当缺陷大小达到某一值后，可能不存在最大载荷。     

Study on End Milling Generation Surface Model and Simulation in View of Main Axle s Tolerance

In accordance with the relative movement between end-milling cutter and workpiece surface, a theoretical generation model for milled surface was established with the movement error of principal axle considered. Then the milled surfaces under various cutting condition were simulated, the results of which showed that end milled surfaces were of “vaulted profile“, heights of surface irregularty at various points to be different with maximum value in the middle and smaller at both sides, the difference were ...     

Uniform random number generation

In typical stochastic simulations, randomness is produced by generating a sequence of independent uniform variates (usually real-valued between 0 and 1, or integer-valued in some interval) and transforming them in an appropriate way. In this paper, we examine practical ways of generating (deterministic approximations to) such uniform variates on a computer. We compare them in terms of ease of implementation, efficiency, theoretical support, and statistical robustness. We look in particular at several classes of generators, such as linear congruential, multiple recursive, digital multistep, Tausworthe, lagged-Fibonacci, generalized feedback shift register, matrix, linear congruential over fields of formal series, and combined generators, and show how all of them can be analyzed in terms of their lattice structure. We also mention other classes of generators, like non-linear generators, discuss other kinds of theoretical and empirical statistical tests, and give a bibliographic survey of recent papers on the subject.     

Two types of the effective mass divergence and the Grüneisen ratio in heavy-fermion metals

The behavior of the specific heat c_p, effective mass M^*, and the thermal expansion coefficient of a Fermi system located near the fermion condensation quantum phase transition (FCQPT) is considered. We observe the first type behavior if the system is close to FCQPT: the specific heat , , while the thermal expansion coefficient . Thus, the Grüneisen ratio Γ(T)=/c_p does not diverges. At the transition region, where the system passes over from the non-Fermi liquid to the Landau Fermi liquid, the ratio diverges as . When the system becomes the Landau Fermi liquid, Γ(T,r)∝1/r, with r being a distance from the quantum critical point. Provided the system has undergone FCQPT, the second type takes place: the specific heat behaves as , M^*∝1/T, and =a+bT with a,b being constants. Again, the Grüneisen ratio diverges as .     

利用KTP晶体实现1.08μmNd：YAP激光器锁模

本文描述了利用ＫＴＰ晶体和腔的基波输出镜构成非线性镜实现１．０８μｍＮｄ：ＹＡＰ激光器的被动锁模。实验表明，这种新的锁模技术比用染料作可饱和吸收体的被动锁模技术有很多突出的优点，具有很大的发展潜力。实验测得锁模时基波１．０８μｍ输出２．４ｍＪ，二次谐波０．５４μｍ输出０．５ｍＪ（同样条件下的静态输出为２．５ｍＪ），基波脉冲的平均脉宽为４０ｐｓ。     

Vehicle and personnel routing optimization in the service sector: application to water distribution and treatment

We present an overview of the author’s Ph.D. thesis, supervised by P. Dejax and N. Bostel, which was defended in February 2006 at école des Mines de Nantes, France. The thesis is written in French, and is available at . It was conducted in the context of a research contract with a water distribution company. In a first section, we define multiperiod routing problems for service technicians. In a second section, we present some heuristics and a memetic algorithm used to solve these problems. The third section introduces optimal and near-optimal approaches based on column generation. Finally, we present some applications to the real-life case. The methods presented in Sects. 2, 3 and 4 were tested over several sets of problems, based on real-life statistics provided by the company.