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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,044 篇 会议
100 篇 期刊文献
54 册 图书

馆藏范围

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

日期分布

学科分类号

2,152 篇 工学
- 1,675 篇 计算机科学与技术...
- 964 篇 软件工程
- 340 篇 电气工程
- 251 篇 控制科学与工程
- 196 篇 信息与通信工程
- 101 篇 机械工程
- 67 篇 电子科学与技术（可...
- 47 篇 化学工程与技术
- 47 篇 生物工程
- 46 篇 动力工程及工程热...
- 44 篇 仪器科学与技术
- 43 篇 石油与天然气工程
- 41 篇 材料科学与工程（可...
- 40 篇 生物医学工程（可授...
- 30 篇 交通运输工程
- 27 篇 土木工程
633 篇 理学
- 460 篇 数学
- 96 篇 物理学
- 79 篇 生物学
- 76 篇 系统科学
- 71 篇 统计学（可授理学、...
- 46 篇 化学
291 篇 管理学
- 219 篇 管理科学与工程(可...
- 103 篇 工商管理
- 83 篇 图书情报与档案管...
92 篇 教育学
- 92 篇 教育学
63 篇 医学
- 49 篇 临床医学
- 35 篇 基础医学(可授医学...
41 篇 法学
- 36 篇 社会学
28 篇 经济学
- 28 篇 应用经济学
19 篇 文学
19 篇 农学
2 篇 军事学
2 篇 艺术学

主题

220 篇 linear programmi...
212 篇 programming
170 篇 dynamic programm...
120 篇 logic programmin...
96 篇 integer programm...
76 篇 functional progr...
75 篇 optimization
72 篇 computer program...
67 篇 object oriented ...
65 篇 programming prof...
65 篇 computer program...
64 篇 genetic programm...
64 篇 parallel program...
64 篇 software
50 篇 quadratic progra...
48 篇 education
47 篇 software enginee...
44 篇 computational mo...
36 篇 computer science
36 篇 hardware

机构

10 篇 univ british col...
7 篇 lakhshya cyber s...
7 篇 univ edinburgh e...
6 篇 lakhshya cyber s...
6 篇 amrita vishwa vi...
4 篇 graduate school ...
4 篇 ural fed univ ek...
4 篇 center for compu...
4 篇 univ minho ctr a...
4 篇 naval systems an...
4 篇 univ manchester ...
4 篇 faculty of engin...
4 篇 school of electr...
4 篇 russian acad sci...
4 篇 department of in...
4 篇 chalmers univ te...
3 篇 electric dispatc...
3 篇 school of inform...
3 篇 school of electr...
3 篇 nanjing research...

作者

8 篇 schaub torsten
8 篇 de meuter wolfga...
8 篇 cheney james
8 篇 tompits hans
7 篇 woltran stefan
7 篇 pradeep menon
6 篇 r vinayakumar
6 篇 gebser martin
6 篇 soman k. p.
6 篇 vinayakumar r.
6 篇 kp soman
6 篇 menon pradeep
5 篇 liu yang
5 篇 t.t. shannon
5 篇 eiter thomas
5 篇 binder walter
5 篇 wadler philip
4 篇 leone nicola
4 篇 jun zhang
4 篇 de araújo costa ...

语言

3,133 篇 英文
48 篇 其他
12 篇 中文
3 篇 俄文
2 篇 西班牙文
1 篇 意大利文

检索条件"任意字段=9th International Conference on Functional Programming"

共 3198 条记录，以下是3021-3030 订阅

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

详细简洁

排序：

Multi-agent programming language based on distributed multi-workstation systems

Multi-agent programming language based on distributed multi-...

引用

IEEE Region 10 international conference TENCON

作者： T. Kawamura Y. Saito Y. Kaneda Department of Information and Knowledge Engineering Faculty of Engineering Tottori University Tottori Japan Department of Computer and Systems Engineering Faculty of Engineering Kobe University Kobe Japan

Proposes a computation model for cooperative agents. In this model, we introduce a field as an abstraction of a group of agents. Each agent can communicate to other agents in the same group through a field. the field also enables one to specify the action of the group, i.e. it is used for a knowledge base to keep the rules and data shared by the agents in the group. Based on this model, a programming language which is based on Prolog was designed, and a prototype processing system was built on a network-connected distributed multi-workstation system. We also present example programs written in this language to demonstrate the effectiveness of the model.< >

关键词： Computer languages Knowledge engineering Distributed computing Multiagent systems Data engineering Databases Systems engineering and theory Computational modeling Prototypes Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Robot motion planning in a changing, partially predictable environment

Robot motion planning in a changing, partially predictable e...

引用

IEEE international Symposium on Intelligent Control (ISIC)

作者： S.M. LaValle R. Sharma The Beckman Institute University of Illinois Urbana IL USA

Presents a framework for analyzing and determining robot motion plans for situations in which the robot is affected by an environment that probabilistically changes over time. In general, motion planning under uncertainty has received substantial interest, and in particular a changing-environment has been recognized as an important aspect of motion planing under uncertainty. the authors model the environment as a finite-state Markov process, and the robot executes a motion strategy that is conditioned on its current position and the state of the environment. Optimality of a robot strategy is evaluated in terms of a performance functional that depends on the environment, robot actions, and a precise encoding of relevant preferences. By using a simple, yet powerful computation technique that is based on dynamic programming, the authors can numerically compute optimal robot strategies for a wide class of problems, surpassing previous results in this context that were obtained analytically. Several computed motion planning examples are presented.< >

关键词： Robot motion Motion planning Uncertainty Robot sensing systems Dynamic programming Motion analysis Strategic planning Stochastic processes Markov processes Encoding

来源：评论

学校读者我要写书评

暂无评论

A rapid prototyping environment based on executable specifications

A rapid prototyping environment based on executable specific...

引用

IEEE Region 10 international conference TENCON

作者： M.B. Ozcan J. Siddiqi Computing Research Centre School of computing & Management Sciences Sheffield Hallam University Sheffield UK

this paper describes a rapid software prototyping environment which executes formal specifications in which executable specifications and conventional implementations can be used interchangeably. therefore, a prototype system can be transformed into a production quality system by incrementally replacing specifications with implementations so that the complete software system exists at each step, thus enabling both evolutionary software development and assistance in the discovery of errors. Also, the external behaviour of software systems can be described directly from the user's point of view by means of scenarios generated based on executable specifications.< >

关键词： Prototypes Software prototyping Formal specifications Software systems Application software Software testing System testing programming Production systems Buildings

来源：评论

学校读者我要写书评

暂无评论

Automated assistance to program understanding

Automated assistance to program understanding

引用

IEEE Region 10 international conference TENCON

作者： Eun Man Choi A. von Mayrhauser Department of Computer Engineering DongGuk University Seoul South Korea Computer Science Department Colorado State University Fort Collins CO USA

Software maintenance requires the understanding of existing code, determining whether to make changes, assessing the impact of modifications, rebuilding code after alterations, and regression testing to validate changes. Program understanding is a bottleneck phase when the code to be maintained is invisible which means difficult to get needed information. this paper suggests a method for supporting program understanding by bottom-up driven and code-oriented view. the toolset includes abstraction mechanism, restructuring capability, ripple effect analysis, chunking guidance, and reuse. It lets the maintenance programmer understand the program effectively, refer to other people's understanding, analyze the effect of changes, and reusable program segments.< >

关键词： programming profession Cognitive science Guidelines Character recognition

来源：评论

学校读者我要写书评

暂无评论

programming Hopfield network for relational homomorphism

Programming Hopfield network for relational homomorphism

引用

IEEE Region 10 international conference TENCON

作者： P.N. Suganthan E.K. Teoh D.P. Mital School of Electrical and Electronic Engineering Nanyang Technological University Singapore

We study the energy and compatibility function formulations for pattern recognition by homomorphic mapping of attributed relational graphs using the Hopfield network. A deterministic hypothesis initialization strategy is introduced and proven to be superior to the commonly used random initialization in many aspects. Further, a method to verify the validity of the hypotheses generated by the Hopfield network is also presented based on a compatible cluster formation procedure using binary compatibility measures. the compatible cluster formation method allows multiple hypotheses to be evaluated simultaneously and the best to be chosen. the performance of the homomorphic algorithm is evaluated using silhouette images.< >

关键词： Layout Object recognition Computer vision Virtual manufacturing Power engineering and energy Paper technology Pattern recognition Clustering algorithms Traveling salesman problems Parameter estimation

来源：评论

学校读者我要写书评

暂无评论

CPS-a decision support system for multi-head concurrent operation PCBA machines

CPS-a decision support system for multi-head concurrent oper...

引用

IEEE Region 10 international conference TENCON

作者： R. De Souza Wu Lijun M. Chua Sch. of Mech. & Production Eng. Nanyang Technol. Inst. Singapore School of Mechanical and Production Engineering Design Research Centre Nanyang Technological University Singapore

the placement or insertion of surface mounted components is an essential stage in printed circuit board assembly (PCBA). A reduction in production time of placement through efficient process planning will significantly increase total yield of the whole line. CPS, a knowledge-based decision support system for component placement which incorporates optimisation algorithms, capable of the task, is presented. A case study is also presented.< >

关键词： Decision support systems Mathematical programming Knowledge based systems Printed circuits Assembly systems Productivity Magnetic heads Production engineering Surface-mount technology Process planning

来源：评论

学校读者我要写书评

暂无评论

Capacitor placements for distribution systems with fuzzy algorithm

Capacitor placements for distribution systems with fuzzy alg...

引用

IEEE Region 10 international conference TENCON

作者： Hong-Chan Chin Whei-Min Lin Department of Electrical Engineering Cheng-Shiu Junior College of Technology and Commerce Kaohsiung Taiwan Department of Electrical Engineering National Sun Yat-Sen University Kaohsiung Taiwan

ISBN: (纸本)0780318625

Presents a fuzzy-based approach for capacitor placement in a distribution circuit. Two membership functions were defined for the voltage sensitivity and the real power loss. these membership functions greatly reduce the effort needed for finding the optimal locations via an exhaustive search. the whole problem is formulated as a fuzzy-set optimization problem to minimize the real power loss and the capacitor cost with voltage-limiting constraints. A distribution feeder was used to show the effectiveness of the proposed method.< >

关键词： Fuzzy systems Voltage Fuzzy sets Circuits Power capacitors Cost function Reactive power Power system modeling Energy loss Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Class hierarchy based metric for object-oriented design

Class hierarchy based metric for object-oriented design

引用

IEEE Region 10 international conference TENCON

作者： Chi-Ming Hung Chun-Chia Wang Ming-Chi Lee Graduate Inst. of Inf. Eng. Tamkang Univ. Tamsui Taiwan Graduate Institute of Information Engineering Tamkang University Taipei Taiwan Department of Electrical Engineering ST. Johns & ST. Marys Institute of Technology Taipei Taiwan

ISBN: (纸本)0780318625

Object-oriented technology, including object-oriented analysis (OOA), object-oriented design (OOD), and object-oriented programming (OOP), is a new promising approach to developing software systems to reduce software costs and to increase software extensibility, flexibility, and reusability. Software metrics are widely used to measure software complexity and assure software correctness. this paper proposes a metric to measure object-oriented software. Also, an important factor called URIs, is conducted to build the metric. this approach describes a graph-theoretical method for measuring the complexity of the class hierarchy. the proposed metric shows that inheritance has a close relation with object-oriented software complexity and reveals that misuse of repeated (multiple) inheritance will increase software complexity and be prone to implicit software errors.< >

关键词： Costs Software systems Software quality Software measurement Software tools Productivity Software metrics Condition monitoring Object oriented programming Object oriented databases

来源：评论

学校读者我要写书评

暂无评论

A distributed implementation of parallel backtracking

A distributed implementation of parallel backtracking

引用

IEEE Region 10 international conference TENCON

作者： N. Signes J.-P. Bodeveix D. Plaindoux F. Cabestre C. Percebois Institut de Recherche en Informatique de Toulouse Université Paul Sabatier Toulouse France

Presents a set of asynchronous backtrackable communication primitives and their integration into the SLOOP parallel object-oriented logic language. After a brief survey of inter-process communication models in parallel logic languages, we define the set of communication primitives and give a uniform semantics of the extension of Prolog thus obtained. then we detail an implementation of these primitives based on the study of a dependency graph recording the connections between communication points. In order to integrate the primitives into the SLOOP language, we have defined a set of system classes used as an interface between the Prolog layer and the object layer. Lastly, an example illustrates most of the concepts supported by our language.< >

关键词： Object oriented modeling Yarn Databases Handicapped aids Communication standards Transmitters System recovery Distributed algorithms Logic programming

来源：评论

学校读者我要写书评

暂无评论

Incorporating a partitioning algorithm into PROTEAN

Incorporating a partitioning algorithm into PROTEAN

引用

IEEE Region 10 international conference TENCON

作者： R. Lai C.W. Lee Department of Computer Science and Computer Engineering La Trobe University Australia

Reachability analysis (RA) is the most popular protocol verification technique as it can verify a number of protocol properties, like deadlock freeness, livelock freeness and boundedness; and it can be easily automated. However, it is also very well-known that the state space explosion problem of RA limits its use in complex situations. the usefulness of existing verification tools in verifying complex protocols are very much pushed back by this problem. Various approaches have been proposed to tackle the problem; one of them is the partitioning method. So far, there has been very rare or possibly no report on how these methods can be implemented. this paper describes the implementation of the partitioning method into a proven computer-aided verification tool, PROTEAN, in order to address the state space explosion problem.< >

关键词： Partitioning algorithms Protocols State-space methods Explosions Computer science Reachability analysis System recovery Software algorithms programming Petri nets

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共320页 << < 299 300 301 302 303 304 305 306 307 308 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：