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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,768 篇 会议
19 篇 期刊文献
15 册 图书

馆藏范围

1,802 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,295 篇 工学
- 973 篇 计算机科学与技术...
- 836 篇 软件工程
- 191 篇 控制科学与工程
- 152 篇 信息与通信工程
- 149 篇 机械工程
- 133 篇 电气工程
- 78 篇 电子科学与技术（可...
- 74 篇 动力工程及工程热...
- 68 篇 生物工程
- 58 篇 仪器科学与技术
- 56 篇 交通运输工程
- 56 篇 生物医学工程（可授...
- 54 篇 土木工程
- 45 篇 材料科学与工程（可...
- 45 篇 建筑学
- 43 篇 安全科学与工程
- 38 篇 冶金工程
- 38 篇 环境科学与工程（可...
507 篇 理学
- 356 篇 数学
- 80 篇 物理学
- 76 篇 生物学
- 72 篇 统计学（可授理学、...
- 70 篇 系统科学
328 篇 管理学
- 242 篇 管理科学与工程(可...
- 127 篇 工商管理
- 85 篇 图书情报与档案管...
87 篇 教育学
- 85 篇 教育学
63 篇 经济学
- 61 篇 应用经济学
59 篇 医学
- 51 篇 临床医学
- 39 篇 基础医学(可授医学...
35 篇 法学
33 篇 农学
27 篇 艺术学
16 篇 文学
5 篇 军事学
2 篇 历史学
1 篇 哲学

主题

96 篇 programming
69 篇 linear programmi...
43 篇 dynamic programm...
39 篇 software enginee...
39 篇 optimization
33 篇 computer science
30 篇 computational mo...
27 篇 costs
25 篇 matlab
25 篇 genetic algorith...
24 篇 software
22 篇 students
22 篇 mathematical mod...
21 篇 artificial intel...
19 篇 application soft...
18 篇 genetic programm...
18 篇 heuristic algori...
17 篇 programming prof...
17 篇 java
17 篇 semantics

机构

6 篇 department of co...
5 篇 college of infor...
5 篇 chitkara univers...
5 篇 school of north ...
5 篇 air and missile ...
4 篇 school of inform...
4 篇 school of comput...
4 篇 school of traffi...
4 篇 college of elect...
4 篇 international sc...
4 篇 school of inform...
4 篇 college of mecha...
4 篇 school of comput...
3 篇 school of electr...
3 篇 school of contro...
3 篇 state key labora...
3 篇 school of electr...
3 篇 school of inform...
3 篇 college of elect...
3 篇 school of comput...

作者

5 篇 wei wang
4 篇 chen chen
4 篇 li bing
4 篇 ramesh t.
4 篇 mannava vishnuva...
4 篇 yang liu
3 篇 wang lei
3 篇 wei liu
3 篇 wei li
3 篇 yang yang
3 篇 bing liu
3 篇 chen yu
3 篇 gao weixia
3 篇 wang wei
3 篇 hui li
3 篇 singh neeraj kum...
3 篇 liu wei
3 篇 junwei lei
3 篇 golam mostafa
3 篇 sonawane d.n.

语言

1,741 篇 英文
41 篇 中文
22 篇 其他
1 篇 西班牙文

检索条件"任意字段=2nd International Conference on Art, Science, and Engineering of Programming, Programming 2018"

共 1802 条记录，以下是1771-1780 订阅

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

详细简洁

排序：

A knowledge-driven methodology for eliciting and restructuring software requirements for distributed design

A knowledge-driven methodology for eliciting and restructuri...

引用

international conference on Tools for artificial Intelligence (ICTAI)

作者： P.O. Bobbie J.E. Urban Division of Computer Science University of West Florida Pensacola FL USA Computer Sciences and Engineering Department Arizona State University Tempe AZ USA

Some important issues in engineering the requirements of a distributed software system and methods that facilitate software system design for distributed or parallel implementations are discussed. The issues are presented from a knowledge engineering perspective and are divided into four levels: acquisition; representation; structuring; and design. The acquisition level entails the methods for eliciting system requirements data (attributes and relationships of software entities) from the end-user group using a model of context classes. The representation level deals with the language paradigm for representing the attributes and relationships of the software entities. The structuring level addresses methods for rearranging and grouping the software objects of the context classes into related clusters. The design level deals with methods for mapping or transforming the clusters of software objects into specification modules to facilitate distributed design. To this end, the design level uses an object-based paradigm for specifying the attributes and abstract behavior of the objects within the modules.< >

关键词： Software systems artificial intelligence Software design Knowledge acquisition Parallel programming Parallel processing Computer science Design engineering Knowledge engineering Object oriented modeling

来源：评论

学校读者我要写书评

暂无评论

Capturing design and maintenance decisions with MACS

Capturing design and maintenance decisions with MACS

引用

international conference on Tools for artificial Intelligence (ICTAI)

作者： C. Desclaux Capgemini Innovation Paris France

MACS is a research and development project of the European ESPRIT II program, whose objective is the definition and implementation of a software maintenance assistance system. The basis premise of MACS is to do maintenance through understanding. MACS views the application from several perspectives in specific 'worlds'. One of them is the 'reasoning world', which captures by means of a simple formalism, the problem-solution-decision formalism, the rationale underlying the design and maintenance process. MACS data integration is provided by a central base called the interconnection world. Moreover, MACS proposes to guide the maintainer in applying a strategy and in fully exploiting the possibilities of the MACS tools themselves by means of artificial-intelligence techniques and knowledge-based support.< >

关键词： Application software Software maintenance Technological innovation artificial intelligence programming Electronic mail Research and development Computer aided software engineering Cognitive science Process design

来源：评论

学校读者我要写书评

暂无评论

Towards a compiler for a constraint language 89

引用

2nd international conference on Industrial and engineering Applications of artificial Intelligence and Expert Systems, IEA/AIE 1989

作者： Guesgen, Hans Werner International Computer Science Institute 1947 Center Street BerkeleyCA94704-1105 United States

ISBN: (纸本)0897913205

For many engineering tasks, constraints are a useful knowledge representation formalism to specify functional relationships. In this paper, we describe a programming language based on constraints which, unlike former approaches, enables us to handle sets of possible values (rather than single values) and to filter them until consistent subsets are obtained that satisfy the constraints. As, e.g., in technical systems, the constraint relations are of different complexity, structure, and applicability, several ways to describe a relation are provided. Different control strategies are available, computing local consistency as well as globally consistent solutions. It is sketched how to realize a compiler for the language, which optimizes constraint descriptions during definition time. As a result, combinatorial explosion can be reduced, depending on the number of variables used in a constraint description. CONSAT is used in several applications, for example, in a system for process diagnosis [Voss 1988], where constraints are applied to maintain functional relationships in physical units. For this purpose, CONSAT was incorporated into the hybrid knowledge representation system BABYLON in order to use constraints together with rules, frames, and Prolog [Guesgen et al. 1987]. © 1989 ACM.

关键词： Knowledge representation

来源：评论

学校读者我要写书评

暂无评论

A single-assignment language in a distributed memory multiprocessor 2nd

引用

2nd international conference on Parallel Architectures and Languages Europe, PARLE 1989

作者： Evripidou, P. Najjar, W. Gaudiot, J.-L. USC/Information Sciences Institute 4676 Admiralty Way Marina del ReyCA90292-6695 United States Department of Electrical Engineering — Systems University of Southern California Los AngelesCA90089-0781 United States

ISBN: (纸本)9783540512851

Large-scale distributed memory multiprocessors have become commercially available and have proved to be a low-cost alternative to supercomputers for many scientific computations. The programming, and debugging, of such systems remains, however, a difficult and tedious task. Single-assignment and applicative languages have proved to be a serious alternative to imperative languages for the programming of parallel computer systems. They offer the advantage of a high level of programmability and eliminate the problem of detecting parallelism. Their functional property allows an asynchronous parallel execution that does not compromise the correctness of the computation. This paper describes the implementation of a single-assignment language, SISAL, on a distributed memory multiprocessor. © Springer-Verlag Berlin Heidelberg 1989.

关键词： Supercomputers

来源：评论

学校读者我要写书评

暂无评论

A conceptual model of a computer-aided learning knowledge base 2nd

A conceptual model of a computer-aided learning knowledge ba...

引用

2nd international conference on Computer Assisted Learning, ICCAL 1989

作者： Spirov, Krasimir Draganov, Mihail Centre of Engineering Pedagogics The ‘Lenin’ Higher Institute of Mechanical and Electrical Engineering Sofia1156 Bulgaria Programming and Applied Systems Department The ‘Lenin’ Higher Institute of Mechanical and Electrical Engineering Sofia1156 Bulgaria

ISBN: (纸本)9783540511427

Recent developments in the theory of artificial intelligence and the advent of the expert systems made it possible to actually produce intelligent systems for computer-aided learning (CAL). A major component of such a system is its knowledge base. The paper presents a model for a knowledge base and an approach to building it. To solve the task set, a sufficiently abstract hierarchical model has been developed of a knowledge base consisting of notions. By definition the model is recursive and subject-independent. The transition to a learning-oriented knowledge base is achieved by using a well-known model for a content-information description of the process of learning. The basic element in it is the ‘elementary cognitive structure’ (ECS), which the authors identify with the ‘notion’ element of the general conceptual model. On this basis a model has been designed of a learning-oriented knowledge base, comprising ECS. The very structure of ECSs that is to be built in the knowledge base could be different, depending on the goals, learning theories and strategies, the students' individual characteristics, etc. © Springer-Verlag Berlin Heidelberg 1989.

关键词： Expert systems

来源：评论

学校读者我要写书评

暂无评论

2nd international Workshop on Object-Oriented Database Systems, 1988

2nd International Workshop on Object-Oriented Database Syste...

引用

2nd international Workshop on Object-Oriented Database Systems, 1988

ISBN: (纸本)9783540503453

The proceedings contain 38 papers. The special focus in this conference is on Object-Oriented Database Systems. The topics include: The design and implementation of O, an object-oriented database system;abstract object types for databases;rule execution in CPLEX: A persistent objectbase;constraint analysis: A tool for explaining the semantics of complex objects;providing uniform access to heterogeneous information bases;the object shell: An extensible system to define an object-oriented view of an existing database;an adaptive derived data manager for distributed databases;mapping object-oriented concepts into relational concepts by meta-compilation in a logic programming environment;foundations of relational object management systems;the COMAndOS integration system: An object oriented approach to the interconnection of heterogeneous applications;a learning-based approach to meta-data evolution in an object-oriented database;zEITGEIST: Database support for object-oriented programming;views, data abstraction, and inheritance in the FUGUE data model;vodak kernel data model;a model for an object management system for software engineering environments;multiple inheritance and genericity for the integration of a database management system in an object-oriented approach;instance inheritance mechanisms for object oriented databases;identification of database objects by key;the design of dynamo: A general-purpose information processing model with a time dimension;a uniform concept for storing and manipulating engineering objects;managing persistent data with mneme: Designing a reliable, shared object interface;integration of database management with an object-oriented programming language;a distributed object server;on dynamically defined complex objects and SQL;common object-oriented repository system;identity, equality and query optimization;optimization of object-retrieval queries.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A declarative environment for concurrent logic programming 2nd

A declarative environment for concurrent logic programming

引用

2nd international Joint conference on Theory and Practice of Software Development, TAPSOFT 1987

作者： Clark, Keith L. Foster, Ian T. Dept of Computing Imperial College 180 Queen’s Gate South Kensington LondonSW7 2BZ United Kingdom

ISBN: (纸本)9783540176114

A logic programming environment should provide users with declarative control of program development and execution and resource access and allocation. It is argued that the concurrent logic language PARLOG is well suited to the implementation of such environments. The essential features of the PARLOG programming System (PPS) are presented. The PPS is a multiprocessing programming environment that supports PARLOG (and is intended to support Prolog). Users interact with the PPS by querying and updating collections of logic clauses termed data bases. The PPS understands certain clauses as describing system configuration, the status of user deductions and the rules determining access to resources. Other clauses are understood as describing meta relationships such as inheritance between data bases. The paper introduces the facilities of the PPS and explains the essential structure of its implementation in PARLOG by a top down development of a PARLOG program which reads as a specification of a multiprocessing operating system. © 1987, Springer-Verlag.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Modeling mechanical CAD data with data abstraction and object-oriented techniques 2

Modeling mechanical CAD data with data abstraction and objec...

引用

2nd IEEE international conference on Data engineering, COMPDEC 1986

作者： Spooner, David L. Milicia, Michael A. Faatz, Donald B. Center for Interactive Computer Graphics Rensselaer Polytechnic Institute TroyNY12180 United States Computer Science Department Rensselaer Polytechnic Institute TroyNY12180 United States Electrical Computer and Systems Engineering Department Rensselaer Polytechnic Institute TroyNY12180 United States

This paper focuses on the problem of management of CAD data by investigating the use of the software engineering principles of data abstraction and object-oriented programming as means for managing the volume and complexity of design data. It discusses how a data management system which manages abstract data types provides a framework for integrating a CAD environment by providing a single mechanism to manage data, programs, and the manipulation of the data with the programs. It also shows how two forms of abstraction, aggregation and generalization, can be used to model hierarchies of parts and components, and multiple design alternatives, respectively. These abstractions are then used to model the geometrical and topological data required to describe three-dimensional mechanical parts. © 1986 IEEE.

关键词： Computer aided design

来源：评论

学校读者我要写书评

暂无评论

Communication primitives for a distributed multi-robot system' 2

Communication primitives for a distributed multi-robot syste...

引用

2nd IEEE international conference on Robotics and Automation, ICRA 1985

作者： Shin, Kang G. Epstein, Mark E. Computer Science and Engineering Division Department of Electrical Engineering and Computer Science University of Michigan Ann ArborMI48109 United States Advanced Robotics Systems Group IBM Corporation Boca RatonFL33432 United States

ISBN: (纸本)0818606150

An integrated multi-robot system (IMRS) consists of two or more robots, machinery and sensors, and is capable of executing almost all industrial processes with efficiency, flexibility and reliability. In order to support a distributed, modular architecture of an IMRS in [SHIN84], we propose in this paper low-level communication and synchronization primitives for the IMRS. This is done by comparing and analyzing the primitives developed/proposed for general concurrent programming, and carefully examining the generic structure and interactions of IMRS processes. © 1985 IEEE.

关键词： Multipurpose robots

来源：评论

学校读者我要写书评

暂无评论

A distributed testbed for active sensory processing 2

A distributed testbed for active sensory processing

引用

2nd IEEE international conference on Robotics and Automation, ICRA 1985

作者： Lee, I. Goldwasser, S.M. General Robotics and Active Sensory Processing Group Department of Computer and Information Science Moore School of Electrical Engineering University of Pennsylvania PhiladelphiaPA10104 United States

ISBN: (纸本)0818606150

A distributed testbed designed to support the development of a multi-sensory (vision and tactile) system for investigations in "active perception" of three dimensional objects is presented. Active perception means being able to not only see and feel objects but also manipulate and probe them. The nucleus of the testbed is a network of heterogeneous computers designed to support low-level real-time control processes as well as high-level knowledge-based systems. The programming environment of the testbed facilitates the construction and execution of a distributed multi-sensory system from sequential programs written in different programming languages. © 1985 IEEE.

关键词： Testbeds

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共181页 << < 172 173 174 175 176 177 178 179 180 181 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：