1,881 research outputs found
Visualization of electrical machines
В докладе "Визуализация процессов в электрических машинах" рассмотрены вопросы визуализации электромагнитных процессов в электрических машинах с помощью компьютерной анимации на основе пакета 3D STUDIO МАХ. Работа выполнена Уральским государственным техническим университетом (Россия) совместно с Гентским университетом (Бельгия) в рамках проекта URALELECTR
Digital terrain modelling using triangulated irregular networks (poster)
Many marine scientists and users of the sea consider knowledge of the sea bottom as basic data, a mere context to carry out research or deploy activities. Some disciplines do need more accurate bathymetric data than others, depending on depth values being background information or crucial information for their research or activities. In bathymetry, the representation of the sea bottom surface is the main objective and hence, this discipline will try to render the sea bottom relief as accurate as possible. The latest bathymetric sounding equipment that is available nowadays, especially the multibeam echosounder, yield a very dense bottom sampling. When compared to the common singlebeam echosounder, an enormous amount of data is produced that needs to be processed in a correct and fast way. Grid-overlay (by local linear or more sophisticated interpolation and attributing values to individual grid cells) is not an option here as this method uses an interpolation of the measured values and hence will either cause accuracy loss or generate a still larger amount of data. A triangular irregular network (TIN for short), especially the Delaunay triangulation (Dt), does respect the actual measurements and will not generate new data. In literature, a number of algorithms have been developed that determine the Dt of a set of points (vertices) given in the plane.A performant divide-and-conquer algorithm for Delaunay triangulations was implemented to triangulate large quantities of data in minimum time. Comparison with other implemented algorithms demonstrates its excellent performance.In some cases, it will be necessary to adapt the terrain model. Theoretical terrain models (for instance design models for marine contractors) require manual interventions, while new surveys partially overlapping old data will have to replace the latter. Therefore, the incremental algorithm has been adapted to allow insertion of individual points. When eliminating individual vertices, the hole thus created has to be retriangulated. Vertices belonging to a triangulation that is (partially) covered by a new surveyed area can be eliminated and using a very keen adaptation of the divide-and-conquer principle, the overlapping triangulations can be stitched together. This is a novel technique with the big advantage of quickly and seamlessly joining two large triangulations, without the need for retriangulation of the entire area.Part of the immense amount of data generated by a multibeam echosounder will unavoidably be redundant. An important issue therefore will be: filtering these data, keeping those points that still assure an optimal accuracy. This accuracy can be expressed as a function of the topography or as a function of the volume. For the latter, not the height difference determines whether or not a vertex is allowed in the triangulation, the criterion is rather the change in volume caused by this one vertex. For marine contractors, it is mainly the latter that is important. A hybrid model would be most adequate
Antichain Algorithms for Finite Automata
We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability problems. Antichains are more succinct than the sets of states manipulated by the traditional fixpoint algorithms. The theory justifies the correctness of the antichain algorithms, and applications such as the universality problem for finite automata illustrate efficiency improvements. Finally, we show that new and provably better antichain algorithms can be obtained for the emptiness problem of alternating automata over finite and infinite words
Recommended from our members
Roles for the Conserved Spc105p/Kre28p Complex in Kinetochore-Microtubule Binding and the Spindle Assembly Checkpoint
Background: Kinetochores attach sister chromatids to microtubules of the mitotic spindle and orchestrate chromosome disjunction at anaphase. Although S. cerevisiae has the simplest known kinetochores, they nonetheless contain ∼70 subunits that assemble on centromeric DNA in a hierarchical manner. Developing an accurate picture of the DNA-binding, linker and microtubule-binding layers of kinetochores, including the functions of individual proteins in these layers, is a key challenge in the field of yeast chromosome segregation. Moreover, comparison of orthologous proteins in yeast and humans promises to extend insight obtained from the study of simple fungal kinetochores to complex animal cell kinetochores. Principal Findings: We show that S. cerevisiae Spc105p forms a heterotrimeric complex with Kre28p, the likely orthologue of the metazoan kinetochore protein Zwint-1. Through systematic analysis of interdependencies among kinetochore complexes, focused on Spc105p/Kre28p, we develop a comprehensive picture of the assembly hierarchy of budding yeast kinetochores. We find Spc105p/Kre28p to comprise the third linker complex that, along with the Ndc80 and MIND linker complexes, is responsible for bridging between centromeric heterochromatin and kinetochore MAPs and motors. Like the Ndc80 complex, Spc105p/Kre28p is also essential for kinetochore binding by components of the spindle assembly checkpoint. Moreover, these functions are conserved in human cells. Conclusions/Significance: Spc105p/Kre28p is the last of the core linker complexes to be analyzed in yeast and we show it to be required for kinetochore binding by a discrete subset of kMAPs (Bim1p, Bik1p, Slk19p) and motors (Cin8p, Kar3p), all of which are nonessential. Strikingly, dissociation of these proteins from kinetochores prevents bipolar attachment, even though the Ndc80 and DASH complexes, the two best-studied kMAPs, are still present. The failure of Spc105 deficient kinetochores to bind correctly to spindle microtubules and to recruit checkpoint proteins in yeast and human cells explains the observed severity of missegregation phenotypes
Qualitative Analysis of Partially-observable Markov Decision Processes
We study observation-based strategies for partially-observable Markov
decision processes (POMDPs) with omega-regular objectives. An observation-based
strategy relies on partial information about the history of a play, namely, on
the past sequence of observations. We consider the qualitative analysis
problem: given a POMDP with an omega-regular objective, whether there is an
observation-based strategy to achieve the objective with probability~1
(almost-sure winning), or with positive probability (positive winning). Our
main results are twofold. First, we present a complete picture of the
computational complexity of the qualitative analysis of POMDP s with parity
objectives (a canonical form to express omega-regular objectives) and its
subclasses. Our contribution consists in establishing several upper and lower
bounds that were not known in literature. Second, we present optimal bounds
(matching upper and lower bounds) on the memory required by pure and randomized
observation-based strategies for the qualitative analysis of POMDP s with
parity objectives and its subclasses
Imaging of electric and magnetic fields near plasmonic nanowires
Near-field imaging is a powerful tool to investigate the complex structure of light at the nanoscale. Recent advances in near-field imaging have indicated the possibility for the complete reconstruction of both electric and magnetic components of the evanescent field. Here we study the electro-magnetic field structure of surface plasmon polariton waves propagating along subwavelength gold nanowires by performing phase- and polarization-resolved near-field microscopy in collection mode. By applying the optical reciprocity theorem, we describe the signal collected by the probe as an overlap integral of the nanowire’s evanescent field and the probe’s response function. As a result, we find that the probe’s sensitivity to the magnetic field is approximately equal to its sensitivity to the electric field. Through rigorous modeling of the nanowire mode as well as the aperture probe response function, we obtain a good agreement between experimentally measured signals and a numerical model. Our findings provide a better understanding of aperture-based near-field imaging of the nanoscopic plasmonic and photonic structures and are helpful for the interpretation of future near-field experiments
Imaging of electric and magnetic fields near plasmonic nanowires.
Near-field imaging is a powerful tool to investigate the complex structure of light at the nanoscale. Recent advances in near-field imaging have indicated the possibility for the complete reconstruction of both electric and magnetic components of the evanescent field. Here we study the electro-magnetic field structure of surface plasmon polariton waves propagating along subwavelength gold nanowires by performing phase- and polarization-resolved near-field microscopy in collection mode. By applying the optical reciprocity theorem, we describe the signal collected by the probe as an overlap integral of the nanowire's evanescent field and the probe's response function. As a result, we find that the probe's sensitivity to the magnetic field is approximately equal to its sensitivity to the electric field. Through rigorous modeling of the nanowire mode as well as the aperture probe response function, we obtain a good agreement between experimentally measured signals and a numerical model. Our findings provide a better understanding of aperture-based near-field imaging of the nanoscopic plasmonic and photonic structures and are helpful for the interpretation of future near-field experiments
Study of the influence of grain size and precipitates on the electromagnetic losses in different grades of non-oriented fully processed electrical steel
Nota: Aquest document conté originàriament altre material i/o programari només consultable a la Biblioteca de Ciència i Tecnologia
- …