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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

667 篇 期刊文献
619 篇 会议
23 册 图书

馆藏范围

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

日期分布

学科分类号

799 篇 工学
- 526 篇 计算机科学与技术...
- 437 篇 软件工程
- 153 篇 控制科学与工程
- 128 篇 信息与通信工程
- 85 篇 电气工程
- 68 篇 生物工程
- 56 篇 电子科学与技术（可...
- 55 篇 机械工程
- 55 篇 生物医学工程（可授...
- 48 篇 光学工程
- 37 篇 动力工程及工程热...
- 32 篇 化学工程与技术
- 29 篇 仪器科学与技术
- 28 篇 材料科学与工程（可...
- 25 篇 力学（可授工学、理...
- 25 篇 土木工程
- 24 篇 安全科学与工程
518 篇 理学
- 278 篇 数学
- 128 篇 物理学
- 115 篇 系统科学
- 88 篇 统计学（可授理学、...
- 87 篇 生物学
- 41 篇 化学
186 篇 管理学
- 132 篇 管理科学与工程(可...
- 67 篇 工商管理
- 57 篇 图书情报与档案管...
68 篇 医学
- 56 篇 临床医学
- 48 篇 基础医学(可授医学...
- 28 篇 公共卫生与预防医...
27 篇 经济学
- 27 篇 应用经济学
25 篇 法学
18 篇 教育学
15 篇 农学
3 篇 文学
2 篇 军事学
2 篇 艺术学

主题

69 篇 computer science
68 篇 laboratories
58 篇 software enginee...
36 篇 grid computing
35 篇 application soft...
32 篇 software systems
31 篇 cloud computing
27 篇 computational mo...
27 篇 machine learning
26 篇 quality of servi...
26 篇 mathematics
25 篇 resource managem...
23 篇 deep learning
22 篇 systems engineer...
21 篇 costs
20 篇 processor schedu...
19 篇 computer archite...
18 篇 artificial intel...
17 篇 distributed comp...
17 篇 testing

机构

31 篇 beijing key labo...
26 篇 grid computing a...
22 篇 school of electr...
22 篇 seventh research...
21 篇 software enginee...
17 篇 state key labora...
16 篇 school of mathem...
16 篇 key laboratory o...
15 篇 department of co...
14 篇 college of compu...
14 篇 software enginee...
12 篇 state key labora...
10 篇 university of ch...
9 篇 academy of mathe...
9 篇 cloud computing ...
8 篇 key laboratory o...
8 篇 school of electr...
7 篇 university colle...
7 篇 grid computing a...
7 篇 computing and so...

作者

48 篇 rajkumar buyya
33 篇 junping du
31 篇 yingmin jia
22 篇 fashan yu
20 篇 buyya rajkumar
18 篇 ismail leila
15 篇 veera boonjing
14 篇 liu ya-feng
12 篇 materwala huned
10 篇 sarun intakosum
10 篇 bei zeng
10 篇 cheng betty h. c...
10 篇 zhengfeng ji
10 篇 badri mourad
9 篇 p.k. mckinley
8 篇 badri linda
8 篇 bakas spyridon
8 篇 liu xin
8 篇 yu wei
8 篇 yiguang hong

语言

1,233 篇 英文
67 篇 其他
7 篇 中文
1 篇 德文
1 篇 法文
1 篇 日文

检索条件"机构=Software Systems Engineering Laboratory Department of Mathematics and Computer Science"

共 1309 条记录，以下是1061-1070 订阅

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

详细简洁

排序：

A New Case-Based Classifier System Using Rough Formal Concept Analysis

A New Case-Based Classifier System Using Rough Formal Concep...

引用

International Conference on Convergence Information Technology

作者： Puntip Pattaraintakorn Veera Boonjing Jirapond Tadrat Department of Mathematics and Computer Science Faculty of Science King Mongkut's Institute of Technology Ladkrabang Bangkok Thailand Sof Tware Systems Engineering Laboratory Department of Mathematics and Computer Science King Mongkut's Institute of Technology Ladkrabang Bangkok Thailand

Rough set theory and formal concept analysis were invented by Pawlak and Wille in the 1980s and have been applied successfully in several domains. In this paper, we propose a new case-based classifier system based on an integrated rough set theory and formal concept analysis technique. We focus on the construction of a better knowledge base to produce the classification rules. Our system employs rough set theory to discover reduced cases. We then formulate a knowledge base with hierarchical structure by using formal concept analysis. The result is a concept lattice knowledge base embedded in our case-based classifier. We can generate classification rules from implications and subconcept-superconcept relations inside the obtained concept lattice. An illustrative example and a case study are provided to demonstrate the feasibility and applicability of our system. The advantages of our system are thus a better knowledge base for new problem classification and the flexibility to learn new rules.

关键词： Lattices Set theory mathematics computer science Problem-solving Information analysis software systems systems engineering and theory Laboratories Information technology

来源：评论

学校读者我要写书评

暂无评论

Jeeva: Enterprise Grid Enabled Web Portal for Protein Secondary Structure Prediction

Jeeva: Enterprise Grid Enabled Web Portal for Protein Second...

引用

International Conference on Advanced Computing and Communications (ADCOM)

作者： Chao Jin Jayavardhana Gubbi Rajkumar Buyya Marimuthu Palaniswami Grid Computing and Distributed Systems (GRIDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Melbourne VIC Australia Department of Electrical and Electronic Engineering University of Melbourne Melbourne VIC Australia

This paper presents a grid portal for protein secondary structure prediction developed by using services of Aneka, a .NET-based enterprise grid technology. The portal is used by research scientists to discover new prediction structures in a parallel manner. An SVM (support vector machine)-based prediction algorithm is used with 64 sample protein sequences as a case study to demonstrate the potential of enterprise grids.

关键词： Portals Protein engineering Grid computing Prediction algorithms Support vector machines Distributed computing Environmental management Chaos computer science History

来源：评论

学校读者我要写书评

暂无评论

Advanced QoS methods for Grid workflows based on meta-negotiations and SLA-mappings

Advanced QoS methods for Grid workflows based on meta-negoti...

引用

Workshop on Workflows in Support of Large-Scale science, WORKS

作者： Ivona Brandic Dejan Music Schahram Dustdar Srikumar Venugopal Rajkumar Buyya Institute of Information Systems University of Technology Vienna Austria Grid Computing and Distributed System (GRIDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia

In novel market-oriented resource sharing models, resource consumers pay for the resource usage and expect that non-functional requirements for the application execution, termed as quality of service (QoS), are satisfied. QoS is negotiated between two parties following the specific negotiation protocols and is recorded using service level agreements (SLAs). However, most of the existing work assumes that the communication partners know about the SLA negotiation protocols and about the SLA templates before entering the negotiation. However, this is a contradictory assumption, if we consider computational grids and novel, commercially oriented computing clouds where consumers and providers meet each other dynamically. In this paper, we present novel meta-negotiation and SLA-mapping solutions for grid workflows bridging the gap between current QoS models and grid workflows, one of the most successful grid programming paradigms. We illustrate the open research issues with a real world case study. Thereafter, we present document models for the specification of meta-negotiations and SLA-mappings. We discuss the architecture for the management of meta-negotiations and SLA-mappings as well as integration of the architecture into a grid workflow management framework.

关键词： Quality of service Protocols Grid computing Cloud computing Resource management Information systems Laboratories computer science software engineering Application software

来源：评论

学校读者我要写书评

暂无评论

Determining an appropriate number of FOUPs in semiconductor wafer fabrication facilities 08

Determining an appropriate number of FOUPs in semiconductor ...

引用

Simulation Winter Conference

作者： Jens Zimmermann Scott J. Mason John W. Fowler Lars Monch Enterprise-wide Software Systems Department of Mathematics and Computer Science University of Hagen Hagen Germany Department of Industrial Engineering University of Arkansas Fayetteville AR USA Department of Industrial Engineering Arizona State University Tempe AZ USA

ISBN: (纸本)9781424427086

In this paper, multiple orders per job type formation and release strategies are described for semiconductor wafer fabrication facilities (wafer fabs). Different orders are grouped into one job because orders of an individual customer very often fill only a portion of a front-opening unified pod (FOUP). A FOUP is assigned to each job and is used to move the job throughout the wafer fab after the job formation. We determine an appropriate number of FOUPs for a given order release rate that will yield acceptable values for on-time delivery performance, cycle time, and throughput via discrete event simulation.

关键词： Fabrication Job shop scheduling Industrial engineering Throughput Discrete event simulation Semiconductor device manufacture Computational modeling software systems mathematics computer science

来源：评论

学校读者我要写书评

暂无评论

Checking Session-Oriented Interactions between Web Services

Checking Session-Oriented Interactions between Web Services

引用

Euromicro Conference on software engineering and Advanced Applications (SEAA)

作者： Pavel Parizek Jiri Adamek Faculty of Mathematics and Physics Department of Software Engineering Distributed Systems Research Group Charles University Prague Czech Republic Institute of Computer Science Academy of Sciences슠of the슠Czech Republic Czech Republic

Although Web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the Web services often work as front-ends to enterprise systems and are used in a session-oriented way by the clients. Contrary to the case of stateless services, for a stateful Web service there exist constraints to the order in which the operations of the service may be invoked. However, specification of such constraints is not a standard part of a Web service interface, and compliance with such constraints is not checked by the standard Web service development tools. Therefore, we propose in this paper to extend a web service interface by a constraint definition that is based on behavior protocols. Also, we implemented a tool that checks whether a given BPEL code complies with the constraints of all stateful web services it communicates with. The key idea behind the tool is to translate the BPEL code into Java and then to check the Java program using Java PathFinder with behavior protocol extension.

关键词： Web services Java software engineering Simple object access protocol Standards development XML Application software mathematics Physics computer science

来源：评论

学校读者我要写书评

暂无评论

A Fuzzy Particle Swarm Approach to Multiobjective Quadratic Assignment Problems

A Fuzzy Particle Swarm Approach to Multiobjective Quadratic ...

引用

Asia International Conference on Modeling & Simulation

作者： Mingyan Zhao Ajith Abraham Crina Grosan Hongbo Liu School of Software Dalian University of Technology Dalian China Centre for Quantifiable Quality of Service in Communication Systems Norwegian University of Science and Technology Trondheim Norway Department of Computer Science Faculty of Mathematics and Computer Science Babes Bolyai University Cluj-Napoca Romania School of Computer Science and Engineering Dalian Maritime University Dalian China

The multiobjective Quadratic Assignment Problem (mQAP) is considered as one of the hardest optimization problems but with many real-world applications. Since it may not be possible to simply weight the importance of each flow for the mQAP, it is best to use Pareto optimization to obtain the Pareto front or an approximation of it. Although Particle Swarm Optimization (PSO) algorithm has exhibited good performance across a wide range of application problems, research on mQAP has not much been investigated. This paper introduces a fuzzy particle swarm algorithm to handle the Multiobjective Quadratic Assignment Problem (mQAP). In the fuzzy scheme, the representations of the position and velocity of the particles in the conventional PSO is extended from the real vectors to fuzzy matrices. A new mapping is introduced between the particles in the swarm and the problem space in an efficient way. We evaluated the performance of the proposed approach. Empirical results illustrate that the approach can be applied for solving mQAP's very effectively.

关键词： Particle swarm optimization computer science Ant colony optimization Asia Mathematical model computer simulation Fuzzy systems Communication system software software quality Quality of service

来源：评论

学校读者我要写书评

暂无评论

Development and control of dolphin-like underwater vehicle

Development and control of dolphin-like underwater vehicle

引用

American Control Conference (ACC)

作者： Yonghui Hu Long Wang Junzhi Yu Jiyan Huo Yingmin Jia Languages Informatics Systems and Software Engineering Department Faculty of Computer Science Peking University Beijing China Laboratory of Complex Systems and Intelligence Science Institute of Automation Chinese Academy of Sciences Beijing China Seventh Research Division Beihang University Beijing China

This paper is concerned with prototype development and motion control of a dolphin-like underwater robot. The propulsion and maneuvering of the robotic dolphin are realized with the flapping motion of the mechanical flippers and the combined heaving and pitching motions of the fluke. Mechanical design and control of the flipper apparatus and the flexible tail mechanism are presented. Through coordinated control of the propulsors, several swimming movements are designed. Preliminary experimental results verify the effectiveness of the proposed design scheme.

关键词： Underwater vehicles Dolphins Robot kinematics Propulsion Marine animals Motion control Tail Robot sensing systems Control systems Automotive engineering

来源：评论

学校读者我要写书评

暂无评论

Graph Partitioning Technique for Separating Nets in Single-row Networks

Graph Partitioning Technique for Separating Nets in Single-r...

引用

2008年国际电子商务、工程及科学领域的分布式计算和应用学术研讨会

作者： Norazaliza Mohd.Jamil Noraziah Ahmad Shaharuddin Salleh Faculty of Computer Systems & Software Engineering Universiti Malaysia PahangLocked Bag 1225000KuantanPahangMalaysia Department of Mathematics Faculty of ScienceUniversiti Teknologi Malaysia81310Johor BahruMalaysia

Single-row routing is fundamentally a routing technique for pairs of nodes arranged in a single-row *** contributes in the printed circuit hoard(PCB)design. The main objective in single-row routing is to achieve minimum congestion arising from the number of horizontal tracks in the *** results for a single layer network have been achieved through our previous model called ***,a single layer model suffers from non-tolerable lower bound values with high congestion depending on the network size. These results may further be improved by partitioning the network into two or more *** this paper,we propose a technique based on the graph partitioning concept for partitioning the nodes from a single-row network into several layers of planar *** experiment result shows that the proposed technique is able to decrease the network congestions.

关键词： Single-row routing ESSR graph partitioning maximum clique Kernighan-Lin algorithm

来源：评论

学校读者我要写书评

暂无评论

Emerging Collective Behaviors of Animal Groups

Emerging Collective Behaviors of Animal Groups

引用

7th World Congress on Intelligent Control and Automation (WCICA 2008), vol.3

作者： Jinhu Lu Jing Liu I. D. Couzin S. A. Levin Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing China State Key Laboratory of Software Engineering Wuhan University of China Wuhan China Department of Ecology and Evolutionary Biology Princeton University Princeton NJ USA

Many animal groups routinely make consensus decisions jointly with all group members. This paper builds a novel model merging the locally neighboring reciprocal action and alignment together to investigate the mechanisms of consensus decision-making and its robustness. Our model reveals that the shapes of the coherent flocks are limited in a common narrow interval for different group sizes and information structures. Moreover, the coherent groups display a surprising degree of tolerance against errors, however, they simultaneously show an extremely fragile to attacks. Our model and approach discover some novel phenomena and also reveal some underlying mechanisms of the consensus decision-making and its robustness in biological systems.

关键词： Animals Decision making Accuracy Robustness Shape Distance measurement Bifurcation

来源：评论

学校读者我要写书评

暂无评论

Quantum algorithms for bio-molecular solutions to the satisfiability problem on a quantum computer

Quantum algorithms for bio-molecular solutions to the satisf...

引用

Congress on Evolutionary Computation

作者： Weng-Long Chang Ting-Ting Ren Jun Luo Mang Feng Minyi Guo Department of Computer Science and Information Engineering National Kaohsiung University of Applied Sciences Kaohsiung Taiwan State Key Laboratory of Magnetic Resonance and Atomic and Molecular Physics Wuhan Institute of Physics and Mathematics Chinese Academy and Sciences Wuhan China Department of Computer Software University of Aizu Fukushima Japan

We demonstrate that the logic computation performed by the DNA-based algorithm for solving general cases of the satisfiability problem can be implemented by our proposed quantum algorithm on the quantum machine proposed by Deutsch. Moreover, we also prove that the logic computation by the bio-molecular operations proposed by Adleman can be implemented by quantum gates (for example, the Hadamard gate, NOT, CNOT, and CCNOT) on the quantum machine. Furthermore, those NP-complete problems solved on a bio-molecular computer are also solvable on a quantum computer. To test our theory, we carry out a three-qubit NMR experiment for solving the simplest satisfiability problem.

关键词： Quantum computing Registers Logic gates computers Nuclear magnetic resonance NP-complete problem Artificial neural networks

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共131页 << < 103 104 105 106 107 108 109 110 111 112 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：