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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Efficient and Secure Authentication Key Establishment Protocol Using Chaotic Map and PUF in Smart Environments

Efficient and Secure Authentication Key Establishment Protoc...

引用

IEEE international conference on Trust, Security and Privacy in Computing and Communications (TrustCom)

作者： Fengling Pang Chingfang Hsu Man Ho Au Lein Harn Ze Zhang Li Long Computer School Central China Normal University Wuhan China Department of Computing The Hong Kong Polytechnic University Hong Kong China Department of Computer Science Electrical Engineering University of Missouri Kansas City MO USA

ISBN: (数字)9798350381993

ISBN: (纸本)9798350382006

With the rapid growth and popularization of the Internet of Things (IoT), it has been applied to numerous fields such as smart industry, smart agriculture and smart home. Designing practical and robust authentication key agreement (AKA) schemes for smart environments has become a pressing problem to be solved. Due to differences in security requirements and resource allocation in smart environments, which we call security-asymmetry and resource-asymmetry, it is necessary to design specific AKA schemes for this environment. Since the design of remote AKA protocols does not fully consider security-asymmetry and resource-asymmetry, many existing schemes are not practical in smart environments. With regard to security-asymmetry, compared with traditional public-key techniques applied in AKA schemes, chaotic map is more effective than modular exponentiation and scalar multiplication, and it supplies many feasible attributes such as unpredictability, unrepeatability, uncertainty, which can be used to achieve communication security between users and gateways, while security operations based on hash function are sufficient to secure communications between gateways and smart devices. In view of resource-asymmetry, the complex operations in the authentication process can be completed by the gateway, so as to make full use of the rich resources on gateway side and reduce the use of resources on user side and device side. Based on such considerations, an efficient and secure authentication key agreement scheme based on chaotic map and physical unclonable function (PUF) for smart environments is proposed. We present a rigorous informal analysis of the proposed scheme. Moreover, the formal security verification is accomplished using the Automated Validation of Internet Security Protocols and Applications (AVISPA) tool. Finally, performance evaluations indicate the proposed protocol consumes less communication cost and computation cost while achieving more security functions compa

关键词： Performance evaluation Protocols Costs Uncertainty Chaotic communication Authentication logic gates

来源：评论

学校读者我要写书评

暂无评论

The Use of Model-Theoretical Methods for Automated Knowledge Extraction from Medical Texts

The Use of Model-Theoretical Methods for Automated Knowledge...

引用

Annual Siberian Russian Workshop on Electron Devices and Materials (EDM)

作者： Ruslan S. Pogodin Dmitry Palchunov Novosibirsk State Univercity Novosibirsk Russia Laboratory of Computability Theory and Applied Logic Sobolev Institute of Mathematics Novosibirsk Russia

The paper is devoted to the application of model-theoretical methods for extraction of knowledge from medical texts and documents and its formal representation. The aim of the work is to automate the filling of knowledge bases of the IACPaaS platform using knowledge from texts of disease descriptions. IACPaaS is a cloud platform for the development, management and remote use of intelligent cloud services. The peculiarities of disease description texts are the presence of medical word terms (such as “blood pressure”) and the abundance of sentences with clauses and homogeneous sentence members. To solve the problem of knowledge extraction, methods of transforming natural language sentences into quantifier-free formulas of the first-order predicate logic are used. Knowledge extracted from texts is formalized in the form of sets of atomic sentences that form fragments of atomic diagrams of algebraic systems. Further, a knowledge tree is built from the fragments of atomic diagrams, which serves as an intermediate representation of knowledge for subsequent translation into the format of IACPaaS information resources. The software system allows medical workers to fill knowledge bases with descriptions of diseases in shorter time, and gives the opportunity to check the consistency of the obtained formal specifications automatically.

关键词： conferences Knowledge based systems Natural languages Information services Software systems Filling Formal specifications

来源：评论

学校读者我要写书评

暂无评论

Active Learning - Competency Development Strategy 2nd

Active Learning - Competency Development Strategy

引用

22nd international conference on Interactive Collaborative Learning (ICL) / 48th IGIP international conference on Engineering Pedagogy - Impact of the 4th Industrial Revolution on Engineering Education

作者： Khatsrinova, Olga Yurievna Seliverstova, Olga Khatsrinova, Julia Tarasova, Ekaterina Barabanova, Svetlana Kazan Natl Res Technol Univ Kazan Russia Fed Ctr Educ Legislat Moscow Russia

ISBN: (纸本)9783030402747;9783030402730

The study is devoted to the development of legal competence in the study of the discipline "Jurisprudence". To enhance the learning activities were used interactive forms of practical exercises. The use of business and role-playing games, work with cases, the construction of Synquain (the word "synquain" comes from the French word "five" and means "a poem consisting of five lines"), the analysis of situations occurring in real professional activity leads not only to quality of the educational process, but also forms the legal consciousness of students. They increase their professional identity and actively participate in legal events.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

PON-Based Connectivity for Fog Computing 22

PON-Based Connectivity for Fog Computing

引用

22nd international conference on Transparent Optical Networks (ICTON)

作者： Alqahtani, Abdullah M. Mohamed, Sanaa H. El-Gorashi, Taisir E. H. Elmirghani, Jaafar M. H. Univ Leeds Sch Elect & Elect Engn Leeds LS2 9JT W Yorkshire England

ISBN: (纸本)9781728184234

Fog computing plays a crucial role in satisfying the requirements of delay-sensitive applications such as connected vehicles, smart grids, and actuator networks by moving data processing close to end users. Passive optical networks (PONs) are widely used in access networks to reduce the power consumption while providing high bandwidth to end users under flexible designs. Typically, distributed fog computing units in access networks have limited processing and storage capacities that can be under or over utilized depending on instantaneous demands To extend the available capacity in access network, this paper proposes a fog computing architecture based on SDN-enabled PONs to achieve full connectivity among distributed fog computing servers. The power consumption results show that this architecture can achieve up to about 80% power savings in comparison to legacy fog computing based on spine and leaf data centers with the same number of servers.

关键词： fog computing passive optical networks (PON) software-defined networking (SDN) fog computing energy efficiency arrayed waveguide grating routers (AWGRs) mixed integer linear programming (MILP)

来源：评论

学校读者我要写书评

暂无评论

FOPID-Based Load Frequency Control of Nonlinear Multi-Area Power Systems via Mayfly Optimization Algorithm

FOPID-Based Load Frequency Control of Nonlinear Multi-Area P...

引用

international Middle-East Power System conference, MEPCON

作者： M. Fathy M. Soliman Faculty of Engineering (Shoubra) Benha University Cairo EGYPT

ISBN: (纸本)9781665419994

In this paper, design of fractional order proportional-integral-derivative (FOPID) controllers in nonlinear multi-area interconnected systems, is presented. A three-area test system is considered to carry out this study. Typically, each turbine has limited generation rate constrain (GRC), while nonlinear performance of governor is described by its dead band (DB). Time delays imposed by signal telemetry are considered as well. Mayfly optimization algorithm (MOA) is proposed to compute the optimum parameters of FOPIDs, while minimizing a time domain based objective function. The system time response stimulated by step-load perturbation (SLP) is quantized using common ITAE index. The proposed design is compared to other designs optimized using different intelligent algorithms where the superiority of the proposed is emphasized. Robustness test based on Hermite-Biehler theorem showed that system is stable subject to parametric-uncertainties.

关键词： Perturbation methods Linear programming Robustness Power systems Time factors Telemetry PD control

来源：评论

学校读者我要写书评

暂无评论

Toward Inclusive Learning: Designing and Evaluating Tangible programming Blocks for Visually Impaired Students 1

引用

Human-Computer Interaction Thematic Area conference (HCI) Held as Part of the 22nd international conference on Human-Computer Interaction (HCII)

作者： Rong, Zhiyi Chan, Ngo Fung Chen, Taizhou Zhu, Kening City Univ Hong Kong Kowloon Hong Kong Peoples R China

ISBN: (数字)9783030490652

ISBN: (纸本)9783030490645;9783030490652

Tangible programming toolkits are widely used to nurture computational literacy in the young generation. However, novice learners with visual impairment have been neglected as these toolkits are primarily designed for sighted students, and mostly rely on visual cues in the whole manipulation process. To fill this gap, we present CodeRhythm (Fig. 1), a tangible programming toolkit for engaging blind and visually impaired (BVI) students to learn basic programming concepts by creating simple melodies. In this paper, we describe the design features of CodeRhythm and discuss the feedback and future improvement based on the preliminary user study.

关键词： Accessibility Tangible user interfaces Computer-science education Inclusive design

来源：评论

学校读者我要写书评

暂无评论

22nd international conference on Formal Engineering Methods, ICFEM 2020

22nd International Conference on Formal Engineering Methods,...

引用

22nd international conference on Formal Engineering Methods, ICFEM 2020

ISBN: (纸本)9783030634056

The proceedings contain 20 papers. The special focus in this conference is on Formal Engineering Methods. The topics include: VARF: Verifying and Analyzing Robustness of Random Forests;type-Based Declassification for Free;four-Valued Monitorability of ω -Regular Languages;formally Verified Trades in Financial Markets;formalizing the Transaction Flow Process of Hyperledger Fabric;embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement;Formal Foundations for Intel SGX Data Center Attestation Primitives;Towards Modeling and Verification of the CKB Block Synchronization Protocol in Coq;accurate Abstractions for Controller Synthesis with Non-uniform Disturbances;formalising Privacy-Preserving Constraints in Microservices Architecture;robustness and Failure Detection in Epistemic Gossip Protocols;algebraic Approach for Confidence Evaluation of Assurance Cases;reasoning with Failures;Verification of Programs with Pointers in SPARK;automated Temporal Verification of Integrated Dependent Effects;a Reversible Operational Semantics for Imperative programming Languages;parallel Chopped Symbolic Execution;PAC Learning of Deterministic One-Clock Timed Automata;learning Fault Models of Cyber Physical Systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Methods for Developing Digital Twins of Roles Based on Semantic Domain-Specific Languages

Methods for Developing Digital Twins of Roles Based on Seman...

引用

Annual Siberian Russian Workshop on Electron Devices and Materials (EDM)

作者： Dmitry Palchunov Anna Vaganova Laboratory of Computability Theory and Applied Logic Sobolev Institute of Mathematics Novosibirsk Russia Novosibirsk State University Novosibirsk Russia

A digital twin is a virtual representation of a physical object or system throughout its entire lifecycle using real-time data. Digital twins of business processes are used to develop management and production methodologies. To create such digital twins, it is necessary to describe the knowledge about the subject domain, to model the regulations and roles involved in the processes. To solve this problem, we use semantic domain-specific languages (sDSL). They allow knowledge about the subject domain to be declaratively described and this knowledge into executable code to be implemented. The d0s1 language implements the ideas of sDSL in practice and allows domain-specific languages for modeling business processes to be created. The digital twin of role includes the knowledge and competencies of the original, is described in the d0s1 language and is able to perform the actions of its original as part of the implementation of business processes.

关键词： Digital twin conferences Semantics Production Regulation Real-time systems Task analysis

来源：评论

学校读者我要写书评

暂无评论

Deep Learning of the SSL Luminaire Spectral Power Distribution under Multiple Degradation Mechanisms by Hybrid kNN algorithm

Deep Learning of the SSL Luminaire Spectral Power Distributi...

引用

Thermal, Mechanical and Multiphysics Simulation and Experiments in Micro-Electronics and Micro-Systems EuroSimE

作者： Cadmus Yuan Feng Chia University Taichung Taiwan No. 100 Wenhwa Rd. Seatwen Taichung Taiwan R.O.C

ISBN: (纸本)9781665413732;9781665413749

The accurate prediction of the LED's spectral power distribution under multiple degradations is essential for the lumen depreciation and color shifting. In our previous study, a gated network has been proposed to capture the SPD characteristics [1]. However, the training of such a model and be independent upon the initial guesses, a considerable learning effect is *** this paper, we apply the nonparametric modeling techniques, such as the k-th nearest neighborhood (kNN) method with the Fnn enhancement, and compare its prediction capability with the gate neural network. An average SPD prediction error of approximately 3-5% is observed, with 30 times shorter learning time, comparing to the pure neural network approach.

关键词： Degradation Training Neural networks Thermal engineering Power distribution Predictive models logic gates

来源：评论

学校读者我要写书评

暂无评论

Techniques for Assessing Return and Risk of Investment Portfolios: a Case Study 22

Techniques for Assessing Return and Risk of Investment Portf...

引用

22nd IEEE international conference on Automation, Quality and Testing, Robotics (AQTR)

作者： Fat, Raluca Cuibus, Octavian Letia, Tiberiu Cenan, Calin Tech Univ Cluj Napoca Dept Automat Cluj Napoca Romania Tech Univ Cluj Napoca Dept Comp Sci Cluj Napoca Romania

ISBN: (数字)9781728171661

ISBN: (纸本)9781728171661

This article aims to present the role that portfolios of financial instruments have on the investment capital market, what are the main models and techniques created in the literature by scholars of the domain for the purpose of portfolio creation and evaluation. The focus will be directed especially on the Markowitz model because this is currently the most widely used model for portfolio selection and evaluation. This model will be used on a concrete portfolio. As contributions, a strategy for predicting the evolution of prices and indexes on the Romanian capital market (based on BET and BET-FI index) is proposed, that employs some renown technologies from AI domain, such as Fuzzy logic and Genetic Algorithms. We devised our research on three scenarios in which we constructed portfolios consisting of 3 types of shares from Romanian market and the results are presented in tabular and graphics form.

关键词： financial portfolio optimization profitability risk evaluation model Markowitz model fuzzy logic genetic algorithm

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共215页 << < 50 51 52 53 54 55 56 57 58 59 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：