数码相机原理与系统设计研究

介绍了数码相机的工作原理 ,分析了数码相机的系统结构 ,提出了设计数码相机的处理流程。典型的数码相机系统有镜头、闪光灯、光学取景器、LCD显示屏、图像数据存储扩展设备接口、图像数据传输接口、供电系统以及核心处理器等八个主要模块。数码相机的数据流向从图像传感器开始 ,止于图像数据的存储和传输。数据流的处理主要包括模数转换、光学黑电平钳位、针对镜头的边缘畸变的运算修正、坏像素处理、白平衡处理、伽马校正、色彩合成处理、边缘检测 (锐度检测 )和伪彩色检测 (伪彩色抑制 )、JPEG压缩和图像存储器等模块     

Stable determination of an inhomogeneous inclusion by local boundary measurements

We deal with the problem of determining an inclusion within an electrostatic conductor from boundary measurements. Under mild a priori assumptions we establish optimal stability estimates. Measurements are performed on a portion of the boundary of the conductor.     

Some properties of multi-degree-of-freedom potential systems and application to statistical equivalent non-linearization

This paper presents some properties of two restricted classes of multi-degree-of-freedom potential systems subjected to Gaussian white-noise excitations. Specifically, potential systems which exhibit damping terms with energy-dependent polynomial form are referred to. In this context, first systems with coupled stiffness terms and damping terms depending on the total energy are investigated. Then, systems with uncoupled stiffness terms and damping terms depending on the total energy in each degree-of-freedom are considered. For these two classes, it is found that algebraic relations among the stationary statistical moments of the energy functions can be derived by applying standard tools of Itô calculus. Further, it is noted that these relations are very useful within the framework of an equivalent statistical non-linearization technique to build approximate solutions for arbitrary non-linear systems.     

基于演化博弈的武器装备研制合同定价模型研究

针对合同的动态性，提出利用基于演化博弈建立定价模型。考虑到决策群体中个体的认识误差，对所建立的定价模型进行修正，建立带偏离的定价模型并分析了偏离对均衡解的影响。最后将以上模型应用实例进行比较分析。     

Higher order bad loci

Zero-schemes on smooth complex projective varieties, forcing all elements of ample and free linear systems to be reducible, are studied. Relationships among the minimal length of such zero-schemes, the positivity of the line bundle associated with the linear system, and the dimension of the variety are established. Bad linear spaces are also investigated.     

真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

带延迟约束单机排序的改进算法

给出了带延迟排序的一个改进启发式算法,从而解决了Wikum等提出的一个问题。并且此算法可以最优求解单位加工时间的问题,进一步对另一个问题,此算法亦被证明好于Wikum等原来的算法。     

Looking at Fokker-Planck dynamics with a noisy instrument

We consider the class of experiments which can be characterized by a Fokker-PIanck dynamics corresponding to the overdamped motion of a state point in a suitable stochastic potential. We assume that the general form of the potential is known (or can be guessed with reasonable accuracy), but that its parameters are to be determined experimentally by measurements made with a noisy instrument. This possible method for determining the potential parameters, which exploits the system's own internal stochastic motion in order to explore rapidly its available parameter space, is substantially more efficient than traditional methods involving time averages of single point measurements, and yet does not appear to have been previously considered. The method could be important when, for example, the experiment must be completed in a limited time owing either to the expense of the experimental materials or to the temporary stationarity of the preparation, situations which are commonly encountered in experimental biochemistry and biology.     

三羟甲基甲胺、季戊四醇及其二元体系固-固相变的变温红外光谱研究

利用傅里叶变温红外光谱仪分别测定了三羟甲基甲胺（TAM）、季戊四醇（PE）及其二元体系变温红外谱。实验表明，多元醇分子中羟基吸收峰随温度升高耐发生位移向高波数移动，此结果既能反映多元醇及其二体系固－固相变的温度区间，又与转变热相对应，从而揭示了多元醇及其二元体系固－固相变贮热的机理。     

Preparation and physical characterization of forms II and III of paracetamol

The polymorphic forms II and III of paracetamol were obtained by melting the marketed form I. Under the melting and cooling conditions used, it was possible to obtain forms I, II and III. The recrystallization conditions and the physical properties of forms II and III were investigated by means of various techniques: thermomicroscopy, DSC analysis, infrared microspectrometry and X-ray powder diffraction at room temperature and as a function of temperature. Form III was found to be very unstable. However, its formation seems to be an important intermediate step in the preparation of form II.