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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是771-780 订阅

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

详细简洁

排序：

Automatic Generation of Formal BIP Models for C Programs 23

Automatic Generation of Formal BIP Models for C Programs

引用

7th International conference on Computer Science and Application engineering, CSAE 2023

作者： Li, Qiming Yang, Xia Sun, Haiyong Yan, Zhe School of Information and Software Engineering University of Electronic Science and Technology of China Sichuan China Chengdu Lianan Tech Sichuan China

ISBN: (纸本)9798400700590

The BIP model is based on a combinatorial model-checking technique, which decomposes a software system into behavioral components, interaction components and priority rules. It can effectively formalize the description and verification of complex software systems, and is widely used in industry. However, BIP models require manual modeling and rely heavily on professional knowledge, so there are issues related to high cost, low efficiency, and difficulty in guaranteeing model accuracy. In this paper, an automatic BIP model generation method for C programs is proposed, which can automatically extract key program information to build a middle layer Labelled Transition System (LTS) and finally generate a BIP model. This paper further conducts automatic behavioral modeling of a high-performance dynamic memory allocation algorithm and successfully verifies 12 essential security requirements related to the algorithm. Experimental results show that the proposed automatic formal modeling method can effectively reduce manual dependency and improve modeling efficiency, while ensuring the accuracy of the constructed model. © 2023 ACM.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

UniSleepPos: Sleep Posture Identification System Utilizing Millimeter-wave Radar

UniSleepPos: Sleep Posture Identification System Utilizing M...

引用

2024 IEEE International conference on Bioinformatics and Biomedicine, BIBM 2024

作者： Liu, Kun Li, Min He, Chu Tian, Xu Mao, Junbin Zeng, Min Liu, Jin Xinjiang University Xinjiang Engineering Research Center of Big Data and Intelligent Software School of Software Urumqi China Central South University Hunan Provincial Key Lab on Bioinformatics School of Computer Science and Engineering Changsha China

ISBN: (纸本)9798350386226

Sleep posture identification is crucial for accurately assessing sleep quality and diagnosing related diseases. In the realm of non-intrusive sleep monitoring, non-contact technologies are becoming increasingly mainstream. Millimeter-wave radar is frequently utilized in sleep posture identification due to its high resolution, strong penetration, and excellent sensitivity. However, traditional radar-based methods for sleep posture identification often struggle with reliability when dealing with diverse individuals and complex sleep environments. To address these challenges, we propose UniSleepPos, which designs a novel dual-view fusion mechanism to integrate depression and elevation angle signals obtained from radar, thus accurately capturing the posture information of the monitored subject in three-dimensional space. Furthermore, we combine sleep posture identification with individual characteristics, utilizing existing individual labels as prior knowledge to assist in sleep posture identification. The integration of prior knowledge provides a valuable information source for the model, helping to enhance its understanding of the data and improve its performance. We collected sleep posture data from eight volunteers using millimeter-wave radar devices under various environmental conditions. Leave-one-subject-out experiments were conducted to validate the effectiveness of UniSleepPos. The results indicated that UniSleepPos significantly outperforms existing methods, demonstrating its potential for practical applications. © 2024 IEEE.

关键词： Sleep research

来源：评论

学校读者我要写书评

暂无评论

Research on Real-Time Data Transmission and Signal Processing System of CIM Practical Training Teaching Platform based on 5G Network 2

Research on Real-Time Data Transmission and Signal Processin...

引用

2nd IEEE International conference on Image Processing and Computer Applications, ICIPCA 2024

作者： Cheng, Xuemei Zhang, Hao Shandong University of Engineering and Vocational Technology Jinan250000 China Poly Shandong Real Estate Group Corporation Limited Jinan250000 China

ISBN: (纸本)9798350360240

In order to solve the problems of 'digital signal processing', such as many common knowledge points, difficult teaching, difficult visual teaching, and so on, a software platform for 'signal processing' open teaching is built based on Visual C++6.0. This system is to cooperate with the teaching content of CIM, but also to improve the practical ability of students, so that they can more easily and quickly understand some of the more complex digital signal theory. The timing of the beam position signal is optimized based on the existing down sampling method, and the digital AGC and slow application signal processing modules are completed. We need to get turn-by-turn, quick application, and track closing data simultaneously. The experiment shows that the system can obtain the multi-frequency position information including the actual running state well. The advantages of this system are easy to control parameters, easy to use, and strong expansibility. This project plans to further improve the system in the future research work so as to achieve better teaching and practical application purposes. © 2024 IEEE.

关键词： 5G mobile communication systems

来源：评论

学校读者我要写书评

暂无评论

Continual Learning of 3D Point Cloud with Hyperbolic Manifold Replay 36

Continual Learning of 3D Point Cloud with Hyperbolic Manifol...

引用

36th IEEE International conference on Tools with Artificial Intelligence, ICTAI 2024

作者： Yu, Jin Xu, Zihao Li, Zhengyu Chen, Mingsong Tang, Xuan Wei, Xian Software Engineering Institution East China Normal University Shanghai China

ISBN: (纸本)9798331527235

As an irregular and sparse form of data, 3D point cloud data is widely used in the fields of computer vision and machine learning. Its effective classification and recognition are of great significance. In many cases, task data does not arrive all at once but is acquired in batches over time. However, in deep learning, continual learning faces the problem of catastrophic forgetting, where the model loses memory of old tasks while learning new ones. How to retain old knowledge while learning new knowledge is a significant challenge. To address these challenges, existing replay-based strategies alleviate this issue by storing small portions of old samples. However, this often leads to an imbalance between new and old data, affecting performance. Additionally, point cloud data typically has complex non-Euclidean structures, with potential hierarchical relationships within and between point cloud objects. Current deep learning models based on Euclidean space struggle to capture the hierarchical prior features of point clouds. Therefore, in this paper, we introduce a continual learning method based on a replay mechanism and explore how to incorporate hyperbolic space into continual learning tasks to enhance feature representation capabilities. We propose a manifold replay strategy in hyperbolic space, termed HyMR. Specifically, this paper presents a knowledge distillation strategy that combines global and local information, and utilizes manifold spherical projection to select representative old data for replay. Experiments demonstrate that this method achieves good results in continual learning tasks on point cloud datasets such as ShapeNet and ModelNet. © 2024 IEEE.

关键词： Contrastive Learning

来源：评论

学校读者我要写书评

暂无评论

Research on Intelligent Question Answering System under Operation and Maintenance knowledge Graph

Research on Intelligent Question Answering System under Oper...

引用

2022 International conference on Machine Learning and knowledge engineering, MLKE 2022

作者： Zhao, Fengbo Lu, Zhongda Liang, Yuqiang Wang, Yue He, Ting Beijing Baolande Software Corporation Xi'an China

ISBN: (纸本)9781665495677

At present, many intelligent question answering based on knowledge graphs can answer simple questions, but there is no good solution to complex multi-hop problems. In response to this, relying on the knowledge graph of the operation and maintenance domain, an intelligent question answering system based on the classification strategy and subgraph matching idea is proposed, which can better solve the complex question answering under the knowledge graph intelligent question answering;especially for multi-hop ***, the multi-hop question is divided through the classification model, and then the corresponding subgraph is recalled through the entity mention and the multi-hop category, and finally the original question and the candidate subgraph are matched for similarity to obtain the answer to the question. The experimental results show that the system has achieved high accuracy and application value in map question and answer in the field of operation and maintenance. © 2022 IEEE.

关键词： knowledge graph

来源：评论

学校读者我要写书评

暂无评论

MedIE-Instruct: A Comprehensive Instruction Dataset for Medical Information Extraction 15

MedIE-Instruct: A Comprehensive Instruction Dataset for Medi...

引用

15th IEEE International conference on knowledge Graph, ICKG 2024

作者： Xiang, Zhuoyi Wang, Xinda Yan, Xiaodong Zhao, Deng Ding, Keyan Zhang, Qiang Zhejiang University Polytechnic Institute China Zhejiang University School of Software Technology China Ant Group Machine Intelligence Department China Zhejiang University ZJU-Hangzhou Global Scientific and Technological Innovation Center China Zhejiang University ZJU-UIUC Institute China

ISBN: (纸本)9798331508821

Medical information extraction (IE) tasks, including named entity recognition (NER), relation extraction (RE), and event extraction (EE), are crucial for constructing medical knowledge graphs from unstructured text. However, existing IE datasets in the medical domain are often limited, fragmented, and lack uniformity. To address these issues, we present MedIE-Instruct, a comprehensive bilingual (English and Chinese) medical IE instruction corpus comprising 11 datasets with over 100,000 instructions. This corpus was constructed using schema-based instruction generation to create a large-scale, diverse IE dataset to support large language models (LLMs) in medical IE tasks. Experimental results show that fine-tuning state-of-the-art LLMs with MedIE-Instruct significantly enhances model performance, especially in zero-shot scenarios. We hope this dataset and research findings will provide valuable resources and insights for understanding and processing medical content. © 2024 IEEE.

关键词： Zero-shot learning

来源：评论

学校读者我要写书评

暂无评论

Design and Performance Evaluation of an FPGA based EOG Signal Preprocessor 3

Design and Performance Evaluation of an FPGA based EOG Signa...

引用

3rd International conference on Electrical, Computer and Communication engineering, ECCE 2023

作者： Das, Diba Chowdhury, Aditta Sanka, Abdurrashid Ibrahim Chowdhury, Mehdi Hasan Chittagong University of Engineering & Technology Dept. of Eee Chittagong Bangladesh City University of Hong Kong Dept. of Ee Kowloon Hong Kong

ISBN: (纸本)9798350345360

Electrooculogram (EOG) is an electrophysiological signal produced around the eyes due to eyeball motion. This signal can be utilized to study eye movements which is bene-ficial in many medical and bio-electrical applications such as controlling human-computer interfaces and diagnosing different ocular diseases. However, the EOG is often contaminated with high-frequency motion artifacts, 50/60 Hz grid interference, and baseline wander. Hence, the collected signals are required to be preprocessed before finally being used in applications. This paper proposes an efficient FPGA-based EOG processor for fast and real-time processing of EOG signals, especially for medical diagnosis. To the best of our knowledge, this is the first work to implement EOG serial preprocessing by FIR and IIR filters on FPGA. MATLAB's FDA tool is used for mathematical validation and primary simulation. The proposed system was implemented on the Xilinx Zynq-7000 FPGA by hardware/software co-design. By statistical analysis, the software and hardware results were found to have the Pearson Correlation Coefficient of 0.99 and a Mean Root Squared Error in the 10-3 range. The resource utilization and power consumption are presented. The on-chip power consumption for this design is 0.271 watts where dynamic power is 0.163 watts (60%), and static power is 0.108 watts (40%). Performance evaluation and comparative study of the software-hardware results revealed the efficacy of the designed EOG preprocessor. © 2023 IEEE.

关键词： Field programmable gate arrays (FPGA)

来源：评论

学校读者我要写书评

暂无评论

Evaluating the difficulty for novice engineers in learning and using Transition Systems for modeling software systems 23

Evaluating the difficulty for novice engineers in learning a...

引用

16th Annual ACM India Compute conference (COMPUTE)

作者： Kumar, Mrityunjay Choppella, Venkatesh IIIT Hyderabad Hyderabad India

ISBN: (纸本)9798400708404

Modern software products are complex systems and are better comprehended when engineers can think of the software as a system. Systems Science suggests that learning about a complex system is aided by modeling. It stands to reason that if we can help novice engineers model the software products as systems, it should improve their comprehension. One way of learning through modeling is to use Transition Systems to build models that we proposed in a previous paper. This requires the engineers to learn the vocabulary of Transition Systems and a way to use it to model software systems. The question arises: is it difficult to learn and use transition systems vocabulary? We hypothesize that it is not, because its vocabulary is small, and it builds on the concepts learned in other courses like Theory of Computation and Discrete Mathematics - finite-state machines and set theory. To test this hypothesis, we designed a short intervention (one lecture and one project) in a software engineering course for two cohorts of students from two different environments. We taught them basic concepts of Transition Systems and how systems can be modelled using its vocabulary and evaluated their performance on a modeling project. We also administered a survey to evaluate their perception of the topic. Both the cohorts scored well on the project and reported agreement with ease of learning and use of Transition Systems when surveyed. based on the knowledge demonstrated and the survey feedback, we conclude that it is not difficult for them to learn the vocabulary of Transition Systems and its use. This result gives confidence to start designing longer intervention to promote use of systems modeling and study their effectiveness with large software systems.

关键词： transition systems system modeling novice engineers

来源：评论

学校读者我要写书评

暂无评论

PolyLite: A Lightweight Transformer With Multi-Scale Attention for Colorectal Polyp Segmentation 15

PolyLite: A Lightweight Transformer With Multi-Scale Attenti...

引用

15th International conference on software, knowledge, Information Management and Applications, SKIMA 2023

作者： Elkarazle, Khaled Raman, Valliappan Chua, Caslon Then, Patrick Faculty of Engineering Sarawak Malaysia Coimbatore Institute of Technology Department of Artificial Intelligence and Data Science Tamil Nadu India University of Technology Department of Computer Science and Software Engineering Swinburne Melbourne Australia

ISBN: (纸本)9798350316551

The urgent need for early detection and intervention in colorectal cancer highlights the importance of automating colorectal polyp detection. Despite the use of deep learning techniques for polyp detection from medical images, these methods often struggle with issues such as skewed data distribution and class imbalances. In this study, we introduce PolyLite, a lightweight transformer-based model designed to balance performance and efficiency. PolyLite features a custom SegFormer encoder that takes advantage of its lightweight design, and a decoder that uses a multi-scale attention network (MA-NET) to achieve an optimal balance between accuracy and efficiency. To improve accuracy and reduce false negatives, we incorporate a reverse attention layer that effectively counteracts input mask attention during training. This refocuses the model's efforts to better learn non-polyp regions. PolyLite undergoes a two-stage training process, beginning with pre-training on the ImageNet dataset and then fine-tuning on the Kvasir-SEG dataset. We conduct rigorous evaluations on three complex datasets: CVC-ClinicDB, CVC-ColonDB, and ETIS-LaribPolypDB. Empirical results demonstrate PolyLite's superiority over existing techniques, as evidenced by its performance in terms of Intersection over Union and Dice scores. This validates its effectiveness and scalability in polyp segmentation, making complex and computationally intensive architectures unnecessary. © 2023 IEEE.

关键词： Efficiency

来源：评论

学校读者我要写书评

暂无评论

Effects of the Organizational knowledge Management Systems on Psychological Well-Being Among Employees in Private Large-Scale IT Organizations in Sri Lanka 3

Effects of the Organizational Knowledge Management Systems o...

引用

3rd International conference on Advanced Research in Computing, ICARC 2023

作者： Aratthanage, Kasun Wijekoon, Janaka Sri Lanka Institute of Information Technology Faculty of Graduate Studies & Research Malabe Sri Lanka Military Technological College Systems Engineering Department Muscat Oman

ISBN: (纸本)9798350347371

The goal of this study basically focuses on evaluating the Organizational knowledge Management Systems (KMS) and their impact on psychological well-being among employees in selected large-scale private IT organizations in Sri Lanka. It evaluates knowledge Management Systems quality dimensions, KMS adoption of users, and psychological well-being. knowledge Management is an essential part in IT industry. Gaining domain knowledge from one starting point to sharing knowledge among organizations is a very complex process, therefore, different types of knowledge Management systems are implemented within IT organizations. There are several quality dimension factors introduced to determine better knowledge management systems. This research evaluates eight quality dimensions against four psychological aspects. In this study, statistical analysis was used to determine the statistically significant levels, correlations and relationships between the independent and dependent variables. Ultimately the results can be used to improve the Human-centered knowledge Management System's design approach with balanced employee psychological well-being. For further improvements, the results can be used to build interactive knowledge management software-based solutions. © 2023 IEEE.

关键词： knowledge management

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 74 75 76 77 78 79 80 81 82 83 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：