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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities 28

Program Verification Enhanced Precise Analysis of Interrupt-...

引用

28th asia-pacific software engineering conference (APSEC)

作者： Du, Xiang Yin, Liangze Feng, Haining Dong, Wei Natl Univ Def Technol Lab Software Engn Complex Syst Changsha Peoples R China

ISBN: (纸本)9781665437844

Due to the non-deterministic occurring of interrupt service routines, vulnerabilities of interrupt-driven programs, such as data race and atomicity violation, are usually hard to discover. Static analysis is an effective method for vulnerability analysis of interrupt-driven programs. However, existing techniques usually produce a large number of false alarms, which limits the application of static analysis in practice. To achieve high precision in vulnerability analysis of interrupt-driven programs, this paper proposes a program verification enhanced precise analysis method. For each potential vulnerability detected by static analysis, we propose a vulnerability validation approach which employs program verification to further automatically verify its feasibility. We have implemented a prototype of our method on top of CBMC. Experimental results on both an academic benchmark and 24 real-world programs show that our method can successfully identify true vulnerabilities and achieve a high precise analysis.

关键词： Interrupt driven Programs Data Race Atomicity Violation Static Analysis Program Verification

来源：评论

学校读者我要写书评

暂无评论

How Data Plays in the Requirements of Face Recognition System: A Concern Driven Systematic Literature Review 28

How Data Plays in the Requirements of Face Recognition Syste...

引用

28th asia-pacific software engineering conference (APSEC)

作者： Shao, Zhijun Wu, Ji Zhao, Wenxiao Wang, Liping Wu, Hanjiao Sun, Qing Beihang Univ Sch Comp Sci & Engn Beijing Peoples R China

ISBN: (纸本)9781665438131

Machine learning (ML) system is highly data-dependent. It turns out different behavior and performance by using different training data. Since its behavior and performance are more unpredictable than traditional software. The requirement analysis of ML system should focus on model development and its training. This paper reveals how the model development and training are conducted by reviewing the published papers. Based on the principles by Kitchenham, we propose a concern driven systematic literature review method and choose face recognition facilitated ML system as case study. We identify the concerns and then research questions from data perspective, and answer the questions based on the collected literature data. The results show that the current studies included in review have already recognized the role of data played in ML system. Since there is no standard template and method to report data and the related processing procedure, the content and detail about the data reported vary from study to study and are not systematic, which is a great challenge to both practitioners and users.

关键词： Requirement engineering Machine Learning Neural Network Face Recognition Systematic Literature Review

来源：评论

学校读者我要写书评

暂无评论

2022 IEEE Technology and engineering Management Society conference - asia pacific, TEMSCON-ASPAC 2022

2022 IEEE Technology and Engineering Management Society Conf...

引用

2022 IEEE Technology and engineering Management Society conference - asia pacific, TEMSCON-ASPAC 2022

ISBN: (纸本)9781665427692

The proceedings contain 22 papers. The topics discussed include: ICT-based knowledge sharing in rural agricultural communities: a bibliometric approach;design and research of lamps and lanterns driven by analytic hierarchy process and Chinese ancient poetry semantics;entrepreneurial leadership and social innovation performance: a comparison of projects under Malaysia innovation foundation’s purview;strategic framework towards open science adoption in Malaysia;entrepreneurial leadership in nonprofit organization: a case of Malaysian public university;frugal innovation in SMEs: challenges and opportunities of doing more with less strategy;techno-economic feasibility of biogas renewable energy plant: a case of Malaysian palm oil mill;success mechanisms of smart factories in small and medium-sized enterprises;design thinking framework for values capturing and technical features validation for digital healthcare platform;application of additive manufacturing for resilient healthcare sector;and does the relationship between manufacturing flexibility and innovation speed depend on the business environment?.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design of English Education Resource Sharing Model Based on Improved Ant Colony Optimization

Design of English Education Resource Sharing Model Based on ...

引用

software engineering, Social Network Analysis and Intelligent Computing (SSAIC), asia-pacific conference on

作者： Jing Wang Panjin Vocational and Technical College Panjin Liaoning China

ISBN: (数字)9798350393682

ISBN: (纸本)9798350393699

The purpose of resource sharing is to improve resource utilization and reduce redundant construction of resources. It concentrates the resource information and its external related information in one center, and processes and distributes requests and resources in a unified way. In the English education resource sharing model studied in this paper, resource browsing is the most important function. How to ensure the quick and accurate display of resources that each user wants to browse, the classification of resources plays an important role. Through the development of cloud computing software based on Hadoop platform, the optimal sharing state of English education resources in different regions and different needs can be realized. It will be more convenient for learners to acquire knowledge. The file entity storage environment of the English education resource sharing model is Hadoop cluster, and users’ requests are distributed to appropriate storage servers according to the processing of proxy servers. The load factor is used to improve the heuristic function in traditional ACO (ant colony optimization), so that more heavily loaded virtual machines can perform fewer tasks. The experimental results show that the load rate of the improved ACO in the whole cloud computing center is basically between 0.416 and 0.528, and the load of the cloud computing center is always in a balanced state.

关键词： Cloud computing Ant colony optimization Computational modeling Education software Resource management Servers

来源：评论

学校读者我要写书评

暂无评论

Analysis on Relevant Factors Affecting Life Expectancy

Analysis on Relevant Factors Affecting Life Expectancy

引用

2022 IEEE asia-pacific conference on Image Processing, Electronics and Computers, IPEC 2022

作者： He, Xinyang Hu, Jiaxin Liu, Chuyao Zhang, Yuhao A National Pilot Software College Beijing University of Technology School of Software Engineering Beijing China Peking University National School of Development Beijing China Nanyang Technological University School of Chemical and Biomedical Engineering Singapore Australian National University Anu College of Business and Economics and Anu College of Science Beijing China

ISBN: (纸本)9781665409025

Although human life expectancy has exceeded 70 years, life expectancy in some countries is still short. Studying the factors affecting life expectancy is significant to improve life expectancy. Therefore, in this work, we firstly analyzed the factors related to life expectancy and then designed the multiple linear regression (MLR) models to predict life expectancy. In this work, 18 factors were considered in regression model, such as GDP, disease, school index, etc. According to Spearman correlation coefficient, we analyzed the reasons affecting the life expectancy, and design 3 MLR models to predict life expectancy. The result show that disease, schooling index and income are considerable factors affecting life expectancy. The root mean squared error (RMSE) of MLR is 3.818 obtained after analysis. In addition, we verified that factors affecting life expectancy are different for developed and developing countries. So, it is necessary to regress for two types of countries. For developing countries, medical and school factors are more important for developing countries. The RMSE of MLR is 3.99 for developing countries, and 2.57 for developed countries. © 2022 IEEE.

关键词： Developing countries

来源：评论

学校读者我要写书评

暂无评论

Towards Automation of Module Lazy Loading in Single-Page Web Applications

Towards Automation of Module Lazy Loading in Single-Page Web...

引用

asia-pacific conference on software engineering

作者： Yizhi Mei Tetsuo Kamina Oita University Oita Japan

ISBN: (数字)9798331534011

ISBN: (纸本)9798331534028

Dynamic lazy loading in Vuex is an effective method for optimizing the performance of large-scale *** applications. This paper proposes a method to simplify the implementation process of dynamic lazy loading in Vuex, enhancing code maintainability and readability. By leveraging Vue's plugin mechanism, the proposed method encapsulates the Vuex module loading process, allowing for the flexible application of techniques such as dynamic imports and code modularization in Vuex state management. This paper outlines the design principles, implementation details, and experimental results of this method, evaluating its performance in a demonstrating *** application. Experimental results demonstrate that using this plugin mechanism for dynamic lazy loading in Vuex effectively reduces initial load times and improves application response speed, thereby enhancing the user experience.

关键词： Codes Automation Loading User experience Optimization software engineering

来源：评论

学校读者我要写书评

暂无评论

Refractometric Sensing of Waterborne Pathogens by Photonic Crystal Fiber Sensor in THz Platform 5

Refractometric Sensing of Waterborne Pathogens by Photonic C...

引用

5th IEEE International conference on Telecommunications and Photonics, ICTP 2023

作者： Rahman, Md. Moshiur Mou, Farhana Akter Mahmud, Md. Abdullah Al Bhuiyan, Mohammed Imamul Hassan University of Asia Pacific Department of Electrical & Electronic Engineering Dhaka Bangladesh Bangladesh University of Engineering and Technology Department of Electrical & Electronic Engineering Dhaka Bangladesh

ISBN: (纸本)9798350393477

An accurate detection approach is essential for identifying waterborne pathogens due to the high threat to human health. Considering the harmfulness of waterborne pathogens, a photonic crystal fiber sensor has been proposed and numerically evaluated the optical properties in the THz regime. Finite element method-based Comsol Multiphysics software has been utilized to design and analyze the PCF sensor. The proposed sensor renders superior performances for all the tested cases including a high sensitivity of 99.142% for vibrio cholera 99.324% for E. coli 99.35% for enterococcus faecalis and very low confinement loss of 1.3×10-16 dB/cm for vibrio cholera, 1.3×10-16 dB/cm for E. coli and 1.3×10-16 dB/cm for enterococcus faecalis at 4.8 THz operating frequency. Fabrication potential in the existing fabrication platform and a possible experimental setup for testing the sensor are also discussed in detail. © 2023 IEEE.

关键词： Optical properties

来源：评论

学校读者我要写书评

暂无评论

Personalized Privacy Protection Mechanism Integrating Spatiotemporal Correlation 5

Personalized Privacy Protection Mechanism Integrating Spatio...

引用

5th asia-pacific conference on Image Processing, Electronics and Computers, IPEC 2024

作者： Shen, Yanmei Hua, Rui Wang, Hui Shen, Zihao Liu, Peiqian School of Software Henan Polytechnic University Jiaozuo China School of Computer Science and Technology Henan Polytechnic University Jiaozuo China

ISBN: (纸本)9781643685243

In view of the insufficient data availability in traditional trajectory privacy protection schemes, in order to achieve a balance between privacy security and data usage efficiency. This paper achieves personalization of privacy protection and optimization of data availability by comprehensively considering sensitive locations and their correlations in user trajectories. It can realize personalized protection of sensitive locations with different privacy levels based on the user’s preset privacy needs and sensitivity assessment. At the same time, by introducing trajectory candidate sets and cross-correlation functions, a new trajectory publishing mechanism is constructed, which can maintain the spatiotemporal characteristics of trajectory data while ensuring privacy. Through simulation experiments, the effectiveness of the proposed scheme was verified on real data sets. Experimental results show that the method proposed in this article has good results in terms of privacy protection strength and data availability. © 2024 The Authors.

关键词： Trajectories

来源：评论

学校读者我要写书评

暂无评论

Predictive Analysis of Equipment Health State Based on Time Series Model

Predictive Analysis of Equipment Health State Based on Time ...

引用

software engineering, Social Network Analysis and Intelligent Computing (SSAIC), asia-pacific conference on

作者： Zhu Lu Sun Ligang Unit 41 of 92941 Troops PLA Huludao China

ISBN: (数字)9798350393682

ISBN: (纸本)9798350393699

In the whole life cycle management of equipment, how to accurately evaluate and scientifically monitor the health status of equipment through the existing accumulated reliability data has always been an urgent problem to be solved in equipment management. Based on the fault data accumulated in the history of a communication equipment, this paper uses time series analysis method to predict and analyze the running state of the equipment in the whole life cycle management process, effectively improving the efficiency of equipment management.

关键词： Analytical models Social networking (online) Time series analysis Predictive models Data models Stability analysis software reliability

来源：评论

学校读者我要写书评

暂无评论

Automatic Performance Testing for Image Displaying in Android Apps 28

Automatic Performance Testing for Image Displaying in Androi...

引用

28th asia-pacific software engineering conference (APSEC)

作者： Li, Wenjie Jiang, Yanyan Ma, Jun Xu, Chang Nanjing Univ State Key Lab Novel Software Technol Nanjing Peoples R China Nanjing Univ Dept Comp Sci & Technol Nanjing Peoples R China

ISBN: (纸本)9781665437844

Image displaying in Android apps is resource-intensive. Improperly displayed images result in performance degradation or even more severe consequences like app crashes. Existing static performance anti-pattern checkers are conservative and limited to a small set of bugs. This paper presents ImMut, the first test augmentation approach to performance testing for image displaying in Android apps to complement these static checkers. Given a functional test case, ImMut mutates it towards a performance test case by either (1) injecting external-source images with large ones or (2) copy-pasting a repeatable fragment and slightly mutating the copies to display many (potentially distinct) images. Evaluation on our prototype implementation showed promising results that ImMut revealed 14 previously unknown performance bugs that are beyond the capability of state-of-the-art static checkers.

关键词： Android (operating system)

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 36 37 38 39 40 41 42 43 44 45 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：