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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

16,877 篇 会议
421 篇 期刊文献
114 册 图书
1 篇 学位论文

馆藏范围

17,412 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

10,171 篇 工学
- 8,448 篇 计算机科学与技术...
- 7,110 篇 软件工程
- 1,221 篇 电气工程
- 1,129 篇 控制科学与工程
- 904 篇 信息与通信工程
- 643 篇 机械工程
- 395 篇 生物工程
- 311 篇 电子科学与技术（可...
- 308 篇 生物医学工程（可授...
- 293 篇 土木工程
- 276 篇 建筑学
- 260 篇 化学工程与技术
- 239 篇 材料科学与工程（可...
- 213 篇 安全科学与工程
- 202 篇 仪器科学与技术
- 173 篇 动力工程及工程热...
2,889 篇 管理学
- 1,920 篇 管理科学与工程(可...
- 1,215 篇 图书情报与档案管...
- 991 篇 工商管理
2,331 篇 理学
- 1,339 篇 数学
- 424 篇 生物学
- 412 篇 物理学
- 328 篇 系统科学
- 311 篇 统计学（可授理学、...
- 215 篇 化学
913 篇 教育学
- 907 篇 教育学
316 篇 医学
- 260 篇 临床医学
- 228 篇 基础医学(可授医学...
265 篇 法学
- 221 篇 社会学
252 篇 经济学
- 246 篇 应用经济学
83 篇 农学
55 篇 文学
15 篇 军事学
7 篇 艺术学
1 篇 哲学

主题

1,539 篇 software enginee...
1,218 篇 software
1,111 篇 knowledge engine...
877 篇 application soft...
644 篇 knowledge based ...
544 篇 computer science
519 篇 knowledge manage...
430 篇 data mining
410 篇 software systems
398 篇 programming
391 篇 ontologies
365 篇 computer archite...
325 篇 education
268 篇 educational inst...
261 篇 artificial intel...
251 篇 computer aided s...
236 篇 software design
228 篇 semantics
209 篇 software archite...
207 篇 project manageme...

机构

49 篇 state key labora...
45 篇 college of compu...
33 篇 school of inform...
31 篇 school of comput...
29 篇 nanjing univ sta...
29 篇 school of softwa...
28 篇 school of comput...
26 篇 school of softwa...
25 篇 state key labora...
23 篇 college of infor...
23 篇 school of comput...
22 篇 college of compu...
20 篇 school of softwa...
20 篇 university of ch...
20 篇 school of electr...
19 篇 school of softwa...
19 篇 school of softwa...
18 篇 software enginee...
18 篇 school of softwa...
17 篇 national enginee...

作者

24 篇 biffl stefan
22 篇 jin zhi
22 篇 wang qing
17 篇 liu yang
15 篇 far behrouz h.
15 篇 liu jie
15 篇 wang wei
14 篇 washizaki hirono...
14 篇 xu baowen
13 篇 li li
13 篇 wei liu
12 篇 zamani bahman
12 篇 almeida hyggo
11 篇 zhang hongyu
11 篇 lu lu
11 篇 lu jie
11 篇 wotawa franz
10 篇 qing wang
10 篇 shen beijun
10 篇 wu huisi

语言

17,151 篇 英文
157 篇 其他
79 篇 中文
25 篇 西班牙文
7 篇 葡萄牙文
2 篇 德文
2 篇 法文
2 篇 土耳其文
1 篇 俄文
1 篇 斯洛伐克文

检索条件"任意字段=Knowledge-Based Software Engineering Conference"

共 17413 条记录，以下是4911-4920 订阅

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

详细简洁

排序：

Hyperstate Space Graphs For Automated Game Analysis

Hyperstate Space Graphs For Automated Game Analysis

引用

IEEE conference on Games (IEEE COG)

作者： Cook, Michael Raad, Azalea Queen Mary Univ London London England Max Planck Inst Software Syst Saarbrucken Germany

ISBN: (纸本)9781728118840

Automatically analysing games is an important challenge for automated game design, general game playing, and cocreative game design tools. However, understanding the nature of an unseen game is extremely difficult due to the lack of a priori design knowledge and heuristics. In this paper we formally define hyperstate space graphs, a compressed form of state space graphs which can be constructed without any prior design knowledge about a game. We show how hyperstate space graphs produce compact representations of games which closely relate to the heuristics designed by hand for search-based AI agents;we show how hyperstate space graphs also relate to modern ideas about game design;and we point towards future applications for hyperstates across game AI research.

关键词： automated game design general game playing game analysis

来源：评论

学校读者我要写书评

暂无评论

Model-based approach for agile requirements engineering using SysML and Papyrus 5

Model-based approach for agile requirements engineering usin...

引用

5th International Meeting of Technological Innovation

作者： Cuesta, B. Grupo de Investigación en Tecnología y Desarrollo en Ingenierias Universidad Francisco de Paula Santander Ocaña Colombia

This paper presents a model for the application of agile requirements engineering. The literature review made it possible to identify the requirements elicitation process based on standards such as capability maturity model integration, software engineering body of knowledge and how their practices can complement those of agile methodologies, to reduce risk factors and guarantee the success of software projects. This process gives importance to the continuous communication with stakeholders in an iterative process, which is maintained throughout the project and begins with the identification of the problem domain, and then gradually refining characteristics and objectives in user stories and it ends with the development of the product backlog, which will serve as input to the application agile development process. The results propose a model, indicating the different stages for requirements engineering using the agile systems modeling language and the Papyrus tool. © 2019 Published under licence by IOP Publishing Ltd.

关键词： Requirements engineering

来源：评论

学校读者我要写书评

暂无评论

Concept System Formalization: Ontology Models in Organic Chemistry Intelligent System Design and Development

Concept System Formalization: Ontology Models in Organic Che...

引用

2019 International Multi-conference on engineering, Computer and Information Sciences, SIBIRCON 2019

作者： Gulyaeva, Karina A. Artemieva, Irina L. Far Eastern Federal University Dept. of Applied Mathematics Mechanics Administration and Software Vladivostok Russia

ISBN: (纸本)9781728144016

Due to organic synthesis achievements, the amount of data and knowledge in organic chemistry grows exponentially. Despite the existence of diverse software and information products, there is a need for high-quality intelligent systems that can facilitate the decision-making process in the tasks scientists solve every day. The quality of intelligent system knowledge base defines the overall intelligent system quality. In case of the ontological approach to intelligent system design, the expert forms an application area knowledge base in reliance on the concept system and the structure that the application area ontology model forms. This is due to the semantic constraints of the problem input data. It is impossible to define the input data precisely;however, it is possible to denote a larger set the input data belong to. The article is devoted to the application of the ontological approach for the design and development of the intelligent system, the major task of which is organic compound reaction capacity identification. The use of this approach is driven by the intelligent system requirement analysis. The foreground requirements that involve alternating intelligent system knowledge and metaknowledge and extending intelligent system functionality (by means of adding problem-solvers for new classes of tasks) can be satisfied if the intelligent system architecture considers key features of the knowledge-intensive application domain and is based on its ontology model. © 2019 IEEE.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Enhancement Framework of Semantic Query Expansion Using Mapped Ontology

Enhancement Framework of Semantic Query Expansion Using Mapp...

引用

Computer Science and software engineering (CSASE), conference on

作者： Bazeer Ahamed Razwan M.S. Najimaldeen Yuvaraj Duraisamy Department of Information Technology Al Musanna College of Technology Sultanate of Oman Department of Computer Science University of Duhok Cihan University - Duhok Kurdistan Region Iraq Department of Computer Science Cihan University - Duhok Kurdistan Region Iraq

ISBN: (数字)9781728152493

ISBN: (纸本)9781728152509

In the present information age, providing correct information to the query with a limited concept is a challenging task. The modern adaptive Information Retrieval (IR) system is needed to provide valid information. Ontology-based on IR can provide a better solution. Ontology is a perception of shared conceptualization, represented by classes, properties, and objects. Ontology mapping offers a solution to integrate inter-domain knowledge. This paper presents a method for using ontologies to handle inter-domain query in information retrieval. Using ontology in IR for Query Expansion (QE) and document ranking seems to be the ultimate goal. The Multi-Domain Specific Ontology Mapping (MDOM) proposes the concepts derived from ontology for query expansion and information retrieval. The result shows the improvement in terms of better document ranking.

关键词： Ontologies Semantics Information retrieval Computer science software engineering Merging Classification algorithms

来源：评论

学校读者我要写书评

暂无评论

Bridging the Gap between Smart Home Platforms and Machine Learning using Relational Reference Attribute Grammars 22

Bridging the Gap between Smart Home Platforms and Machine Le...

引用

ACM/IEEE 22nd International conference on Model Driven engineering Languages and Systems Companion (MODELS-C)

作者： Schoene, Rene Mey, Johannes Ren, Boqi Assmann, Uwe Tech Univ Dresden Software Technol Grp Dresden Germany

ISBN: (纸本)9781728151250

Machine learning improves the development of self-adaptive systems, i.e., to react to unforeseen situations. However, state-of-the-art smart home platforms lack the ability to integrate machine learning models directly into their knowledge base. While there are machine learning approaches for smart home environments, they are usually not integrated nor represented in the middleware of smart environments. Instead, they rely on data obtained previously and use it in a form prepared for a single use case. To remedy this, our aim is to extend existing middleware platforms to integrate machine learning algorithms as first-class concepts of the knowledge base. To achieve this, we employ relational Reference Attribute Grammars to design and implement an integrated runtime model, where machine learning models can be represented and related to elements of the extended knowledge base, e.g., physical entities, location, users, and activities. Consequently, this enables using a state-of-the-art middleware to build a self-adaptive system, which integrates machine learning algorithms enabling both context-awareness and self-awareness. To showcase the feasibility of our approach, we implemented a small smart home scenario using openHAB as a middleware, in which the system learns the preferences of a user using neural networks.

关键词： Machine Learning Reference Attribute Grammar Runtime model Smart home

来源：评论

学校读者我要写书评

暂无评论

Using Public and Free Platform-as-a-Service (PaaS) based Lightweight Projects for software Architecture Education

Using Public and Free Platform-as-a-Service (PaaS) based Lig...

引用

software engineering: software engineering Education and Training (ICSE-SEET), IEEE/ACM International conference on

作者： Zheng Li University of Concepción Concepción Chile

ISBN: (数字)9781450371247

ISBN: (纸本)9781728165257

Background: software architecture is a crucial while significantly challenging topic in the computer science curriculum. Although “learning by doing” is widely advocated to address this topic's abstract and fuzzy nature, educators are still facing various difficulties in practice, especially including students' vicious circle of inexperience and the mental model dilemma in experiential learning. Aims: To help break the aforementioned vicious circle and mental model dilemma, this work aims to investigate our educational strategy of using lightweight projects with public and free PaaS resources (1) to help students accumulate architectural experience from the early stage and (2) to facilitate strengthening students' fundamental architecture knowledge. Method: To collect more empirical evidence, we conducted action research on our educational strategy across three undergraduatecurriculum courses for two years. In particular, we employed the Technology Acceptance Model (TAM) to validate how well students received such an educational strategy. Results: The students involved in the relevant coursework generally gave positive feedback with respect to learning theoretical concepts and a set of architectural patterns. Meanwhile, we also observed diverse learning curves for utilizing PaaS resources. Conclusions: Although there still exist PaaS-related limits, our educational strategy can foster students' experiential learning and collaborative learning in fundamental architecture courses. We believe that there are also potentials to extend our work to broader and advanced courses of software architecture.

关键词： software architecture Education Servers software Planning Cloud computing Task analysis

来源：评论

学校读者我要写书评

暂无评论

An early warning method for highway traffic accidents based on Bayesian networks 2019

An early warning method for highway traffic accidents based ...

引用

2019 International conference on Artificial Intelligence and Computer Science, AICS 2019

作者： Chen, Ken Liu, Juexiong Chen, Fei Zhang, Fengli Li, Kai Mei, Lin Zhai, Jiayi Sichuan Highway Transportation and Communication Project Co. LTD China Sichuan Institute of Intelligent Transportation Engineering Chengdu Sichuan China Sichuan Institute of Intelligent Transportation Engineering Chengdu Sichuan China School of Information and Software Engineering University of Electronic Science and Technology of China China School of Information and Software Engineering University of Electronic Science and Technology of China China Southwest Minzu University Chengdu Sichuan China Sichuan Institute of Intelligent Transportation Engineering Chengdu Sichuan China

ISBN: (纸本)9781450371506

With the development of information-based and intelligent system of Chinese highway, traffic accident prevention is an important application of road traffic safety research. To solve the safety hazard caused by frequent traffic accidents on highways and improve accident handling efficiency, in this paper, we propose an early warning method for highway traffic accident based on Bayesian network. With the Bayesian network theory and the mutual information theory, the Bayesian network was constructed by combining the traffic accident data and flow data, which can break the limitation problem in which the experts need a large amount of prior knowledge to establish the network structure. The experimental results show that the proposed method has higher accuracy in early warning of accidents. At the same time, the temporal distribution of prediction results is consistent with the peak season. © 2019 Association for Computing Machinery.

关键词： Bayesian networks

来源：评论

学校读者我要写书评

暂无评论

A New Approach Towards Developing a Prescriptive Analytical Logic Model for software Application Error Analysis 3rd

A New Approach Towards Developing a Prescriptive Analytical ...

引用

3rd conference on Computational Methods in Systems and software (CoMeSySo)

作者： Meng, Wong Hoo Amalathas, Sagaya Sabestinal Taylors Univ Subang Jaya Selangor Malaysia

ISBN: (纸本)9783030303297;9783030303280

software application is heavily being used by today's business operations. However as of the fact, it is no software application in the market can guarantee that it has no software defect escaped during the release. Whenever software application error arises, it can be the cause happened either within the software application layer or any other factor outside the software application layer. The root cause analysis activity becomes more complex in such situation as the analysis activity involves multiple layers. Time consuming is increased to identify the valid error. It leads to the entire analysis duration which can be easily prolonged. This arises the problem statement that, the duration of root cause analysis on software application error carries crucial impact to the service restoration. The objective is to create a logic model to conduct decision making process. This process includes the identification of the root cause in a more accurate manner, and shorten the duration of root cause analysis activity. The design of Analytic Hierarchy Process (AHP) hierarchy will depend on the software application errors and other involved errors found from different layers. These errors become the participants. The participants can be grouped further based on the error categories. Once the hierarchy is constructed, the participants analyze it through a series of pairwise comparisons that derive numerical scales of measurement for the nodes. Then, the priorities are associated with the nodes, and the nodes carry weights of the criteria or alternatives. based on the priority, the valid error and the preferred resolution can be decided. Many past researches in AHP had been conducted, however there is a knowledge gap of AHP in software application error analysis. Therefore, a Prescriptive Analytical Logic Model (PAL) incorporates with AHP into the proposed algorithm is suggested. This logic model would contribute a new knowledge in the area of log file analysis to shorten the tot

关键词： Application analysis Application log Application debugging Log file analysis Log processing Analytic Hierarchy Process

来源：评论

学校读者我要写书评

暂无评论

K-Detector: Identifying Duplicate Crash Failures in Large-Scale software Delivery

K-Detector: Identifying Duplicate Crash Failures in Large-Sc...

引用

IEEE International conference on software Reliability engineering Workshops (ISSRE Wksp)

作者： Hao Yang Yang Xu Yong Li Hyun-Deok Choi SAP Labs China Xi’an China SAP Labs Korea Seoul South Korea

ISBN: (数字)9781728177359

ISBN: (纸本)9781728177366

After a developer submits code, corresponding test cases arise to ensure the quality of software delivery. Test failures would occur during this period, such as crash, error, and timeout. Since it takes time for developers to resolve them, many duplicate failures will happen during this period. In the delivery practice of SAP HANA, crash triaging is considered as the most timeconsuming task. If duplicate crash failures can be automatically identified, the degree of automation will be significantly enhanced. To find such duplicates, we propose a training-based mathematical model that utilizes component information of SAP HANA to achieve better crash similarity comparison. We implement our approach in a tool named K-Detector (knowledge-based Detector), which is verified by 11,208 samples and performs 0.986 in AUC (Area Under ROC Curve). Furthermore, we apply KDetector to the production environment, and it can save 97% human efforts in crash triage as statistics.

关键词： Computer crashes software Mathematical model Training Optimized production technology Computer bugs Testing

来源：评论

学校读者我要写书评

暂无评论

SecureQualitas: A Security Corpus of Real Java Applications

SecureQualitas: A Security Corpus of Real Java Applications

引用

International conference on Cyber Security for Emerging Technologies (CSET)

作者： Benabidallah, Raounak Sadou, Salah Borne, Isabelle Univ Bretagne Sud IRISA Lorient France

ISBN: (纸本)9781728145389

The preventive approach of software security is the basis of what is referred to as secure by design. The principle is to avoid vulnerabilities as soon as the system is designed. Several research work are aimed to this objective. Most of them rely on empirical studies which need a realistic corpus. This corpus holds applications with different vulnerabilities and others without any known vulnerability. To the best of our knowledge, such a security corpus does not exist. In this paper, we present a novel approach based on an automatic annotation process to build a security corpus for real Java applications. Our approach takes advantage of several existing code scanners in order to annotate the corpus. We applied our process of vulnerability annotation on a well-known corpus, namely Qualitas Corpus, from the software engineering research community. We provide the resulting security corpus, namely SecureQualitas, to the research community. The experiments we conducted demonstrate that our approach gives better results than the scanners taken alone.

关键词： Java application Scanner software safety Java Java programming language SERN Security empirical studies Research work Real number Vulnerability auto-marking

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 488 489 490 491 492 493 494 495 496 497 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：