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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

213 篇 会议
5 册 图书
3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

156 篇 工学
- 120 篇 计算机科学与技术...
- 110 篇 软件工程
- 22 篇 信息与通信工程
- 21 篇 控制科学与工程
- 18 篇 电气工程
- 11 篇 电子科学与技术（可...
- 11 篇 安全科学与工程
- 9 篇 机械工程
- 8 篇 动力工程及工程热...
- 7 篇 材料科学与工程（可...
- 6 篇 石油与天然气工程
- 6 篇 生物医学工程（可授...
- 5 篇 环境科学与工程（可...
- 5 篇 生物工程
- 4 篇 仪器科学与技术
- 3 篇 网络空间安全
- 2 篇 冶金工程
- 2 篇 交通运输工程
30 篇 理学
- 24 篇 数学
- 11 篇 统计学（可授理学、...
- 5 篇 生物学
- 4 篇 系统科学
- 3 篇 物理学
28 篇 管理学
- 15 篇 管理科学与工程(可...
- 14 篇 图书情报与档案管...
- 9 篇 工商管理
8 篇 教育学
- 8 篇 教育学
- 4 篇 心理学(可授教育学...
5 篇 经济学
- 5 篇 应用经济学
4 篇 医学
- 3 篇 临床医学
1 篇 农学

主题

15 篇 programming
15 篇 software enginee...
13 篇 component
11 篇 aspect oriented ...
10 篇 generative adver...
9 篇 principal compon...
8 篇 semantics
7 篇 c++ (programming...
7 篇 real-time system...
7 篇 accuracy
6 篇 computer archite...
6 篇 linear programmi...
5 篇 software systems
5 篇 feature extracti...
4 篇 object oriented ...
4 篇 generative progr...
4 篇 knowledge engine...
4 篇 software enginee...
4 篇 simulation
4 篇 face recognition

机构

2 篇 department of el...
2 篇 department of ma...
2 篇 department of ar...
2 篇 department of in...
2 篇 univ waterloo wa...
2 篇 trainee security...
2 篇 space engineerin...
2 篇 jiangsu universi...
2 篇 department of co...
2 篇 next generation ...
2 篇 department of ma...
1 篇 university of ap...
1 篇 univ teknol mara...
1 篇 college electric...
1 篇 school of electr...
1 篇 ocean university...
1 篇 the computer sci...
1 篇 srm institute of...
1 篇 department of co...
1 篇 department of el...

作者

3 篇 czarnecki k
2 篇 noyé jacques
2 篇 zólyomi i
2 篇 ankur gupta
2 篇 douence r
2 篇 porkoláb z
2 篇 pravin ramdas ks...
2 篇 dharmesh dhabliy...
2 篇 dhoma harshavard...
2 篇 biggerstaff ted ...
2 篇 mallika dhingra
1 篇 veigl chris
1 篇 huang tao
1 篇 weide bw
1 篇 srinivasa rao bi...
1 篇 shiva mehta
1 篇 pu js
1 篇 khayum p. abdul
1 篇 walter schaufelb...
1 篇 blum niklas

语言

211 篇 英文
9 篇 其他
1 篇 中文

检索条件"任意字段=3rd International Conference on Generative Programming and Component Engineering"

共 221 条记录，以下是101-110 订阅

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

详细简洁

排序：

Monadic programming Featured Teaching Innovation of Compilation Experiments: SONG et al.: Monadic programming Featured Compilation Experiments 2021

Monadic Programming Featured Teaching Innovation of Compilat...

引用

3rd international conference on Intelligent Medicine and Image Processing, IMIP 2021

作者： Song, Lihua Wang, Haitao College of Command Control Engineering Army Engineering University of PLA China Nanjing Audit University Jinshen College China

ISBN: (纸本)9781450390354

Principles and techniques of compilation is an important core course in computer science, of which compilation experiments are a key component. By implementing a compiler by themselves, students will gain a deeper understanding of how theories and techniques related to compilation interact with each other. However, the widely adopted programming languages in experiments expose too many low-level details like data structures, interfaces, and intermediate results. This often leads to programs obscure and unintuitive, which not only raise the difficulty of completing experiments, but also raise the difficulty of understanding and relating programs to involving algorithms. To address this issue, we introduced monadic programming which is from functional language background. It shields minor details by a set of monad operators to enable programmers to focus on the main ideas. The similarity between a monadic program and the algorithm behind it also makes it possible for teachers to give effective, comprehensive feedback on students' programs in time. The teaching reform based on this idea is introduced in detail. And the past three years of practice have shown promising results. © 2021 ACM.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of Autonomous Wireless Charging Shelter for UAV Group 3

Design and Implementation of Autonomous Wireless Charging Sh...

引用

3rd international conference on Energy engineering and Power Systems, EEPS 2023

作者： Li, Jiaxin Dou, Zhaoliang Liu, Fengbin North China University of Technology School of Mechanical and Material Engineering Beijing China

ISBN: (纸本)9798350313857

In recent years, UAVs (unmanned air vehicles) have shown great application potential in the fields of logistics transportation, disaster relief, agricultural plant protection and military missions. However, the endurance and power supply efficiency of UAVs are the key factors restricting their application. Under the background of continuous breakthrough and development of wireless charging technology, this paper proposes a shelter autonomous wireless charging technology scheme for rotor UAV cluster. The application scenario analysis and overall design, motion scheme design, overall layout structure design and key component design selection of the autonomous wireless charging shelter are carried out. Based on the LabVIEW programming language, the shelter motion control and energy management system are designed and developed, and the design and performance verification of the autonomous wireless charging shelter of the UAV group are completed. The shelter can realize the functions of autonomous cruise, auxiliary precise berthing, autonomous wireless charging and unmanned remote control of the rotorcraft UAV, significantly improve the endurance and efficiency of the rotorcraft UAV, and effectively expand the operation mode and application field of the rotorcraft UAV. © 2023 IEEE.

关键词： Unmanned aerial vehicles (UAV)

来源：评论

学校读者我要写书评

暂无评论

Leveraging generative Adversarial Networks for Improved Vehicle Accident Recognition in Urban Areas 3

Leveraging Generative Adversarial Networks for Improved Vehi...

引用

3rd international conference for Advancement in Technology, ICONAT 2024

作者： Mehta, Shiva Kundra, Danish Chitkara University Institute of Engineering and Technology Centre for Research Impact & Outcome Chitkara University Punjab Rajpura140401 India Chitkara University Chitkara Centre for Research and Development Himachal Pradesh 174103 India

ISBN: (纸本)9798350354171

Using surveillance systems to identify vehicle accidents is crucial in emergency response and efficient traffic control since these events occur frequently. This piece of research introduces a new approach to identifying car accidents. This paper proposes a model incorporating a pre-trained CNNGAN to enhance the performance of identifying accidents in surveillance videos. The characteristics of the proposed model were evaluated by training and testing it on a dataset including 10,000 photographs divided into five different types of accidents. Our proposed CNN outperformed the CNN-GAN model and the conventional CNN method with a classification accuracy of 0.95 a precision of 0.94, a recall value of 0.93, and an F1 score of 0.93. In regards to the enhancement of the quality of the images, it was observed that the GAN component was essential. This helped improve the CNN's feature extraction, as revealed by the high confusion matrix figure and improved the ROC curve with a larger AUC. In this paper, the structure of the proposed model is discussed alongside its training processes (data augmentation and normalization), and a detailed evaluation of the model's performance against other models proposed in past studies is provided. Future work will focus on expanding the sample of different environmental conditions to cover a broader spectrum and comparing the possibility of using real-time data processing to integrate the model into the real-time monitoring system. The first goal involves developing an efficient system that can accurately diagnose and classify automobile crashes in various settings, thus enhancing society's general security and the strategy for managing traffic flow. © 2024 IEEE.

关键词： generative adversarial networks

来源：评论

学校读者我要写书评

暂无评论

Active Defense Strategy for Elastic Power Grid Considering Load Importance 3

Active Defense Strategy for Elastic Power Grid Considering L...

引用

3rd international conference on Energy, Power and Electrical Technology, ICEPET 2024

作者： Fu, Qingyu Zhao, Yulong Li, Xinyu Wu, Yuhan Wang, Ying Liu, Chunming North China Electric Power University School of Electrical and Electronic Engineering Beijing China

ISBN: (纸本)9798350352658

In recent years, typhoons have been occurring more and more frequently in southeastern China, which has a significant impact on the safe operation of power systems. The traditional active defense strategy does not consider the load importance easily leads to the masking phenomenon, so this paper proposes an active defense strategy that considers the load importance to solve the problem that the actual resilience is smaller than the calculated resilience when the important load is out of power. In this paper, firstly, a typhoon wind field model is established to simulate the effect of typhoon on power components. Second, a Markov decision process is used to model the system state transitions. Again, component failure probabilities and typhoon spatial and temporal characteristics are considered to provide a generative scheduling strategy for each possible system state. Various system constraints are considered in the scheduling of the actual system, including the generator creep rate and the importance of different loads. Finally, the proposed strategy is validated under various impact scenarios using an IEEE 9-node system. The results show that the method in this paper improves the resilience of the grid compared to the minimum load-cutting strategy and avoids masking due to the outage of important loads. © 2024 IEEE.

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

generative and component-Based Software engineering 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Krzysztof Czarnecki Ulrich W. Eisenecker

ISBN: (数字)9783540400486

ISBN: (纸本)9783540411727

In the past two years, the Smalltalk and Java in Industry and Education C- ference (STJA) featured a special track on generative programming, which was organized by the working group \generative and component-Based Software engineering" of the \Gesellschaft fur ¨ Informatik" FG 2.1.9 \Object-Oriented Software engineering." This track covered a wide range of related topics from domain analysis, software system family engineering, and software product - nes, to extendible compilers and active libraries. The talks and keynotes directed towards this new software engineering paradigm received much attention and - terest from the STJA audience. Hence the STJA organizers suggested enlarging this track, making it more visible and open to wider, international participation. This is how the GCSE symposium was born. The rst GCSE symposium attracted 39 submissions from all over the world. This impressive number demonstrates the international interest in generative programming and related elds. After a careful review by the program comm- tee, fteen papers were selected for presentation. We are very grateful to the members of the program committee, all of them renowned experts, for their dedication in preparing thorough reviews of the submissions. Special thanks go to Elke Pulvermuller ¨ and Andreas Speck, who proposed and organized a special conference event, the Young Researches Workshop (YRW). This workshop provided a unique opportunity for young scientists and Ph.D.

关键词： Software engineering/programming and Operating Systems Software engineering programming Techniques programming Languages, Compilers, Interpreters Logics and Meanings of Programs

来源：评论

学校读者我要写书评

暂无评论

Design of friends-making recommendation system based on reinforcement learning and generative adversarial network 3

Design of friends-making recommendation system based on rein...

引用

3rd international conference on Information Technologies and Electrical engineering, ICITEE 2020

作者： Zhao, Yangjie Ren, Hui Chen, Yuhang Jiangsu University Jiangsu China

ISBN: (纸本)9781450388665

With the popularity of mobile phones, people are more interested in searching of friends through the dating applications. In the dating applications (APP), people are distressed by the vast amount of data and junk information, so the dating system of recommendation came into being. General dating software adopts content-based recommendation algorithm and collaborative filtering recommendation algorithm, but it has some problems, such as being unable to mine users' potential preferences and difficult to extract features. In recent years, users want to search for friends through face images. it is an urgent problem to recommend their interested friends to users, according to users' preferences. This paper designs a dating recommendation system based on reinforcement learning and generative adversarial network (GAN), Including its scheme design and programming implementation. The main flow is as follows: firstly, GAN generates false faces and matches real faces to users through false faces to face database. Secondly, users give the evaluation feedback on faces. Thirdly, the system optimizes the false faces generated by GAN through reinforcement learning according to the user feedback. Finally, it iterates continuously until users are satisfied. The implementation of the system is mainly divided into two parts, one is GAN face generation, and the other is the strategy of optimizing GAN generation by reinforcement learning. © 2020 ACM.

关键词： Recommender systems

来源：评论

学校读者我要写书评

暂无评论

On designing a target-independent DSL for safe OS process-scheduling components

引用

3rd international conference on generative programming and component engineering, GPCE 2004

作者： Lawall, Julia L. Le Meur, Anne-Françoise Muller, Gilles DIKU University of Copenhagen Copenhagen Ø2100 Denmark Ecole des Mines de Nantes/INRIA Nantes Cedex 344307 France

ISBN: (纸本)3540235809

Developing new process-scheduling components for multiple OSes is challenging because of the tight interdependence between an OS and its scheduler and because of the stringent safety requirements that OS code must satisfy. In this context, a domain-specific language (DSL), designed by a scheduling expert, can encapsulate scheduling expertise and thus facilitate scheduler programming and verification. Nevertheless, designing a DSL that is target-independent and provides safety guarantees requires expertise not only in scheduling but also in the structure of various OSes. To address these issues, we propose the introduction of an OS expert into the DSL design process and the use of a type system to enable the OS expert to express relevant OS properties. This paper instantiates our approach in the context of the Bossa processscheduling framework and describes how the types provided by an OS expert are used to ensure that Bossa scheduling components are safe. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

Development of an embedded system for classification of EMG signals 3

Development of an embedded system for classification of EMG ...

引用

2014 3rd international Congress of engineering Mechatronics and Automation, CIIMA 2014

作者： Duran Acevedo, Cristhian Manuel Duarte, Javier Eduardo Jauregui Colombia

ISBN: (纸本)9781479979325

This article describes a methodology to create high-level algorithms, such as artificial neural networks and other pattern recognition techniques to be implemented in embedded systems. A system was developed on a DSP (Digital Signal Processor), for identification and classification of EMG signals;for this purpose the Code Composer Studio software V3.3 and Matlab package were coupled for programming the TMS320F28335 card. The aim of this study was to create a model of an artificial neural network from a previous pre-processing to be implemented on an embedded hardware with the respective network. A typical MLP (Multilayer Perceptron) Network was developed from a pre-processed data set, which were obtained through the acquisition of EMG signals. The data were validated with the discrimination technique as Principal components Analysis (PCA), which was useful to determine the repeatability and selectivity of the measuring system. Through this application it was possible to improve the processing speed, portability and response of EMG device, which opens a wide range of possibilities for this methodology to be applied in different sectors (e.g, industry, health, etc.) and mainly as a signal classification system. © 2014 IEEE.

关键词： Principal component analysis

来源：评论

学校读者我要写书评

暂无评论

generative programming and component engineering 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Frank Pfenning Yannis Smaragdakis

ISBN: (数字)9783540398158

ISBN: (纸本)9783540201021

This volume constitutes the proceedings of the second international conference on generative programming and component engineering (GPCE 2003), held September 22–25, 2003, in Erfurt, Germany, sponsored by the NetObjectDays German industrial software development event, in cooperation with the ACM SIGPLAN and SIGSOFT societies. GPCE was created as an e?ort to bring - getherresearchersworkingonboththeprogramminglanguagesandthesoftware engineeringsideofprogramgenerationandcomponentengineering. Thecommon theme of program generation and component engineering is the domain-speci?c nature of both approaches. Depending on the characteristics of a domain, either a generative or a compositional technical solution may be appropriate. In just its second year, GPCE has shown a lot of promise for building a strong community. The response to the call for papers was excellent, with 62 submissions to the technical program, 2 of which were later withdrawn. Each paper received between three and ?ve reviews, many of them quite thorough and hopefully valuable to all authors. The electronic meeting allowed for - depthdiscussionsofallsubmissions,oftentoamuchgreaterextentthanpossible in a physical PC meeting. As a result, 21 papers were selected for presentation at the conference and are included in this volume, together with abstracts for the invited talks by Olivier Danvy and Peri Tarr. Of the accepted papers, 3 are co-authored by PC members (from a total of 5 PC submissions). We tried hard to ensure fairness and hold PC submissions to a high standard. The EDAS conference submission system was used to manage the paper submissions. Our EDAS installation was supported by Blair MacIntyre, who was particularlyhelpfulinresolvingtechnicalissueswiththesystem.

关键词： Software engineering/programming and Operating Systems Software engineering programming Techniques programming Languages, Compilers, Interpreters Computer Appl. in Administrative Data Processing Management of Computing and Information Systems

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the IASTED international conference on Software engineering, SE 2014

Proceedings of the IASTED International Conference on Softwa...

引用

IASTED international conference on Software engineering, SE 2014

The proceedings contain 20 papers. The topics discussed include: software fault prediction using fuzzy inference system and object-oriented metrics;design of an educational application for applied behavior analysis and discrete trial training;bringing automated spatio-temporal decision making to 3rd generation surveillance systems;task centered design and prototype of an appointment assistant system;a new coupling metric: blending structural and semantic relations;role-based delegation and revocation in Xorbac - implementation experiences;engineering software for D-dimensional simulations with hyper-cubic neighbours;aspect-oriented exception handling for network programming in a component-based framework;GUI prototype generation from scenarios in the requirements elicitation phase;towards understanding how to build strategic flexibility of an IT organization;agile security methods: an empirical investigation;and factors affecting personal software development productivity: a case study with PSP data.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：