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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Fuzzy logic based Enhanced Healthcare System for Elderly People (EHSEP) 22

Fuzzy Logic based Enhanced Healthcare System for Elderly Peo...

引用

22nd IEEE international Multi Topic conference (INMIC)

作者： Zehra, Syeda Shafia Iqbal, Sohail Natl Univ Sci & Technol Sch Elect Engn & Comp Sci Islamabad Pakistan

ISBN: (纸本)9781728140018

With a tremendous advent of new technologies, the quality of human lives is changing day by day. The major focus is on how to improve the health care systems efficiency to help achieve greater life expectancy. Healthcare systems integrated with IoTs are built which generates timely results instead of going to hospitals just for a routine check up and can inform the near emergency care units in case of any anomaly. The elderly people are the ones who are in dire need of home based health assessment systems as they have a higher risk of getting diseases specially when they are living alone. The proposed home based improved healthcare system for the elderly people using fuzzy logic not only assess the physical health but it also assess the stress level of the patient which is often neglected. The data for physical health is collected using sensors and the data for mental health, in terms of stress level, is collected by taking different parameters into account. The proposed healthcare system can save the life of the elderly people by generating result at an early stage of physical illness or stress level so medical assistance can be timely provided.

关键词： Healthcare system physiological sensors mental health stress level elderly care fuzzy inference system

来源：评论

学校读者我要写书评

暂无评论

Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems 22

Combining LTL monitoring with model invalidation for improve...

引用

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

作者： Yang, Liren Ozay, Necmiye Univ Michigan Dept Elect Engn & Comp Sci Ann Arbor MI 48109 USA

ISBN: (纸本)9781450362825

In this work, we consider detectability analysis for faults in systems governed by switched affine dynamics. By a fault, we mean a sudden and permanent change in the system dynamics. Given the model of the healthy system, such a fault can be detected via a model invalidation approach, i.e., by collecting historic observations over a finite horizon and checking whether these observations can be generated by the healthy system model. Whenever the faulty system model is also available, it is possible to find T, the minimum length of the horizon, with which the fault is guaranteed to be detected eventually (with a T-delay at most). The main contribution of this work is to show the possibility of reducing the value of T, by augmenting the fault detectability analysis with additional linear temporal logic (LTL) constraints on the switching signals, if any. We express the LTL constraints (restricted in a finite horizon) with a nondeterministic finite automaton (NFA), which is then transformed into a set of mixed integer linear constraints that can be easily integrated in the detectability analysis.

关键词： Fault Detection Switched Systems Linear Temporal logic

来源：评论

学校读者我要写书评

暂无评论

Executable Modelling for Highly Parallel Accelerators 22

Executable Modelling for Highly Parallel Accelerators

引用

ACM/IEEE 22nd international conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)

作者： Addazi, Lorenzo Ciccozzi, Federico Lisper, Bjorn Malardalen Univ Sch Innovat Design & Engn Vasteras Sweden

ISBN: (纸本)9781728151250

High-performance embedded computing is developing rapidly since applications in most domains require a large and increasing amount of computing power. On the hardware side, this requirement is met by the introduction of heterogeneous systems, with highly parallel accelerators that are designed to take care of the computation-heavy parts of an application. There is today a plethora of accelerator architectures, including GPUs, many-cores, FPGAs, and domain-specific architectures such as AI accelerators. They all have their own programming models, which are typically complex, low-level, and involve explicit parallelism. This yields error-prone software that puts the functional safety at risk, unacceptable for safety-critical embedded applications. In this position paper we argue that high-level executable modelling languages tailored for parallel computing can help in the software design for high performance embedded applications. In particular, we consider the data-parallel model to be a suitable candidate, since it allows very abstract parallel algorithm specifications free from race conditions. Moreover, we promote the Action Language for fUML (and thereby fUML) as suitable host language.

关键词： parallel programming fUML Alf UML modelling languages high-performance computing data-parallelism executable models

来源：评论

学校读者我要写书评

暂无评论

Automated Reconstruction of Control logic for Programmable logic Controller Forensics 22nd

Automated Reconstruction of Control Logic for Programmable L...

引用

22nd international conference on Information Security (ISC)

作者： Qasim, Syed Ali Lopez, Juan, Jr. Ahmed, Irfan Virginia Commonwealth Univ Richmond VA 23284 USA Oak Ridge Natl Lab Oak Ridge TN 37830 USA

ISBN: (纸本)9783030302153;9783030302146

This paper presents Similo, an automated scalable framework for control logic forensics in industrial control systems. Similo is designed to investigate denial of engineering operations (DEO) attacks, recently demonstrated to hide malicious control logic in a programmable logic controller (PLC) at field sites from an engineering software (at control center). The network traffic (if captured) contains substantial evidence to investigate DEO attacks including manipulation of control logic. Laddis, a state-of-the-art forensic approach for DEO attacks, is a binary-logic decompiler for the Allen-Bradley's RSLogix engineering software and MicroLogix 1400 PLC. It is developed with extensive manual reverse engineering effort of the underlying proprietary network protocol and the binary control logic. Unfortunately, Laddis is not scalable and requires similar efforts to extend on other engineering software/PLCs. The proposed solution, Similo, is based on the observation that engineering software of different vendors are equipped with decompilers. Similo is a virtual-PLC framework that integrates the decompilers with their respective (previously-captured) ICS network traffic of control logic. It recovers the binary logic into a high-level source code (of the programming languages defined by IEC 61131-3 standard) automatically. Similo can work with both proprietary/open protocols without requiring protocol specifications and the binary formats of control logic. Thus, it is scalable to different ICS vendors. We evaluate Similo on three PLCs of two ICS vendors, i.e. MicroLogix 1400, MicroLogix 1100, and Modicon M221. These PLCs support proprietary protocols and the control logics written in two programming languages: Ladder logic and Instruction List. The evaluation results show that Similo can accurately reconstruct a control logic from an ICS network traffic and can be used to investigate the DEO attacks effectively.

关键词： Control system SCADA Forensics PLC ICS

来源：评论

学校读者我要写书评

暂无评论

Reinforcement Learning based Heterogeneous Resource Provisioning for Cloud Web Applications

Reinforcement Learning based Heterogeneous Resource Provisio...

引用

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

作者： Yipei Fang Zhicheng Cai School of Computer Science and Engineering Nanjing University of Science and Technology Nanjing China

ISBN: (纸本)9781728176505

Cloud computing enables enterprises to deploy Web applications on elastically rented Virtual Machines (VMs). In order to minimize VM rental costs while fulfilling Service Level Agreements (SLAs), it is crucial to design effective VM provisioning algorithms. Queueing and control theories based methods are widely used in existing works. However, complex nonlinear system characteristics restrict these methods from getting well performance and most of them are tailored for homogeneous resources. In this paper, a deep reinforcement learning method is proposed for provisioning heterogeneous multi-type VMs which takes advantage of the deep-learning-network's nonlinear modeling ability, incremental-VM-capacity-based action space definition and Integer Linear programming based mapping from the incremental capacity to the multi-type VM renting plan. Experimental results demonstrate that our approach achieves the fastest convergence speed and highest total rewards.

关键词： Cloud computing High performance computing Reinforcement learning Integer linear programming Virtual machining Control theory Nonlinear systems

来源：评论

学校读者我要写书评

暂无评论

Health Status Assessment for Equalizing Reservoir Control System based on HIs and BP Network

Health Status Assessment for Equalizing Reservoir Control Sy...

引用

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

作者： Dianzhu Gao Jun Peng Shengnan Wang Yijun Cheng Yingze Yang Yun Cheng Yao Lu Xiaoyong Zhang School of Automation Central South University Changsha China Hunan Engineering Laboratory of Rail Vehicles Braking Technology Changsha China School of Computer Science and Engineering Central South University Changsha China

ISBN: (纸本)9781728176499;9781728176505

The equalizing reservoir control system is the core part of the DK-2 brake system, and its health condition is important to the railway safety. In this paper, a health condition assessment scheme for the equalizing reservoir control system is proposed based on the physical health indicators and back propagation (BP) neural network. First, after analysis of the system, the phase indicators and the following indicators are extracted. Second, the virtual health indicator is constructed to represent the health status of the system based on multiobjective programming. Finally, a BP neural network is trained based on the virtual health indicator. The experimental platform of the equalizing reservoir control system is built to verify the proposed health condition assessment scheme. The results shows the superiorities compared with other assessment methods in terms of RMSE and Scores.

关键词： Computational modeling High performance computing conferences Neural networks Railway safety programming Predictive models

来源：评论

学校读者我要写书评

暂无评论

Topology Optimization Study of Airplane Controls Console

Topology Optimization Study of Airplane Controls Console

引用

international Scientific conference - New Trends in Aviation Development (NTAD)

作者： Juraj Hub Ales Aster University of Defence Brno Czech Republic 221. Wing 22nd Helicopter Base Namest nad Oslavou Czech Republic

ISBN: (纸本)9781665413435

The article presents a study on topology optimization applied on an aluminium alloy airplane controls console to save the weight. The weight is one of the crucial factors of airplane structures affecting their efficiency, payload, performance, and costs. The article introduces to topology optimization as a SW tool to redistribute the part material yet enabling to carry the applied load. First, it is analysed the load acting on the console during airplane flight and ground operations as well. Next, the most crucial load is applied on the console under topology optimization procedure using the SW Ansys Workbench 2020. The differential influence of load cases is considered using the weight function reflecting the load occurrence. The optimized console shape is finally modified using the SW Autodesk Inventor to achieve the stiffness and strength of the origin console. Achieved reduction of the console weight is 11%. The final console shape is possible to produce using conventional or additive technologies. The article gives the recommendations for further development.

关键词： Airplanes Solid modeling Additives Shape Programmable logic arrays Production Three-dimensional printing

来源：评论

学校读者我要写书评

暂无评论

Temporal logic Robustness for General Signal Classes 22

Temporal Logic Robustness for General Signal Classes

引用

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

作者： Abbas, Houssam Pant, Yash Vardhan Mangharam, Rahul Oregon State Univ Corvallis OR 97331 USA Univ Penn Philadelphia PA 19104 USA

ISBN: (纸本)9781450362825

In multi-agent systems, robots transmit their planned trajectories to each other or to a central controller, and each receiver plans its own actions by maximizing a measure of mission satisfaction. For missions expressed in temporal logic, the robustness function plays the role of satisfaction measure. Currently, a Piece-Wise Linear (PWL) or piece-wise constant reconstruction is used at the receiver. This allows an efficient robustness computation algorithm - a.k.a. monitoring - but is not adaptive to the signal class of interest, and does not leverage the compression properties of more general representations. When communication capacity is at a premium, this is a serious bottleneck. In this paper we first show that the robustness computation is significantly affected by how the continuous-time signal is reconstructed from the received samples, which can mean the difference between a successful control and a crash. We show that monitoring general spline-based reconstructions yields a smaller robustness error, and that it can be done with the same time complexity as monitoring the simpler PWL reconstructions. Thus robustness computation can now be adapted to the signal class of interest. We further show that the monitoring error is tightly upper-bounded by the L-infinity signal reconstruction error. We present a (non-linear) L-infinity-based scheme which yields even lower monitoring error than the spline-based schemes (which have the advantage of being faster to compute), and illustrate all results on two case studies. As an application of these results, we show how time-frequency specifications can be efficiently monitored online.

关键词： Temporal logic Sampling Robustness Multi-Agent Monitoring

来源：评论

学校读者我要写书评

暂无评论

22nd international Symposium on Formal Methods, FM 2018 Held as Part of the Federated logic conference, FloC 2018

22nd International Symposium on Formal Methods, FM 2018 Held...

引用

22nd international Symposium on Formal Methods, FM 2018 Held as Part of the Federated logic conference, FloC 2018

ISBN: (纸本)9783319955810

The proceedings contain 46 papers. The special focus in this conference is on Formal Methods. The topics include: Timed epistemic knowledge bases for social networks;optimal and robust controller synthesis: Using energy timed automata with uncertainty;encoding fairness in a synchronous concurrent program algebra;a wide-spectrum language for verification of programs on weak memory models;operational Semantics of a Weak Memory Model with Channel Synchronization;Stepwise development and model checking of a distributed interlocking system - Using RAISE;resource-aware design for reliable autonomous applications with multiple periods;verifying auto-generated C code from simulink: An experience report in the automotive domain;QFLan: A tool for the quantitative analysis of highly reconfigurable systems;20 years of real real time model validation;modular verification of programs with effects and effect handlers in coq;combining tools for optimization and analysis of floating-point computations;a formally verified floating-point implementation of the compact position reporting algorithm;formal verification of automotive simulink controller models: Empirical technical challenges, evaluation and recommendations;Multi-robot LTL planning under uncertainty;vector barrier certificates and comparison systems;timed vacuity;falsification of cyber-physical systems using deep reinforcement learning;Dynamic symbolic verification of MPI programs;to compose, or not to compose, that is the question: An analysis of compositional state space generation;deadlock detection for actor-based coroutines;view abstraction for systems with component identities;compositional reasoning for shared-variable concurrent programs;Statistical model checking of LLVM code;SDN-Actors: Modeling and verification of SDN programs;CompoSAT: Specification-guided coverage for model finding;approximate partial order reduction.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Using behavioural programming with solver, context, and deep reinforcement learning for playing a simplified RoboCup-type game 19

Using behavioural programming with solver, context, and deep...

引用

Proceedings of the 22nd international conference on Model Driven Engineering Languages and Systems

作者： Achiya Elyasaf Aviran Sadon Gera Weiss Tom Yaacov Ben-Gurion University of the Negev Beer-Sheva Israel

ISBN: (纸本)9781728151250

We describe four scenario-based implementations of controllers for a player in a simplified RoboCup-type game. All four implementations are based on the behavioural programming (BP) approach. We first describe a simple controller for the player using the state-of-the-art BPjs tool and then show how it can be extended in various ways. The first extension is based on a version of BP where the Z3 SMT solver is used to provide mechanisms for richer composition of modules within the BP model. This allows for modules with higher cohesion and lower coupling. It also allows incrementality: we could use the scenarios we developed for the challenge of MDETOOLS'18 and extend the model to handle the new system. The second extension of BP demonstrated in this paper is a set of idioms for subjecting model components to context. One of the differences between this year's challenge and the challenge we dealt with last year is that following the ball is not the only task that a player needs to handle, there is much more to care for. We demonstrate how we used the idioms for handling context to parametrize scenarios like "go to a target" in a dynamic and natural fashion such that modelers can efficiently specify reusable components similar to the way modern user manuals for advanced products are written. Lastly, in an attempt to make the instructions to the robot even more natural, we demonstrate a third extension based on deep reinforcement learning. Towards substantiating the observation that it is easier to explain things to an intelligent agent than to dumb compiler, we demonstrate how the combination of BP and deep reinforcement learning (DRL) allows for giving abstract instructions to the robot and for teaching it to follow them after a short training session.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：