关键词：移动互联网；4G产业化

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

国务院发文促养老服务业加快发展——点评：养老问题关系国计民生和国家的长治久安，国务院此次发文力推养老产业发展，一方面是应对人口老龄化、满足老年人多元化多层次的养老服务需求，另一方面也是政府发展服务业、拉动消费、扩大就业的重要手段，可谓一举多得。《意见》比之过往国家对养老产业的扶持更进一步，提出从投融资、用地、人才、运营等多方面政策支持，后续进一步的细化政策有望逐步落地。此外，助推养老服务业不仅将直接带动养老产业的快速发展，并且由于养老产业链较长，发展养老服务业可向医疗、康复、健身、文娱、旅游等一系列领域延伸，在提升老年人生活质量的同时，形成新的消费需求并不断扩大，从而助力中国经济形成消费拉动的增长新模式。

关键词：养老服务业；高耗能、高排放行业；煤层气；新能源汽车；补贴政策；物联网

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

关键词：数据；流量；消费

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

Benchmarking was very interesting and provided a wealth of information (1) We did see potential solutions to some of our "top 10" issues (2) We have an assessment of where NASA stands with relation to other aerospace/defense groups We formed new contacts and potential collaborations (1) Several organizations sent us examples of their templates, processes (2) Many of the organizations were interested in future collaboration: sharing of training, metrics, Capability Maturity Model Integration (CMMI) appraisers, instructors, etc. We received feedback from some of our contractors/ partners (1) Desires to participate in our training; provide feedback on procedures (2) Welcomed opportunity to provide feedback on working with NASA.

关键词：电子信息；软件；航空；测试

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

BRIEF DESCRIPTION OF PORTFOLIO: Enable quantifiable performance evaluation of critical software systems. Manage software environments in order to preserve vital mission functions. Comprehensively understand distributed effects in large software infrastructures to predict global system failures. LIST SUB-AREAS IN PORTFOLIO: Models for Composeable Dynamic Software. Dynamic Formal Analysis and Verification. Online Assessment and Repair of Failure.

关键词：电子信息；软件；系统

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

Software-defined radios (SDRs) provide researchers with a powerful and flexible wireless communications experimentation platform. GNU Radio is the most popular open-source software toolkit for deploying SDRs, and is frequently used with the Universal Software Radio Peripheral (USRP). After establishing a USRP testbed, the researcher will need to implement new signal processing algorithms or modify existing ones. This document describes this process, highlighting those details that have received minimal attention in the existing documentation.

关键词：电子信息；软件；无线电；信号处理

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

The objective of this technical note is to demonstrate, by way of example(s), how to use the Engineer Research and Development Center (ERDC) implementation of the Levenberg-Marquardt (LM) and Secant LM (SLM) method for model independent parameter estimation to calibrate a Gridded Surface Subsurface Hydrologic Analysis (GSSHA) hydrologic model. The purpose is not to present or focus on the theory which underlies the parameter estimation method(s), but rather to carefully describe how to use the ERDC software implementation of the secant LM method that accommodates the PEST model independent interface to calibrate a GSSHA hydrologic model. We will consider variations of our Secant LM (SLM) implementation in attempts to provide the interested reader with an intuitive sense of how the method works. We will also demonstrate how our LM/SLM implementation compares with its counterparts as implemented in the popular PEST software.

关键词：电子信息；软件；水文模型；校准

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

Scientific data services are becoming an important part of the NASA Center for Climate Simulation's mission. Our technological response to this expanding role is built around the concept of a Virtual Climate Data Server (vCDS), repetitive provisioning, image-based deployment and distribution, and virtualization-as-a-service. The vCDS is an iRODS-based data server specialized to the needs of a particular data-centric application. We use RPM scripts to build vCDS images in our local computing environment, our local Virtual Machine Environment, NASA s Nebula Cloud Services, and Amazon's Elastic Compute Cloud. Once provisioned into one or more of these virtualized resource classes, vCDSs can use iRODS s federation capabilities to create an integrated ecosystem of managed collections that is scalable and adaptable to changing resource requirements. This approach enables platform- or software-asa- service deployment of vCDS and allows the NCCS to offer virtualization-as-a-service: a capacity to respond in an agile way to new customer requests for data services.

关键词：电子信息；软件；气候；服务器

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

In November 2006, after attempting to make a routine maneuver, NASA's Mars Global Surveyor (MGS) reported unexpected errors. The onboard software switched to backup resources, and a 2-day lapse in communication took place between the spacecraft and Earth. When a signal was finally received, it indicated that MGS had entered safe mode, a state of restricted activity in which the computer awaits instructions from Earth. After more than 9 years of successful operation gathering data and snapping pictures of Mars to characterize the planet's land and weather communication between MGS and Earth suddenly stopped. Months later, a report from NASA's internal review board found the spacecraft's battery failed due to an unfortunate sequence of events. Updates to the spacecraft's software, which had taken place months earlier, were written to the wrong memory address in the spacecraft's computer. In short, the mission ended because of a software defect. Over the last decade, spacecraft have become increasingly reliant on software to carry out mission operations. In fact, the next mission to Mars, the Mars Science Laboratory, will rely on more software than all earlier missions to Mars combined. According to Gerard Holzmann, manager at the Laboratory for Reliable Software (LaRS) at NASA's Jet Propulsion Laboratory (JPL), even the fault protection systems on a spacecraft are mostly software-based. For reasons like these, well-functioning software is critical for NASA. In the same year as the failure of MGS, Holzmann presented a new approach to critical software development to help reduce risk and provide consistency. He proposed The Power of 10: Rules for Developing Safety-Critical Code, which is a small set of rules that can easily be remembered, clearly relate to risk, and allow compliance to be verified. The reaction at JPL was positive, and developers in the private sector embraced Holzmann's ideas.

关键词：电子信息；软件；可靠性；工具

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

The SGOS executive and its subsystems have been an integral component of the Shuttle Launch Safety Program for almost thirty years. it is usable (via the LAN) by over 2000 NASA employees at the Kennedy Space Center and 11,000 contractors. SGOS supports over 800 models comprised of several hundred thousand lines of code and over 1,00 MCP procedures. Yet neither language has a for loop. The simulation software described in this paper is used to train ground controllers and to certify launch countdown readiness.

关键词：电子信息；软件；航天；架构

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