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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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,110 篇 期刊文献
2,010 篇 会议
10 册 图书

馆藏范围

4,130 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

2,994 篇 工学
- 1,765 篇 计算机科学与技术...
- 1,447 篇 软件工程
- 515 篇 信息与通信工程
- 318 篇 土木工程
- 307 篇 控制科学与工程
- 275 篇 电气工程
- 236 篇 电子科学与技术（可...
- 235 篇 材料科学与工程（可...
- 219 篇 机械工程
- 217 篇 生物工程
- 215 篇 建筑学
- 215 篇 化学工程与技术
- 151 篇 交通运输工程
- 131 篇 动力工程及工程热...
- 128 篇 安全科学与工程
- 126 篇 网络空间安全
- 122 篇 力学（可授工学、理...
- 113 篇 光学工程
- 105 篇 仪器科学与技术
- 90 篇 生物医学工程（可授...
1,442 篇 理学
- 749 篇 数学
- 405 篇 物理学
- 241 篇 生物学
- 206 篇 统计学（可授理学、...
- 173 篇 化学
- 150 篇 系统科学
- 121 篇 地球物理学
619 篇 管理学
- 410 篇 管理科学与工程(可...
- 233 篇 图书情报与档案管...
- 112 篇 工商管理
106 篇 法学
77 篇 医学
41 篇 军事学
36 篇 经济学
32 篇 农学
23 篇 教育学
13 篇 艺术学
11 篇 文学

主题

73 篇 semantics
70 篇 cryptography
67 篇 feature extracti...
65 篇 authentication
65 篇 training
60 篇 deep learning
59 篇 security
56 篇 privacy
52 篇 laboratories
48 篇 computational mo...
48 篇 information secu...
48 篇 protocols
43 篇 data mining
41 篇 machine learning
40 篇 software
40 篇 cloud computing
37 篇 optimization
37 篇 accuracy
36 篇 blockchain
33 篇 computer science

机构

226 篇 state key labora...
161 篇 school of cyber ...
152 篇 key laboratory o...
105 篇 university of ch...
92 篇 institute of inf...
90 篇 key laboratory o...
86 篇 state key labora...
78 篇 department of co...
78 篇 state key labora...
76 篇 school of softwa...
76 篇 information secu...
71 篇 school of comput...
65 篇 national key lab...
62 篇 state key labora...
56 篇 beijing key labo...
55 篇 state key labora...
55 篇 state key labora...
52 篇 tsinghua nationa...
44 篇 school of electr...
39 篇 the key laborato...

作者

79 篇 du xiuli
57 篇 junping du
38 篇 yixian yang
33 篇 xiuli du
31 篇 yingmin jia
30 篇 cao xiaochun
24 篇 wang wei
24 篇 limin sun
23 篇 zhao mi
22 篇 wang bin
21 篇 huang qingming
20 篇 yang yixian
20 篇 du xiu-li
19 篇 guo li
18 篇 du junping
18 篇 li bo
18 篇 yuehui jin
17 篇 zhang lei
17 篇 xu chengshun
17 篇 tan yang

语言

3,721 篇 英文
209 篇 中文
201 篇 其他
1 篇 德文
1 篇 法文

检索条件"机构=Beijing Key Laboratory of Software Security Engineering Technology"

共 4130 条记录，以下是3741-3750 订阅

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

详细简洁

排序：

Research on failure model of software reliability based on the least squares support vector regression machines and simulated annealing algorithm

Research on failure model of software reliability based on t...

引用

IEEE International Conference on Management of Innovation and technology, ICMIT

作者： Xiaodong Zhu Renzuo Xu XiLun Chen Bing Chao State Key Laboratory of Software Engineering Wuhan University China Beijing Information Science & Technology University Computer College China

Building a software failure model (SFM) is an important means to compute the software reliability. While there are not enough faults data, the estimation for model parameters is not accurate, which would decrease the fitting precision. In addition, the estimation for parameters of complex models is very complicated. An SFM based on the least squares support vector regression machines (LSSVRM) could decrease the fitting error, and there are no parameters to estimate in that SFM. The LSSVRM optimized by simulated annealing algorithm (SA-LSSVRM) is introduced to overcome the problem of there being free parameters in LSSVRM to be modified manually. The SFM based on SA-LSSVGM could fit the faults data better, and the precision of software reliability could be improved.

关键词： software reliability Least squares methods Simulated annealing software algorithms Parameter estimation Computational modeling Least squares approximation Debugging Computer simulation Laboratories

来源：评论

学校读者我要写书评

暂无评论

Research on systematic metrics of network survivability

Research on systematic metrics of network survivability

引用

2nd International Conference on Information Science and engineering, ICISE2010

作者： Ming, Liang Wang, Dongxia Zhang, Lufeng Wang, Chunlei Tang, Jian Zhao, Jinjing Nation Key Laboratory of Science and Technology on Information System Security Beijing Institute System Engineering Beijing 100101 China Department of Computer Science and Technology Tsinghua University Beijing 100084 China

ISBN: (纸本)9781424480968

As networks develop into large-scale systems, survivability of network systems is imperative. The systematic metrics of network survivability are used to measure or evaluate network survivability. This Paper summarizes the systematic metrics and their lack for measuring or computing network survivability while providing an easy way to reference baseline of the current state. It also provides some principles of network survivability metrics, and divides the current network survivability metrics into three types: target-based network survivability metrics, method-based network survivability metrics, and description-based network survivability metrics. At last, the trend of network survivability metrics is given: A set of quantitative, user-orientation, hierarchical and systematic survivability metrics, which can reflect full aspects and characters during the whole process of survivable networks, are required. © 2010 IEEE.

关键词： Large scale systems

来源：评论

学校读者我要写书评

暂无评论

A collaborative framework for privacy protection in online social networks

A collaborative framework for privacy protection in online s...

引用

International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom)

作者： Yan Zhu Zexing Hu Huaixi Wang Hongxin Hu Gail-Joon Ahn Key Laboratory of Network and Software Security Assurance Ministry of Education Peking University China Institute of Computer Science and Technology Peking University Beijing China School of Mathematical Sciences Peking University Beijing China Laboratory of Security Engineering for Future Computing (SEFCOM) Arizona State University Tempe AZ USA

With the wide use of online social networks (OSNs), the problem of data privacy has attracted much attention. Several approaches have been proposed to address this issue. One of privacy management approaches for OSN leverages a key management technique to enable a user to simply post encrypted contents so that only users who can satisfy the associate security policy can derive the key to access the data. However, the key management policies of existing schemes may grant access to unauthorized users and cannot efficiently determine authorized users. In this paper, we propose a collaborative framework which enforces access control for OSN through an innovative key management focused on communities. This framework introduces a community key management based on a new group-oriented convergence cryptosystem, as well as provides an efficient privacy preservation needed in a private OSN. To prove the feasibility of our approach, we also discuss a proof-of-concept implementation of our framework. Experimental results show that our construction can achieve the identified design goals for OSNs with the acceptable performance.

关键词： Cryptography Servers Kernel Data privacy Social network services Communities Collaboration

来源：评论

学校读者我要写书评

暂无评论

Modeling BPEL and BPEL4People with a Timed Interruptable pi-Calculus

Modeling BPEL and BPEL4People with a Timed Interruptable pi-...

引用

IEEE Annual International Computer software and Applications Conference (COMPSAC)

作者： Wei Jin Hanpin Wang Yongzhi Cao Zizhen Wang Xiaojuan Ban Institute of Software School of Electronics Engineering and Computer Science Peking University Beijing China Ministry of Education Key laboratory of High Confidence Software Technologies Beijing China Information Engineering School University of Science and Technology Beijing Beijing China

Business Processing Execution Language (BPEL) and BPEL for People (BPEL4People) are two web services orchestration languages for composing web services. To describe formally their semantics, we introduce the π it -calculus, a new variant of the π-calculus, in this paper. The good feature of the π it -calculus is that its execution can be interrupted and can handle timing events as well. We provide both syntax and semantics of the π it -calculus and define a strong bisimulation relation that specifies when two processes can be considered as the same. With the new calculus, we then model the activities of BPEL and BPEL4People, and give their precise semantics. Our formal framework may facilitate the reliability and consistency analysis in a BPEL or BPEL4People design process.

关键词： Timing Semantics Web services Syntactics Humans Calculus Context

来源：评论

学校读者我要写书评

暂无评论

Pairing-Based key Management Scheme for Heterogeneous Sensor Networks

Pairing-Based Key Management Scheme for Heterogeneous Sensor...

引用

International Conference on Wireless Communications, Networking and Mobile Computing (WiCom)

作者： Kuiwu Yang Kangfeng Zheng Yixian Yang Shize Guo Information Security Center State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Beijing China Institute of electronic technology Information and Engineering University Zhengzhou China

key management is challenging in wireless sensor networks (WSNs). Most existing key management schemes mainly consider using symmetric cryptosystems in homogeneous sensor network, but they often do not provide a satisfied storage performance and cause large overhead in establishing shared keys for all pairs of neighbor sensors. In this paper, we propose a key management scheme using for heterogeneous sensor networks (HSNs). Our scheme is based on pairing-based cryptography and has four types of keys according to networks security needs. The scheme reduces the communication cost and key storage spaces of nodes. In fact sensor nodes can agree shared keys without any interaction and no need to store any keys of the other nodes before deployed. Analysis and simulation indicate that the scheme is efficient, and it enables authentication, and robust against different attacks such as replay attack, masquerade attack, Sybil attack etc.

关键词： Base stations Wireless sensor networks Elliptic curve cryptography Mobile computing Elliptic curves

来源：评论

学校读者我要写书评

暂无评论

Research of an Innovative P2P-Based Botnet

Research of an Innovative P2P-Based Botnet

引用

International Conference on Machine Vision and Human-Machine Interface (MVHI)

作者： Gao Jian YiXian Yang KangFeng Zheng ZhengMing Hu Information Security Center State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Beijing China Key Laboratory of network and information attack & defence technology of MOE Beijing University of Posts and Telecommunications Beijing China National Engineering Laboratory for Disaster Backup and Recovery Beijing University of Posts and Telecommunications Beijing China

The research recently focuses on the integration of peer-to-peer frame as incremental improvements to botnet. In hybrid P2P botnet, it is important to find a mechanism to select neighbor list for every super node, in order to improve stability of communication when some super nodes lose. At the same time, it needs to select high performance and nearest node as a super node, to provide command request and file transport for other ordinary nodes. In this paper, we propose a neighbor list selecting method based on Strongly Connected Graph and analysis a super node selecting mechanism based on AHP. Evaluation shows that this mechanism can increase coverage probability of commands and decrease average connection time (ACT) between super node and ordinary node.

关键词： Peer to peer computing Laboratories Command and control systems Protocols Information security Telecommunication switching Authentication Machine vision Man machine systems Information analysis

来源：评论

学校读者我要写书评

暂无评论

A systematic gain setting method of the positive feedback anti-islanding scheme for inverter-based distributed generators

A systematic gain setting method of the positive feedback an...

引用

2010 International Conference on Power System technology: Technological Innovations Making Power Grid Smarter, POWERCON2010

作者： Wang, Xiaoyu Zhu, Shouzhen Yong, Jing Zheng, Jinghong Xu, Wilsun State Key Laboratory of Power Transmission Equipment and System Security and New Technology Chongqing University Chongqing 400044 China State Key Lab. of Power Systems Department of Electrical Engineering Tsinghua University Beijing 100084 China Department of Electrical and Computer Engineering University of Alberta Edmonton AB T6G 2V4 Canada

ISBN: (纸本)9781424459407

This paper proposes a systematic gain setting method for the positive feedback anti-islanding scheme which is designed to protect the interconnected inverter-based distributed generators (DGs) from islanding operation. Two main factors affecting the performance of the anti-islanding scheme are investigated when the positive feedback gain is tuned. One is the stability impact of the anti-islanding control on distributed generation (DG) systems and the other is the islanding detection time of the anti-islanding scheme. The small-signal model and the electromagnetic transient simulation model of an inverter-based DG system are developed to facilitate the realization of the proposed gain setting method. This method provides a practical and reliable tool for DG planning engineers. ©2010 IEEE.

关键词： Distributed power generation

来源：评论

学校读者我要写书评

暂无评论

Combinatorial Testing with Shielding Parameters

Combinatorial Testing with Shielding Parameters

引用

Asia-Pacific Conference on software engineering

作者： Baiqiang Chen Jun Yan Jian Zhang Chinese Academy of Sciences Beijing Beijing CN Technology Center of Software Engineering Institute of Software Chinese Academy and Sciences China State Key Laboratory of Computer Science Institute of Software Chinese Academy and Sciences China

Combinatorial testing is an important approach to detecting interaction errors for a system with several parameters. Existing research in this area assumes that all parameters of the system under test are always effective. However, in many realistic applications, there may exist some parameters that can disable other parameters in certain conditions. These parameters are called shielding parameters. Shielding parameters make test cases generated by the existing test model, which uses the Mixed Covering Array (MCA), fail in exposing some potential errors that should be detected. In this paper, the Mixed Covering Array with Shielding parameters (MCAS) is proposed to describe such problems. Then test cases can be generated by constructing MCAS's in three different approaches. According to the experimental results, our test model can generate satisfactory test cases for combinatorial testing with shielding parameters.

关键词： Testing IP networks software Data models Control systems Human computer interaction Rail transportation

来源：评论

学校读者我要写书评

暂无评论

Component Monitoring of OSGi-Based software

Component Monitoring of OSGi-Based Software

引用

IEEE International Conference on e-Business engineering (ICEBE)

作者： Tao Wang Xiaowei Zhou Jun Wei Wenbo Zhang Xin Zhu State Key Laboratory of Computer Science Institute of Software Chinese Academy and Sciences Beijing China Chinese Academy of Sciences Beijing China Chinese Academy of Sciences Beijing Beijing CN Technology Center of Software Engineering China

OSGi is a widely used service-oriented platform which provides support for the development and execution of component-based e-business applications. The component monitoring of OSGi-based software is important to the software reliability analysis and abnormality diagnosis. However, current approaches not only bring significant overhead, but also lack interaction behavior analysis. This paper focuses on monitoring components from resource utilization and interaction behavior perspectives. We propose an approach to trace thread execution for updating the relationship between threads and bundles, so that the CPU and memory utilization of bundles are calculated, and the service invocation graph is updated at runtime. A prototype tool is implemented and applied in an application server OnceAS based on OSGi. The experiments using TPC-W benchmark validate our approach without significant resource and performance overhead. Furthermore, simulation results show that our approach is of high accuracy for monitoring CPU utilization of bundles.

关键词： Monitoring Java Resource management Instruction sets Accuracy Servers

来源：评论

学校读者我要写书评

暂无评论

A new secret sharing scheme based on commutative encrypted function

A new secret sharing scheme based on commutative encrypted f...

引用

International Forum on Information technology and Applications

作者： He, Jun Li, Ximei Li, Lijuan Tang, Chunming Computer and Information Engineering Department HuaiHua Vocational and Technical College Huaihua Hunan 418000 China School of Computer and Communication Hunan University Changsha Hunan 410082 China School of Mathematics and Information Science Guangzhou University Guangzhou Guangdong 510006 China State Key Laboratory of Information Security Institute of Software Science CAS Beijing 100080 China

ISBN: (纸本)9780769541150

With the characteristic that the commutativity of modular exponential function makes the specific order of secret distribution process less important and on basis of the abstruseness of discrete logarithm, this paper proposed a new secret sharing scheme. In the scheme, the participants themselves select the private keys, which can avoid the distributor's fraud and reduce the distribution's burden as well as ensure the scheme's reuse. The credible participants can join in or leave the participants collection at any time without restarting the scheme procedures. © 2010 IEEE.

关键词： Exponential functions

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共413页 << < 371 372 373 374 375 376 377 378 379 380 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：