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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

126 篇 会议
99 篇 期刊文献
3 册 图书

馆藏范围

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

日期分布

学科分类号

145 篇 工学
- 111 篇 计算机科学与技术...
- 90 篇 软件工程
- 29 篇 控制科学与工程
- 21 篇 信息与通信工程
- 14 篇 生物工程
- 13 篇 电气工程
- 10 篇 生物医学工程（可授...
- 9 篇 电子科学与技术（可...
- 8 篇 机械工程
- 7 篇 光学工程
- 7 篇 安全科学与工程
- 6 篇 仪器科学与技术
- 5 篇 材料科学与工程（可...
- 5 篇 土木工程
- 3 篇 建筑学
78 篇 理学
- 44 篇 数学
- 23 篇 系统科学
- 20 篇 物理学
- 16 篇 统计学（可授理学、...
- 15 篇 生物学
- 3 篇 海洋科学
44 篇 管理学
- 29 篇 管理科学与工程(可...
- 19 篇 图书情报与档案管...
- 13 篇 工商管理
11 篇 医学
- 11 篇 基础医学(可授医学...
- 11 篇 临床医学
- 7 篇 公共卫生与预防医...
- 4 篇 药学(可授医学、理...
3 篇 经济学
- 3 篇 应用经济学
3 篇 教育学
- 3 篇 教育学
2 篇 法学
1 篇 艺术学

主题

19 篇 computer science
17 篇 mathematics
13 篇 software systems
13 篇 laboratories
12 篇 systems engineer...
12 篇 data mining
10 篇 software enginee...
8 篇 internet of thin...
8 篇 xml
7 篇 machine learning
6 篇 software testing
6 篇 students
5 篇 adaptive systems
5 篇 deep learning
5 篇 itemsets
5 篇 artificial intel...
4 篇 information syst...
4 篇 lattices
4 篇 application soft...
4 篇 information tech...

机构

7 篇 department of in...
6 篇 software systems...
6 篇 computing and so...
6 篇 department of co...
6 篇 state key labora...
5 篇 mathematics and ...
5 篇 beijing key labo...
5 篇 key laboratory o...
5 篇 department of co...
4 篇 academy of mathe...
4 篇 department of co...
4 篇 school of inform...
4 篇 school of electr...
3 篇 college of compu...
3 篇 dept. of softwar...
3 篇 lmib school of m...
3 篇 dept. of compute...
3 篇 peking universit...
3 篇 software systems...
3 篇 department of el...

作者

10 篇 sarun intakosum
10 篇 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 篇 sutheetutt vacha...
5 篇 junping du
5 篇 zhengfeng ji
5 篇 fashan yu
5 篇 yingmin jia
4 篇 lü jinhu
4 篇 boonjing veera

语言

218 篇 英文
7 篇 其他
3 篇 中文

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

共 228 条记录，以下是191-200 订阅

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

ALICE: An advanced logic for interactive component engineering

ALICE: An advanced logic for interactive component engineeri...

引用

4th International Verification Workshop, VERIFY 2007, Affiliated with the 21st Conference on Automated Deduction, CADE 2007

作者： Gajanovic, Borislav Rumpe, Bernhard Software Systems Engineering Institute Carl-Friedrich-Gauß Faculty for Mathematics and Computer Science Braunschweig University of Technology Braunschweig Germany

This paper presents an overview of the verification framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software or hardware component is specified as a state-full black-box with directed communication channels. Components send and receive asynchronous messages via these channels. The behavior of a component is generally described as a relation on the observations in form of streams of messages flowing over its input and output channels. Untimed and timed as well as state-based, recursive, relational, equational, assumption/guarantee, and functional styles of specification are supported. Hence, ALICE is well suited for the formalization and verification of distributed systems modeled with this stream-processing paradigm.

关键词： Computation theory

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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 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

来源：评论

学校读者我要写书评

暂无评论

Efficient Algorithms for Mining Closed Multidimensional Sequential Patterns

Efficient Algorithms for Mining Closed Multidimensional Sequ...

引用

International Conference on Fuzzy systems and Knowledge Discovery (FSKD)

作者： Veera Boonjing Panida Songram 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 Mahasarakham Thailand

A combination of closed sequential pattern mining and closed itemset pattern mining was proposed to mine closed multidimensional sequential patterns. There are two ways for this combination; (1) mining closed itemset patterns from multidimensional information followed by mining closed sequential patterns from sequences associated with closed itemset patterns, and (2) mining closed sequential patterns from sequences followed by mining closed itemset patterns from multidimensional information associated with closed sequential patterns. In the first way the major cost is mining all sequences associated with closed itemset patterns. A similar problem occurs with the second way, the major cost is mining all multidimensional information associated with closed sequential patterns. Therefore, this paper proposes two new combinations that don't need to mine all sequences in the first combination, and all multidimensional information in the second combination. Both combinations can be effected by exploiting two concepts. In the first combination, any closed sequential patterns associated with a closed itemset patten I can be found from a set of closed sequential patterns associated with a closed itemset pattern I' if I sup I'. In the second combination, any closed itemset patterns associated with a closed sequential pattern s can be found from a set of closed sequential patterns associated with a closed itemset pattern s' if s sup s'.

关键词： Multidimensional systems Data mining Itemsets Costs computer science software algorithms software systems systems engineering and theory Laboratories mathematics

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共23页 << < 14 15 16 17 18 19 20 21 22 23 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：