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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

2,053 篇 会议
51 册 图书
46 篇 期刊文献

馆藏范围

2,150 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,274 篇 工学
- 1,024 篇 计算机科学与技术...
- 583 篇 软件工程
- 254 篇 电气工程
- 157 篇 控制科学与工程
- 69 篇 信息与通信工程
- 50 篇 机械工程
- 42 篇 材料科学与工程（可...
- 36 篇 电子科学与技术（可...
- 18 篇 安全科学与工程
- 15 篇 交通运输工程
- 12 篇 仪器科学与技术
- 12 篇 土木工程
- 12 篇 化学工程与技术
- 12 篇 生物医学工程（可授...
- 12 篇 生物工程
- 11 篇 冶金工程
- 11 篇 动力工程及工程热...
- 10 篇 建筑学
296 篇 理学
- 227 篇 数学
- 39 篇 物理学
- 39 篇 统计学（可授理学、...
- 34 篇 系统科学
- 22 篇 生物学
- 16 篇 化学
119 篇 管理学
- 84 篇 管理科学与工程(可...
- 37 篇 工商管理
- 32 篇 图书情报与档案管...
47 篇 教育学
- 46 篇 教育学
25 篇 医学
- 24 篇 临床医学
10 篇 法学
- 10 篇 社会学
9 篇 经济学
5 篇 农学
4 篇 文学

主题

172 篇 logic gates
137 篇 fuzzy logic
129 篇 programming
118 篇 linear programmi...
94 篇 logic programmin...
65 篇 probabilistic lo...
59 篇 dynamic programm...
57 篇 optimization
52 篇 semantics
50 篇 training
49 篇 computer science
48 篇 logic
44 篇 object oriented ...
42 篇 computer archite...
41 篇 computational mo...
38 篇 hardware
38 篇 artificial intel...
37 篇 java
36 篇 computer program...
35 篇 software

机构

6 篇 laboratory of co...
5 篇 stevens inst tec...
5 篇 institute of log...
5 篇 university of to...
5 篇 institute for lo...
5 篇 chinese univ hon...
4 篇 univ oxford oxfo...
4 篇 school of electr...
4 篇 ibm corp thomas ...
3 篇 north carolina s...
3 篇 creighton univ o...
3 篇 univ politecn ca...
3 篇 ecole polytech f...
3 篇 tu wien austria
3 篇 department of co...
3 篇 department of el...
3 篇 rhein westfal th...
3 篇 school of comput...
3 篇 univ tokyo
3 篇 school of mathem...

作者

7 篇 inoue katsumi
5 篇 sakama chiaki
5 篇 gupta gopal
4 篇 wang liang
4 篇 iosif radu
4 篇 pontelli enrico
4 篇 liang wang
4 篇 tompits hans
4 篇 beck j. christop...
3 篇 kumar amruth n.
3 篇 chopra amit k.
3 篇 proietti maurizi...
3 篇 il han park
3 篇 m.-r. akbarzadeh...
3 篇 wei li
3 篇 riguzzi fabrizio
3 篇 schaub torsten
3 篇 melin p
3 篇 leonidas deligia...
3 篇 mcdirmid sean

语言

2,101 篇 英文
35 篇 其他
15 篇 中文
2 篇 葡萄牙文
1 篇 西班牙文
1 篇 法文

检索条件"任意字段=22nd International Conference on Logic Programming"

共 2150 条记录，以下是631-640 订阅

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

详细简洁

排序：

Research on Smart Care System for Elder Sojourners 6th

Research on Smart Care System for Elder Sojourners

引用

6th international conference on Human Aspects of IT for the Aged Population, ITAP 2020, held as part of the 22nd international conference on Human-Computer Interaction, HCII 2020

作者： Liu, Feng Shandong College of Tourism and Hospitality Jinan250200 China

ISBN: (纸本)9783030502485

The world population is aging, especially in Asia and Europe. Rapid aging poses seriously threats and challenges to elder care service. With the development of economy, seniors are visioning quality life expectation. Sojourning, which means staying in a place outside of one’s inhabitant home for some period of time, is getting popular with the growth of seniors’ income and education level, the number of senior sojourners are expected to increase in a significant speed in the near future. The paper conducted a detailed analysis and carding on smart care system, from both literature and market perspectives. The paper surveyed the requirements and difficulties standing on the way of quality senior sojourners, and proposed a framework design on the basis of Microsoft IoT platform, to set a smart care system. The purpose is to physically and mentally support those old people living out dependently, if the design is accepted by all sides, it would be a win-win business for senior sojourners, their guardians/children and relatives, IT enterprises and even the local governments. © 2020, Springer Nature Switzerland AG.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

Intelligent Decision Support by Means of Dynamic Description logic 22

Intelligent Decision Support by Means of Dynamic Description...

引用

22nd international conference on Soft Computing and Measurements (SCM)

作者： Chemov, A., V Butakova, M. A. Kartashov, O. O. Alexandrov, A. A. Rostov State Transport Univ Rostov Na Donu Russia

ISBN: (纸本)9781728136028

Intelligent decision support tools using distributed dynamic description logic are proposed. Decision-making methods under uncertainty and semistructured input data are considered. Intelligent decision support in complex computing infrastructures is considered. The formats of semistructured data suitable for decision-making are determined. A formal definition of a new type logic called distributed dynamic descriptive logic is given. The architecture and the general scheme of the proposed approach are determined based on the situational knowledge base with merge into distributed situational knowledge base. The decision support system has an inference mechanism and rules of evolution, and by means of the context switching service planning of the query situation makes decisions. Users of the distributed situational knowledge base can fulfill requests about the current situation of their knowledge base. The interval analog of the hierarchy analysis method for direct decision-making is used.

关键词： intelligent decision support dynamic descriptive logic distributed knowledge base

来源：评论

学校读者我要写书评

暂无评论

Dynamical Controller Placement Among SDN Space-Terrestrial Integrated Networks

Dynamical Controller Placement Among SDN Space-Terrestrial I...

引用

IEEE international conference on High Performance Computing and Communications (HPCC)

作者： Xuhui Zhang Feilong Tang Lijun Cao Long Chen Jiadi Yu Wenchao Xu Xingjun Zhang Jianjun Lei Zhibo Wang Shanghai Jiao Tong University China Innovation Resource Center KEDACOM Co. Ltd China School of Information Science and Technology East China Normal University China School of Computer Science and Technology Xi’an Jiaotong University China Shenshu Railway Branch of Shenhua Energy Limited China

ISBN: (纸本)9781728176505

Software Defined Networking (SDN) provides a flexible way to control heterogeneous network resources, which can effectively manage the space and terrestrial network resources. The controller placement problem is important for SDN-based network, and it is an entirely new challenge in SDN-based space-terrestrial integrated networks (STINs). In this paper, we firstly propose a SDN-based STIN architecture, where integrates the network resources in layers. Then, we formulate the dynamic controller placement problem in the proposed architecture as a mixed non-integer linear programming problem and prove its NP-hardness. After that, we propose an efficient dynamic controller placement and adjustment (DCPA) algorithm with the consideration of comprehensive expense. Finally, we construct the SDN-based STIN system through extending NS3 and evaluate our proposed algorithm with related schemes. The results demonstrate that our DCPA outperforms related proposals in terms of average response time and load balancing.

关键词： Heuristic algorithms High performance computing Computer architecture Load management Linear programming Time factors Reliability

来源：评论

学校读者我要写书评

暂无评论

22nd international Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2018

22nd International Workshop on Job Scheduling Strategies for...

引用

22nd international Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2018

ISBN: (纸本)9783030106317

The proceedings contain 7 papers. The special focus in this conference is on Job Scheduling Strategies for Parallel Processing. The topics include: Reducing the human-in-the-loop component of the scheduling of large HTC workloads;using pilot systems to execute many task workloads on supercomputers;Adaptive simultaneous multi-tenancy for GPUs;stochastic programming approach for resource selection under demand uncertainty;approaching actor-level resource control for akka.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Interface-Aware Signal Temporal logic 22

Interface-Aware Signal Temporal Logic

引用

22nd ACM international conference on Hybrid Systems: Computation and Control (HSCC)

作者： Ferrere, Thomas Nickovic, Dejan Donze, Alexandre Ito, Hisahiro Kapinski, James IST Austria Klosterneuburg Austria AIT Seibersdorf Austria Decyphir SAS Moirans France Toyota Motor Co Ltd Toyota Japan Toyota Res Inst North Amer Ann Arbor MI USA

ISBN: (纸本)9781450362825

Safety and security are major concerns in the development of Cyber-Physical Systems (CPS). Signal temporal logic (STL) was proposed as a language to specify and monitor the correctness of CPS relative to formalized requirements. Incorporating STL into a development process enables designers to automatically monitor and diagnose traces, compute robustness estimates based on requirements, and perform requirement falsification, leading to productivity gains in verification and validation activities;however, in its current form STL is agnostic to the input/output classification of signals, and this negatively impacts the relevance of the analysis results. In this paper we propose to make the interface explicit in the STL language by introducing input/output signal declarations. We then define new measures of input vacuity and output robustness that better reflect the nature of the system and the specification intent. The resulting framework, which we call interface-aware signal temporal logic (IA-STL), aids verification and validation activities. We demonstrate the benefits of IA-STL on several CPS analysis activities: (1) robustness-driven sensitivity analysis, (2) falsification and (3) fault localization. We describe an implementation of our enhancement to STL and associated notions of robustness and vacuity in a prototype extension of Breach, a MATLAB (R)/Simulink (R) toolbox for CPS verification and validation. We explore these methodological improvements and evaluate our results on two examples from the automotive domain: a benchmark powertrain control system and a hydrogen fuel cell system.

关键词： specification languages robustness fault explanation testing

来源：评论

学校读者我要写书评

暂无评论

Towards a Scalable EA-Based Optimization of Digital Circuits 22nd

Towards a Scalable EA-Based Optimization of Digital Circuits

引用

22nd European conference on Genetic programming (EuroGP) Held as Part of EvoStar conference

作者： Kocnova, Jitka Vasicek, Zdenek Brno Univ Technol IT4Innovat Ctr Excellence Fac Informat Technol Brno Czech Republic

ISBN: (纸本)9783030166694;9783030166700

Scalability of fitness evaluation was the main bottleneck preventing adopting the evolution in the task of logic circuits synthesis since early nineties. Recently, various formal approaches have been introduced to this field to overcome this issue. This made it possible to optimise complex circuits consisting of hundreds of inputs and thousands of gates. Unfortunately, we are facing to the another problem - scalability of representation. The efficiency of the evolutionary optimization applied at the global level deteriorates with the increasing complexity. In this paper, we propose to apply the concept of local resynthesis. Resynthesis is an iterative process based on extraction of smaller sub-circuits from a complex circuit that are optimized locally and implanted back to the original circuit. When applied appropriately, this approach can mitigate the problem of scalability of representation. Our evaluation on a set of nontrivial real-world benchmark problems shows that the proposed method provides better results compared to global evolutionary optimization. In more than 60% cases, substantially higher number of redundant gates was removed while keeping the computational effort at the same level.

关键词： Cartesian Genetic programming Resynthesis logic optimization

来源：评论

学校读者我要写书评

暂无评论

Evolving Trust Formula to Evaluate Data Trustworthiness in VANETs Using Genetic programming 1

引用

22nd international conference on Applications of Evolutionary Computation (EvoApplications) Held as Part of EvoStar conference

作者： Aslan, Mehmet Sen, Sevil Hacettepe Univ Dept Comp Engn WISE Lab Ankara Turkey

ISBN: (数字)9783030166922

ISBN: (纸本)9783030166915;9783030166922

Vehicular Ad Hoc Networks (VANETs) provide traffic safety, improve traffic efficiency and present infotainment by sending messages about events on the road. Trust is widely used to distinguish genuine messages from fake ones. However, trust management in VANETs is a challenging area due to their dynamically changing and decentralized topology. In this study, a genetic programming based trust management model for VANETs is proposed to properly evaluate trustworthiness of data about events. A large number of features is introduced in order to take into account VANETs' complex characteristics. Simulations with bogus information attack scenarios show that the proposed trust model considerably increase the security of the network.

关键词： Evolutionary computation Genetic programming Trust management Data trust Vehicular Ad Hoc Networks (VANETs)

来源：评论

学校读者我要写书评

暂无评论

22nd international conference on Business Information Systems, BIS 2019

22nd International Conference on Business Information System...

引用

22nd international conference on Business Information Systems, BIS 2019

ISBN: (纸本)9783030366902

The proceedings contain 67 papers. The special focus in this conference is on Business Information Systems. The topics include: Enterprise Computing: A Case Study on Current Practices in SAP Operations;Integration of Enterprise Modeling and Ontology Engineering as Support for Business/IT-Alignment;Towards Aligning IT and Daily Routines of Older Adults;organizational Challenges of Digitalization Initiatives in Tourism Network Management Organizations;a Configurational Approach to Task-Technology Fit in the Healthcare Sector;ontology-Based Fragmented Company Knowledge Integration: Multi-aspect Ontology Building;Comparing Market Phase Features for Cryptocurrency and Benchmark Stock Index Using HMM and HSMM Filtering;contagion in Bitcoin Networks;towards Blockchain and Semantic Web;data Analytics in the Electronic Games;detecting Brute-Force Attacks on Cryptocurrency Wallets;analyzing Transaction Fees with Probabilistic logic programming;an On-Chain Method for Automatic Entitlement Management Using Blockchain Smart Contracts;Study of Factors Related to Grin Cryptocurrency Mining Efficiency with GPUs;towards Blockchain-Based E-Voting Systems;internet of Things and Blockchain Integration: Use Cases and Implementation Challenges;wikipedia as an Information Source on Cryptocurrency Technology;towards Analyzing High Street Customer Trajectories - A Data-Driven Case Study;how Are Negative Customer Experiences Formed? A Qualitative Study of Customers’ Online Shopping Journeys;a Model to Assess Customer Alignment Through Customer Experience Concepts;evaluating the Interdependent Effect for Likert Scale Items;understanding Users’ Preferences for Privacy and Security Features – A Conjoint Analysis of Cloud Storage Services;the Role of Location Dependent Services for the Success of Local Shopping Platforms;Social CRM Services in Digital Marketing Agencies: A Preliminary Study on Service Offerings in Germany.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Implementation of Continuous-time MPC Using B-spline Functions 22

Implementation of Continuous-time MPC Using B-spline Functio...

引用

22nd international conference on Process Control (PC19)

作者： Rohal'-Ilkiv, Boris Gulan, Martin Minarcik, Peter Slovak Univ Technol Bratislava Inst Automat Measurement & Appl Informat Fac Mech Engn Namestie Slobody 17 Bratislava 81231 Slovakia

ISBN: (纸本)9781728137582

In this paper some implementation aspects of the continuous-time stabilizing model predictive control (MPC) based on B-spline functions are addressed. Specifically, two problems are discussed: (a) suitable parametrization of control variables and (b) intersample satisfaction of constraints. The proposed solution relies on B-spline functions parametrization of the control variable during a continuous-time cost function minimization. The close relation between B-spline curves and their control polygons is utilized for the intersample satisfaction of constraints. Stability of the closed-loop system is standardly ensured through a quasi-infinite horizon approach by means of a terminal cost, a terminal constraint set, and an auxiliary (local) controller.

关键词： model predictive control quadratic programming cost functions B-spline functions

来源：评论

学校读者我要写书评

暂无评论

GPTE: Efficient Graph Partitioning-based Traffic Engineering in Hybrid SDN/IP Networks

GPTE: Efficient Graph Partitioning-based Traffic Engineering...

引用

IEEE international conference on High Performance Computing and Communications (HPCC)

作者： Huijun Dai Min Zhu Li Wang Jianlong Zhao Xiaolin Gui Guangyu Peng School of Computer Science Shanxi Province Key Laboratory of Computer Network Xi’an Jiaotong Univercity Shanxi Xi’an China School of Communication Engineering Xi’an Jiaotong Univercity Shanxi Xi’an China Huawei Company Shanxi Xi’an China Qingdao Hisense TransTech Co. Ltd Shandong Qingdao China School of Computer Science Xi’an Jiaotong Univercity Shanxi Xi’an China

ISBN: (纸本)9781728176505

Due to the lack of a centralized global view on the Traditional IP network, it may cause load imbalance or network congestion. Because of the high economical costs and technical conditions of the migration to full SDN, network operators prefer partial deployment of SDN-enabled devices in the IP network. An efficient graph partitioning-based TE (GPTE) in hybrid SDN/IP networks is proposed by considering the network topology, in which legacy devices and SDN-enabled devices co-exist. Firstly, GPTE models the partial SDN deployment as a Network Partitioning Problem solved by transforming the original network into its dual, which make the representation applicable to partitioning. Afterwards, GPTE formulates the TE as an Integer Linear programming (ILP) by considering hybrid SDN/IP routing mechanism. Finally, through intensive experiments under different topologies, GPTE can achieve a significant improvements in terms of load balancing performance and can provide better TE capabilities.

关键词： Biological system modeling High performance computing conferences Quality of service Integer linear programming Routing Load management

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共215页 << < 60 61 62 63 64 65 66 67 68 69 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：