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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

83 篇 会议
3 册 图书
1 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

69 篇 工学
- 63 篇 计算机科学与技术...
- 59 篇 软件工程
- 3 篇 电气工程
- 3 篇 控制科学与工程
- 3 篇 化学工程与技术
- 2 篇 材料科学与工程（可...
- 2 篇 信息与通信工程
- 2 篇 土木工程
- 2 篇 安全科学与工程
- 1 篇 机械工程
- 1 篇 冶金工程
- 1 篇 动力工程及工程热...
- 1 篇 电子科学与技术（可...
- 1 篇 建筑学
- 1 篇 水利工程
- 1 篇 交通运输工程
16 篇 理学
- 12 篇 数学
- 6 篇 统计学（可授理学、...
- 5 篇 系统科学
- 2 篇 化学
- 2 篇 生物学
- 1 篇 物理学
- 1 篇 地球物理学
- 1 篇 地质学
10 篇 管理学
- 8 篇 管理科学与工程(可...
- 3 篇 工商管理
5 篇 法学
- 3 篇 社会学
- 2 篇 法学
1 篇 经济学
- 1 篇 应用经济学
1 篇 教育学
- 1 篇 教育学
1 篇 医学
1 篇 军事学

主题

5 篇 model transforma...
5 篇 model-driven dev...
4 篇 software enginee...
4 篇 model-driven eng...
4 篇 domain-specific ...
3 篇 uml
3 篇 requirement engi...
3 篇 software testing
3 篇 software design
3 篇 artificial intel...
2 篇 production syste...
2 篇 self-adaptive sy...
2 篇 model-driven sof...
2 篇 requirements eng...
2 篇 syntactics
2 篇 software quality
2 篇 model driven eng...
2 篇 requirement mode...
2 篇 requirement repr...
2 篇 unified modeling...

机构

2 篇 monash univ info...
2 篇 tu wien cdl secu...
2 篇 univ bayreuth ch...
2 篇 software and sol...
2 篇 univ veracruzana...
1 篇 univ veracruzana...
1 篇 college of compu...
1 篇 dfki gmbh cyber ...
1 篇 univ appl sci co...
1 篇 department of in...
1 篇 simula res lab d...
1 篇 cetic res ctr ch...
1 篇 paderborn univ s...
1 篇 systems and soft...
1 篇 school of comput...
1 篇 school of inform...
1 篇 school of cybers...
1 篇 dundalk inst tec...
1 篇 univ fed ceara d...
1 篇 faculty of eemcs...

作者

4 篇 biffl stefan
4 篇 rinker felix
4 篇 winkler dietmar
3 篇 meixner kristof
3 篇 slimane hammoudi
3 篇 waltersdorfer la...
3 篇 luís ferreira pi...
2 篇 hammer maximilia...
2 篇 zaki-ismail aya
2 篇 abdelrazek moham...
2 篇 buchmann thomas
2 篇 philippe desfray
2 篇 osama mohamed
2 篇 bedini francesco
2 篇 grundy john
2 篇 lueder arndt
2 篇 maschotta ralph
2 篇 bran selic
2 篇 jungebloud tino
2 篇 wichmann alexand...

语言

87 篇 英文

检索条件"任意字段=9th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2021"

共 87 条记录，以下是41-50 订阅

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

详细简洁

排序：

An Empirical Study on Employment Competence of engineering Students Based on Structural model 9

An Empirical Study on Employment Competence of Engineering S...

引用

9th IEEE international conference on Computer Science and Network Technology, ICCSNT 2021

作者： Wang, Ningjun Liu, Junxia School of Cyberspace Security Northwestern Polytechnical University Xi'an China School of Business Xi'An Fanyi University Xi'an China

ISBN: (纸本)9781665443647

Based on the statistical software SPSS 18.0 and structural equation software Liserel 8.5, this paper conducted the analysis of exploratory and confirmatory factors on engineering students' employment competence. the author tried to construct a four-dimensional model consisting of career development, personality traits, general skills and interpersonal skills, providing guidance for college students to draw up a reasonable career planning, and a scientific basis for colleges and universities to perfect the talent training system. © 2021 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Simplified model and Simulation Analysis of Ferrite Hollow Bead Coating Based on Computer Aided Design Method 9

Simplified Model and Simulation Analysis of Ferrite Hollow B...

引用

9th international conference on Advanced Manufacturing Technology and Materials Science, AMTMS 2021

作者： Hou, Yong-Shen Xi'an University of Technology Mechanical Engineering College Xi'an710048 China

When ferrite hollow beads were made into coating materials, because ferrite hollow beads had hollow internal structure and conductive and magnetic ball wall, ferrite hollow beads have typical resonant ball characteristics in structure. the absorbing coating composed of numerous ferrite hollow beads could be considered as a resonant absorber. With the rapid development of information technology, especially computer technology, the introduction of computer simulation technology can often save experimental costs and reduce the blindness of experiments. therefore, in order to comply with this development trend, this chapter will establish the absorber model of ferrite hollow bead coating based on HFSS (high frequency simulator structure) electromagnetic simulation software, and qualitatively analyze the relationship between the thickness of ferrite hollow bead coating and the resonant frequency of absorber and the distribution state of electromagnetic field inside the coating through the of computer simulation software. © 2022 Institute of Physics Publishing. All rights reserved.

关键词： Ferrite

来源：评论

学校读者我要写书评

暂无评论

Research on the Dynamic Response of Gravity Dam under Blasting Vibration 9

Research on the Dynamic Response of Gravity Dam under Blasti...

引用

9th Annual international conference on Material Science and Environmental engineering, MSEE 2021

作者： Zhuang, Jinzhao Li, Chang Zhang, Bingzhe Ren, Yanlong Lü, Mingzhe College of Water Resources and Civil Engineering China Agricultural University Beijing100083 China School of Mechanics and Civil Engineering China University of Mining and Technology Xuzhou221116 China

With the continuous development of blasting technology, it has been widely used in various construction projects. While bringing convenience to construction, it also has a series of negative effects on surrounding buildings (structures), especially the negative effects of blasting vibration on buildings (structures), which has been paid close attention by scholars at home and abroad. For blasting vibration on the dynamic response of the gravity dam to produce, this article adopts the method of numerical simulation, the finite element software ANSYS is applied, the numerical calculation model of concrete gravity dam is established and the dynamic time-history analysis is calculated, in the different blasting conditions, the blasting vibration on the dynamic response of gravity dam is obtained, the calculation and analysis results as basis is supplied for the selection of the blasting vibration monitoring part of the gravity dam. © 2022 Institute of Physics Publishing. All rights reserved.

关键词： Dynamic response

来源：评论

学校读者我要写书评

暂无评论

development Process for Self-adaptive Applications of the Internet of Health things based on Movement Patterns 9

Development Process for Self-adaptive Applications of the In...

引用

9th IEEE international conference on Healthcare Informatics (IEEE ICHI)

作者： Costa Junior, Evilasio De Castro Andrade, Rossana Maria Rocha, Leonardo Sampaio Univ Fed Ceara Comp Sci Fortaleza Ceara Brazil Univ Fed Ceara Dept Comp Fortaleza Ceara Brazil Univ Estadual Ceara Dept Comp Fortaleza Ceara Brazil

ISBN: (纸本)9781665401326

this study proposes a development process for self-adaptive IoHT applications based on movement pattern data for mobile devices. the proposed process adapts the component reuse-oriented development process by adding elements related to the construction of self-adaptive systems. Also, we propose five artifacts to support this process: a taxonomy relating data from sensors and health status to assist;a correlation graph between sensor data, movement features, and health situations, to assist the choice of components and serving as a knowledge base for self-adaptive application;a template for building adaptation rules;a model based on the MAPE-K adaptation cycle;and a framework based on the model, for assisting the implementation phase. the evaluation of the proposed process will be done using proofs of concept and an experiment.

关键词： software engineering Internet of Health things Self-Adaptive Systems Digital Health

来源：评论

学校读者我要写书评

暂无评论

development of Health software using Behaviour driven development - BDD 8th

Development of Health Software using Behaviour Driven Develo...

引用

8th international conference on model-driven engineering and software development (modelsward)

作者： Anjum, Mohamma Z. Mahon, Silvana Togneri Mac McCaffery, Fergal Dundalk Inst Technol Regulated Software Res Ctr Dundalk Co Louth Ireland Dublin City Univ Sch Comp Dublin 9 Ireland

ISBN: (纸本)9789897584008

the health software industry is facing an immense challenge of managing quality and preventing software failures. Poorly defined requirements are one of the significant cause of health software failures. Agile practices are being increasingly used by the software industry to develop systems on time and within budget with improved software quality and user acceptance. Behaviour-driven development (BDD) is an agile software engineering practice that can help to improve health software quality vastly. BDD achieves this by prioritising the illustration of software's behaviour using ubiquitous language, followed by automated acceptance testing to assess if the illustrated behaviour was achieved. this paper presents a review of BDD literature, including the characteristics of BDD and examines how BDD can benefit health software quality. the paper reviews health software standards and guidelines, to examine their compatibility with a BDD approach. Finally, the paper details future plans for the development of a framework that provides health software companies with a detailed step by step guideline on how to use BDD to develop safer health software.

关键词： Automated Acceptance Testing Requirement engineering Behaviour driven development BDD software Requirements Medical software Health software

来源：评论

学校读者我要写书评

暂无评论

DIEF: An Autopsy Module for Distributed Identification of E-mail Files from Disk Images 9

DIEF: An Autopsy Module for Distributed Identification of E-...

引用

9th IEEE international conference on Smart City and Informatization (iSCI) / 15th IEEE international conference on Big Data Science and engineering (BigDataSE)

作者： Ozcan, Selim Astekin, Merve Glisson, William Bradley Choo, Kim-Kwang Raymond Sam Houston State Univ Dept Comp Sci Cyber Forens Intelligence Ctr Dept Hunstville TX 77340 USA Simula Res Lab Data Driven Software Engn Dept Fornebu Norway Univ Texas San Antonio Dept Informat Syst & Cyber Secur San Antonio TX USA

Hard drives are a predominant source of residual data in today9;s digital environments. However, the increasing size of hard disks compounds the challenge of digital forensics, particularly in time-poor and resourc... 详细信息

ISBN: (纸本)9781665400404

Hard drives are a predominant source of residual data in today's digital environments. However, the increasing size of hard disks compounds the challenge of digital forensics, particularly in time-poor and resource-constrained forensic laboratories (e.g., due to the time required to recover residual data), using conventional digital investigation techniques. there are various types of information in the disk images such as e-mail data (a key source of information in disk images). However, it is time-consuming to identify and extract e-mail files from the disk images, when the hard disk size is big and contains large number of (other) files. We posit the importance of improving existing processes, for example by incorporating efficient and scalable processing mechanisms, to handle increasing volume of data. this study investigates the development of an Autopsy module for Distributed Identification of E-mail Files (DIEF). Initial experiments on the benchmark dataset show that DIEF achieves an average of 52% performance improvement in the process method, as compared to a traditional approach that does not employ distributed processing.

关键词： Digital forensics E-mail forensics Distributed computing Big digital forensic data Big data analysis Scalability Runtime comparison software development Autopsy the Sleuth Kit

来源：评论

学校读者我要写书评

暂无评论

Identification of Nonfunctional Requirement Conflicts: Machine Learning Approach 9th

Identification of Nonfunctional Requirement Conflicts: Machi...

引用

9th EAI international conference on Advancement of Science and Technology, ICAST 2021

作者： Abeba, Getasew Alemneh, Esubalew Faculty of Computing Bahir Dar Institute of Technology Bahir Dar University Bahir Dar Ethiopia ICT4D Research Center Bahir Dar Institute of Technology Bahir Dar University Bahir Dar Ethiopia

ISBN: (纸本)9783030937089

the most common causes of software failure in system development are requirements issues. One of these issues is requirement conflicts, which results in expensive costs and a long development time. this is because contradicting requirements make it difficult to design, test, and maintain a software system, which almost always results in software failure. Using manual and semi-automated methods, many researchers attempted to overcome the challenge of detecting conflicting requirements. We’ve suggested a machine learning-based model for detecting conflicts between non-functional requirements in a software Requirement Specification (SRS) document. To build the model for identifying non-functional requirement conflicts;text preprocessing, vectorization, and classification are included. the text from the document is preprocessed into a series of words using natural language processing (NLP). then, using vectorization techniques to give words weight, a series of words are stored in numeric representation and utilized as input for classification algorithms. the prepared dataset is used to test traditional machine learning and deep learning classification techniques. Bi-LSTM with pre-trained SO word2vec embedding performs 84.74% accurately, according to a comparative experimental investigation. Future research directions in the problem domain include identifying the relationship between quality attributes and resolving nonfunctional requirements conflict through experiments. © 2022, ICST Institute for Computer Sciences, Social Informatics and Telecommunications engineering.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

A Lifecycle for engineering IoT Neural Network-based Systems

A Lifecycle for Engineering IoT Neural Network-based Systems

引用

9th IEEE international conference on Big Data (IEEE BigData)

作者： Nascimento, Nathalia Alencar, Paulo Cowan, Donald Univ Waterloo UW David R Cheriton Sch Comp Sci Waterloo ON Canada

ISBN: (纸本)9781665439022

Internet of things (IoT) applications have been deployed in several domains, including health care, smart cities, and agriculture. Because of the complex static and dynamic variability of the environment in which these applications are deployed, machine learning-based approaches have been used to support the design of IoT applications. In particular, an emergent approach involves using neural networks to enable IoT devices to learn to adapt their behavior based on the dynamics of the environment. Designing IoT systems is already challenging because of the autonomy and concurrency inherent in distributed physical systems. Moreover, neural networks systems have particular characteristics, such as dynamism, adaptability, and generalization, that make it necessary to adapt the traditional software development lifecycle to satisfy the requirements of these systems. In this paper, we describe our proposed approach to support the engineering of IoT neural network-based systems. Our approach considers a lifecycle supporting the integration of IoT system development tasks with particular ANN tasks, as model requirements and feature engineering. In addition, the paper includes the provision of the application of the approach to a case study and conclusive remarks.

关键词： Internet of things Artificial Neural Network (ANN) IoT Neural Network software engineering development lifecycle machine learning development lifecycle

来源：评论

学校读者我要写书评

暂无评论

Mining Learner-friendly Security Patterns from Huge Published Histories of software Applications for an Intelligent Tutoring System in Secure Coding

Mining Learner-friendly Security Patterns from Huge Publishe...

引用

9th IEEE international conference on Big Data (IEEE BigData)

作者： Imtiaz, Sayem Mohammad Sultana, Kazi Zakia Varde, Aparna S. Iowa State Univ Ames IA 50011 USA Montclair State Univ Montclair NJ 07043 USA

ISBN: (纸本)9781665439022

Security patterns are proven solutions to recurring problems in software development. the growing importance of secure software development has introduced diverse research efforts on security patterns that mostly focused on classification schemes, evolution and evaluation of the patterns. Despite a huge mature history of research and popularity among researchers, security patterns have not fully penetrated software development practices. Besides, software security education has not been benefited by these patterns though a commonly stated motivation is the dissemination of expert knowledge and experience. this is because the patterns lack a simple embodiment to help students learn about vulnerable code, and to guide new developers on secure coding. In order to address this problem, we propose to conduct intelligent data mining in the context of software engineering to discover learner-friendly software security patterns. Our proposed model entails knowledge discovery from large scale published real-world vulnerability histories in software applications. We harness association rule mining for frequent pattern discovery to mine easily comprehensible and explainable learner-friendly rules, mainly of the type "flaw implies fix" and "attack type implies flaw", so as to enhance training in secure coding which in turn would augment secure software development. We propose to build a learner-friendly intelligent tutoring system (ITS) based on the newly discovered security patterns and rules explored. We present our proposed model based on association rule mining in secure software development with the goal of building this ITS. Our proposed model and prototype experiments are discussed in this paper along with challenges and ongoing work.

关键词： Association Rules Big Data in software engineering Comprehensibility Explainable Knowledege Intelligent Tutoring Systems Security Vulnerability

来源：评论

学校读者我要写书评

暂无评论

Trigger2B: A Tool Generating Event-B models from Database Triggers 9th

Trigger2B: A Tool Generating Event-B Models from Database Tr...

引用

9th EAI international conference on Context-Aware Systems and Applications, ICCASA 2020 and 6th EAI international conference on Nature of Computation and Communication, ICTCC 2020

作者： Le, Hong Anh Hanoi University of Mining and Geology 18 Pho Vien Bac Tu Liem Hanoi Viet Nam

ISBN: (纸本)9783030671006

Triggers are commonly used many traditional database applications that can be checked if they are correct after execution or manual inspection. Formal methods are techniques complementing to testing that ensure the correctness of software. In practical aspect, one limitation of formal techniques is the complexity that makes software developers lazy to use in the development. this paper introduces a tool named Trigger2B which partly supports for translating DML triggers to Event-B models. From the targeted model, we can verify the data constraints and detect infinite loops of trigger execution with RODIN. Finally, we take an example for illustration purpose. the proposed tool overcomes the complexity of formal modeling and makes them practical in the development. © 2021, ICST Institute for Computer Sciences, Social Informatics and Telecommunications engineering.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共9页 << < 1 2 3 4 5 6 7 8 9 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：