Search results for "Computer science"
showing 10 items of 22367 documents
Productive Efficiency of Decanters with Short and Variable Dynamic Pressure Cones
2003
Abstract This paper presents the results of experimental trials carried out on third-generation, variable dynamic pressure cone decanters to assess machine performance and adjust the process parameters for optimum extraction yield. The results obtained led to the following conclusions: the regulation of the differential velocity screw/bowl allows a better performance of the decanter at low dilutions of the olive paste; it is possible to obtain high efficiency at a low dilution of the olive paste achieving a higher minor compounds content and the more advanced system of regulation leads to better results according to the variations of the ratio between liquid and solid phases, thus optimisin…
The Abelian Kernel of an Inverse Semigroup
2020
The problem of computing the abelian kernel of a finite semigroup was first solved by Delgado describing an algorithm that decides whether a given element of a finite semigroup S belongs to the abelian kernel. Steinberg extended the result for any variety of abelian groups with decidable membership. In this paper, we used a completely different approach to complete these results by giving an exact description of the abelian kernel of an inverse semigroup. An abelian group that gives this abelian kernel was also constructed.
Modal Consequence Relations Extending S4.3: An Application of Projective Unification
2016
We characterize all finitary consequence relations over $\mathbf{S4.3}$ , both syntactically, by exhibiting so-called (admissible) passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic $L$ extending $\mathbf{S4}$ has projective unification if and only if $L$ contains $\mathbf{S4.3}$ . In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend the known results by Bull and Fine, from logics, to consequence relations. We also show that the lattice of consequence relation…
PROPAGATING INTERFACES IN A TWO-LAYER BISTABLE NEURAL NETWORK
2006
The dynamics of propagating interfaces in a bistable neural network is investigated. We consider the network composed of two coupled 1D lattices and assume that they interact in a local spatial point (pin contact). The network unit is modeled by the FitzHugh–Nagumo-like system in a bistable oscillator mode. The interfaces describe the transition of the network units from the rest (unexcited) state to the excited state where each unit exhibits periodic sequences of excitation pulses or action potentials. We show how the localized inter-layer interaction provides an "excitatory" or "inhibitory" action to the oscillatory activity. In particular, we describe the interface propagation failure a…
A generalized methodology for distribution systems faults identification, location and characterization
2005
Service continuity is of basic importance in the definition of the quality of the electrical energy, for this reason, the research in the field of faults diagnostic for distribution systems is spreading ever more. In this paper, a new methodology for diagnostic management of automated distribution systems is presented. The technique is based on the solution of a circuital model of the electrical system resulting from the composition of distributed parameters quadripoles. The solution gives as a result the identification of the type of fault, of its characteristic parameters and location. The paper shows an application to line to line grounded and ungrounded faults in which also its precisio…
Single Event Upsets Induced by Direct Ionization from Low-Energy Protons in Floating Gate Cells
2017
Floating gate cells in advanced NAND Flash memories, with single-level and multi-level cell architecture, were exposed to low-energy proton beams. The first experimental evidence of single event upsets by proton direct ionization in floating gate cells is reported. The dependence of the error rate versus proton energy is analyzed in a wide energy range. Proton direct ionization events are studied and energy loss in the overlayers is discussed. The threshold LET for floating gate errors in multi-level and single-level cell devices is modeled and technology scaling trends are analyzed, also discussing the impact of the particle track size. peerReviewed
Regional Disparities and Spatial Dependence of Bankruptcy in Spain
2021
Firm survival, bankruptcy, and turnaround are of great interest nowadays. Bankruptcy is the ultimate resource for a company to survive when it is affected by a severe decline. Thus, determinants of firm turnaround and survival in the context of bankruptcy are of interest to researchers, managers, and policy-makers. Prior turnaround literature has broadly studied firm-specific factors for turnaround success. However, location-specific factors remain relatively unstudied despite their increasing relevance. Thus, this paper aims to evaluate the existence of spatial dependence on the outcome of the bankruptcy procedure. Economic geography and business literature suggest that location matters an…
Scheduling under the network of temporo-spatial proximity relationships
2017
We discuss and introduce to the schedulingeld a novel, qualitative optimization model - scheduling under the network of temporo-spatial proximity relationships.We introduce a half perimeter proximity measure as an objective of scheduling.We present and evaluate an incremental Sequence Pair neighborhood evaluation algorithm, applicable to both scheduling and rectangle packing problems in VLSI industry. In this paper, we discuss and introduce to the scheduling field a novel optimization objective - half perimeter proximity measure in scheduling under the network of temporo-spatial proximity relationships. The presented approach enables to qualitatively express various reasons of scheduling ce…
Intégrer des informations en escamots dans les textes techniques : quels effets sur les processus cognitifs ?
1998
Though computerized sytems now offer a wide range of options for accessing and displaying text or text-picture information, little is known about their effects on the user's cognitive processes. In this paper, we investigate the effect of a computer-specific display (pop-up window) which consists in displaying some pieces of information in windows that appear only under user's action. Experiments were carried out to compare the pop-up window device with other devices used on paper. The experiments dealt with text only as well as text-picture documents and involved various tasks. Results are discussed from a theoretical and a practical point of view.
Computing Subdivision Surface Intersection
2003
Computer surface intersections is fundamental problem in geometric modeling. Any Boolean operation can be seen as an intersection calculation followed by a selection of parts necessary for building the surface of the resulting object. This paper deals with the computing of intersection curveson subdivision surfaces (surfaces generated by the Loop scheme). We present three variants of our algorithm. The first variant calculates this intersection after classification of the object faces into intersecting and non-intersecting pairs of faces. the second variant is based on 1-neighborhood of the intersecting faces. The third variant uses the concept of bipartite graph.