咨询与建议

限定检索结果

文献类型

  • 145 篇 会议
  • 74 篇 期刊文献
  • 9 册 图书

馆藏范围

  • 228 篇 电子文献
  • 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...
  • 8 篇 software enginee...
  • 7 篇 semantics
  • 7 篇 testing
  • 6 篇 software
  • 5 篇 programming
  • 5 篇 embedded systems
  • 5 篇 petri nets
  • 5 篇 analytical model...
  • 5 篇 artificial intel...
  • 4 篇 runtime
  • 4 篇 safety
  • 4 篇 application soft...
  • 4 篇 model checking
  • 4 篇 software archite...
  • 4 篇 optimization
  • 4 篇 monitoring
  • 4 篇 control systems
  • 4 篇 dipper throated ...
  • 4 篇 hardware

机构

  • 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 篇 michael philipps...
  • 4 篇 lity sascha
  • 4 篇 van glabbeek rob
  • 4 篇 kolesnikova s.i.
  • 4 篇 matthias hagner

语言

  • 224 篇 英文
  • 3 篇 其他
  • 1 篇 日文
检索条件"机构=Institute of Programming Systems"
228 条 记 录,以下是211-220 订阅
排序:
CONCURRENT LARGE-SIGNAL SIMULATION OF AN ACTIVE MICROSTRIP ANTENNA
收藏 引用
INTERNATIONAL JOURNAL OF NUMERICAL MODELLING-ELECTRONIC NETWORKS DEVICES AND FIELDS 1995年 第1期8卷 3-12页
作者: MCDOWALL, DS FUSCO, VF High Frequency Electronics Laboratory. Department of Electrical and Electronic Engineering The Queen's University of Belfast Ashby Building Stranmillis Road Belfast BT9 5AH U.K. D. Stewart McDowall was born in Dublin Republic of Ireland in 1967. He received the M. Eng. degree in Electrical and Electronic Engineering from the Queen's University of Belfast in 1990. In the same year he was presented with a Distinction Award from the Departmnet of Education of Northern Ireland and he is currently pursuing his Ph.D. in the Microwave Research Group at Q.U.B. His principal research area is the electromagnetic field mapping of microwave systems using concurrent programming. He is an Associate Member of the Institute of Electrical Engineers. Vincent F. Fusco was educated at the Queens's University of Belfast where he obtained the degree of Ph.D. in 1982. He has worked as a research engineer on short-range radar and radio telemetry systems. Currently he is a reader in Microwave Communications in the School of Electrical engineering and Computer Science the Queen's University of Belfast. His current research interests include non-linear microwave circuit simulatino and concurrent programming techniques for electromagnetic field problems with particular emphasis on EMC applications. He has published numerous research papers in these areas. He is the author of the bookMicrowave Circuits Analysis and Computer Aided Design Prentice-Hall 1987. Dr Fusco is a Chartered Electrical Engineer and a Member of the Institute of Electrical Engineers.
This paper details the use of a circuit-based EM modelling technique combined with a harmonic balance simulator used to model the radiation from the microstrip bodies comprising an active antenna circuit. The modellin... 详细信息
来源: 评论
Program recursive forms and programming automatization for functional languages
收藏 引用
WSEAS Transactions on Computers 2009年 第8期8卷 1256-1265页
作者: Archvadze, N. Pkhovelishvili, M. Shetsiruli, L. Nizharadze, M. Department of Computer Sciences Faculty of Exact and Natural Sciences I. Javakhishvili Tbilisi State University 2. University st. 0143 Tbilisi South Georgia and the South Sandwich Islands Department of Programming N. Muskhelishvili Computing Mathematic Institute 7 Akuri st. 0193 Tbilisi South Georgia and the South Sandwich Islands Department of Mathematics and Computer Science Shota Rustaveli State University 35 Ninoshvili st. 6010 Batumi South Georgia and the South Sandwich Islands Faculty of Informatics and Control Systems Georgian Technical University 77 Kostava st. 0175 Tbilisi South Georgia and the South Sandwich Islands
The automatic programming system has been considered by means of which it becomes easier to carry out traditional programming stages. There is discussed both recursive forms: parallel, interrecursion and recursion of ... 详细信息
来源: 评论
Novel symmetric numerical methods for solving symmetric mathematical problems
收藏 引用
International Journal of Circuits, systems and Signal Processing 2021年 15卷 1545-1557页
作者: Ibrahimov, V.R. Mehdiyeva, G.Y.U. Yue, Xiao-Guang Kaabar, Mohammed K.A. Noeiaghdam, Samad Juraev, Davron Aslonqulovich Institute of Control Systems named after Academician A.Huseynov BakuAZ1141 Azerbaijan Computational mathematics Baku State University BakuAZ1148 Azerbaijan Department of Computer Science and Engineering School of Sciences European University Cyprus Nicosia1516 Cyprus Institute of Mathematical Sciences Faculty of Science University of Malaya Kuala Lumpur50603 Malaysia Department of Mathematics and Statistics Washington State University PullmanWA99163 United States Industrial Mathematics Laboratory Baikal School of BRICS Irkutsk National Research Technical University Irkutsk664074 Russia Department of Applied Mathematics and Programming South Ural State University Lenin Prospect 76 Chelyabinsk454080 Russia Department of Natural Science Disciplines Higher Military Aviation School of the Republic of Uzbekistan Karshi City180100 Uzbekistan
—The mathematical model for many problems is arising in different industries of natural science, basically formulated using differential, integral and integro-differential equations. The investigation of these equati... 详细信息
来源: 评论
Interplay of Reward and Size of Groups in the Optional Public Goods Game
arXiv
收藏 引用
arXiv 2024年
作者: Stock, Eduardo V. Valverde, Pablo González-Avella, Juan Carlos Iglesias, José Roberto Gonçalves, Sebastián da Silva, Roberto Instituto de Física Universidade Federal do Rio Grande do Sul Caixa Postal 15051 RS Porto Alegre90501-970 Brazil Pontificia Universidad Católica del Ecuador Facultad de Ciencias Exactas y Naturales Quito170525 Ecuador Institute for Cross-Disciplinary Physics and Complex Systems UIB-CSIC Palma de Mallorca07122 Spain Advanced Programming Solutions SL Palma de Mallorca07120 Spain Instituto Nacional de Ciência e Tecnologia de Sistemas Complexos CBPF RJ Rio de Janeiro22290-180 Brazil
The Optional Public Goods Game is a three-strategy game in which an individual can play as a cooperator or defector or decide not to participate. Despite its simplicity, this model can effectively represent many human...
来源: 评论
The parameters impact on cutting forces and determination of regression function
收藏 引用
IOP Conference Series: Materials Science and Engineering 2016年 第1期161卷
作者: T D Popovici Department of Manufacturing Engineering The faculty of Engineering and Management of Technological Systems University Politehnica Bucharest 313 Splaiul Independentei Sector 6 Bucharest Romania Department of CN Programming and Technology Research Romanian Research & Development Institute for Gas Turbine 220 D Iuliu Maniu Bd. Sector 6 Bucharest Romania
The aim of this paper is to present results of certain experiments related to material workability characteristics, taking into consideration its high quality features and large usability for special manufacturing. It...
来源: 评论
CONCURRENT BOUNDARY-ELEMENT COMPUTATION
收藏 引用
INTERNATIONAL JOURNAL OF NUMERICAL MODELLING-ELECTRONIC NETWORKS DEVICES AND FIELDS 1993年 第2期6卷 83-98页
作者: MCDOWALL, DS LEE, TW FUSCO, VF Microwave Research Group Department of Electrical and Electronic Engineering The Queen's University of Belfast Ashby Building Stranmillis Road Belfast BT9 5AH Northern Ireland U.K. D. Stewart McDowall was born in Dublin epublic of Ireland in 1967. He received the M. Eng. degree in Electrical and Electronic Engineering from the Queen's University of Belfast in 1990. In the same year he was presented with a Distinction Award from the Department of Education of Northern Ireland and he is currently pursuing his Ph.D. in the Microwave Research Group at Q.U.B. His principal research area is the electromagnetic field mapping of microwave systems using concurrient programming. He is an Associate Member of the Institute of Electrical Engineers. Lee Thaim Wee was awarded the degree of B. Eng. in Electronics from the Queen's University of Belfast in July 1991. He is currently serving in the Malaysian Armed Forces. Vincent F. Fusco was educated at the Queen's Univeristy of Belfast where he obtained the degree of Ph.D. in 1982. He has worked as a research engineer on short-range radar and radio telementry systems. Currently he is a reader in Microwave Communications in the School of Electrical Engineering and Computer Science the Queen's Univeristy of Belfast. His current research interests include non-linear microwave circuit simulation and concurrent programming techniques for electromagnetic field problems with particular emphasis on EMC applications. He has published numerous research papers in these areas. He is the author of the bookMicrowave Circuits Analysis and Computer Aided Design Prentice-Hall 1987. Dr Fusco is a Chartered Electrical Engineer and a Member of the Institute of Electrical Engineers.
A major limitation of the boundary element method (BEM) for the solution of electrical potential problems is the long computational time required. However, a large portion of the calculations involved can be viewed as... 详细信息
来源: 评论
Centering Climate Science in Learning
收藏 引用
Connected Science Learning 2024年 第4期6卷
作者: Déana Scipio Priya Pugh Kali Natarajan Deb L. Morrison Bethany Kogut Karli Honebein Michelle Grove Jen Eklund a Director Graduate and Higher Education Programming Islandwood Bainbridge Island WA b Graduate and Higher Education Programming Senior Faculty for Practicum Islandwood Bainbridge Island WA c Climate Literacy Outreach Specialist Climate Institute Gonzaga University Spokane WA d Learning Scientist Institute of Science and Math Education College of Education University of Washington Seattle WA e Program Manager EarthGen Seattle WA f Climate Literacy Program Manager Climate Institute Gonzaga University Spokane WA g Elementary Science Coordinator Elementary Science Network NorthEast Washington Educational Service District 101 Spokane WA h Education Liaison & Project Manager Institute for Systems Biology Seattle WA
The Washington StateClimeTime Networkhas been designed to build capacity for climate science learning, as well as broader NGSS implementation. As a network, we acknowledge the diversity of scientific histories and pra... 详细信息
来源: 评论
CLEER - AN AI-SYSTEM DEVELOPED TO ASSIST EQUIPMENT ARRANGEMENTS ON WARSHIPS
收藏 引用
NAVAL ENGINEERS JOURNAL 1989年 第3期101卷 127-137页
作者: ZHOU, HH SILVERMAN, BG SIMKOL, J Dr. H. Harry Zhou:is a research professor at the Institute for Artificial Intelligence of The George Washington University. Dr. Zhou received his master's degree and Ph.D. in computer science from Vanderbilt University in 1984 and 1987 respectively. He did his dissertation in the fields of artificial intelligence analogical reasoning and machine learning. His research interests include: classifier systems genetic algorithms learning by analogy inductive learning adaptive expert systems automated knowledge acquisition and adaption. He is also interested in data base design programming languages mental modeling and software engineering. Dr. Barry G. Silverman:is director of the Institute for Artificial Intelligence and a professor at the Engineering Administration Department of The George Washington University. He is also president of IntelliTek Inc. an AI consulting firm. Dr. Silverman received the B.S.E. M.S.E. and Ph.D. degrees from the University of Pennsylvania. He has been a principal developer of four generic AI products as well as eight AI applications. Since 1979 he has written over 100 papers and reports on these AI efforts. Joel Simkol:is a research scientist currently engaged in designing expert system architectures to support electronic warfare vulnerability analyses threat assessments shipboard topside antenna arrangements and C3countermeasures employment. Mr. Simkol's work in applying expert systems technology to electromagnetic interference and to spectrum management has generated increased interest and participation from all branches of government agencies.
This paper describes a modularized AI system being built to help improve electromagnetic compatibility (EMC) among shipboard topside equipment and their associated systems. CLEER is intended to act as an easy to use i... 详细信息
来源: 评论
INNOVATIONS IN COMPUTER-AIDED-DESIGN OF MARINE TURBINES USING INTERACTIVE GRAPHICS
收藏 引用
NAVAL ENGINEERS JOURNAL 1980年 第2期92卷 207-217页
作者: GINGRICH, JK WINTER, RL Mr. John K. Gingrich joined the General Electric Company after his graduation from Lafayette College in 1948. His early assignments were with the General Engineering Laboratory and the Knolls Atomic Power Laboratory in Schenectady. N. Y. He joined the Marine Turbine and Gear Department in 1968 as Manager Engineering Administration. and assumed his present assignment as Manager Engineering Resource Planning & Administration in 1976. Mr. Gingrich was instrumental in procuring the Interactive Graphics System for the Medium Steam Department. having headed up the Study Team and is now responsible for the Interactive Graphics Systems management including new procurements. He is a member of the American Institute of Design Drafting and is currently the Chairman of the Computer-Aided Drafting Committee in that organization. Mr. Reinhold L. Winter is a graduate of the General Electric Apprentice Program and Salem State College from which he received his B.S. degree in Business Administration. He has nineteen years experience with the General Electric Company including eight years in Business Systems and Programming two years in Computer Operations Management and six years in his present position as Manager Engineering Business Systems. He was a member of the original Study Team that investigated and selected the present Applicon Interactive Graphics (IAG) equipment and currently is responsible for the management of software and hardware support for the ZAG Facility.
This paper discusses the Interactive Graphics System used by the General Electric Company, Medium Steam Turbine Department (Engineering & Manufacturing) for designing, drafting, and manufacturing applications. A b...
来源: 评论
Automated Analog programming In Hybrid systems: A Method of Making the Analog Computer Accessible to All Engineers
收藏 引用
Naval Engineers Journal 1966年 第5期78卷 895-899页
作者: HANNA, ENSIGN JOHN H. MILLAN, ENSIGN HAROLD E. The Authors are 1966 graduates of the United States Coast Guard Academy. For the past year they have been engaged in the Academy Scholars Program which allows selected First Class Cadets at the Academy to devote the greater percentage of their academic hours to advanced study. Their investigation was entitled “Project AMTRAP” Automated Methods for Translating and Patching in Hybrid Systems. It concerned itself with the development of automatic methods for programming analog computers and the design and construction of a simple hybrid system for test purposes. Their work in the project forms the basis for this paper. They are currently assigned as student engineers on Coast Guard Cutters Ensign Hanna on the CASTLE ROCK in Boston Massachusetts and Ensign Millan on the MENDOTA based in Wilmington North Carolina. Both are members of the Institute of Electrical and Electronics Engineers.
来源: 评论