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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

163 篇 会议

馆藏范围

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

日期分布

学科分类号

139 篇 工学
- 113 篇 软件工程
- 87 篇 计算机科学与技术...
- 8 篇 控制科学与工程
- 6 篇 电气工程
- 5 篇 机械工程
- 4 篇 航空宇航科学与技...
- 4 篇 环境科学与工程（可...
- 3 篇 材料科学与工程（可...
- 3 篇 信息与通信工程
- 3 篇 交通运输工程
- 2 篇 仪器科学与技术
- 2 篇 冶金工程
- 2 篇 建筑学
- 2 篇 石油与天然气工程
- 2 篇 农业工程
- 2 篇 安全科学与工程
- 2 篇 网络空间安全
10 篇 管理学
- 7 篇 管理科学与工程(可...
- 4 篇 工商管理
- 2 篇 图书情报与档案管...
8 篇 理学
- 5 篇 数学
- 2 篇 物理学
- 1 篇 化学
- 1 篇 大气科学
- 1 篇 海洋科学
- 1 篇 统计学（可授理学、...
5 篇 教育学
- 5 篇 教育学
2 篇 经济学
- 2 篇 应用经济学
2 篇 法学
- 2 篇 社会学
1 篇 文学
- 1 篇 外国语言文学
1 篇 医学

主题

28 篇 unified modeling...
18 篇 software
16 篇 model-driven dev...
12 篇 computational mo...
11 篇 data models
10 篇 analytical model...
9 篇 software enginee...
9 篇 biological syste...
8 篇 object oriented ...
8 篇 model-driven eng...
8 篇 software product...
7 篇 syntactics
7 篇 generators
7 篇 adaptation model...
6 篇 concrete
6 篇 testing
6 篇 business
6 篇 dsl
5 篇 computer archite...
5 篇 semantics

机构

7 篇 rhein westfal th...
3 篇 software enginee...
3 篇 rheinisch-westfa...
3 篇 willert software...
3 篇 cas software ag ...
2 篇 prolan proc cont...
2 篇 tu braunschweig ...
2 篇 univ naples fede...
2 篇 nantong univ mec...
2 篇 univ namur preci...
2 篇 nantong inst tec...
2 篇 volkswagen finan...
2 篇 univ jena inst i...
1 篇 aswan univ apear...
1 篇 dept. of compute...
1 篇 college of mecha...
1 篇 department of co...
1 篇 department of el...
1 篇 eurecom 450 rout...
1 篇 norwegian univ s...

作者

7 篇 rumpe bernhard
6 篇 nazari pedram mi...
4 篇 bernhard rumpe
4 篇 wortmann andreas
4 篇 look markus
4 篇 perez antonio na...
3 篇 gilson fabian
3 篇 coulette bernard
3 篇 roth alexander
3 篇 englebert vincen...
3 篇 lbath redouane
3 篇 pedram mir seyed...
3 篇 jardim-goncalves...
2 篇 schindler martin
2 篇 schwaegerl felix
2 篇 gillett irad
2 篇 greifenberg timo
2 篇 plotnikov dimitr...
2 篇 voelkel steven
2 篇 sagardui goiuria

语言

163 篇 英文

检索条件"任意字段=3rd International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2015"

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

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

详细简洁

排序：

The development of RELAP/SCDAPSIM/MOD4.0 for advanced fluid systems design analysis 23

The development of RELAP/SCDAPSIM/MOD4.0 for advanced fluid ...

引用

23rd international conference on Nuclear engineering: Nuclear Power - Reliable Global Energy, ICONE 2015

作者： Perez, M. Allison, C.M. Wagner, R.J. Martinez, V. Fu, Z. Hohorst, J.K. Abarca, A. Universitat Politecnica de Catalunya Avda Diagonal 647 Barcelona08028 Spain Innovative Systems Software 3585 Briar Creek AmmonID83406 United States Nortuen S.L. Dolors Granes 80 Barcelona08440 Spain University of Idaho 995 University Blvd. Idaho FallsID83401 United States Universitat Politecnica de Valencia Campus de Vera Valencia46022 Spain

ISBN: (纸本)9784888982566

The RELAP/SCDAPSIM/MOD4.0 code is being developed as part of the international SCDAP development Training Program (SDTP). SDTP consists of more than 90 organizations in 30 countries supporting the development of technology, software, and training materials for the nuclear industry. RELAP/SCDAPSIM/MOD4.0, which is the first version of RELAP5 completely rewritten to FORTRAN 90/95/2000 standards, has a number of unique options relative to previous versions of RELAP/SCDAPSIM including advanced numerical techniques and options, integrated uncertainty analysis, advanced graphical user interfaces, standardized interface for user supplied 3D reactor kinetics package, and advanced models and correlations for water and other fluids including Na, LiPb, PbBi, and molten salts. MOD4.0 has been used (a) for reactor simulation and analysis (LWR/HWRs, research reactors, Generation IV reactors), (b) for the design and analysis of experimental facilities and advanced fluid systems, and (c) as the general framework for advanced fluid systems model development activities. This paper describes the unique features of MOD4.0, discusses the validation and verification of the code, provides an overview of current applications of the code, and provides a more detailed discussion of the ongoing model development activities to support the design and analysis of alternative fluid systems such as the LiPb and Helium loops used in the thermal blanket modules for ITER being built in France and PbBi loops used in the MYRRHA accelerator-driven system proposed for Belgium. Copyright © 2015 by JSME.

关键词： Binary alloys

来源：评论

学校读者我要写书评

暂无评论

A gateway-centered workflow rollback-points ancestry model for sustainable workflow enactments 3rd

A gateway-centered workflow rollback-points ancestry model f...

引用

3rd Asia Pacific conference on Business Process Management, AP-BPM 2015

作者： Park, Minjae Ahn, Hyun Kim, Haksung Kim, Kwanghoon Pio Engineering Innovation Department R&D Center BISTel Inc. BISTel Tower 128 Baumoe-ro Seocho-gu Seoul Seoul137-891 Korea Republic of Department of Taxes and Accounting Dongnam Health University 74 Chunchun-ro Jangan-gu Suwon-siKyonggi-do440-714 Korea Republic of Collaboration Technology Research Lab Department of Computer Science Kyonggi University 154-42 Kwangkyosan-ro Youngtong-ku Suwon-siGyeonggi-do443-760 Korea Republic of

ISBN: (纸本)9783319195087

In enacting a workflow process that is made up of stepwise activities and their temporal orderings, it is very important to control and trace each instance’s execution as well as to keep it sustainable. In particular, the sustainability implies that the underlying system should be able to not only provide an error-detection functionality on its running exceptions but also to furnish a very autonomous recovery mechanism to deal with the detected exceptional and risky situations. As an impeccable technique for realizing the sustainability on workflow process enactment services, this paper tries to formalize a workflow risk-recovery concept to be used in implementing autonomous recovery mechanisms of workflow enactment systems, which is named as gateway-centered rollback-points ancestry model. Conclusively, we believe that the proposed model ought be one of those impeccable trials and pioneering contributions to improve and advance the sustainability in workflow process enactment services. © Springer international Publishing Switzerland 2015.

关键词： Sustainable development

来源：评论

学校读者我要写书评

暂无评论

Defining Methodology for Multi model software Process Improvement Framework

Defining Methodology for Multi Model Software Process Improv...

引用

international conference on Artificial Intelligence, modelling and Simulation (AIMS)

作者： Aedah Abd Rahman Malaysian Institute of Information Technology (MIIT) Universiti Kuala Lumpur Kuala Lumpur Malaysia

software organisations may implement single or multiple frameworks in order to remain competitive. There are wide selection of generic software Process Improvement (SPI) frameworks, best practices and standards implemented with different focuses and goals. Issues and difficulties emerge in the SPI practices from the context of software development and IT Service Management (ITSM). This research looks into the integration of multiple frameworks from the perspective of software development and ITSM. The research question of this study is how to define steps of methodology to solve the multi model software process improvement problem. The objective of this study is to define the research approach and methodologies to produce a more integrated and efficient Multi model Process Improvement solution. A multi-step methodology is used which contains the case study, framework mapping and Delphi study. The research outcome has proven the usefulness and appropriateness of the proposed framework in SPI and quality practice in Malaysian software industries. This mixed method research approach is used to tackle problems from every angle in the context of software development and services. It is expected that the methodology can be used to facilitate the implementation and management of multi model environment of SPI frameworks in multiple domains.

关键词： software ISO Standards IEC Standards software engineering Best practices Bibliographies

来源：评论

学校读者我要写书评

暂无评论

Automatic supervision of a 6 kWc photovoltaic plant composed of monocrystalline and amorphous panels

Automatic supervision of a 6 kWc photovoltaic plant composed...

引用

international Renewable and Sustainable Energy conference (IRSEC)

作者： Nicolas Héraud Olivier Wailly Sanzhar Sharapov SPE CNRS 6134 Corte France Moscow Power Engineering Institute Moscow Russia

In this article, we are going to propose the monitoring on a PV plant composed by monocrystalline and amorphous panels. The aim is to insure good performances of the installation and its profitability. The purpose of this work consists to diagnose the panels faults and, in certain cases to locate the faults by using the model and the measurements and by taking into account the MPPT (Maximum Power Point Tracking) of the inverters. The development of software fault detection on the PV plant of our laboratory is performed under Matlab / Simulink environment.

关键词： Current measurement Temperature measurement Photovoltaic systems Green products Mathematical model Production

来源：评论

学校读者我要写书评

暂无评论

Symbolic modelling in White-Box model-Based Testing

Symbolic Modelling in White-Box Model-Based Testing

引用

international conference on Artificial Intelligence, modelling and Simulation (AIMS)

作者： Alexander Letichevsky Oleksandr Letychevskyi Vladimir Peschanenko Department of Theory of Digital Automatic Machines Glushkov Institute of Cybernetics of the National Academy of Sciences of Ukraine Kyiv Ukraine Department of Informatics Software Engineering and Economic Cybernetics Kherson State University Kherson Ukraine

This paper outlines the development of symbolic modelling in white-box testing technology within the scope of an insertion modelling system (IMS). It implements the symbolic execution of the tested system and generate traces that contain a scenario of system behaviour. The obtained traces were checked for conformance with either a formal model for system specifications or a design model. This technique provides for the possibility of obtaining a good index of code line coverage that is highly recommended in the testing of safety-critical systems.

关键词： Testing Unified modeling language Protocols Concrete Cybernetics Data models Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

COCOMO Ⅱ Based Project Cost Estimation and Control

COCOMO Ⅱ Based Project Cost Estimation and Control

引用

2015 3rd international conference on Education,Management,Arts,Economics and Social Science(ICEMAESS 2015)

作者： Aihua Ren Yun Chen School of Computer Science and Technology Beihang University

COCOMO Ⅱ is a constructive cost model that is widely used in the world. With function points or source lines of code and adjustment factors as input, it can predict software cost. software process performance model is mainly used to indicate the relationship between the attributes and product in the software development process. Based on COCOMO Ⅱ and process performance model theory, the viability that COCOMO Ⅱ serves as a software process performance model is introduced in this paper. Controllable factors, the way to adjust them and benefits we can get are proposed.

关键词： COCOMO Ⅱ process performance model software cost control cost estimation

来源：评论

学校读者我要写书评

暂无评论

development of MPC Algorithm for quasi Z-Source Inverter (qZSI)

Development of MPC Algorithm for quasi Z-Source Inverter (qZ...

引用

international conference on Control, engineering & Information Technology

作者： Abualkasim Bakeer Mohamed A. Ismeil A. Kouzou Mohamed Orabi APEARC Aswan University Electrical Department Djelfa University

ISBN: (纸本)9781479982134

this paper presents an improvement algorithm of model Predictive Control (MPC) for the quasi Z-Source Inverter (qZSI) with a standalone system. The improved algorithm decreases number of the desired sensors from five into three, where it just needs two current sensors for measuring the AC currents, and another voltage sensor for capacitor voltage detection. The inductor current will be estimated according to the previous optimized state and the capacitor voltage value during this state. Moreover, the developed algorithm decreases the number of the calculations for the inductor current prediction. Thus, the total cost of the control system decreases;furthermore, the practical implementation for the algorithm is improved where short running time. The developed algorithm will be investigated with the theoretical analysis in addition to the simulation validation based on MATLAB/SIMULINK as environmental software.

关键词： model Predictive Control (MPC) Quasi Z-Source Inverter (qZSI) Sampling Time (T_s) Space Vectors Backward Euler Method

来源：评论

学校读者我要写书评

暂无评论

A preliminary study on the course system of flight principle numerical experiment

A preliminary study on the course system of flight principle...

引用

2015 3rd international conference on Education,Management,Arts,Economics and Social Science(ICEMAESS 2015)

作者： Guangxu Ren Xiujuan Liu TieYu Hu Aviation University of Air Force

ISBN: (纸本)9781510819023

In this paper, a preliminary study on the knowledge system and teaching model of numerical experiment is made for the flight principle course. In this paper, the flight principle professional numerical experiment course is divided into four levels: flight theory, numerical calculation knowledge, numerical software and the development and application of some of the levels, and puts forward the numerical experiments throughout the flight teaching process, and the curriculum design organic combination and laboratory to students open teaching mode, in order to improve the teaching quality, enhance students' ability to think independently, to cultivate innovative spirit and improve the comprehensive quality.

关键词： Flight principle course numerical experiment knowledge system teaching mode

来源：评论

学校读者我要写书评

暂无评论

Study on the Ultimate Bearing Capacity of Cross Foundation Under Vertical Loading Mode

Study on the Ultimate Bearing Capacity of Cross Foundation U...

引用

3rd Asian Pacific conference on Mechatronics and Control engineering (APCMCE 2015) and 2nd international conference on Advanced Materials in Sports Equipment Design (AMSED 2015) and 3rd international conference on Sport Material, modelling and Simulation (ICSMMS 2015) and 3rd international conference on Manufacturing (MANUFACTURING 2015)

作者： Chuncheng Liu Fuda Liu Chuanming Zha Gang Wang Xiaopan Zhao Northeast Dianli University Institute of Civil Engineering

Cross foundation is a special form of the transmission line tower foundation, which has a buried depth, high reliability, good integrity, resistance to horizontal displacement ability characteristics, especially for foundation design in some special geological conditions. Under the vertical load step loading, using ABAQUS finite element analysis software to analysis the shear damage modes and load mechanism of sandy soil foundation which based on the Drucker-Prager constitutive model and simulate the process of deformation, development and damage of the foundation. The effect of different friction angles on the bearing capacity of the foundation bearing capacity in the four groups was analyzed, and Draw p-s curve. The results show that the ultimate bearing capacity has a direct influence on the ultimate bearing capacity. The results of numerical simulation show that the whole process of deformation and damage of sand ground, the deformation characteristics of the settlement and the stress state of each element. The effect of the friction angle on the bearing capacity of the foundation is directly observed. In the research of the deformation process and the ultimate bearing capacity of the cross foundation in the sand soil, the research has applied value.

关键词： ABAQUS Study on the Ultimate Bearing Capacity of Cross Foundation Under Vertical Loading Mode

来源：评论

学校读者我要写书评

暂无评论

The Research of Massive Data Analysis and Processing Based on Hadoop

The Research of Massive Data Analysis and Processing Based o...

引用

2015 3rd international conference on Machinery,Materials and Information Technology Applications(ICMMITA 2015)

作者： Julan YI XINYU UNIVERSITY

how to quickly extracted from these massive data out of the enterprise value of useful information has become the most vexing problems in the development of application software programmers encounter in the course. Based on the starting point of this issue, this paper analyzes the key technical foundation and other existing distributed storage and computing on the combination of Hadoop cluster technology research as well as their business needs and the actual hardware and software strength, we propose a massive Hadoop-based data processing model and data structure design in several ways, the program process organization and use programming techniques and other methods to introduce the development of the model, and finally applied to model the log data preprocessing large site.

关键词： Hadoop Massive Data Data Processing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：