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

中国体视学与图像分析 2010年第3期15卷 237-244页

作者：张洁吕品郑昌文胡晓惠中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190 中国科学院研究生院北京100049

大规模动态地形场景的建模与仿真是计算机图形学与虚拟显示领域的重要课题之一。本文提出了一种基于隐式限制四叉树的地形建模方法,用四叉树标记数组代替四叉树节点结构与指针操作,不但节省了大规模地形数据集所占的存储空间,而且提高... 详细信息

大规模动态地形场景的建模与仿真是计算机图形学与虚拟显示领域的重要课题之一。本文提出了一种基于隐式限制四叉树的地形建模方法,用四叉树标记数组代替四叉树节点结构与指针操作,不但节省了大规模地形数据集所占的存储空间,而且提高了节点的索引效率。另外,提出了基于高程值的地形纹理图像合成方法,根据地形采样点的高程值实时合成匹配地形特征的纹理图像。本文还给出了弹坑与车辙的建模方法。仿真结果表明,本文描述的方法可以实时获得逼真的大规模动态地形仿真效果。

关键词：动态地形仿真多分辨率地形模型纹理合成地表形变模型

来源：评论

学校读者我要写书评

暂无评论

中国科学院涉密网测评工作概述

引用

保密科学技术 2011年第7期 12-14页

作者：李鹏飞中国科学院软件研究所综合信息系统技术国家重点实验室国家保密局涉密信息系统安全保密测评中心系统测评(中国科学院)分中心

1中国科学院基本情况中国科学院是国家科学技术方面的最高学术机构和全国自然科学与高技术综合研究发展中心。目前,中科院共拥有12个分院、100家直属研究所。

关键词：涉密网中国科学院系统测评安全保密分中心测评中心信息系统综合研究基本情况建设工作

来源：评论

学校读者我要写书评

暂无评论

多分辨率仿真模型互联运行问题研究

多分辨率仿真模型互联运行问题研究

引用

2010年虚拟技术与环境仿真学术年会

作者：尹华飞吕品郑昌文胡晓惠中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190 中国科学院研究生院北京100049 中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190

通过多分辨率建模技术,可以实现不同分辨率模型的互联运行.在分析多分辨率建模技术的基础上,从互联运行的方法和一致性问题两个方面进行研究.使用聚合解聚的方法,讨论和比较了三种扩展接口方案.采用低分辨率模型为主线,高分辨率模型为... 详细信息

通过多分辨率建模技术,可以实现不同分辨率模型的互联运行.在分析多分辨率建模技术的基础上,从互联运行的方法和一致性问题两个方面进行研究.使用聚合解聚的方法,讨论和比较了三种扩展接口方案.采用低分辨率模型为主线,高分辨率模型为修正参考的思想,确定了将互联扩展接口放在高分辨率模型中.从任务的解聚、位置的更新、毁伤的计算三个方面来解决互联运行的一致性问题,并给出了一个互联运行实例,为多分辨率模型互联运行的实现提供了一种解决思路.

关键词：多分辨率建模聚合解聚一致性问题

来源：评论

学校读者我要写书评

暂无评论

基于隐式限制四叉树的大规模动态地形建模与仿真方法

基于隐式限制四叉树的大规模动态地形建模与仿真方法

引用

2010年虚拟技术与环境仿真学术年会

作者：张洁吕品郑昌文胡晓惠中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190 中国科学院研究生院北京100049 中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190

大规模动态地形场景的建模与仿真是计算机图形学与虚拟显示领域的重要课题之一.本文提出了一种基于隐式限制四叉树的地形建模方法,用四叉树标记数组代替四叉树节点结构与指针操作,不但节省了大规模地形数据集所占的存储空间,而且提高了... 详细信息

大规模动态地形场景的建模与仿真是计算机图形学与虚拟显示领域的重要课题之一.本文提出了一种基于隐式限制四叉树的地形建模方法,用四叉树标记数组代替四叉树节点结构与指针操作,不但节省了大规模地形数据集所占的存储空间,而且提高了节点的索引效率.另外,提出了基于高程值的地形纹理图像合成方法,根据地形采样点的高程值实时合成匹配地形特征的纹理图像.本文还给出了弹坑与车辙的建模方法.仿真结果表明,本文描述的方法可以实时获得逼真的大规模动态地形仿真效果.

关键词：动态地形仿真多分辨率地形模型纹理合成地表形变模型

来源：评论

学校读者我要写书评

暂无评论

多分辨率仿真模型互联运行问题研究

引用

中国体视学与图像分析 2010年第3期15卷 269-273页

作者：尹华飞吕品郑昌文胡晓惠中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190 中国科学院研究生院北京100049

通过多分辨率建模技术,可以实现不同分辨率模型的互联运行。在分析多分辨率建模技术的基础上,从互联运行的方法和一致性问题两个方面进行研究。使用聚合解聚的方法,讨论和比较了三种扩展接口方案。采用低分辨率模型为主线,高分辨率模型... 详细信息

通过多分辨率建模技术,可以实现不同分辨率模型的互联运行。在分析多分辨率建模技术的基础上,从互联运行的方法和一致性问题两个方面进行研究。使用聚合解聚的方法,讨论和比较了三种扩展接口方案。采用低分辨率模型为主线,高分辨率模型为修正参考的思想,确定了将互联扩展接口放在高分辨率模型中。从任务的解聚、位置的更新、毁伤的计算三个方面来解决互联运行的一致性问题,并给出了一个互联运行实例,为多分辨率模型互联运行的实现提供了一种解决思路。

关键词：多分辨率建模聚合解聚一致性问题

来源：评论

学校读者我要写书评

暂无评论

嵌入式软件智能合成框架及关键科学问题

引用

中国空间科学技术 2022年第4期42卷 1-7页

作者：杨孟飞顾斌段振华金芝詹乃军董云卫田聪李戈董晓刚李晓锋中国空间技术研究院北京100094 空间智能控制技术国家级重点实验室北京100094 北京控制工程研究所北京100190 西安电子科技大学计算机科学与技术学院西安710071 北京大学计算机学院北京100871 中国科学院软件研究所天基综合信息系统重点实验室北京100190 西北工业大学计算机学院西安710072

程序合成是提高软件开发效率和质量的有效途径,也是计算机科学重要的前沿方向之一。首先,概述了程序合成方法的国内外研究现状及其存在的问题。在此基础上,提出了软件知识产权(intellectual property,IP)的概念和一种基于软件IP的嵌入... 详细信息

程序合成是提高软件开发效率和质量的有效途径,也是计算机科学重要的前沿方向之一。首先,概述了程序合成方法的国内外研究现状及其存在的问题。在此基础上,提出了软件知识产权(intellectual property,IP)的概念和一种基于软件IP的嵌入式软件智能合成开发模式(IP-based embedded software intelligent synthesis,IPESIS)及其框架。最后,阐述了IPESIS需要解决的关键科学问题和主要研究内容。IPESIS通过定义领域需求描述语言,在更高的抽象层次上对目标软件进行刻画,以软件IP为粒度缩小程序搜索空间,采用机器学习等人工智能技术自动合成程序,有望突破现有方法的局限,进而实现嵌入式软件开发从手工编程模式到软件IP研发和基于软件IP的智能合成模式的转变。

关键词：嵌入式软件程序合成软件IP 软件需求人工智能

来源：评论

学校读者我要写书评

暂无评论

复杂系统规约、分析与验证发展现状与展望

引用

前瞻科技 2023年第1期2卷 7-22页

作者：詹乃军王戟中国科学院软件研究所天基综合信息系统重点实验室中国科学院软件研究所计算机科学国家重点实验室国防科技大学计算机学院国防科技大学高性能计算国家重点实验室

形式化方法包括计算系统（软硬件和网络）的规约、构造、分析与验证的数学基础、技术和工具。随着安全攸关系统在国民经济和国防等关键领域的应用越来越多，复杂系统可信性问题日益凸显。形式化方法已经成为开发安全可靠的安全攸关系统... 详细信息

形式化方法包括计算系统（软硬件和网络）的规约、构造、分析与验证的数学基础、技术和工具。随着安全攸关系统在国民经济和国防等关键领域的应用越来越多，复杂系统可信性问题日益凸显。形式化方法已经成为开发安全可靠的安全攸关系统的关键技术之一，也是解决中国“缺芯少魂”的核心技术之一，同时也是国际学术前沿。文章回顾国内外形式化方法研究现状，分析国内外研究差距，并提出加强中国这方面基础研发的若干建议。

关键词：形式化方法安全攸关系统形式规约形式分析与验证

来源：评论

学校读者我要写书评

暂无评论

基于纠错编码的无线信道信息隐藏容量控制

基于纠错编码的无线信道信息隐藏容量控制

引用

中国自动化学会第二十七届青年学术年会

作者：郑刚潘辉马恒太李明宇中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190 中国科学院软件研究所综合信息系统技术国家级重点实验室北京100190中国科学院研究生院北京100049

在无线信道中基于纠错编码进行信息隐藏,具有较高的安全性和不可检测性.在建立基于信道编码的无线信道信息隐藏模型的基础上,设计了一种根据无线信道噪声状况动态调整信息隐藏容量的自适应控制机制,并给出了信息隐藏容量的计算方法,仿... 详细信息

在无线信道中基于纠错编码进行信息隐藏,具有较高的安全性和不可检测性.在建立基于信道编码的无线信道信息隐藏模型的基础上,设计了一种根据无线信道噪声状况动态调整信息隐藏容量的自适应控制机制,并给出了信息隐藏容量的计算方法,仿真结果表明,该方法能够具有较好的动态自适应性,并能够保证被嵌入信息的提取质量..

关键词： Information Hiding Channel Coding Wireless Channel

来源：评论

学校读者我要写书评

暂无评论

船舶异构网络中海量数据分发技术研究

船舶异构网络中海量数据分发技术研究

引用

2013全国高性能计算学术年会

作者：杜俊霖周文亚高骞李凌波中国科学院软件研究所综合信息系统技术国家级重点实验室北京市 100190

船舶综合信息系统是典型的异构网络。现场数据呈现信息量大、更新快和多元化等特点。解决多系统间海量数据的信息集成共享和综合管理是系统设计中的关键和重点。本文对异构网络集成进行了研究，在数据分发服务(DDS)的基础上，提出多域... 详细信息

船舶综合信息系统是典型的异构网络。现场数据呈现信息量大、更新快和多元化等特点。解决多系统间海量数据的信息集成共享和综合管理是系统设计中的关键和重点。本文对异构网络集成进行了研究，在数据分发服务(DDS)的基础上，提出多域数据分发服务(MD-DDS)框架，解决了现有DDS 框架中存在的单数据域内通信节点数目受限问题，并在船舶综合信息系统设计中进行应用。

关键词：异构网络海量数据数据分发船舶综合信息系统

来源：评论

学校读者我要写书评

暂无评论

基于HLA的指挥控制网络多维展示方案

基于HLA的指挥控制网络多维展示方案

引用

2014第二届中国指挥控制大会

作者：邓勇谈华莹中国科学院软件研究所综合信息系统技术国家级重点实验室北京机电工程研究所

为有效形象地展示指挥控制网络仿真的性能,以及网络仿真过程中的实时动态效果,本文从指挥控制网络关注的方面出发,以多个角度来展示指挥控制网络仿真效果,为提高网络实战能力提供技术支撑,提出了基于HLA的指挥控制网络多维展示方案。在... 详细信息

为有效形象地展示指挥控制网络仿真的性能,以及网络仿真过程中的实时动态效果,本文从指挥控制网络关注的方面出发,以多个角度来展示指挥控制网络仿真效果,为提高网络实战能力提供技术支撑,提出了基于HLA的指挥控制网络多维展示方案。在此基础上,基于OPNET仿真平台,设计了作战想定场景展示平台、战场态势及网络模型映射展示平台、网络主要性能展示平台、毁伤情况及网络可靠性和抗毁性展示平台、网络综合效用展示平台,对建立指挥控制网络模型要素进行分析,设计了能够适应指挥控制网络特点的计算模型,并在成员设计上有效地分散计算负载,能够降低成员耦合性,使仿真联邦具备很强的可扩展能力。最后,提出了要解决的关键技术。

关键词：指挥控制网络指挥自动化网络仿真

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：