数据驱动的实验室智能管理平台

为有效利用数据进行实验室管理,研究了实验室管理模型,提出数据驱动的实验室智能管理流程和逻辑架构.采用标签系统将实验室数据和实验室评估GBDT等算法模型进行分类存储,构建以标签系统为条件的实验室智能管理平台,实现了批处理和场景化两种模式的实验室管理.智能管理平台扩展性强,能在实验室全生命周期发挥作用.     

利用VTK与ITK的集成实现医学图像可视化

在开发医学三维可视化系统时,利用ITK的图像读取与处理功能及VTK在可视化方面的突出能力,将二者有机地集成起来是非常重要与理想的技术路线。讨论了在VisualC++开发环境中,VTK与ITK实现集成的方法与步骤,实验结果验证了该方法在医学图像三维可视化及交互方面具有良好的性能。     

使用COM技术集成3G视频到GIS平台之上

3G通信技术的兴起使无线网络传输的带宽完成了一次飞跃。将3G技术集成到GIS系统之中,使之能提供除地图、3D地图等功能以外,还能让用户获得实时的音视频信息、传感器数据以及视频回放等功能,方便人们管理和监测。本文使用COM组件技术将不同的3G终端数据采集设备集成在一个GIS平台之上。     

用OLE自动化在应用程序中嵌入MapInfo地图功能

本文针对在Ｄｅｌｐｈｉ下开发配电网地理信息系统（ＧＩＳ）的背景,介绍了如何在Ｄｅｌｐｈｉ应用程序中嵌入ＭａｐＩｎｔｆｏ地图功能。为了实现Ｄｅｌｐｈｉ与ＭａｐＩｎｆｏ之间的消息传递,必须创建ＭａｐＩｎｆｏ端自动化服务器用于执行ＭａｐＢａｓｉｃ程序以及Ｄｅｌｐｈｉ端自动化服务器用于捕获来自地图窗口的消息。通过ＯＬＥ自动化客户／服务器的一整套机制,就可以比较方便地开发出基于Ｄｅｌｐｈｉ的地理信息系统,实     

IDS和基于WEB的网络管理系统集成模型

论文探讨了将入侵检测系统集成到基于Web的网络管理系统中的模型,实现了基于Web的全面网络安全管理。不但增加了WBM系统的安全性能,也为IDS系统提供了合理的响应途径。该系统使用JAVA技术实现。     

使用CORBA进行分布式事务处理

论述了ＣＯＲＢＡ开发者的新兴需求,需要理解怎样使用事务处理部件来同化当前基于ＣＯＲＢＡ的系统与传统的关系组件系统。阐述ＣＯＲＢＡ对象事务服务（ＯＴＳ）是怎样被构造的,然后根据规范描述了它的一些显著特点。解释了事务模型,事务语义,生命周期服务。详细描述了传统的非ＣＯＲＢＡ组件ＸＡ＿Ｃｏｍｐｌｉａｎｔ资源管理器怎样通过ＯＴＳ被一个真正的ＣＯＲＢＡ事务吸收。     

Wrinkling Captured Garments Using Space-Time Data-Driven Deformation

The presence of characteristic fine folds is important for modeling realistic looking virtual garments. While recent garment capture techniques are quite successful at capturing the low-frequency garment shape and motion over time, they often fail to capture the numerous high-frequency folds, reducing the realism of the reconstructed space-time models. In our work we propose a method for reintroducing fine folds into the captured models using data-driven dynamic wrinkling. We first estimate the shape and position of folds based on the original video footage used for capture and then wrinkle the surface based on those estimates using space-time deformation. Both steps utilize the unique geometric characteristics of garments in general, and garment folds specifically, to facilitate the modeling of believable folds. We demonstrate the effectiveness of our wrinkling method on a variety of garments that have been captured using several recent techniques.     

综合集成TSIS、VC 和Matlab构建交通控制仿真平台

采用成熟的微观交通流仿真软件及其接口实现和检验交通控制算法是目前交通控制研究的主要方向。该文首先介绍了交通流微观仿真软件TSIS的构成和各组成模块的作用,然后详细介绍了TSIS和VC的接口技术以及VC和Matlab的接口技术,最后综合集成TSIS、VC和Madab构建了交通控制仿真平台。该仿真平台很好地利用了各种软件的优势,能方便快捷地实现各种先进的智能交通控制算法,为交通控制算法提供了一个很好的检验平台。     

多数据库系统集成平台CMDatabase体系结构

在比较传统的两种实现多数据库系统的体系结构后，针对大规模的数据集成提出了一种新的体系结构，该体系结构方便了用户的操作，提高了运行效率。     

利用贝叶斯网络融合空间上下文的高分辨遥感图像分类

针对高分辨遥感图像,本文提出了一种基于贝叶斯网络的上下文模型,以及基于该模型的面向对象的遥感图像分类方法.首先,利用支持向量机(SVM)实现分割区域的初始分类,获得各个类别的候选区域.然后,利用提出的上下文模型融合候选区域及其周围区域的上下文信息,通过贝叶斯网络推理,将候选区域分类到各类地物类型中.基于贝叶斯网络的上下...     

Integrating security into the curriculum

Computer security can be used as a vehicle to achieve accreditation goals for computer science and engineering programs, while at the same time engaging students with relevant, exciting topics. The authors' approach, based on educational outcomes, illustrates that security topics can contribute to an engineering program by fostering all skills required to produce graduates capable of critical thinking     

Integrating systems into the organization

Over the last thirty years, computer technology - hardware and software - has entered every phase of business and government. It has not been an easy or smooth transition, but much has been learned about the success factors of integrating systems into the organization.This paper adresses those factors - other than technical ones - which facilitate successful systems, which are in the nature of organizational attitude, behaviour and style. The roles of various functions vis-à-vis systems management are discussed.The paper concludes with some practical rules which have evolved with experience, intended to insure that systems are indeed useful and effective and therefore judged successful by the users and the developers.     

Transactions for Software Model Checking

This paper presents a software model checking algorithm that combats state explosion by decomposing each thread's execution into a sequence of transactions that execute atomically. Our algorithm infers transactions using the theory of reduction, and supports both left and right movers, thus yielding larger transactions and fewer context switches than previous methods. Our approach uses access predicates to support a wide variety of synchronization mechanisms. In addition, we automatically infer these predicates for programs that use lock-based synchronization.     

Data-Driven Load Forecasting Using Machine Learning and Meteorological Data

Electrical load forecasting is very crucial for electrical power systems’ planning and operation. Both electrical buildings’ load demand and meteorological datasets may contain hidden patterns that are required to be investigated and studied to show their potential impact on load forecasting. The meteorological data are analyzed in this study through different data mining techniques aiming to predict the electrical load demand of a factory located in Riyadh, Saudi Arabia. The factory load and meteorological data used in this study are recorded hourly between 2016 and 2017. These data are provided by King Abdullah City for Atomic and Renewable Energy and Saudi Electricity Company at a site located in Riyadh. After applying the data pre-processing techniques to prepare the data, different machine learning algorithms, namely Artificial Neural Network and Support Vector Regression (SVR), are applied and compared to predict the factory load. In addition, for the sake of selecting the optimal set of features, 13 different combinations of features are investigated in this study. The outcomes of this study emphasize selecting the optimal set of features as more features may add complexity to the learning process. Finally, the SVR algorithm with six features provides the most accurate prediction values to predict the factory load.     

A Case for Chip Multiprocessors Based on the Data-Driven Multithreading Model

Current high-end microprocessors achieve high performance as a result of adding more features and therefore increasing complexity. This paper makes the case for a Chip-Multiprocessor based on the Data-Driven Multithreading (DDM-CMP) execution model in order to overcome the limitations of current design trends. Data-Driven Multithreading (DDM) is a multithreading model that effectively hides the communication delay and synchronization overheads. DDM-CMP avoids the complexity of other designs by combining simple commodity microprocessors with a small hardware overhead for thread scheduling and an interconnection network. Preliminary experimental results show that a DDM-CMP chip of the same hardware budget as a high-end commercial microprocessor, clocked at the same frequency, achieves a speedup of up to 18.5 with a 78–81% power consumption of the commercial chip. Overall, the estimated results for the proposed DDM-CMP architecture show a significant benefit in terms of both speedup and power consumption making it an attractive architecture for future processors.     

Integrating testability into microsystems

 The integration of sensors and actuators with microelectronics into either compact packages or onto a single silicon die is likely to be of major technological importance over the next decade. These systems are referred to as Microsystems or Micro-Electro-Mechanical-Systems (MEMS). One obstacle to mass-market introduction are difficulties with quality and reliability verification. This paper outlines the difficulties of testing microsystems, shows approaches of test generation and verification transferable from the mixed-signal Integrated-Circuit (IC) domain, and demonstrates an on-line test designed for bridge-type, micromachined accelerometer and pressure sensors [1]. Received: 31 October 1996 / Accepted: 14 November 1996     

融入汉字字形特征的中英神经机器翻译模型

神经机器翻译技术是目前机器翻译应用中取得效果最好的方法。将外部语言学知识如单词词性、依存句法标签引入神经机器翻译系统以提高翻译性能已经被很多学者证明是一种行之有效的途径。相较于其他表音文字,汉字是一种形声字,其构造方法具有一半表音、一半表意的特殊结构,这种特殊的构造法使得汉字含有丰富的语义、语音和句法信息。该文在Marta R等工作的基础上,提出了一种新的将字形特征融入端到端模型的方法,并将之应用于中文到英文的翻译上。与基准系统相比,该方法在NIST评测集上获得平均1.1个点的显著提升,有效地证明了汉字字形特征可以对神经机器翻译模型起到促进作用。     

Design of an Information Connection Model Using Rule-Based Connection Platform

NTIS （National Science ＆ Technology Information Service） collects national R＆D information through the connection system in real time with specialized institutions under government ministries for R＆D information service. However, because the information connection between the research management systems in each ministry （institution） and the NTIS is different, it is not easy to operate the connection system, and immediate data collection is thus not ensured. This study aims to propose an information connection model to be applied on the NTIS-like systems. To do this, we examine methods or styles of information connection and compare strength and weakness of connection methods. In this paper we also understand issues or characteristics of the methods through analyzing current information connection methods applied on the NTIS. Therefore, we design a rule-based information connection platform to minimize the information connection issues. Based on the platform, we also propose an information connection model.     

分片段的移动实时数据库事务模型

由于移动计算环境的固有特性、数据访问者的移动性、事务的截止期限制等,传统平坦事务模型无法满足移动实时数据库的需求.本文针对移动实时数据库事务的特点,提出了一种分片段移动实时数据库事务模型.