Model for knowledge and legal expert systems

This paper presents a four layer model for working with legal knowledge in expert systems. It distinguishes five sources of knowledge. Four contain basic legal knowledge found in published and unpublished sources. The fifth consists of legal metaknowledge. In the model the four basic legal knowledge sources are placed at the lowest level. The metaknowledge is placed at levels above the other four knowledge sources. The assumption is that the knowledge is represented only once. The use of metaknowledge at various levels should make it possible to use the appropriate knowledge for the problem presented to the system. The knowledge has to be represented as closely to the original format as possible for this purpose. Suitable representation formalisms for the various types of knowledge in the five knowledge sources are discussed. It is not possible to indicate a best representation formalism for each knowledge source.     

一个基于实例推理的软件过程知识复用方法

过程资产库的建立和基于过程资产的项目过程定义是一个组织的软件能力成熟度达到已定义级的关键标志,传统的过程资产库中存储的过程往往是通过文字描述和使用者判断其适用性,用于项目过程的建立。本文提出了一种基于实例推理(CBR)的过程知识复用方法,通过过程特征的刻画和实例相似度计算,实现过程实例的提取和复用。实践证明,该方法有助于提高过程知识复用的准确度和自动化程度,为软件过程改进中的过程建立提供有效手段。     

对大学计算机基础中硬件部分教学方法的探讨

大学计算机基础是大中专院校的非计算机专业学生必修的一门公共基础课。这门课程主要讲述计算机的基础知识,基本操作;学生对其中计算机的硬件知识很感兴趣,但由于教学条件的限制,难以在课堂上用实物进行讲解和组装演练,因此我们要广开思路寻找适合当前教学境况的创新教学方法。     

一种改进的人脸纹理映射方法

识别人脸图像优化问题,由于人脸纹理映射时容易出现的纹理扭曲和畸变现象,影响图像的真实性,提出一种改进的纹理图像映射方法。根据人脸特征点信息,利用特征块匹配法配准正侧面人脸图像,并使用加权平滑算法和金字塔方法对图像进行双重融合实现图像的平滑过渡;然后利用一种特殊的定位方法来计算三维人脸模型上顶点对应的纹理坐标;最后根据纹理坐标将纹理图像映射到三维特定人脸模型表面上,可得到具有真实感的三维人脸模型。实验结果表明,纹理合成方法简捷有效,纹理映射结果生动逼真,有效的避免了纹理图像的扭曲和畸变现象,具有较高的鲁棒性。     

太阳风粒子数据映射模型的设计与实现

为了能够快速获得第三级太阳风粒子可分析处理的结构化数据,本文采用将数据映射到内存和采用语言集成查询技术解决数据的完整映射和快速访问。通过设计数据映射模型,将用PDS数据的数据标签和数据产品分别映射到模型的值域和属性域,解决本地或网络数据内存映射的问题。为测试这个实例,采用双倍缓冲和贝塞尔插值技术对数据能谱进行了实时绘制。结果表明该模型具有高效性、完备性和高吻合度。这个基于内存映射的模型能够较好地解决异构数据快速结构化数据访问的数据源动力不足问题,为进一步处理和分析太阳高能粒子的频谱、成份和通量及随时间、空间变化的分布特征等提供了基础。     

Photothermal radiometric detection and imaging of surface cracks

This paper discusses surface crack detection by photothermal radiometric imaging (PRI). In PRI, also called dynamic infrared scanning, a surface is scanned with a spot of heat. Imperfections are detected by radiometrically sensing changes in the surface temperature of a small area in the vicinity of this spot. In the work described, cracks narrower than 25 µm (0.001 in.) in a lightly rusted steel surface have been detected. Indiscrete scanning an amplitude modulated heating beam is moved in steps, remaining at each location long enough to measure amplitude and phase of the AC temperature. Incontinuous scanning a constant intensity heating beam is moved continuously while the temperature deviations are measured. This paper presents methods of calculating amplitude and phase of surface temperature for discrete scanning and instantaneous temperature for continuous scanning across a surface crack. For a steel surface scanned by a watt-level laser beam, predicted surface temperature deviations when crossing the crack are several degrees Celsius, with expected radiometrically detected power several orders of magnitude above the detector noise. In experiments performed, both techniques easily detected narrow cracks in a smooth, clean surface. Discolorations and pits, on the other hand, generate a disturbing type of surface noise. This noise was minimized by differential detection. Based on results obtained, continuously scanned PRI with a fan-type heating beam and array detection could become a viable way of mapping surface cracks at practical scanning speeds.     

On mapping processes to processors in distributed systems

This paper is concerned with the implementation of parallel programs on networks of processors. In particular, we study the use of the network augmenting approach as an implementation tool. According to this approach, the capabilities of a given network of processors can be increased by adding some auxiliary links among the processors. We prove that the minimum set of edges needed to augment a line-like network so that it can accommodate a parallel program is determined by an optimal path cover of the graph representation of the program. Anoptimal path cover of a simple graphG is a set of vertex-disjoint paths that cover all the vertices ofG and has the maximum possible number of edges. We present a linear time optimal path covering algorithm for a class of sparse graphs. This algorithm is of special interest since the optimal path covering problem is NP-complete for general graphs. Our results suggest that a cover and augment scheme can be used for optimal implementation of parallel programs in line-like networks.A preliminary version of this paper was presented at the 6th IEEE Conference on Computer Communications (INFOCOM '87).This reseach is supported in part by National Semiconductor (Israel), Ltd.     

低碳钢显微结构的EBSD表征

近年来,新开发的电子背散射衍射技术将多晶材料的显微组织、微区成分与结晶学数据分析联系起来,能对晶界类型、取向、位向差和结构及其分布进行观察、统计测定和定量分析,从而建立了晶界结构、取向和织构等与多晶材料性能的定量和半定量关系,成为现代材料研究的重要实验技术。笔者结合低碳钢生产中的一些实际问题,扼要介绍了电子背散射衍射技术中的晶体取向图在多晶材料显微结构表征中的应用。     

基于红外检测的变电站设备热状态诊断

提出了一种基于红外检测的变电站设备热状态诊断方案。首先基于变电站设备的红外图像,采用局部方差映射函数和遗传算法阈值提取了变电站设备的热状态数据,以用于对异常区域进行分割。然后构建了红外图像灰度数与变电站设备温度两者之间的关系。最后采用改进的相对温差法达到了对设备热状态进行分类和诊断的目标,并捕获定位了变电站设备的热状态异常区域。实验结果表明,该方法提高了异常热区提取的精度和效率,提升了变电站设备热状态诊断的容错能力,进一步保证了变电站和整个电力系统的运行稳定性。     

Gap Junctional Communication via Connexin43 between Purkinje Fibers and Working Myocytes Explains the Epicardial Activation Pattern in the Postnatal Mouse Left Ventricle

The mammalian ventricular myocardium forms a functional syncytium due to flow of electrical current mediated in part by gap junctions localized within intercalated disks. The connexin (Cx) subunit of gap junctions have direct and indirect roles in conduction of electrical impulse from the cardiac pacemaker via the cardiac conduction system (CCS) to working myocytes. Cx43 is the dominant isoform in these channels. We have studied the distribution of Cx43 junctions between the CCS and working myocytes in a transgenic mouse model, which had the His-Purkinje portion of the CCS labeled with green fluorescence protein. The highest number of such connections was found in a region about one-third of ventricular length above the apex, and it correlated with the peak proportion of Purkinje fibers (PFs) to the ventricular myocardium. At this location, on the septal surface of the left ventricle, the insulated left bundle branch split into the uninsulated network of PFs that continued to the free wall anteriorly and posteriorly. The second peak of PF abundance was present in the ventricular apex. Epicardial activation maps correspondingly placed the site of the first activation in the apical region, while some hearts presented more highly located breakthrough sites. Taken together, these results increase our understanding of the physiological pattern of ventricular activation and its morphological underpinning through detailed CCS anatomy and distribution of its gap junctional coupling to the working myocardium.