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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

3,603 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

2,402 篇 工学
- 1,899 篇 计算机科学与技术...
- 1,155 篇 软件工程
- 418 篇 电气工程
- 270 篇 控制科学与工程
- 199 篇 信息与通信工程
- 128 篇 机械工程
- 72 篇 石油与天然气工程
- 64 篇 生物医学工程（可授...
- 59 篇 电子科学与技术（可...
- 56 篇 材料科学与工程（可...
- 56 篇 交通运输工程
- 51 篇 生物工程
- 45 篇 化学工程与技术
- 41 篇 动力工程及工程热...
- 38 篇 土木工程
- 35 篇 仪器科学与技术
- 34 篇 冶金工程
676 篇 理学
- 485 篇 数学
- 106 篇 物理学
- 85 篇 系统科学
- 80 篇 统计学（可授理学、...
- 74 篇 生物学
- 51 篇 化学
403 篇 管理学
- 338 篇 管理科学与工程(可...
- 149 篇 工商管理
- 81 篇 图书情报与档案管...
105 篇 教育学
- 103 篇 教育学
71 篇 医学
- 46 篇 临床医学
- 36 篇 基础医学(可授医学...
64 篇 经济学
- 64 篇 应用经济学
40 篇 法学
22 篇 文学
12 篇 农学
9 篇 艺术学
3 篇 军事学

主题

309 篇 linear programmi...
251 篇 programming
187 篇 dynamic programm...
142 篇 computer program...
119 篇 integer programm...
116 篇 optimization
109 篇 logic programmin...
87 篇 genetic programm...
82 篇 functional progr...
73 篇 computational mo...
68 篇 object oriented ...
66 篇 programming prof...
65 篇 parallel program...
56 篇 software enginee...
54 篇 costs
49 篇 mathematical mod...
48 篇 computer program...
46 篇 heuristic algori...
42 篇 artificial intel...
41 篇 computer science

机构

9 篇 univ london impe...
7 篇 inesc tec porto
6 篇 feup porto
6 篇 russian acad sci...
5 篇 c mast ubi covil...
4 篇 univ leicester l...
4 篇 vienna univ tech...
4 篇 institute of fun...
4 篇 chinese acad sci...
4 篇 university of am...
4 篇 univ nottingham ...
4 篇 beijing universi...
3 篇 weizmann inst sc...
3 篇 univ nottingham ...
3 篇 delft center for...
3 篇 international is...
3 篇 international bu...
3 篇 department of co...
3 篇 school of comput...
3 篇 univ cyprus dept...

作者

8 篇 catalao joao p. ...
7 篇 musirin ismail
5 篇 weiss gera
5 篇 marron assaf
4 篇 hirschfeld rober...
4 篇 ghani n
4 篇 katz guy
4 篇 saraswat vijay
4 篇 xiong rui
4 篇 funabiki nobuo
4 篇 fitiwi desta z.
4 篇 shi yong
4 篇 boercsoek josef
4 篇 jagadeesan radha
4 篇 gupta vineet
4 篇 michael n. young
4 篇 pesant gilles
4 篇 harel david
3 篇 muggleton stephe...
3 篇 faisal a. aldo

语言

3,494 篇 英文
82 篇 其他
26 篇 中文
5 篇 葡萄牙文
2 篇 俄文
1 篇 西班牙文

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

共 3605 条记录，以下是2621-2630 订阅

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

详细简洁

排序：

Organization-Oriented Chemical programming

Organization-Oriented Chemical Programming

引用

international conference on Hybrid Intelligent Systems (HIS)

作者： Peter Dittrich Naoki Matsumaru Department of Mathematics and Computer Science Bio Systems Analysis Group Friedrich-Schiller-Universitat Jena Jena Germany

Chemical information processing posseses a variety of valuable properties, such as, robustness, concurrency, fault- tolerance, and evolvability. However, it is difficult to predict and program a chemical system, because the computation emerges as a global phenomenon from microscopic reactions. Here, we will present design principles for chemical programs. We focus on programs that should compute a qualitative and not quantitative result. the design principles are based on chemical organization theory, which defines a chemical organization as a closed and self- maintaining set of molecular species. the fundamental assumption of so called organization-oriented programming is that computation should be understood as a movement between chemical organizations. In this case we expect that the resulting system is more robust, and fine-tuning of the kinetic laws will be less important.

关键词： Kinetic theory Chemical processes Robustness Microscopy Chemical analysis Information processing Computer architecture Chemical elements Hybrid intelligent systems Mathematical programming

来源：评论

学校读者我要写书评

暂无评论

Second-order cone programming (SOCP) techniques for coordinating large-scale robot teams in polygonal environments

Second-order cone programming (SOCP) techniques for coordina...

引用

7th international conference on Cooperative Control and Optimization

作者： Derenick, Jason C. Spletzer, John R. Lehigh Univ Bethlehem PA 18015 USA

ISBN: (纸本)9783540743545

In this paper, we present an online optimization approach for coordinating large-scale robot teams in both convex and non-convex polygonal environments. In the former, we investigate the problem of moving a team of m robots from an initial shape to an objective shape while minimizing the total distance the team must travel within the specified workspace. Employing SOCP techniques, we establish a theoretical complexity of O(k(1.5)m(1.5)) for this problem with O(km) performance in practice - where k denotes the number of linear inequalities used to model the workspace. Regarding the latter, we present a multi-phase hybrid optimization approach. In Phase I, an optimal path is generated over an appropriate tessellation of the workspace. In Phase II, model predictive control techniques are used to identify optimal formation trajectories over said path while guaranteeing against collisions with obstacles and workspace boundaries. Once again employing SOCP, we establish complementary complexity measures of O(l(3.5)m(1.5)) and O(l(1.5)m(3.5)) for this problem with O(l(3)m) and O(lm(3)) performance in practice - where l denotes the length of the optimization horizon.

关键词： Second-order cone programming

来源：评论

学校读者我要写书评

暂无评论

Computing Sharp Lower and Upper Bounds for the Minimum Latency Problem

Computing Sharp Lower and Upper Bounds for the Minimum Laten...

引用

international conference on Hybrid Intelligent Systems (HIS)

作者： Joao Sarubbi Henrique Pacca Luna Gilberto de Miranda Ricardo Saraiva de Camargo Federal University of Minas Gerais Brazil Federal University of Alagoas Brazil Federal University of Minas Gerais Federal University of Alagoas Federal University of Ouro Preto

the minimum latency problem, also known as traveling repairman problem, the Deliveryman problem and the traveling salesman problem with cumulative costs is a variant of the Traveling Salesman Problem in which a repairman is required to visit customers located on each node of a graph in such a way that the overall waiting times of these customers is minimized. In the present work, an algorithm based on tight different linear programming lower- bounds and a specialized GRASP procedure are presented. the linear programming based lower-bounds are based on the Quadratic Assignment Problem with the aid of side constraints. Instances from 10 up to 60 nodes are solved very close to optimality in reasonable time.

关键词： Upper bound Delay Traveling salesman problems Linear programming Single machine scheduling Hybrid intelligent systems Time sharing computer systems Cost function Lagrangian functions Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

A collocation method for real-time walking pattern generation

A collocation method for real-time walking pattern generatio...

引用

IEEE-RAS international conference on Humanoid Robots

作者： thomas Buschmann Sebastian Lohmeier Mathias Bachmayer Heinz Ulbrich Friedrich Pfeiffer Institute of Applied Mechanics Technische Universität München Germany

this paper presents a new real-time walking pattern generator that calculates center of mass trajectories from footstep locations. Key features are the calculation of reference torque patterns by quadratic programming and the solution of the equations of motion by spline collocation. Fast real-time planning is combined with offline optimisation of free parameters based on a comprehensive simulation of the closed loop system to automatically generate optimally tuned walking controllers. the effectiveness of the proposed method is shown using a dynamics simulation of the robot JOHNNIE.

关键词： Legged locomotion Torque Quadratic programming Equations Spline Real time systems Motion planning Closed loop systems Optimal control Automatic generation control

来源：评论

学校读者我要写书评

暂无评论

A virtual orthogonal output direct digital frequency synthesizer design and implementation

A virtual orthogonal output direct digital frequency synthes...

引用

international conference on ASIC

作者： Chang Wu Zhong-wen Lan Ke-lin Jia Chuang Bi State Key Laboratory of Electronic Thin Films and Integrated Devices Science and Technology of China University of Electronic Science and Technology Chengdu China

In this paper a comparison between the existing ROM compression techniques was performed. Inaccuracies and shortages of previous techniques are pointed out. A virtual orthogonal output direct digital frequency synthesizer is presented. Using a new decomposition method, it can achieve more accuracy outputs and doesn't require any ROM tables. A new graphical programming environment, namely LabVIEW (laboratory virtual instrument engineering workbench), is adopted in this paper for designing and implementation. Because LabVIEW allows multiple operations to be performed in parallel, the virtual orthogonal output DDFS is better for high-speed applications.

关键词： Frequency synthesizers Read only memory Clocks Table lookup Low pass filters Local area networks Bismuth Laboratories thin film devices programming environments

来源：评论

学校读者我要写书评

暂无评论

Approximate policy transfer applied to simulated Bongo Board balance

Approximate policy transfer applied to simulated Bongo Board...

引用

IEEE-RAS international conference on Humanoid Robots

作者： Stuart O. Anderson Jessica K. Hodgins Christopher G. Atkeson Robotics Institute Carnegie Mellon University USA

Developing global policies for humanoid robots using dynamic programming is difficult because they have many degrees of freedom. We present a formalism whereby a value function for a humanoid robot can be approximated using the known value functions of similar systems. these similar systems can include approximate models of the robot with reduced dimensionality or trajectories derived from human motion capture data. Once an approximate value function is known, a local controller is used to compute control signals. the approximate value function provides information about the global strategies that should be used to solve the task. the local controller provides complementary information about the robots dynamics. We present an implementation of this strategy and simulation results generated by this implementation.

关键词： Humanoid robots Humans Function approximation Dynamic programming Control systems Motion control Computational modeling Orbital robotics State-space methods Animation

来源：评论

学校读者我要写书评

暂无评论

Using Gavish-Grave LP to formulate the directed black and white traveling salesman problem

Using Gavish-Grave LP to formulate the directed black and wh...

引用

7th international conference on Computational Science (ICCS 2007)

作者： Jiang, He Zhang, XianChao Li, MingChu Che, HaoYang Dalian Univ Technol Sch Software Dalian 116621 Peoples R China Chinese Acad Sci Inst Software Beijing 100080 Peoples R China

ISBN: (纸本)9783540725879

the black and white traveling salesman problem (BWTSP) is a new class of NP-hard problem arising from work on airline scheduling and telecommunication fiber networks. the existing Ghiani LP for the undirected BWTSP contains an exponential number of constraints. For a special case of the directed BWTSP whose L = +infinity, the LP with polynomial number of constraints could be obtained by transforming it to an asymmetric traveling salesman problem with replenishment arcs (RATSP), whereas there exists no LP for the directed BWTSP in its general form. this paper proposes a LP with 3n(2) +2n constraints only for the directed BWTSP in such a way that, by reducing the problem to an asymmetric traveling salesman problem (ATSP), we add n(2) cardinality constraints and n(2) length constraints to the existing Gavish-Grave LP for the ATSP. the new LP is also valid for the undirected BWTSP when viewed as a special case of the directed BWTSP.

关键词： black and white traveling salesman problem linear programming Gavish-Grave LP

来源：评论

学校读者我要写书评

暂无评论

Multi-model architecture for ITS software design improvements

Multi-model architecture for ITS software design improvement...

引用

international conference on ITS Telecommunications (ITST)

作者： Aurelien Bocquet Christophe Gransart INRETS/LEOST Villeneuve d'Ascq France

ITS components are more and more software components, so ITS design research seems to join software engineering one. But if communication middlewares are well suited to standard software design, they become insufficient when software aims mobility, and especially ITS. We propose a solution based on a multi-model approach, able to simplify the work of ITS software designers, and to ensure communication between distributed components, however is the quality or availability of the network connection. We also present an application work, applying our multi-model approach to providing Internet access in trains.

关键词： Computer architecture Software design Middleware Communication system software Context Vehicles programming profession Intelligent systems Intelligent sensors Safety

来源：评论

学校读者我要写书评

暂无评论

thermal-aware incremental floorplanning for 3D ICs

Thermal-aware incremental floorplanning for 3D ICs

引用

international conference on ASIC

作者： Xin Li Yuchun Ma Xianlong Hong Sheqin Dong Department of Computer Science & Technology Tsinghua University Beijing China

three dimensional integrated circuits (3 D ICs) are introduced as one way to address the bottlenecks from interconnect delays in sub-micro VLSI design. Despite their advantages over traditional 2 D ICs, the heat dissipation has become an extremely important issue in 3 D ICs. In this paper, a novel thermal-driven 3 D incremental floorplanning algorithm is proposed using the mixed integer linear programming (MILP) formulation. With our analytical approach, chip-area, wirelength and maximal on-chip temperature could be optimized simultaneously. Additionally, by the iterative modification flow, we can improve the packing result incrementally. Experimental results show that compared to the original floorplans, our incremental floorplans could reduce max on-chip temperature by about 27 % while chip area and total wirelength are enlarged just 1 % and 2 %, respectively.

关键词： thermal conductivity Temperature Iterative algorithms Integrated circuit modeling Delay Algorithm design and analysis Heat transfer Mixed integer linear programming Wire Cooling

来源：评论

学校读者我要写书评

暂无评论

Monolithic integration of E/D-mode pHEMT and InGaP HBT technology on 150- mm GaAs wafers

Monolithic integration of E/D-mode pHEMT and InGaP HBT techn...

引用

22nd international conference on Compound Semiconductor Manufacturing Technology, CS MANTECH 2007

作者： Lin, C.K. Tsai, T.C. Yu, S.L. Chang, C.C. Cho, Y.T. Yuan, J.C. Ho, C.P. Chou, T.Y. Huang, J.H. Tu, M.C. Wang, Y.C. WIN Semiconductors Corporation Hwaya Technology Park No. 69 Technology 7th Rd. Kuei Shan Hsiang Tao Yuan Shien Taiwan

ISBN: (纸本)1893580091

Wafer-level integration of GaAs enhancement-mode pHEMT, depletion-mode pHEMT and HBT (H2W is the code name at WIN) is a very appealing technology, which offers a number of significant advantages over conventional device technologies. In this paper, we report the development status of the H2W at WIN Semiconductors. MOCVD-grown epitaxial material is selected with InGaP HBT on top of pHEMT device to minimize the potential drawback of excessive parasitic compared to the pHEMT atop of HBT structure. Critical process steps, such as gate photolithography and gate recess process control, will be discussed and presented. the ED-pHEMT and HBT electrical performance (DC, small signal, noise, and power) and uniformity data will be included in the paper as well. functional building blocks, such as high power switches and power amplifiers, based on the H2W technology will also be demonstrated.

关键词： III-V semiconductors

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共361页 << < 259 260 261 262 263 264 265 266 267 268 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：