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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

3,378 篇 会议
50 篇 期刊文献
15 册 图书

馆藏范围

3,443 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,550 篇 工学
- 1,209 篇 机械工程
- 804 篇 计算机科学与技术...
- 614 篇 软件工程
- 605 篇 控制科学与工程
- 436 篇 力学（可授工学、理...
- 377 篇 电气工程
- 335 篇 材料科学与工程（可...
- 316 篇 土木工程
- 303 篇 动力工程及工程热...
- 205 篇 电子科学与技术（可...
- 203 篇 生物医学工程（可授...
- 168 篇 化学工程与技术
- 162 篇 信息与通信工程
- 154 篇 建筑学
- 149 篇 石油与天然气工程
- 123 篇 航空宇航科学与技...
- 104 篇 安全科学与工程
- 92 篇 仪器科学与技术
- 91 篇 交通运输工程
- 80 篇 冶金工程
1,123 篇 理学
- 596 篇 数学
- 518 篇 物理学
- 155 篇 系统科学
- 147 篇 化学
- 114 篇 统计学（可授理学、...
- 73 篇 地球物理学
510 篇 管理学
- 462 篇 管理科学与工程(可...
- 164 篇 工商管理
- 69 篇 图书情报与档案管...
73 篇 教育学
- 72 篇 教育学
60 篇 经济学
49 篇 医学
30 篇 法学
13 篇 农学
10 篇 军事学
4 篇 艺术学
1 篇 文学

主题

165 篇 design
157 篇 algorithm design...
86 篇 simulation
85 篇 optimization
70 篇 stability analys...
70 篇 finite element a...
63 篇 control systems
59 篇 temperature
56 篇 systems analysis
53 篇 stress
52 篇 real-time system...
50 篇 modeling
47 篇 analytical model...
45 篇 flow (dynamics)
42 篇 safety
42 篇 systems engineer...
41 篇 product design
41 篇 finite element m...
41 篇 testing
39 篇 manufacturing

机构

8 篇 department of sy...
6 篇 college of techn...
6 篇 department of me...
6 篇 wuhan donghu uni...
5 篇 middle east tech...
5 篇 school of mechat...
5 篇 amir kabir univ ...
5 篇 department of el...
5 篇 istanbul tech un...
5 篇 amirkabir univ o...
5 篇 sharif univ of t...
4 篇 mechanical engin...
4 篇 college of engin...
4 篇 beijing institut...
4 篇 sharif univ tech...
4 篇 school of engine...
4 篇 school of electr...
4 篇 department of me...
4 篇 iowa state univ ...
4 篇 ieee

作者

8 篇 yousefi-koma agh...
7 篇 eslami m.r.
7 篇 yang liu
6 篇 aradag selin
6 篇 cinquemani simon...
6 篇 gunes hasan
5 篇 resta ferruccio
5 篇 borboni alberto
5 篇 basdogan ipek
5 篇 jou rong-yuan
5 篇 shuo wang
5 篇 giberti hermes
4 篇 wani m. f.
4 篇 meghdari ali
4 篇 verda vittorio
4 篇 imani misagh
4 篇 strano salvatore
4 篇 jian chen
4 篇 saha ujjwal k.
4 篇 mischke c.r.

语言

3,334 篇 英文
103 篇 其他
11 篇 中文
1 篇 西班牙文

检索条件"任意字段=8th Biennial ASME Conference on Engineering Systems Design and Analysis"

共 3443 条记录，以下是3421-3430 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

INTELLIGENT SUPPORT FOR thE engineering OF SOFTWARE.

INTELLIGENT SUPPORT FOR THE ENGINEERING OF SOFTWARE.

引用

Proceedings - 8th International conference on Software engineering.

作者： Sussman, Gerald Jay MIT Dep of Electrical Engineering & Computer Science Cambridge MA USA MIT Dep of Electrical Engineering & Computer Science Cambridge MA USA

ISBN: (纸本)0818606207

Software engineering needs appropriate tools to support each of the phases of the engineering process. there must be tools to aid with specification and modelling, with synthesis and analysis, with rapid-prototyping and debugging, with documentation, verification, and testing, and with maintenance of finished products. In addition there must be environmental tools to support the engineering process in the large. Artificial intelligence research often uses programs as theoretical constructs, akin to equations and schematic diagrams, but with the added feature that programs that embody parts of a theory of the design of programs can be used as tools in the process of theory construction (or software development). Most AI experiments are formulated in Lisp. Lisp has developed into a uniquely powerful and flexible family of software development tools, providing wrap-around support for the rapid-prototyping of software systems.

关键词： COMPUTER SOFTWARE

来源：评论

学校读者我要写书评

暂无评论

RELATIONSHIP AMONG WORKERS' DESIRES AND design FACTORS OF PRODUCTION systems WHICH HARMONIZE WORKERS' DESIRES WIth WORKSHOP PRODUCTIVITIES.

RELATIONSHIP AMONG WORKERS' DESIRES AND DESIGN FACTORS OF PR...

引用

Toward the Factory of the Future, Proceedings of the 8th International conference on Production Research and 5th Working conference of the Fraunhofer-Institute for Industrial engineering (FHG-IAO).

作者： Fujita, Akira Miyazaki, Haruo Muramatsu, Rintaro Yada, Hiroshi Metropolitan Coll of Technology Tokyo Jpn Metropolitan Coll of Technology Tokyo Jpn

ISBN: (纸本)354015762X

We investigated the relationship among workers' desires and design of production systems for designing production systems which harmonize workers' desires with company's need. About 1,500 workers in the Japanese representative manufacturing companies are asked some questions about desires or working life in their working place. Using their response data and analyzing these data by means of principal components and principal clusteres, workers are mostly classified into two groups in every workers' desire pattern. these two groups mutually have quite different and interresting characters from the viewpoint of workers' motivation. More detailed analysis on each group has been developed to abstract some key factors affecting the workers' motivation from various working environment.

关键词： Industrial plants

来源：评论

学校读者我要写书评

暂无评论

APPLICATION OF MULTIDIMENSIONAL SCALING FOR RECOGNISING SIMILARITIES AND PRODUCTION PLANNING.

APPLICATION OF MULTIDIMENSIONAL SCALING FOR RECOGNISING SIMI...

引用

Toward the Factory of the Future, Proceedings of the 8th International conference on Production Research and 5th Working conference of the Fraunhofer-Institute for Industrial engineering (FHG-IAO).

作者： Auch, Manfred Fraunhofer-Inst fuer Arbeitswirtschaft und Organisation Stuttgart West Ger Fraunhofer-Inst fuer Arbeitswirtschaft und Organisation Stuttgart West Ger

ISBN: (纸本)354015762X

Multidimensional scaling is a method for representing objects as points in a space. the similarity between 2 objects is represented by the distance between these 2 points. thus the similarities within a set of objects can be recognized. One further advantage of multidimensional scaling is that ordinal scale level is sufficient for collecting data. the rank order is sufficient and this simplifies data collecting considerably. thus multidimensional scaling proves itself to be widely superior to cluster analysis which has been used up to now for classifying and recognizing similarities. this is proved by practical examples where multidimensional scaling was used for recognizing families of parts in order to design cellular manufacturing systems, for creating groups of products when designing assembly areas, for grouping working places according to tasks and stress criteria when working out design recommendations.

关键词： Production engineering

来源：评论

学校读者我要写书评

暂无评论

INDIVIDUALITY FUNCTION BASED FUZZY MULTI-CRITERIA CHOICE IN thE design OF MULTI-ROBOT INSTALLATIONS.

INDIVIDUALITY FUNCTION BASED FUZZY MULTI-CRITERIA CHOICE IN ...

引用

Toward the Factory of the Future, Proceedings of the 8th International conference on Production Research and 5th Working conference of the Fraunhofer-Institute for Industrial engineering (FHG-IAO).

作者： Borisov, A. Naglis, L. Riga Polytechnical Inst Riga USSR Riga Polytechnical Inst Riga USSR

ISBN: (纸本)354015762X

A solution to the problem of multi-criteria choice of small number of constructively different alternatives taking into account the degree of satisfaction associated with the fuzzy or crisp valued alternatives in the case of partially interdependent criteria of unequal importance is obtained. An interactive 2D graphic decision support plus expert system EPOPEE aimed to assist the computer-aided design process of industrial robot installations, is presented. It differs from the analogous systems in a more sophisticated solution of evaluation and choice problems as well as taking into account the peculiarities of technological complexes with mini-robots. the nonstandard inference rules are applied. EPOPEE gives the designer a set of heterogeneous algorithms for the individuality function based decision analysis, allowing cardinal and ordinal (including linguistic), as well as deterministic and possibilistic initial information. An example on the synthesis of a sheet stamping technological line with mini-robots, considered as a decomposable one, is given. the extension of the system to the design of flexible manufacturing shops is presented.

关键词： Industrial plants

来源：评论

学校读者我要写书评

暂无评论

the Analyst—a workstation for analysis and design 85

The Analyst—a workstation for analysis and design

引用

Proceedings of the 8th international conference on Software engineering

作者： Mark Stephens Ken Whitehead Systems Designers International plc Pembroke House Pembroke Broadway Camberley England

ISBN: (纸本)9780818606205

this paper describes a system currently being developed called the “Analyst”. the Analyst is a support system for analysis and design methods. the method support facilities are being implemented using expert system or knowledge based techniques. the user can add rules for additional analysis of the application facts. the explicit representation of rules and facts (i.e. the knowledge base) makes it relatively easy to add methods to cover different phases or aspects of the software life cycle.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Experiments with Prolog design descriptions and tools in CAEDE: an iconic design environment for mutltitasking, embedded systems 85

Experiments with Prolog design descriptions and tools in CAE...

引用

Proceedings of the 8th international conference on Software engineering

作者： R. J. A. Buhr C. M. Woodside G. M. Karam K. Van Der Loo D. G. Lewis Department of Systems and Computer Engineering Carleton University Ottawa Ontario CANADA KlS5B6

ISBN: (纸本)9780818606205

We report on experiments with Prolog design descriptions and tools in CAEDE (Carleton Embedded System design Environment), an experimental, iconic design environment for multitasking, embedded systems. the philosophy of CAEDE is to enter structural and temporal design information iconically, via a graphics interface, to serve as the basis for design analysis and skeleton code generation, and then to enter, under control of the iconic interface, program “strips” to fill in the functional gaps in the skeleton code. the iconic information is converted automatically into a Prolog design data base of facts and rules. CAEDE aims to support incremental design and to be incrementally extensible. In the current implementation of CAEDE, which runs on a SUN workstation supporting design for Ada, the iconic interface is limited to structural design. Here we describe the Prolog side of our research, covering the nature of the facts produced from the iconic input by the current implementation and their use by experimental Prolog tools for structural analysis, temporal analysis and Ada code generation. the aim is to show how Prolog is contributing to the framework of a powerful, extensible design environment.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Intelligent support for the engineering of software (panel paper) 85

Intelligent support for the engineering of software (panel p...

引用

Proceedings of the 8th international conference on Software engineering

作者： Gerald Jay Sussman Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science and The Artificial Intelligence Laboratory Cambridge Massachusetts

ISBN: (纸本)9780818606205

Engineers of large systems must be concerned with both design of new systems and maintenance of existing systems. A great deal of effort goes into arranging things so that systems may be maintained and extended when needed, and that new systems fit into the context of existing structures. Insight about the support of software engineering can thus be derived by examining how other branches of engineering support their version of the processes of *** embarking on a design project an engineer must first determine the customer's need. this is always a complex process, involving modeling of the customer's situation, to determine exactly what is essential and what is accidental. the specifications derived from this analysis are the input to the design process. the specifications may be expressed in varying degrees of formality. though mathematical formalism is to be desired because it is unambiguous and because it can be manipulated precisely, existing mathematical technique is usually inadequate to precisely specify the requirements. this means that the specification phase must be part of the debugging *** design engineer first attempts to meet the specifications with some existing artifact. If this fails, he attempts to synthesize an artifact that meets the specifications by combining the behaviors of several parts, according to some standard plan. For example, in electrical engineering, a complex signal-processing system can often be composed as a cascade of simpler signal-processing components - an engineer knows that the transfer function of a cascade is the product of the transfer functions of the parts cascaded, if the loading is correct. Such design depends on the ability to compute the behavior of a combination of parts from their specifications and a description of how they are combined. Often such analysis must be approximate, with bugs worked out by simulation and debugging of breadboard *** design strategy is greatly enhanced b

关键词：

来源：评论

学校读者我要写书评

暂无评论

Model for interactive design & analysis of communication systems 8

Model for interactive design & analysis of communication sys...

引用

8th Bicentennial conference on Winter Simulation, WSC 1976

作者： Moss, Richard W. Rice, Robert W. Leong, Peter K. Georgia Tech Engineering Experiment Station United States Rome Air Development Center DICEF United States

the basic concepts developed for the implementation of an interactive communication simulation program are described. the problems considered include the means of generating mathematical models, the accuracy of those ...

关键词：

来源：评论

学校读者我要写书评

暂无评论

Formal Modeling and analysis of Timed systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Krishnendu Chatterjee thomas A. Henzinger

ISBN: (数字)9783642152979

ISBN: (纸本)9783642152962

this volume contains the papers that were presented at the 8th International conference on Formal Modeling and analysis of Timed systems (FORMATS 2010), held September 8–10, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria. the modeling andanalysis oftiming aspects of systems is a keyproblem that has been treated independently in several di?erent communities in computer science and related areas. Researchers interested in semantics, veri?cation, re- timescheduling,andperformanceanalysisstudymodelssuchastimedautomata and timed Petri nets, the digital design community focuses on propagation and switching delays, and designers of embedded controllers need to take into - count the time requiredby controllersto compute their responses after sampling the environment. Although the timing-related questions in these separate c- munities have their own speci?c nature, there is a growing awareness that there are basic problems that are common to all of them. In particular, all of these disciplines model and analyze systems whose behavior depends on combinations of logical and timing constraints between occurrences of events. the aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from di?erent d- ciplines that share an interest in the modeling and analysis of timed systems. Typical topics include (but are not limited to): – Foundations and Semantics: theoretical foundations of timed systems and languages; comparison between di?erent models (timed automata, timed Petri nets, hybrid automata, timed process algebra,max-plus algebra, pr- abilistic models).

关键词： Logics and Meanings of Programs systems theory, Control Programming Techniques Software engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

A digital system modeling philosophy and design language 71

A digital system modeling philosophy and design language

引用

8th Annual ACM IEEE design Automation conference, DAC 1971

作者： Baray, Mehmet B. Su, Stephen Y.H. Department of Electrical Engineering Middle East Technical University Ankara Turkey Department of Electrical Engineering and Computer Sciences University of California BerkeleyCA94720 United States

ISBN: (纸本)9781450374651

With the increasing complexity of digital systems, a new approach to system decomposition and modelling must be developed. Such an approach must not only permit a system to be described in a modular fashion, but the basic system modules must be able to be decomposed to allow a precise description of the module function. In this paper, a modelling philosophy and language are presented which permit the system designer to: (1) specify the system design in a hierarchical, modular fashion;(2) describe the function of each module by independently specifying the structure and the control function of the module;(3) build arbitrarily complex structures and control functions through the use of macrolike definitions;and (4) handle the problem of specifying complex concurrent control functions in a straight forward and unambiguous manner. Examples are used throughout the paper to clarify the semantics of the language. A complete unit design and a Backus Normal Form (BNF) specification of the language syntax are presented. © 1971 Institute of Electrical and Electronics Engineers Inc. All rights reserved.

关键词： systems analysis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共345页 << < 336 337 338 339 340 341 342 343 344 345 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：