National Aeronautics and Space Administration (NASA) has developed a space-qualified, reprogrammable, Ka-band Software Defined Radio (SDR) to be utilized as part of an on-orbit, reconfigurable testbed. The testbed will operate on the truss of the International Space Station beginning in late 2012. Three unique SDRs comprise the testbed, and each radio is compliant to the Space Telecommunications Radio System (STRS) Architecture Standard. The testbed provides NASA, industry, other Government agencies, and academic partners the opportunity to develop communications, navigation, and networking applications in the laboratory and space environment, while at the same time advancing SDR technology, reducing risk, and enabling future mission capability. Designed and built by Harris Corporation, the Ka-band SDR is NASA's first space-qualified Ka-band SDR transceiver. The Harris SDR will also mark the first NASA user of the Ka-band capabilities of the Tracking Data and Relay Satellite System (TDRSS) for on-orbit operations. This paper describes the testbed's Ka-band System, including the SDR, travelling wave tube amplifier (TWTA), and antenna system. The reconfigurable aspects of the system enabled by SDR technology are discussed and the Ka-band system performance is presented as measured during extensive pre-flight testing.

关键词：电子信息；软件；无线电波；测试

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

关键词：城市一卡通；互联；异地充值

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

随着国际贸易增速回落，欧洲债务危机不断加剧，美国经济复苏乏力，国内经济逐渐减速，成本上升、库存压力加大，企业采购意愿降低。这种外需疲软，内需不足的经济环境，给我国中小企业B2B电子商务发展带来极大挑战，对现有B2B平台的服务模式、盈利方式也提出更高要求。本报告主要从2012年中国中小企业B2B行业回顾与盘点、2012年中国中小企业B2B电子商务市场监测数据、主要中小企业B2B电子商务运营商案例研究等方面进行阐述，剖析2012年中国中小企业B2B行业发展状况。

关键词：中小企业；B2B ；电子商务

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

The research project investigated foundational models of contracts in a higher-order world of programming. The primary thrust of the work explored the meaning of contracts. We focused on three questions. First, we determined what it means for a first-class function or object to satisfy a contract. Second, we worked out when it is correct for a contract monitoring system to blame a component for violating a contract. We could show that existing contract systems may point to an innocent component and thus send a programmer on a wild goose chase. Third, we established criteria for the completeness of monitoring systems. Using a model, we were able to demonstrate the completeness of one semantics for contract monitors. We used our primary model to explore designs for the parallel execution of contracts but without reaching a truly satisfactory answer. The secondary research project explored affine type systems as 'protocol contracts' and the use of behavioral contracts to connect an affine code base to libraries from conventional languages. The result of this work is a design for a practical, ML-style programming language with an affine type system and with a contract-based mechanism for integrating existing libraries.

关键词：电子信息；软件；高阶编程；原则

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

This report describes the development of a software tool, entitled WildFire Ignition Resistance Estimator Wizard (WildFIRE Wizard, Version 2.10). This software was developed within the Wildfire Ignition Resistant Home Design (WIRHD) program, sponsored by the U. S. Department of Homeland Security, Science and Technology Directorate, Infrastructure Protection & Disaster Management Division. WildFIRE Wizard is a tool that enables homeowners to take preventive actions that will reduce their homes vulnerability to wildfire ignition sources (i.e., embers, radiant heat, and direct flame impingement) well in advance of a wildfire event. This report describes the development of the software, its operation, its technical basis and calculations, and steps taken to verify its performance.

关键词：电子信息；软件；开发，野火版

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

本报告关注点：2013 年1-6 月计算机行业运行情况回顾；2013 年1-6 月计算机上市公司经营情况。据工信部数据显示，2013 年1-6月我国软件产业实现收入1.39 万亿元，同比增长24.5%，增速低于去年同期1.7 百分点。上半年我国软件业各月增速始终低于去年同期0-3 个百分点，总体呈现稳中有落态势。计算机硬件行业实现产品销售收入1.03 万亿元，同比增长3.8%。

关键词：计算机；软件；服务；硬件；投资

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

The NDAS Software Project is for the development of common low speed data acquisition system software to support NASA’s rocket propulsion testing facilities at John C. Stennis Space Center (SSC), White Sands Test Facility (WSTF), Plum Brook Station (PBS), and Marshall Space Flight Center (MSFC).

关键词：电子信息；软件；数据采集系统

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

This project discovered and developed algorithms and tools for (1) automatically retrofitting binary legacy software with access controls, and (2) formally machine-certifying that the retrofitted software satisfies user- specified security policies. The research resulted in new software security systems for Java, ActionScript. and x86 native code that provably secure legacy code without any form of code-producer cooperation (e.g., source code or compiler support).

关键词：电子信息；软件；安全；自动化；二进制

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

Pursuant to the Notice of Investigation and Rule 210.42 of the Rules of Practice and Procedure of the United States International Trade Commission, this is the Administrative Law Judge's Final Initial Determination in the matter of Certain Digital Imaging Devices and Related Software, Investigation No. 337-TA-717. The Administrative Law Judge hereby determines that a violation of Section 337 of the Tariff Act of 1930, as amended, has not been found in the importation into the United States, the for importation, or the sale within the United States after importation of certain digital imaging devices and related software, in connection with U.S. Patent No. 6,031,964. Furthermore, the Administrative Law Judge hereby determines that a domestic industry in the United States does not exist that practices U.S. Patent No. 6,031,964. The Administrative Law Judge hereby determines that a violation of Section 337 of the Tariff Act of 1930, as amended, has not been found in the importation into the United States, the sale for importation, or the sale within the United States after importation of certain digital imaging devices and related software, in connection with U.S. Patent No. RE38,911. Furthermore, the Administrative Law Judge hereby determines that a domestic industry in the United States exists that practices U.S, Patent No. RE38,911.

关键词：电子信息；软件；数字成像

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

In this chapter, we discuss the practical aspects of hardware and software designs of the M-TRAN system. In principle, behavior of lattice-type modular robots like M-TRAN can be understood to some extent without any physical experiments, instead investigating the algorithm itself, or making computer simulations. Also, motion control of a robot can be investigated without a real machine, if precise dynamics of the robot is modeled. However, methods and algorithms established on abstract models are meaningless unless they are physically realized as real robots and machines. When building a self-organizing mechanical system, we need to consider various issues of many different areas such as mechanical engineering, control engineering, robotics, and systems engineering. In this chapter, we introduce topics we studied while building the M-TRAN system.

关键词：电子信息；软件；硬件；机器人技术

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