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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

8,457 篇 会议
184 篇 期刊文献
47 册 图书

馆藏范围

8,688 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

4,727 篇 工学
- 3,142 篇 软件工程
- 2,636 篇 计算机科学与技术...
- 1,125 篇 电气工程
- 477 篇 信息与通信工程
- 407 篇 电子科学与技术（可...
- 335 篇 控制科学与工程
- 333 篇 机械工程
- 279 篇 动力工程及工程热...
- 207 篇 材料科学与工程（可...
- 204 篇 土木工程
- 192 篇 化学工程与技术
- 189 篇 建筑学
- 154 篇 仪器科学与技术
- 117 篇 安全科学与工程
- 116 篇 力学（可授工学、理...
- 109 篇 石油与天然气工程
- 108 篇 生物工程
- 89 篇 交通运输工程
- 81 篇 生物医学工程（可授...
1,271 篇 理学
- 754 篇 数学
- 358 篇 物理学
- 158 篇 统计学（可授理学、...
- 141 篇 化学
- 121 篇 生物学
- 109 篇 系统科学
880 篇 管理学
- 537 篇 管理科学与工程(可...
- 394 篇 图书情报与档案管...
- 288 篇 工商管理
187 篇 教育学
- 185 篇 教育学
116 篇 经济学
- 115 篇 应用经济学
86 篇 医学
80 篇 法学
48 篇 农学
23 篇 艺术学
18 篇 文学
13 篇 军事学

主题

953 篇 software enginee...
539 篇 application soft...
520 篇 software
449 篇 computer science
333 篇 programming
306 篇 computer archite...
303 篇 software systems
217 篇 hardware
214 篇 data mining
208 篇 software testing
179 篇 costs
173 篇 java
170 篇 computational mo...
156 篇 object oriented ...
152 篇 software algorit...
149 篇 software quality
146 篇 knowledge engine...
137 篇 software archite...
127 篇 prototypes
125 篇 educational inst...

机构

35 篇 nanjing univ sta...
30 篇 school of engine...
28 篇 school of comput...
24 篇 state key labora...
21 篇 school of inform...
21 篇 school of electr...
20 篇 school of comput...
19 篇 shanghai key lab...
19 篇 department of co...
17 篇 school of electr...
16 篇 nanjing univ dep...
15 篇 department of el...
14 篇 software enginee...
13 篇 nanjing univ sof...
13 篇 univ chinese aca...
13 篇 east china norma...
13 篇 school of comput...
13 篇 school of softwa...
13 篇 chinese acad sci...
12 篇 department of el...

作者

18 篇 wang wei
15 篇 ma xiaoxing
15 篇 lu jian
15 篇 xu chang
15 篇 lichter horst
14 篇 v. thiruchelvam
14 篇 yoshiki higo
14 篇 shinji kusumoto
13 篇 t. katayama
13 篇 doo-hwan bae
12 篇 shaoying liu
12 篇 shen beijun
12 篇 hironori washiza...
12 篇 m. saeki
12 篇 cao chun
12 篇 du xiaoyong
11 篇 chookaew sasitho...
11 篇 liu jing
11 篇 k. ushijima
11 篇 bae doo-hwan

语言

8,603 篇 英文
54 篇 中文
31 篇 其他

检索条件"任意字段=Pacific-Asia Conference on Knowledge Engineering and Software Engineering"

共 8688 条记录，以下是511-520 订阅

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

详细简洁

排序：

Assessing Safety of an Automated Vehicle Through Model-Driven Analysis and Simulation

Assessing Safety of an Automated Vehicle Through Model-Drive...

引用

asia-pacific conference on software engineering

作者： Morayo Adedjouma Fabien Gaudin Philippe Fiani Université Paris-Saclay CEA List Palaiseau France R&D department Sherpa Engineering Nanterre France

Validating the safety of automated systems is a highly complex task that cannot be done effectively through one validation methodology alone. As a result, current trends recommend adopting a multi-pillar approach for the validation of such systems. In this paper, we share our experience in applying a combined safety approach for the safety evaluation of an automated vehicle. The evaluation approach couples Model-Driven engineering paradigm and simulation for a detailed assessment of critical scenarios. Based on a system model, we perform analytical safety analysis to identify the critical failures that may lead to undesired events. The analytical analysis is complemented by extensive simulation experiments to assess finer the impact of the identified malfunctions. The overall approach builds upon a tool chain consisting of Physistem as a modeling framework, Papyrus-Sophia for dysfunctional analysis support, and Phisim as a simulation environment. We report on the experiment results and discuss the advantages and limitations that the proposed approach brings for the evaluation of safety-critical automated systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Optimization Model for Perishable Product with Different Payment Schemes and Carbon Tax Regulation 6th

Optimization Model for Perishable Product with Different Pay...

引用

6th asia pacific conference on Manufacturing System and the 5th International Manufacturing engineering conference, APCOMS-IMEC 2022

作者： Hananta, Shafa Keysa Rinjani Rosyidi, Cucuk Nur Jauhari, Wakhid Ahmad Department of Industrial Engineering Universitas Sebelas Maret Surakarta Indonesia

ISBN: (纸本)9789819912445

Inventory is crucial in any business. Shortages or overstock may occur if it is not well planned. Companies that sell perishable goods may also experience this issue. When it comes to perishable goods, demand declines as they get older, resulting in frequent overstock. This extra inventory cannot be resold, resulting in a significant amount of food waste, which can increase carbon emissions and disposal cost. To solve this problem, an inventory optimization model in the form of Economic Ordering Quantity (EOQ) for perishable products is developed taking into account types of payments, carbon tax regulation, and the level of demand that depends on the age and price of the product. This study is built from the perspective of the retailer only. The model is developed for three payment schemes, which are cash payment, advance payment, and credit payment In the developed model, carbon emissions are assumed to be generated from three activities, namely, ordering, material handling, and storage. Additionally, a price reduction policy is implemented to increase the demand. The objective function of the model is to maximize the total profit. The proposed model is solved with analytical approach with the help of Mathematica 11.2 software. The model is applied to a numerical sample and a sensitivity analysis for validation. From the result of numerical example, it can be seen that the most profitable payment scheme is advanced payment. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd 2023.

关键词： Sensitivity analysis

来源：评论

学校读者我要写书评

暂无评论

An Advanced Multimodal Navigation Perception System for the Visually Impaired 2

An Advanced Multimodal Navigation Perception System for the ...

引用

2nd International conference on Trends in Electrical, Electronics and Computer engineering, TEECCON 2023

作者： Paul, Dipta Zabir Prince, Ahmed Tamim Earik, Arafat Matubbar Saha Babu, Barsan Rabbi, Asif Sharmin, Sinthia American International University-Bangladesh Electrical and Electronics Engineering Dhaka Bangladesh American International University-Bangladesh Computer of Engineering Dhaka Bangladesh University of Asia Pacific Electrical and Electronics Engineering Dhaka Bangladesh

ISBN: (纸本)9798350339949

Technological innovation continues to advance at a rapid pace, enhancing and streamlining people's lives. The Secure navigation of surroundings and upholding a sense of independence provide considerable obstacles to the visually handicapped. Visually impaired People have trouble detecting barriers in their path, when strolling down the street, which causes it hazardous. The development and implementation of a multimodal navigation system with the goal of enhancing accessibility and independence for people having visual impairments are the main topics of this research. In order to provide the user with real-Time information about the environment, the suggested system integrates a number of technologies, including computer vision, sensor fusion, localization, and haptic feedback methods. In this paper, we propose a solution called Visually Impaired, which uses interdisciplinary fields like software engineering, gadget design, and health science to help visually impaired people explore quickly and confidently by using ultrasonic waves to track nearby obstacles and alert them with a signal speech warning message and buzzer. Smart multimodal navigation perception system with an ultrasonic sensor that can detect stairs and other obstacles in its path to the front left, and right. Within a range of 0 to 30 cm, impediments are detectable. This project's use of an ultrasonic sensor is crucial. GPS stands for Global Positioning System. It has been made simpler for a blind person to use Google Maps to find a lost person thanks to the use of GSM modules and Global System for Mobile Communication (GSM) technology. The smart stick is affordable, quick to react, power-efficient, and portable. This smart stick makes it easy for blind people to move from one location to another. © 2023 IEEE.

关键词： Global positioning system

来源：评论

学校读者我要写书评

暂无评论

MM-PhyQA: Multimodal Physics Question-Answering with Multi-image CoT Prompting 28th

MM-PhyQA: Multimodal Physics Question-Answering with Multi-i...

引用

28th pacific-asia conference on knowledge Discovery and Data Mining (PAKDD)

作者： Anand, Avinash Kapuriya, Janak Singh, Apoory Saraf, Jay Lal, Naman Verma, Astha Gupta, Rushali Shah, Rajiv Indraprastha Inst Informat Technol Delhi India

ISBN: (纸本)9789819722648;9789819722624

While Large Language Models (LLMs) can achieve human-level performance in various tasks, they continue to face challenges when it comes to effectively tackling multi-step physics reasoning tasks. To identify the shortcomings of existing models and facilitate further research in this area, we curated a novel dataset, MM-PhyQA, which comprises well-constructed, high school-level multimodal physics problems. By evaluating the performance of contemporary LLMs that are publicly available, both with and without the incorporation of multimodal elements in these problems, we aim to shed light on their capabilities. For generating answers for questions consisting of multimodal input (in this case, images and text) we employed Zero-shot prediction using GPT-4 and utilized LLaVA (LLaVA and LLaVA-1.5), the latter of which were fine-tuned on our dataset. For evaluating the performance of LLMs consisting solely of textual input, we tested the performance of the base and fine-tuned versions of the Mistral-7B and LLaMA2-7b models. We also showcased the performance of the novel Multi-Image Chain-of-Thought (MI-CoT) Prompting technique, which when used to train LLaVA-1.5 13b yielded the best results when tested on our dataset, with superior scores in most metrics and the highest accuracy of 71.65% on the test set.

关键词： Large Language Models Large Multimodal Models Prompt engineering Chain-of-Thought

来源：评论

学校读者我要写书评

暂无评论

ANNOE: Adaptive Neural Networks Optimization Engine

ANNOE: Adaptive Neural Networks Optimization Engine

引用

Computer Science and Data engineering (CSDE), IEEE asia-pacific conference on

作者： Nimendra Kariyawasam Sharmilan Somasundaram Software Engineering Informatics Institute of Technology Colombo Sri Lanka

As the demand for deploying machine learning models on high-end mobile devices and IoT devices increases, the need for efficient machine learning model optimization becomes critical to execute on-device AI tasks. One of the primary challenges in this context is the retraining process of these models on IoT and mobile devices with new data, which is constrained due to limited processing power. This limitation hinders the generation of accurate domain-specific inference results, as models may not be as well-trained with real-world data, potentially reducing their predictive accuracy and generalizability when applied to practical scenarios.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution

Unsatisfiable Core Based Constraint Solving Cache in Symboli...

引用

asia-pacific conference on software engineering

作者： Ziqi Shuai Zhenbang Chen Yufeng Zhang Hengbiao Yu Ji Wang College of Computer National University of Defense Technology China Key Laboratory of Software Engineering for Complex Systems National University of Defense Technology China State Key Laboratory of High Performance Computing National University of Defense Technology China College of Computer Science and Electronic Engineering Hunan University Changsha China

Constraint solving stands out as a significant bot-tleneck in symbolic execution. Caching is a commonly adopted approach to alleviate this bottleneck. However, the cutting-edge caching technique targeting unsatisfiable constraints, known as unsatisfiable core caching, primarily involves checking whether the constraint being solved contains an unsatisfiable core that has been previously collected. Such straightforward reuse frequently proves less effective in numerous scenarios. In this paper, we present a novel method to enhance the utilization of unsatisfiable cores. By excavating unsatisfiable cores, our method can compute an easily solvable over-approximation that tends to be unsatis-fiable for each constraint, which facilitates the determination of the satisfiability of the original constraint. We implemented our method on KLEE symbolic executor. The evaluation results on 27 real-world programs are encouraging.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Mapping and Characterization of Seamounts in the Flores Sea Using Acoustic Remote Sensing and Gravity Core Technology 6

Mapping and Characterization of Seamounts in the Flores Sea ...

引用

6th IEEE asia-pacific conference on Geoscience, Electronics and Remote Sensing Technology, AGERS 2023

作者： Haryadi, Yudo Pratomo, Danar Guruh Sukojo, Bangun Muljo Satria Damarnegara, A.A. Ngurah Djajadihardja, Yusuf Surachman Irfan, Muhammad Febriawan, Hendra Kurnia Ardhyastuti, Sri Haryanto, Dwi Trinugroho Research Center for Geological Disaster National Research and Innovation Agency Jawa Barat Bandung Indonesia Sepuluh Nopember Institute of Technology Departement of Civil Engineering Surabaya Indonesia Sepuluh Nopember Institute of Technology Departement of Geomatics Engineering Surabaya Indonesia Research Center of Geospatial National Research and Innovation Agency Jawa Barat Cibinong Indonesia Directorate of Research Vessel Management National Research and Innovation Agency Jawa Barat Cibinong Indonesia

ISBN: (纸本)9798350394849

This study employs underwater acoustic remote sensing technology and deep-sea soil sampling to map and characterize the seafloor in the Flores Sea to examine the seamounts and potential deposits. The Multibeam Echosounder (MBES) is utilized as an underwater acoustic remote sensing instrument to provide high-resolution ocean bathymetry data, while the gravity core technology collects sediment data in the deep sea. Considering the geological and bathymetric background of the Flores Sea, tectonic processes may have contributed to seamount formation. Seamounts offer geological conditions conducive to mineralization. Thus, the study aims to map seamounts and assess their mineralization potential in the Flores Sea. Caris HIPS SIPS software is utilized to process the MBES data, while sediment analysis uses the megascopically technique. These data are qualitatively used to characterize seafloor features and identify mineralization indicators and ultimately will enhance our understanding of seamounts and their mineralization potential. The study has successfully identified a new seamount in the Flores Sea, located 120 km north of Mount Tambora, along with the presence of mineralization. These findings are expected to significantly contribute to resource mapping. Moreover, it could improve insights into seamounts and mineralization will aid further exploration and research in marine geology. © 2023 IEEE.

关键词： Sediments

来源：评论

学校读者我要写书评

暂无评论

MRTCNN: A Lightweight Approach for Predicting Metamorphic Relations

MRTCNN: A Lightweight Approach for Predicting Metamorphic Re...

引用

asia-pacific conference on software engineering

作者： Bo Yang Xu Wang Huai Liu School of Information Science and Technology Beijing Forestry University Beijing China Institute of Information Engineering Chinese Academy of Sciences Beijing China Department of Computing Technologies Swinburne University of Technology Hawthorn VIC China

ISBN: (数字)9798331534011

ISBN: (纸本)9798331534028

Metamorphic testing is a software testing technique that provides both a test case generation strategy and a test result verification mechanism. Its foundation is a set of metamorphic relations, which are basically the necessary properties of the software under test, represented in the form of relationships among multiple inputs and corresponding expected outputs. As the core element of metamorphic testing, metamorphic relations have attracted lots of research interests from different perspectives, among which one major direction is to identify metamorphic relations suitable for certain types of programs. In order to reduce the manual work in the identification process, machine learning techniques have been leveraged to predict valid metamorphic relations for scientific software. In this paper, we present a new approach for predicting metamorphic relations based on the deep learning of the program documentation. In particular, we make use of the text convolutional neural networks in the prediction and validation of proper metamorphic relations. Empirical studies have also been conducted to evaluate the applicability and performance of our approach. The experimental results demonstrate its effectiveness in predicting appropriate metamorphic relations for the testing of various Java programs. Compared with the existing baseline techniques, our approach improves the precision and accuracy of the metamorphic relation prediction process. This study also reveals potential research opportunities for advancing the performance of metamorphic testing.

关键词： software testing Deep learning Java Accuracy Manuals Documentation software Convolutional neural networks software engineering

来源：评论

学校读者我要写书评

暂无评论

Switched Reluctance Generator : An Alternative Source for Microgrid 15

Switched Reluctance Generator : An Alternative Source for Mi...

引用

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

作者： Riyadi, Slamet Wibisono, Arifin Pratomo, Leonardus Heru Setiawan, Florentinus Budi Rimal, Bishal Soegijapranata Catholic University Dept. of Electrical Engineering Semarang Indonesia Kantipur Engineering College Kathmandu Nepal

ISBN: (纸本)9798350316551

A switched reluctance machine (SRM) has some advantages. Due to the absence of permanent magnets on its rotor, operating it as a generator requires two stages namely excitation stage and generation stage. Under the excitation stage, batteries are needed to excite the stator winding, this event must occur in proper commutation angles. These angles will determine the energy which will be produced during generation stage. SRM stator inductance will vary depend on the relative position between rotor and stator. A few moments before maximum value of the stator inductance, excitation to the stator winding must be given while turning off the stator excitation must be done during the negative slope of the stator inductance. In this paper, a method to generate precise commutation angles for SRM is proposed. This method is based on the input capture facility provided by dsPIC30F4012 as the core of the digital control. To verify the analysis, simulation and experimental works were done. © 2023 IEEE.

关键词： Inductance

来源：评论

学校读者我要写书评

暂无评论

A Study of Dual Active Bridge Converter Performance

A Study of Dual Active Bridge Converter Performance

引用

Innovation in Technology (APCIT), asia pacific conference on

作者： Dhananjaya B Sadhana B Susama Bagchi Sanjoy Kumar Debnath Tapan Kumar Chakraborty Manika Debnath Dept of EEE NMAM Institute of Technology-NU (Nitte Deemed to be University) Nitte India Dept of Information Science and Engineering Canara Engineering College Bantwal India Chitkara University Institute of Engineering and Technology Chitkara University Rajpura Punjab India Department of Electrical & Electronics Engineering University of Asia Pacific Bangladesh Department of Electrical Engineering Assam Science and Technology University Guwahati Assam India

ISBN: (数字)9798350361537

ISBN: (纸本)9798350361544

Dual Active Bridge (DAB) converter is the most prominent topology of Isolated Bidirectional DC-DC (IBDC) converters. This type of DAB converter serves as interface between the energy storage devices for renewable energy systems applications and, highly applied in automotive applications like electric, hybrid and fuel cell vehicles and aerospace applications and personal electronic equipment. Hence, this type of DAB converter topology requires detail methodical study in terms of its reliability, efficiency, safety and durable performance operation. The aim of this work is to learn the working principle, performance of operation, design and case study simulation to validate DAB converter. DAB converter allows the power to flow in both directions between the two energy sources. Different type of these converter topologies will provide different functions and services in accordance to their structure and components, which depends upon the applications. Hence, they are widely used.

关键词： Technological innovation Renewable energy sources software packages Switching frequency Bridge circuits Switches Topology

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 48 49 50 51 52 53 54 55 56 57 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：