影响GPS水准高程的因素及高程拟合方法的探讨

在简单介绍高程系统的基础上，对影响GPS高程精度的几何水准联测误差、卫星分布不对称、星历误差、多路径误差等因素逐一进行了分析，并提出了相应的改进措施。同时，还对高程拟合使用的稳健估计方法进行了探讨。     

等腰梯形焊管孔型设计

在对等腰梯形焊管形状分析的基础上。精确计算了其周长，并在数学推导基础上，计算了各架次孔型尺寸，完成了等腰梯形焊管轧辊设计，使用结果表明；设计方法合理，孔型尺寸计算准确。使用效果良好。     

平均声压级近似计算误差分析

本文用凸集理论分析了平均声压级近似计算的误差,导出了最大误差计算公式,指出了测量数据在何种状态下误差达到最大值。     

Theory and characteristics of novel variable reluctance 1X resolver

Although brushless resolvers have been used widely as angular position transducers, they are expensive due to their intricate construction, involving a rotary transformer to supply the exciting coils wound on the rotor poles with the current. It is shown theoretically in this paper that the resolver without rotary transformer or brushes can be realized by simple construction, which consists of the stator core with both 4-poles exciting windings and 2-poles output ones and the rotor core carrying no windings. In this resolver the rotor core has minimum gap at one side and a maximum gap at another side of the diameter. It is characterized by an outer surface form that makes the fluctuation part of gap permeance very in proportion to cos θ, where θ represents the angular position of a point in the air gap with respect to the origin on the rotor, the point of minimum air gap. The method determining the rotor form to embody the aforementioned gap permeance variation is also shown. It has been confirmed not only by simulation but also experiment that the 2-phase output voltages of a model designed based on the theory have sinusoidal waveforms with very small harmonic contents. Moreover, the rotor position detected by processing the output voltages through the conventional resolver/digital converter was within acceptable engineering accuracy.     

间断Galerkin方法的最优误差限

本文考虑了数性双曲方程的离散Ｇａｌｅｒｋｉｎ方法。如果精确到光滑的并且同是几乎均匀的，证明了对于分层常数元的最优的和超收敛的误差限。     

Drying of Prone to Twist Boards in a Pre-Twisted Position

A method to minimize twist has been investigated; i.e., drying the boards in a pre-twisted position. It has been found that Norway spruce boards can be deformed toward straightness by this method. The force exerted by a board on its holders during drying in a pre-twisted position has been measured. When the variation in torsional stiffness as a function of temperature and moisture content is accounted for, it is found that a creep deformation of the board occurs both during the drying phase and the cooling phase. In addition to mechano-sorptive creep, a deformation released by a change in temperature also seems to occur.     

冷弯型钢纵向变形的理论分析及计算

对冷弯型钢的纵向变形过程进行了力学分析，得到了变形微分方程，求得了转动角的理论公式，并对其变形形状进行了分析计算。     

Shorts in self-checking circuits

It has been noted by several authors that the classical stuck-at logical fault model might not be an appropriate representation of certain real failures occurring in integrated circuits. Shorts are an important class of such faults. This article gives a detailed analysis of the effects of shorts in self-checking circuits and proposes techniques for dealing with them. More precisely, we show that, unlike other faults such as stuck-at, stuck-on, and stuck-open—which produce only single errors in the place they occur—shorts can produce double errors on the two shorted lines. In particular, feedback shorts can produce double errors on the two shorted lines. The double error is unidirectional for some feedback shorts and non-unidirectional for some others. Furthermore, in some technologies (e.g., CMOS), non-feedback shorts can also produce double non-unidirectional errors. We also show that unlike stuck-at, stuck-on, and stuck-open faults, redundant shorts can destroy the SFS property. Then we propose several techniques for coping with these problems and we illustrate the results by circuit implementation examples.The present study is given for NMOS and CMOS circuits but we show that it is valid for any other technology.     

Bayesian inference in disputed authorship: A case study of cognitive errors and a new system for decision support

Bayesian inference provides a formal framework for assessing the odds of hypotheses in light of evidence. This makes Bayesian inference applicable to a wide range of diagnostic challenges in the field of chance discovery, including the problem of disputed authorship that arises in electronic commerce, counter-terrorism and other forensic applications. For example, when two documents are so similar that one is likely to be a hoax written from the other, the question is: Which document is most likely the source and which document is most likely the hoax? Here I review a Bayesian study of disputed authorship performed by a biblical scholar, and I show that the scholar makes critical errors with respect to several issues, namely: Causal Basis, Likelihood Judgment and Conditional Dependency. The scholar’s errors are important because they have a large effect on his conclusions and because similar errors often occur when people, both experts and novices, are faced with the challenges of Bayesian inference. As a practical solution, I introduce a graphical system designed to help prevent the observed errors. I discuss how this decision support system applies more generally to any problem of Bayesian inference, and how it differs from the graphical models of Bayesian Networks.