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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是3881-3890 订阅

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

详细简洁

排序：

Customized benchmark generation using MDA

Customized benchmark generation using MDA

引用

5th Working IEEE/IFIP Conference on software Architecture (WISCA 2005)

作者： Zhu, Liming Liu, Yan Gorton, Ian Bui, Ngoc Bao Empirical Software Engineering Program National ICT Australia Ltd. Australia School of Computer Science and Engineering University of New South Wales Australia Faculty of Information Technology University of Technology Sydney Australia

ISBN: (纸本)0769525482

This paper describes an approach for generating customized benchmark applications from a software architecture description using a Model Driven Architecture (MDA) approach. The benchmark generation and performance data capture tool implementation is based on widely used open source MDA frameworks. The business logic of the benchmark application is modeled in UML and generated by taking advantage of the existing generation "cartridges" so that the current component technology can be exploited in the benchmark. This greatly reduces the effort and expertise needed for benchmarking with complex component technology. We have also extended the MDA framework to model and generate a load testing suite and automatic performance measurement infrastructure. The approach complements current model-based performance prediction and analysis methods by generating the benchmark application from the same application architecture that the performance models are derived from. This provides the potential for tightly integrating runtime performance measurement with model-based prediction either for model validation or improving model prediction accuracy, We illustrate the approach using a case study based on EJB component technology.

关键词： software architecture

来源：评论

学校读者我要写书评

暂无评论

Parametric linear system of equations, whose elements are nonlinear functions

Parametric linear system of equations, whose elements are no...

引用

12th GAMM-IMACS International Symposium on Scientific Computing, computer Arithmetic and Validated Numerics, SCAN 2006

作者： El-Owny, H. Bergische Universität Wuppertal Faculty C - Department of Mathematics and Computer Science Scientific Computing / Software Engineering Gaußstraße 20 42097 Wuppertal Germany

ISBN: (纸本)076952821X

This paper addresses the problem of solving parametric linear systems of equations whose coefficients are, in the general case, nonlinear functions of interval parameters. Such systems, are encountered in many practical problems, e.g in electrical engineering and mechanical systems. A C-XSC[8] implementation of a parametric fixed-point iteration method for computing an outer enclosure for the solution set is proposed in this paper. Numerical examples illustrating the applicability of the proposed method are solved, and compared with other methods.

关键词： Linear systems

来源：评论

学校读者我要写书评

暂无评论

Synchronizing without locks is inherently expensive

Synchronizing without locks is inherently expensive

引用

25th Annual ACM Symposium on Principles of Distributed Computing 2006

作者： Attiya, Hagit Hendler, Danny Guerraoui, Rachid Kouznetsov, Petr Department of Computer Science Technion Israel Faculty of Industrial Engineering and Management Technion Israel Computer Science and Artificial Intelligence Laboratory School of Computer and Communication Sciences MIT Switzerland Max Planck Institute for Software Systems Germany

ISBN: (纸本)1595933840

It has been considered bon ton to blame locks for their fragility, especially since researchers identified obstruction-freedom: a progress condition that precludes locking while being weak enough to raise the hope for good performance. This paper attenuates this hope by establishing lower bounds on the complexity of obstruction-free implementations in contention-free executions: those where obstruction-freedom was precisely claimed to be effective. Through our lower bounds, we argue for an inherent cost of concurrent computing without locks. We first prove that obstruction-free implementations of a large class of objects, using only overwriting or trivial primitives in contention-free executions, have Ω(n) space complexity and Ω(log2 n) (obstruction-free) step complexity. These bounds apply to implementations of many popular objects, including variants of fetch&add, counter, compare&swap, and LL/SC. When arbitrary primitives can be applied in contention-free executions, we show that, in any implementation of binary consensus, or any perturbable object, the number of distinct base objects accessed and memory stalls incurred by some process in a contention free execution is Ω(√n). All these results hold regardless of the behavior of processes after they become aware of contention. We also prove that, in any obstruction-free implementation of a perturbable object in which processes are not allowed to fail their operations, the number of memory stalls incurred by some process that is unaware of contention is Ω(n). Copyright 2006 ACM.

关键词： Security systems

来源：评论

学校读者我要写书评

暂无评论

An evaluation of similarity coefficients for software fault localization

An evaluation of similarity coefficients for software fault ...

引用

12th Pacific Rim International Symposium on Dependable Computing, PRDC 2006

作者： Abreu, Rui Zoeteweij, Peter Van Gemund, Arjan J. C. Software Technology Department Faculty of Electrical Engineering Mathematics and Computer Science Delft University of Technology P.O. Box 5031 NL-2600 GA Delft Netherlands

ISBN: (纸本)0769527248

Automated diagnosis of software faults can improve the efficiency of the debugging process, and is therefore an important technique for the development of dependable software. In this paper we study different similarity coefficients that are applied in the context of a program spectral approach to software fault localization (single programming mistakes). The coefficients studied are taken from the systems diagnosis / automated debugging tools Pinpoint, Tarantula, and AMPLE, and from the molecular biology domain (the Ochiai coefficient). We evaluate these coefficients on the Siemens Suite of benchmark faults, and assess their effectiveness in terms of the position of the actual fault in the probability ranking of fault candidates produced by the diagnosis technique. Our experiments indicate that the Ochiai coefficient consistently outperforms the coefficients currently used by the tools mentioned. In terms of the amount of code that needs to be inspected, this coefficient improves 5% on average over the next best technique, and up to 30% in specific cases. © 2006 IEEE.

关键词： software reliability

来源：评论

学校读者我要写书评

暂无评论

Electromagnetic Influence between Electro-Energetic Group Components

Electromagnetic Influence between Electro-Energetic Group Co...

引用

EMC Europe 2006 Barcelona, International Symposium on Electromagnetic Compatibility

作者： P. M. Nicolae I. D. Nicolae Department of Electrical Engineering Faculty of Electrotechnics University of Craiova Department of Software Engineering Faculty of Automatics Computer Science and Electronics University of Craiova

ISBN: (纸本)8468994383

At large energetic groups, interference problems can appear between different components, mainly due to the inductive and resistive couplings. An original analysis algorithm that uses Fast Fourier Transform (EFT) is used. Two data acquisition systems were employed to record the electric nature signals from various points of the studied energetic group. The quality factors were computed and presented, along with the powers flow between the auxiliary generator and the fully-controlled rectifier with thyristors and respectively between the main generator and the power system. There are estimated the electromagnetic interdependencies as a consequence of some influences between different components of the group. Implications of these influences over other zones (monitoring and protection systems) from the energetic group are also presented. Conclusions are drawn with respect to the electromagnetic biocompatibility in what is concerning the noise due to the electromagnetic interference.

关键词： Harmonic analysis Generators Power harmonic filters Rectifiers Electromagnetics Stator windings Voltage Shafts Recording Protection

来源：评论

学校读者我要写书评

暂无评论

software Requirements Retrieval Using Use Case Terms and Structure Similarity Computation

Software Requirements Retrieval Using Use Case Terms and Str...

引用

Asia-Pacific Conference on software engineering

作者： Akadej Udomchaiporn Nakornthip Prompoon Pizzanu Kanongchaiyos Department of Mathematics and Computer Science Faculty of Science King Mongkut''s Institute of Technology Ladkrabang Thailand Center of Excellent in Software Engineering Department of Computer Engineering Faculty of Engineering Chulalongkom University Thailand

For a large scale of software development, there is a tremendous number of software requirements documents in a collection which may be produced for different domains by different developer teams. They may be later reused to reduce cost and time for the next development. Thus, there is a need to retrieve ones that meet user's need efficiently. This paper presents an approach for software requirements specification retrieval in a form of use case description using use case structure and similarity computation between terms of use case query and use cases in the collection. The contribution of the paper has five main points; 1) the approach for retrieving use case description is proposed, 2) the developed tool supporting the approach is presented, 3) the experiment is designed to measure effectiveness of the approach, 4) the results of the experiment are shown to compare effectiveness of the approach to that of a general approach, and finally 5) the recommended use case description query template is proposed.

关键词： Programming Costs Unified modeling language software engineering Production software quality Mathematics computer science Large-scale systems software systems

来源：评论

学校读者我要写书评

暂无评论

From Discrete Event Simulation to agent simulation: Reasoning and explanation

From Discrete Event Simulation to agent simulation: Reasonin...

引用

International Conference on Modeling and Simulation - Methodology, Tools, software Applications 2006, M and S-MTSA 2006, Part of the 2006 Summer Simulation Multiconference, SummerSim 2006

作者： Itmi, Mhamed Huntsinger, Ralph INSA-Rouen LITIS Laboratory BP 08 76131 Mt-St-Aignan France CSU Chico College of Engineering Computer Science and Construction Mgnt. Chico CA 95929 United States Faculty of Computer Science Software Engineering Dept. Bialystok Technical University Wiejska 45A 15-351 Bialystok Poland

ISBN: (纸本)9781622763542

Explanation is necessary when a user wants to explain what occurs in a scenario simulation or notices a weakness on some statistical indicators of this simulation. We propose to build an intelligent assistant based on a multi agent system. Thanks to reasoning faculties adapted to the simulation system and to a scenario simulation trace, an explanation will arise from the interaction between the user and the intelligent assistant. The paper will recall the main steps of this approach and focus on the assistant model.

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

Categorizing users in requirement engineering process: A case study in e-university project

Categorizing users in requirement engineering process: A cas...

引用

International Conference on Computing & Informatics (ICOCI)

作者： Wan Maseri Wan Mohd Universiti Malaysia Pahang Kuantan Pahang MY Faculty of Computer System & Software Engineering Malaysia

In order to fulfill user's requirement, it is very important to manage user effectively. Many studies have shown that most of the software project fails due to the inconsistent needs of software users with the view of software developers. Understanding user needs is not a sequential process. It involves different disciplines such as psychology, languages and communications, organizational behavior and management. This study has explored a practical approach of managing users by establishing ownership-based user groups. Each group will have its own characteristic and responsibility which will be established through policy, education and awareness program. The commitment and cooperation of each user group will be managed through identifying and managing them through cooperation based user group. The case study has been carried out in University College of engineering & Technology Malaysia. The study has derived 4 categories of users based on ownership with its own characteristic and responsibility. As for the cooperation based user groups, it has been categorized into 4 groups. The study found that managing users through ownership-based and cooperation based user group has improved the involvement and commitment level of users during the whole software process especially during requirement engineering process.

关键词： engineering management software systems Total quality management Psychology software engineering Project management Educational programs Educational institutions Communication industry computer industry

来源：评论

学校读者我要写书评

暂无评论

Edge Relaxation in Images using Directional Hierarchical Image Decomposition

Edge Relaxation in Images using Directional Hierarchical Ima...

引用

Proceedings of the Nordic Signal Processing Symposium (NORSIG)

作者： Dusan Heric Bozidar Potocnik Faculty of Electrical Engineering and Computer Science System Software Laboratory University of Maribor Maribor Slovenia

This paper presents a new hierarchical method of the edge relaxation by using an edge confidence measure. Proposed method is an adaptive and based on directional hierarchical image decomposition and an edge connecting algorithm. It is shown that such combination has low sensitivity to noise, while it is highly robust to outliers, and provide a quality edge connection mechanism

关键词： Image decomposition Image edge detection Image segmentation Image processing Relaxation methods Joining processes Labeling Image analysis computer science System software

来源：评论

学校读者我要写书评

暂无评论

Image enhancement by using directional wavelet transform

Image enhancement by using directional wavelet transform

引用

International Conference on Information Technology Interfaces

作者： D. Heric B. Potocnik Faculty of Electrical Engineering and Computer Science System Software Laboratory University of Maribor Maribor Slovenia

The purpose of this paper is to introduce a novel image enhancement technique by using directional wavelet transform. Directional wavelet transform decomposes an image into four-dimensional space which augments the image by the scale and directional information. We show the directional information significantly improves image enhancement in noisy images in comparison with the classical techniques. Image enhancement is based on the multiscale singularity detection with an adaptive threshold whose value is calculated via maximum entropy measure. The proposed technique was tested on synthetic images at different signal-to-noise ratios and clinical images

关键词： Image enhancement Wavelet transforms Histograms Laplace equations Image processing Entropy Testing Signal to noise ratio Noise reduction Image analysis

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共411页 << < 385 386 387 388 389 390 391 392 393 394 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：