The Fudgets system is a toolkit for developing graphical applications in the lazy functional programming language Haskell. In this paper we develop an operational semantics for a subset of this system, inspired by ide...
ISBN:
(纸本)9781581130249
The Fudgets system is a toolkit for developing graphical applications in the lazy functional programming language Haskell. In this paper we develop an operational semantics for a subset of this system, inspired by ideas from concurrency theory. A semantic theory based on bisimulation is defined and shown to be a congruence. We consider two applications of this theory: firstly, some equational rules useful for reasoning about Fudget programs are verified; secondly, we show how the operational semantics can be used to check the correctness of implementations of the Fudgets system.
The use of glide symmetry in radiofrequency devices to introduce dispersive effects has been recently proposed and demonstrated. One of these effects is to control the propagation constant of the structure. Here, we p...
详细信息
The use of glide symmetry in radiofrequency devices to introduce dispersive effects has been recently proposed and demonstrated. One of these effects is to control the propagation constant of the structure. Here, we propose a mm-wave phase shifter whose elements have a glide-symmetric configuration to achieve a greater phase shift in the same waveguide space than the non-glide-symmetric case. The glide-symmetric phase shifter is implemented in waveguide technology and is formed by rows of metallic pins that produce the desired phase shift. To assess the better performance of the glide-symmetric phase shifter, it is compared to its non-glide-symmetric version whose metallic pins are located only in one of the broad sides of the waveguide. The operating frequency range of the phase shifter is 67 to 75 GHz. Results show a 180 degree phase shift in regard to the reference waveguide without pins, and 50 degrees more than the non-glide-symmetric version.
Warehouses are an important logistic component of various companies. Warehouses may have different layouts, equipment and their own features. Optimization of warehouse operations can decrease overhead costs and increa...
Warehouses are an important logistic component of various companies. Warehouses may have different layouts, equipment and their own features. Optimization of warehouse operations can decrease overhead costs and increase the economic efficiency of industry. The technological process of steel sheet production at a metallurgical company includes two major stages: casting of liquid steel into billets and rolling of these billets on a rolling mill. In order to coordinate the productivity of these two stages and to be able to fulfill orders promptly, a warehouse of slabs (billets) is used. Billets of different parties and steel grades are stored in stacks. The billets are moved to the warehouse for storage and from the warehouse to the rolling mill by bridge cranes. In this paper the problem of optimization of the process of continuous cast billets storage is solved to minimize the number of slab handling operations. The problem is decomposed into two subproblems SLAP (Storage Location Assignment Problem) and CSP (Crane Scheduling Problem). A modified genetic algorithm was applied to solve the problem. Using a simulation model of the warehouse, the efficiency of the algorithm was evaluated using different approaches to take the restrictions imposed on the process of slab handling into account. It is shown that the most effective is the algorithm in which there is no restriction on the placement of stacks of billets belonging to one melting._
A developed adaptive forecasting model for cloud resource allocation is presented. It employs principal component analysis on a sequence of virtual machine (VM) requests. Requests are processed to detect anomalies, an...
详细信息
This article deals with the bi-objective manufacturing inventory problems. We know that the present world economy is very much competitive and nobody leaves a pace to the other company for their profit-seeking enterpr...
详细信息
The algorithm of the dynamic control functions achieves a complex modeling regarding the behavior of any mechanical robot structure. First of all, considering the kinetic links dominated of stiffness hypothesis, on th...
详细信息
The algorithm of the dynamic control functions achieves a complex modeling regarding the behavior of any mechanical robot structure. First of all, considering the kinetic links dominated of stiffness hypothesis, on the basis of the new formulations with matrix exponentials, in this paper, the differentials expressions answerable to the forward kinematics of mechanical robot structures were presented. On the basis of these equations, in the following, the generalized dynamics forces were also analyzed for the robots with rigid and elastic structure
In an interval graph G = (V,E) the distance between two vertices u, v is de£ned as the smallest number of edges in a path joining u and v. The eccentricity of a vertex v is the maximum among distances from all ot...
详细信息
In an interval graph G = (V,E) the distance between two vertices u, v is de£ned as the smallest number of edges in a path joining u and v. The eccentricity of a vertex v is the maximum among distances from all other vertices of V. The diameter (δ) and radius (ρ) of the graph G is respectively the maximum and minimum among all the eccentricities of G. The center of the graph G is the set C(G) of vertices with eccentricity ρ. In this context our aim is to establish the relation ρ = ⌈δ/2⌉ for an interval graph and to determine the center of it.
Data flow processing is a common task of embedded systems which is usually modeled as a pipeline. Errors in a block of this pipeline can be propagated through it thus leading to unexpected and erroneous behaviors. For...
详细信息
Data flow processing is a common task of embedded systems which is usually modeled as a pipeline. Errors in a block of this pipeline can be propagated through it thus leading to unexpected and erroneous behaviors. For safety related applications, this pipeline has to be able to identify and react to failures. The DMOSES model-driven development method uses deterministic UML activities to describe and implement data flow processing. This method ensures deterministic behavior of concurrent processing. Design by Contract defines formal, precise and verifiable interfaces for software components. We propose a development method for safe data flow processing based on the integration of this concept in deterministic UML activities. This integration allows the identification of errors by detection of contracts violation. This paper presents an extension of the DMOSES tool for contracts verification at the model level and their monitoring at runtime.
This paper aims to develop a sensor based monitoring and analyzing system for Neuro-Degenerative Disorder patients (NDD); this may consist on SpO2 sensor, Electrophysiological sensors, NIBP, Motion Capture sensors and...
详细信息
This paper aims to develop a sensor based monitoring and analyzing system for Neuro-Degenerative Disorder patients (NDD); this may consist on SpO2 sensor, Electrophysiological sensors, NIBP, Motion Capture sensors and Eye Monitoring sensor, taking into consideration an acceptable cost for the whole system. Recorded data will be sent to an embedded decision making unit where detection, analysis, classification, prediction and action control will occur. The sensors and the decision making unit will be implemented in a comfortable jacket that doesn't affect the patients' movements and that can be used by several patients with reduced sensor placement alterations. The decision that can be made is creating a stimulus to avoid falling in case of sudden stop while moving, initiating an alarm, sending a notification to a mobile phone application, and/or telemedicine monitoring features. Artificial Neural Networks will be used to classify and predict the abnormal cases where action should be taken, and since the sensors will be continuously recording, it is possible to achieve continuous learning for the ANN as a first phase. Initial models will be defined by testing normal behaviors and some known abnormal behaviors or symptoms related to the electrical activity and other characteristics of the heart, oxygen saturation level, eye activity and body motion.
暂无评论