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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

37 篇 会议
11 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

29 篇 工学
- 18 篇 计算机科学与技术...
- 13 篇 软件工程
- 5 篇 信息与通信工程
- 5 篇 控制科学与工程
- 4 篇 环境科学与工程（可...
- 3 篇 动力工程及工程热...
- 3 篇 生物医学工程（可授...
- 3 篇 生物工程
- 2 篇 机械工程
- 2 篇 光学工程
- 2 篇 电气工程
- 2 篇 化学工程与技术
- 1 篇 材料科学与工程（可...
- 1 篇 电子科学与技术（可...
- 1 篇 土木工程
- 1 篇 石油与天然气工程
- 1 篇 交通运输工程
- 1 篇 航空宇航科学与技...
18 篇 理学
- 11 篇 数学
- 4 篇 系统科学
- 4 篇 统计学（可授理学、...
- 3 篇 物理学
- 3 篇 生物学
- 2 篇 化学
8 篇 管理学
- 7 篇 管理科学与工程(可...
- 4 篇 工商管理
4 篇 经济学
- 4 篇 应用经济学
2 篇 医学
- 2 篇 基础医学(可授医学...
- 2 篇 临床医学
1 篇 教育学
- 1 篇 教育学

主题

3 篇 educational inst...
2 篇 computer science
2 篇 memetic algorith...
2 篇 deep learning
2 篇 genetic mutation...
2 篇 neural networks
2 篇 evolutionary mul...
2 篇 algorithm design...
2 篇 local search
2 篇 moea/d
2 篇 remote laborator...
2 篇 uncertainty
2 篇 hardware
1 篇 online resources
1 篇 wavelet transfor...
1 篇 digital images
1 篇 rational point
1 篇 differential sys...
1 篇 conferences
1 篇 vehicle dynamics

机构

3 篇 school of mathma...
3 篇 school of inform...
3 篇 yunnan collegiat...
3 篇 school of mathma...
3 篇 school of comput...
2 篇 school of engine...
2 篇 fundamental teac...
2 篇 school of inform...
2 篇 provincial big d...
2 篇 fujian provincia...
1 篇 cifar on
1 篇 mark and mary st...
1 篇 institute for in...
1 篇 school of mathma...
1 篇 waisman center d...
1 篇 nipissing univer...
1 篇 nonlinear analys...
1 篇 school of comput...
1 篇 school of mathem...
1 篇 school of manage...

作者

2 篇 yang bin
2 篇 marco h. terra
2 篇 wang wu
2 篇 zheng rong yang
2 篇 yang yihuai
2 篇 zhao wu
2 篇 xiaodong wu
2 篇 wu xiaodong
2 篇 lei yuan
2 篇 carlos m. masser...
2 篇 shen shikai
2 篇 denis f. wolf
2 篇 chen yinsong
2 篇 gao yangshui
2 篇 lim chee peng
2 篇 song wen
2 篇 li zhong
2 篇 she yumei
2 篇 yu samson s.
1 篇 yu zhihang

语言

48 篇 英文

检索条件"机构=School of Mathmatics and Computer Science"

共 48 条记录，以下是11-20 订阅

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

详细简洁

排序：

A Biba Access Control Model based Trsuted Computing

A Biba Access Control Model based Trsuted Computing

引用

2011 4th IEEE International Conference on computer science and Information Technology(ICCSIT 2011)

作者： Song Wen Zhao Wu Lei Yuan Bo Hang School of Mathmatics and Computer Science Xiangfan University

ISBN: (纸本)9781612848334

The integrity of information security and Biba model were studied. The low-water mark policy of Biba model and an implementation LOMAC are analyzed. Based trusted computing idea and integrity measurement of trusted computing platform, a new implement of Biba model, named low-water mark policy for trusted subject, is proposed. The scheme is an improvement of the low-water mark policy can ensure the security of the system without reducing the premise, which would help to improve the system flexibility and extend the system lifetime.

关键词： Biba model Trusted Computing integrity measurement

来源：评论

学校读者我要写书评

暂无评论

System modification case studies

System modification case studies

引用

31st Annual International computer Software and Applications Conference, COMPSAC 2007

作者： Ding, Yulin Zhang, Yan School of Computer Science University of Adelaide Adelaide SA 5005 Australia School of Computing and Mathmatics University of Western Sydney Penrith South DC NSW 1797 Australia

ISBN: (纸本)9780769528700

Computation Tree Logic (CTL) model update is an approach for software verification and modification, where the minimal change principle is employed to generate admissible models that represent the corrected software design. In this paper, we apply CTL model update to models based on the well known Andrew File System protocols. We demonstrate the process of model update based on our previous theoretical results, and present a prototype implementation. Our case studies show that our model update system is sound and workable, which can be applied to different complex systems. © 2007 IEEE.

关键词： Data structures

来源：评论

学校读者我要写书评

暂无评论

Extraction of the rice leaf disease image based on BP neural network

Extraction of the rice leaf disease image based on BP neural...

引用

2009 International Conference on Computational Intelligence and Software Engineering, CiSE 2009

作者： Liu, Libo Zhou, Guomin Institute of Agricultural Information Chinese Academy of Agriculture Sciences Beijing China School of Mathmatics and Computer Science Ningxia University Yinchuan Ningxia China

ISBN: (纸本)9781424445073

Rice leaf diseases have occurred all over the world,including *** have had a significant impact on rice quality and ***,the control method rely mainly on artificial *** this study,BP neural network classifiers were designed for classifying the healthy and diseased parts of rice *** paper select rice brown spot as study object,the training and testing samples of the images are gathered from the northern part of Ningxia Hui Autonomous *** result shows that the scheme is feasible to identify rice brown spot using image analysis and BP neural network classifier. ©2009 IEEE.

关键词： Neural networks

来源：评论

学校读者我要写书评

暂无评论

A decomposition based memetic multi-objective algorithm for continuous multi-objective optimization problem 27

A decomposition based memetic multi-objective algorithm for ...

引用

27th Chinese Control and Decision Conference, CCDC 2015

作者： Wang, Na Wang, Hongfeng Fu, Yaping Wang, Dingwei Fundamental Teaching Department of Computer and Mathmatics Shenyang Normal University Shenyang China School of Information Science and Engineering Northeastern University Shenyang China

ISBN: (纸本)9781479970179

Multi-objective evolution algorithm based on decomposition (MOEA/D) had been successfully applied into many multi-objective optimization problems, which had gained a lot of attention from the community of evolutionary algorithm(EA) in the past few years. In MOEA/D, a multi-objective optimization problem would be converted into a set of scalar single-objective subproblems and then utilize EA to address these subproblems simultaneously. In order to further improve its performance, a local search operator, which is designed via the diverse information of neighboring individuals in the search space, and a resource allocation strategy, which is used to balance the trade-off between genetic operator and local search operator, are both introduced into the framework of MOEA/D. A set of experiments are carried out to investigate the strength and weakness of our proposed algorithm on a series of benchmark test problems in comparison with the original MOEA/D. © 2015 IEEE.

关键词： Evolutionary multi-objective optimization Local search MOEA/D Memetic algorithm evolutionary algorithm Resource utilization decomposition Genetic Operator Policies and plans Benchmark testing Hypodynamia

来源：评论

学校读者我要写书评

暂无评论

Error analysis on floating-point arithmetic in C programming language library functions

Error analysis on floating-point arithmetic in C programming...

引用

4th International Conference on Emerging Intelligent Data and Web Technologies, EIDWT 2013

作者： Tang, Min Zeng, Xia Song, Kai Liu, Jian Software Engineering Institute East China Normal University Shanghai China School of Mathmatics and Computer Science Guilin University of Electronic Technology Guilin China

ISBN: (纸本)9780769550442

Verification and interval arithmetic are the fundamental methods that we deal with in error analysis. Verification strategy is used in most error analysis on solution sets of linear and nonlinear systems. On the other hand, interval arithmetic seems to be the best method for analyzing errors in floating point arithmetic by now. This paper devotes to analyze errors of floating-point arithmetic in C programming language library functions based on interval arithmetic. The authors gives algorithm descriptions of trigonometric, radical and exponential functions as well as algorithm analysis, and gives an upper bound of theoretical errors by comparing floating-point arithmetic's result with that of interval arithmetic. © 2013 IEEE.

关键词： Digital arithmetic

来源：评论

学校读者我要写书评

暂无评论

Digital Image Processing Using Noise Removal Technique: A Non-Linear Approach

Digital Image Processing Using Noise Removal Technique: A No...

引用

computer science and Data Engineering (CSDE), IEEE Asia-Pacific Conference on

作者： Rishal Ravikesh Chand Mohammed Farik Neeraj Anand Sharma Department of Computer Science and Mathmatics School of Science and Technology The University of Fiji

An undesirable by-product of a captured image is Image Noise - random distribution of brightness and color misinformation. Denoising is one of the common components which is present in digital image processing techniques, Image processing has become an integral part of today's era amongst rapidly growing technologies. The process of manipulating images by using various algorithms exploring techniques to pre-process an image, improving its pictorial information for human interpretation. This research paper explores different types of image noise that can be present in a digital image and degradation by photo electronic noise, impulse (salt & pepper) noise and gaussian noise, thus reviews on linear approaches to denoise the image using 2D convolution filters and median non-linear filters.

关键词： Degradation Maximum likelihood detection Image color analysis Convolution Digital images Noise reduction Nonlinear filters

来源：评论

学校读者我要写书评

暂无评论

Improved Prediction of HIV-1 Protease Genotypic Resistance Testing Assays using a Consensus Technique

Improved Prediction of HIV-1 Protease Genotypic Resistance T...

引用

International Joint Conference on Neural Networks (IJCNN)

作者： A.C. Thomas Zheng Rong Yang School of Engineering Computer Science and Mathmatics University of Exeter Exeter UK

Mutations in HIV-1 drug targets can cause reduced affinity to antiretroviral inhibitors, leading to the emergence of resistant variants resulting in failure of treatment in infected individuals. Resistance testing is an important factor in the continued success of viral therapy. We found that through combining a structural based computational docking method and a classic machine learning technique we could create a consensus system capable of improving the prediction accuracy by 5.56% over either method used individually. The result was the creation of a genotypic resistance testing approach capable of classifying a wider cross-section of strains, hence making it a more accurate resistance testing method.

关键词： Testing Immune system Drugs Medical treatment Capacitive sensors Genetic mutations Human immunodeficiency virus Biochemistry Frequency Neural networks

来源：评论

学校读者我要写书评

暂无评论

Joint Covert and Secure Communications for Intelligent Reflecting Surface (IRS)-Aided Wireless Networks

Joint Covert and Secure Communications for Intelligent Refle...

引用

2023 International Conference on Networking and Network Applications, NaNA 2023

作者： Yang, Yihuai Shen, Shikai She, Yumei Wang, Wu Yang, Bin Gao, Yangshui School of Information and Technology Kunming University Kunming650214 China Yunnan Collegiate Key Laboratory for Data Governance and Intelligent Decision Kunming650214 China School of Mathmatics and Computer Science Yunnan Minzu University Kunming650500 China School of Computer and Information Engineering Chuzhou University Chuzhou239000 China

ISBN: (纸本)9798350327380

This work investigates joint covert and secure communications via intelligent reflecting surface (IRS) in a non-line-of-sight (NLOS) wireless network in the presence of an eavesdropper and a warden. We consider a coordinator of Ben communicates with two users, where one user requires secure communication and the other seeks covert communication. An optimization problem is proposed to maximize the covert rate subject to the constraints of covert requirement, secure communication rate, amplitudes and phase shifts of reflecting elements, and transmit powers of secure and covert communications. We use the successive convex approximation(SCA) method to solve this problem. The numerical results illustrate the effectiveness of utilizing an IRS and highlight the impact of the number of reflecting elements on enhancing communication quality. © 2023 IEEE.

关键词： Secure communication

来源：评论

学校读者我要写书评

暂无评论

Group Role Assignment with a Training Plan 18

Group Role Assignment with a Training Plan

引用

18th IEEE International Conference on Networking, Sensing and Control, ICNSC 2021

作者： Zhang, Libo Yu, Zhihang Zhu, Haibin Sheng, Yin Southwest University School of Artificial Intelligence Chongqing China Nipissing University Department of Computer Science and Mathmatics North BayON Canada State Key Laboratory of Air Traffic Management System and Technology Nanjing China

ISBN: (纸本)9781665440486

Training is a cost-effective way to enhance individual ability, which is also of great significance for group development. According to Role-Based Collaboration (RBC), the performance of an agent on a specific role is the basis of role assignment. Training directly affects the agents' performance on roles, which will also influence the assignment scheme. To explore the specific effect of agent training, this paper discusses the formulation of training plan and role assignment after training under the premise of maximizing the group performance. The training plan includes agents and corresponding training programs. By utilizing RBC and its general model, the proposed method formulates the optimal training plan, which makes sure the selected agents perform better than in-service ones on some certain roles. The role assignment is based on the updated ability matrix, and the benefit of the training plan is also calculated. The effectiveness of the proposed method is proved by simulation experiments, and the group performance is promoted after training. © 2021 IEEE.

关键词： Cost effectiveness

来源：评论

学校读者我要写书评

暂无评论

Symbolic model checking the knowledge in Herbivore protocol

Symbolic model checking the knowledge in Herbivore protocol

引用

Lecture Notes in computer science

作者： Luo, Xiangyu Su, Kaile Gu, Ming Wu, Lijun Yang, Jinji College of Computer Science and Technology Huaqiao University Xiamen China School of Software Tsinghua University Beijing China College of Mathmatics Physics and Information Engineering Zhejiang Normal University Jinhua China Institute for Integrated and Intelligent Systems Griffith University Brisbane QLD Australia School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu China School of Computer South China Normal University Guangzhou China

ISBN: (纸本)9783642206733

The importance of anonymity has increased over the past few years in many applications. Herbivore is a distributed anonymous communication system, providing private file sharing and messaging over the Internet. In this paper, we utilize MCTK to model the round protocol of the Herbivore system and verify the anonymity and other knowledge properties that the protocol should provide, where MCTK is an OBDD-based symbolic model checker for temporal logic of knowledge developed by us, under the semantics of interpreted systems with local propositions. We model the round protocol of the Herbivore system in MCTK under the assumption that all agents have perfect recall of all observations. We implement the round protocol of the Herbivore system in MCTK and another epistemic model checker MCK. The encouraging experimental results show the validity of our MCTK. © 2011 Springer-Verlag.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共5页 << < 1 2 3 4 5 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：