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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

1,601 篇 会议
62 篇 期刊文献
40 册 图书

馆藏范围

1,701 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

1,241 篇 工学
- 869 篇 计算机科学与技术...
- 533 篇 软件工程
- 134 篇 电气工程
- 128 篇 土木工程
- 123 篇 机械工程
- 108 篇 控制科学与工程
- 87 篇 建筑学
- 71 篇 材料科学与工程（可...
- 67 篇 信息与通信工程
- 54 篇 力学（可授工学、理...
- 44 篇 交通运输工程
- 43 篇 安全科学与工程
- 42 篇 动力工程及工程热...
- 39 篇 化学工程与技术
- 37 篇 生物工程
- 34 篇 仪器科学与技术
- 33 篇 石油与天然气工程
- 31 篇 环境科学与工程（可...
- 26 篇 电子科学与技术（可...
354 篇 理学
- 210 篇 数学
- 60 篇 统计学（可授理学、...
- 57 篇 物理学
- 55 篇 系统科学
- 52 篇 生物学
- 27 篇 化学
212 篇 管理学
- 154 篇 管理科学与工程(可...
- 84 篇 工商管理
- 73 篇 图书情报与档案管...
42 篇 医学
- 33 篇 临床医学
27 篇 法学
26 篇 经济学
- 25 篇 应用经济学
16 篇 教育学
10 篇 农学
3 篇 军事学
2 篇 文学
1 篇 历史学
1 篇 艺术学

主题

64 篇 model checking
48 篇 tools
29 篇 static analysis
28 篇 algorithm design...
26 篇 data mining
25 篇 real-time system...
24 篇 real time system...
23 篇 analytical model...
22 篇 software enginee...
21 篇 semantics
21 篇 software
20 篇 machine learning
19 篇 task analysis
19 篇 computational mo...
17 篇 monitoring
17 篇 stochastic syste...
16 篇 database systems
16 篇 construction ind...
16 篇 artificial intel...
16 篇 data analysis

机构

12 篇 ludwig maximilia...
7 篇 univ twente form...
7 篇 univ penn philad...
6 篇 univ illinois ur...
5 篇 tech univ munich...
4 篇 verimag ctr equa...
4 篇 rhein westfal th...
4 篇 carnegie mellon ...
4 篇 suny stony brook...
3 篇 saarland univ sa...
3 篇 university of wa...
3 篇 univ colorado bo...
3 篇 aalborg univ dep...
3 篇 school of constr...
3 篇 natl inst inform...
3 篇 carnegie mellon ...
3 篇 lviv polytechnic...
3 篇 chinese acad sci...
3 篇 univ oxford dept...
3 篇 iowa state univ ...

作者

13 篇 beyer dirk
8 篇 parker david
8 篇 hermanns holger
8 篇 katoen joost-pie...
7 篇 van de pol jaco
7 篇 kwiatkowska mart...
6 篇 yi w
5 篇 majumdar rupak
5 篇 podelski andreas
5 篇 alur rajeev
5 篇 pettersson p
5 篇 norman gethin
4 篇 behrmann gerd
4 篇 kroening daniel
4 篇 neele thomas
4 篇 bozga marius
4 篇 abdulla parosh a...
4 篇 mateescu radu
4 篇 sharygina natash...
4 篇 groote jan friso

语言

1,630 篇 英文
41 篇 其他
16 篇 德文
14 篇 中文
1 篇 捷克文
1 篇 葡萄牙文
1 篇 俄文
1 篇 乌克兰文

检索条件"任意字段=10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems"

共 1703 条记录，以下是281-290 订阅

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

详细简洁

排序：

Effect of Constructivist Web-Based Learning Environment to Enhance Learning's Problem-Solving in Mathematics on Conic Section

Effect of Constructivist Web-Based Learning Environment to E...

引用

international Technical conference o Circuits/systems, Computers and Communications (ITC-CSCC)

作者： Sirirat In-Im Sumalee Chaijaroen Department of Teaching Mathematics Khon Kaen University Demonstration School Khon Kaen Thailand Faculty of Education Khon Kaen University Khon Kaen Thailand

ISBN: (数字)9798350379051

ISBN: (纸本)9798350379068

the objectives of this research are to study Mathematical Problem-solving proficiency of students learning through Constructivist Web-Based Learning Environment to Enhance Learning's Problem-solving in Mathematics on Conic section. the target group for this research consists of 36 of 10th grade, Khon Kaen University demonstration secondary school (Suksasart) in the subject Mathematics 1 during the first semester of the academic year 2021. the research methodology utilized is Developmental Research, which includes 3 processes: Design, Development, and Evaluation, $by$ focusing on creating an adaptive learning environment. the research tools used comprise two types. the first instrument is Constructivist Web-Based Learning Environment to Enhance Learning's Problem-solving in Mathematics on Conic section, which consists of 5 key components, namely Problembased, Resources, Scaffolding, Collaboration and Coach. Additionally, the data collection tool is the Mathematical Problem-solving test, which involves using Polya's problem-solving steps. Data analysis includes percentages, means, and standard deviations. the research findings reveal that results from the mathematical problem-solving test showed significant improvement: 83.33% of students surpassed the 70% proficiency threshold, with an average score of 15.51 points $(SD=2.58)$ .

关键词： Process design Computers Data analysis Instruments Focusing Collaboration Data collection

来源：评论

学校读者我要写书评

暂无评论

construction and Effect analysis of MOOC-Based Self-organized Teaching and Research Model for Primary and Secondary School Teachers 10

Construction and Effect Analysis of MOOC-Based Self-organize...

引用

10th international conference of Educational Innovation through Technology, EITT 2021

作者： Xie, Youru Liu, Yachun Luo, Wenjing Wu, Jiayao School of Educational Information Technology South China Normal University Guangzhou China

ISBN: (纸本)9781665427579

the outbreak of the COVID-19 epidemic has promoted the development of online teaching and research for primary and secondary school teachers, and has forced them to improve their informatized teaching abilities rapidly. this research is guided by the basic principles of online teaching and learning, integrated into the 'Internet +' thinking, and adopts literature research and theoretical deduction to determine self-organized teaching and research steps, which includes 'Clear needs and starting evolution-Spontaneous learning, triggering ups and downs- Interactive communication and cause mutations- Generating results and triggering transitions-Migration practices, gathering and bifurcating'. this research gives full play to the supporting role of MOOC (Massive Open Online Course) platforms, resources and tools. Finally, the MOOC-based self-organized teaching and research model for primary and secondary school teachers is constructed. On this basis, this research relies on the 'Smart Classroom Teaching' on the Chinese University MOOCs Platform, and the quasiexperimental research method is used to carry out the practical application of the self-organized teaching and research model. Effect analysis shows that this model can improve the teaching and research performance of primary and secondary school teachers in a short period, prompting teachers to achieve a deep understanding of smart classroom teaching, and effectively solve real-world education and teaching problems. © 2021 IEEE.

关键词： Teaching

来源：评论

学校读者我要写书评

暂无评论

Potential of 3D-CFD simulations for the analysis of knocking combustion 10

Potential of 3D-CFD simulations for the analysis of knocking...

引用

10th international conference on Modeling and Diagnostics for Advanced Engine systems, COMODIA 2022

作者： Blomberg, Michael Günther, Marco Pischinger, Stefan RWTH Aachen University Aachen52070 Germany

To further reduce the CO2 emissions of SI engines, maximum compression ratios must be realized in combination with high boost pressures. At high engine loads, knocking combustion then requires a retardation of the ignition timing at the cost of reduced efficiency and increased exhaust gas temperatures. Advanced computer-aided engineering tools enable prediction of the knock behavior and achievable peak efficiencies prior to actual thermodynamic testing, which significantly reduces development costs and times. Current, well-calibrated 1D-models that include an estimate of the knock behavior can provide valuable insights into overall engine operation, even going so far as to optimize transient operation of hybrid powertrains for Real Driving Emissions. In contrast, 3D-CFD studies enable also the evaluation of the influence of geometric details in the early stages of development, as well as gaining physical understanding that can be applied to reduced, more cost-effective modeling approaches. Reynolds-Averaged Navier Stokes (RANS) based turbulence models are able to represent a mean cycle since all turbulent structures are averaged. However, the mean cycle then typically does not exhibit significant knock intensities, so approaches must be found to nevertheless evaluate the knock tendency of the operating point. Depending on the combustion model, faster burning cycles can be represented by artificially enhancing the turbulent flame speed or by a virtual spark advance. these models provide both spatial location and knock onset timing information for a fast cycle. On the other hand, Large-Eddy Simulation (LES) only models the turbulent structures smaller than the grid size. therefore, LES is capable of also representing cyclic variations. the computational cost and the necessity of advanced combustion models due to insufficient spatial flame-resolution will be analyzed and discussed. Finally, an outlook will be given on how the disadvantages of both RANS and LES can poss

关键词： Large eddy simulation

来源：评论

学校读者我要写书评

暂无评论

Development of Learning Resources on Automation Manufacturing systems to Enhancing Students' Creativity

Development of Learning Resources on Automation Manufacturin...

引用

international conference on Education and Technology (ICET)

作者： Marsono Ilham Ari Elbaith Zaeni Erwin Komara Mindarta Fitria Khasanah Rama Adi Wijayanto Monalisa Wirawan Department of Mechanical and Industrial Engineering Universitas Negeri Malang Malang Indonesia Department of Electrical Engineering and Informatics Universitas Negeri Malang Malang Indonesia Department of Mathematics Education Universitas Wisnuwardhana Malang Malang Indonesia

ISBN: (数字)9798331522483

ISBN: (纸本)9798331522490

the aim of this research is to produce learning materials that help students enhance their creativity in the field of Automation Manufacturing systems (AMS). It is important to educate students with a combination of technical competencies and creative thinking abilities due to the rapid development of industrial automation and the increasing relevance of inventive problem-solving skills in today's job market. Learning materials are created, produced, implemented, and evaluated methodically through the application of the ADDIE instructional design paradigm in this research. A comprehensive needs analysis was conducted as part of the research to identify areas where existing learning materials are still lacking and to gain an understanding of the specific learning objectives related to AMS posted on the MOOCs. As a result of these findings, a collection of educational materials was developed that combines interactive elements, practical exercises, and real-world examples with the aim of promoting creativity. Formative and summative assessments are used together with each other to determine the effectiveness of these tools within the confines of a safe classroom setting. According to the findings, there is a significant improvement in students' creativity outcomes, evaluated based on their ability to generate new ideas. the effectiveness and importance of the materials developed to foster a more innovative and engaging learning environment are underscored by the feedback received from both students and lecturers..

关键词： Automation Education Problem-solving Object recognition Creativity Manufacturing systems

来源：评论

学校读者我要写书评

暂无评论

Explainable Product Quality Assessment in a Medical Device Assembly Pilot Line

Explainable Product Quality Assessment in a Medical Device A...

引用

international conference on Control, Mechatronics and Automation (ICCMA)

作者： Fatemeh Kakavandi Peter Gorm Larsen Department of Electrical and Computer Engineering Aarhus University Aarhus Denmark

ISBN: (纸本)9781665490498

New technologies and data analysis tools such as deep learning models can be beneficial for product quality assessment purposes. However, these black box models can be challenging due to uncertainty and lack of explainability in sensitive pharmaceutical processes. therefore, different interpretable algorithms have been proposed to overcome the challenges in complex machine learning models. this paper presents an explainable deep-leaning-based fault detection method for quality assessment in an industrial medical device assembly line. this methodology consists of a multi-layer perceptron model that classifies the samples. then a layer-wise relevance propagation algorithm seeks to explain the logic behind the prediction. Finally, the heatmap pertaining to relevance propagation visualizes the main contributors to the output prediction. Due to the small industrial dataset, a public dataset associated with a robot-driven screwdriving process assists in evaluating the current method-ology. the final results show that the classifier can diagnose different fault classes, and the LRP algorithm can highlight the essential input features and visualize the decision-making process. Furthermore, the LRP algorithm can be beneficial for diagnosing unknown abnormal samples due to the different distribution of contributing features in the heatmap figure. Moreover, a more reliable dimension reduction method can be applied by employing the LRP algorithm and selecting corresponding input data points with higher relevance.

关键词： Heating systems Medical devices Machine learning algorithms Fault detection Decision making Data visualization Prediction algorithms

来源：评论

学校读者我要写书评

暂无评论

Android Application Reinforcement Method Based on 5G Terminal Device

Android Application Reinforcement Method Based on 5G Termina...

引用

Intelligent Data and Security (IDS), IEEE international conference on

作者： Yaqiong Guo Jingnan Chen Zichao Xu State Grid Zhejiang Electric Power Corporation Information & Telecommunication Hangzhou China

ISBN: (数字)9798350389487

ISBN: (纸本)9798350389494

this paper presents a novel Android application reinforcement method designed for 5G smartphones, addressing the security vulnerabilities inherent in Android's open-source na-ture. the method involves extracting key functions from Android applications, decompiling them into Smali code, and then trans-forming them into C++ code. this code is virtualized at compile time and repackaged into a new APK file, offering a more efficient reinforcement approach compared to traditional methods. It uses less computational power and storage while meeting the high safety standards of 5G technology. this approach is particularly effective against automated, low-threshold reverse engineering tools, which have challenged previous hardening methods. In our experiments, we analyzed six common Android shell tools on enhanced applications, demonstrating the ineffectiveness of these tools against our method. Our reinforcement overcomes the easy recovery issue of traditional methods and shows strong resistance to general reverse-engineering tools. We evaluated the performance pre- and post-hardening in terms of CPU utilization, size, and runtime memory usage. For instance, CPU utilization post-hardening increased by 0.9% for Gaud Map, 4.8% for WPS, and 1.3 % for public comments. the use of native Layer code and function localization enhances program efficiency, offsetting the performance overhead of fusion, thus maintaining overall performance stability. Our method's robustness against common reverse-engineering tools, with minimal impact on CPU usage, application size, and memory usage, confirms its practicality for deployment in the 5G ecosystem.

关键词： Performance evaluation Codes 5G mobile communication Operating systems Resists C++ languages Static analysis

来源：评论

学校读者我要写书评

暂无评论

Design and analysis of Wireless Power Transfer System for both Inductive and Capacitive Coupled UAVs

Design and Analysis of Wireless Power Transfer System for bo...

引用

international conference on Power Electronics systems and Applications (ICPESA)

作者： Yuhong Mo Shaonan Chen Heqing Feng Jiekun Huang Jing Xiao Xiaorui Wu Electric Power Science Research Institute of Guangxi Power Grid Co. Ltd Guangxi Zhuang Autonomous Region China Electric Power Science Research Institute of Guangxi Power Grid Co. Ltd 2. Guangxi Power Transmission and Transformation Construction Co. Ltd Guangxi Zhuang Autonomous Region China Nanning Power Supply Bureau of Guangxi Power Grid Co. Ltd Guangxi Zhuang Autonomous Region China

ISBN: (数字)9798350365801

ISBN: (纸本)9798350365818

Wireless power transfer (WPT) technology can provide endurance and improve work efficiency for unmanned aerial vehicle (UAV). this paper proposes a WPT system, which can supply inductive coupled and capacitive coupled UAVs. the proposed WPT system is equipped with inductive and capacitive couplers at the transmitter end, and these two couplers compensate each other without adding additional compensating elements. In the transmitter, the electric-field transmitter can be placed on the cabin platform, while the magnetic-field transmitter can be placed on the cabin cover, effectively reducing interference between the electric and magnetic fields. Based on the mathematical model of the system, the electric field coupling and magnetic field coupling of the system are analyzed separately, and the system output is derived. Simulation validates the effectiveness of the proposed WPT system.

关键词： Couplings Transmitters Magnetic separation Simulation Inductive charging Wireless power transfer Couplers

来源：评论

学校读者我要写书评

暂无评论

Pop-up World: Synthesis of 2.5D Models Based on Monocular Images

Pop-up World: Synthesis of 2.5D Models Based on Monocular Im...

引用

Virtual Reality (ICVR), IEEE international conference on

作者： Jingyao Cai Boyuan Cheng Yuqian He Zhidong Xiao Jian Jun Zhang Xiaosong Yang National Center for Computer Animation Bournemouth University Bournemouth United Kingdom Industrial Light & Magic (UK) Ltd London United Kingdom

ISBN: (数字)9798350364231

ISBN: (纸本)9798350364248

For current VR technology, stereoscopic scenes are crucial for an immersive experience. However, the representation of vast 3D scenes in VR poses a significant challenge due to the extensive memory usage and consumption associated with large 3D models. To address this, we propose the use of 2.5D models as a substitute for traditional 3D models in the construction of distant scenes. the method leverages unsupervised clustering algorithm to segment the depth map of the input image. Users can decide the number of segmented layers according to the complexity of the input images and their demands. Each layer is refined using inpainting techniques, especially pre-trained mask-aware transformer models, to ensure a seamless and realistic visual experience. this approach not only reduces the size of the scenes but also maintains the fidelity of the VR experience, striking a balance between technical efficiency and user immersion. the system can effectively handle complex scenes and can be integrated into tools such as Maya for model customization. the source code is available at https://***/XChengCode/Synthesis-of-2.5D-Models-Based-on-Monocular-Images.

关键词： Solid modeling Image segmentation Visualization three-dimensional displays Stereo image processing Source coding Streaming media Transformers Software Real-time systems

来源：评论

学校读者我要写书评

暂无评论

Digital Twin Virtual-Real Mapping Technology Based on Cloud Architecture

Digital Twin Virtual-Real Mapping Technology Based on Cloud ...

引用

international conference on systems and Informatics (ICSAI)

作者： Pei Yu Chuang Wang Yangming Guo Liyuan Yu Northwestern Polytechnical University Xi'an China AVICAS Generic Technology Co. LTD Yangzhou China

ISBN: (数字)9798331510138

ISBN: (纸本)9798331510145

Digital twin virtual-real mapping technology is the key to realize seamless connection between the physical world and the digital world. this paper aims to propose a digital twin virtual-real mapping framework based on cloud architecture by in-depth analysis of the advantages of cloud platforms in scalability and high availability, and apply it to the entire manufacturing process of airborne product Power Supply Control Unit (PSCU) to build an efficient and reliable digital twin system for PSCU manufacturing. First, a twin model construction method based on point cloud data is proposed to achieve accurate characterization of the full-element twin model of the PSCU manufacturing process, providing a model foundation for digital twin virtual-real mapping. Secondly, a real-time data governance method based on the Internet of things Database (IOTDB) is proposed to achieve efficient real-time acquisition, storage, analysis and fusion of multi-source heterogeneous data of large-scale twin models, providing real-time data for digital twin virtual-real mapping. thirdly, a digital twin virtual-real mapping method based on the cloud platform is designed. through real-time data driving, model mapping, behavior mapping and state mapping in the PSCU manufacturing process are realized. And based on virtualization technology, the flexible deployment and application of the digital twin system are realized, making the airborne product manufacturing process transparent and visible.

关键词： Cloud computing Manufacturing processes Power supplies Atmospheric modeling Process control Production Real-time systems Data models Digital twins Manufacturing

来源：评论

学校读者我要写书评

暂无评论

analysis on Oil and Gas Reserves Database construction and Application for international Oil Company 10th

Analysis on Oil and Gas Reserves Database Construction and A...

引用

10th international Field Exploration and Development conference, IFEDC 2020

作者： Zhi-yu, Li Gui-fang, Fa Hua, Yang Xin-jun, Shao Zhong-sheng, Wang Research Institute of Petroleum Exploration and Development Beijing China

ISBN: (纸本)9789811607622

this paper introduces the construction process of the oil and gas reserves management database for international oil and gas corporation. By using the actual results as an example, the experience of database underlying design, construction and application process, and other issues and solutions for major oil and gas company are summarized. the database discussed in this article has been applied and perfected for several years, which can reduce the workload of reserves assessment and management staff to a large extent. Meanwhile by supporting the different share under different contract mode in different counties, and the conversion of difference units, this database is designed to be versatile, which can play a good supporting role in the company's reserves management, data analysis, strategic decision-making and other aspects. the database construction method discussed in this article can be used as a reference for peers, and has certain significance for the construction of similar databases. © 2021, the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共171页 << < 25 26 27 28 29 30 31 32 33 34 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：