检索结果-内蒙古大学图书馆

2nd International Workshop on Cellular Neural Networks and their Applications, CNNA 1992

作者： Eröss, Gy. Boros, T. Kiss, Á. Radványi, A. Roska, T. Bitó, J. Vass, J. Tungsram TH Co. Ltd Centre of Robotics and Automation Václ ut 77 BudapestH-1340 Hungary Dual and Neural Computing Systems Laboratory Computer and Automation Institute of the Hungarian Academy of Sciences P.O.B.63 BudapestH-1502 Hungary Dep. of Information Technology Faculty of Engineering University Veszprém Egyetem u. 10 VeszprémH-8201 Hungary

ISBN: (纸本)0780308751

computer Integrated Manufacturing (CIM) Systems having determining role in the modern industry. These systems contain essentially two different equipments for transporting materials between workstations: - conveyors can be used if the path of transportation is fixed and known in advance, or - if the path of the transportation may change or there are various tasks to be solved along the path, the use of Automatic Guided Vehicles (AGV) is strongly recommended. The path control of an AGV in CIM systems is generally solved either by following an inductive wire or by determining its position and orientation from signals provided by transmitters mounted at some characteristic points of the workshop. Both of these basic methods have their advantages and drawbacks. © 1992 IEEE.

关键词： Automatic guided vehicles

来源：评论

学校读者我要写书评

暂无评论

Abstracts of papers and posters safe handling of medicines

引用

Pharmacy World and science 1993年第7期15卷 G3-G22页

作者： Meyer, H. -J. Tromp, Th(Dick) F. J. van der Kleijn, E. Fields, Suzanne M. Moors, J. P. P. Enlund, H. Luscombe, D. K. Remond, J -Ph Martv, S. Dhillon, S. Taylor, D. Kostrzewski, A. Bluml, B. M. Enlow, M. L. Metzler, S. E. de Vries, Philip A. Duty, C. J. Lee, H. Y. Ábrahám, Tibor Cardoni, A. A. Sýkora, J. Szücsová, S. Reymond, J. -Ph Marty, S Engová, D. Sheridan, J. Vlček, J. Webb, D. G. Bates, I. P. Tabachnik, A. Cass, Y. Jacobs, J. Vexler, A. Gorodetsky, R. Whittlesea, C. M. C. Walker, R. Khan, F. Houghton, J. Phillips, I. Szymura-Oleksiak, J. Wasieczko, A. Wyska, E. Ayani, I. Errecalde, M. F. Rodriauez-Sasiain, J. M. Aouirre, C. Bellés, Medall M. D. Casabó, Alos V. G. Hervás, Botella M. A. Cabrera, Pérez A. Jiménez, Torres N. V. Casterá, Melchor D. E. Abad, Gimeno F. J. Clark, J. E. Gomez, E. C. Cruz, A. C. Wilbur, R. L. Alfonso, I. Grout, C. H. Goldstein, R. Rivers, P. Stutz, K. Mühlcbach, S. Udeani, George Zervopoulous, Irene Patel, Krishna Mullane, Michael Radziwill, R. Dudek, J. Herbst, U. Bency, J. Muff, P. Marty, S. Rcymond, J. -Ph Aumente, M. D. Panadero, M. D. Latre, J. M. Torres, M. Villegas, M. J. Alvarez, J. van Dijk, E. A. Logman, E. M. Ploeger, B. van der Schors, T. G. Steensma, D. J. Langlois-Karaga, A. Davignon, A. Bues-Charbit, M. Somme, V. Albanese, J. Durbec, O. Martin, C. Morati, N. Balansard, G. Pereira, M. E. Araújo Nogueira, A. Silva, J. C. Mega, I. Costa, A. Gomes Morais, J. A. Prata, M. M. Cajaraville, G. Tamés, M. J. García, B. Batel, Marqucs F. J. Capela, H. S. Pomingues, P. Feio, J. A. Siha, C. Wolter, K. Fritschka, E. Schneesann, H. Stuurman, A. Gudjonsdottir, A. Angelo, H. R. Rasmuassen, M. Rasmussen, S. N. Carrera, J. Idoate, A. Modrego, A. Tejedor, I. Giráldez, J. Mangues, M. A. Farré, R. Demestre, X. Ginovart, G. Orozco, J. Julio, G. Moral, M. A. Busin, C. Bardin, C. Seroux, C. Sauvageon-Martre, H. Sraer, J. -D. Chast, F. Real, J. V. Climente, M. Font, I. Pérez, C. Ordovás, J. P. Hermenegildo, M. Catalán, J. L. Juan, J. Jiménez, N. V. Amiot, F. Clavel, S. Sarrut, B. Doreau, C. Hip Zentralapotheke Stādt. Klinikum Karlsruhe Germany University Centre for Pharmacy University of Groningen AW Groningen The Netherlands CC Amsterdam Investigational Drug Section Cancer Therapy & Research Center and the Department of Pharmacology The University of Texas Health Science Center at San Antonio San Antonio USA Pharmachemic B.V. RN Haarlem The Netherlands Department of Social Pharmacy University of Kuopio Kuopio Finland Medicines Research Unit. Welsh School of Pharmacy University of Wales Cardiff UK Division of Clinical Pharmacy University of Wales Cardiff UK Medicines Research Unit Welsh School of Pharmacy University of Wales Cardiff UK Mid Glamorgan Family Health Services Authority Cardiff UK Div de Pharmacie Inslirut Central des Hôpitaux Valaisans Sion Switzerland Centre for Pharmacy Practice University of London London England Basildon and Thurrock General Hospitals Trust and Centre for Pharmacy Practice The School of Pharmacy University of London London England The School of Pharmacy University of London London England Department of Pharmacy Services Saint Joseph Health Center Kansas City USA Center of Pharmacy University Hospital Utrecht GA Utrecht The Netherlands Departments of Pharmacy The School of Pharmacy University of London London England Respiratory Medicine The School of Pharmacy University of London London England Hospital Pharmacy Ba jcsy-Zsilinszky District Hospital Budapest Hungary Section of Pharmacy Practice School of Pharmacy University of Connecticut Storrs USA Dept. of Pharmacy Postgraduate Medical and Pharmaceutical School Bratislava Slovak republic Faculty of Pharmacy Charles University Hradec Králové Czech Republic The Centre for Pharmacy Practice The School of Pharmacy University of London London UK Faculty of Pharmacy Charles University Czech Republic The Centre for Pharmacy Practicc Research The School of Pharmacy London University London England Pharmacy Division and Oncology Dept. Hadassah Universi

来源：评论

学校读者我要写书评

暂无评论

ACTION SYSTEMS AND ACTION REFINEMENT IN THE DEVELOPMENT OF PARALLEL SYSTEMS - AN ALGEBRAIC APPROACH 2nd

引用

2ND INTERNATIONAL CONF ON CONCURRENCY THEORY ( CONCUR 91 )

作者： JANSSEN, W POEL, M ZWIERS, J University of Twente Dep. of Computer Science P.O. Box 217 Enschede 7500 AE Netherlands

ISBN: (纸本)3540544305

A new notion of refinement and several other new operators are proposed that allow for a compositional algebraic characterization of action systems and serializability in distributed database systems. A simple design language is introduced and is provided with a semantics essentially based on partial order models. Various algebraic transformation rules are introduced. They are applied in the design process of a simple system, starting from a specification of functional behaviour via the intermediate step in the form of a “true concurrency” based initial design to an actual implementation on a two processor architecture. © Springer-Verlag Berlin Heidelberg 1991.

关键词： Distributed database systems

来源：评论

学校读者我要写书评

暂无评论

PROTOCOL DESIGN BY LAYERED DECOMPOSITION - A COMPOSITIONAL APPROACH 2nd

PROTOCOL DESIGN BY LAYERED DECOMPOSITION - A COMPOSITIONAL A...

引用

2ND INTERNATIONAL SYMP ON FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS

作者： JANSSEN, W ZWIERS, J University of Twente Dep. of Computer Science P.O. Box 217 Enschede 7500 AE Netherlands

ISBN: (纸本)3540550925

A version of the two phase commit protocol is formally derived from its specification. The design starts with an initial design phase that properly reflects the logical structure of the protocol as a sequence of layers. Thereafter algebraic transformations are applied, resulting in an implementation that matches the physical structure of the network. Substantial use is made of an algebraic formulation of the communication closed layers design principle. © 1991, Springer Verlag. All rights reserved.

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

On nets, algebras and modularity 1st

On nets, algebras and modularity

引用

1st International Conference on Theoretical Aspects of computer Software, TACS 1991

作者： Rabinovich, Alexander Trakhtenbrot, Boris A. IBM Research Division T.J. Watson Research Center P.O. Box 218 Yorktown HeightsNY10598 United States MIT Lab. for Computer Science United States Dep. of Computer Science Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University Tel Aviv69978 Israel

ISBN: (纸本)9783540544159

We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major goat is to achieve a better understanding of the links between modularity issues for nets and laws (or anomalies) in algebras of processes and algebras of relations. To this end we develop Mazurkiewicz’s compositional approach which requires a careful analysis of homomorphisms from algebras of nets into algebras of processes and relations. © Springer-Verlag Berlin Heidelberg 1991.

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

BACKWARD CHAINING EVALUATION IN STRATIFIED DISJUNCTIVE THEORIES 90

BACKWARD CHAINING EVALUATION IN STRATIFIED DISJUNCTIVE THEOR...

引用

9TH SYMP ON PRINCIPLES OF DATABASE SYSTEMS

作者： ROYER, V ONERA-CERT Computer Science Dep. 2 av. E. Belin BP4025 31055 Toulouse France

ISBN: (纸本)0897913523

It is proved that the fixpoint approach to deductive data bases extends naturally to the disjunctive and stratified disjunctive data bases. A method is formalized to evaluate atomic queries in both cases which is based on a backward chaining computation of some minimal clauses containing the query. Author thinks that the interest of this work lies as much in the nature of the extension as in the results obtained. Going from the definite world to the disjunctive one it is shown that the fundamental difference lies in the need for a calculus of clauses rather than a calculus of atoms. The foundations are given of backward chaining for a calculus of clauses.

关键词： backward chaining

来源：评论

学校读者我要写书评

暂无评论

Simple and efficient election algorithms for anonymous networks 3rd

引用

3rd International Workshop on Distributed Algorithms, WDAG 1989

作者： Matias, Yossi Afek, Yehuda Computer Science Dep. Tel-Aviv University Israel AT&T Bell Labs & Computer Science Dep. Tel-Aviv University Israel

来源：评论

学校读者我要写书评

暂无评论

Self-stabilization of the alternating-bit protocol 16

Self-stabilization of the alternating-bit protocol

引用

16th Conference of Electrical and Electronics Engineers in Israel, EEIS 1989

作者： Afek, Yehuda Brown, Geoffrey M. AT and T Bell Laboratories Computer Science Dep. Raymond and Beverly Sadder Faculty of Exact Sciences Tel-Aviv University Israel School of Electrical Engineering Cornell University United States

It was recently shown that no data link protocol with finite sequence-numbers and deterministic finite state transmitter and receiver can tolerate transmitter and/or receiver crashes and recoveries, unless they have a non-volatile memory. Furthermore, it was proved that no self-stabilizing data link protocol in such a model exists. In this note we relax these assumptions and present two simple self-stabilizing data link protocols that use three sequence-numbers, and do not resort to nonvolatile memory. The first is a randomized protocol (i.e., relaxing the deterministic transmitter and/or receiver assumption), and the second is a deterministic protocol that requires the transmitter to generate an infinite, aperiodic sequence of sequence-numbers (i.e., relaxing the finite-state assumptions). © 1990 IEEE.

关键词： Transmitters

来源：评论

学校读者我要写书评

暂无评论

Neural principles of associative learning

Neural principles of associative learning

引用

Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society

作者： Sakakibara, Manabu Usui, Shiro Ikeno, Hidetoshi Alkon, Daniel L. Toyohashi Univ of Technology Dep of Information & Computer Science Toyohasi Jpn

In order to understand the cellular learning mechanisms in the nudibranch mollusk Hermissenda crassicornis, a model of the type B photoreceptor cell including the dynamical aspects of the voltage-clamp recording system was formulated in the Hodgkin-Huxley-type equations in terms of each relevant ionic current: IA IC and INa. Measurements of these currents from conditioned animals revealed that only IA and IC were substantially reduced across the soma of type B cell. The current model was effective in producing a quantitative estimation of the actual ionic currents. A computer simulation revealed that IA was so sensitive to the parameters in the recording system that the divergence in the experimental data increased. This was further confirmed by using the triangular waveform as a command signal (+60 mV in amplitude from a holding potential of -60 mV).

关键词： Biomedical Engineering

来源：评论

学校读者我要写书评

暂无评论

Spatio-temporal model of the retinal horizontal cell layer

Spatio-temporal model of the retinal horizontal cell layer

引用

Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society

作者： Usui, Shiro Ikeno, Hidetoshi Kamiyama, Yoshimi Sakakibara, Manabu Toyohashi Univ of Technology Dep of Information & Computer Science Toyohashi Jpn

A model of the luminosity-type (L-type) horizontal cell layer in the retina was constructed in terms of the soma, axon terminal, and gap junction to understand the spatiotemporal properties. The soma and axon terminal were expressed by the Hodgkin-Huxley-type equations based on the relevant ionic currents. The L-type horizontal cell layer was simulated by connecting each L-type horizontal cell model with a linear gap junction. While the model response explained the experimental data well, the dynamics features were not fully realized without a feedback path from the horizontal cells to the photoreceptors.

关键词： Vision

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：