Sn-Ag-Cu solders and solder joints: Alloy development, microstructure, and properties

Slow cooling of Sn-Ag-Cu and Sn-Ag-Cu-X (X = Fe, Co) solder-joint specimens made by hand soldering simulated reflow in surface-mount assembly to achieve similar as-solidified joint microstructures for realistic shearstrength testing, using Sn-3.5Ag (wt.%) as a baseline. Minor substitutions of either cobalt or iron for copper in Sn-3.7Ag-0.9Cu refined the joint matrix microstructure, modified the Cu₆Sn₅ intermetallic phase at the copper substrate/solder interface, and increased the shear strength. At elevated (150°C) temperature, no significant difference in shear strength was found in all of the alloys studied. Ambient temperature shear strength was reduced by largescale tin dendrites in the joint microstructure, especially by the coarse dendrites in solute poor Sn-Ag-Cu.     

Evaluation of the coupled multielectrode array sensor as a real-time corrosion monitor

Coupled multielectrode array sensors made of carbon steel and stainless steels were evaluated and compared with electrochemical noise (EN) sensors. Good correlations between sensor signals and solution corrosivity were observed for all multielectrode array sensors. Some correlation between the average pit index and solution corrosivity was observed for the carbon steel EN sensors, but not for the stainless steel EN sensors. The time-average noise resistances from the stainless steel EN sensors correlate well with solution corrosivity. There were, however, large random fluctuations and drifting for all EN signals, which make the EN sensors unreliable as real-time monitors.     

Distributed formation control with relaxed motion requirements

Heterogeneous formation shape control with interagent bearing and distance constraints involves the design of a distributed control law that ensures the formation moves such that these interagent constraints are achieved and maintained. This paper looks at the design of a distributed control scheme to solve different formation shape control problems in an ambient two‐dimensional space with bearing, distance and mixed bearing and distance constraints. The proposed control law allows the agents in the formation to move in any direction on a half‐plane and guarantees that despite this freedom, the proposed shape control algorithm ensures convergence to a formation shape meeting the prescribed constraints. This work provides an interesting and novel contrast to much of the existing work in formation control where distance‐only constraints are typically maintained and where each agent's motion is typically restricted to follow a very particular path. A stability analysis is sketched, and a number of illustrative examples are also given. Copyright © 2014 John Wiley & Sons, Ltd.     

Subroutine based detection of APT malware

Statistical detection of mass malware has been shown to be highly successful. However, this type of malware is less interesting to cyber security officers of larger organizations, who are more concerned with detecting malware indicative of a targeted attack. Here we investigate the potential of statistically based approaches to detect such malware using a malware family associated with a large number of targeted network intrusions. Our approach is complementary to the bulk of statistical based malware classifiers, which are typically based on measures of overall similarity between executable files. One problem with this approach is that a malicious executable that shares some, but limited, functionality with known malware is likely to be misclassified as benign. Here a new approach to malware classification is introduced that classifies programs based on their similarity with known malware subroutines. It is illustrated that malware and benign programs can share a substantial amount of code, implying that classification should be based on malicious subroutines that occur infrequently, or not at all in benign programs. Various approaches to accomplishing this task are investigated, and a particularly simple approach appears the most effective. This approach simply computes the fraction of subroutines of a program that are similar to malware subroutines whose likes have not been found in a larger benign set. If this fraction exceeds around 1.5 %, the corresponding program can be classified as malicious at a 1 in 1000 false alarm rate. It is further shown that combining a local and overall similarity based approach can lead to considerably better prediction due to the relatively low correlation of their predictions.     

A logarithmic complexity divide-and-conquer algorithm for multi-flexible-body dynamics including large deformations

A new algorithm is presented for the modeling and simulation of multi-flexible-body systems. This algorithm is built upon a divide-and-conquer-based multibody dynamics framework, and it is capable of handling arbitrary large rotations and deformations in articulated flexible bodies. As such, this work extends the current capabilities of the flexible divide-and-conquer algorithm (Mukherjee and Anderson in Comput. Nonlinear Dyn. 2(1):10–21, 2007), which is limited to the use of assumed modes in a floating frame of reference configuration. The present algorithm utilizes the existing finite element modeling techniques to construct the equations of motion at the element level, as well as at the body level. It is demonstrated that these equations can be assembled and solved using a divide-and-conquer type methodology. In this respect, the new algorithm is applied using the absolute nodal coordinate formulation (ANCF) (Shabana, 1996). The ANCF is selected because of its straightforward implementation and effectiveness in modeling large deformations. It is demonstrated that the present algorithm provides an efficient and robust method for modeling multi-flexible-body systems that employ highly deformable bodies. The new algorithm is tested using three example systems employing deformable bodies in two and three spatial dimensions. The current examples are limited to the ANCF line or cable elements, but the approach may be extended to higher order elements. In its basic form, the divide-and-conquer algorithm is time and processor optimal, yielding logarithmic complexity O(log(N _b )) when implemented using O(N _b ) processors, where N _b is the number of bodies in the system.     

E-ARK: Harmony of Social/Cultural Records Across Europe

E-ARK (European Archiving of Records and Knowledge Preservation) is currently introducing standardization, new tools, and infrastructure into pan-European digital archival systems. The results of this pilot project can be applied to higher education where research data centers are required to preserve data for re-use in accordance with new open policies.

We elucidate how the E-ARK best practice survey has informed the development of new information packages for ingest, preservation, and re-use, and show how these can be applied to the Arts, Humanities, and Social Sciences with practical exemplars such as census data.     

Archival Appraisal and the Digital Record: Applying Past Tradition for Future Practice

The digital revolution has changed the daily work of archivists. As a result, archivists have refined their analog practices and initiated new ones to accommodate the unique information creation and access needs of users. While limitless storage and technological obsolescence may be surmountable challenges, appraisal continues to be a necessary component of this preservation enterprise. Macro-appraisal—a top-down functional assessment of an organization’s high-level decision making that defines the enduring value of specific bodies of documentary evidence of these creative or administrative processes—is used to facilitate the management of diverse bodies of born-digital records in archives and special collections.     

Safe Autonomous Agent Formation Operations Via Obstacle Collision Avoidance

In this paper, we consider the problem of flocking and shape‐orientation control of multi‐agent systems with inter‐agent and obstacle collision avoidance. We first consider the problem of forcing a set of autonomous agents to form a desired formation shape and orientation while avoiding inter‐agent collision and collision with convex obstacles, and following a trajectory known to only one of the agents, namely the leader of the formation. Then we build upon the solution given to this problem and solve the problem of guaranteeing obstacle collision avoidance by changing the size and the orientation of the formation. Changing the size and the orientation of the formation is helpful when the agents want to go through a narrow passage while the existing size or orientation of the formation does not allow this. We also propose collision avoidance algorithms that temporarily change the shape of the formation to avoid collision with stationary or moving nonconvex obstacles. Simulation results are presented to show the performance of the proposed control laws.