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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Comprehensiveness, Automation and Lifecycle: A New Perspective for Rust Security

Comprehensiveness, Automation and Lifecycle: A New Perspecti...

引用

IEEE international conference on Software Quality, Reliability and Security (QRS)

作者： Shuang Hu Baojian Hua Yang Wang School of Software Engineering University of Science and Technology of China China

Rust is an emerging programming language designed for secure system programming that provides both security guarantees and runtime efficiency and has been increasingly used to build software infrastructures such as OS kernels, web browsers, databases, and blockchains. To support arbitrary low-level programming and to provide more flexibility, Rust introduced the unsafe feature, which may lead to security issues such as memory or concurrency vulnerabilities. Although there have been a significant number of studies on Rust security utilizing diverse techniques such as program analysis, fuzzing, privilege separation, and formal verification, existing studies suffer from three problems: 1) they only partially solve specific security issues but lack comprehensiveness; 2) most of them require manual interventions or annotations thus are not automated; and 3) they only cover a specific phase instead of the full *** this perspective paper, we first survey current research progress on Rust security from 5 aspects, namely, empirical studies, vulnerability prevention, vulnerability detection, vulnerability rectification, and formal verification, and note the limitations of current studies. Then, we point out key challenges for Rust security. Finally, we offer our vision of a Rust security infrastructure guided by three principles: Comprehensiveness, Automation, and Lifecycle (CAL). Our work intends to promote the Rust security studies by proposing new research challenges and future research directions.

关键词： Computer languages Automation Runtime Program processors Software quality Manuals programming

来源：评论

学校读者我要写书评

暂无评论

A Tight Approximation Algorithm for the Cluster Vertex Deletion Problem 22nd

A Tight Approximation Algorithm for the Cluster Vertex Delet...

引用

22nd international conference on Integer programming and Combinatorial Optimization (IPCO)

作者： Aprile, Manuel Drescher, Matthew Fiorini, Samuel Huynh, Tony Univ Padua Dipartimento Matemat Padua Italy Univ Libre Bruxelles Dept Math Brussels Belgium Monash Univ Sch Math Melbourne Vic Australia

ISBN: (纸本)9783030738792;9783030738785

We give the first 2-approximation algorithm for the cluster vertex deletion problem. This is tight, since approximating the problem within any constant factor smaller than 2 is UGC-hard. Our algorithm combines the previous approaches, based on the local ratio technique and the management of true twins, with a novel construction of a "good" cost function on the vertices at distance at most 2 from any vertex of the input graph. As an additional contribution, we also study cluster vertex deletion from the polyhedral perspective, where we prove almost matching upper and lower bounds on how well linear programming relaxations can approximate the problem.

关键词： Approximation algorithm Cluster vertex deletion Linear programming relaxation Sherali-Adams hierarchy

来源：评论

学校读者我要写书评

暂无评论

Noise-based logic versus Quantum Supremacy

Noise-based Logic versus Quantum Supremacy

引用

international Symposium on Computational Intelligence and Informatics

作者： Laszlo B Kish Department of Electrical and Computer Engineering Texas A&M University USA

ISBN: (纸本)9798350398830

Quantum Supremacy is an expression coined to indicate that there are some hard computational problems that quantum computers can solve exponentially faster than a classical-physical Turing machine (that is, a digital computer). Noise-based logic (NBL) is a deterministic computation scheme that utilizes a digital computer and a physical true random number generator (TRNG). Recently, several computational problems have been identified where NBL also deterministically offered an exponential speedup compared to a digital computer. In the case of phonebook search, at proper conditions, NBL can even be exponentially faster than Grover's quantum algorithm that offers only a polynomial speedup compared to a digital computer. The newest result is the implementation of the Deutsch-Jozsa problem in NBL. The Deutsch-Jozsa quantum algorithm was historically the first one that was able to offer quantum supremacy. NBL offers the same speedup class. Open philosophical questions emerge about the role of true randomness in the speedup.

关键词： Digital computers Computer science Quantum algorithm Mechatronics Automation Turing machines Generators

来源：评论

学校读者我要写书评

暂无评论

3D Human Movement Pose Generation Based on Pre-trained AI Model with Skeleton Constraint Analysis and Intelligent Prediction

3D Human Movement Pose Generation Based on Pre-trained AI Mo...

引用

international conference on Communication Technology (ICCT)

作者： Jinwei Lin Monash University School of Information Technology Selangor Malaysia

This paper research will focus on the application and implementation of coordinate data transformation from 2D to 3D, in terms of the human skeleton recognition area. Then the processed 3D skeleton nodes data will be applied to control the 3D human object with auto-modeling and auto-generation, with the programming of Python. The research of this paper uses the pre-trained model of Pytorch to gain the basic 2D detection points data of the human skeleton nodes, to transform the key node 2D skeleton data to 3D skeleton data by the structural analysis of human skeleton nodes. Subsequently, processing the 3D data with the optimization algorithms by the specific skeleton-moving range constraint analysis and prediction. The research provides an available method that generates the 3D skeleton data from the 2D data with an intelligent and efficient method. The generated skeleton 3D data can be used in various 3D modeling applications, especially in the area of the human objects movements and actions design in 3D animation. The experiment result analysis and conclusion will be presented.

关键词： Training Solid modeling Analytical models Three-dimensional displays Transforms programming Bones

来源：评论

学校读者我要写书评

暂无评论

Beamforming Optimization in MU-MISO URLLC Systems

Beamforming Optimization in MU-MISO URLLC Systems

引用

international conference on Communication Technology (ICCT)

作者： Changqing Ye Hong Jiang Liping Deng Honglang Zhu Southwest University of Science and Technology Xichang University Mian Yang Xi Chang China Southwest University of Science and Technology Mian Yang China Xichang University Xi Chang China

This paper considers a downlink ultra reliable low latency communication (URLLC) system in which a BS equipped with multi antenna arrays simultaneously serves multi single antenna user equipments (UEs) by transmitting short packet. With the objective of maximizing achievable data rate (ADR) for all UEs, we consider the beamforming optimization design. In the short packet transmitting, the ADR is a complicated function of bandwidth, beamform vectors and decoding error probability, which makes the max-sum ADR optimization problems challenging to solve. This problem is firstly decoupled via Lagrange dual transform and the beamforming at BS is optimized based on fractional programming (FP) method. Then, alternative optimization (AO) algorithm is proposed to solve this problem. Performance of the proposed algorithm is analyzed through extensive simulations under various settings of transmission power budget, transmission time, total bandwidth and the number of antennas. The simulation results clearly demonstrate the merits of the proposed algorithm, and shown that the URLLC ADR obtained by proposed algorithm are quite close to Shannon ADR over a wide range of simulation parameters.

关键词： Analytical models Array signal processing Transmitting antennas Bandwidth Transforms Ultra reliable low latency communication programming

来源：评论

学校读者我要写书评

暂无评论

programming-based laboratory assignments for undergraduate students of power engineering fields 21

Programming-based laboratory assignments for undergraduate s...

引用

22nd international conference on Computer Systems and Technologies, CompSysTech 2021

作者： Nazarov, Serdar Jumayev, Bayram Bayramhan street 62 Mary city745400 Turkmenistan

ISBN: (纸本)9781450389822

Studying only theoretical part of working principles of electrical devices, being used in automation, control and power engineering, is not enough for students to fully comprehend the topic. Moreover, in order to keep up with innovative technologies, computer systems and smart solutions, being installed in almost all the sectors of power industry, undergraduate students studying at power engineering fields should learn how to select appropriate electrical components according to their parameter, mount electrical circuits using those components and program microprocessors of automated systems. In this regards, the paper presents Arduino-based assignments, related to the elements of electrical and power engineering, which can be introduced to the laboratory sessions of courses such as automation and control. The proposed laboratory assignments are prepared in easy-to-hard order and they aim at learning the working principles of elements of automation, connecting those components to the microcontroller and programming the microprocessors considering the parameters of each element. In doing so, both pedagogical aspects of project-based teaching and computer-related demands of modern engineering job markets were taken into account. © 2021 ACM.

关键词： Automation

来源：评论

学校读者我要写书评

暂无评论

Frequency Measurement for Laser Stabilization Based on the Beat-sampling Method

Frequency Measurement for Laser Stabilization Based on the B...

引用

international conference on Communication Technology (ICCT)

作者： Yanbin Shui Zhongtao Shen Xuan Wang Changqing Feng Shubin Liu State Key Laboratory of Particle Detection and Electronics University of Science and Technology of China Hefei China Department of Modern Physics University of Science and Technology of China Hefei China

Frequency measurement is one of the important parts of the laser frequency stabilization system. In this paper, a novel high-precision frequency measurement technique based on the beat-sampling method is presented. The input signal is beat sampled with a 1-bit ADC to reduce the frequency, thereby improving measurement accuracy within the same measurement time. Two sampling sub-channels are designed to confirm the exact value of the input signal frequency. Besides, a prototype is implemented to verify the proposed method. The prototype is a digital control system supported by a field programmable gate array (FPGA). Compared to the traditional beat-frequency circuits, the prototype consists of simpler circuits and enables a higher grade of flexibility. The results obtained demonstrated that signals with a frequency of 100 MHz could be measured within 1s at an accuracy of mHz.

关键词： Time-frequency analysis Prototypes Measurement by laser beam Laser stability logic gates Time measurement Frequency measurement

来源：评论

学校读者我要写书评

暂无评论

Multi-Stage Product Quality Prediction Based on CNN-BiGRU-Attention

Multi-Stage Product Quality Prediction Based on CNN-BiGRU-At...

引用

IEEE international conference on Industrial Informatics (IndIN)

作者： Chen Yan Yifu Sun Xi Liu School of Systems Science and Engineering Sun Yat-sen University Guangzhou China

ISBN: (数字)9798331527471

ISBN: (纸本)9798331527488

Accurate product quality prediction can help the enterprise improve the overall emergency response capability of quality issues and reduce quality-related cost losses. In the manufacturing process of multi-stage products, the quality data exhibits some special characteristics such as high dimensionality, nonlinearity, and temporality. Traditional mechanism models and simple statistical analysis prediction models have limitations in these scenarios. This paper constructs a model including the identification of key quality features and the prediction of target quality indicators to address quality prediction for multi-stage products. First, feature selection is conducted in two stages through filtering and wrapping methods to reduce dimensionality and obtain key quality features. Then, the model combining convolutional neural network and bidirectional gated recurrent unit with attention mechanism (CNN-BiGRU-Attention), whose hyperparameters are optimized by the GOOSE algorithm, is used for prediction of product quality indicator. Finally, the model's performance is validated using real-world data collected from the manufacturing process of thin film transistor liquid crystal display (TFT-LCD) products. This study can provide some references for the product quality prediction using highdimensional industrial data.

关键词： Dimensionality reduction Manufacturing processes Filtering Predictive models logic gates Feature extraction Prediction algorithms Product design Quality assessment Thin film transistors

来源：评论

学校读者我要写书评

暂无评论

Towards Extending the Range of Bugs That Automated Program Repair Can Handle

Towards Extending the Range of Bugs That Automated Program R...

引用

IEEE international conference on Software Quality, Reliability and Security (QRS)

作者： Omar I. Al-Bataineh Leon Moonen Simula Research Laboratory Oslo Norway

Modern automated program repair (APR) is well-tuned to finding and repairing bugs that introduce observable erroneous behavior to a program. However, a significant class of bugs does not lead to such observable behavior (e.g., liveness/termination bugs, non-functional bugs, and information flow bugs). Such bugs can generally not be handled with current APR approaches, so, as a community, we need to develop complementary *** stimulate the systematic study of alternative APR approaches and hybrid APR combinations, we devise a novel bug classification system that enables methodical analysis of their bug detection power and bug repair capabilities. To demonstrate the benefits, we analyze the repair of termination bugs in sequential and concurrent programs. The study shows that integrating dynamic APR with formal analysis techniques, such as termination provers and software model checkers, reduces complexity and improves the overall reliability of these repairs.

关键词： Concurrent computing Systematics Computer bugs Software quality Maintenance engineering programming Hybrid power systems

来源：评论

学校读者我要写书评

暂无评论

A Novel Semi-supervised Anomaly Detection Method for Network Intrusion Detection

A Novel Semi-supervised Anomaly Detection Method for Network...

引用

international conference on Communication Technology (ICCT)

作者： Xinran Wang Xiaofeng Qiu School of Information and Communication Engineering Beijing University of Posts and Telecommunications Beijing China

Deep learning techniques have become an increasingly popular solution for network intrusion detection system (NIDS). Semi-supervised deep anomaly detection methods used in network intrusion detection always need a high proportion of labeled samples and do not have good robustness. To solve these problems, we propose ATSAD: a novel semi-supervised anomaly detection method which is an improvement of the state-of-the-art method Deep SAD (Deep Semi-Supervised Anomaly Detection). Our main idea is to make the model pay more attention to important features of input data. We use an attention network to make the idea come true. We define a new objective function so that the attention network and the mapping network of Deep SAD can be trained together. Our evaluations show ATSAD has the best performance and good robustness compared with other methods on the dataset CSE-CIC-IDS2018.

关键词： Deep learning Buildings Network intrusion detection Telecommunication traffic Linear programming Robustness Data models

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共214页 << < 35 36 37 38 39 40 41 42 43 44 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：