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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,445 篇 会议
50 册 图书
25 篇 期刊文献

馆藏范围

2,520 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,320 篇 工学
- 988 篇 计算机科学与技术...
- 895 篇 软件工程
- 120 篇 电气工程
- 112 篇 信息与通信工程
- 111 篇 土木工程
- 105 篇 控制科学与工程
- 86 篇 材料科学与工程（可...
- 86 篇 生物医学工程（可授...
- 84 篇 机械工程
- 75 篇 生物工程
- 66 篇 安全科学与工程
- 64 篇 建筑学
- 57 篇 动力工程及工程热...
- 50 篇 力学（可授工学、理...
- 43 篇 化学工程与技术
- 35 篇 交通运输工程
- 34 篇 仪器科学与技术
428 篇 理学
- 263 篇 数学
- 99 篇 统计学（可授理学、...
- 96 篇 物理学
- 84 篇 生物学
- 63 篇 系统科学
- 40 篇 化学
- 40 篇 地球物理学
256 篇 管理学
- 178 篇 管理科学与工程(可...
- 97 篇 图书情报与档案管...
- 87 篇 工商管理
61 篇 医学
- 50 篇 基础医学(可授医学...
- 43 篇 临床医学
35 篇 经济学
- 35 篇 应用经济学
27 篇 法学
20 篇 农学
18 篇 教育学
8 篇 文学
3 篇 军事学
3 篇 艺术学
1 篇 历史学

主题

689 篇 predictive model...
200 篇 data models
157 篇 accuracy
154 篇 analytical model...
146 篇 computational mo...
143 篇 software
116 篇 software enginee...
106 篇 training
99 篇 prediction algor...
96 篇 machine learning
79 篇 feature extracti...
72 篇 deep learning
71 篇 adaptation model...
64 篇 neural networks
56 篇 machine learning...
52 篇 support vector m...
51 篇 mathematical mod...
47 篇 mathematical mod...
47 篇 forecasting
46 篇 optimization

机构

11 篇 ku leuven depart...
10 篇 chitkara univers...
9 篇 dmms core lab fl...
8 篇 faculty of elect...
5 篇 beijing advanced...
5 篇 nanjing univ sta...
5 篇 school of mechan...
5 篇 school of comput...
4 篇 college of compu...
4 篇 school of comput...
4 篇 computer science...
4 篇 university of ch...
4 篇 univ southampton...
4 篇 school of softwa...
4 篇 school of electr...
3 篇 college of elect...
3 篇 college of infor...
3 篇 school of comput...
3 篇 school of electr...
3 篇 department of ci...

作者

9 篇 menzies tim
8 篇 hall tracy
8 篇 bowes david
7 篇 staron miroslaw
6 篇 yang zhang
5 篇 desmet w.
5 篇 chen chen
5 篇 gang liu
5 篇 biffl stefan
4 篇 tamarozzi t.
4 篇 ashkan safari
4 篇 petric jean
4 篇 hamed kheirandis...
4 篇 jose rodriguez
4 篇 bener ayse
4 篇 bériot h.
4 篇 winkler dietmar
4 篇 rahul chauhan
4 篇 atak o.
4 篇 bencomo nelly

语言

2,441 篇 英文
66 篇 其他
13 篇 中文
1 篇 俄文
1 篇 土耳其文

检索条件"任意字段=Proceedings of the 9th International Conference on Predictive Models in Software Engineering"

共 2520 条记录，以下是2281-2290 订阅

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

详细简洁

排序：

thermal analysis of QFN packages using finite element method

Thermal analysis of QFN packages using finite element method

引用

thermal, Mechanical and Multiphysics Simulation and Experiments in Micro-Electronics and Micro-Systems EuroSimE

作者： Chia-Lung Chang Yow-Yi Hsieh Mechanical Engineering Department National Yunlin University of Science and Technology Yunlin Taiwan

the QFN (quad flat non-leaded) package is a new type of chip scale package. In this study, both the FEM solid model and CFD model of QFN package were generated to predict the junction-to-ambient thermal resistance of the package under natural and forced convection. the solid model uses flat plate surface convection correlations to simulate the package and board cooling. the CFD model uses computational fluid dynamics software to simulate surface convective loads. In comparison with experimental measurements, the results show that the CFD model is more accurate than the solid model to predict the thermal resistance of the package. the convection heat transfer coefficients obtained from CFD model were also applied to the surface correlations of FEM solid model. It shows that the accuracy of simulation results by FEM solid model can be improved with the surface convection correlations of CFD results. Furthermore, the distribution of heat transfer over external faces of the package is calculated. the results show that most of the heat is dissipated to the board through the bottom surface of the lead frame.

关键词： Finite element methods Solid modeling Computational fluid dynamics predictive models thermal resistance Surface resistance Computational modeling Chip scale packaging Heat transfer thermal force

来源：评论

学校读者我要写书评

暂无评论

Defining and validating metrics for navigational models 9

Defining and validating metrics for navigational models

引用

9th international software Metrics Symposium

作者： Abrahao, S Condori-Fernández, N Olsina, L Pastor, O Valencia Univ Technol Dept Informat Syst & Comp Valencia 46071 Spain

ISBN: (纸本)0769519873

Nowadays, several approaches for developing web applications have been proposed in the literature. Most of them extend existing object-oriented conceptual modeling methods, incorporating new constructors in order to model the navigational structure and the content of web applications. Such new constructors are commonly represented in a Navigational Model. While navigational models constitute the backbone of web application design, their quality has a great impact on the quality of the final product which is actually implemented and delivered. In this paper, we discuss a set of metrics for navigational models that has been proposed for analyzing the quality of web applications in terms of size and structural complexity. these metrics were defined and validated using a formal framework (DISTANCE) for software measure construction that satisfies the measurement needs of empirical software engineering research. Some experimental studies have shown that complexity affects the ability to understand and maintain conceptual models. In order to prove this, we also made a controlled experiment to observe how the proposed metrics can be used as early maintainability indicators.

关键词： Application software Informatics Information systems Navigation Object oriented modeling predictive models software engineering software measurement Spine Usability

来源：评论

学校读者我要写书评

暂无评论

A model-driven approach to non-functional analysis of software architectures 03

A model-driven approach to non-functional analysis of softwa...

引用

18th IEEE international conference on Automated software engineering

作者： Skene, J Emmerich, W Univ Coll London Dept Comp Sci London WC1E 6BT England

ISBN: (纸本)0769520359

We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and repositories that practitioners use. Expert modelling knowledge is captured in domain-specific languages and meta-model constraints. these are represented using UML and colocated with designs and analysis models, providing a flexible and visible approach to managing semantic associations. the approach relies on standards to permit deployment in multiple tools. We demonstrate our approach with an example in which queuing-network models are associated with UML design models to predict average case performance.

关键词： Computer architecture Unified modeling language Object oriented modeling software architecture predictive models Performance analysis Computer science Educational institutions Electronic mail Technology management

来源：评论

学校读者我要写书评

暂无评论

Evaluating the quality of a UML business model 11

Evaluating the quality of a UML business model

引用

11th IEEE international Requirement engineering conference

作者： Berenbach, B Siemens Corporate Research Inc. USA

ISBN: (纸本)0769519806

Many Siemens operating companies build software products or products with a high software content (e.g. embedded software). Siemens Corporate Research has had the unique opportunity over the last few years to look at the analysis models from which the software products were derived, analyze them, and recommend changes. All the models investigated define commercial products that are or will be in the marketplace in the near future. Because of the size and complexity of the models (some running over a thousand use cases) the internal analysis tool design advisor was created to facilitate their inspection. An analysis was then performed on several models with interesting results.

关键词： Unified modeling language Embedded software Business Companies Inspection Performance analysis XML Packaging Quality assurance software design

来源：评论

学校读者我要写书评

暂无评论

Predicting fault prone modules by the Dempster-Shafer belief networks 03

Predicting fault prone modules by the Dempster-Shafer belief...

引用

18th IEEE international conference on Automated software engineering

作者： Guo, L Cukic, B Singh, H W Virginia Univ Lane Dept CSEE Morgantown WV 26506 USA

ISBN: (纸本)0769520359

this paper describes a novel methodology for predicting fault prone modules. the methodology is based on Dempster-Shafer (D-S) belief networks. Our approach consists of three steps: First, building the Dempster-Shafer network by the induction algorithm;Second, selecting the predictors (attributes) by the logistic procedure;third, feeding the predictors describing the modules of the current project into the inducted Dempster-Shafer network and identifying fault prone modules. We applied this methodology to a NASA dataset. the prediction accuracy of our methodology is higher than that achieved by logistic regression or discriminant analysis on the same dataset.

关键词： Logistics Accuracy software quality NASA predictive models Lab-on-a-chip Power system modeling Classification tree analysis Statistics Fault diagnosis

来源：评论

学校读者我要写书评

暂无评论

Using prior-phase effort records for re-estimation during software projects 9

Using prior-phase effort records for re-estimation during so...

引用

9th international software Metrics Symposium

作者： MacDonell, SG Shepperd, MJ Auckland Univ Technol Sch Comp & Informat Sci Auckland New Zealand

ISBN: (纸本)0769519873

Estimating the effort required for software process activities continues to present difficulties for software engineers, particularly given the uncertainty and subjectivity associated with the many factors that can influence effort. It is therefore advisable that managers review their estimates and plans on an ongoing basis during each project so that growing certainty can be harnessed in order to improve their management of future project tasks. In this paper we investigate the potential of using effort data recorded for completed project tasks to predict the effort needed for subsequent activities. Our approach is tested against data collected from sixteen projects undertaken by a single organization over a period of eighteen months. Our findings suggest that, at least in this case, the idea that there are,standard proportions' of effort for particular development activities does not apply. Estimating effort on this basis would not have improved the management of these projects. We did find, however, that in most cases simple linear regression enabled us to produce better estimates than those provided by the project managers. Moreover, combining the managers' estimates with those produced by regression modeling also led to improvements in predictive accuracy. these results indicate that, in this organization, prior-phase effort data could be used to augment the estimation process already in place in order to improve the management of subsequent process tasks. this provides further confirmation of the value of local data and the benefits of quite simple quantitative analysis methods.

关键词： Accuracy Design engineering Linear regression predictive models Project management Size measurement software engineering software measurement Testing Uncertainty

来源：评论

学校读者我要写书评

暂无评论

QFD for customer-focused requirements engineering 11

QFD for customer-focused requirements engineering

引用

11th IEEE international Requirement engineering conference

作者： Herzwurm, G Schockert, S Pietsch, W Univ Stuttgart D-7000 Stuttgart Germany

ISBN: (纸本)0769519806

In this article an overview of the state of the art of QFD in software development or also called software QFD is given. the differences between classic QFD in manufacturing industries and software QFD are described Following certain software specific QFD models (Zultner, Shindo, Ohmori, Herzwurm and Schockert), which can be considered as the most appreciated ones in theory as well as in practice, are introduced Experiences in practice with these software QFD models are presented as well. Finally, through explaining the main principles of a special QFD variant for e-commerce, called Continuous QFD (CQFD), the article will show that QFD is suitable for planning electronic business applications as well.

关键词： Quality function deployment

来源：评论

学校读者我要写书评

暂无评论

Marketing meets requirements engineering 11

Marketing meets requirements engineering

引用

11th IEEE international Requirement engineering conference

作者： Rossi, M Tuunanen, T Helsinki Sch Econ Helsinki Finland

ISBN: (纸本)0769519806

this panel aims to open up a discussion how methods and models from Marketing can help RE community to face the changing landscape of software development. the panel Chair and panelists are coming from Information Systems Science, software engineering and Marketing Science. the session is anticipated to address the issues associated with eliciting requirements from consumers, and how to involve them to the software engineering process. We approach the issue from RE perspective and try to connect New Product Development from Marketing to it, in order to find ways to integrate the knowledge between the disciplines.

关键词： Contracts Embedded software Information systems Java Product development Programming Research and development software engineering software systems Wireless LAN

来源：评论

学校读者我要写书评

暂无评论

An analytical model for requirements selection quality evaluation in product software development 11

An analytical model for requirements selection quality evalu...

引用

11th IEEE international Requirement engineering conference

作者： Regnell, B Karlsson, L Höst, M Lund Univ Dept Commun Syst S-22100 Lund Sweden

ISBN: (纸本)0769519806

In market-driven development of product software, a crucial decision for each candidate requirement is whether or not to select it for implementation in the next release. this paper presents an analytical model of the requirements selection process, which is used for reasoning about decision quality. A network of queues, with two classes of Jobs, models the selection of requirements of different quality. the feasibility of model parameter estimation is validated in a survey involving product managers and system engineers. the results show that some of the respondents have made internally consistent parameter estimations, indicating that the model is relevant and its parameters understandable. It is also shown that a majority of the consistent respondents estimate that most of their implemented product requirements am incorrectly selected the main objective of the model is to provide tools for evaluation of improvement proposals by estimating the impact of process change.

关键词： Analytical models Communication system software engineering management Parameter estimation Programming Proposals Queueing analysis software quality software tools Systems engineering and theory

来源：评论

学校读者我要写书评

暂无评论

Bogor: An extensible and highly-modular software model checking framework

Bogor: An extensible and highly-modular software model check...

引用

9th European software engineering conference Held Jointly with 11th ACM SIGSOFT international Symposium on Foundations of software engineering, ESEC/FSE-11

作者： Robby Dwyer, Matthew B. Hatcliff, John Department of CIS Kansas State University United States

ISBN: (纸本)1581137435

Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural descriptions, designs, implementations, and process models. the complexity of model checking is well-known, yet cost-effective analyses have been achieved by exploiting, for example, naturally occurring abstractions and semantic properties of a target software artifact. semantic properties of target software artifacts. Adapting a model checking tool to exploit this kind of domain knowledge often requires in-depth knowledge of the tool's *** believe that with appropriate tool support, domain experts will be able to develop efficient model checking-based analyses for a variety of software-related models. To explore this hypothesis, we have developed Bogor, a model checking framework with an extensible input language for defining domain-specific constructs and a modular interface design to ease the optimization of domain-specific state-space encodings, reductions and search algorithms. We present the pattern-oriented design of Bogor and discuss our experiences adapting it to efficiently model check Java programs and event-driven component-based designs. © 2003 ACM.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共252页 << < 225 226 227 228 229 230 231 232 233 234 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：