This paper deals with non-functional aspects of software. It presents an approach towards the integration of methods in order to handle properties of numerical programs. We develop a program analysis technique which a...
This paper deals with non-functional aspects of software. It presents an approach towards the integration of methods in order to handle properties of numerical programs. We develop a program analysis technique which allows us to formalise, evaluate and check non-functional properties of programs. These property evaluations are used in two main areas. The first one is related to program design to choose data representations and to perform program transformations. The second is related to reverse engineering, and particularly to software reuse and maintenance. As example, a functional language with numerical type only is considered, and the accuracy of the numerical computations is the considered non-functional property.
With the increasing demand for high resolution, high speed transmission and low power dissipation in space remote sensing, TDICMOS detector based on charge accumulating will become an important part of video detectors...
详细信息
A method for vibration cancellation is described which works favourably at the floor of semiconductor factories, by decreasing the vibration level with a factor 3-5 in the 10-100 Hz bandwidth. The method has the advan...
详细信息
ISBN:
(纸本)9780995775107
A method for vibration cancellation is described which works favourably at the floor of semiconductor factories, by decreasing the vibration level with a factor 3-5 in the 10-100 Hz bandwidth. The method has the advantage that lower vibration levels can be achieved without loss of stiffness on the stiff factory floor. Dynamic and control aspects of the method are discussed and an example of what can be achieved is presented.
A wide range of physical defects which occur in various metal working processes is surveyed. These defects are treated descriptively but theoretical plasticity, e. g. slip-line field theory and upper bound techniques,...
详细信息
ISBN:
(纸本)0853343020
A wide range of physical defects which occur in various metal working processes is surveyed. These defects are treated descriptively but theoretical plasticity, e. g. slip-line field theory and upper bound techniques, are employed to explain some of them. The major defects arising during fabrication and further processing of composite materials are also surveyed. The kinds of composites reviewed are fiber-reinforced materials, metal-matrix composites, ceramic-matrix composites and bonded (clad, rolled) materials. The list of defects described is not exhaustive but the phenomena treated exemplify the practical value of the knowledge of the principles of metal plasticity theory and the difficulties encountered in composite material processing.
In 5G massive multiple-input multiple-output (MIMO) system, the existing channel prediction methods with online training or optimization can dynamically capture the channel variation by slightly adjusting the paramete...
In 5G massive multiple-input multiple-output (MIMO) system, the existing channel prediction methods with online training or optimization can dynamically capture the channel variation by slightly adjusting the parameters of the model or deep neural network (DNN) based on the iteration algorithm. However, it is difficult to capture the rapidly changing channel with slight adjustment based on iteration in high mobility. In this paper, to achieve the accurate online prediction without any iteration, we propose the short-term batch based online optimization channel prediction method based on the autoregressive (AR) model. Inspired by the idea of batches data based training in deep learning (DL), the AR model parameters can be directly optimized using the minimum mean square error (MMSE) criterion in the short-term batch. In addition, considering the different correlations between each channel in the short-term batch and the predicted channel, in order to further improve the online optimization prediction accuracy, the weighted minimum mean square error (WMMSE) based online optimization prediction method is proposed. For the mean square errors calculated from the predicted channels and real channels at different time slots in the short-term batch, the different weights are set to optimize the AR model more accurately. Numerical simulation results show that the proposed architecture can achieve high accurate channel prediction in high mobility scenarios without any iteration.
Obviously, COTS components are different from custom components with respect to one or more of the following attributes: source, development paradigm, safety, reliability, maintainability, availability, security, and ...
详细信息
Obviously, COTS components are different from custom components with respect to one or more of the following attributes: source, development paradigm, safety, reliability, maintainability, availability, security, and other attributes. However, the important question is whether they should be treated differently when deciding to deploy them for operational use; we suggest the answer is no. We use reliability as an example to justify our answer. In order to demonstrate its reliability, a COTS component must pass the same reliability evaluations as the custom components, otherwise the COTS components will be the weakest link in the chain of components and will be the determinant of software system reliability. The challenge is that there will be less information available for evaluating COTS components than for custom components but this does not mean we should despair and do nothing. Actually, there is a lot we can do even in the absence of documentation on COTS components because the customer will have information about how COTS components are to be used in the larger system. To illustrate our approach, we will consider the reliability, maintainability, and availability (RMA) of COTS components as used in larger systems.
暂无评论