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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

馆藏范围

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

日期分布

学科分类号

2,402 篇 工学
- 1,900 篇 计算机科学与技术...
- 1,151 篇 软件工程
- 418 篇 电气工程
- 270 篇 控制科学与工程
- 199 篇 信息与通信工程
- 128 篇 机械工程
- 72 篇 石油与天然气工程
- 64 篇 生物医学工程（可授...
- 59 篇 电子科学与技术（可...
- 56 篇 交通运输工程
- 55 篇 材料科学与工程（可...
- 51 篇 生物工程
- 45 篇 化学工程与技术
- 41 篇 动力工程及工程热...
- 38 篇 土木工程
- 35 篇 仪器科学与技术
- 34 篇 冶金工程
674 篇 理学
- 485 篇 数学
- 104 篇 物理学
- 85 篇 系统科学
- 80 篇 统计学（可授理学、...
- 74 篇 生物学
- 50 篇 化学
404 篇 管理学
- 339 篇 管理科学与工程(可...
- 149 篇 工商管理
- 81 篇 图书情报与档案管...
105 篇 教育学
- 102 篇 教育学
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...
64 篇 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,430 篇 英文
144 篇 其他
28 篇 中文
5 篇 葡萄牙文
2 篇 俄文
1 篇 西班牙文

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

共 3603 条记录，以下是2311-2320 订阅

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

详细简洁

排序：

MDAI: Model based design in automobile industry

MDAI: Model based design in automobile industry

引用

IEEE international conference on Industrial Informatics (INDIN)

作者： Joao Carlos Amaro Ferreira GuIAA-ISEL Lisboa Portugal

It is proposed a new approach based on a methodology, assisted by a tool, to create new products in the automobile industry based on previous defined processes and experiences inspired on a set of best practices or principles: it is based on high-level models or specifications; it is component-based architecture centric; it is based on generative programming techniques. this approach follows in essence the MDA (Model Driven Architecture) philosophy with some specific characteristics. We propose a repository that keeps related information, such as models, applications, design information, generated artifacts and even information concerning the development process itself (e.g., generation steps, tests and integration milestones). Generically, this methodology receives the users' requirements to a new product (e.g., functional, non-functional, product specification) as its main inputs and produces a set of artifacts (e.g., design parts, process validation output) as its main output, that will be integrated in the engineer design tool (e.g. CAD system) facilitating the work.

关键词： Automobiles Vehicles Packaging Design automation Unified modeling language Ergonomics Process design Automotive engineering Product development programming

来源：评论

学校读者我要写书评

暂无评论

Multisensor Fusion and Integration for Intelligent Systems: An Edition of the Selected Papers from the IEEE international conference on Multisensor Fusion and Integration for Intelligent Systems 2008

Multisensor Fusion and Integration for Intelligent Systems: ...

引用

7th IEEE international conference on Multi-Sensor Integration and Fusion, IEEE MFI 2008

ISBN: (纸本)9783540898580

the proceedings contain 32 papers. the topics discussed include: performance analysis of GPS/INS integrated system by using a non-linear mathematical model;object-level fusion and confidence management in a multi-sensor pedestrian tracking system;optimal view selection and event retrieval in multi-camera office environment;a comparison of track-to-track fusion algorithms for automotive sensor fusion;most probable data association with distance and amplitude information for target tracking in clutter;efficient multi-target tracking with sub-event IMM-JPDA and one-point prime initialization;behavioral programming with hierarchy and parallelism in the DARPA urban challenge and robocup;map fusion based on a multi-map slam framework;and 3D reflectivity reconstruction by means of spatially distributed kalman filters.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Aspect Oriented design of real-time applications

Aspect Oriented design of real-time applications

引用

IEEE international conference on Industrial Informatics (INDIN)

作者： Naoufel Machta M. Taha Bennani Samir Ben Ahmed Faculté des sciences Unité de recherche MOSIC Tunis Tunisia Unité de recherche MOSIC Faculté des sciences de Tunis d'Informatique et de Mathématiques de Institut Supérieur Monastir Des Sciences Appliquées et de Technologie Institut National Tunisia Institut National des Sciences Appliquées et de Technologie

Designing real-time system is hard and costly. Real-time application designer must care about functional design and real-time constraints. Aspect oriented programming (AOP) allows the separation of the functional mechanisms from the non-functional ones. the separation of concerns (SoC) in AOP enhances the productivity and reduces the applications cost. In this paper we propose a SoC approach for designing real-time applications. the main idea is to process standard applications into real-time ones. the processing is done by ldquoweavingrdquo real-time constraints on the standard applications model. We introduce a rule which defines how real-time constraints will be woven. Depending on the design language, this rule will have a set of instantiation values. We gess, in this paper, the case of UML designed standard applications which will be processed into a MARTE (i.e. UML profile for modeling and analyzing real-time and embedded systems) real-time application model.

关键词： Real time systems Weaving Unified modeling language Embedded system Runtime Productivity Costs Scheduling Operating systems functional programming

来源：评论

学校读者我要写书评

暂无评论

An SVC-MDC video coding scheme using the multi-core parallel programming paradigm for P2P video streaming

An SVC-MDC video coding scheme using the multi-core parallel...

引用

7th IEEE/ACS international conference on Computer Systems and Applications, AICCSA-2009

作者： Huang, Chung-Ming Lin, Chung-Wei Yang, Chia-Ching Chang, Chung-Heng Ku, Hao-Hsiang Laboratory of Multimedia Mobile Networking Department of Computer Science and Information Engineering National Cheng Kung University Tainan Taiwan

ISBN: (纸本)9781424438068

In this paper, we propose a COmbined SVC-MDC (Scalable Video Coding & Multiple Description Coding) video coding scheme using the multi-core parallel programming paradigm for P2P video streaming, which is denoted Co-SVCMDC. To date, P2P video streaming applications are widely popular and emphasized, e.g., PPstream and PPlive, because of higher transmission speed and data availability. However, in the heterogeneous P2P network environment, users are able to utilize PDA, notebook or desktop computer through distinct network interfaces to get on-demand videos ubiquitously. To provide distinct spatial-resolution/ fidelity videos and flexible video transmission (playback) over P2P networks, a brand new coding architecture needs to be devised. In the proposed Co-SVC-MDC coding scheme, distinct MDC descriptions contain distinct portions of raw video frames, and each raw frame can be compressed as base layer and SVC enhancement layers. In our experiments, a real implementation of Co-SVC-MDC is exhibited and corresponding performances, e.g., PSNR and decoding speeds, are compared with original SVC in distinct congestion-level P2P networks. © 2009 IEEE.

关键词： Scalable video coding

来源：评论

学校读者我要写书评

暂无评论

Performance Evaluation of Auctions WLAN for RoboCup Multi-Robot Cooperation

Performance Evaluation of Auctions WLAN for RoboCup Multi-Ro...

引用

7th ACS/IEEE international conference on Computer Systems and Applications (AICCSA-09)

作者： Al-Mouhamed, Mayez A. Siddiqi, Umair F. King Fahd Univ Petr & Minerals Dept Comp Engn Coll Comp Sci & Engn Dhahran 31261 Saudi Arabia King Fahd Univ Petr & Minerals Ctr Informat Technol Dhahran 31261 Saudi Arabia

ISBN: (纸本)9781424438075

A three-level architecture for a team of autonomous cooperative robots has been proposed. A dynamic Joint-Commitment scheme is proposed to support the formulation of relational behaviors for cooperative robots playing soccer. Teamwork between two robots which know from each other that they are committed to a relational behavior may pass the ball from one robot to another, receive the ball and kick, and handle exceptions. the joint commitment is established based on a finite state machine and a messaging system to: (1) synchronize the pass behavior, (2) reiterate the process and extend the pass to another partner, or (3) break the commitment and search for a new partner depending on dynamic game conditions. To provide dynamic joint-commitment and needed synchronization a fast, reliable, and power aware communication model is needed for Ad-Hoc wireless networks forming a cooperating multi-robot system. Current techniques are based on client-server, Publish/Subscribe, and Peer/Peer communication which are not suitable. For this we implemented and evaluated an auction based communication model based on (1) TCP Peer to Peer Scheme, (2) UDP Peer to Peer (UPTP) Scheme, and (3) UDP Broadcast and Token Passing (UBTP) scheme. Evaluation reports the distribution of auction completion times and power consumption for auction-based and peer-to-peer communication.

关键词： behavior programming distributed intelligence multi-robot cooperation robocup

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of a Data Processing and Visualization System for STEP-NC Programs

Design and Implementation of a Data Processing and Visualiza...

引用

7th international conference on e-Engineering and Digital Enterprise Technology

作者： Liu, Riliang Zhang, Xianzhi Zhang, Chengrui Shandong Univ Sch Mech Engn Jinan 250061 Shandong Peoples R China

ISBN: (纸本)9780878492992

Over the last decade a new data interface for CAM/CNC integration has been established to replace ISO 6983. the new standard, ISO 14649 (STEP-NC), provides a comprehensive data model that describes both geometrical and technological information in an object-oriented way. In order to bridge the gap between such rich-information programs and the legacy CNC systems, this paper presents a framework for manipulating the manufacturing data in STEP-NC part programs. the proposed system provides a basic platform for STEP-NC program interpretation, geometry visualization, micro-process planning and program re-generation. Major issues relating to the realization of manufacturing information extraction and shop-floor-level process planning are addressed in particular, and a prototype for STEP-NC turning process is implemented to demonstrate the feasibility of the approach.

关键词： CAM/CNC STEP-NC NC programming Turning process

来源：评论

学校读者我要写书评

暂无评论

Gene expression programming for induction of finite transducer

Gene expression programming for induction of finite transduc...

引用

international conference on Information, Communications and Signal Processing

作者： Jandhyala Seetha Manognya Lipo Wang School of Electrical & Electronic Engineering Nanyang Technological University Singapore Singapore

ISBN: (纸本)9781424446568

this paper presents an alternative method for solving the problem of finite transducers using gene expression programming (GEP). Each individual in the GEP system represents a Mealy machine with outputs for each state. Be means of roulette-wheel sampling, individuals are chosen for the next generation and are put through a series of genetic operators which seek to change the mark-up of the individual to better fit the selection environment/ fitness sets. the system was tested with five problems to show its effectiveness and success at solving all of those problems.

关键词： Gene expression Transducers Genetic programming Biological cells Automata Evolution (biology) Sampling methods Magnetic heads Tail System testing

来源：评论

学校读者我要写书评

暂无评论

Derivative-free descent method for nonlinear complementarity problem via square Penalized Fischer-Burmeister function

Derivative-free descent method for nonlinear complementarity...

引用

IEEE international conference on Industrial Informatics (INDIN)

作者： M. A. Tawhid Department of Mathematics and Statistics School of Advanced Technologies and Mathematics Thompson Rivers University Kamloops BC Canada

ISBN: (纸本)9781424437597

the nonlinear complementarity problem (NCP) has been served as a general framework for linear, quadratic, and nonlinear programming, linear complementarity problem, and some equilibrium problems. Applications of the NCP can be found in many important fields such as economics, mathematical programming, operations research, engineering and mechanics. In this article, we consider smooth NCP on the basis of the square penalized Fischer-Burmeister function. We show under certain assumptions, any stationary point of the unconstrained minimization problem is already a solution of smooth NCP. Furthermore, a derivative-free descent algorithm is suggested and conditions for its convergence are given. Finally, some preliminary numerical results are presented.

关键词： Costs Communication system traffic control Traffic control Telecommunication traffic Natural gas Mathematics Linear programming Mathematical programming Quadratic programming Economic forecasting

来源：评论

学校读者我要写书评

暂无评论

Refactoring of Statecharts

Refactoring of Statecharts

引用

7th international conference on Next Generation Information Technologies and Systems

作者： Abadi, Moria Feldman, Yishai A. Tel Aviv Univ Tel Aviv Israel IBM Haifa Res Lab Haifa Israel

ISBN: (纸本)9783642049408

Statecharts are an important tool for specifying the behavior of reactive systems, and development tools can automatically generate object-oriented code from them. As the system is refactored, it is necessary to modify the associated statecharts as well, performing operations such as grouping or ungrouping states, extracting part of a statechart into a separate class, and merging states and transitions. Refactoring tools embedded in object-oriented development environments are making it much easier for developers to modify their programs. However, tool support for refactoring statecharts does not yet exist. As a result, developers avoid making certain changes that are too difficult to perform manually, even though design quality deteriorates. Methodologically, statecharts were meant to enable a systems engineer to describe a complete system, which would then be refined into a concrete implementation (object-oriented or other). this process is not supported by object-oriented development environments, which force each statechart to be specified as part of a class. Automated tool support for refactoring statecharts will also make this kind of refinement possible. this paper describes a case study that shows the usefulness of refactoring support for statecharts, and presents an initial catalog of relevant refactorings. We show that a top-down refinement process helps identify the tasks and classes in a natural way.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

A case study on migration from IEC 61131 PLC to IEC 61499 function block control

A case study on migration from IEC 61131 PLC to IEC 61499 fu...

引用

IEEE international conference on Industrial Informatics (INDIN)

作者： William Wenbin Dai Valeriy Vyatkin Department of Electrical and Computer Engineering University of Auckland Auckland New Zealand

ISBN: (纸本)9781424437597

the IEC 61499 architecture is a new standard proposed to replace current PLC technologies. this paper aims to develop a guide to migrate from IEC 61131 PLC technologies to IEC 61499 function blocks, especially for PLC programmers. Multiple PLC platforms are chosen as examples and transformed function block system is provided. Beyond migration rules, current limitation and cautions during migration are discussed on the final section of this paper.

关键词： IEC standards Programmable control Computer languages Automation Distributed control Libraries Materials handling Computer architecture programming profession Automatic programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共361页 << < 228 229 230 231 232 233 234 235 236 237 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：