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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

19,890 篇 会议
142 篇 期刊文献
45 册 图书
1 篇 学位论文

馆藏范围

20,076 篇 电子文献
2 种 纸本馆藏

日期分布

学科分类号

15,203 篇 工学
- 10,525 篇 计算机科学与技术...
- 8,770 篇 软件工程
- 2,166 篇 电气工程
- 2,066 篇 信息与通信工程
- 1,920 篇 控制科学与工程
- 1,363 篇 电子科学与技术（可...
- 1,322 篇 机械工程
- 1,193 篇 土木工程
- 923 篇 材料科学与工程（可...
- 876 篇 建筑学
- 871 篇 动力工程及工程热...
- 859 篇 仪器科学与技术
- 848 篇 生物工程
- 841 篇 化学工程与技术
- 749 篇 生物医学工程（可授...
- 728 篇 安全科学与工程
- 689 篇 力学（可授工学、理...
- 551 篇 光学工程
- 531 篇 交通运输工程
6,216 篇 理学
- 3,556 篇 数学
- 1,824 篇 物理学
- 971 篇 生物学
- 943 篇 统计学（可授理学、...
- 765 篇 系统科学
- 741 篇 化学
3,601 篇 管理学
- 2,412 篇 管理科学与工程(可...
- 1,500 篇 图书情报与档案管...
- 1,341 篇 工商管理
688 篇 教育学
- 684 篇 教育学
590 篇 医学
- 525 篇 临床医学
466 篇 经济学
425 篇 法学
159 篇 农学
103 篇 文学
54 篇 艺术学
52 篇 军事学

主题

663 篇 software enginee...
326 篇 application soft...
303 篇 software
262 篇 computer science
225 篇 data mining
222 篇 neural networks
217 篇 knowledge engine...
178 篇 educational inst...
175 篇 knowledge based ...
170 篇 computer archite...
160 篇 software systems
153 篇 knowledge manage...
151 篇 software testing
136 篇 programming
128 篇 software archite...
128 篇 software design
118 篇 semantics
111 篇 computational mo...
109 篇 fuzzy logic
109 篇 computer aided s...

机构

37 篇 school of comput...
33 篇 dmms core lab fl...
32 篇 state key labora...
29 篇 school of automa...
29 篇 school of electr...
26 篇 nanjing univ sta...
25 篇 school of comput...
24 篇 school of comput...
23 篇 college of compu...
23 篇 school of reliab...
22 篇 school of reliab...
21 篇 national univers...
20 篇 ieee
18 篇 hunan university...
17 篇 university of ch...
15 篇 shenyang normal ...
15 篇 school of softwa...
15 篇 institute of inf...
15 篇 chinese acad sci...
15 篇 ku leuven depart...

作者

21 篇 biffl stefan
17 篇 liu yan
16 篇 wang wei
15 篇 wang tao
14 篇 desmet w.
14 篇 liu yang
13 篇 liu jie
11 篇 huang tao
11 篇 wang lei
11 篇 jin zhi
11 篇 wang jian
11 篇 li yong
10 篇 zhang lin
10 篇 li yang
10 篇 li li
10 篇 wei jun
10 篇 wang qing
10 篇 li juan
10 篇 yang yang
10 篇 zhang j.

语言

19,621 篇 英文
314 篇 其他
106 篇 中文
21 篇 西班牙文
10 篇 葡萄牙文
7 篇 土耳其文
2 篇 德文
2 篇 法文
2 篇 俄文
2 篇 乌克兰文
1 篇 捷克文

检索条件"任意字段=Proceedings of the 9th Knowledge-Based Software Engineering Conference"

共 20078 条记录，以下是4871-4880 订阅

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

详细简洁

排序：

Advanced flexibility-based element allowing for member imperfection and shear deformation 9

Advanced flexibility-based element allowing for member imper...

引用

9th International conference on Advances in Steel Structures, ICASS 2018

作者： Ding, Zhi-Xia Du, Zuo-Lei Liu, Yao-Peng Chan, Siu-Lai Department of Civil and Environmental Engineering Hong Kong Polytechnic University Hung Hom Kowloon Hong Kong

ISBN: (纸本)9889914093

In this paper, a new flexibility-based beam-column element, allowing for the interaction of shear effects and initial imperfection, is proposed. the element is formulated with Hellinger-Reissner function and locking-free with exact force interpolation functions. An extended displacement interpolation based on the curvature and shear strain is adopted to account for shear deformation. the member imperfection is considered along with the member length, and only one-element-per-member is required for structural analysis to achieve reasonable and accurate solutions. the distributed plasticity is taken into account by fiber section approach. Two numerical examples demonstrate the accuracy and efficiency of the proposed element. Copyright © 2018 by the Hong Kong Institute of Steel Construction.

关键词： Shear deformation

来源：评论

学校读者我要写书评

暂无评论

COMPASS: IPS-based navigation system for visually impaired students 9

COMPASS: IPS-based navigation system for visually impaired s...

引用

9th IEEE International conference on Communication Systems and Network Technologies, CSNT 2020

作者： Alzamil, Munira Albugmi, Reema Alotaibi, Shatha Alanazi, Ghadeer Alzubaidi, Loay Bashar, Abul Prince Mohammad Bin Fahd University College of Computer Engineering and Sciences Al-Khobar31952 Saudi Arabia

ISBN: (纸本)9781728149769

Computer Vision coupled with Positioning Systems Technology has contributed significantly in assisting visually impaired people to independently perform their daily routine tasks. this paper proposes COMPASS, an Indoor Positioning System (IPS) based solution for visually impaired students to move around the university campus independently. COMPASS is a navigation system for the visually impaired students at PMU that consists of three important components which are: an android application running on a smartphone, smart bracelet, and smart shoes. the android application is used to upload student's class schedule to help them navigate (through Bluetooth based beacons) to and from classes and around the campus. Also, it allows them to call university administrators by simply clicking on a button embedded in the mobile app. the Raspberry Pi based smart bracelet serves as a verification tool (using Tesseract enabled image detection) to ensure that the student arrives at the right class at the right time. As for the smart shoes, it ensures the safety of the student while walking around the campus by detecting obstacles (using ultrasonic sensors) along the way. COMPASS has been extensively tested in a university environment for navigating visually impaired students. COMPASS is economical, small-sized, accurate and uses open source software tools. It can be potentially used for both educational and commercial applications. © 2020 IEEE.

关键词： Bluetooth

来源：评论

学校读者我要写书评

暂无评论

Design and Simulation Industrial Wood Furniture Manufacturing Plants

Design and Simulation Industrial Wood Furniture Manufacturin...

引用

Green Buildings (ATiGB), Applying New Technology in

作者： Phi-Trung Nguyen thi-Anh-Tuyet Nguyen Department of Mechanical Engineering Ho Chi Minh University of Technology and Education 01. Vo Van Ngan St. Thu Duc Dist. Ho Chi Minh City Vietnam

ISBN: (数字)9798331505042

ISBN: (纸本)9798331505059

the wood industry is considered an industry that plays a critical role in the development of Vietnam’s economy; the export turnover of wood and wood products has continuously grown over the years. When most Vietnamese businesses use plantations, industry development always goes hand in hand with protecting the environment, contributing to the development of plantations, providing raw materials, and creating employment opportunities for hundreds of people. Plantation forests have also created employment opportunities for many families and people in rural, mountainous, remote, and isolated areas. With the trade war between China and the US and the development of the epidemic, Vietnam has many advantages in maintaining production stability, becoming the world’s second-largest wood furniture exporter and the world’s second-largest wood furniture exporter. Largest wooden furniture entering the US market. the free trade agreement between Vietnam and the EU has opened up many market opportunities and increased price competitiveness. this also brings some difficulties. Orders are growing rapidly, the source of raw materials is unstable, and production facilities cannot meet them in time. they are still afraid of domestic products in the domestic market and prefer imported goods. One reason is that the cost of domestic products is relatively high. therefore, manufacturers face many challenges and difficulties in improving quality, productivity, and competitiveness to meet customer requirements. this study presents an approach that aims to optimize a factory’s layout design based on Lean and SLP methods incorporating 4.0 technology in the Industrial Wood Furniture Manufacturing Plant. this study provides an overall model of an optimal and modern Industrial Wood Furniture Manufacturing Plant. It also evaluates and analyzes the project’s pros and cons without spending much money. the results also indicated that transportation, production time, and costs are reduced significantl

关键词： Productivity Costs Layout Employment Plantations Wood industry Production facilities software Raw materials Manufacturing

来源：评论

学校读者我要写书评

暂无评论

software Model Checking for Real-time Properties of Embedded Assembly Programs based on Lazy Abstraction and Refinement 9

Software Model Checking for Real-time Properties of Embedded...

引用

9th IEEE Global conference on Consumer Electronics, GCCE 2020

作者： Wu, Yajun Kamide, Hiromu Yamane, Satoshi Kanazawa University Kakuma-machi Kanazawa920-1192 Japan Kanazawa University Institute of Science and Engineering Kakuma-machi Kanazawa920-1192 Japan

ISBN: (纸本)9781728198026

In recent years, the reliability of embedded systems has been receiving more and more attention. In verifying embedded programs, both improvements in verification efficiency and avoiding state explosion are important. Besides, verifying real-time properties is also of great importance. In our study, we propose verifying real-time properties of assembly program based on lazy abstraction and refinement. For that purpose, we propose one method for modeling assembly programs with time and another method for refining abstract models using Interpolation. Finally, the effectiveness of our proposed method was showed by verification experiments. © 2020 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

A conceptual framework for a flexible data analytics network 9

A conceptual framework for a flexible data analytics network

引用

9th International conference on Data Science, Technology and Applications, DATA 2020

作者： Tebernum, Daniel Chabrowski, Dustin Fraunhofer Institute for Software and Systems Engineering Emil-Figge-Str. 91 Dortmund Germany

ISBN: (纸本)9789897584404

It is becoming increasingly important for enterprises to generate insights into their own data and thus make business decisions based on it. A common way to generate insights is to collect the available data and use suitable analysis methods to process and prepare it so that decisions can be made faster and with more confidence. this can be computational and storage intensive and is therefore often outsourced to cloud services or a local server setup. With regards to data sovereignty, bandwidth limitations, and potentially high charges, this does not always appear to be a good solution at all costs. therefore, we present a conceptual framework that gives enterprises a guideline for building a flexible data analytics network that is able to incorporate already existing edge device resources in the enterprise computer network. the proposed solution can automatically distribute data and code to the nodes in the network using customizable workflows. With a data management focused on content addressing, workflows can be replicated with no effort, ensuring the integrity of results and thus strengthen business decisions. We implemented our concept and were able to apply it successfully in a laboratory pilot. Copyright © 2020 by SCITEPRESS – Science and Technology Publications, Lda. All rights reserved.

关键词： Data Analytics

来源：评论

学校读者我要写书评

暂无评论

E-learning System Customized in the Integral Process of Teaching Learning of engineering Students

E-learning System Customized in the Integral Process of Teac...

引用

Information and Education Technology (ICIET), International conference on

作者： Carmen Cuba Cornejo Roberto Cuba Acasiete Victor Arroyo Quispe Jose Morales Valencia Fernando Guerrero Salazar Universidad Tecnológica del Perú Ica Perú Universidad Nacional San Luis Gonzaga Ica Perú

ISBN: (纸本)9781665430159

the objective of this research work is to determine the incidence of application of the personalized e-learning system in the achievement of the integral teaching-learning process of the students of Electrical Mechanical engineering of the National University San Luis Gonzaga 2019; basic type research, nonexperimental design, causal explanatory level, quantitative approach, non-probabilistic sample, for convenience; the instrument applied was the survey, using the inductive deductive method; With a non-probabilistic sample made up of enrolled students, the results made it possible to deduce and explain the facts or phenomena that influenced the improvement of the teaching-learning process. It was concluded that e-learning platforms increase technological speed, allowing the creation of learning spaces (LE) on the Internet, with a wide range of functionalities at the service of different types of teaching and learning.

关键词： Electronic learning Satellites Instruments Education Tools knowledge management software

来源：评论

学校读者我要写书评

暂无评论

A framework for creating policy-agnostic programming languages 9

A framework for creating policy-agnostic programming languag...

引用

9th International conference on Data Science, Technology and Applications, DATA 2020

作者： Bruckner, Fabian Pampus, Julia Howar, Falk Data Business Fraunhofer ISST Emil-Figge-Strasse 91 Dortmund44227 Germany Department for Software Engineering TU Dortmund Otto-Hahn-Strasse 12 Dortmund44227 Germany

ISBN: (纸本)9789897584404

this paper introduces the policy system of the domain specific language D◦ (spoken digrē). the central feature of this DSL is the automatic integration of usage control mechanisms into the application logic. the introduced DSL is cross-compiled to a host language. D◦ implements the policy-agnostic programming paradigm which means that application logic and policy enforcement are considered separately during the development. Both aspects are combined (automatically) in a later state. We propose the well-defined combination of blacklisting and whitelisting which we define as greylisting. based on a simple example, we present the different aspects of the proposed policy system. Extensibility of the policy system and D◦ is another central functionality of the DSL. We demonstrate how the policy system and the language itself can be extended by new elements by implementing a simple use case. For this implementation, we use a prototypically implementation of D◦ which uses Java as host language. Copyright © 2020 by SCITEPRESS – Science and Technology Publications, Lda. All rights reserved.

关键词： Industry 4.0

来源：评论

学校读者我要写书评

暂无评论

M³: Semantic API Migrations 35

M<SUP>3</SUP>: Semantic API Migrations

引用

35th IEEE/ACM International conference on Automated software engineering (ASE)

作者： Collie, Bruce Ginsbach, Philip Woodruff, Jackson Rajan, Ajitha Boyle, Michael F. P. O. Univ Edinburgh Sch Informat Edinburgh Midlothian Scotland GitHub Software UK Oxford England Univ Edinburgh Edinburgh Midlothian Scotland

ISBN: (纸本)9781450367684

Library migration is a challenging problem, where most existing approaches rely on prior knowledge. this can be, for example, information derived from changelogs or statistical models of API usage. this paper addresses a different API migration scenario where there is no prior knowledge of the target library. We have no historical changelogs and no access to its internal representation. To tackle this problem, this paper proposes a novel approach (M-3), where probabilistic program synthesis is used to semantically model the behavior of library functions. then, we use an SMT-based code search engine to discover similar code in user applications. these discovered instances provide potential locations for API migrations. We evaluate our approach against 7 well-known libraries from varied application domains, learning correct implementations for 94 functions. Our approach is integrated with standard compiler tooling, and we use this integration to evaluate migration opportunities in 9 existing C/C++ applications with over 1MLoC. We discover over 7,000 instances of these functions, of which more than 2,000 represent migration opportunities.

关键词： Compilers software verification and validation

来源：评论

学校读者我要写书评

暂无评论

9th International conference on Mobile Wireless Middleware, Operating Systems and Applications, MOBILWARE 2020

9th International Conference on Mobile Wireless Middleware, ...

引用

9th International conference on Mobile Wireless Middleware, Operating Systems and Applications, MOBILWARE 2020

ISBN: (纸本)9783030622046

the proceedings contain 21 papers. the special focus in this conference is on Mobile Wireless Middleware, Operating Systems and Applications. the topics include: Identifying Climatological Interactions in Global Influenza Across Temperate and Tropical Regions;preface;soft Tissue Deformation Estimation Model based on Spatial-Temporal Kriging for Needle Insertion Procedure;measuring the Impact of Public Transit on the Transmission of Epidemics;evaluation Method for Water Network Connectivity based on Graph theory;a Study on the Error Characteristics of Smartphone Inertial Sensors;study on Ruminant Recognition of Cows based on Activity Data and Long Short-Term Memory Network;Design the Tunable Wideband Filter for DDS+PLL Hybrid Frequency Synthesizer;Enhanced WPA2/PSK for Preventing Authentication Cracking;reinforcement Learning for Rack-Level Cooling;traffic Sign Recognition Algorithm Model based on Machine Learning;remote Sensing Image Recognition Using Deep Belief Network;a Review of Routing Protocols in Energy Harvesting Wireless Sensor Networks;research on the Application of Personalized Course Recommendation of Learn to Rank based on knowledge Graph;ioT-Oriented Designated Verifier Signature Scheme;A Group Signature-based Anonymous Authentication Scheme with Controllable Linkability for VANTEs;research on Community-based Opportunistic Network Routing Protocol;a Comprehensive Cellular Learning Automata based Routing Algorithm in Opportunistic Networks;Performance Analysis of MPTCP Under High Load based on SDN Environment.

关键词：

来源：评论

学校读者我要写书评

暂无评论

WikiServe: Using Wikipedia to Match IoT based Services for Situation Response 21

WikiServe: Using Wikipedia to Match IoT based Services for S...

引用

proceedings of the 10th International conference on software and Information engineering

作者： Sazid Zaman Khan Alan Colman Iqbal H. Sarker Computer Science and Engineering International Islamic University Chittagong Bangladesh School of Science Computing and Engineering Technologies Swinburne University of Technology Australia Computer Science and Engineering Chittagong University of Engineering and Technology Bangladesh

ISBN: (纸本)9781450384315

A large number of smart devices are being deployed with the swift development of Internet of things (IoT). these devices, owned by different organizations, have a wide variety of services to offer. During a natural disaster, relevant IoT services can be extremely useful. However, appropriate service matching methods are required to find the relevant services. Organizations that manage situation responses and organizations that provide IoT services are likely to be independent of each other, therefore it is difficult for them to adopt a common ontological model to facilitate the service matching. In this paper, we address this problem and propose a new approach called WikiServe to identify IoT services that are functionally relevant to a given situation. Using concepts or terms from situation and service descriptions, WikiServe employs Wikipedia as a knowledge source to bridge the conceptual gap between situation and service descriptions and match functionally relevant IoT services. WikiServe performs better than a Word2Vec based method in terms of Precision and Recall for service matching.

关键词： Service Computing Semantics Internet of things

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 484 485 486 487 488 489 490 491 492 493 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：