Search results for "Program"
showing 10 items of 5938 documents
Numerical approximation of mixed models for digital integrated circuits
1991
To analyse an electrical network many CAD (Computer Aided Design) circuit simulators are available today. The most well-known is probably SPICE -Nagel [1975]. Although this type of simulator is able to precisely compute the transient performances (as delay time), the usage of complete models of devices implies an extremely high time consumption. So, the circuit simulators are unappropriate for the initial stage of VLSI design where a high speed timing analyser (“timing simulator”) is required. To this goal, alternative approaches using either simpler device models or simpler numerical algorithms or easily computable formulae for delay time approximation, have been developed in the past deca…
Timed Sets, Functional Complexity, and Computability
2012
AbstractThe construction of various categories of “timed sets” is described in which the timing of maps is considered modulo a “complexity order”. The properties of these categories are developed: under appropriate conditions they form discrete, distributive restriction categories with an iteration. They provide a categorical basis for modeling functional complexity classes and allow the development of computability within these settings. Indeed, by considering “program objects” and the functions they compute, one can obtain models of computability – i.e. Turing categories – in which the total maps belong to specific complexity classes. Two examples of this are introduced in some detail whi…
Real-Time Implementation of Signal Processing Techniques for Disturbances Detection
2019
The real-time analysis of power quality (PQ) disturbances and islanding detection for distributed generation (DG) system using signal processing algorithms are still at a premature stage. Quick and reliable detection of islanding and PQ disturbances needs renewed focus. This paper is concentrated on the implementation of advanced signal processing techniques in field-programmable gate array (FPGA) to identify PQ and islanding events in real time. The proposed scheme is based on orthogonal empirical mode decomposition (OEMD) implemented in FPGA. This technique does not suffer from the loss of signal characteristics with successive decomposition levels. The performance of said technique is de…
Perimeter symmetrization of some dynamic and stationary equations involving the Monge-Ampère operator
2017
We apply the perimeter symmetrization to a two-dimensional pseudo-parabolic dynamic problem associated to the Monge-Ampere operator as well as to the second order elliptic problem which arises after an implicit time discretization of the dynamical equation. Curiously, the dynamical problem corresponds to a third order operator but becomes a singular second order parabolic equation (involving the 3-Laplacian operator) in the class of radially symmetric convex functions. Using symmetrization techniques some quantitative comparison estimates and several qualitative properties of solutions are given.
Proposer des révisions intersessions aux étudiants de 1ère année : quelles relations avec la réussite aux examens ?
2013
This paper assesses a revision programme proposed to unsuccessful students between the two examination sessions within the framework of the "Plan réussite en Licence" in first year at the University of Burgundy, both in terms of student participation and links with achievement. The low participation of students is not associated with particular student profiles. An analysis of the students' future shows that student participation in the revision programme led to a lower drop-out risk during the second examination session and greater success, but only as regards the examinations of the 2nd semester. It should also be noted that student participation also has positive effects in the mid-term …
A diffusion model account of normal and impaired readers.
2004
Acquired aphasics and dyslexics with even very profound word reading impairments have been shown to perform relatively well on the lexical decision task (e.g., Buchanan, Hildebrandt, & MacKinnon, 1999), but direct contrasts with unimpaired participants data is often complicated by extremely long reaction times for patient data. The dissociation between lexical decision and word naming performance shown by these patients is of theoretical importance, and here we present an analysis of processing underlying the lexical decision task. We are able to determine what aspects of performance are affected by acquired aphasics in the lexical decision task. We fit lexical decision data from aphasic pa…
Semantics for Managing Systems in Heterogeneous and Distributed Environment
2002
The problem of legacy systems collaboration is being solved. Particularly we look at the collaboration as workflow in a distributed and heterogeneous environment. Attention is paid to the description of semantics for workflow process definition languages. There are many solutions how semantics can be decomposed into logical fragments, but the problem of obtaining reusable components that are easy to compile into desired specific semantics still remains. We evolve the division of semantics by semantic aspects whose description is based on abstract data types (pre-built components) and connectors (meta-programs to produce the glue code) between them. This paper offers a way in which semantic …
Socio-technical Congruence Sabotaged by a Hidden Onshore Outsourcing Relationship: Lessons Learned from an Empirical Study
2012
Despite the popularity of outsourcing arrangements, distributed software development is still regarded as a complex endeavor. Complexity primarily comes from the challenges in communication and coordination among participating organizations. In this paper we discuss lessons learned from participatory research carried out in a highly distributed onshore outsourcing project. Previous research established that socio-technical congruence principles alleviate distributed work. In practice we have found that alignment between the systems structure and organizational structure can be studied from different abstraction levels and also during different phases of project lifecycle. We have found that…
Santa Rosalia, the icon of biodiversity
2010
This article summarizes the results presented in a series of invited contributions which were submitted to celebrate the fiftieth anniversary of publication of the seminal article ‘‘Homage to Santa Rosalia or why are there so many kinds of animals’’ by G.E. Hutchinson. The authors were asked to explore old and new paradigms of biodiversity in aquatic ecosystems. The contributions by Hutchinson in this field are truly landmarks in the history of modern ecological sciences. The authors of the contributed articles, stimulated by one of the most fruitful concept articles in ecology that has appeared over the last half century, have shown that scientific investigation, although still seeking the…
Rekomendācijas uzņēmuma arhitektūras pārvaldības un vadības uzlabošanai dzīvības apdrošināšanas uzņēmumā
2018
Darbā mērķis ir izstrādāt metodi uzņēmuma arhitektūras pārvaldes un vadības uzlabojumiem dzīvības apdrošināšanas uzņēmumam. Uzlabojumus ir plānots sasniegt pirmkārt analizējot esošo stāvokli uzņēmumā izmantojot LEAN un sistēmiskās domāšanas elementus. Otrkārt, autors pielāgo LEAN , SAFe®, arhitektūras artefaktus kontekstam, testē tos teorētiski un vērtē, kuri no artefaktiem būtu piemēroti vairāk, kuri mazāk turpmākai praktiskai pielietošanai.