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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

609 篇 会议
222 篇 期刊文献
3 册 图书

馆藏范围

834 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

637 篇 工学
- 537 篇 计算机科学与技术...
- 447 篇 软件工程
- 123 篇 信息与通信工程
- 91 篇 控制科学与工程
- 44 篇 电子科学与技术（可...
- 43 篇 电气工程
- 41 篇 生物工程
- 36 篇 机械工程
- 28 篇 动力工程及工程热...
- 26 篇 光学工程
- 23 篇 化学工程与技术
- 21 篇 材料科学与工程（可...
- 21 篇 建筑学
- 19 篇 安全科学与工程
- 18 篇 仪器科学与技术
- 18 篇 交通运输工程
- 17 篇 土木工程
- 16 篇 生物医学工程（可授...
- 9 篇 航空宇航科学与技...
358 篇 理学
- 260 篇 数学
- 59 篇 物理学
- 56 篇 统计学（可授理学、...
- 52 篇 系统科学
- 43 篇 生物学
- 27 篇 化学
213 篇 管理学
- 120 篇 管理科学与工程(可...
- 109 篇 图书情报与档案管...
- 57 篇 工商管理
25 篇 法学
- 19 篇 社会学
16 篇 经济学
- 16 篇 应用经济学
8 篇 医学
6 篇 教育学
6 篇 农学
4 篇 艺术学
1 篇 文学
1 篇 军事学

主题

22 篇 semantics
13 篇 computational mo...
13 篇 web services
12 篇 data mining
10 篇 computer science
10 篇 optimization
10 篇 forecasting
9 篇 clustering algor...
8 篇 conferences
8 篇 computer archite...
8 篇 neural networks
8 篇 analytical model...
7 篇 ordinary differe...
7 篇 software quality
7 篇 feature extracti...
7 篇 software
7 篇 cloud computing
7 篇 measurement
7 篇 privacy
7 篇 training

机构

89 篇 state key lab. f...
56 篇 state key lab. o...
28 篇 state key lab. o...
28 篇 university of ch...
26 篇 state key lab. o...
22 篇 state key lab. o...
22 篇 computer school ...
14 篇 tianjin key lab....
14 篇 state key lab. f...
13 篇 department of co...
13 篇 school of comput...
12 篇 beijing key lab....
12 篇 state key lab. o...
11 篇 key laboratory o...
10 篇 department of co...
10 篇 state key labora...
10 篇 school of comput...
10 篇 hunan provincial...
10 篇 school of comput...
10 篇 nanjing universi...

作者

23 篇 zhan naijun
20 篇 xue bai
15 篇 liu jin
12 篇 guosheng kang
11 篇 du junping
11 篇 chen ling
10 篇 liu wei
10 篇 wang hongan
10 篇 liu jianxun
9 篇 kang guosheng
9 篇 zhan bohua
8 篇 he keqing
8 篇 bai xue
8 篇 wu enhua
8 篇 sanglu lu
8 篇 he yanxiang
8 篇 dai guozhong
8 篇 jianxun liu
7 篇 zhang degan
7 篇 zhang xiaolong

语言

793 篇 英文
31 篇 中文
10 篇 其他

检索条件"机构=Key Lab. of System Software and State Key Lab. of Computer Science"

共 834 条记录，以下是121-130 订阅

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

详细简洁

排序：

Detecting Metadata-Related Logic Bugs in Database systems via Raw Database Construction 50th

Detecting Metadata-Related Logic Bugs in Database Systems vi...

引用

50th International Conference on Very Large Data Bases, VLDB 2024

作者： Song, Jiansen Dou, Wensheng Gao, Yu Cui, Ziyu Zheng, Yingying Wang, Dong Wang, Wei Wei, Jun Huang, Tao Key Lab of System Software at CAS State Key Lab of Computer Science at Institute of Software at CAS University of CAS Beijing China Nanjing Institute of Software Technology University of CAS Nanjing China Institute of Software at CAS China

Database Management systems (DBMSs) are widely used to efficiently store and retrieve data. DBMSs usually support various metadata, e.g., integrity constraints for ensuring data integrity and indexes for locating data. DBMSs can further utilize these metadata to optimize query evaluation. However, incorrect metadata-related optimizations can introduce metadata-related logic bugs, which can cause a DBMS to return an incorrect query result for a given query. In this paper, we propose a general and effective testing approach, Raw database construction (Radar), to detect metadata-related logic bugs in DBMSs. Given a database db containing some metadata, Radar first constructs a raw database rawDb, which wipes out the metadata in db and contains the same data as db. Since db and rawDb have the same data, they should return the same query result for a given query. Any inconsistency in their returned query results indicates a metadata-related logic bug. To effectively detect metadata-related logic bugs, we further propose a metadata-oriented testing optimization strategy to focus on testing previously unseen metadata, thus detecting more metadata-related logic bugs quickly. We implement and evaluate Radar on five widely-used DBMSs, and have detected 42 bugs, of which 38 have been confirmed as new bugs and 16 have been fixed by DBMS developers. © 2024, VLDB Endowment. All rights reserved.

关键词： Metadata

来源：评论

学校读者我要写书评

暂无评论

Research on unified network access control architecture

Research on unified network access control architecture

引用

IEEE 9th International Conference on computer and Information Technology, CIT 2009

作者： Liu, Yabin Zhang, Huanguo Zhang, Liqiang Zhao, Bo Computer School Wuhan University Wuhan Hubei China Key Lab. of Aerospace Information Security and Trusted Computing MOE Wuhan Hubei China State Key Lab. of Software Engineering Wuhan University Wuhan Hubei China

ISBN: (纸本)9780769538365

Border access control, network security mechanism and system access control are three separately access control procedures when user accessing the resource on network. Network access control mechanism, which adding the authentication of endpoint's platform besides the classical identity-based border access control, enhances the level of protection for network resources to some extent. In the existing network access control mechanisms, TNC has been trying to integrate the network access control mechanism and network security mechanism to add dynamic characteristics, but still can not cover the whole resource access control process. Once a user passes the authentication, he can still make damage to the system. This paper proposes a Unified Network Access Control (UNAC) architecture which effectively integrates the network access control, network security mechanism and system access control through the trust degree, and it can achieve dynamically user control during the resource accessing period. © 2009 IEEE.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

Emotional music generation using interactive genetic algorithm

Emotional music generation using interactive genetic algorit...

引用

International Conference on computer science and software Engineering, CSSE 2008

作者： Zhu, Hua Wang, Shangfei Wang, Zhen Key Lab. of Computing and Communicating Software of Anhui Province Department of Computer Science University of Science and Technology of China Hefei Anhui 230027 China

ISBN: (纸本)9780769533360

This paper proposes an approach to generate emotional music using Interactive Genetic Algorithm. Performance rules are described by the KTH rule system. Different emotional expressions can be modeled by using selections of rules and rule weights. Interactive Genetic Algorithm is applied to optimize rule weights based on users' subjective evaluation. Users can get their satisfied emotional music with the help of GA, although they have no profound knowledge for composition. Two kinds of emotional music with the states of happy and sad are obtained finally. The Sheffé's method of paired comparisons is carried out to estimate the effectiveness of generated music. In the confidence interval of 99%, the music generated by the proposed approach are more approbatory than that generated by the expert, both for the emotion of happy and sad. © 2008 IEEE.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Modeling and control of networked control systems with random delays

Modeling and control of networked control systems with rando...

引用

8th International Workshop on Hybrid systems: Computation and Control, HSCC 2005

作者： Wang, Yan Sun, Zeng Qi Sun, Fu Chun State Key Lab. of Intelligent Technology and Systems Department of Computer Science Tsinghua University Beijing 100084 China

This paper discusses the problems of control design and stability analysis of the networked control systems(NCSs) with random delays. The network-induced delays of the NCS are considered as interval variables governed by a Markov chain. Using the upper and lower bounds of the delays, a discrete-time Markovian jump system with norm-bounded uncertainties is presented to model the NCS. Based on this model, a state feedback controller can be constructed via a set of linear matrix inequalities. Simulations are given to illustrate the proposed results. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Discrete time control systems

来源：评论

学校读者我要写书评

暂无评论

A real-time attitude recognition by eye-tracking 11

A real-time attitude recognition by eye-tracking

引用

3rd International Conference on Internet Multimedia Computing and Service, ICIMCS 2011

作者： Lv, Yanpeng Wang, Shangfei Shen, Peijia Key Lab. of Computing and Communicating Software of Anhui Province School of Computer Science and Technology University of Science and Technology of China Hefei Anhui China

ISBN: (纸本)9781450309189

Attitude, which is the outward manifestation of human psychology information, is inevitable in everyday situation. Attitude recognition by artificial intelligence has become a hotspot and produced promising results in recent years. In this paper, we propose an attitude recognition method based on eye-tracking. We first improve the eye location algorithm in OpenCV and assume that the trajectory of eyes-center is the same with that of head. Then using eye location method, the center of eyes is calculated. By analysis of displacement of eyes' centers in each two successive frames, sub-result is obtained. The final result is determined by voting algorithm. Experimental results indicate that this method could recognize positive and negative attitudes in real time. We applied our method to "KeJia", an intelligent service robot and it worked well. © 2011 ACM.

关键词： Eye tracking

来源：评论

学校读者我要写书评

暂无评论

FedCrowd: Towards Promoting the Concurrency of the Server in Asynchronous Federated Learning 2

FedCrowd: Towards Promoting the Concurrency of the Server in...

引用

2nd International Symposium on Electrical, Electronics and Information Engineering, ISEEIE 2022

作者： Xi, Wen Liao, Yuying Zhou, Bin Wang, Haiyang Gao, Liqun College of Computer Science and Technology National University of Defence Technology Changsha China National University of Defence Technology Key Lab. of Software Engineering for Complex System Changsha China

ISBN: (数字)9781665468749

ISBN: (纸本)9781665468749

Federated learning is a privacy-preserving machine learning paradigm where a global model is trained collab.ratively across resource-limited devices such as mobile phones, wearable devices, and sensors while the training data remains on these devices. Recently proposed asynchronous federated learning framework FedAsync has addressed the problems occurred in synchronous federated learning such as wasting time waiting for all nodes to finish uploading or losing parts of the contribution of nodes due to some unexpected reasons. However, on the server-side, it is not suitable for concurrency due to the data race on the global model. We proposed a method named FedCrowd, where the server's concurrency is improved by elab.rately coordinating the working threads to relieve the data race on the global model. Several experiments are performed to show that our method could effectively increase concurrency of the server and reduce the training time. © 2022 IEEE.

关键词： Concurrent computing Training Wearable computers Training data Machine learning Collab.rative work Data models

来源：评论

学校读者我要写书评

暂无评论

Tumor gene expressive data classification based on locally linear representation Fisher criterion

Tumor gene expressive data classification based on locally l...

引用

9th International Conference on Intelligent Computing, ICIC 2013

作者： Li, Bo Tian, Bei-Bei Liu, Jin School of Computer Science and Technology Wuhan University of Science and Technology 430081 Wuhan China Hubei Province Key Laboratory of Intelligent Information Processing and Real-time Industrial System Wuhan China State Key Lab. of Software Engineering Wuhan China

ISBN: (纸本)9783642394812

In this paper, a discriminant manifold learning method based on Locally Linear Embedding (LLE), which is named Locally Linear Representation Fisher Criterion (LLRFC), is proposed for the classification of tumor gene expressive data. In the proposed LLRFC, an inter-class graph and intra-class graph is constructed based on the class information of tumor gene expressive data, where the weights between nodes in both graph are optimized using locally linear representation trick. Moreover, a Fisher criterion is modeled to maximize the inter-class scatter and minimize the intra-class scatter simultaneously. Experiments on some benchmark tumor gene expressive data validate its efficiency. © 2013 Springer-Verlag.

关键词： Genes

来源：评论

学校读者我要写书评

暂无评论

Competition and cooperation in mainstream software evolution

Competition and cooperation in mainstream software evolution

引用

1st IEEE International Workshop on Semantic Computing and systems, WSCS 2008

作者： Chen, Guisheng Liu, Jin Wang, Junfeng Li, Bing Li, Xuhui Institute of Electronic System and Engineering of China 100039 China State Key Lab. of Software Engineering Wuhan University 430072 China School of Computer Sichuan University 430072 China

ISBN: (纸本)9780769533162

software features can be the perception of the influence of the human factors on software artifacts. This paper tends to investigate mainstream software evolution and perceive primary criterions of competition and cooperation. It proposes and examines three hypotheses. The active Resource Space ARS is proposed to manage software features and enhance the success potential of emerging software. Our work makes possible embodying value-added semantic service for software design to meet the merging interconnection environment. © 2008 IEEE.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Multi-events analysis for anomaly intrusion detection

Multi-events analysis for anomaly intrusion detection

引用

Proceedings of 2004 International Conference on Machine Learning and Cybernetics

作者： Yin, Jian Zhang, Gang Chen, Yi-Qun Fan, Xian-Li. Department of Computer Science Zhongshan University Guangzhou 510275 China State Key Lab. Novel Software T. Nanjing University Nanjing 210093 China

ISBN: (纸本)0780384032

Probabilistic methods are widely used in intrusion detection especially in computer audit data analysis. There are many famous probabilistic algorithm such as Decision Tree, Hotelling's T2, Chi-Square, first-order and high-order Markov model. These algorithms focus on some data features to mark anomaly state. New features are introduced into these algorithms and proper combination of these features will provide excellent result. But these algorithms are used single metric generated by multi-events so as to detect intrusion by comparison with a certain threshold. Experiment shows that using per event-based metric can improve accuracy of intrusion detection but not improve complexity of algorithm. In our paper we will provide a metric vector based on algorithm to detection intrusion that is more accurate and effective than traditional ones. Also, we will provide some intrusion detection methods to our algorithm.

关键词： Data reduction

来源：评论

学校读者我要写书评

暂无评论

A graph transformation based approach for modeling component-level migration in mobile environments

A graph transformation based approach for modeling component...

引用

36th Annual IEEE International computer software and Applications Conference Workshops, COMPSACW 2012

作者： Zhou, Yu Yan, Xuefeng Huang, Zhiqiu College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing China State Key Lab. for Novel Software Technology Nanjing University Nanjing China

ISBN: (纸本)9780769547589

Component-level application migration is a lightweight solution to provide continuous services in mobile and pervasive environments. Current practices mainly leverage UMLlike notations to model the architecture and the deployment configurations. Despite their popularity, the lack of rigorous semantics hampers the following validation process. In this paper, we present a graph transformation based approach to specifying the static and dynamic aspects of component migration. The graphical formalism provides a precise operational semantics and thus the consistency between the configuration constraints and migration strategies can be checked formally. The approach is exemplified by a scenario taken from mobile computing context. © 2012 IEEE.

关键词： Mobile computing

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共84页 << < 9 10 11 12 13 14 15 16 17 18 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：