高精度声纳信号预处理系统的研究

针对水声信号的数据采集，本文研究并设计了一种高精度、大动态范围的宽带数据采集预处理系统。该系统采用自动增益控制（AGC）技术，实现了对信号的大动态范围压缩，并采用截止频率可变的低通和高通滤波器组实现宽带滤波，使带宽可根据实际所采信号调整。     

面向体系结构的可视化服务集成开发环境Artemis-VIDE

为支持直观易扩展的软件服务集成和所集成之应用系统的动态演化，本文提出了一个面向体系结构的可视化服务集成开发环境。该环境支持以图形化的方式定义系统的软件体系结构及相关协同逻辑，并据此生成内置于应用系统之中的运行时刻体系结构对象，作为应用系统运行和演化的基础。该环境还集成了服务搜索、基于图文法的体系结构检查等功能，为系统的开发、运行、监控和动态演化提供了一个一致、易用、可扩展的支撑平台。     

基于DSP和PCI的宽频带水下目标模拟器的实现及应用

介绍了宽频带水下目标回波模拟技术的特点.采用DSP和PCI构建目标模拟器的数据采集处理系统、利用串并联谐振技术实现宽带阻抗匹配,配合大动态范围的模拟信号预处理机,研制了一种宽频带水下目标模拟器.目前该型目标模拟器已成功通过了试验,并由此证明其具有较好的宽带目标模拟功能.     

可扩展并行Web服务器群技术的研究

随着Ｉｎｔｅｒｎｅｔ应用的发展,传统的Ｗｅｂ服务器已不参满足客户端访问能力的需求,可扩展并行Ｗｅｂ服务器群技术的研究和开发应运而生,它具有高可用,可扩展等特点。中一方面,机群系统具有良好的可扩展性能和计算能力,是实现可扩展并行Ｗｅｂ服务各的最好系统平台。     

基于网格的多机群资源中间件的设计与实现

使用不同管理系统的多机群系统不能实现资源共享、协同工作和自适应资源管理。针对该问题,该文利用网格的资源共享和动态分配特性,通过构建多机群资源管理中间件,设计并实现了基于网格技术的异构多机群系统。运行结果表明,以中间件集中、动态地管理和调度资源,该系统能够正确高效地工作,验证了网格技术和中间件设计概念在异构多机群系统方面的可行性。     

基于某大型导弹的高性能同步数据采集系统

闭环动态测试系统的关键一是建立一套相适应的高性能数据采集系统。文章介绍了一种针对某大型导弹闭环动态测试的高速高精同步数据采集系统,系统集成度高、性能优异,可扩展,具有较强的通用性。     

一个基于机群系统的面向对象并行程序开发环境的研究与实现

面向对象程序设计技术可以降低并行程序设计的复杂性、提高并行程序的可读性,可维护性、可移植性,因此提供面向对象的并行程序设计环境,可以减少并行程序开发难度,有效地利用并行计算机系统的潜能,可扩展并行机群系统是随着网络技术迅速发展而出现的一种网络并行计算系统,其主要特点是适于粗糙度任务并行,适于采用消化传递机制,文中在可扩展机群系统上实现了面向对象的并行程序开发环境ＰａｒａＯｂｊｃｃｔ,它由对象平台,     

VISA：基于动态二进制翻译优化技术的可扩展体系结构

体系结构设计经常要在代码兼容和结构创新之间进行折衷。保证代码兼容的体系结构难以引入创新性的体系结构技术，或者导致最终结构变得相当复杂。本文提出一种基于动态二进制翻译优化的可扩展处理器结构VISA。VISA在实现兼容的前提下拓展了体系结构设计的空间。模拟结果显示，VISA性能优于现有的动态二进制翻译优化框架，并有更高
高的性能潜力和扩展空间。     

基于多级副本分布的机群服务器动态扩展研究

升级和扩展是机群服务器系统需要经常面对的问题。该文提出了基于多级副本分布的机群服务器系统重构和动态扩展模型及结点动态添加算法，采用优化的局部平衡文件迁移策略，有效减少系统动态添加新结点时的文件迁移开销，支持机群系统的动态扩展。     

基于GPRS技术对用电大客户电能量数据管理的实现

本文对用电大户电能量数据采集的背景和业务需求进行了分析,对采用GPRS技术实现电能量数据的技术方案做了详细描述,并结合一个具体的项目介绍了该系统的体系结构;文中对该系统实现的功能和作用也给出了详细说明.     

A Compact Linear Translation for Bounded Model Checking

We present a syntactic scheme for translating future-time LTL bounded model checking problems into propositional satisfiability problems. The scheme is similar in principle to the Separated Normal Form encoding proposed in [Frisch, A., D. Sheridan and T. Walsh, A fixpoint based encoding for bounded model checking, in: M.D. Aagaard and J.W. O'Leary, editors, Formal Methods in Computer-Aided Design; 4th International Conference, FMCAD 2002, Lecture Notes in Computer Science 2517 (2002), pp. 238–254] and extended to past time in [Cimatti, A., M. Roveri and D. Sheridan, Bounded verification of past LTL, in: A.J. Hu and A.K. Martin, editors, Proceedings of the 5th International Conference on Formal Methods in Computer Aided Design (FMCAD 2004), Lecture Notes in Computer Science (2004)]: an initial phase involves putting LTL formulae into a normal form based on linear-time fixpoint characterisations of temporal operators.As with [Cimatti, A., M. Roveri and D. Sheridan, Bounded verification of past LTL, in: A.J. Hu and A.K. Martin, editors, Proceedings of the 5th International Conference on Formal Methods in Computer Aided Design (FMCAD 2004), Lecture Notes in Computer Science (2004)] and [Latvala, T., A. Biere, K. Heljanko and T. Junttila, Simple bounded LTL model checking, in: Formal Methods in Computer-Aided Design; 5th International Conference, FMCAD 2004, Lecture Notes in Computer Science 3312 (2004), pp. 186–200], the size of propositional formulae produced is linear in the model checking bound, but the constant of proportionality appears to be lower.A denotational approach is taken in the presentation which is significantly more rigorous than that in [Frisch, A., D. Sheridan and T. Walsh, A fixpoint based encoding for bounded model checking, in: M.D. Aagaard and J.W. O'Leary, editors, Formal Methods in Computer-Aided Design; 4th International Conference, FMCAD 2002, Lecture Notes in Computer Science 2517 (2002), pp. 238–254] and [Cimatti, A., M. Roveri and D. Sheridan, Bounded verification of past LTL, in: A.J. Hu and A.K. Martin, editors, Proceedings of the 5th International Conference on Formal Methods in Computer Aided Design (FMCAD 2004), Lecture Notes in Computer Science (2004)], and which provides an elegant alternative way of viewing fixpoint based translations in [Latvala, T., A. Biere, K. Heljanko and T. Junttila, Simple bounded LTL model checking, in: Formal Methods in Computer-Aided Design; 5th International Conference, FMCAD 2004, Lecture Notes in Computer Science 3312 (2004), pp. 186–200] and [Biere, A., A. Cimatti, E. M. Clarke, O. Strichman and Y. Zhu, Bounded model checking, Advances in Computers 58 (2003)].     

基于遥感与GIS的农村居民点景观特征比较

以河北省阜平县、武邑县 ,福建省清流县、惠安县作为研究区 ,利用 2 0 0 0年 TM遥感图像 ,通过解译、判读得到景观结构矢量图 ,然后利用景观生态学数量方法分析了研究区农村居民点景观特征的差异及空间分布格局。研究表明 ,研究区农村居民点规模较小 ,平原地区平均面积不到 2 0 hm2 ,山区农村居民点平均面积低于 10 hm2。农村居民点距离较近 ,山区农村居民点平均距离小于 2 .5 km,平原地区农村居民点距离小于 0 .4 hm。农村居民点规模小 ,分布零散 ,适应于农业经济的发展。为了节约居民点用地 ,应采取加快城镇及中心村发展的方针 ,促进农村居民点布局的优化     

Scene text detection and recognition: recent advances and future trends

Text, as one of the most influential inventions of humanity, has played an important role in human life, so far from ancient times. The rich and precise information embodied in text is very useful in a wide range of vision-based applications, therefore text detection and recognition in natural scenes have become important and active research topics in computer vision and document analysis. Especially in recent years, the community has seen a surge of research efforts and substantial progresses in these fields, though a variety of challenges (e.g. noise, blur, distortion, occlusion and variation) still remain. The purposes of this survey are three-fold: 1) introduce up-to-date works, 2) identify state-of-the-art algorithms, and 3) predict potential research directions in the future. Moreover, this paper provides comprehensive links to publicly available resources, including benchmark datasets, source codes, and online demos. In summary, this literature review can serve as a good reference for researchers in the areas of scene text detection and recognition.     

Probabilistic clock synchronization

A probabilistic method is proposed for reading remote clocks in distributed systems subject to unbounded random communication delays. The method can achieve clock synchronization precisions superior to those attainable by previously published clock synchronization algorithms. Its use is illustrated by presenting a time service which maintains externally (and hence, internally) synchronized clocks in the presence of process, communication and clock failures. Flaviu Cristian is a computer scientist at the IBM Almaden Research Center in San Jose, California. He received his PhD from the University of Grenoble, France, in 1979. After carrying out research in operating systems and programming methodology in France, and working on the specification, design, and verification of fault-tolerant programs in England, he joined IBM in 1982. Since then he has worked in the area of fault-tolerant distributed protocols and systems. He has participated in the design and implementation of a highly available system prototype at the Almaden Research Center and has reviewed and consulted for several fault-tolerant distributed system designs, both in Europe and in the American divisions of IBM. He is now a technical leader in the design of a new U.S. Air Traffic Control System which must satisfy very stringent availability requirements.     

Spinal shrinkage,sagittal alignment and back discomfort changes in manufacturing company workers during a working day

Abstract

Prolonged standing and lifting heavy loads are risk factors for the appearance of low back pain in work. The aim of this study was to observe changes in the height, spinal sagittal alignment, and the lumbar and dorsal discomfort perception in assembly line workers. Cross-sectional study, 40 assembly line workers (6 females). Height, sitting height, grades of thoracic kyphosis and lumbar lordosis and perceived spine discomfort, before and after the working day, were determined. Thoracic and lumbar sagittal alignment was compared between discomfort developers and no developers. There was a significant decrease in the height and sitting height of the workers at the end of the day. Thoracic and lumbar curvature increased significantly, as did the perceived lumbar discomfort. Workers on the assembly line, in a prolonged standing work, suffer an increase in lumbar discomfort, and changes in height and thoracic and lumbar curvatures.

Practitioner summary: Spinal shrinkage, sagittal alignment and back discomfort (upper and lower back), were analysed in assembly line workers in prolonged standing during a workday. Assembly line workers suffer a decrease in height, an increase in their thoracic and lumbar curvature, and in lumbar discomfort throughout their workday.     

HarkMan—A Vocabulary-Independent Keyword Spotter for Spontaneons Chinese Speech

In this paper,a noverl technique adopted in HarkMan is introduced.HarkMan is a keywore-spotter designed to automatically spot the given words of a vocabulary-independent task in unconstrained Chinese telephone speech.The speaking manner and the number of keywords are not limited.This paper focuses on the novel technique which addresses acoustic modeling,keyword spotting network,search strategies,robustness,and rejection.The underlying technologies used in HarkMan given in this paper are useful not only for keyword spotting but also for continuous speech recognition.The system has achieved a figure-of-merit value over 90%.     

基于Visual FoxPro环境AeCESS数据库操作的实现

在Visual FoxPro中使用ACCESS数据库,能够克服其自奄存在的数据库、数据表与索引文件分离、数据表安全性不高等不利因素,较好地发挥二者在数据库管理与编程方酗的优势。鉴于这方面的资料较少,系统地阐述Visual FoxPm环境下ACCESS数据库的操作方法,实现在Visual FoxPro中ACCESS数据库的建立、压缩与修复;数据表的建立、结构与记录的维护;Visual FoxPro数据库与ACCESS数据库的相互转换、Visual FaxPro中通用字段与ACCESS中OLE字段的数据转换等方法是很多用户的客观需求。用Visual FoxPro编程方式全面操纵ACCESS数据库具有重要的理论与应用价值。     

Stability of nonlinear hybrid dynamical systems with time delay via sum of squares decomposition

Considering an infinite number of eigenvalues for time delay systems, it is difficult to determine their stability. We have developed a new approach for the stability test of time delay nonlinear hybrid systems. Construction of Lyapunov functions for hybrid systems is generally a difficult task, but once these functions are found, stability’s analysis of the system is straight-forward. In this paper both delay-independent and delay-dependent stability tests are proposed, based on the construction of appropriate Lyapunov-Krasovskii functionals. The methodology is based on the sum of squares decomposition of multivariate polynomials and the algorithmic construction is achieved through the use of semidefinite programming. The reduction techniques provide numerical solution of large-scale instances; otherwise they will be computationally infeasible to solve. The introduced method can be used for hybrid systems with linear or nonlinear vector fields. Finally simulation results show the correctness and validity of the designed method. Recommended by Editorial Board member Young Soo Suh under the direction of Editor Jae Weon Choi. The authors wish to express their thanks to Dr. A. Papachristodoulou and Dr. M. Peet for their helpful comments and suggestions. Mohammad Ali Badamchizadeh was born in Tabriz, Iran, in December 1975. He received the B.S. degree in Electrical Engineering from University of Tabriz in 1998 and the M.Sc. degree in Control Engineering from University of Tabriz in 2001. He received the Ph.D. degree in Control Engineering from University of Tabriz in 2007. He is now an Assistant Professor in the Faculty of Electrical and Computer Engineering at University of Tabriz. His research interests include Hybrid dynamical systems, Stability of systems, Time delay systems, Robot path planning. Sohrab Khanmohammadi received the B.S. degree in Industrial Engineering from Sharif University, Iran in 1977 and the M.Sc. degree in Automatic from University Paul Sabatie, France in 1980 and the Ph.D. degree in Automatic from National University, ENSAE, France in 1983. He is now a Professor of Electrical Engineering at University of Tabriz. His research interests are Fuzzy control, Artificial Intelligence applications in control and simulation on industrial systems and human behavior. Gasem Alizadeh was born in Tabriz, Iran in 1967. He received the B.S. degree in Electrical Engineering from Sharif University, Iran in 1990 and the M.Sc. degree from Khajeh Nasir Toosi University, Iran in 1993 and the Ph.D. degree in Electrical Engineering from Tarbiat Modarres University, Iran in 1998. From 1998, he is a Member of University of Tabriz in Iran. His research interests are robust and optimal control, guidance, navigation and adaptive control. Ali Aghagolzadeh was born in Babol, Iran. He received the B.S. degree in Electrical Engineering in 1985 from University of Tabriz, Tabriz, Iran, and the M.Sc. degree in Electrical Engineering in 1988 from the Illinois Institute of Technology, Chicago, IL. He also attended the School of Electrical Engineering at Purdue University in August 1998 where he was also employed as a part-time research assistant and received the Ph.D. degree in 1991. He is currently an Associate Professor of Electrical Engineering at University of Tabriz, Tabriz, Iran. His research interests include digital signal and image processing, image coding and communication, computer vision, and image analysis.     

跨设备交互场景下参照域构建方法的设计策略研究

针对智能家居中跨设备交互的内容传输问题,从参照类型和工件数量 2 个方面定义交互的可见性, 并在此基础上提出了 4 种参照域构建方法(物理的,物理耦合的,数字的,自然的)。通过“绿野仙踪”实验探究 4 种方法在单一任务和主次任务场景下对用户体验的影响,实验结果表明,不同方法在同一场景,以及同一方法 在不同场景的用户体验有差异。得出 2 个方面结论：①方法的差异性,物理的方法是高效而有趣的,物理耦合的 方法最有趣但实行性较低,数字的方法最实用但也是常规的,自然的方法在主次任务场景下最实用;②场景的差 异性,主次任务场景中用户重点关注实用性,而用户在单一任务场景中既关注实用性也对享乐性提出了要求。     

A survey of uncertain data management

Uncertain data are data with uncertainty information,which exist widely in database applications.In recent years,uncertainty in data has brought challenges in almost all database management areas such as data modeling,query representation,query processing,and data mining.There is no doubt that uncertain data management has become a hot research topic in the field of data management.In this study,we explore problems in managing uncertain data,present state-of-the-art solutions,and provide future research directions in this area.The discussed uncertain data management techniques include data modeling,query processing,and data mining in uncertain data in the forms of relational,XML,graph,and stream.