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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,662 篇 会议
1,376 篇 期刊文献
69 册 图书

馆藏范围

4,107 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,519 篇 工学
- 1,982 篇 计算机科学与技术...
- 1,655 篇 软件工程
- 490 篇 信息与通信工程
- 370 篇 控制科学与工程
- 275 篇 生物工程
- 227 篇 电气工程
- 211 篇 生物医学工程（可授...
- 196 篇 机械工程
- 168 篇 电子科学与技术（可...
- 152 篇 光学工程
- 95 篇 仪器科学与技术
- 95 篇 化学工程与技术
- 95 篇 安全科学与工程
- 87 篇 交通运输工程
- 81 篇 动力工程及工程热...
1,197 篇 理学
- 647 篇 数学
- 319 篇 物理学
- 311 篇 生物学
- 192 篇 统计学（可授理学、...
- 161 篇 系统科学
- 93 篇 化学
821 篇 管理学
- 510 篇 管理科学与工程(可...
- 335 篇 图书情报与档案管...
- 249 篇 工商管理
212 篇 医学
- 178 篇 临床医学
- 152 篇 基础医学(可授医学...
- 92 篇 药学(可授医学、理...
- 84 篇 公共卫生与预防医...
128 篇 法学
- 101 篇 社会学
80 篇 经济学
- 80 篇 应用经济学
75 篇 教育学
41 篇 农学
26 篇 文学
12 篇 军事学
6 篇 艺术学
3 篇 哲学
1 篇 历史学

主题

147 篇 software enginee...
103 篇 computer science
98 篇 machine learning
95 篇 deep learning
88 篇 feature extracti...
84 篇 computational mo...
84 篇 accuracy
83 篇 software
80 篇 artificial intel...
73 篇 training
66 篇 optimization
63 篇 data mining
54 篇 predictive model...
53 篇 semantics
51 篇 security
46 篇 support vector m...
45 篇 software testing
44 篇 internet of thin...
44 篇 information tech...
44 篇 testing

机构

45 篇 college of compu...
40 篇 faculty of compu...
37 篇 department of so...
37 篇 faculty of softw...
27 篇 department of so...
23 篇 state key labora...
22 篇 school of comput...
21 篇 department of co...
19 篇 faculty of compu...
19 篇 gik institute of...
19 篇 university of eu...
19 篇 dept. of technol...
17 篇 faculty of compu...
16 篇 department of in...
16 篇 universiti malay...
15 篇 huaiyin institut...
15 篇 national key lab...
15 篇 state key labora...
15 篇 faculty of compu...
15 篇 faculty of compu...

作者

37 篇 tao dacheng
28 篇 herawan tutut
28 篇 quanyin zhu
23 篇 tutut herawan
23 篇 zamli kamal z.
21 篇 noraziah ahmad
20 篇 ali raja hashim
20 篇 raja hashim ali
19 篇 jasni mohamad za...
18 篇 muhammad adnan k...
17 篇 noraziah a.
16 篇 muhammad waseem ...
16 篇 usama arshad
16 篇 arshad usama
16 篇 zain jasni moham...
15 篇 a. noraziah
15 篇 rahnamayan shahr...
15 篇 selamat ali
15 篇 du bo
15 篇 siew hock ow

语言

3,887 篇 英文
187 篇 其他
30 篇 中文
3 篇 土耳其文
2 篇 日文
1 篇 阿拉伯文
1 篇 德文

检索条件"机构=Faculty of Software Engineering and Computer Engineering"

共 4107 条记录，以下是3801-3810 订阅

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

详细简洁

排序：

A formal framework of reconfigurable control based on model checking

A formal framework of reconfigurable control based on model ...

引用

2008 American Control Conference (ACC), vol.10

作者： He-xuan Hu Anne-lise Gehin Mireille Bayart Languages Informatics Systems and Software Engineering Department Faculty of Computer Science Université des Sciences et Technologies de Lille Villeneuve d'Ascq France

This paper proposes a formal framework for reconfigurable control, based on model checking. This framework first generates a flexible model (i.e., an execution structure) according to the diagnosis, then defines a temporal specification language to deal with the problems due to infinite execution cycles and non-determinism, and finally provides the algorithms that will automatically verify whether the updated model satisfies the desired specification.

关键词： Automatic control Control systems Specification languages Actuators Fault tolerance Performance loss Redundancy Safety Reconfigurable logic Databases

来源：评论

学校读者我要写书评

暂无评论

Fast Information Sharing in Networks of Autonomous Agents

Fast Information Sharing in Networks of Autonomous Agents

引用

2008 American Control Conference (ACC), vol.10

作者： Feng Xiao Long Wang Yingmin Jia Languages Informatics Systems and Software Engineering Department Faculty of Computer Science Peking University Beijing China Seventh Research Division Beihang University Beijing China

A new nonlinear protocol is proposed for state consensus of multi-agent systems in this paper. It is shown that this protocol can provide faster convergence rate than the typical linear protocol, presented by Olfati-Saber and Murray, and furthermore guarantees the states of agents reach a consensus in finite time, provided that the interaction topology, represented by a directed graph, has a spanning tree.

关键词： Multi-agent systems coordination finite-time consensus interaction topology

来源：评论

学校读者我要写书评

暂无评论

CoCoME in fractal

CoCoME in fractal

引用

作者： Bulej, Lubomír Bureš, Tomáš Coupaye, Thierry Decký, Martin Jezek, Pavel Parízek, Pavel Plášil, František Poch, Tomáš Rivierre, Nicolas Šerý, Ondrej Tuma, Petr Department of Software Engineering Faculty of Mathematics and Physics Charles University Malostranské námestí 25 Prague 1 11800 Czech Republic Institute of Computer Science Academy of Sciences of the Czech Republic Pod Vodárenskou vezí Prague 8 18000 Czech Republic France Telecom R and D Issy les Moulineaux France

ISBN: (纸本)3540852883

This chapter presents our solution to the CoCoME assignment that is based on the Fractal component model. The solution involves (i) modeling architecture in Fractal ADL, (ii) specification of component behavior via behavior protocols, (iii) checking compatibility of components, (iv) verification of correspondence between component code and behavior specification, and (v) run-time monitoring of non-functional properties. Among the issues we have faced was the need to modify the architecture - the component hierarchy was reorganized in order to improve clarity of the design and the hierarchical bus was split into two independent buses. These were modeled by primitive components, since Fractal does not support message bus as a first-class entity. Since the CoCoME assignment does not include a complete UML behavior specification (e.g. via activity diagrams and state charts), behavior protocols for all the components are based on the provided plain-English use cases, the UML sequence diagrams, and the reference Java implementation. © 2008 Springer-Verlag Berlin Heidelberg.

关键词： Fractals

来源：评论

学校读者我要写书评

暂无评论

Distributed transaction semantic for Binary Vote Assignment Grid

Distributed transaction semantic for Binary Vote Assignment ...

引用

International Conference on Electrical engineering/Electronics, computer, Telecommunications and Information Technology, ECTI-CON

作者： A. Noraziah M. Mat Deris R. Norhayati M.Y.M. Saman Faculty of Computer System & Software Engineering Universiti Malaysia Pahang Kuantan Pahang Malaysia Faculty of Information & Technology Multimedia Universiti Tun Hussein Onn Malaysia Batu Pahat Malaysia Faculty chemical Engineering & Natural Resources Universiti Malaysia Pahang Kuantan Pahang Malaysia Faculty of Science & Technology University in Malaysia for Engineering Kuala Terengganu Terengganu Malaysia

This paper presents a new design to manage transaction and replication for distributed systems. First, we recall the binary vote assignment grid (BVAG) model that imposes neighbours binary vote assignment to its logical grid structure on replicated data copies. Based on this model, we extend our work to design the distributed transaction semantic in order to manage BVAG transaction both in normal and failure cases. We present an implementation of the system. The proposed distributed transaction semantic shows that the system preserves the data consistency and support advance fault-tolerant through synchronization approach.

关键词： Servers Distributed databases Peer to peer computing Availability Synchronization computers Linux

来源：评论

学校读者我要写书评

暂无评论

A Robust Descriptor based on Weber's Law

A Robust Descriptor based on Weber's Law

引用

26th IEEE Conference on computer Vision and Pattern Recognition (CVPR 2008), vol.8

作者： Jie Chen Shiguang Shan Guoying Zhao Xilin Chen Wen Gao Matti Pietikainen School of Computer Science and Technology Harbin Institute of Technology Harbin China Machine Vision Group Department of Electrical and Information Engineering University of Oulu Finland Languages Informatics Systems and Software Engineering Department Faculty of Computer Science Chinese Academy and Sciences Beijing China

Inspired by Weber's Law, this paper proposes a simple, yet very powerful and robust local descriptor, Weber Local Descriptor (WLD). It is based on the fact that human perception of a pattern depends on not only the change of a stimulus (such as sound, lighting, et al.) but also the original intensity of the stimulus. Specifically, WLD consists of two components: its differential excitation and orientation. A differential excitation is a function of the ratio between two terms: One is the relative intensity differences of its neighbors against a current pixel;the other is the intensity of the current pixel. An orientation is the gradient orientation of the current pixel. For a given image, we use the differential excitation and the orientation components to construct a concatenated WLD histogram feature. Experimental results on Brodatz textures show that WLD impressively outperforms the other classical descriptors (e.g., Gabor). Especially, experimental results on face detection show a promising performance. Although we train only one classifier based on WLD features, the classifier obtains a comparable performance to state-of-the-art methods on MIT+CMU frontal face test set, AR face dataset and CMU profile test set.

关键词： Robustness Face detection Humans Content addressable storage Testing Psychology Laboratories Machine intelligence Information processing computers

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Using DSL for Automatic Generation of software Connectors

Using DSL for Automatic Generation of Software Connectors

引用

International IEEE Conference on Commercial-off-the-Shelf (COTS)-Based software Systems

作者： Tomas Bures Michal Malohlava Petr Hnetynka Department of Software Engineering Faculty of Mathematics and Physics Charles University Prague Czech Republic Institute of Computer Science Academy of Sciences슠of the슠Czech Republic Prague Czech Republic

Component-based engineering is a recognized paradigm, which models an application as a collection of reusable components. The key idea behind components is that they contain only the business logic and communicate with one another only via well-defined interfaces. The communication paths among components (so called bindings) are in modern component systems realized by software connectors, which allow explicit modeling of communication and also its implementation at runtime. An important aspect of using connectors is the possibility of their automatic generation, which saves a significant amount of development work. However, the generation itself is not a trivial task, since there is a big semantic gap between the abstract specification of a connector at design time and its implementation at runtime. In this paper, we present an approach to generating implementations of software connectors. The approach is based on a new domain specific language for describing templates of connector implementations and a transformation framework using the Strate-go/XT term rewriting system for generating source code of connectors.

关键词： DSL Connectors Application software Runtime software reusability computer architecture Middleware Network servers software systems software engineering

来源：评论

学校读者我要写书评

暂无评论

The Power of MOF-Based Meta-modeling of Components

The Power of MOF-Based Meta-modeling of Components

引用

Advanced software engineering and Its Applications, ASEA

作者： Petr Hnetynka Frantisek Plasil Department of Software Engineering Faculty of Mathematics and Physics Charles University Prague Czech Republic Institute of Computer Science Academy of Sciences슠of the슠Czech Republic Prague Czech Republic

To allow comfortable and easy development, component systems have to provide a rather a big set of development supporting tools including at least a tool for composition and repository for storing and retrieving components. In this paper, we evaluate and present advantages of using MOF and meta-modeling during definition of component system and also during development of the supporting tools. Most of the presented arguments are based on a broad practical experience with designing the component systems SOFA and SOFA 2; the former designed in the classical ad hoc manual way, while the latter via meta-modeling.

关键词： Metamodeling Application software software engineering computer science Mathematics Physics Manuals Containers Large-scale systems Natural languages

来源：评论

学校读者我要写书评

暂无评论

Wireless intelligent incontinence management system using smart diapers

Wireless intelligent incontinence management system using sm...

引用

International Conference on Electrical engineering/Electronics, computer, Telecommunications and Information Technology, ECTI-CON

作者： L. M. Ang S. H. Ow K. P. Seng Z. H. Tee B. W. Lee M. K. Thong P. J. H. Poi S. Kunanayagam School of Electrical and Electronics Engineering University of Nottingham Selangor Darul Ehsan Malaysia Department of Software Engineering Faculty of Computer Science and Information Technology University Malaya Kuala Lumpur Malaysia Faculty of Medicine University Malaya Kuala Lumpur Malaysia Department of Paediatrics University Malaya Medical Centre Kuala Lumpur Malaysia

This paper presents a wireless intelligent incontinence management system being developed for the University Malaya Medical Center (UMMC) that utilizes ldquosmartrdquo diapers to discreetly monitor and estimate wetness events, detect other relevant clinical conditions and alert staff by transmitting information via wireless technology to an intelligent central management system. We describe the hardware and software modules of the system and give results conducted on diaper experiments and the transmission range of the wireless technology.

关键词： Wireless sensor networks Monitoring software Wireless communication Artificial intelligence Hospitals Moisture

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共411页 << < 377 378 379 380 381 382 383 384 385 386 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：