A Standard Model-Theoretic Approach to Operational Semantics of Recursive Programs

In this paper we try to introduce a new approach to operational semantics of recursive programsby using ideas in the“priority method”which is a fundamental tool in Recursion Theory.In lieu ofmodelling partial functions by introducing undefined values in a traditional approach,we shall define apriority derivation tree for every term,and by respecting the rule“attacking the subterm of thehighest priority first”we define transition relations,computation sequences etc.directly based on astandard interpretation which includes no undefined value in its domain.Finally,we prove that ournew approach generates the same operational semantics as the traditional one.It is also pointed outthat we can use our strategy to refute a claim of Loeckx and Sieber that the opperational semanticsof recursive programs cannot be built based on predicate logic.     

差动光栅在精密测试中的应用

提出差动光栅概念,举例说明差动光栅在光纤面板刀口响应测试和材料形变自动监测系统等精密测试中的应用。     

水轮机电液调速器人工失灵区的分析计算

本文对电液调速器的人工失灵区电路进行定量分析，导出了失灵区的一套计算公式，并指出失灵区与调差率、功率偏差的内在关系。     

形态学边缘检测的新算法及其应用

提出了一种基于数学形态学的边缘检测的所算法，该算法具有简便和灵活可编程控制等优点，比原来主算法更国完善，在实际应用中有着很好的前景，并给出了实验结果。     

茅坪溪防护坝沥青混凝土心墙单边骑缝碾压施工工艺

三峡茅坪溪防护坝沥青混凝土心墙采用国外振动碾碾压。随着心墙高度的上升。墙宽度窄于振动碾宽度，振动碾按原有施工工艺无法满足工程质量要求。为此，进行了现场试验和生产性试验，对心墙双边或单边骑缝碾压施工工艺进行了比照分析研究。试验结果和工程实践表明，单边骑缝碾压施工工艺可以满足70-50cm宽心墙的施工质量要求，由此解决了因设备不配套而带来的施工困难，降低了工程成本。     

A region-based selective optical flow back-projection for genuine motion vector estimation

Motion vector plays one significant feature in moving object segmentation. However, the motion vector in this application is required to represent the actual motion displacement, rather than regions of visually significant similarity. In this paper, region-based selective optical flow back-projection (RSOFB) which back-projects optical flows in a region to restore the region's motion vector from gradient-based optical flows, is proposed to obtain genuine motion displacement. The back-projection is performed based on minimizing the projection mean square errors of the motion vector on gradient directions. As optical flows of various magnitudes and directions provide various degrees of reliability in the genuine motion restoration, the optical flows to be used in the RSOFB are optimally selected based on their sensitivity to noises and their tendency in causing motion estimation errors. In this paper a deterministic solution is also derived for performing the minimization and obtaining the genuine motion magnitude and motion direction.     

下扬子北缘前陆盆地构造变形样式

下扬子北缘前陆盆地经历了印支、燕山、喜山等多期构造改造,构造环境经开裂扩张—碰撞拼合—拉伸断陷等多次转换,最终形成了上部拉伸、中部逆冲推覆、下部拆离滑脱的"三层楼阁"式分层构造变形组合的构造几何学模式.其构造变形主要受中三叠世扬子地块与华北地块的陆—陆碰撞造山作用控制,具有横向上强弱分带、垂向上形变分层的特征.可划分为伸展变形、冲断褶皱变形、拆离滑脱变形等3种构造变形样式.      

钻削中产生迷切现象的机理研究

随着科学技术的发展．对孔加工精度的要求越来越高．钻削过程中的速切现象对孔加工的形状精度、位置精度有很大的影响．本文用试验、观察、解析的方法分析了钻头迷切现象与各种因素的关系，对提高孔加工精度有了新的揭示．     

A method for quantifying cell size from differential interference contrast images: validation and application to osmotically stressed chondrocytes

An automatic image analysis method was developed to determine the shape and size of spheroidal cells from a time series of differential interference contrast (DIC) images. The program incorporates an edge detection algorithm and dynamic programming for edge linking. To assess the accuracy and working range of the method, results from DIC images of different focal planes and resolutions were compared to confocal images in which the cell membrane was fluorescently labelled. The results indicate that a 1‐µm focal drift from the in‐focus plane can lead to an overestimation of cell volume up to 14.1%, mostly due to shadowing effects of DIC microscopy. DIC images allow for accurate measurements when the focal plane lies in a zone slightly above the centre of a spherical cell. In this range the method performs with 1.9% overall volume error without taking into account the error introduced by the representation of the cell as a sphere. As a test case, the method was applied to quantify volume changes due to acute changes of osmotic stress.     

基于波动方程的聚焦点控制照明叠前深度偏移

 基于波动方程的聚焦点控制照明叠前深度偏移技术借助于差分计算，把速度、密度等介质参数的影响体现在差分计算的矩阵方程中，能够自动适应速度场的任意变化，快速傅里叶变换的使用也加速了波场延拓的计算速度。因此此法兼具有限差分偏移方法和傅里叶偏移方法的优点，既可适应速度场的剧烈变化，又可保证对陡倾地层的成像效果，是目前针对复杂构造最有效的成像方法之一。对于单个聚焦点及其周围的成像步骤为：①采用矩形网格情况下绕射走时的有限差分计算方法生成合成算子；②应用合成算子来合成面炮震源和面波记录；③对合成的面炮震源和面波记录做傅里叶有限差分法波动方程叠前深度偏移，得到该聚焦点及其附近区域的成像结果。按照上述成像步骤，将震源波场和炮集记录依据相应的外推公式进行延拓，最终应用成像条件求取成像值。在地质目标处选取多个聚焦点，可以得到面向目标的控制照明偏移成像，在多个层位上选取多个聚焦点进行控制照明叠前深度偏移，可以得到整块区域的成像。通过对Marmousi模型的试算，取得了较好的效果。