On-line planning in automatic control systems for industrial processes

As is generally known, efficient production control requires permanent acquisition, processing and storage of production and technological data. Moreover, it requires analysis of the data, on-line control of manufacturing and industrial processes, as well as their scheduling. The mentioned functions are successfully performed by updated version of InfinitySuite, software product developed by EleSi company.     

Shkurba Viktor Vasil’evich July 10, 1935–June 11, 2011

Obituary

Shkurba Viktor Vasil’evich July 10, 1935–June 11, 2011     

The minimum information about failures for solving non-local tasks in message-passing systems

We first define the basic notions of local and non-local tasks for distributed systems. Intuitively, a task is local if, in a system with no failures, each process can compute its output value locally by applying some local function on its own input value (so the output value of each process depends only on the process’ own input value, not on the input values of the other processes); a task is nonlocal otherwise. All the interesting distributed tasks, including all those that have been investigated in the literature (e.g., consensus, set agreement, renaming, atomic commit, etc.) are non-local. In this paper we consider non-local tasks and determine the minimum information about failures that is necessary to solve such tasks in message-passing distributed systems. As part of this work, we also introduces weak set agreement—a natural weakening of set agreement—and show that, in some precise sense, it is the weakest nonlocal task in message-passing systems.     

基于MoM评价模型的冠脉血管直径的测量

在骨架化提取出血管中心线的基础上,提出一种基于MoM评价模型的冠脉血管直径的跟踪测量方法。该算法利用血管的两条边缘线相对于中心线的对称性和最优化评价思想,通过对实际造影图像的量化测量并将其与实际直径值进行对比,发现使用提出的算法能够准确地测量血管的直径,并且可以有效地解决血管分支和重叠处直径测量问题。     

抑制噪声的问题探索

本论文是探讨脉冲探测技术的,探讨了两个问题：要求实现信噪比的改善,最后形成高灵敏度的探测系统;在白噪声中探测宽度为τ的脉冲信号问题。     

微气体传感器测试系统的恒流配气系统研究

针对恒流混合气体在微气体传感器实验中的重要性,根据道尔顿分压定律和阿马伽定律,采用质量比动态配气法,实现了实验用恒流配气系统.基于NI USB6215系列多功能数据采集卡,以LabVIEW8.5为软件开发平台,设计了恒流配气系统软件控制界面.通过计算机严格控制MFCs流量调节,配比出不同浓度氢气混合气体.气体流量始终保持在1L/min,上下波动不超过10mL/min.分析了气体流量值出现波动的原因,为进一步完善恒流配气系统提供了参考.     

基于平行截面上轮廓之间重构问题的研究

研究了基于平行截面上两多边形轮廓重构的基本问题,给出了利用体积最大化作为度量标准来求得一个"较好"并且合法的重构的目标函数,然后得出:其中一个多边形轮廓在其所在的截面上沿着法向平移、在截面内平移和在截面内等比例缩放都不影响最大化体积后的结果。该结论对于三维实体的可视化和几何造型领域具有重要的实用价值。     

多元分析法在沉淀滴定中的应用

将多元分析法应用于沉淀滴定之中 ,提出固定电位的方法 ,建立了沉淀滴定中各组分浓度与体积之间关系的数学模型 ,对卤素和硫氰酸盐混合体系进行了测定。     

Using Semantic Classification Trees for WSD

This paper describes the evaluation of a WSD method withinSENSEVAL. This method is based on Semantic Classification Trees (SCTs)and short context dependencies between nouns and verbs. The trainingprocedure creates a binary tree for each word to be disambiguated. SCTsare easy to implement and yield some promising results. The integrationof linguistic knowledge could lead to substantial improvement.