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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

94 篇 会议
75 篇 期刊文献
3 册 图书

馆藏范围

172 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

110 篇 工学
- 80 篇 计算机科学与技术...
- 70 篇 软件工程
- 23 篇 控制科学与工程
- 14 篇 生物工程
- 13 篇 信息与通信工程
- 9 篇 电气工程
- 7 篇 电子科学与技术（可...
- 7 篇 生物医学工程（可授...
- 7 篇 安全科学与工程
- 5 篇 机械工程
- 5 篇 土木工程
- 4 篇 光学工程
- 3 篇 仪器科学与技术
- 3 篇 建筑学
- 3 篇 环境科学与工程（可...
61 篇 理学
- 34 篇 数学
- 16 篇 物理学
- 16 篇 系统科学
- 15 篇 生物学
- 10 篇 统计学（可授理学、...
- 3 篇 海洋科学
31 篇 管理学
- 21 篇 管理科学与工程(可...
- 14 篇 图书情报与档案管...
- 11 篇 工商管理
10 篇 医学
- 10 篇 基础医学(可授医学...
- 10 篇 临床医学
- 7 篇 公共卫生与预防医...
- 3 篇 药学(可授医学、理...
2 篇 法学
- 2 篇 社会学
2 篇 教育学
- 2 篇 教育学
1 篇 经济学

主题

17 篇 computer science
14 篇 mathematics
12 篇 software systems
11 篇 systems engineer...
11 篇 data mining
10 篇 software enginee...
9 篇 laboratories
7 篇 internet of thin...
7 篇 xml
7 篇 machine learning
5 篇 deep learning
5 篇 itemsets
5 篇 software testing
5 篇 students
5 篇 artificial intel...
4 篇 information syst...
4 篇 lattices
3 篇 adaptive systems
3 篇 application soft...
3 篇 software algorit...

机构

7 篇 department of in...
6 篇 software systems...
6 篇 computing and so...
6 篇 department of co...
5 篇 mathematics and ...
5 篇 beijing key labo...
5 篇 key laboratory o...
5 篇 state key labora...
5 篇 department of co...
4 篇 department of co...
4 篇 school of electr...
3 篇 academy of mathe...
3 篇 software systems...
3 篇 department of el...
3 篇 department of so...
3 篇 the seventh rese...
3 篇 state key labora...
3 篇 division of scie...
3 篇 department of ma...
3 篇 institute for qu...

作者

9 篇 sarun intakosum
9 篇 veera boonjing
7 篇 zander carol
7 篇 mccartney robert
7 篇 eckerdal anna
7 篇 sanders kate
6 篇 ahmed bestoun s.
6 篇 thomas lynda
6 篇 zamli kamal z.
5 篇 boustedt jonas
5 篇 nengkun yu
5 篇 bei zeng
5 篇 moström jan erik
5 篇 junping du
5 篇 zhengfeng ji
5 篇 fashan yu
5 篇 yingmin jia
4 篇 boonjing veera
4 篇 sutheetutt vacha...
3 篇 r.c. linger

语言

167 篇 英文
5 篇 其他

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

共 172 条记录，以下是141-150 订阅

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

详细简洁

排序：

Mining Top-K Closed Itemsets Using Best-First Search

Mining Top-K Closed Itemsets Using Best-First Search

引用

International Conference on computer and Information Technology (CIT)

作者： Panida Songram Veera Boonjing Software Systems Engineering Laboratory Department of Mathematics and Computer Science Faculty of Science King Mongkut''s Institute of Technology Ladkrabang Bangkok Thailand Department of Computer Science Faculty of Informatics Mahasarakham University Maha sarakham Thailand

In this paper, we proposed an efficient algorithm, TOPK_CLOSED, for mining top-k closed itemsets. This algorithm mines top-k closed itemsets using best-first search. The closed itemsets with the highest supports are firstly found from this algorithm. Consequently, the method quickly finds top-k closed itemsets, which leads to an efficient pruning unnecessary itemsets and stop mining rapidly. In addition, this algorithm can generate closed itemsets without keeping candidates in main memory.

关键词： Itemsets Generators Data mining Pediatrics Complexity theory Algorithm design and analysis Databases

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Pointwise Logic on Completely Distributive Lattices and Approximate Reasoning

Pointwise Logic on Completely Distributive Lattices and Appr...

引用

International Conference on Fuzzy systems and Knowledge Discovery (FSKD)

作者： Yalin Zheng Guang Yang Jing Zheng Jinsheng Xing State Key Laboratory for Intelligent Technology and Systems Department of Automation Faculty of Information Science and Technology Tsinghua University Beijing China Research Center of Intelligent Information Technology Department of Computer Science and Technology Faculty of Software Dongguan University of Science and Technology Dongguan China Research Center of Dongguan Economy Department of Economy and Commerce Dongguan University of Science and Technology Dongguan China Faculty of Mathematics and Computer Science Shanxi Normal University Linfen China Research Center of System Engineering Faculty of Electronic and Information Engineering Xi'an Jiaotong University Xi'an China

In this paper, we propose the basic framework of point- wise topological logic on completely distributive lattices and explore approximate reasoning in it. The logic of this paper is based on pointwise characterization, therefore the pointwise conception is pervasive. We explore approximate reasoning in abstract logical framework Fl on completely distributive lattice L. We propose the structure of point- wise topological logic F TL , the structure of matching function sigma. and the structure of matching neighborhood group. We investigate approximate reasoning in pointwise topological logic F TL with matching function sigma, develop pointwise topological algorithm of simple approximate reasoning, introduce the essential characteristics of this scheme.

关键词： Lattices Fuzzy logic computer science Knowledge engineering Fuzzy systems Information technology laboratories Intelligent systems Automation Information science

来源：评论

学校读者我要写书评

暂无评论

A SLA-oriented management of containers for hosting stateful web services

A SLA-oriented management of containers for hosting stateful...

引用

3rd IEEE International Conference on e-science and Grid Computing

作者： Reich, Christoph Bubendorfer, Kris Banholzer, Matthias Buyya, Rajkumar Department of Computer Science Hochschule Furtwangen University Germany School of Mathematics Statistics and Computer Science Victoria University of Wellington New Zealand Grid Computing and Distributed Systems (GRIDS) Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia

ISBN: (纸本)9780769530642

Service-Oriented Architectures provide integration of interoperability for independent and loosely coupled services. Web services and the associated new standards such as WSRF are frequently used to realise such Service-Oriented Architectures. In such systems, autonomic principles of self-configuration, self-optimisation, self-healing and self-adapting are desirable to ease management and improve robustness. In this paper we focus on the extension of the self management and autonomic behaviour of a WSRF container connected by a structured P2P overlay network to monitor and rectify its QoS to satisfy its SLAs. The SLA plays an important role during two distinct phases in the life-cycle of a WSRF container Firstly during service deployment when services are assigned to containers in such a way as to minimise the threat of SLA violations, and secondly during maintenance when violations are detected and services are migrated to other containers to preserve QoS. In addition, as the architecture has been designed and built using standardised modem technologies and with high levels of transparency, conventional web services can be deployed with the addition of a SLA specification.

关键词： Containers

来源：评论

学校读者我要写书评

暂无评论

From Limen to Lumen: Computing students in liminal spaces 07

From Limen to Lumen: Computing students in liminal spaces

引用

3rd International Computing Education Research Workshop, ICER'07

作者： Eckerdal, Anna McCartney, Robert Moström, Jan Erik Sanders, Kate Thomas, Lynda Zander, Carol Department of Information Technology Uppsala University Uppsala Sweden Department of Computer Science and Engineering University of Connecticut Storrs CT United States Department of Computing Science Umeå University 901 87 Umeå Sweden Mathematics and Computer Science Department Rhode Island College Providence RI United States Department of Computer Science University of Wales Aberystwyth Wales Computing and Software Systems University of Washington Bothell Bothell WA United States

ISBN: (纸本)9781595938411

This paper is part of an ongoing series of projects in which we are investigating "threshold concepts": concepts that, among other things, transforms the way a student looks as the discipline and are often troublesome to learn. The word "threshold" might imply that students cross the threshold in a single "aha" moment, but often they seem to take longer. Meyer and Land introduce the term "liminal space" for the transitional period between beginning to learn a concept and fully mastering it. Based on in-depth interviews with graduating seniors, we found that the liminal space can provide a useful metaphor for the concept learning process. In addition to observing the standard features of liminal spaces, we have identified some that may be specific to computing, specifically those relating to levels of abstraction. Copyright 2007 ACM.

关键词： Learning systems

来源：评论

学校读者我要写书评

暂无评论

A Framework for using Rough Sets and Formal Concept Analysis in Case Based Reasoning

A Framework for using Rough Sets and Formal Concept Analysis...

引用

IEEE International Conference on Information Reuse and Integration (IRI)

A significant open problem of case based reasoning system is a construction of better knowledge base. We propose a new framework for constructing alternative knowledge base in case based reasoning system based on rough sets and formal concept analysis. Our framework first applies rough set theory for discovering reduced cases required in a case based reasoning system. We then achieve further hierarchical structure of knowledge base using formal concept analysis. The result is the concept lattice knowledge base embedded to our proposed case based reasoning system. A part of case based reasoning system is developed with an example throughout. We also discuss how our proposed framework can be beneficial for a case based reasoning system.

关键词： Rough sets Problem-solving Knowledge acquisition mathematics computer science Lattices Data analysis software systems Knowledge engineering systems engineering and theory

来源：评论

学校读者我要写书评

暂无评论

A Hybrid Case Based Reasoning System Using Fuzzy-Rough Sets and Formal Concept Analysis

A Hybrid Case Based Reasoning System Using Fuzzy-Rough Sets ...

引用

International Conference on Fuzzy systems and Knowledge Discovery (FSKD)

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

In this paper, we propose a new hybrid case based reasoning system based on rough set theory, formal concept analysis and fuzzy sets. This system applies rough set theory to assure minimally sufficient cases in its case base. It uses formal concept analysis to reveal knowledge of attribute dependencies in terms of concept lattices. Numeric attributes are transformed to be suitable for formal concept analysis using fuzzy sets.

关键词： Fuzzy sets mathematics computer science Set theory Lattices Information systems software systems systems engineering and theory laboratories Rough sets

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共18页 << < 9 10 11 12 13 14 15 16 17 18 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：