Computational electromagnetics deals with the problem of finding efficient and reliable solutions of Maxwell's equations. This is important in a variety of practical applications, such as antenna design and automa...
详细信息
An overview is given of a holographic correlator that use localized recording technique. The implementation of this method is based on a gated holographic recording technique such as two-center recording.
An overview is given of a holographic correlator that use localized recording technique. The implementation of this method is based on a gated holographic recording technique such as two-center recording.
This paper explores the utilization of soft information in image decoding. Error free transmission is not always possible in today’s nor future’s communication networks without retransmissions. Ret
This paper explores the utilization of soft information in image decoding. Error free transmission is not always possible in today’s nor future’s communication networks without retransmissions. Ret
Shortened product life-cycles decrease the output rate of manufacturing systems. Offline verification of the control systems promises to increase the output. However, to make offline verification possible some major i...
详细信息
Shortened product life-cycles decrease the output rate of manufacturing systems. Offline verification of the control systems promises to increase the output. However, to make offline verification possible some major improvements of the current development process of manufacturing systems are needed. Information handling and development of control programs based on information reuse are the two most important improvement areas. This paper deals with one problem up the many connected to enabling offline verification. A general control program structure, adapted to information reuse and formal mathematical verification methods, is needed. This paper proposes a program structure that makes it possible to generate the PLC-program out of information that already exists in the development process of a manufacturing system. In order to further increase the ability of offline verification the proposed program structure is adapted to import information processed by formal mathematical methods.
In investment decision-making in organizations, large values can be at stake. The need for a structured process Is evident, not least when several people or interests are involved in the process. We advocate that the ...
详细信息
ISBN:
(纸本)1932415076
In investment decision-making in organizations, large values can be at stake. The need for a structured process Is evident, not least when several people or interests are involved in the process. We advocate that the use of modern computational decision analysis can improve such investment processes by improving visibility and only requiring reasonably precise input data. The applicability of a structured decision analysis to corporate decision-making is demonstrated in a case study at SCA Transforest, a subdivision to SCA. The decision problem consists of whether a new system for logistic control should be implemented or not. The background information was collected through interviews and the structuring and analysis of the problem was performed using the tool DecideIT, designed for handling situations where uncertainties in input data prevail. The result of the analysis points out a reasonable action, but also shows which aspects are crucial to consider for a reliable result.
This paper conducts an empirical analysis of a semiotics-based quality framework for quality assuring information models. 192 participants were trained in the concepts of the quality framework, and used it to evaluate...
详细信息
This paper conducts an empirical analysis of a semiotics-based quality framework for quality assuring information models. 192 participants were trained in the concepts of the quality framework, and used it to evaluate models represented in an extended Entity Relationship (ER) language. A randomised, double-blind design was used, in which each participant independently reviewed multiple models and each model was evaluated by multiple reviewers. A combination of quantitative and qualitative analysis techniques were used to evaluate the results, including reliability analysis, validity analysis, interaction analysis, influence analysis, defect pattern analysis and task accuracy analysis. An analysis was also conducted of the framework's likelihood of adoption in practice. The study provides strong support for the validity of the framework and suggests that it is likely to be adopted in practice, but raises questions about its reliability and the ability of participants to use it to accurately identify defects. The research findings provide clear directions for improvement of the framework. The research methodology used provides a general approach to empirical validation of quality frameworks.
Inter-piconet scheduling in a Bluetooth scatternet may be performed in an adaptive manner so as to minimize end-to-end packet delays. Using the theory of queues with vacations, we analyze the impact of different value...
详细信息
Inter-piconet scheduling in a Bluetooth scatternet may be performed in an adaptive manner so as to minimize end-to-end packet delays. Using the theory of queues with vacations, we analyze the impact of different values of scatternet parameters on end-to-end delays, and then investigate the possibility of minimization of the aforementioned delays. We show that such minimization is possible for the scatternet with the master/slave bridge, and that it should be based on inter-piconet traffic. We also describe a simple algorithm that enables the scatternet to achieve near minimum delays in a wide range of traffic parameter values.
The forced-circulation evaporator system is used as a case study in this paper. A mathematical nonlinear model is derived and implemented by SIMULINK. Linear model is obtained from linearization of the mathematical eq...
详细信息
The forced-circulation evaporator system is used as a case study in this paper. A mathematical nonlinear model is derived and implemented by SIMULINK. Linear model is obtained from linearization of the mathematical equations using MATLAB. Four suggested control algorithms are applied on nonlinear and linear models. The results show that it is a good case study for control education purposes.
Software engineering is not only about technical solutions. It is to a large extent also concerned with organizational issues, project management and human behaviour. For a discipline like software engineering, empiri...
详细信息
Software inspections are regarded as an important technique to detect faults throughout the software development process. The individual preparation phase of software inspections has enlarged its focus from only compr...
详细信息
暂无评论