Compositional priority specification in real-time distributed systems

In this paper, we develop a compositional denotational semantics for prioritized real-time distributed programming languages. One of the interesting features is that it extends the existing compositional theory proposed by Koymanset al (1988) for prioritized real-time languages preserving the compositionality of the semantics. The language permits users to define situations in which an action has priority over another action without the requirement of preassigning priorities to actions for partially ordering the alphabet of actions. These features are part of the languages such as Ada designed specifically keeping in view the needs of real-time embedded systems. Further, the approach does not have the restriction of other approaches such as prioritized internal moves can pre-empt unprioritized actions etc. Our notion of priority in the environment is based on the intuition that a low priority action can proceed only if the high priority action cannot proceed due to lack of the handshaking partner at that point of execution. In other words, if some action is possible corresponding to that environment at some point of execution then the action takes place without unnecessary waiting. The proposed semantic theory provides a clear distinction between the semantic model and the execution model — this has enabled us to fully ensure that there is no unnecessary waiting.     

除霜、隔热镀膜玻璃的性能设计及评价试验规范

分析了除霜、隔热镀膜玻璃应用于汽车挡风玻璃领域的前景。结合该产品的研制过程,并参考相关产品标准,给出了除霜、隔热镀膜玻璃的性能设计及评价试验规范。     

高频振动方向和振幅测量的模糊图像处理方法

根据振动模糊图像和静止图像在频谱上存在的对应关系,即振动模糊图像频谱存在着对应于零阶贝塞尔函数零点的暗纹(贝塞尔条纹);提出对一幅振动模糊图像,经过二维傅里叶变换、灰度均衡以及Radon变换等步骤检测振动模糊图像频谱图上贝塞尔条纹的方向和位置,来实现振动方向和振幅测量的方法;试验证明可以实现平面内任意方向振动的测量,振幅测量精度亚像素级。     

Distributions most nearly compatible with given families of conditional distributions

Consider a discrete bivariate random variable (X, Y) with possible values 1, 2, ...,I forX and 1, 2, ...J forY. Suppose that putative families of conditional distributions, forX given values ofY and ofY given values ofX, are available. After reviewing conditions for compatibiity of such conditional specifications of the distribution of (X, Y), attention is focussed on the incompatible case. The Kullback-Leibler information function is shown to provide a convenient measure of inconsistency. Using it, algorithms are provided for computing the joint distribution for (X, Y) that is least discrepant from the given inconsistent conditional specifications. Other discrepancy measures are briefly discussed.     

基于区域合并多尺度分割的稀土矿区典型地物识别方法

随着稀土产业价值的不断飙升,稀土产业的开采和加工带来了一系列的生态问题,实现稀土矿区地物的准确、高效和快速地识别,已经成为矿区开采监测的热点。研究针对稀土矿区典型地物识别问题,提出了一种基于直方图特征知识库的地物识别方法,采用直方图比较的方式来得到典型地物最佳分割尺度,实现了基于高分辨率影像的矿区典型地物识别与分类。将该方法应用于高分一号影像和资源三号影像,得出高分一号影像和资源三号影像分别在分割尺度50和80左右时效果最佳。     

材料成分对热镀锌钢板性能及表面质量的影响

针对以往热镀锌板以碳作为强化元素的碳锰设计中易出现成品带钢板面不良的缺陷,以及采用超低碳钢添加微合金元素强化时成本较高的问题,以厚度规格为0.3 mm、强度为320 MPa的典型薄带热镀锌产品为研究对象,研究了成分对成品热镀锌钢板质量的影响;并在成本控制的前提下,通过碳与磷成分的组合优化,提出了一套以碳锰设计为基础、兼顾产品质量的成分综合优化方案。将综合优化方案应用到某钢铁企业的生产实践后,生产出了强度为320 MPa以上、表面无色差等缺陷的镀锌薄板产品,满足了家电裸用的要求,且给企业创造了较大的经济效益,具有进一步推广应用的价值。     

湘钢二烧易地大修改造工程电气设计

湘钢二烧405m2烧结机工程于2009年年底建成投产。本文介绍了该工程的电气设计特点,并就设计中值得注意的几个问题进行了讨论。     

Objective yarn bulk measurement through image analysis

A novel objective yarn bulk measurement method has been developed through image analysis technique. Two orthogonal images are taken from the same part of a yarn and then transformed into gray scale. Each gray scale image is further processed separately by extracting the yarn image from background with the help of intensity histogram using adaptive threshold. This gives rise to a binary image which is used as input for the second part of the algorithm measuring yarn volume. The processing on the input image starts with omitting the long rare loops, considered as noise, by morphological operations. This is followed by measuring the width of the two orthogonal images pixel by pixel along the yarn. Finally, the total volume of the yarn is ascertained by integrating the volume of all the individual imaginary ovals with their two diameters replaced by the two widths of orthogonal images at the corresponding pixel.     

嵌入式实时系统的软件需求检测

以需求描述模型HRFSM(hierarchical finite state machines based on rules)为基础,提出了一个嵌入式实时系统软件的动态执行模型(dynamic execution model,简称DEM)和基于该模型的检测方法.由于DEM能将控制流、数据流和时间有效地集成为一体,故提出的检测方法能检测嵌入式实时系统的软件需求的一致性和完全性.该检测方法由3种侧重点不同的检测形式组成,并能在检测过程中提供一些重要的检测信息.分析员可以利用基于该检测方法的工具灵活地对嵌入式实时系统的软件需求进行检测,以提高分析和检测软件需求的效率.