NASA has always been in the business of balancing new technologies and techniques to achieve human space travel objectives. NASA s historic Software Production Facility (SPF) was developed to serve complex avionics software solutions during an era dominated by mainframes, tape drives, and lower level programming languages. These systems have proven themselves resilient enough to serve the Shuttle Orbiter Avionics life cycle for decades. The SPF and its predecessor the Software Development Lab (SDL) at NASA s Johnson Space Center (JSC) hosted flight software (FSW) engineering, development, simulation, and test. It was active from the beginning of Shuttle Orbiter development in 1972 through the end of the shuttle program in the summer of 2011 almost 40 years. NASA s Kedalion engineering analysis lab is on the forefront of validating and using many contemporary avionics HW/SW development and integration techniques, which represent new paradigms to NASA s heritage culture in avionics software engineering. Kedalion has validated many of the Orion project s HW/SW engineering techniques borrowed from the adjacent commercial aircraft avionics environment, inserting new techniques and skills into the Multi-Purpose Crew Vehicle (MPCV) Orion program. Using contemporary agile techniques, COTS products, early rapid prototyping, in-house expertise and tools, and customer collaboration, NASA has adopted a cost effective paradigm that is currently serving Orion effectively. This paper will explore and contrast differences in technology employed over the years of NASA s space program, due largely to technological advances in hardware and software systems, while acknowledging that the basic software engineering and integration paradigms share many similarities.

关键词：电子信息；软件；航空飞船；载人飞船

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

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

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

从三家基础电信运营商的半年报财务数据看，2013年上半年，中国移动实现营运收入3031亿元，同比增长10.4%。数据业务收入达到954亿元，同比增长25.5%，占营运收入比重上升至33.5%；无线上网业务收入达到474亿元，同比增长62.2%。归属母公司所有者净利润为631亿元，同比增长1.5%。每股基本盈利为3.14元，同比增长1.3%。资本性支出570亿元。

关键词：电信；运营商；半年报

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

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

关键词：3G时代；TCL；手机制造基地

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

The RTCA has recently released DO-178C and DO-278A as new certification guidance for the production of airborne and ground-based air traffic management software, respectively. Additionally, RTCA special committee SC-205 has also produced, at the same time, five other companion documents. These documents are RTCA DO-248C, DO-330, DO-331, DO- 332, and DO-333. These supplements address frequently asked questions about software certification, provide guidance on tool qualification requirements, and illustrate the modifications recommended to DO-178C when using model-based software design, object oriented programming, and formal methods. The objective of this paper is to first explain the relationship of DO-178C to the former DO-178B in order to give those familiar with DO- 178B an indication of what has been changed and what has not been changed. With this background, the relationship of DO-178C and DO-278 to the new DO-278A document for ground-based software development is shown. Last, an overview of the new guidance contained in the tool qualification document and the three new supplements to DO-178C and DO-278A is presented. For those unfamiliar with DO-178B, this paper serves to provide an entry point to this new certification guidance for airborne and ground-based CNS/ATM software certification.

关键词：电子信息；软件；关键安全；认证；DO-178C；DO-278A

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