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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,043 篇 会议
51 册 图书
45 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

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

主题

172 篇 logic gates
137 篇 fuzzy logic
123 篇 programming
118 篇 linear programmi...
94 篇 logic programmin...
64 篇 probabilistic lo...
59 篇 dynamic programm...
57 篇 optimization
50 篇 semantics
49 篇 computer science
49 篇 training
46 篇 logic
44 篇 object oriented ...
42 篇 computer archite...
40 篇 computational mo...
38 篇 hardware
38 篇 artificial intel...
37 篇 java
35 篇 computer program...
34 篇 integer programm...

机构

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 el...
3 篇 rhein westfal th...
3 篇 school of comput...
3 篇 univ tokyo
3 篇 school of mathem...
3 篇 lancaster univer...

作者

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,100 篇 英文
25 篇 其他
15 篇 中文
2 篇 葡萄牙文
1 篇 西班牙文
1 篇 法文

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

共 2139 条记录，以下是461-470 订阅

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

详细简洁

排序：

GPU-Based Parallelism for ASP-Solving 22nd

GPU-Based Parallelism for ASP-Solving

引用

22nd international conference on Applications of Declarative programming and Knowledge Management, INAP 2019, the 33rd Workshop on logic programming, WLP 2019, and the 27th Workshop on Functional and Constraint logic programming, WFLP 2019

作者： Dovier, Agostino Formisano, Andrea Vella, Flavio Dipartimento di Scienze Matematiche Informatiche e Fisiche Università di Udine Udine Italy Dipartimento di Matematica e Informatica Università di Perugia Perugia Italy Facoltà di Scienze e Tecnologie Informatiche Libera Università di Bolzano Bolzano Italy

ISBN: (纸本)9783030467135

Answer Set programming (ASP) has become the paradigm of choice in the field of logic programming and non-monotonic reasoning. With the design of new and efficient solvers, ASP has been successfully adopted in a wide range of application domains. Recently, with the advent of GPU Computing, which allowed the use of modern parallel Graphical Processing Units (GPUs) for general-purpose computing, new opportunities for accelerating ASP computation has arisen. In this paper, we describe a new approach for solving ASP that exploits the parallelism provided by GPUs. The design of a GPU-based solver poses various challenges due to the peculiarities of GPU in terms of both programmability and architecture capabilities with respect to the intrinsic nature of the satisfiability problems, which exposes poor parallelism. © 2020, Springer Nature Switzerland AG.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Fuzz Testing for Rust Library Functions

Fuzz Testing for Rust Library Functions

引用

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

作者： Yongjian Guo Xi Xiao Yuanyi Lin Hao Li Xiangbo Wu Tao Zhou Shenzhen International Graduate School Tsinghua University Shenzhen China Science and Technology on Communication Networks Laboratory Shijiazhuang China Guangdong Provincial Key Laboratory of Cyber and Information Security Vulnerability Research Guangzhou China

ISBN: (数字)9798350381993

ISBN: (纸本)9798350382006

Rust is an emerging programming language that has gained popularity in many academic and industrial projects due to its memory safety features. However, despite its safety advantages, there are still many serious bugs in existing Rust projects. The lack of suitable fuzz targets has been a major challenge in Rust fuzz testing, as existing fuzzing tools often rely on manual efforts to write test targets, which is time-consuming and cannot be directly applied to library function interfaces. While the previous work has made significant progress in generating fuzz targets for Rust, it still cannot effectively test special functions with generics and *** address this issue, this paper proposes an automated approach for generating fuzz targets for Rust library functions, called RVFuzz. RVFuzz addresses the challenges by performing static analysis through variable instantiation, ensuring that special functions in Rust, such as those with generics and polymorphism, are covered in the interface sequence analysis. It then traverses the library function dependency graph to generate a set of reasonable and non-redundant target function sequences for fuzz testing. Any compilation errors encountered during the process are used to refine the sequence generation. RVFuzz successfully generated fuzz targets for 10 popular Rust projects, achieving an impressive interface coverage rate of 92.3%.

关键词： Privacy Computer languages Sequences Computer bugs Static analysis Manuals Fuzzing

来源：评论

学校读者我要写书评

暂无评论

Event Management Service System 11th

Event Management Service System

引用

11th international conference on Intelligent Networking and Collaborative Systems (INCoS) / 22nd international conference on Network-Based Information Systems (NBiS)

作者： Berezhetskyi, Vladyslav Tomczak, Artur Soliwoda, Daniel Hoti, Emiljana Lodz Univ Technol Lodz Poland Comenius Univ Fac Management Bratislava 83104 Slovakia

ISBN: (纸本)9783030290351;9783030290344

The purpose of the study is to estimate and investigate the advantage of using microservices capability, to develop the system with new functionalities without a relatively large interference in the logic of the individual modules. Similarly using another method as alternative as monolithic architecture which is created as independent on development of an application as a set of small independent services. Creating architecture using microservices brings advantages as freedom in choice of technology and focusing on one service and disadvantages such as delays with remote connections or difficulties related to maintaining transaction security. With the example of Event Watcher system presented it is possible to use completely different technologies in the production of microservices. In the results it was found that the application process of mircorservices were easy to manage and REST communication with service easy to be substituted, testers didn't had to wait for runnable project, they could work with those micro-services which already they had.

关键词： Computer programming

来源：评论

学校读者我要写书评

暂无评论

A Scalable Pattern Matching Implementation on Hardware using Data Level Parallelism

A Scalable Pattern Matching Implementation on Hardware using...

引用

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

作者： Hassan Jalil Hadi Khurram Shahzad Naveed Ahmed Yue Cao Yasir Javed School of Cyber Science and Engineering Wuhan University Wuhan China Department of Computer Science Prince Sultan University Riyadh Saudia Arabia

ISBN: (数字)9798350381993

ISBN: (纸本)9798350382006

Pattern matching in Intrusion Detection Systems (IDS) is one of the most critical and time-consuming elements, allowing the system to make decisions based on the real-time threats across the network. A pattern-matching method can be software-based or hardware-based. In this paper, a hardware implementation of bit-split algorithm has been discussed for pattern matching in order to detect unwanted traffic for a maximum number of rulesets. A hardware-based string matching scheme has been preferred here due to its fast speed and quick data parallelism for the high-performance Intrusion Detection System (IDS). The prototype of the detection method is implemented on Spartan SP605 with a small number of rules. For a large number of rules, a multi-scale Field Programmable Gate Array (FPGA)-based hardware architecture has been implemented in which we have used NetFPGA-SUME. This FPGA board has examined incoming packets at a bit rate of 1.25 Gb/sec with an operational frequency of 156.25MHZ. Furthermore, high-level data parallelism has been implemented by instantiating more than one match engine for handling multiple packets to achieve high throughput (T p ).

关键词： Prototypes Network intrusion detection Parallel processing logic gates Throughput Hardware Real-time systems

来源：评论

学校读者我要写书评

暂无评论

IAD-Net: Multivariate KPIs Interpretable Anomaly Detection with Dual Gated Residual Fusion Networks

IAD-Net: Multivariate KPIs Interpretable Anomaly Detection w...

引用

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

作者： Wen Liu Degang Sun Haitian Yang He Zhu Yan Wang Institute of Information Engineering Chinese Academy of Sciences Beijing China School of Cyber Security University of Chinese Academy of Sciences Beijing China

ISBN: (数字)9798350381993

ISBN: (纸本)9798350382006

Anomaly detection of key performance indicators (KPIs), e.g., CPU load, network usage, is crucial for system behavior monitoring. In recent years, several anomaly detection approaches have been proposed. However, detecting anomalies of KPIs remains challenging because of the stochastic nature and complex temporal dependence of multivariate time series. Additionally, the presence of noise and the unavailability of labeled data in large-scale datasets limit the effectiveness of anomaly detection. In this paper, we propose IAD-Net, an interpretable anomaly detection method with Dual Gated Residual Fusion Networks. The main idea is to model the inter-metric and temporal dependencies simultaneously by using gated residual blocks and two-stream fusion. Additionally, we utilize Gated Recurrent Unit (GRU) to extract long-term global trend patterns of an input sequence. Finally, both the forecasting-based model and the reconstruction-based model are combined in order to focus on single-timestamp predictions and latent representations of time series. Extensive experiments on real-world data show that IAD-Net outperforms other state-of-the-art approaches according to F1-score. Further analysis confirms the effectiveness of our method in anomaly interpretation.

关键词： Privacy Time series analysis Noise Stochastic processes logic gates Predictive models Market research

来源：评论

学校读者我要写书评

暂无评论

Answer set programming encoding users opinions merging in social networks 22

Answer set programming encoding users opinions merging in so...

引用

22nd Annual international conference on Information Integration and Web-Based Applications and Services (IIWAS)

作者： Ktari, Raida Jamoussi, Salma Univ Sfax Higher Inst Comp Sci & Multimedia OLID Lab ISGIS Technopole Sfax Sfax Tunisia Univ Sfax Higher Inst Comp Sci & Multimedia MIRACL Lab Technopole Sfax Sfax Tunisia

ISBN: (纸本)9781450389228

The present paper describes briefly a project idea in progress about the evolvement of individuals' opinions, beliefs and perceptions on social networks (such as Facebook, Twitter, Instagram, youtube...) which is a thorny subject that has whetted nowadays the curiosity of a hulk of researchers from various disciplines. For this purpose, differently from a lot of works in the literature, we rely on logical knowledge representation tools in order to investigate the belief merging operation of Artificial Intelligence (AI). The major objective of this project is to provide efficient operator for merging heterogeneous, inconsistent and uncertain multiple sources information in the context of social networks taking into account the fact that opinion can be formed and developed through the concept of social influence with its two forms (informational social influence and normative social influence) and the concept of social trust. We intend thus through this research work presenting an adaptative version to our context of an approach [7] expressed thanks to Answer Set programming (ASP) paradigm with stable model semantics. It is worth to say that our approach profits from the impressive volume data produced by users in social networks about a particular topic by learning from opinions, beliefs and perceptions that their freinds/neighbors share and therefore allows to use this kind of data to extract initial opinions, and to validate the proposed opinions merging process allowing even the prediction of users' behaviors.

关键词： Answer set programming opinions beliefs merging social influ- ence social networks

来源：评论

学校读者我要写书评

暂无评论

2 to 4 Digital Optical Line Decoder based on Photonic Micro-Ring Resonators 22

2 to 4 Digital Optical Line Decoder based on Photonic Micro-...

引用

22nd IEEE international conference on Advanced Communication Technology (ICACT)

作者： Uddin, M. Rakib Law, F. K. Petra, Rafidah Hamid, Zainidi Ahmad, Nazri Lingas, Nurazmina Univ Teknol Brunei UTB Elect & Elect Engn Programme Area Fac Engn Gadong Brunei

ISBN: (纸本)9791188428045

The need for the research breakthrough in terms of the underlying electronic components have been rising due to the limitations of the current technology. Several alternative methods for digital circuits are needed, thus silicon photonics could be the answer. This paper presents the design of a digital 2 to 4 electro-optic line decoder based on the photonic micro-ring resonator as its core component. This work provides the design principle of the proposed digital decoder, together with the demonstration and simulation of the time varying operation with the speed of 5Gbps. The performance of the proposed line decoder is shown by clear output timing diagrams.

关键词： micro-ring resonator electro-optic devices combinational logic circuit

来源：评论

学校读者我要写书评

暂无评论

Lifetime Estimation of Operational Aged Transformers with New Fuzzy logic Algorithms 22

Lifetime Estimation of Operational Aged Transformers with Ne...

引用

22nd international Symposium on High Voltage Engineering, ISH 2021

作者： Schreiter, Sebastian Kinkeldey, Tobias Lohmeye, Holger Werle, Peter Münster, Tobias HTWK Leipzig Leipzig University of Applied Science Faculty of Electrical Engineering and Information Technology Department of Electric Power Systems Germany FTZ Leipzig e.V. Research and Transfer Centre at the HTWK Leipzig Germany Leibniz Universität Hannover Institute of Electric Power Systems Division of High Voltage Engineering and Asset Management Schering-Institute Hannover Germany Hitachi ABB Power Grids Transformer Service Centre Halle Oil Lab Halle Germany

ISBN: (纸本)9781839536052

The ongoing aging of transformers in the power supply networks represents an increasing technical and financial risk for operators. Therefore, the knowledge of the aging condition of the asset is of elementary interest in order to be able to plan replacement and exchange measures in a time- and cost-optimized manner. Since the end of life of transformers is determined by the aging of the solid insulation, the DP value is considered to be an indicator of the aging of the entire asset. However, this can only be determined directly by paper sampling with the active part accessible, which limits its practicality. Therefore, in the past, the paper condition was estimated by means of furan derivatives. Another approach is to estimate the DP value using computer-aided methods based on other insulating oil characteristics. In this paper, the results of both estimation methods are compared with the actual DP values of real transformers to investigate the validity of this new approach. Additionally the measured furan concentration will be compared to the measured DP value from more than 50 operationally aged transformers. © 2021 The Institution of Engineering and Technology.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

A Miss is as Good as a Mile: Off-By-One Errors and Arrays in an Introductory programming Course 20

A Miss is as Good as a Mile: Off-By-One Errors and Arrays in...

引用

Proceedings of the 22nd Australasian Computing Education conference (ACE)

作者： Rigby, Liam Denny, Paul Luxton-Reilly, Andrew Univ Auckland Auckland New Zealand

ISBN: (纸本)9781450376860

Loops and arrays are fundamental CS1 concepts, but ones that can be problematic for novice programmers. In this research, we investigate off-by-one errors - logic errors where loops perform one too few or one too many iterations - in code using an indexed loop over an array. We classify off-by-one errors, and explore the prevalence of each type, by analyzing a large set of code submissions from students in a first year programming course as they tackle a sequence of exercises. We describe an approach to reliably identify off-by-one errors through dynamic analysis, and find that off-byone errors are both common and persist across exercises. We also show that students infrequently choose to iterate over an array in reverse, but when they do they more commonly encounter off-byone errors. We conclude that teaching material should explicitly focus student attention on boundary cases, and should provide more examples that iterate through arrays in reverse.

关键词： Off-by-one CS1 loop error indexed loops arrays logic error

来源：评论

学校读者我要写书评

暂无评论

Safety Assurance for Autonomous Systems with Multiple Sensor Modalities

Safety Assurance for Autonomous Systems with Multiple Sensor...

引用

ACM and IEEE international conference on Formal Methods and Models for Co-Design (MEMOCODE)

作者： Anand Balakrishnan Rohit Bernard Shreeram Narayanan Vidisha Kudalkar Yiqi Zhao Parinitha Nagaraja Georgi Markov Christof Budnik Helmut Degen Lars Lindemann Jyotirmoy V. Deshmukh

ISBN: (数字)9798350378023

ISBN: (纸本)9798350378030

Humans and autonomous cyber-physical systems increasingly share physical space, for example, in industrial manufacturing, autonomous taxis, warehouses, and unmanned package delivery. This makes such autonomous CPS safety-critical because design errors can harm the people in their shared space. To enhance their own safe operation and the safety of humans around them, these CPSs typically use multiple sensor modalities to perceive the environment. Such sensor systems include RADAR, LIDAR, ultra-wideband, SONAR, odometry, GPS, and camera-based sensors to make estimations about their own state and observations of the environment. Traditionally, the observations made by different sensor streams are fused using probabilistic models such as Bayesian filters (e.g., Kalman filters). These filters make assumptions about the distribution of error between the observation and the ground truth for a given sensor and, using such assumptions, attempt to reconstruct a state estimate by computing some weighted combination of observations from multiple sensors (with possibly different error distributions). However, such assumptions can be challenging to model as environments become more complex. Furthermore, such algorithms typically do not account for sensor failures or shifts in the error distribution during deployment. This paper presents an algorithmic framework that defines a notion of spatio-temporal consistency across sensor streams. We eschew the idea of computing a fused state estimate and instead focus on producing a consistent state estimate if the multiple sensor observations are deemed consistent. If we detect an inconsistency in the state estimate, we propose a conservative over-approximation of the state estimate based on the last known consistent estimate. We demonstrate how such a framework can be deployed in an industrial manufacturing case study. We show that such a framework can provide probabilistic runtime assurance using conformal prediction techniques for stati

关键词： Statistical analysis Computational modeling Probabilistic logic Sensor systems Safety Manufacturing Spatiotemporal phenomena Streams System analysis and design Ultra wideband technology

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共214页 << < 43 44 45 46 47 48 49 50 51 52 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：