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

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

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.     

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

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

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.     

Key activities for product derivation in software product lines

More and more organizations adopt software product lines to leverage extensive reuse and deliver a multitude of benefits such as increased quality and productivity and a decrease in cost and time-to-market of their software development. When compared to the vast amount of research on developing product lines, relatively little work has been dedicated to the actual use of product lines to derive individual products, i.e., the process of product derivation. Existing approaches to product derivation have been developed independently for different aims and purposes. While the definition of a general approach applicable to every domain may not be possible, it would be interesting for researchers and practitioners to know which activities are common in existing approaches, i.e., what are the key activities in product derivation. In this paper we report on how we compared two product derivation approaches developed by the authors in two different, independent research projects. Both approaches independently sought to identify product derivation activities, one through a process reference model and the other through a tool-supported derivation approach. Both approaches have been developed and validated in research industry collaborations with different companies. Through the comparison of the approaches we identify key product derivation activities. We illustrate the activities’ importance with examples from industry collaborations. To further validate the activities, we analyze three existing product derivation approaches for their support for these activities. The validation provides evidence that the identified activities are relevant to product derivation and we thus conclude that they should be considered (e.g., as a checklist) when developing or evaluating a product derivation approach.     

一种基于程序正确性证明理论的程序开发方法

程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法,它使得程序的开发和证明同时进行,程序开发完成的同时其正确性亦得以保 证,以两个问题的程序开发为例说明了程序的形式推导方法的使用。     

植物病害I—S关系——logistic衍生模型的研究

以logistic模型为基础 ,以时间因子为媒介 ,推导出一个能准确描述植物病害I-S的logistic衍生模型。通过对油松落针病、花生锈病、烟草黄瓜花叶病和小麦赤霉病等多组I-S关系数据的实例验证与比较分析 ,显示出这一模型具有较强的数据拟合能力和广泛的适用性。Logistic衍生模型尚可应用于林木胸径与材积(D -V)关系、径与树高(D -H)关系以及生物量预估等项研究。此外 ,还提出一个具有普遍指导意义的通用模型     

关于一类微积分计算方法的探究

通过对一类微积分计算方法的探究,从本质上分析所形成的思维模式,给出了一元微分以及积分区域为圆的二重积分通过平移变换简单巧妙的计算方法.由此可以类比出多元微分,以及多重积分的计算方法.     

基于纹理滤波和方向微分的模糊方向识别

针对最小方向微分(MDD)算法在运动模糊方向识别中误差大和实时性差的缺点,提出一种改进的MDD算法。通过计算局部最大差值对模糊图像进行滤波,增强模糊方向上的纹理细节,利用双线性差值求解最小方向微分和,其对应方向即为模糊方向。根据方向微分和曲线的变化规律,给出模糊方向的迭代搜索模型,从而减少搜索次数。仿真结果表明,改进算法具有较高的识别精度和较快的执行速度。