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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

4,791 篇 会议
352 册 图书
80 篇 期刊文献
1 篇 学位论文

馆藏范围

5,220 篇 电子文献
4 种 纸本馆藏

日期分布

学科分类号

3,591 篇 工学
- 3,090 篇 计算机科学与技术...
- 2,585 篇 软件工程
- 586 篇 信息与通信工程
- 435 篇 控制科学与工程
- 341 篇 电气工程
- 231 篇 机械工程
- 199 篇 电子科学与技术（可...
- 194 篇 生物工程
- 141 篇 安全科学与工程
- 137 篇 生物医学工程（可授...
- 107 篇 建筑学
- 99 篇 动力工程及工程热...
- 95 篇 土木工程
- 82 篇 材料科学与工程（可...
- 82 篇 交通运输工程
- 81 篇 仪器科学与技术
990 篇 理学
- 556 篇 数学
- 219 篇 生物学
- 172 篇 系统科学
- 169 篇 物理学
- 151 篇 统计学（可授理学、...
- 76 篇 化学
802 篇 管理学
- 569 篇 管理科学与工程(可...
- 302 篇 工商管理
- 289 篇 图书情报与档案管...
142 篇 医学
- 119 篇 临床医学
- 109 篇 基础医学(可授医学...
129 篇 教育学
- 126 篇 教育学
111 篇 经济学
- 111 篇 应用经济学
108 篇 法学
- 79 篇 社会学
41 篇 农学
11 篇 军事学
8 篇 文学
2 篇 艺术学

主题

374 篇 software enginee...
223 篇 software
173 篇 artificial intel...
154 篇 computer archite...
143 篇 information syst...
143 篇 application soft...
129 篇 computer communi...
114 篇 computer science
109 篇 hardware
109 篇 computer softwar...
107 篇 software enginee...
102 篇 real-time system...
94 篇 control systems
89 篇 computer aided s...
73 篇 software systems
72 篇 computational mo...
71 篇 software archite...
71 篇 software design
61 篇 software testing
61 篇 logics and meani...

机构

21 篇 college of compu...
10 篇 school of softwa...
9 篇 univ york dept c...
9 篇 dublin city univ...
8 篇 department of co...
8 篇 state key labora...
7 篇 school of comput...
7 篇 faculty of compu...
6 篇 school of comput...
6 篇 school of comput...
6 篇 shanghai key lab...
6 篇 college of compu...
6 篇 university of ne...
6 篇 faculty of compu...
6 篇 carleton univ de...
6 篇 univ haifa dept ...
6 篇 school of inform...
5 篇 univ chinese aca...
5 篇 hebrew universit...
5 篇 nanjing univ sta...

作者

14 篇 kupferman orna
14 篇 labiche yvan
12 篇 david lo
8 篇 mylopoulos john
8 篇 yilmaz murat
8 篇 reinhartz-berger...
8 篇 sturm arnon
8 篇 xin xia
8 篇 paige richard f.
7 篇 o'connor rory v.
7 篇 vardi moshe y.
7 篇 clarke paul m.
7 篇 biffl stefan
7 篇 briand lionel c.
7 篇 exman iaakov
6 篇 katz guy
6 篇 maoz shahar
6 篇 sulaiman shahida
6 篇 lakhmi c. jain
5 篇 bernady o. apduh...

语言

5,089 篇 英文
107 篇 其他
34 篇 中文
2 篇 德文
2 篇 俄文
1 篇 西班牙文

检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"

共 5224 条记录，以下是4931-4940 订阅

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

详细简洁

排序：

Symbolically computing most-precise abstract operations for shape analysis

Symbolically computing most-precise abstract operations for ...

引用

10th International conference on Tools and Algorithms for the Construction and Analysis of systems, TACAS 2004 Held as Part of the Joint European conferences on theory and Practice of software, ETAPS 2004

作者： Yorsh, G. Reps, T. Sagiv, M. School of Comp. Sci Tel-Aviv Univ Israel Comp. Sci. Dept Univ. of Wisconsin United States

ISBN: (纸本)354021299X

Shape analysis concerns the problem of determining "shape invariants" for programs that perform destructive updating on dynamically allocated storage. this paper presents a new algorithm that takes as input an abstract value (a 3-valued logical structure describing some set of concrete stores X) and a precondition p, and computes the mostprecise abstract value for the stores in X that satisfy p. this algorithm solves several open problems in shape analysis: (i) computing the mostprecise abstract value of a set of concrete stores specified by a logical formula;(ii) computing best transformers for atomic program statements and conditions;(iii) computing best transformers for loop-free code fragments (i.e., blocks of atomic program statements and conditions);(iv) performing interprocedural shape analysis using procedure specifications and assume-guarantee reasoning;and (v) computing the most-precise overapproximation of the meet of two abstract values. the algorithm employs a decision procedure for the logic used to express properties of data structures. A decidable logic for expressing such properties is described in [5]. the algorithm can also be used with an undecidable logic and a theorem prover;termination can be assured by using standard techniques (e.g., having the theorem prover return a safe answer if a time-out threshold is exceeded) at the cost of losing the ability to guarantee that a most-precise result is obtained. A prototype has been implemented in TVLA, using the SPASS theorem prover. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

PIXHELL Attack: Leaking Sensitive Information from Air-Gap computers via ‘Singing Pixels’

PIXHELL Attack: Leaking Sensitive Information from Air-Gap C...

引用

IEEE Annual International computer software and Applications conference (COMPSAC)

作者： Mordechai Guri Department of Software and Information Systems Engineering Air-Gap Research Lab Ben-Gurion University of the Negev Israel

ISBN: (数字)9798350376968

ISBN: (纸本)9798350376975

Air-gapped systems are disconnected from the Internet and other networks because they contain or process sensitive data. However, it is known that attackers can use computer speakers to leak data via sound to circumvent the air-gap defense. To cope with this threat, when highly sensitive data is involved, the prohibition of loudspeakers or audio hardware might be enforced. this measure is known as an ‘audio gap’. In this paper, we present PIXHELL, a new type of covert channel attack allowing hackers to leak information via noise generated by the pixels on the screen. No audio hardware or loudspeakers is required. Malware in the air-gap and audio-gap computers generates crafted pixel patterns that produce noise in the frequency range of 0 - 22 kHz. the malicious code exploits the sound generated by coils and capacitors to control the frequencies emanating from the screen. Acoustic signals can encode and transmit sensitive information. We present the adversarial attack model, cover related work, and provide technical background. We discuss bitmap generation and correlated acoustic signals and provide implementation details on the modulation and de-modulation process. We evaluated the covert channel on various screens and tested it with different types of information. We also discuss evasion and stealth using low-brightness patterns that appear like black, turned-off screens. Finally, we propose a set of countermeasures. Our test shows that with a PIXHELL attack, textual and binary data can be exfiltrated from air-gapped, audio-gapped computers at a distance of 2m via sound modulated from LCD screens.

关键词： Loudspeakers Portable computers OFDM Computational modeling Air gaps Noise Acoustics

来源：评论

学校读者我要写书评

暂无评论

Towards a Standard Framework for Blockchain Interoperability: A Position Paper 6

Towards a Standard Framework for Blockchain Interoperability...

引用

6th IEEE International conference on Blockchain and Cryptocurrency, ICBC 2024

作者： Belchior, Rafael Scuri, Sabrina Nunes, Nuno Hardjono, thomas Vasconcelos, Andre INESC-ID Lisbon Portugal Instituto Superior Técnico Universidade de Lisboa Department of Computer Science and Engineering Lisbon Portugal Politecnico di Milano Design Department Milan Italy Interactive Technologies Institute/LARsys Lisbon Portugal Massachusetts Institute of Technology Mit Connection Science & Engineering Cambridge United States

ISBN: (纸本)9798350316742

Decentralized ledger technology (DLT) is becoming ubiquitous in today's society. However, organizations need to connect their existing systems and processes to blockchains (centralized, decentralized) securely and reliably, sometimes also implying that they need to connect blockchains (decentralized, decentralized). this challenge is known as blockchain interoperability. We put the case forward that academia and industry must propose evaluation frameworks for blockchain interoperability solutions that address the three interoperability modes. those are data transfers, asset transfers, and asset exchanges. In this position paper, we illustrate the remaining challenges of interoperability, focusing on the systematic evaluation of interoperability mechanisms based on the state of the art and our own experience. Our evaluation is a systematic online survey of 17 items targeting blockchain specialists. Our quantitative analysis shows that several interesting metrics can show promising directions for systematically evaluating integration solutions. © 2024 IEEE.

关键词： Blockchain

来源：评论

学校读者我要写书评

暂无评论

Aggregation points planning for software-defined network based smart grid communications

Aggregation points planning for software-defined network bas...

引用

IEEE Annual Joint conference: INFOCOM, IEEE computer and Communications Societies

作者： Shaowei Wang Xinxin Huang School of Electronic Science and Engineering Nanjing University Nanjing China

ISBN: (纸本)9781467399548

Smart grid is characterized by a large number of smart meters (SMs) that exchange huge amounts of data with control center, where an effective communication network is required to guarantee reliable data transmission. In this paper, we introduce software defined network (SDN) technology to the smart grid, which decouples the control plane from the data plane so as to satisfy the communication requirements in the mart grid effectively. Aggregation points (APs) are employed in the data plane to process and forward data between SMs and control center. A general mathematical model is formulated to plan the APs, where we try to minimize the total deployment cost, including the opening expenditure of the APs, the connection cost between SMs and APs, and the connection cost between APs and control center. We present a 5-approximation algorithm to address the generated NP-hard problem, which yields performance-guaranteed solutions. three representative scenarios are investigated to verity the efficiency of our proposal. Numerical results show that our proposed algorithm has great advantages over other heuristic ones.

关键词： Smart grids Planning Relays Communication systems Optimization Approximation algorithms Attenuation

来源：评论

学校读者我要写书评

暂无评论

Comparison of classifier methods: a case study in handwritten digit recognition

Comparison of classifier methods: a case study in handwritte...

引用

International conference on Pattern Recognition

作者： L. Bottou C. Cortes J.S. Denker H. Drucker I. Guyon L.D. Jackel Y. LeCun U.A. Muller E. Sackinger P. Simard V. Vapnik Heuristique Paris France AT and T Bell Laboratories Inc. Holmdel NJ USA Electronics Laboratory Swiss Federal Institute of Technology Zurich Switzerland

this paper compares the performance of several classifier algorithms on a standard database of handwritten digits. We consider not only raw accuracy, but also training time, recognition time, and memory requirements. When available, we report measurements of the fraction of patterns that must be rejected so that the remaining patterns have misclassification rates less than a given threshold.

关键词： computer aided software engineering Handwriting recognition Testing NIST Databases Training data Time measurement Machine learning Laboratories Pattern recognition

来源：评论

学校读者我要写书评

暂无评论

FaultFuzz: A Coverage Guided Fault Injection Tool for Distributed systems

FaultFuzz: A Coverage Guided Fault Injection Tool for Distri...

引用

International conference on software engineering - Companion, ICSE, Companion

作者： Wenhan Feng Qiugen Pei Yu Gao Dong Wang Wensheng Dou Jun Wei Zheheng Liang Zhenyue Long State Key Lab of Computer Science at ISCAS University of CAS Beijing China Joint Laboratory on Cyberspace Security China Southern Power Grid GuangDong Power Grid China Nanjing Institute of Software Technology University of CAS Nanjing China

ISBN: (数字)9798400705021

ISBN: (纸本)9798350351781

Distributed systems are expected to correctly recover from various faults, e.g., node crash / reboot and network disconnection / reconnection. However, faults that occur under special timing can trigger fault recovery bugs that are rooted in incorrect fault recovery protocols and implementations. Existing random and brute-force fault injection approaches are not effective in revealing fault recovery bugs due to the combinatorial explosion of multiple faults in distributed systems. In this paper, we propose FaultFuzz, a coverage guided fault in-jection approach that can systematically and effectively test fault recovery behaviors in distributed systems. Based on runtime feed-backs collected from distributed system testing, e.g., code coverage and I/O information, FaultFuzz generates possible combinations of faults, and preferentially selects the combinations that are more likely to trigger new fault recovery behaviors and reveal new fault recovery bugs. We have applied FaultFuzz on three widely-used distributed systems, i.e., Zookeeper, HDFS and HBase and found 5 bugs in them. A video demonstration of FaultFuzz is available at https://***/SMw1ZF1vyXw.

关键词： System testing Runtime Protocols Codes computer bugs Explosions Timing

来源：评论

学校读者我要写书评

暂无评论

Detecting Isolation Bugs via Transaction Oracle Construction

Detecting Isolation Bugs via Transaction Oracle Construction

引用

International conference on software engineering (ICSE)

作者： Wensheng Dou Ziyu Cui Qianwang Dai Jiansen Song Dong Wang Yu Gao Wei Wang Jun Wei Lei Chen Hanmo Wang Hua Zhong Tao Huang State Key Lab of Computer Science Institute of Software Chinese Academy of Sciences University of Chinese Academy of Sciences University of Chinese Academy of Sciences Nanjing College Nanjing Institute of Software Technology Inspur Software Group Co. Ltd.

Transactions are used to maintain the data integrity of databases, and have become an indispensable feature in modern Database Management systems (DBMSs). Despite extensive efforts in testing DBMSs and verifying transaction processing mechanisms, isolation bugs still exist in widely-used DBMSs when these DBMSs violate their claimed transaction isolation levels. Isolation bugs can cause severe consequences, e.g., incorrect query results and database states. In this paper, we propose a novel transaction testing approach, Transaction oracle construction (Troc), to automatically detect isolation bugs in DBMSs. the core idea of Troc is to decouple a transaction into independent statements, and execute them on their own database views, which are constructed under the guidance of the claimed transaction isolation level. Any divergence between the actual transaction execution and the independent statement execution indicates an isolation bug. We implement and evaluate Troc on three widely-used DBMSs, i.e., MySQL, MariaDB, and TiDB. We have detected 5 previously-unknown isolation bugs in the latest versions of these DBMSs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Parallel processing and scheduling techniques applied to the quality control of bill sheets

Parallel processing and scheduling techniques applied to the...

引用

International conference on Pattern Recognition

作者： J.M. Sebastian F. Torres Q. Reinoso J.L. Bello E. Barroso Department Automática Electrónica e Informática Industrial U.P.M. Spain Fábrica Nacional de Moneda y Timbre

Automatic quality control examination of banknotes constitutes an important research challenge for the main printing organizations in the world. It is worth to note that presently there is no commercial product with an acceptable performance, in spite of the efforts spent during last ten years. the product complexity lies in the combination of several printings with the purpose of achieving hard to counterfeit banknotes. the printing system that is necessary for banknotes manufacturing, causes significant differences between several printed sheets in similar conditions. However, in spite of these differences, while respecting certain tolerances, the banknotes are accepted. the required quality of the product demands an exhaustive inspection of the bill sheets. Nowadays the quality control is carried out by manual turn over of the bill sheet, reaching a speed of 400 sheets/hour. It has been developed a system that works out an automatic inspection at a rate of 3600 sheets/hour.

关键词： Parallel processing Quality control Inspection Cameras Control systems Lighting Printing Hardware Image processing software algorithms

来源：评论

学校读者我要写书评

暂无评论

New Topology Management Scheme in LTE and 5G Networks

New Topology Management Scheme in LTE and 5G Networks

引用

IEEE Vehicular Technology conference

作者： Ricardo Marco Alaez Enrique Chirivella-Perez Jose M. Alcaraz Calero Qi Wang School of Engineering and Computing University of the West of Scotland Glasgow United Kingdom

With the paradigm shift from the current 4G to the forthcoming 5G networks, novel network topology management interfaces become essential mainly due to the associated complexity introduced by the new softwarisation and virtualisation architecture. Moreover, the expected increasing number of users will require a very efficient management of the network resources. this paper proposes a new topology management scheme to report real-time topological information about the mobile users in a softwarised and virtualised 5G network. the proposed API has been designed and prototyped using software Defined Radio (SDR) and the proven open source software OpenAirInterface and validated using commercial off-the-shelf user equipment.

关键词： Topology Network topology 5G mobile communication Long Term Evolution Real-time systems computer architecture Handover

来源：评论

学校读者我要写书评

暂无评论

Multi-channel Avionics Module Fault Classification Based on Inception-CBAM Network

Multi-channel Avionics Module Fault Classification Based on ...

引用

Electronic Communication and Artificial Intelligence (IWECAI), International Workshop on

作者： Lubin Yu YiXi Peng Xingjian Han Shuqi Liang Peiliang Yang Junbin Liu Shilie He China Electronic Product Reliability and Environmental Testing Research Institute Guangzhou China School of Software Engineering Sun Yat-Sen University Zhuhai China School of Computer Science and Technology Shandong University of Technology Zibo China

ISBN: (数字)9798350386943

ISBN: (纸本)9798350386950

In today's highly integrated and automated aviation field, the stable operation of avionics systems is the foundation for maintaining flight safety and efficient operations. Because of the shortcomings in research on fault classification of avionics modules, this study proposes an Inception-CBAM network model, aiming to improve the accuracy and efficiency of fault diagnosis. this model combines the powerful multi-scale feature extraction capability of the Inception network with the attention mechanism of the CBAM module, which greatly enhances the ability to identify complex fault patterns. Experimental verification shows that the model can effectively classify various faults, enhance the scientificity and systematicness of diagnosis, and contribute important technical support to the formulation of aviation safety maintenance and fault prevention strategies.

关键词： Fault diagnosis Systematics Attention mechanisms Prevention and mitigation Aerospace electronics Feature extraction Data models

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 490 491 492 493 494 495 496 497 498 499 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：