ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • Artikel  (35)
  • simulation  (35)
  • Springer  (35)
  • Blackwell Publishing Ltd
  • 1995-1999  (33)
  • 1980-1984  (2)
  • 1925-1929
  • Informatik  (35)
  • 1
    Digitale Medien
    Digitale Medien
    Springer
    Journal of intelligent and robotic systems 17 (1996), S. 309-325 
    ISSN: 1573-0409
    Schlagwort(e): modeling ; camera ; CCD ; subpixel ; simulation ; vision ; image ; diffusion ; CAD ; CIM ; bias
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Maschinenbau
    Notizen: Abstract In this paper we propose a modeling of an acquisition line made up of a CCD camera, a lens and a frame grabber card. The purpose of this modeling is to simulate the acquisition process in order to obtain images of virtual objects. The response time has to be short enough to permit interactive simulation. All the stages are modelised: in the first phase, we present a geometric model which supplies a point to point transformation that provides, for a space point in the camera field, the corresponding point on the plane of the CCD sensor. The second phase consists of modeling the discrete space which implies passing from the continous known object view to a discrete image, in accordance with the different orgin of the contrast loss. In the third phase, the video signal is reconstituted in order to be sampled by the frame grabber card. The practical results are close to reality when compared to image processing. This tool makes it possible to obtain a short computation time simulation of a vision sensor. This enables interactivity either with the user or with software for the design/simulation of an industrial workshop equipped with a vision system. It makes testing possible and validates the choice of sensor placement and image processing and analysis. Thanks to this simulation tool, we can control perfectly the position of the object image placed under the camera and in this way, we can characterise the performance of subpixel accuracy determining methods for object positioning.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    Digitale Medien
    Digitale Medien
    Springer
    Journal of intelligent and robotic systems 24 (1999), S. 125-149 
    ISSN: 1573-0409
    Schlagwort(e): planning ; control ; multi-fingered robot hand ; optimization ; internal force ; simulation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Maschinenbau
    Notizen: Abstract In this paper, the problem of controlling multi-fingered robot hands with rolling and sliding contacts is addressed. Several issues are explored. These issues involve the kinematic analysis and modeling, the dynamic analysis and control, and the coordination of a multi-fingered robot hand system. Based on a hand-object system in which the contacts are allowed to both roll and slide, a kinematic model is derived and analyzed. Also, the dynamic model of the hand-object system with relative motion contacts is studied. A control law is proposed to guarantee the asymptotic tracking of the object trajectory together with the desired rolling and/or sliding motions along the surface of the object. A planning approach is then introduced to minimize the contact forces so that the desired motion of the object and the relative motions between the fingers and the object can be achieved. Simulation results which support the theoretical development are presented.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    Digitale Medien
    Digitale Medien
    Springer
    The journal of supercomputing 11 (1997), S. 255-278 
    ISSN: 1573-0484
    Schlagwort(e): Ewald ; parallel ; T3E ; simulation ; electrostatic ; molecular dynamics ; PME
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract We report our work to parallelize the Particle Mesh Ewald (PME) method to compute the long-range electrostatic interactions in the molecular dynamics program AMBER and to extend the scalability of the PME method to hundreds of processors.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    Digitale Medien
    Digitale Medien
    Springer
    Higher-order and symbolic computation 10 (1998), S. 237-271 
    ISSN: 1573-0557
    Schlagwort(e): abstract interpretation ; operational semantics ; collecting semantics ; simulation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract We present trace-based abstract interpretation, a unification of severallines of research on applying Cousot-Cousot-style abstract interpretation a.i. tooperational semantics definitions (such as flowchart, big-step, and small-step semantics)that express a program‘s semantics as a concrete computation tree of trace paths. Aprogram‘s trace-based a.i. is also a computation tree whose nodes contain abstractions ofstate and whose paths simulate the paths in the program‘s concrete computation tree.Using such computation trees, we provide a simple explanation of the central concept of collecting semantics, and we distinguish concrete from abstract collectingsemantics and state-based from path-based collecting semantics. We also expose therelationship between collecting semantics extraction and results garnered from flow-analytic and model-checking-based analysis techniques. We adapt concepts fromconcurrency theory to formalize “safe” and “live” a.i.‘s for computation trees; in particular, coinduction techniques help extend fundamental results to infinite computation trees. Problems specific to the various operational semantics methodologies are discussed: Big-step semantics cannot express divergence, so we employ a mixture of induction andcoinduction in response; small-step semantics generate sequences of programconfigurations unbounded in size, so we abstractly interpret source language syntax.Applications of trace-based a.i. to data-flow analysis, model checking, closure analysis,and concurrency theory are demonstrated.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    Digitale Medien
    Digitale Medien
    Springer
    Computing 30 (1983), S. 185-188 
    ISSN: 1436-5057
    Schlagwort(e): 62E30 ; 62E25 ; Random numbers ; simulation ; gamma distribution ; pseudo-random
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Beschreibung / Inhaltsverzeichnis: Zusammenfassung Es wird eine Modifikation des Algorithmus von Ahrens und Dieter [1] angegeben, welcher gammaverteilte Zufallsvariable mit einem Formparameter kleiner Eins erzeugt. Der modifizierte Algorithmus ist deutlich schneller, obwohl er kaum komplexer ist als der ursprüngliche.
    Notizen: Abstract A modification is given for an algorithm of Ahrens and Dieter [1] which generates random Gamma variates with shape parameter less than unity. The modified algorithm is substantially faster, although hardly more complex than the original one.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    Digitale Medien
    Digitale Medien
    Springer
    Queueing systems 31 (1999), S. 43-58 
    ISSN: 1572-9443
    Schlagwort(e): perturbation analysis ; sample path analysis ; queueing theory ; simulation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract We study infinitesimal perturbation analysis (IPA) for queueing networks with general service time distributions. By “general” we mean that the distributions may have discrete components. We show that in the presence of service time distributions with discrete components commuting condition (CC) is no longer sufficient for unbiasedness of IPA. To overcome this difficulty, we introduce the notion of separability of real‐valued random variables, and show that separability of service times together with (CC) establishes unbiasedness of IPA for queueing systems with general service time distributions. It turns out that the piecewise analyticity of service times is a sufficient condition for separability.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 7
    Digitale Medien
    Digitale Medien
    Springer
    Queueing systems 27 (1997), S. 37-54 
    ISSN: 1572-9443
    Schlagwort(e): massive parallel processing ; simulation ; MIMD and SIMD parallel computers ; scalable algorithm ; G/G/1 queue ; longest path ; queueing networks
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract This paper presents several basic algorithms for the parallel simulation of G/G/1 queueing systems and certain networks of such systems. The coverage includes systems subject to manufacturing or communication blocking, or to loss of customer due to capacity constraints. The key idea is that the customer departure times are represented by longest-path distance in directed graphs instead of by the usual recursive equations. This representation leads to scalable algorithms with a high degree of parallelism that can be implemented on either MIMD or SIMD parallel computers.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 8
    Digitale Medien
    Digitale Medien
    Springer
    Queueing systems 19 (1995), S. 169-192 
    ISSN: 1572-9443
    Schlagwort(e): Continuity ; rates of convergence ; robust estimation ; queueing systems ; simulation ; regenerative processes
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract Leta ands denote the inter arrival times and service times in aGI/GI/1 queue. Let a(n), s(n) be the r.v.s. with distributions as the estimated distributions ofa ands from iid samples ofa ands of sizesn. Letw be a r.v. with the stationary distribution π of the waiting times of the queue with input(a,s). We consider the problem of estimatingE[w α], α〉 0 and α via simulations when (a (n),s(n)) are used as input. Conditions for the accuracy of the asymptotic estimate, continuity of the asymptotic variance and uniformity in the rate of convergence to the estimate are obtained. We also obtain rates of convergence for sample moments, the empirical process and the quantile process for the regenerative processes. Robust estimates are also obtained when an outlier contaminated sample ofa ands is provided. In the process we obtain consistency, continuity and asymptotic normality of M-estimators for stationary sequences. Some robustness results for Markov processes are included.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 9
    Digitale Medien
    Digitale Medien
    Springer
    Queueing systems 19 (1995), S. 247-268 
    ISSN: 1572-9443
    Schlagwort(e): Sensitivity coefficient ; score function ; driving sequence ; queuing model ; simulation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract Queuing models described as regenerative processes driven by several sequences are under investigation. Occurrence times in these sequences are supposed to be asynchronous, in general. Sensitivity coefficients that are derivatives of some stationary performance measures with respect to definite parameters as well as derivatives of higher orders are derived for such queuing models. These sensitivity coefficients can be evaluated by simulation.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 10
    Digitale Medien
    Digitale Medien
    Springer
    Queueing systems 21 (1995), S. 391-413 
    ISSN: 1572-9443
    Schlagwort(e): Dynamic scheduling control ; queueing network ; fluid network ; queueing theory ; flow control ; simulation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract Motivated by dynamic scheduling control for queueing networks, Chen and Yao [8] developed a systematic method to generate dynamic scheduling control policies for a fluid network, a simple and highly aggregated model that approximates the queueing network. This study addresses the question of how good these fluid policies are as heuristic scheduling policies for queueing networks. Using simulation on some examples these heuristic policies are compared with traditional simple scheduling rules. The results show that the heuristic policies perform at least comparably to classical priority rules, regardless of the assumptions made about the traffic intensities and the arrival and service time distributions. However, they are certainly not always the best and, even when they are, the improvement is seldom dramatic. The comparative advantage of these policies may lie in their application to nonstationary situations such as might occur with unreliable machines or nonstationary demand patterns.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 11
    Digitale Medien
    Digitale Medien
    Springer
    Applied intelligence 8 (1998), S. 195-218 
    ISSN: 1573-7497
    Schlagwort(e): modelling ; simulation ; teams ; coordination ; organizations
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract The problem of modelling air missions is part of a larger problem—simulating possible war-like scenarios in the air, sea, and on land. In modelling such military systems one is required to model the behaviour of various actors and the resources that are available to them. One aspect of this problem is the modelling of a group of actors as a team and then modelling the coordinated behaviour of such a team to achieve a joint goal. In the domain of air mission modelling the actors are pilots who control aircraft and their behaviour is referred to as tactics. In this paper we present the approach we adopted in modelling teams and team tactics as part of the development of the Smart Whole AiR Mission Model (SWARMM) for the Air Operations Division of the Australian Defence Science and Technology Organization. In our approach teams are composed of sub-teams and adopt organizational structures. Such structures define the responsibilities of the sub-teams towards the mission to be achieved as well as towards the control and coordination of the sub-teams. We also describe how communication is used when adopting a variety of control and coordination strategies and how one could reason about the choice of organizational structures for a given mission and situation.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 12
    Digitale Medien
    Digitale Medien
    Springer
    Autonomous robots 3 (1996), S. 253-268 
    ISSN: 1573-7527
    Schlagwort(e): underwater robotics ; hydrodynamics ; simulation ; articulated mechanisms ; tree topologies ; object-oriented design
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Maschinenbau
    Notizen: Abstract This paper presents a computational framework for efficiently simulating the dynamics and hydrodynamics of Underwater Robotic Vehicle (URV) systems. Through the use of object-oriented mechanisms, a very general yet efficient version of the Articulated-Body (AB) algorithm has been implemented. An efficient solution to branching within chains is developed in the paper so that the algorithm can be used to compute the dynamics for the entire class of open-chain, tree-structured mechanisms. By including compliant contacts with the environment, most closed-chain systems can also be modeled. URV systems with an extended set of topologies can be simulated including proposed underwater walking machines with intra-body powered articulations. Using the encapsulation inherent in C++, the hydrodynamics code has been confined to a single class, thereby explicitly defining this framework and providing an environment for readily implementing desired hydrodynamics algorithms. Resulting simulations are very efficient and can be used in a number of applications both in the development and use of URV systems.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 13
    Digitale Medien
    Digitale Medien
    Springer
    Journal of clinical monitoring and computing 12 (1995), S. 105-112 
    ISSN: 1573-2614
    Schlagwort(e): modelling ; parameter estimation ; simulation ; ventilation mechanics ; data acquisition
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Medizin
    Notizen: Abstract Routine application of ‘rule of thumb’ parameter sets in clinical practice pushes model visions to the background, including the complete framework of assumptions, simplifications, suppositions and conditions. But: models can be a very strong tool, when applied selectively — that means, with a clear idea of destination, definition, parameter selection and verification. This article discusses universal issues of modelling — based on ventilation mechanics models in intensive care medicine.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 14
    Digitale Medien
    Digitale Medien
    Springer
    Journal of clinical monitoring and computing 14 (1998), S. 135-140 
    ISSN: 1573-2614
    Schlagwort(e): simulation ; peripheral nerve stimulation ; neuromuscular blockade ; thumb adduction
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Medizin
    Notizen: Abstract Objective. To design and fabricate a device to simulate evoked thumb adduction in response to ulnar nerve stimulation. Methods. We implemented a computer-controlled, motorized thumb (TWITCHER) that responds to ulnar nerve stimulation by an unmodified peripheral nerve stimulator. Clinically realistic response patterns are generated for both depolarizing and non-depolarizing muscle relaxants and three modes of stimulation (single twitch, train-of-four, tetanus). Results. The device has been used in a full-scale patient simulator for the last six years. Discussion. TWITCHER has been well received by participants in simulation exercises including the use of neuromuscular blocking drugs.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 15
    Digitale Medien
    Digitale Medien
    Springer
    Journal of clinical monitoring and computing 15 (1999), S. 17-21 
    ISSN: 1573-2614
    Schlagwort(e): Low flow anesthesia ; inhaled anesthetics ; anesthetic cost ; simulation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Medizin
    Notizen: Abstract Introduction. Inducing general anesthesia often involves mask ventilation using high fresh gas flow (FGF) to administer anesthetic vapor prior to endotracheal intubation. A common practice is to turn the vaporizer off when the mask is removed from the patient's face to avoid room contamination (VAPOff). An alternative approach is to leave the vaporizer on and turn the FGF to minimum to reduce the amount of vapor laden gas that can enter the room (FGFOff). The objective of this study is to compare the relative induction times and vapor costs associated with each induction strategy. Methods. Each induction method was simulated using Gasman® (MedMan Simulations, Chestnut Hill, MA) for Windows assuming a 70 kg patient. To simulate a period of mask ventilation with anesthetic vapor prior to intubation, the FGF was set to 6 l/min and the isoflurane vapor concentration to 1.2% (1 MAC) for three minutes with an alveolar ventilation of 5 l/min and cardiac output of 5 l/min. For the first simulation of the intubation period (FGFOff), FGF was turned to 150 ml/min, minute ventilation was set to zero and the vaporizer setting unchanged for one minute. Initial settings were then restored and the rate of change of anesthetic vapor concentration in the circuit (Vckt) and alveolus (Valv) followed for 10 minutes along with the cost of delivered vapor (V$). For the second simulation (VAPOff), after the initial three minutes of vapor delivery, the vaporizer was set to zero, minute ventilation was set to zero and the FGF left unchanged for one minute. The initial settings were then restored and Vckt, Valv and V$ followed for ten minutes. The cost calculation was based upon a 100 ml bottle of Isoflurane at $72/bottle. Actual gas flow was measured at the y-piece of a circle system for fresh gas flows from 0.15 to 6 l/min. Results. At the end of the simulated intubation period (minute 4), Vckt was unchanged with the FGFOff method whereas it had fallen by more than half with the VAPOff method. Using VAPOff, it took until the 6-minute mark for Vckt to return to the same concentration that existed prior to intubation at minute three. Throughout the 10 minute simulated induction, Valv using FGFOff exceeded Valv using VAPOff although the difference became small at the end of the period. V$ was essentially identical at all time points. No flow into the room was measured at the minimum fresh gas flow whereas higher fresh gas flows resulted in a significant portion of the fresh gas flowing into the room. Conclusions. The strategy of turning the FGF to minimum and leaving the vaporizer on during intubation does not contaminate the room and speeds induction by fostering a greater alveolar concentration than the VAPOff method. Cost savings are derived using FGFOff since a higher alveolar concentration is achieved at the same vapor cost. Additional cost savings are demonstrated since a low flow technique is possible immediately after intubation when using FGFOff. The practice of turning off the vaporizer during endotracheal intubation while FGF remains high should be abandoned.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 16
    Digitale Medien
    Digitale Medien
    Springer
    Journal of clinical monitoring and computing 15 (1999), S. 227-232 
    ISSN: 1573-2614
    Schlagwort(e): simulation ; problem-based learning
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Medizin
    Notizen: Abstract Background. We developed a problem-based learning exercise with a full-scale human patient simulator to teach residents the emergency management and differential diagnosis of acute intraoperative hypotension. Methods.We developed the exercise through the following steps: clear definition of learning objectives, preparation of an appropriate case stem, development of clinically realistic scenarios to illustrate objectives, and an interactive instructor to stimulate discussion. Results. The exercise focused on the differential diagnosis of intraoperative hypotension, and the acute treatment of hypovolemia, cardiac tamponade, tension pneumothorax, and anaphylaxis. Conclusions. Exercises on a full-scale patient simulator are a natural extension of problem-based learning. Recent research in learning theory provides the rationale for this teaching modality's potential as a learning tool.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 17
    Digitale Medien
    Digitale Medien
    Springer
    Journal of clinical monitoring and computing 15 (1999), S. 481-491 
    ISSN: 1573-2614
    Schlagwort(e): Cerebral blood flow ; cerebral vascular resistance ; cerebral perfusion pressure ; PaCO2 ; PaO2 ; cerebral metabolic rate of oxygen consumption ; educational model ; simulation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Medizin
    Notizen: Abstract Objective.To implement a realistic autoregulation mechanism toenhance an existing educational brain model that displays in real-time thecerebral metabolic rate (CMRO2), cerebral blood flow (CBF),cerebral blood volume (CBV), intracranial pressure (ICP), and cerebralperfusion pressure (CPP). Methods.A dynamic cerebrovascular resistance(CVR) feedback loop adjusts automatically to maintain CBF within a range ofthe CPP and defines autoregulation. The model obtains physiologic parametersfrom a full-scale patient simulator. We assumed that oxygen demand andarterial partial pressure of carbon dioxide (CO2 responsivity) arethe two major factors involved in determining CBF. In addition, our brainmodel increases oxygen extraction up to 70% once CBF becomes insufficient tosupport CMRO2. The model was validated against data from theliterature. Results.The model's response varied less than 9%from the literature data. Similarly, based on correlation coefficients betweenthe brain model and experimental data, a good fit was obtained for curvesdescribing the relationship between CBF and PaCO2 at a meanarterial blood pressure of 150 mm Hg (R2 = 0.92) and 100 mm Hg(R2 = 0.70). Discussion.The autoregulated brain model, withincorporated CO2 responsivity and a variable oxygen extraction,automatically produces changes in CVR, CBF, CBV, and ICP consistent withliterature reports, when run concurrently with a METI full-scale patientsimulator (Medical Education Technologies, Inc., Sarasota, Florida). Once themodel is enhanced to include herniation, vasospasm, and drug effects, itsutility will be expanded beyond demonstrating only basic neuroanesthesiaconcepts.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 18
    ISSN: 1573-6873
    Schlagwort(e): reflex pathway ; neuronal network ; simulation ; parliamentary principle ; neural basis of behavior
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Medizin , Physik
    Notizen: Abstract In inactive stick insects, sensory information from the femoral chordotonal organ (fCO) about position and movement of the femur-tibia joint is transferred via local nonspiking interneurons onto extensor and flexor tibiae motoneurons. Information is processed by the interaction of antagonistic parallel pathways at two levels: (1) at the input side of the nonspiking interneurons and (2) at the input side of the motoneurons. We tested by a combination of physiological experiments and computer simulation whether the known network topology and the properties of its elements are sufficient to explain the generation of the motor output in response to passive joint movements, that is resistance reflexes. In reinvestigating the quantitative characteristics of interneuronal pathways we identified 10 distinct types of nonspiking interneurons. Synaptic inputs from fCO afferents onto these interneurons are direct excitatory and indirect inhibitory. These connections were investigated with respect to position and velocity signals from the fCO. The results were introduced in the network simulation. The motor output of the simulation has the same characteristics as the real system, even when particular types of interneurons were removed in the simulation and the real system.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 19
    Digitale Medien
    Digitale Medien
    Springer
    Journal of computational neuroscience 3 (1996), S. 73-82 
    ISSN: 1573-6873
    Schlagwort(e): primate retina ; simulation ; ganglion cells ; spatial vision ; hyperacuity
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Medizin , Physik
    Notizen: Abstract We developed a physiologically plausible model of the first steps of spatial visual information processing in the fovea of the human retina. With the predictions of this model we could support the hypothesis that, for moderate contrasts (≤ 40%), hyperacuity is mediated by the magnocellular (MC-) pathway. Despite the lower sampling density in the MC pathway, as compared to the parvocellular (PC-) pathway, the information that is transferred by the MC ganglion cells is sufficient to achieve thresholds comparable to those of human subjects in psychophysical tasks. This is a result of the much higher signal-to-noise ratio of the MC pathway cell signals. The PC pathway cells do not transfer enough information for hyperacuity thresholds.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 20
    Digitale Medien
    Digitale Medien
    Springer
    Formal methods in system design 6 (1995), S. 11-44 
    ISSN: 1572-8102
    Schlagwort(e): abstract interpretation ; simulation ; property preservation ; model-checking
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract We study property preserving transformations for reactive systems. The main idea is the use of simulations parameterized by Galois connections (α, γ), relating the lattices of properties of two systems. We propose and study a notion of preservation of properties expressed by formulas of a logic, by a function α mapping sets of states of a systemS into sets of states of a systemS'. We give results on the preservation of properties expressed in sublanguages of the branching time μ-calculus when two systemsS andS' are related via (α, γ)-simulations. They can be used to verify a property for a system by verifying the same property on a simpler system which is an abstraction of it. We show also under which conditions abstraction of concurrent systems can be computed from the abstraction of their components. This allows a compositional application of the proposed verification method. This is a revised version of the papers [2] and [16]; the results are fully developed in [28].
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 21
    Digitale Medien
    Digitale Medien
    Springer
    Statistics and computing 6 (1996), S. 277-287 
    ISSN: 1573-1375
    Schlagwort(e): Bayesian inference ; contingency tables ; Gibbs sampling ; graphical methods ; hypothesis testing ; independence ; intraclass tables ; model comparison ; predictive densities ; quasisymmetry ; simulation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Mathematik
    Notizen: Abstract In this paper we present a simulation and graphics-based model checking and model comparison methodology for the Bayesian analysis of contingency tables. We illustrate the approach by testing the hypotheses of independence and symmetry on complete and incomplete simulated tables.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 22
    Digitale Medien
    Digitale Medien
    Springer
    Statistics and computing 6 (1996), S. 85-92 
    ISSN: 1573-1375
    Schlagwort(e): Cluster analysis ; Conditional Gaussian distribution ; EM algorithm ; graphical modelling ; location model ; mixture maximum likelihood ; simulation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Mathematik
    Notizen: Abstract One possible approach to cluster analysis is the mixture maximum likelihood method, in which the data to be clustered are assumed to come from a finite mixture of populations. The method has been well developed, and much used, for the case of multivariate normal populations. Practical applications, however, often involve mixtures of categorical and continuous variables. Everitt (1988) and Everitt and Merette (1990) recently extended the normal model to deal with such data by incorporating the use of thresholds for the categorical variables. The computations involved in this model are so extensive, however, that it is only feasible for data containing very few categorical variables. In the present paper we consider an alternative model, known as the homogeneous Conditional Gaussian model in graphical modelling and as the location model in discriminant analysis. We extend this model to the finite mixture situation, obtain maximum likelihood estimates for the population parameters, and show that computation is feasible for an arbitrary number of variables. Some data sets are clustered by this method, and a small simulation study demonstrates characteristics of its performance.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 23
    Digitale Medien
    Digitale Medien
    Springer
    Real-time systems 14 (1998), S. 251-267 
    ISSN: 1573-1383
    Schlagwort(e): development environment ; real-time ; scheduling ; simulation ; design tool
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract The development of time critical applications needs specific tools able to cope with both functional and non-functional requirements. In this paper we describe a design and programming environment to assist the development of hard real-time applications. An interactive graphic interface is provided to facilitate the design of the application according to three hierarchical levels. The development model we propose is based on an iterative process in which the real-time scheduling support is considered from the beginning of the design phases. Our graphic environment integrates several tools to analyze, test, and simulate the real-time application under development. In particular, the tools we have implemented are: a Design Tool, to describe the structure of the application, a Schedulability Analyser Tool (SAT), to verify off-line the feasibility of the schedule of a critical task set, a Scheduling Simulator, to test the average behavior of the application, and a Maximum Execution Time (MET) estimator to bound the worst case duration of each task.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 24
    Digitale Medien
    Digitale Medien
    Springer
    Real-time systems 15 (1998), S. 61-90 
    ISSN: 1573-1383
    Schlagwort(e): system design ; executable specifications ; class-based modeling ; simulation ; formal methods ; model checking
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract The Production Cell example was chosen by FZI (the Computer Science Research Center), in Karlsruhe. to examine the benefits of formal methods for industrial applications. This example was implemented in more than 30 formalisms. This paper describes the implementation of the Production Cell in OBSERV. The OBSERV methodology for software development is based on rapid construction of an executable specification, or prototype, of a system, which may be examined and modified repeatedly to achieve the desired functionality. The objectives of OBSERV also include facilitating a smooth transition to a target system, and providing means for reusing specification, design, and code of systems, particularly real-time reactive systems. In this paper we show how the methods used in the OBSERV implementation address the requirements imposed by reactive systems. We describe the OBSERV implementation of the Production cell, explain design decisions, with special emphasis on reusability and safety issues. We demonstrate how to take care of safety and liveness properties required for this example. These properties are checked by means of simulation and formally proved with a model checker.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 25
    Digitale Medien
    Digitale Medien
    Springer
    User modeling and user adapted interaction 5 (1995), S. 67-86 
    ISSN: 1573-1391
    Schlagwort(e): Adaptive ; planning ; planning recognition ; simulation ; multi-agent ; multimedia ; tutoring ; artificial intelligence ; knowledge representation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract An intelligent tutoring system customizes its presentation of knowledge to the individual needs of each student based on a model of the student. Student models are more complex than other user models because the student is likely to have misconceptions. We have addressed several difficult issues in reasoning about a student's knowledge and skills within a real-time simulation-based training system. Our conceptual framework enables important aspects of the tutor's reasoning to be based upon simple, comprehensible representations that are the basis for a Student Centered Curriculum. We have built a system for teaching cardiac resuscitation techniques in which the decisions abouthow to teach are separated from the decisions aboutwhat to teach. The training context (i.e., choice of topics) is changed based on a tight interaction between student modeling techniques and simulation management. Although complex student models are still required to support detailed reasoning about how to teach, we argue that the decision about what to teach can be adequately supported by qualitatively simpler techniques, such as overlay models. This system was evaluated in formative studies involving medical school faculty and students. Construction of the student model involves monitoring student actions during a simulation and evaluating these actions in comparison with an expert model encoded as a multi-agent plan. The plan recognition techniques used in this system are novel and allow the expert knowledge to be expressed in a form that is natural for domain experts.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 26
    Digitale Medien
    Digitale Medien
    Springer
    Journal of clinical monitoring and computing 12 (1995), S. 89-95 
    ISSN: 1573-2614
    Schlagwort(e): anesthesia ; atracurium ; closed-loop control ; drug delivery ; feedback control ; infusion protocol ; mivacurium ; neuromuscular blockade ; simulation ; vecuronium
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Medizin
    Notizen: Abstract Neuromuscular blockade is controlled during anesthesia by administering either bolus doses or a continuous infusion of a blocking agent. To test whether a constant infusion technique requires less attention and provides better control we used a computer to simulate neuromuscular blockade. Using the model we maintained 95% blockade with mivacurium, atracurium, and vecuronium. It required 1.2 changes per hour to maintain the blockade by continuous infusion; an average of 4.5 bolus per hour were required to maintain blockade by the bolus technique. When the bolus and continuous infusion techniques were combined, only 0.16 changes per hour were required. Atracurium was then given to ten patients during anesthesia, following the bolus plus continuous infusion protocol. After a bolus was given to obtain 100% twitch depression, for tracheal intubation, neuromuscular function was assessed by train-of-four stimulation of the ulnar or facial nerves by observing the resultant muscle movement. When the first twitch of the train-of-four returned, relaxation was maintained by continuous infusion. A bolus was given and the drug infusion rate was changed whenever the level of relaxation changed from the desired one twitch of the train-of-four. The infusion rate was adjusted only 1.12±0.79 times per hour. The desired level of muscle relaxation was easily controlled using the bolus plus continuous infusion protocol. The infusion scheme might be implemented in future drug infusion pumps.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 27
    Digitale Medien
    Digitale Medien
    Springer
    Journal of clinical monitoring and computing 12 (1995), S. 231-239 
    ISSN: 1573-2614
    Schlagwort(e): gas exchange ; mechanical respiration ; model ; simulation ; ventilation mechanics
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Medizin
    Notizen: Abstract The mechanical respiration of intubated patients is a process which is influenced by many parameters and, through its many interactions, is extremely complex. Taken by itself the logical analysis of this complexity is extraordinarily difficult and leads very often to false conclusions. For that reason computer simulation of complex systems by means of the computer is an important tool in the analysis of these processes. Required is a model which describes the actual behavior of the system. However, it should not be overlooked that a model always describes only a portion of reality. Models having exclusively to do with ventilation mechanics or with gas exchange cannot simulate the interactions between the two. To accomplish this purpose, an improved model is necessary, including both partial processes and thereby capturing the complexity of the system. Accordingly, both ventilation mechanics and gas exchange have been integrated equally into the newly developed model for the simulation program Simu Vent. The core of the program builds a functional multicompartment model of the lungs and considers the partial processes ventilation mechanics, gas transport, gas mixing and gas exchange. Further considered are the respirator, blood circulation and peripheral compartments. The program runs under a graphical user interface, allowing its easy use. Responsible for this ease is the user's ability to interact with the program while simulation is in progress and the specially designed graphic screen mask. Comparing measured with simulated values demonstrated that the measured curve can be simulated with minimal error. Furthermore, the multicompartment model describes disruptions in distribution. Simu Vent's application is especially well advised in the description and analysis of the theoretical fundamentals of mechanical respiration. This aspect is meaningful above all in education and research, rendering these two the model's main areas of use.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 28
    Digitale Medien
    Digitale Medien
    Springer
    Applied intelligence 8 (1998), S. 113-121 
    ISSN: 1573-7497
    Schlagwort(e): genetic algorithms ; neural networks ; pole-cart system ; neuro-controller ; simulation ; gene activation ; multi-level chromosome
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract This paper describes the application of the Structured Genetic Algorithm (sGA) to design neuro-controllers for an unstable physical system. In particular, the approach uses a single unified genetic process to automatically evolve complete neural nets (both architectures and their weights) for controlling a simulated pole-cart system. Experimental results demonstrate the effectiveness of the sGA-evolved neuro-controllers for the task—to keep the pole upright (within a specified vertical angle) and the cart within the limits of the given track.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 29
    Digitale Medien
    Digitale Medien
    Springer
    Applied intelligence 9 (1998), S. 7-23 
    ISSN: 1573-7497
    Schlagwort(e): intelligent vehicles ; evolutionary algorithms ; simulation ; distributed AI
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract Recent research in automated highway systems has ranged from low-level vision-based controllers to high-level route-guidance software. However, there is currently no system for tactical-level reasoning. Such a system should address tasks such as passing cars, making exits on time, and merging into a traffic stream. Many previous approaches have attempted to hand construct large rule-based systems which capture the interactions between multiple input sensors, dynamic and potentially conflicting subgoals, and changing roadway conditions. However, these systems are extremely difficult to design due to the large number of rules, the manual tuning of parameters within the rules, and the complex interactions between the rules. Our approach to this intermediate-level planning is a system which consists of a collection of autonomous agents, each of which specializes in a particular aspect of tactical driving. Each agent examines a subset of the intelligent vehicle's sensors and independently recommends driving decisions based on their local assessment of the tactical situation. This distributed framework allows different reasoning agents to be implemented using different algorithms. When using a collection of agents to solve a single task, it is vital to carefully consider the interactions between the agents. Since each reasoning object contains several internal parameters, manually finding values for these parameters while accounting for the agents' possible interactions is a tedious and error-prone task. In our system, these parameters, and the system's overall dependence on each agent, is automatically tuned using a novel evolutionary optimization strategy, termed Population-Based Incremental Learning (PBIL). Our system, which employs multiple automatically trained agents, can competently drive a vehicle, both in terms of the user-defined evaluation metric, and as measured by their behavior on several driving situations culled from real-life experience. In this article, we describe a method for multiple agent integration which is applied to the automated highway system domain. However, it also generalizes to many complex robotics tasks where multiple interacting modules must simultaneously be configured without individual module feedback.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 30
    Digitale Medien
    Digitale Medien
    Springer
    Autonomous robots 6 (1999), S. 281-292 
    ISSN: 1573-7527
    Schlagwort(e): mobile robotics ; reinforcement learning ; artificial neural networks ; simulation ; real world
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Maschinenbau
    Notizen: Abstract We present a case study of reinforcement learning on a real robot that learns how to back up a trailer and discuss the lessons learned about the importance of proper experimental procedure and design. We identify areas of particular concern to the experimental robotics community at large. In particular, we address concerns pertinent to robotics simulation research, implementing learning algorithms on real robotic hardware, and the difficulties involved with transferring research between the two.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 31
    Digitale Medien
    Digitale Medien
    Springer
    Journal of network and systems management 3 (1995), S. 371-380 
    ISSN: 1573-7705
    Schlagwort(e): Telephone traffic ; network management ; control theory ; dynamic flows ; stability ; routing algorithms ; broadband networks ; simulation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Notizen: Abstract The control of telephony traffic is the task of network management and routing algorithms. In this paper, a study of two trunk groups carrying telephony traffic is used to show that instabilities can arise if there is a delay in getting feedback information for a network controller. The network controller seeks to balance the traffic in the two trunk groups, which may represent two paths from a source to a destination. An analysis shows how factors such as holding time, controller gain and feedback delay influence stability. Simulation of a two service case is also carried out to show that the same instabilities can arise.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 32
    Digitale Medien
    Digitale Medien
    Springer
    Computational economics 10 (1997), S. 107-118 
    ISSN: 1572-9974
    Schlagwort(e): visualisation ; simulation ; linear quadratic control ; observer ; Kalmanfilter
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Wirtschaftswissenschaften
    Notizen: Abstract Simulation of economic models is frequently used in the investigation of economic policy. Yet one of the problems with simulation is that it can be difficult to appreciate the model properties due to the nature of the simulation process. Stochastic simulation, for example, can produce large quantities of output which can be difficult to comprehend. Further, when mathematically sophisticated techniques such as the use of optimal control and Kalman Filtering are applied to models, the simulation process can become even more complex. Visualisation techniques in model building, simulation, and analysis of simulation output can help reduce the complexity. This is especially the case with interactive simulation. In this paper we investigate the use of visualisation in simulation by examining the application of optimal control techniques to a stochastic forward looking analytic economic model. We also use interactive object oriented simulation software where objects, such as components of models or graphs of outputs, can be visually manipulated to form simulation systems. We find that the use of visualisation can make the investigation of policy analysis issues with such models more comprehensible.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 33
    Digitale Medien
    Digitale Medien
    Springer
    Computational economics 13 (1999), S. 93-101 
    ISSN: 1572-9974
    Schlagwort(e): efficiency ; multivariate probit ; quasi maximum likelihood ; simulation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Wirtschaftswissenschaften
    Notizen: Abstract This paper discusses the most efficient estimator among Quasi Maximum Likelihood Estimators using at most two levels of numerical integration, for the multivariate probit model. Simulations show that this estimator is more efficient but not more costly than the second-best alternative. However, its added efficiency depends on the correlation structure.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 34
    Digitale Medien
    Digitale Medien
    Springer
    Journal of computational neuroscience 3 (1996), S. 137-153 
    ISSN: 1573-6873
    Schlagwort(e): potassium ; compartmental ; learning ; plasticity ; simulation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Medizin , Physik
    Notizen: Abstract We developed a multicompartmental Hodgkin-Huxley model of the Hermissenda type-B photoreceptor and used it to address the relative contributions of reductions of two K+ currents, I a and I C, to changes in cellular excitability and synaptic strength that occur in these cells after associative learning. We found that reductions of gC, the peak conductance of I C, substantially increased the firing frequency of the type-B cell during the plateau phase of a simulated light response, whereas reductions of gA had only a modest contribution to the plateau frequency. This can be understood at least in part by the contributions of these currents to the light-induced (nonspiking) generator potential, the plateau of which was enhanced by gC reductions, but not by gA reductions. In contrast, however, reductions of gA broadened the type-B cell action potential, increased Ca2+ influx, and increased the size of the postsynaptic potential produced in a type-A cell, whereas similar reductions of gC had only negligible contributions to these measures. These results suggest that reductions of I A and I C play important but different roles in type-B cell plasticity.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 35
    Digitale Medien
    Digitale Medien
    Springer
    Computing 33 (1984), S. 247-257 
    ISSN: 1436-5057
    Schlagwort(e): Random variate generation ; simulation ; log concavity ; inequalities
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik
    Beschreibung / Inhaltsverzeichnis: Zusammenfassung Wir legen einen kurzen Algorithmus zur Erzeugung von Zufallsveränderlichen mit log-konkaver Dichtef aufR mit bekanntem Median-Wert vor. Die mittlere Anzahl der erforderlichen Operationen ist unabhängig vonf. Die log-konkaven Dichtefunktionen beschreiben u. a. die Normal-, Gamma-, Weibull-, Beta-, Potenzexponential- (alle mit Formparameter mindestens 1), Perks- und Extremwert-Verteilung.
    Notizen: Abstract We present a short algorithm for generating random variates with log-concave densityf onR and known mode in average number of operations independent off. Included in this class are the normal, gamma, Weibull, beta and exponential power (all with shape parameters at least 1), logistic, hyperbolic secant and extreme value distributions. The algorithm merely requires the presence of a uniform [0, 1] random number generator and a subprogram for computingf. It can be implemented in about 10 lines of FORTRAN code.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...