-
移动应用程序行为的规范,验证和验证
Mobile devices have, in many ways, replaced traditional desktops in usability, usefulness, and availability. Improvements to computational power, battery life, device capabilities, and user experience will continue to drive people to stop using desktops and solely use mobile devices. Applications are vital to maximize usefulness of these devices. Development of these applications proceeds with a rapidity that surpasses the development pace of the devices themselves. Current methods are inadequate when attempting to verify and validate the behavior of the applications to ensure they perform correctly as the customer expect and correctly with respect to the software specifications. The current V&V methods are limited to environments that do not reflect the typical operational environment for mobile devices. These methods lead to false beliefs that the results of V&V tests prove correctness of the software, when they are only proving that the software works in a non-mobile environment. To solve this problem, we propose that application log files be used to capture the execution behavior while operating in their typical environment. The log file along with customer requirements, represented formally as statechart assertions, will provide a mechanism to conduct automated V&V on the behavior of the application while it was operating in its planned, mobile environment.
-
美国宽带测量:美国二月份消费者有线宽带性能报告
This 2013 Measuring Broadband America February Report contains the most recent results from the Federal Communication Commissions (FCC) Measuring Broadband America program. This program, whose first results were published in August 2011, is an ongoing, rigorous, nationwide study of residential broadband performance in the United States. This study, like those conducted before, involves actual performance tests for thousands of subscribers of Internet Service Providers (ISPs) serving well over 80 percent of the residential market. Our initial Measuring Broadband America Report presented the first broad-scale study of actual consumer broadband performance throughout the United States. This effort was followed approximately a year later by a second report, released in July 2012, and now the present report. As explained in the accompanying Technical Appendix, each report in this series is based on measurements taken during a single reference month that has been chosen to represent a typical usage period for the average consumer. The reference month for the first report was March 2011, and the collection period for the second report, initially set for March 2011, was shifted to April 2012 to ensure collection of a sufficient amount of valid data. The reference month for this report is September 2012, five months after the previous testing period. As such, we present this as a supplemental report, noting that substantive network change is best measured in years, not months. Going forward, we plan to repeat testing each year in the month of September, and transition to annual reporting. In this report, we are pleased to include results on satellite technology for the first time, based on test results collected from ViaSat, a major satellite services provider. While in the past we have collected and released raw data on satellite performance, we have not reported on test results from this technology, as we recognized that the industry was on the verge of a major transition. In 2011, the satellite industry began launching a new generation of satellites offering performance as much as 100 times superior to the previous generation, leading to the entry of new satellite-based broadband providers. Consequently, we are now able to include comparisons between satellite and wireline technologies in this report.
-
用于矩阵乘法的避免通信并行的递推算法
Matrix multiplication is one of the most fundamental algorithmic problems in numerical linear algebra, distributed computing, scientific computing, and high-performance computing. Parallelization of matrix multiplication has been extensively studied (e.g., 21, 12, 24, 2, 51, 39, 36, 23, 45, 61). It has been addressed using many theoretical approaches, algorithmic tools, and software engineering methods in order to optimize performance and obtain faster and more efficient parallel algorithms and implementations. To design efficient parallel algorithms, it is necessary not only to load balance the computation, but also to minimize the time spent communicating between processors. The interprocessor communication costs are in many cases significantly higher than the computational costs. Moreover, hardware trends predict that more problems will become communication-bound in the future 38, 35. Even matrix multiplication, which is widely considered to be computation-bound, becomes communication-bound when a given problem is run on sufficiently many processors.
-
移动自组网的有效通讯:战术通信移动自组织网络路由方案的分析
Warfighting based on Commander s Intent and Mission Tactics will remain the foundation of command and control, but the information structure that supports Marine Corps tactical units will continuously undergo changes based on developments in information technology. Mobile Ad Hoc Networking is one of the information technology developments that the Marine Corps is currently studying. Mobile Ad Hoc Network s (MANETs) are infrastructureless, highly mobile communications and their multi-hop routing capabilities have the potential to reliably and robustly extend existing networks to the tactical edge. There are many challenges to MANET implementation however, including management of the dynamic physical topology, and the efficient use of limited spectral and energy resources. One platform being tested by the Marine Corps utilizes a time-division multiple access (TDMA) scheme combined with Barrage Relaying to ensure robust communications. Other schemes for MANETs employ intelligent-routing protocols. This thesis examines those protocols and identifies the parameters needed to implement a tactical MANET routing scheme. The findings of this research advance understanding of MANETs and the elements necessary to enable their use in support of tactical communications; bringing the Marine Corps closer to its goal of lightweight and efficient tactical communications.