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页]

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页]

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页]

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页]

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页]

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页]

Information sharing and collaboration among federal, state, and local agencies has been repeatedly stressed as a part of the national security strategy. The emphasis has been on interagency communication and has largely left unaddressed the need for internal information system improvements. This thesis will examine how Web 2.0 technology as part of an emergent social software platform (ESSP) can be used to improve intra-agency law enforcement criminal information sharing and collaboration. Two case studies were conducted to examine current applications of Web 2.0 technology in secure environments. The hypothesis is that ESSPs have the potential to revolutionize policing by providing personnel with an advanced means of information sharing and collaboration. The resulting data and information will benefit internal and external intelligence activities. Human-computer interfaces that provide ease of use along with a structure that is mission focused will aid in implementing an ESSP. Integration with current systems and mobility also are important. Implementing an ESSP is not simply a technical issue, it also is a cultural one. For any ESSP to be successful, it must be implemented in a culture that values the free and efficient flow of information over traditional hierarchical systems.

关键词：电子信息；软件；情报；平台

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

The vision of the NEAMS program is to bring truly predictive modeling and simulation (M&S) capabilities to the nuclear engineering community in order to enable a new approach to the analysis of nuclear systems. NEAMS anticipates issuing in FY 2018 a full release of its computational Fermi Toolkit aimed at advanced reactor and fuel cycles. The NEAMS toolkit involves extensive software development activities, some of which have already been underway for several years, however, the Advanced Modeling and Simulation Office (AMSO), which sponsors the NEAMS program, has not yet issued any official guidance regarding software licensing, release, and distribution policies. This motivated an FY12 task in the Capability Transfer work package to develop and recommend an appropriate set of policies. The current preliminary report is intended to provide awareness of issues with implications for work package planning for FY13. We anticipate a small amount of effort associated with putting into place formal licenses and contributor agreements for NEAMS software which doesnt already have them. We do not anticipate any additional effort or costs associated with software release procedures or schedules beyond those dictated by the quality expectations for the software. The largest potential costs we anticipate would be associated with the setup and maintenance of shared code repositories for development and early access to NEAMS software products. We also anticipate an opportunity, with modest associated costs, to work with the Radiation Safety Information Computational Center (RSICC) to clarify export control assessment policies for software under development.

关键词：电子信息；软件；NEAMS程序；核能监测；仿真

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

NASA's Space Communication and Navigation Testbed is beginning operations on the International Space Station this year. The objective is to promote new software defined radio technologies and associated software application reuse, enabled by this first flight of NASA's Space Telecommunications Radio System architecture standard. The Space Station payload has three software defined radios onboard that allow for a wide variety of communications applications; however, each radio was only launched with one waveform application. By design the testbed allows new waveform applications to be uploaded and tested by experimenters in and outside of NASA. During the system integration phase of the testbed special waveform test modes and stand-alone test waveforms were used to characterize the SDR platforms for the future experiments. Characterization of the Testbed's JPL SDR using test waveforms and specialized ground test modes is discussed in this paper. One of the test waveforms, a record and playback application, can be utilized in a variety of ways, including new satellite on-orbit checkout as well as independent on-board testbed experiments.

关键词：电子信息；软件；无线电；再利用

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