沉积物源的综合识别与岩性圈闭的确定——以柴达木盆地七个泉地区为例

 柴达木盆地西部南区的阿尔金山前带是寻找岩性地层油气藏的有利地区。但该区沉积物源多、砂层薄，仅用常规的、单一的方法难以取得岩性地层油气藏勘探的效果。本文通过建立层序地层格架确定寻找岩性油气藏的主要目的层段，应用重矿物组分、测井响应、波阻抗反演等多种方法进行沉积物源和岩性圈闭的综合识别，在柴达木盆地西部南区七个泉构造斜坡带上确定一个地层岩性圈闭，已获得钻探的证实。     

溴化亚铜脉冲激光光动力学疗法治疗鲜红斑痣临床研究

用ＣｕＢｒ脉冲激光光动力学疗法治疗鲜红斑痣８例２１个区域，其中１１个区红色完全褪去，７个区残留少量浅色，３个区红色明显褪去，２０个区域无疤痕形成。     

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.     

Report on a new OED project: A study of the history of new words in the new OED

The study of the history of new words in theNewOED described in this paper was undertaken in 1986-87, and is based on the material then available. Since then, theNewOED has been finished, and PAT, the inquiry system developed at the University of Waterloo for the investigation of theNewOED data base, has been much altered and improved. Nevertheless, this report should prove useful in indicating the potentiality for analyzing the computerizedNewOED and some of the problems. This project is a study of the ways in which new words are created in English at various periods of time. A chronological dictionary 's created listing words introduced into the language over 50 year increments. These words are then classified by the processes used in forming them to show, in proportional terms, if certain processes are more common at some times than at others.H. M. Logan, Associate Professor, Department of English, University of Waterloo, Waterloo, Ontario, Canada, has written The Dialect of the Middle English Life of St. Katherine (Mouton, 1973), making use of the computer in a study of medieval dialectology. He has also written articles on computer stylistics and literary analysis inCHum, ALLC Journal, Language and Style, College Literature, and on the dictionary inDictionaries.     

具有直流故障穿越能力的模块化多电平换流拓扑推演与对比

直流故障具有影响范围广、故障电流大的特征,已成为制约直流系统发展的重要因素之一。模块化多电平换流器可通过配置双极性子模块实现直流故障穿越,但相比于基于半桥子模块的拓扑,其建造成本与运行损耗均大幅增加。为寻求兼顾硬件成本、运行效率与直流故障穿越能力的模块化多电平换流拓扑,首先通过拓扑抽象定义与模块配置约束,遍历并推导出4大类共13种模块化多电平换流拓扑;进而优选出T型桥臂交替多电平换流器,并提出桥臂移相导通调制,实现其高效功率变换与直流故障穿越的兼顾;最后,计及硬件成本、运行损耗、可靠性与可实现性等维度,对各类具有直流故障穿越能力的拓扑进行了系统性对比,为具有故障穿越能力需求的交直流变换场景提供模块化多电平换流拓扑的选择依据。     

靛蓝染液组分浓度在线检测系统

为实现靛蓝染液组分浓度的在线检测,提高检测的准确度和精确度,设计开发了采用电位滴定法在线实时检测靛蓝染液中各组分浓度的系统。系统以工控机为核心,基于研华板卡PCI1710,在C#环境下,实现工控机对设备的控制以及对检测数据的采集,采用二阶微商法确定电位滴定的终点。通过对检测结果的分析可知误差在2%以内,说明系统可以满足工业生产的需要。     

不同形变配准对头颈部CT图像的剂量评估研究

形变图像配准(deformable image registration, DIR)是自适应放射治疗(adaptive radiotherapy, ART)中轮廓推衍和剂量累积的关键过 程。 本研究比较3种不同形变配准算法在自适应放疗过程中轮廓推衍和剂量累积的变化。选择头 颈部癌症患者的放疗影像数据图像进行这项研究,刚性配准后采用B样条弹性配准和LCC- Demons配准算法,其中B样条弹性算法研究了两种优化指标:归一化互相关、归一化互相 关结合弯曲能量惩罚(bending energy penalty, BEP) 正则化。剂量评估采用剂量参数D₉₅、Dmin、D_mean、Dmax和均 匀性指数(homogeneity index, HI)来评价累积剂量与初始剂量的差异。几何评估使用Dice 相似性系数(Dice similarity coefficient, DSC)和 Hausdorff距离(Hausdorff distance, HD)来评价体积之间的重叠度。经过实验,几何评估所得的PTV(planning target volume)靶区、左腮腺、 右腮腺Dice系数在B样条弹性配准的两种优化算法和LCC-Demons算法中分别为:0. 82、 0.83、0.86,其中在LCC-Demons算法下得到的Dice系数达到了最大值0.91, 所得的Hausdorff距离均在1—3 mm之间,DSC重叠度结果与表明偏差 距离均在临床可接受的 范围内。对于剂量评估,相应的HI值分别为:1.089、1.082、1.081,LCC-Demons同样达到 了最小值1.081,本实验中LCC-Demons在轮廓推衍和剂量映射中均取 得了较好的效果,同 时也为临床环境下对配准质量的评估提供了一定的借鉴。     

Huffman算法程序的形式化推导

使用PAR方法形式化推导了解决最优编码问题的Huffman算法。推导过程充分利用最优编码树的特性,在对原问题进行分划归约为子问题时,引入一个新元素来取代原来的2个或多个元素,使用一套接近数学语言的抽象记号表示集合、二叉树等,推导过程简洁且能生成正确的算法。该Huffman算法能在PAR平台上通过自动生成系统转换成可执行语言程序,并正常运行。     

On properties not inherited by monoids from their Schützenberger groups

We give an example of a monoid with finitely many left and right ideals, all of whose Schützenberger groups are presentable by finite complete rewriting systems, and so each have finite derivation type, but such that the monoid itself does not have finite derivation type, and therefore does not admit a presentation by a finite complete rewriting system. The example also serves as a counterexample to several other natural questions regarding complete rewriting systems and finite derivation type. Specifically it allows us to construct two finitely generated monoids M and N with isometric Cayley graphs, where N has finite derivation type (respectively, admits a presentation by a finite complete rewriting system) but M does not. This contrasts with the case of finitely generated groups for which finite derivation type is known to be a quasi-isometry invariant. The same example is also used to show that neither of these two properties is preserved under finite Green index extensions.     

无线传感器网络的元胞自动机自组织算法

提出一种分布式、自适应的无线传感器网络元胞自动机(CA)自组织算法,将网络中的每个节点映射成CA中的元胞,通过控制节点在不同时间的状态转换(活跃/睡眠),消除与邻居节点间的频繁通信,从而降低能源消耗。仿真实验结果表明,该算法具有较强的目标检测能力。