Array languages and the challenges of modern computer architecture

There has always been a close relationship between programming language design and computer design. Electronic computers and programming languages are both 'computers' in Turing's sense. They are systems which allow the performance of bounded universal computation. Each allows any computable function to be evaluated, up to some memory limit. This equivalence has been understood since the 30s' when Turing machines (Turing 1937) were shown to be of the same computational power as the λ calculus

Detection of potential space station control/structure interaction with CO-ST-IN

The NASA Lewis Research Center is concerned with the potential of interaction between space station controllers and the solar PV array structures. The models required to handle this problem are very large, and automated methods were developed for the transfer of data between structural dynamic and control system analysis software. These methods emphasize the need to achieve accurate coupled analysis results while using as small a model as possible. Specific tools which help the analyst in this regard include modal order techniques, the use of mode acceleration to calculate internal loads and stresses and the transfer of Craig-Bampton components to reduce problems associated with modal sufficiency. These techniques were applied to a space station model with 366 modes below 1 Hz. Attitude control, and alpha and beta joint control were simulated. The inclusion of alpha and beta joint controllers is important when examining overall space station dynamics. An initial choice of control parameters does indicate a potential for control/structure interaction during reboost. As expected this is exacerbated by increasing the rate gain and decreasing the hysteresis of the reaction control system (RCS) in order to improve rigid body performance

Improving Accuracy of Structural Dynamic Modifications Using Augmented Mode Residual Vectors

No abstract availabl

Improving Accuracy of Structural Dynamic Modification with Augmented Residual Vectors

It is often important to perform sensitivity analysis to determine how a structural model will be impacted by design changes. Often, the structural analysts will manually make changes to the finite element model (FEM) to determine the effects. But when dealing with a large FEM with millions of degrees of freedom these manual changes can be cumbersome and calculation of the effects can computationally expensive. Therefore, it is desirable to determine the effects of model changes through approximation methods. One common technique is to determine the analytical sensitivity of the FEM model with respect to the given change. These analytical sensitivities are valid when small changes are made to the structural model, but invalid if large changes need to be assessed. Another approach is to use Structural Dynamic Modification (SDM) to create a surrogate model to analyze model changes. SDM is a widely-used sensitivity method and is used in applications of model updating, uncertainty quantification, and model design studies. SMD is valid for moderate (10-20 percent) changes in the structural model, but model approximations are often needed for large parameter changes (greater than 20 percent). Structural Dynamic Modification can be improved by using residual vectors to augment the surrogate model formulation from SDM. Adding the residual modes increases the fidelity of the surrogate model while keeping the computational cost low. This paper discusses the application and limitations of the augmented residual modes method to two structures: the Integrated Spacecraft and Payload Element (ISPE) of the Space Launch System (SLS) and the full SLS as it is configured during its Integrated Modal Test (IMT)

Structural Dynamic Analysis of a Spacecraft Multi-DOF Shaker Table

Finite element enforced response analysis was performed on a three axis expander head shaker table to aid in the design of the table structure and vibration control system. The payload for this shaker system is a generic spacecraft with a multitude of flexible modes across a broad frequency band. A Craig-Bampton representation of the spacecraft was used to expedite analysis of multiple shaker table designs. The analysis examines the required forces in the actuators for a constant amplitude base acceleration sine sweep test, the resulting forces in the spacecraft and table attachment restraints, and the resulting accelerations on the spacecraft structure. The results show the spacecraft response is very high at the spacecraft center of gravity (CG) due to the high CG offset and cantilever effect of the low frequency spacecraft bending modes. The high response can be addressed by "notching" the input vibration levels to avoid over-testing the spacecraft. At frequencies above 25 Hz, the spacecraft modal effective masses are very small, and the response of the shaker table dominates the response. Anti-resonances of the shaker table in the frequency range of interest reduce the acceleration output and require much higher actuator forces to achieve the acceleration specification. These effects may require stiffening the shaker structure to move the modes out of the test frequency range or increasing the shaker table damping

AI is a viable alternative to high throughput screening: a 318-target study

: High throughput screening (HTS) is routinely used to identify bioactive small molecules. This requires physical compounds, which limits coverage of accessible chemical space. Computational approaches combined with vast on-demand chemical libraries can access far greater chemical space, provided that the predictive accuracy is sufficient to identify useful molecules. Through the largest and most diverse virtual HTS campaign reported to date, comprising 318 individual projects, we demonstrate that our AtomNet® convolutional neural network successfully finds novel hits across every major therapeutic area and protein class. We address historical limitations of computational screening by demonstrating success for target proteins without known binders, high-quality X-ray crystal structures, or manual cherry-picking of compounds. We show that the molecules selected by the AtomNet® model are novel drug-like scaffolds rather than minor modifications to known bioactive compounds. Our empirical results suggest that computational methods can substantially replace HTS as the first step of small-molecule drug discovery