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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

397 篇 会议
3 篇 期刊文献
1 册 图书
1 篇 成果

馆藏范围

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

日期分布

学科分类号

339 篇 工学
- 91 篇 机械工程
- 87 篇 计算机科学与技术...
- 69 篇 软件工程
- 51 篇 控制科学与工程
- 36 篇 电子科学与技术（可...
- 31 篇 仪器科学与技术
- 27 篇 建筑学
- 23 篇 信息与通信工程
- 20 篇 材料科学与工程（可...
- 20 篇 网络空间安全
- 15 篇 矿业工程
- 14 篇 力学（可授工学、理...
- 14 篇 生物医学工程（可授...
- 11 篇 土木工程
- 10 篇 水利工程
- 10 篇 化学工程与技术
- 10 篇 交通运输工程
- 10 篇 生物工程
- 8 篇 动力工程及工程热...
- 7 篇 冶金工程
107 篇 理学
- 48 篇 系统科学
- 45 篇 数学
- 7 篇 物理学
- 7 篇 统计学（可授理学、...
33 篇 管理学
- 29 篇 管理科学与工程(可...
21 篇 医学
- 11 篇 临床医学
20 篇 艺术学
- 20 篇 设计学（可授艺术学...
11 篇 经济学
- 11 篇 应用经济学
10 篇 军事学
5 篇 农学
3 篇 教育学
2 篇 哲学

主题

66 篇 计算机模拟
44 篇 数学模型
20 篇 建立模型
15 篇 程序设计
11 篇 仿真
10 篇 计算机控制
10 篇 神经网络
9 篇 系统设计
9 篇 计算机应用
8 篇 系统分析
7 篇 数值模拟
7 篇 模拟器
7 篇 模拟
6 篇 计算机化仿真
6 篇 模拟程序
5 篇 算法
5 篇 模拟系统
5 篇 计算机仿真
4 篇 数学形态学
4 篇 微型计算机

机构

12 篇 清华大学
10 篇 河北大学
10 篇 东南大学
10 篇 天津大学
10 篇 山东大学
10 篇 浙江大学
8 篇 北京航空航天大学
7 篇 同济大学
7 篇 武汉大学
6 篇 西安交通大学
6 篇 北方交通大学
6 篇 阜新矿业学院
6 篇 华南理工大学
6 篇 西北大学
6 篇 中山大学
5 篇 大连理工大学
5 篇 国防科学技术大学
5 篇 福州大学
5 篇 装备指挥技术学院
5 篇 中南大学

作者

4 篇 陈惠苏
4 篇 张彩明
4 篇 康宝生
3 篇 田俊峰
3 篇 李守巨
3 篇 郭绍僖
3 篇 尹勇
3 篇 何庆志
3 篇 李文元
3 篇 周明全
3 篇 屠长河
3 篇 陈林
2 篇 徐辉
2 篇 王旗
2 篇 关履泰
2 篇 李振亮
2 篇 张媛
2 篇 关亚骥
2 篇 王晋华
2 篇 王伟平

语言

402 篇 中文

检索条件"任意字段=中国数学会第二届计算机模拟学术会议"

共 402 条记录，以下是131-140 订阅

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

详细简洁

排序：

一种CGF自学习智能决策支持系统的研究与设计

一种CGF自学习智能决策支持系统的研究与设计

引用

第二届和谐人机环境联合(第15届全国多媒体技术、第2届全国人机交互、第2届全国普适计算)学术会议

作者：张媛刘文彪姜本清海军航空工程学院研究生管理大队山东烟台264001 海军航空工程学院电子信息工程系山东烟台264001

设计了一种基于神经网络与专家系统的综合信息作战自学习智能决策支持系统,使得智能决策支持系统能够对过去的经验进行学习,增强了现代模拟战争的真实性.在对舰空对抗作战系统的仿真试验中表明,此智能决策支持系统不仅能够对过去的经验... 详细信息

设计了一种基于神经网络与专家系统的综合信息作战自学习智能决策支持系统,使得智能决策支持系统能够对过去的经验进行学习,增强了现代模拟战争的真实性.在对舰空对抗作战系统的仿真试验中表明,此智能决策支持系统不仅能够对过去的经验进行学习,并且成功地解决了在规则不完善、战场信息不完全的情况下决策支持系统的推理问题,更加适应了现代作战的需求.

关键词：神经网络专家系统智能决策支持系统并行推理

来源：评论

学校读者我要写书评

暂无评论

一种Linux文件入侵检测系统模型——LFIDS

一种Linux文件入侵检测系统模型——LFIDS

引用

第二届中国可信计算与信息安全学术会议

作者：崔静王凤先李珍李志平河北大学数学与计算机学院保定071002

Linux操作系统中,文件系统的安全关系到整个系统的安全,因此文件系统常常是黑客入侵的主要目标.提出了一种Linux文件入侵检测系统模型、该系统利用自然免疫原理,采用否定选择算法构建基准规则库,利用RISE的思想对文件系统进行备份存储,... 详细信息

Linux操作系统中,文件系统的安全关系到整个系统的安全,因此文件系统常常是黑客入侵的主要目标.提出了一种Linux文件入侵检测系统模型、该系统利用自然免疫原理,采用否定选择算法构建基准规则库,利用RISE的思想对文件系统进行备份存储,提高了备份数据库的安全性.基于LKM技术,对特定的系统调用建立设障点,实现对Linux文件系统的针对性实时监控,减少了检测时间.一旦发现入侵,可及时终止进程,并通过回滚对被破坏文件进行及时修复.与同类系统模型相比,有效地减少了系统的开销和Linux内核的负载量,提高了检测效率和文件系统的安全系数.

关键词：入侵检测系统 Linux文件系统可装载内核模块技术否定选择算法

来源：评论

学校读者我要写书评

暂无评论

一个基于概率公钥加密系统的隐私保持奇异点探测协议

一个基于概率公钥加密系统的隐私保持奇异点探测协议

引用

第二届中国可信计算与信息安全学术会议

作者：张锋常会友中山大学信息科学与技术学院广州510275

隐私保持的数据挖掘研究致力于在保证用户隐私的基础上,准确、高效地进行数据挖掘工作.奇异点探测是数据挖掘领域一个很著名的任务,广泛应用于金融、电信等行业的欺诈分析中.研究分布式数据存储环境中,如何进行隐私保持的基于距离奇异... 详细信息

隐私保持的数据挖掘研究致力于在保证用户隐私的基础上,准确、高效地进行数据挖掘工作.奇异点探测是数据挖掘领域一个很著名的任务,广泛应用于金融、电信等行业的欺诈分析中.研究分布式数据存储环境中,如何进行隐私保持的基于距离奇异点探测问题.利用了基于距离奇异点计算公式的一些特殊性质,使用一个特殊的概率公钥密码系统作为核心加密技术,设计了一个安全多方计算协议,在保证各参与方满足预定义的安全性基础上,准确地进行奇异点探测.基于安全的多方计算理论,利用模拟范例,证明了协议的安全性,并分析了协议的复杂度和通信耗费.

关键词：数据挖掘奇异点探测隐私保持安全多方计算

来源：评论

学校读者我要写书评

暂无评论

一种框架体系结构的舰空对抗智能行为设计研究

一种框架体系结构的舰空对抗智能行为设计研究

引用

第二届和谐人机环境联合(第15届全国多媒体技术、第2届全国人机交互、第2届全国普适计算)学术会议

作者：张媛姜本清刘文彪温玮海军航空工程学院研究生管理大队山东烟台 264001 海军航空工程学院电子信息工程系山东烟台 264001

舰空对抗智能行为建模是军事领域中的一个难点。现在舰艇作战仿真系统存在各子系统间耦合性强的问题,不利于系统的扩展与使用。针对以上问题,通过分析虚拟海战场环境对实体对象行为仿真的要求,结合某训练模拟系统战场环境仿真分系统的... 详细信息

舰空对抗智能行为建模是军事领域中的一个难点。现在舰艇作战仿真系统存在各子系统间耦合性强的问题,不利于系统的扩展与使用。针对以上问题,通过分析虚拟海战场环境对实体对象行为仿真的要求,结合某训练模拟系统战场环境仿真分系统的研制项目,以舰空对抗作战想定为实例,对实体行为仿真框架(Sensors, Actuators,Controllers, Connections,简称SACC)进行了研究,得出了组成舰空对抗作战想定行为仿真框架的模型组件,并抽取其结构层作为系统可复用的元素,将组件及组件连接关系以结构化参数的形式进行配置,即利用仿真中各模型组件接口来实现模型组件之间数据的交互。结果表明,该方法可以较好地解决上述问题,使仿真系统具备良好的可复用性和可扩展性,更加满足作战仿真的需求。

关键词：舰空对抗作战作战仿真系统计算机生成兵力

来源：评论

学校读者我要写书评

暂无评论

可行的证明整数是Blum数的零知识证明系统

可行的证明整数是Blum数的零知识证明系统

引用

第二届中国可信计算与信息安全学术会议

作者：唐春明刘卓军王明生广州大学数学与信息科学学院(广东省信息安全技术重点实验室) 广州510006 中国科学院数学与系统科学研究院数学机械化重点实验室北京100080 中国科学院信息安全国家重点实验室北京100080

Blum数是形如pk11qk21(p1和q1是模4余3的不同素数,且k1和k2是奇整数)的整数.目前,该类整数在密码学领域中得到了广泛的应用.尽管证明一个秘密整数是Blum整数的零知识证明系统已经存在,但是,怎样构造一个证明秘密整数是具有p1q1形式的Blu... 详细信息

Blum数是形如pk11qk21(p1和q1是模4余3的不同素数,且k1和k2是奇整数)的整数.目前,该类整数在密码学领域中得到了广泛的应用.尽管证明一个秘密整数是Blum整数的零知识证明系统已经存在,但是,怎样构造一个证明秘密整数是具有p1q1形式的Blum整数的零知识证明系统是未知的.基于∑-协议,构造了证明秘密整数是具有p1q1形式的Blum整数的零知识证明系统,而且,也构造了证明秘密整数是具有pk11qk21(其中k1和k2至少有一个大于1)形式的Blum整数的零知识证明系统.

关键词： Blum整数承诺零知识证明

来源：评论

学校读者我要写书评

暂无评论

p元序列的三项式特性

p元序列的三项式特性

引用

第二届中国可信计算与信息安全学术会议

作者：黄泽明李超国防科学技术大学数学与系统科学系湖南长沙410073 国防科学技术大学数学与系统科学系湖南长沙410073 东南大学移动通信国家重点实验室南京210096

利用有限域上的迹函数理论研究了迹函数生成的p(p为素数)元周期序列的三项式特性的问题,给出了周期为pn-1的迹函数生成的p元序列具有三项式特性的充分必要条件,给出了具有三项式特性的迹函数生成的p元周期序列的三项式对相同的条件及三... 详细信息

利用有限域上的迹函数理论研究了迹函数生成的p(p为素数)元周期序列的三项式特性的问题,给出了周期为pn-1的迹函数生成的p元序列具有三项式特性的充分必要条件,给出了具有三项式特性的迹函数生成的p元周期序列的三项式对相同的条件及三项式对的分类(即正则三项式对和非正则三项式);利用p元序列的迹表示分别用不同的方法证明了p元GMW序列和级联p元GMW序列都具有正则三项式特性,并给出了相应的正则三项式对.

关键词：三项式特性三项式对 p元序列 GMW序列迹表示

来源：评论

学校读者我要写书评

暂无评论

电子商务P2P信誉管理系统的研究与实现

电子商务P2P信誉管理系统的研究与实现

引用

第二届中国可信计算与信息安全学术会议

作者：刘寿强刘波齐德昱潘春华杨波华南理工大学计算机学院广州510640 华南师范大学物理电信工程学院广州510631 华南理工大学计算机学院广州510640 华南农业大学信息学院广州510642

P2P网络有两个非常鲜明的特性:开放性和匿名性.在这两个特性的作用下,P2P越来越受人们的青睐,其使用范围日益广泛,逐渐成为一种理想的网络模式.但是,又恰恰是其开放性和匿名性的影响,使P2P网络在安全应用上,在防止网络欺骗,如虚假信息... 详细信息

P2P网络有两个非常鲜明的特性:开放性和匿名性.在这两个特性的作用下,P2P越来越受人们的青睐,其使用范围日益广泛,逐渐成为一种理想的网络模式.但是,又恰恰是其开放性和匿名性的影响,使P2P网络在安全应用上,在防止网络欺骗,如虚假信息、网络诈骗、信息不共享等方面受到了严峻考验.主要分析了在P2P环境中,电子商务系统可能存在的信誉安全问题,同时研究分析了一些典型的解决信誉管理问题的方法和模型,分析其各自的特点.在此基础上,尝试综合几种方法的优点,以P2P中的电子商务系统为应用平台,提出新的信誉管理模型,并对其原理特点、优劣性与可行性进行讨论分析.最后,利用Java编程,模拟出在P2P环境下整个电子交易中信誉管理的过程,以求达到理论和实践的统一.

关键词： P2P网络信誉信誉管理信息反馈激励机制

来源：评论

学校读者我要写书评

暂无评论

具有冲突约束的RBAC模型的形式化规范与证明

具有冲突约束的RBAC模型的形式化规范与证明

引用

第二届中国可信计算与信息安全学术会议

作者：袁春阳贺也平何建波周洲仪中国科学院软件研究所基础软件国家工程中心北京100080 中国科学院研究生院北京100049 中国科学院研究生院北京100049

在实际应用"基于角色的访问控制"(RBAC)模型时,经常遇到由于责任分离等策略而引起的冲突问题,如权限间的互斥等.访问控制操作应满足某些约束条件,以避免冲突的存在.但这些冲突关系相当复杂,如何检测出冲突问题是模型安全实施... 详细信息

在实际应用"基于角色的访问控制"(RBAC)模型时,经常遇到由于责任分离等策略而引起的冲突问题,如权限间的互斥等.访问控制操作应满足某些约束条件,以避免冲突的存在.但这些冲突关系相当复杂,如何检测出冲突问题是模型安全实施的重要保证.借助Z语言,提出了基于状态的RBAC形式化模型,对状态转换函数进行了形式化规范,描述了操作的具体内容和应满足的冲突约束条件.根据安全不变量给出了安全性定理,分别进行数学的和形式化的证明.最后,通过实例分析,说明在实际系统中,如何形式化规约和验证RBAC系统并检测出冲突问题,从而为今后使用RBAC模型开发具有高安全保证的系统提供了一种形式化规范和证明方法.

关键词：基于角色的访问控制形式化规范和证明责任分离冲突约束 Z语言

来源：评论

学校读者我要写书评

暂无评论

多通道视频数据处理平台的设计与实现

多通道视频数据处理平台的设计与实现

引用

第二届和谐人机环境联合(第15届全国多媒体技术、第2届全国人机交互、第2届全国普适计算)学术会议

作者：梁杨陶霖密宋斌恒清华大学软件学院北京 100084 清华大学计算机科学与技术系北京 100084 清华大学数学科学系北京 100084

近年来,计算机处理和存储能力成倍增加,摄像机等光学传感器的性能不断提高,价格却不断下降,从而产生了许多基于多摄像机的应用系统,如基于多摄像机的情感数据采集、分析系统,基于分布式摄像机的大范围视频监控系统等。这些系统的共同特... 详细信息

近年来,计算机处理和存储能力成倍增加,摄像机等光学传感器的性能不断提高,价格却不断下降,从而产生了许多基于多摄像机的应用系统,如基于多摄像机的情感数据采集、分析系统,基于分布式摄像机的大范围视频监控系统等。这些系统的共同特点是视频格式多种多样,需要同时处理多通道同步或异步视频数据流,并应用各种图像处理技术,对其中的部分视频进行深入的分析。但是,目前已有的数字图像处理系统都只是针对单个静态图像进行处理的,而视频处理系统一般也只能处理一个通道的视频数据,并且均不能同步处理视频流的截帧和帧保存,具有很大的有局限性。有鉴于此,本文设计并实现了一个具有多通道、支持多种格式视频数据的处理平台AriesView。考虑到多通道视频,图像处理任务的复杂性,根据可用性设计原则设计了AriesView平台的人机交互界面,提高了平台使用的效率,达到了满意的使用效果。AriesView平台支持多种格式视频流,支持多通道视频同步播放,同时支持多通道多种格式视频数据的同步获取、保存,解决了诸如MPEG-2不公开解码标准中不能解帧的问题。AriesView还集成了各种数字图像处理算法,功能强大,可扩展性强。初步实验表明,该平台能够高效地处理多通道情感视频流数据,实现了帧获取、处理等各种功能,使用效率高。为计算机视觉相关课题的研究提供了一个优越的平台。

关键词：多通道视频数据处理人机交互视频处理图像处理

来源：评论

学校读者我要写书评

暂无评论

近现代数学系统相容性问题在无穷的数学与哲学层面上的研究

近现代数学系统相容性问题在无穷的数学与哲学层面上的研究

引用

第二届两岸逻辑教学学术会议

作者：朱梧掼肖奚安宫宁生杜国平南京大学现代逻辑与逻辑应用研究所，南京 210093 南京航空航天大学计算机科学研究所，南京 210016 解放军理工大学理学院，南京 211101 南京工业大学信息科学与工程学院，南京 210009 南京大学现代逻辑与逻辑应用研究所，南京 210093

通常都认为，康托－策墨罗(Cantor—Zermelo)在古典与近代集合论中完全贯彻了实无穷观点，而柯西——外尔斯特拉斯(Cauchy—Weierstrass)却在极限论中完全贯彻潜无穷观点。但当我们深入分析潜无限与实无限的本质内涵，并充分认识了两者... 详细信息

通常都认为，康托－策墨罗(Cantor—Zermelo)在古典与近代集合论中完全贯彻了实无穷观点，而柯西——外尔斯特拉斯(Cauchy—Weierstrass)却在极限论中完全贯彻潜无穷观点。但当我们深入分析潜无限与实无限的本质内涵，并充分认识了两者之间的区别与联系之后，再去研究近现代数学系统中贯彻无穷观的实际情况时，发现不仅在集合论中没有将实无穷观点贯彻始终，而且在极限论中也没有将潜无穷观点贯彻到底。对于近现代数学系统中的那些涉及无穷观的子系统而言，往往都是些兼容潜无限和实无限的系统。在此基础上，运用兼容潜无限与实无限的分析方法，对近现代数学的逻辑与非逻辑公理系统地进行梳理，疏理的结果显示：近现代数学及其理论基础中，有一部分公理隐性地贯彻了“潜无限等于实无限”的思想规定，而另有一些公理却隐性地贯彻了“潜无限不等于实无限”的思想规定。最后证明古典集合论与近代公理集合论中的任何一个可数无穷集合都是自相矛盾的非集。

关键词：数学系统相容性无穷观

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共41页 << < 10 11 12 13 14 15 16 17 18 19 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：