关键词：电商交易额；电子商务

查看摘要 索取原文[1页]

Traffic congestion burdens the nation's quality of life and will likely grow substantially if current trends continue. Intelligent Transportation Systems (ITS) are a range of technologies that can reduce congestion at less cost than some other approaches. The U.S. Department of Transportations (DOT) Research and Innovative Technology Administration (RITA) is responsible for promoting and supporting the use of ITS in coordination with other modal administrations, including the Federal Highway Administration (FHWA). Since 1994, DOT has overseen the allocation and expenditure of more than $3 billion for deploying and researching ITS. GAO was asked to address (1) the current and emerging uses of ITS technologies by state and local governments, (2) the challenges these governments face in using ITS, and (3) the extent to which DOT's efforts to promote and support ITS address these challenges and follow leading practices. To conduct this work GAO visited four sites, and interviewed and analyzed documents and data from DOT and state and local transportation officials, ITS experts, and other stakeholders.

关键词：电子信息；智能交通；交通拥堵；美国运输部

查看摘要 索取原文[60页]

The purpose of this effort was to conduct a border-wide assessment of the use of intelligent transportation systems (ITS) technologies and operational concepts at and near land border crossings between the U.S. and Mexico. The work focused on tolling, traffic management and operations, and safety. The specific objectives of this project were to research, assess and document how ITS technologies can be used in areas of: Toll collection and management in border regions, identifying technology used, system components, and any special data sharing arrangements between the two countries. Transportation operations and traffic management in US/MX border regions. Transportation safety policy and operations. Traffic management, traffic operation and traffic enforcement on tolled roads/tolled border-crossing roads. Archiving toll and traffic management data.

关键词：电子信息；智能交通；宽边界；评估

查看摘要 索取原文[130页]

In this thesis,we briefly review existing imaging modalities.We show how nanodiamond imaging has the potential to image with both high sensitivity AND high spatial resolution over organism-scale fields of view,features which are mutually exclusive in existing modalities(except at the shallowest imaging depths).Nanodiamond imaging's combination of high sensitivity and high resolution is potentially one of its greatest advantages.

关键词：映像形态；纳米金刚石成像；分子成像

查看摘要 索取原文[124页]

In this thesis, we develop both new communication lower bounds and new algorithms, tightening (and in many cases closing) the gap between best known lower bound and best known algorithm (or upper bound). We consider both sequential and parallel algorithms, and we asses both classical and fast algorithms (e.g., Strassen's matrix multiplication algorithm).

关键词：通信下界；并行算法；矩阵乘法算法

查看摘要 索取原文[216页]

Mathematical models are a mathematical abstraction of the physical reality which is of great importance to understand the behavior of a system, make estimations and predictions and so on. They range from models based on physical laws to models learned empirically, as measurements are collected, and referred to as data-driven models. A model is based on a series of choices which in uence its complexity and realism. These choices represent tradeo s between di erent competing objectives including interpretability, scalability, accuracy, adequation to the available data, robustness or computational complexity. The thesis investigates the advantages and disadvantages of models based on physical laws versus data-driven models through the example of signalized queuing networks such as urban transportation networks.

关键词：数学模型；估计；市区运输网络

查看摘要 索取原文[212页]

In this paper, we show how to learn transform-based domain adaptation classifiers in a scalable manner. The key idea is to exploit an implicit rank constraint, originated from a max-margin domain adaptation formulation, to make optimization tractable. Experiments show that the transformation between domains can be very efficiently learned from data and easily applied to new categories. This begins to bridge the gap between large-scaleinternet image collections and object images captured ineveryday life environments.

关键词：隐式约束；互联网图像；基于转换

查看摘要 索取原文[10页]

We automate this intuition by describing an approach to discover the buffer structure (the chain of buffers used between transformations) of a program, and use this structure to construct an exploit input by inverting one transformat at a time. We propose a new program representation, a hybrid information- and control-flow graph (HI-CFG), and give algorithms to build a HI-CFG from instruction traces. We then describe how to guide program exploration using symbolic execution to efficiently search for transformation pre-images.

关键词：安全分析；大型代码库；缓冲结构

查看摘要 索取原文[17页]

In this thesis we describe two projects based on image warping that give photographerssome of the same control over spatial layout that painters have always had. The first is a technique to minimize distortion in a wide-angle image. Any projection of a 3D scene onto a plane unavoidably results in distortion; current methods either bend straight lines in the scene or locally distort the shapes of scene objects.

关键词：图像扭曲；失真；场景；空间布局

查看摘要 索取原文[75页]

In this paper, we explain how to achieve deterministic execution of FMUs (Functional Mockup Units)under the FMI (Functional Mockup Interface) standard.In particular, we focus on co-simulation, wherean FMU either contains its own internal simulation algorithm or serves as a gateway to a simulation tool. We give conditions on the design of FMUs and master algorithms (which orchestrate the execution of FMUs) to achieve deterministic co-simulation.We show that with the current version of the standard, these conditions demand capabilities from FMUs that are optional in the standard and rarely providedby an FMU in practice.

关键词：功能模型单元; 联合仿真; 数值积分算法

查看摘要 索取原文[21页]