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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,942 篇 会议
424 篇 期刊文献
114 册 图书
1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

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

主题

1,552 篇 software enginee...
1,237 篇 software
1,118 篇 knowledge engine...
877 篇 application soft...
647 篇 knowledge based ...
547 篇 computer science
519 篇 knowledge manage...
430 篇 data mining
412 篇 software systems
399 篇 programming
391 篇 ontologies
365 篇 computer archite...
338 篇 education
267 篇 educational inst...
266 篇 artificial intel...
251 篇 computer aided s...
238 篇 software design
230 篇 semantics
208 篇 project manageme...
208 篇 software archite...

机构

49 篇 state key labora...
48 篇 college of compu...
34 篇 school of inform...
32 篇 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 篇 university of ch...
22 篇 college of compu...
21 篇 school of softwa...
19 篇 national enginee...
19 篇 school of softwa...
19 篇 school of softwa...
19 篇 school of electr...
18 篇 software enginee...
18 篇 school of softwa...

作者

24 篇 biffl stefan
23 篇 jin zhi
22 篇 wang qing
17 篇 liu yang
15 篇 far behrouz h.
15 篇 liu jie
15 篇 wang wei
14 篇 li li
14 篇 washizaki hirono...
14 篇 xu baowen
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,119 篇 英文
257 篇 其他
80 篇 中文
25 篇 西班牙文
7 篇 葡萄牙文
2 篇 德文
2 篇 法文
2 篇 土耳其文
1 篇 俄文
1 篇 斯洛伐克文

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

共 17481 条记录，以下是681-690 订阅

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

详细简洁

排序：

Deep Learning-based E-Learning Solution for Identifying and Bridging the knowledge Gap in Primary Education

Deep Learning-Based E-Learning Solution for Identifying and ...

引用

2023 International Research conference on Smart Computing and Systems engineering, SCSE 2023

作者： Arunoda, D.P.H. Walpola, S.R. Piumira, S.M.I. Athukorala, A.D.M.P. Thilakarathna, Thusithanjana Chandrasiri, Sanjeevi Sri Lanka Institute of Information Technology Faculty of Computing Department of Computer Science and Software Engineering Malabe Sri Lanka Sri Lanka Institute of Information Technology Faculty of Computing Department of Information Technology Malabe Sri Lanka

ISBN: (纸本)9798350341454

Educational teaching apps are primarily available in app stores to educate students in various contexts. Lack of educational resources, physical and mental health conditions, and poverty cause some students to skip school and move on to the next school grade without completing the course content of the previous grade. Most of the available apps focus on specific content to cover. The Smart Primary Education Tutor (SPET) teaching app specifically focuses on the missed content by analyzing their knowledge gap and providing lessons to cover the missed content. The main objective of SPET is to develop a methodology to identify the gap in student knowledge and fill the knowledge gap by teaching using smart techniques. SPET is determined to identify students' interactions (attention, emotions) with the system to identify students' ability to use the learning tool, identifying gaps in students' knowledge levels compared to their actual grades using activities and voice-based technologies, teaching to cover the knowledge gap by providing engaging activities and lessons and evaluating students by conducting a final assessment and analyze students' knowledge and performance obtained through the system. Students between the ages of 5 and 8 are targeted in the community to apply. The solution embeds deep learning-based models including attention classification models using head posture estimation, facial expression recognition, and eye gaze estimation, speech recognition models to identify provided verbal answers, handwriting recognition models to evaluate student performance, and smart teaching. The child emotion recognition model achieved 93% accuracy. The Attention span evaluation model achieved 85% accuracy. The handwritten numerical and English character data recognition model which detects answers for the final assessment paper achieved 85% percent of accuracy. © 2023 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

software engineering Ecosystems 13

Software Engineering Ecosystems

引用

13th International Scientific and Practical Programming conference, UkrPROG 2022

作者： Sydorov, Nykolay National Technical University of Ukraine Igor Sikorsky Kyiv Polytechnic Institute street Politechnichna 41. Kyiv02000 Ukraine

Nowadays, the fundamental science of software engineering is being formed, which should represent knowledge that meets the requirements of the concept of sustainable development. This the fundamental science can be called the software engineering Ecology. Along with others sections, the software engineering Ecology should include a section containing knowledge about software engineering ecosystems. This section of the future science has been intensively developing for more than fifteen years, exploring software ecosystem. However, today, there is no consensus among researchers regarding the definitions of the software ecosystem. Naturally, this does not contribute to the creation of an appropriate section, an emerging science. Being investigated only a software ecosystem, which is considering in different contexts and defining in different ways. based on the hypothesis that the term "the software ecosystem" is now used to refer to a wide range of ecosystems that are actually software engineering ecosystems, the purpose of this paper was to propose a basis for defining software engineering ecosystems. As such a base, by analogy with the concepts of the landscape and the trophic chain of biological ecosystems, the concepts of software landscape and software engineering value chain are proposed. based on these concepts, the diversity of software engineering ecosystems is shown. A model of the software engineering ecosystems and a classification of the software engineering ecosystems are proposed. © 2022 Copyright for this paper by its authors.

关键词： Ecosystems

来源：评论

学校读者我要写书评

暂无评论

Standardisation in Digital Twin Architectures in Manufacturing 20

Standardisation in Digital Twin Architectures in Manufacturi...

引用

IEEE 20th International conference on software Architecture (ICSA)

作者： Ferko, Enxhi Bucaioni, Alessio Pelliccione, Patrizio Behnam, Moris Malardalen Univ MDU Vasteras Sweden Gran Sasso Sci Inst GSSI Laquila Italy

ISBN: (纸本)9798350397499

engineering digital twins following standardised reference architectures is an upcoming requirement for ensuring their adoption and facilitating their creation, processing, and integration. The ISO 23247 standard proposes a reference architecture for digital twins in manufacturing, including an entity-based reference model and a functional view specified in terms of functional entities. During our experience with projects in the field, we noticed that standards, and in particular the ISO 23247 standard, are not completely followed. In this paper, we analyse to what extent digital twin architectures documented in the literature are aligned with the reference architecture presented in the ISO 23247 standard. We achieved this through a mixed-methods research methodology that includes the analysis of 29 digital twin architectures in the manufacturing domain resulting from a systematic literature review of 140 peer-reviewed studies, a survey with 33 respondents, and four semi-structured, in-depth expert interviews. On the basis of our findings, practitioners and researchers can reflect, discuss, and plan actions for future research and development activities.

关键词： software Architecture Digital Twin ISO 23247 Reference Architecture

来源：评论

学校读者我要写书评

暂无评论

Breakthroughs in Cognitive Robots and AI Programming Underpinned by Discoveries in Intelligence Science and software Science

Breakthroughs in Cognitive Robots and AI Programming Underpi...

引用

2023 International conference on Frontiers of Robotics and software engineering, FRSE 2023

作者： Wang, Yingxu Schulich School of Engineering and Hotchkiss Brain Institute University of Calgary 2500 University Drive NW CalgaryABT2N 1N4 Canada

ISBN: (纸本)9798350301113

Breakthroughs of basic research in Intelligence Science (IS) [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], Cognitive Computing (CC) [14], [15], [16], [17], [18], [19], [20], [21], [22], [22], [23], [24], [25], [26], and Cognitive Informatics (CI) [27], [28], [29], [30], [31], [32], [33], [34], [35], [36], [37], [38], have triggered the emergence of Cognitive Robots (CR) [39], [40], [41], [42], [43], [44], [45], [46], [47], [48], [49] towards software science (SS) [50], [51], [52], [53], [54], [55] and autonomous software engineering (SE) [56], [57], [58], [59], [60], [61], [62], [63], [64], [65], [66]. These latest advances have enabled the synergy of classical pre-programmed software engineering and pre-trained AI to an unprecedented platform of training-free machine intelligence generation mimicking human brains and Brain-Inspired Systems (BIS) [67], [68], [69], [70], [71], [72], [73], [74]. It is discovered in IS and CC in general, as well as in CR and SE in particular, that the target entities across these contemporary fields had already out of the denotational power of the classic mathematical domains of real (R) and binary (B) numbers [76]. This leads to the latest discovery that the basic unit of human knowledge as a hyperstructure [50] is a binary relation (bir) [74]. Therefore, a new framework of Intelligence Mathematics (IM) [75], [76], [77], [78], [79], [80], [81], [82], [83], [84], [85], [86], [87], [88], [89], [90], [91], [92], [93], [94], [95], [96], [97], [98], [99], [100] has been created for rigorously manipulating the cognitive entities in the brain and CRs spanning from formal concepts, semantics, knowledge, causalities, inferences, and consciousness by contemporary IMs for advancing both AI [1], [2], [3] and SE [56], [58]. This keynote lecture presents fundamental theories and ground-breaking technologies for designing and implementing cognitive robots based on AI Programming (AIP) [101], [102], [103], [104], and Autonomous

关键词： Robot programming

来源：评论

学校读者我要写书评

暂无评论

Practical and Efficient Model Extraction of Sentiment Analysis APIs 23

Practical and Efficient Model Extraction of Sentiment Analys...

引用

45th IEEE/ACM International conference on software engineering (ICSE)

作者： Wu, Weibin Zhang, Jianping Wei, Victor Junqiu Chen, Xixian Zheng, Zibin King, Irwin Lyu, Michael R. Sun Yat Sen Univ Sch Software Engn Guangzhou Peoples R China Chinese Univ Hong Kong Dept Comp Sci & Engn Hong Kong Peoples R China Hong Kong Polytech Univ Dept Comp Hong Kong Peoples R China Tencent Shenzhen Peoples R China

ISBN: (纸本)9781665457019

Despite their stunning performance, developing deep learning models from scratch is a formidable task. Therefore, it popularizes Machine-Learning-as-a-Service (MLaaS), where general users can access the trained models of MLaaS providers via Application Programming Interfaces (APIs) on a pay-per-query basis. Unfortunately, the success of MLaaS is under threat from model extraction attacks, where attackers intend to extract a local model of equivalent functionality to the target MLaaS model. However, existing studies on model extraction of text analytics APIs frequently assume adversaries have strong knowledge about the victim model, like its architecture and parameters, which hardly holds in practice. Besides, since the attacker's and the victim's training data can be considerably discrepant, it is non-trivial to perform efficient model extraction. In this paper, to advance the understanding of such attacks, we propose a framework, PEEP, for practical and efficient model extraction of sentiment analysis APIs with only query access. Specifically, PEEP features a learning-based scheme, which employs out-of-domain public corpora and a novel query strategy to construct proxy training data for model extraction. Besides, PEEP introduces a greedy search algorithm to settle an appropriate architecture for the extracted model. We conducted extensive experiments with two victim models across three datasets and two real-life commercial sentiment analysis APIs. Experimental results corroborate that PEEP can consistently outperform the state-of-the-art baselines in terms of effectiveness and efficiency.

关键词： model extraction sentiment analysis APIs active learning architecture search

来源：评论

学校读者我要写书评

暂无评论

Refactoring of Object-oriented Package Structure based on Complex Network 34

Refactoring of Object-oriented Package Structure Based on Co...

引用

34th International conference on software engineering and knowledge engineering, SEKE 2022

作者： Huang, Youfei Chen, Yuhang Tang, Zhengting Chen, Liangyu Jiang, Ningkang Shanghai Key Laboratory of Trustworthy Computing East China Normal University Shanghai China

ISBN: (纸本)1891706543

A software system is usually developed with multiple modules. However, its structure is continuously modified during software evolution, resulting in poor maintainability and understandability. Therefore, software evolution must accompany system refactoring. This paper describes an optimization approach for package structure according to complex network theory. First, we analyze the relations between classes and build the class dependency graph. Second, we propose a community detection algorithm to recombine the classes and optimize system cohesion and coupling without changing the external functionality. Third, by comparing the original and optimized package structure, the two dimensions of splitting the package and moving classes between packages identify package refactoring opportunities. In addition, we evaluate the impact of the above approach on package quality in terms of package reusability and instability. We design experiments on 10 open-source Java software projects to verify the effectiveness of our approach. © 2022 knowledge Systems Institute Graduate School. All rights reserved.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

Modern Concepts of Supervisory Control Systems based on PLC and SCADA Configuration

Modern Concepts of Supervisory Control Systems Based on PLC ...

引用

International conference of Experimental and Numerical Investigations and New Technologies, CNNTech 2024

作者： Stankov, Stanko P. Faculty of Electronic Engineering Department of Automatics University of Niš Niš Serbia

ISBN: (纸本)9783031786341

Modern control structures, based on PLC (Programmable Logic Controller) and SCADA (Supervisory Control and Data Acquisition) systems are reliable, have great programming flexibility, enable changes in basic parameters or the concept of the entire control system, quick adaptation to new situations, and implementation of new knowledge to which are reached during work monitoring, thanks to the fact that all these changes are made in software. PLCs have been the devices most widely applied in the last three decades to solve tasks related to industrial plant automation and process control. The processor, memory capacity, and computer capabilities of the controller enable the application of very complex algorithms and control of very complex processes. Modern SCADA systems incorporate the most modern technologies at the moment, with the Internet of Things (IoT), Industrial Internet of Things (IIoT), and Industry 4.0 having a significant impact as well. Today’s industry development is characterized by the transition from digitization of production platforms to cyber-physical systems. SCADA systems now allow access to data on the operation of process equipment in real time from anywhere in the world. These modern platforms allow users to quickly and easily design and develop different applications, even without in-depth knowledge of the software. Introduction of modern IT standards, practices, and technologies, such as Structured query language (SQL) and web-based applications in SCADA software, optimizes the efficiency, security, and reliability of the SCADA system. Along with the development of supervisory control systems, the need to protect data that is acquired, processed, and transmitted also arose. Current problems and trends in this area and the protective measures taken to overcome the problems are presented. This paper presents an example of supervisory control of a complex industrial plant. © The Author(s), under exclusive license to Springer Nature Switzerland A

关键词： SCADA systems

来源：评论

学校读者我要写书评

暂无评论

Preliminary Exploration of Incorporating Industrial software Curriculum into University software engineering Education 11

Preliminary Exploration of Incorporating Industrial Software...

引用

11th IEEE International conference on Teaching, Assessment and Learning for engineering, TALE 2022

作者： Yang, Xiaochun Zhang, Jin Cai, Wangyang Ran, Chang Huang, Haowei Shanghai AchieveFun Info Tech Co. Ltd. Shanghai China Changsha University of Science and Technology College of Information Science and Technology Hunan Normal University School of Computer and Communication Engineering Changsha China Changsha University of Science and Technology School of Computer and Communication Engineering Changsha China

ISBN: (纸本)9781665491174

Culturing industrial software talents is an urgent issue in China. Currently, there is no systematic education program from the perspective of discipline standards and feedback from the industry. based on the specific conditions of the current domestic university software engineering education and industry, combined with the preliminary exploration in the education and industry circles, the authors propose a competency description plan and three types of curriculum design for university teachers and industry professionals to collaborate in cultivating industrial software talents. The competency specification is based on the CC2020 competency model, the knowledge, skills, and disposition requirements for the effective and efficient completion of industrial software-related tasks. The first type of courses is culturing abstract thinking skills integrated with existing software engineering courses. The second type of courses is specialized courses related to industrial software, including theory and ability practice. The third type of courses is based on problem and project learning. Students practice knowledge and skills to solve problems and complete projects, develop interdisciplinary collaboration capabilities, and improve and adjust their dispositions. © 2022 IEEE.

关键词： Curricula

来源：评论

学校读者我要写书评

暂无评论

A Simplified Method for Automatic Verification of Java Programs 34

A Simplified Method for Automatic Verification of Java Progr...

引用

34th International conference on software engineering and knowledge engineering, SEKE 2022

作者： Li, Zhi Xie, Ling Yang, Yilong School of Computer Science and Engineering Guangxi Normal University Guilin China School of Software Beihang University Beijing China

ISBN: (纸本)1891706543

Current KeY verification tool for Java programs provides limited capability for verifying Java programs. In order to solve this problem, we provide a method for simplifying complex Java programs into a format that is compatible with the KeY. A set of simplification rules based on abstract syntax tree (AST) are proposed. These rules can keep the logic and semantics of the original Java programs mostly unchanged, while meeting the requirements of KeY verification tool. The paper concludes with a bank ATM example to demonstrate the feasibility of our work. © 2022 knowledge Systems Institute Graduate School. All rights reserved.

关键词： Syntactics

来源：评论

学校读者我要写书评

暂无评论

Microprocessor-based Virtual Control System Framework for Control engineering Education 7

Microprocessor-based Virtual Control System Framework for Co...

引用

7th IEEE Eurasian conference on Educational Innovation, ECEI 2024

作者： Peng, Chao-Chung National Cheng Kung University Department of Aeronautics and Astronautics Tainan Taiwan

ISBN: (纸本)9798350307207

In control engineering, a range of disciplines is used including mathematics, physics, and mechanical, electrical, and software engineering. Its interdisciplinary nature enables university students to acquire knowledge and the ability to cope with complex problems. For control engineering education, lecturers teach classical control theory, modern control theory, and non-linear control courses. However, most students are unable to apply the basis of control theory to physical systems. In addition, in practical control engineering courses, it is necessary to purchase expensive control system equipment to train students. This raises the cost of implementing control education and makes students not familiar with the physical construction and engineering integration of control systems. To address these problems, a low-cost and high-safety design framework was developed in this study for control engineering education. This framework provides low cost, safety, and a high degree of flexibility for the digital generation of different physical systems, allowing students to learn controller design and tuning for different complex virtual physical systems under the same framework. The proposed architecture has significant potential for enhancing control engineering education for college students. © 2024 IEEE.

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 65 66 67 68 69 70 71 72 73 74 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：