咨询与建议

限定检索结果

文献类型

  • 145 篇 会议
  • 74 篇 期刊文献

馆藏范围

  • 219 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 140 篇 工学
    • 100 篇 计算机科学与技术...
    • 88 篇 软件工程
    • 17 篇 控制科学与工程
    • 10 篇 信息与通信工程
    • 9 篇 土木工程
    • 9 篇 船舶与海洋工程
    • 8 篇 电气工程
    • 7 篇 机械工程
    • 5 篇 建筑学
    • 5 篇 生物医学工程(可授...
    • 5 篇 生物工程
    • 4 篇 力学(可授工学、理...
    • 4 篇 航空宇航科学与技...
    • 4 篇 环境科学与工程(可...
    • 4 篇 安全科学与工程
    • 3 篇 材料科学与工程(可...
  • 78 篇 理学
    • 48 篇 数学
    • 16 篇 系统科学
    • 12 篇 物理学
    • 12 篇 统计学(可授理学、...
    • 7 篇 海洋科学
    • 6 篇 生物学
  • 30 篇 管理学
    • 22 篇 管理科学与工程(可...
    • 10 篇 图书情报与档案管...
    • 8 篇 工商管理
  • 7 篇 医学
    • 6 篇 临床医学
    • 5 篇 基础医学(可授医学...
  • 5 篇 教育学
    • 4 篇 教育学
  • 4 篇 经济学
    • 4 篇 应用经济学
  • 4 篇 法学
    • 4 篇 社会学
  • 2 篇 农学
  • 1 篇 军事学

主题

  • 10 篇 unified modeling...
  • 7 篇 semantics
  • 7 篇 testing
  • 6 篇 software
  • 5 篇 programming
  • 5 篇 embedded systems
  • 5 篇 petri nets
  • 5 篇 analytical model...
  • 4 篇 runtime
  • 4 篇 safety
  • 4 篇 application soft...
  • 4 篇 model checking
  • 4 篇 software archite...
  • 4 篇 monitoring
  • 4 篇 control systems
  • 4 篇 dipper throated ...
  • 4 篇 hardware
  • 3 篇 computer science
  • 3 篇 software systems
  • 3 篇 programming prof...

机构

  • 15 篇 institute for pr...
  • 11 篇 department of sy...
  • 6 篇 department of co...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 tu braunschweig ...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 institute for so...
  • 5 篇 institute for pr...
  • 5 篇 institute of sof...
  • 4 篇 school of electr...
  • 4 篇 department of el...
  • 4 篇 department of co...
  • 4 篇 institute for pr...
  • 4 篇 department of co...
  • 4 篇 computer enginee...
  • 3 篇 institute for so...

作者

  • 13 篇 goltz ursula
  • 13 篇 lochau malte
  • 8 篇 mostafa abotaleb
  • 8 篇 abdelhameed ibra...
  • 7 篇 tichy matthias
  • 6 篇 bauer bernhard
  • 6 篇 schaefer ina
  • 6 篇 christopher muts...
  • 5 篇 el-sayed m.el-ke...
  • 5 篇 abdelaziz a.abde...
  • 5 篇 leucker martin
  • 5 篇 ursula goltz
  • 5 篇 doaa sami khafag...
  • 5 篇 malte lochau
  • 4 篇 mennicke stephan
  • 4 篇 lity sascha
  • 4 篇 van glabbeek rob
  • 4 篇 kolesnikova s.i.
  • 4 篇 matthias hagner
  • 4 篇 michaela huhn

语言

  • 215 篇 英文
  • 3 篇 其他
  • 1 篇 日文
检索条件"机构=Institute of Programming Systems"
219 条 记 录,以下是191-200 订阅
排序:
Implementation lessons of performance prediction tool for parallel conservative simulation  6
收藏 引用
6th International European Conference on Parallel Computing, Euro-Par 2000
作者: Lim, Chu-Cheow Low, Yoke-Hean Gan, Boon-Ping Cai, Wentong Intel Corporation SC12-305 2000 Mission College Blvd Santa ClaraCA95052-8119 United States Programming Research Group Oxford University Computing Laboratory University of Oxford OxfordOX1 3QD United Kingdom Gintic Institute of Manufacturing Technology 71 Nanyang Drive Singapore638075 Singapore Center for Advanced Information Systems School of Applied Science Nanyang Technological University Singapore639798 Singapore
Performance prediction is useful in helping parallel programmers answer questions such as speedup scalability. Performance prediction for parallel simulation requires first working out the performance analyzer algorit... 详细信息
来源: 评论
Emotions simulation in methodology of autonomous adaptive control
Emotions simulation in methodology of autonomous adaptive co...
收藏 引用
IEEE International Symposium on Intelligent Control (ISIC)
作者: A.A. Zhdanov A.N. Yinokurov Simulation Systems Department Institute for System Programming Russian Academy of Science Moscow Russia
We offer a standpoint that emotions are a necessary mechanism for autonomous control systems. By an autonomous controlled object we understand an object, that is controlled by a control system which is its on-board su... 详细信息
来源: 评论
Place bisimulation equivalences for design of concurrent and sequential systems
Place bisimulation equivalences for design of concurrent and...
收藏 引用
MFCS '98 Workshop on Concurrency
作者: Tarasyuk, Igor V. Theoretical Programming Laboratory A.P. Ershov Institute of Informatics Systems 6 Acad. Lavrentiev ave. Novosibirsk 630090 Russia
In this paper, we supplement the set of basic and back-forth behavioural equivalences for Petri nets considered in [11] by place bisimulation ones. The relationships of all the equivalence notions are examined, and th... 详细信息
来源: 评论
About an autonomous adaptive control methodology
About an autonomous adaptive control methodology
收藏 引用
IEEE International Symposium on Intelligent Control (ISIC)
作者: A.A. Zhdanov Simulation Systems Department Institute for System Programming Russian Academy of Science Moscow Russia
We present the basis of the original autonomous adaptive control (AAC) methodology. It is an approach to the design of intelligent systems that simulate structure and functions of the nervous system and brain. The AAC... 详细信息
来源: 评论
Place Bisimulation Equivalences for Design of Concurrent and Sequential systems
收藏 引用
Electronic Notes in Theoretical Computer Science 1998年 18卷 191-206页
作者: Igor V. Tarasyuk Theoretical Programming Laboratory A.P. Ershov Institute of Informatics Systems 6 Acad. Lavrentiev ave. Novosibirsk 630090 Russia
In this paper, we supplement the set of basic and back-forth behavioural equivalences for Petri nets considered in [11] by place bisimulation ones. The relationships of all the equivalence notions are examined, and th...
来源: 评论
A practical approach to object modeling for large, complex applications
A practical approach to object modeling for large, complex a...
收藏 引用
IEEE National Conference on Aerospace and Electronics (NAECON)
作者: J. Porter B. Deer M.E. Howard C. Ferguson R. McCarty Advanced Programming Institute Inc. OH USA NCI Information Systems Inc. OH USA USAF AFMC MSG OH USA Computer Science Corporation OH USA
Object-oriented (OO) software development techniques have gained in popularity as an attractive alternative to the traditional, structured development approach. Fundamental to the OO approach is the object, which bund... 详细信息
来源: 评论
Acoustic wave sensor for real-time monitoring of volatile organic compounds
收藏 引用
NAVAL ENGINEERS JOURNAL 1997年 第1期109卷 27-30页
作者: Modell, DJ Donald J. Modell:is a project manager and senior technical consultant with Smith Environmental Technologies Corporation (BCM Engineers Inc.). Mr. Modell has extensive experience in process control systems (PLCs PCs distributed control systems and SCADA systems) and sensors used in the environmental and remedial engineering processes and operations. Mr. Modell has further experience with software and hardware configuration programming implementation and total quality management techniques. He has received master's degrees in environmental engineering and chemical engineering from The Johns Hopkins University and Case Western Reserve University. Mr. Modell also has an M.B.A. in finance from Case Western Reserve University. He is active in The American Industrial Hygiene Association the American Institute of Chemical Engineers the International Society of Measurement and Control the Sociely of American Military Engineers and is an officer in the National and Maryland Society of Professional Engineers. He serves as a director and advisor to the legdative board fm the Maryland Engineering Society Joint Council.
On-line real-time monitoring of marine and operational exhaust stacks and process streams can play a critical role in providing safe, environmentally sound operation of marine and industrial processes using volatile o... 详细信息
来源: 评论
Machine intelligibility and the duality principle
British Telecom technology journal
收藏 引用
British Telecom technology journal 1996年 第4期14卷 15-23页
作者: Muggleton, S. Michie, D. Wolfson College Oxford United Kingdom University of Tokyo Turing Institute Glasgow United Kingdom Intelligent Systems Research Group BT Laboratories Inductive Logic Programming Oxford University Press Logic Programming ILP Oxford Univ. Computing Laboratory University of Edinburgh Royal Society of Edinburgh British Computer Society
Lack of machine intelligibility in human/computer interactions can be traced to present approaches in software design. From the duality principle, software involved in human/computer software interaction contains two ... 详细信息
来源: 评论
probabilistic and deterministic local search for solving the binary multiknapsack problem*
收藏 引用
Optimization 1995年 第2期33卷 155-166页
作者: Bertocchi, M. Butti, A. Slominski, L. Sobczynska, J. Department of Mathematics Statistics and Computer Science University of Bergamo Bergamo Piazza Rosate 2 Italy Mathematical Programming Department Systems Research Institute Polish Academy of Sciences Warsaw Newelska str 6 Poland
Results of extensive computational experiments aimed at comparing performance quality (accuracy of an approximate solution and the running time) of the Threshold Accept (TA) approach versus the Simulated Annealing (SA... 详细信息
来源: 评论
Development and application of MCAL tools for marine radar instruction
收藏 引用
Computer Applications in Engineering Education 1995年 第4期3卷 259-259页
作者: Guirguis, S. Korany, E. Abdel-Bary, A. Institute of Graduate Studies and Research Alexandria University Alexandria Egypt Shawkat K. Guirguis:obtained the BSc and M.Sc. degrees in Computer Science and Automatic Control Faculty of Engineering Alexandria University in 1981 and 1984 respectively. In 1988 he obtained a PhD degree in Electronics and Communications Faculty of Engineering Cairo University co-supervised by the Imperial College of Science and Technology University of London where he spent two years as an academic visitor. His current research interests include software quality management multimedia automatic programming and decision support systems. He is currently a lecturer of Computer Science at the Institute of Graduate Studies & Research Alexandria University. Ezzat A. Korany:received the BS degree in Electrical Engineering (Electronics Section) from the University of Alexandria Egypt in 1971 the MS degree in Electrical Engineering (Computer Section) from Ain Shams University Cairo Egypt in 1977 and the PhD degree in Electrical Engineering (Digital Systems) from Florida Institute of Technology U.S.A. in 1982. He is currently an associate professor of Computer Science at the Institute of Graduate Studies & Research University of Alexandria. His research interests are in data communications and multimedia applications computer networks image processing and pattern recognition. Abdel-Latif A. Abdel-Bary:obtained the BEng degree in Electronics Technology from Arab Maritime Transport Academy in 1986. In 1995 he obtained the MSc degree in Information Technology from the Institute of Graduate Studies & Research Alexandria University. His current research interests include ICAL hypermedia and automatic programming.
In this article a multimedia computer-assisted learning (MCAL) system is presented. The major objective of this work was to investigate the potential of using such systems as tools for transferring instructional cours...
来源: 评论