检索结果-南通市图书馆

在线全文

cnki会议

学校读者我要写书评

暂无评论

面向交互的主体能力描述和推理方法研究

计算机研究与发展 2006年第8期43卷 1439-1444页

作者：张会李思昆国防科学技术大学计算机学院

主体间的交互对主体能力的影响是主体能力描述和推理需要考虑的一个重要因素·给出了一个面向交互的主体能力描述和推理框架·该框架将描述逻辑中的知识表示结构和任务逻辑中的任务语义结合起来,可以显式地描述主体之间的交互关系对主... 详细信息

主体间的交互对主体能力的影响是主体能力描述和推理需要考虑的一个重要因素·给出了一个面向交互的主体能力描述和推理框架·该框架将描述逻辑中的知识表示结构和任务逻辑中的任务语义结合起来,可以显式地描述主体之间的交互关系对主体能力的影响并可提供可判定的推理服务·建立了一个用于任务可完成性判定的逻辑系统DTL,并证明了它是可靠、完备和可判定的·

关键词：主体能力描述任务语义描述逻辑

SoC数据映射中的快速应用程序存储分析方法

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2010年第2期47卷 361-369页

作者：赵鹏李思昆国防科学技术大学计算机学院长沙410073

片上系统SoC在多媒体信息处理领域中应用广泛.多媒体处理程序中频繁的循环嵌套与多维数组操作严重影响着多媒体处理SoC系统的数据传输与存储效率.根据程序各个部分的存储需求量将程序中数据映射到SoC存储层次上,这是改善SoC系统性能与... 详细信息

片上系统SoC在多媒体信息处理领域中应用广泛.多媒体处理程序中频繁的循环嵌套与多维数组操作严重影响着多媒体处理SoC系统的数据传输与存储效率.根据程序各个部分的存储需求量将程序中数据映射到SoC存储层次上,这是改善SoC系统性能与功耗的必要途径.针对多媒体处理程序,提出一种面向SoC数据映射的快速存储需求量分析方法.在存储需求量分析过程中,提出并使用正交线性有界格对所操作数据的数据域进行划分,并基于相关性进行存储需求量计算,得到了较为准确的存储需求量,并大幅度减少了分析时间.

关键词：片上系统多媒体信息处理存储需求量分析多面体模型正交线性有界格数据传输与存储优化

Research and Implement of Rigid Body Fracturing Simulation Based on Ogre and Newton Engine

在线全文

学校读者我要写书评

暂无评论

Research and Implement of Rigid Body Fracturing Simulation B...

2012年计算机应用与系统建模国际会议

作者： Jiangfan Ning Shi Lu Bo Wu sikun Li School of Computer Science National University of Defense Technology

Recently, the fracture simulation of rigid body has gained more and more attention in the area of computer graphics for its widely use in movies, computer games and military simulation. With the amalgamation of graphic rendering engine and physics engine, a fracture simulation framework of rigid body can be constructed fast and easily. The basic concepts and principles of OGRE and Newton game dynamics are introduced and the OgreNewt is adopted to bind the two engines. At last, the implementation of rigid body fracture simulation is given and the results demonstrate that our framework is robust and efficient.

关键词： OGRE Newton Game Dynamics Fracture simulation Rigid body

Verify Behaviors of CGF with ASM

在线全文

cnki会议

学校读者我要写书评

暂无评论

Verify Behaviors of CGF with ASM

2012年计算机应用与系统建模国际会议

作者： Zhang Wei Zeng Liang Li sikun Xiong Yueshan School of Computer National University of Defense Technology

Verification is one of the most important steps in modeling and simulation. However, behavior modeling is extremely complex, especially in battlefield simulations. Till now, there are few efficient methods for behavior verification of computer generated forces. In this paper, a novel approach is proposed based on the theory of Abstract State Machines (ASM), which is usually used in the field of model-based software testing. In our work, Behaviors of CGF are described in ASML, which is a kind of specification language of ASM. With this approach, the verification of the states of CGF behaviors can be possibly achieved at the design stage, and we can improve our behavior design then.

关键词： state machine AsmL Computer generated forces Behavior

OFDM系统在时变信道下的迭代干扰抵消算法

在线全文

cnki会议

学校读者我要写书评

暂无评论

高技术通讯 2009年第4期19卷 372-376页

作者：李司坤王宗欣复旦大学通信科学与工程系上海200433

为克服正交频分复用(OFDM)系统中因时变多径衰落信道破坏子载波的正交性引起载波间干扰(ICI),从而导致系统性能下降的问题,提出了一种基于最小均方误差(MMSE)估计和迭代算法相结合的迭代干扰抵消算法。为了消除一般MMSE均衡方法将载波... 详细信息

为克服正交频分复用(OFDM)系统中因时变多径衰落信道破坏子载波的正交性引起载波间干扰(ICI),从而导致系统性能下降的问题,提出了一种基于最小均方误差(MMSE)估计和迭代算法相结合的迭代干扰抵消算法。为了消除一般MMSE均衡方法将载波间干扰当作加性高斯白噪声(AWGN)所带来的误差,该算法先使用MMSE方法对传输信号进行初值估计,再通过迭代干扰抵消和MMSE均衡相结合,来消除由时变信道所带来的载波间干扰。多次仿真表明,在时变多径衰落信道中使用本算法能够有效地消除载波间干扰,使系统性能得到很好的改善。

关键词：正交频分复用(OFDM) 载波间干扰(ICI) 最小均方误差(MMSE) 干扰抵消迭代检测

Enhanced projection range with defocusing for fringe projection profilometry

在线全文

学校读者我要写书评

暂无评论

Enhanced projection range with defocusing for fringe project...

第十七届全国光学测试学术交流会

作者： Abel Kamagara Xiangzhao Wang sikun Li Changzhe Peng CAS Shanghai Institute of Optics and Fine Mechanics University of Chinese Academy of Sciences

High-accuracy digital fringe-projection profilometry with defocusing technique requires the projector in the measurement system set-up to be out of *** substantially compromises the defocusing range and subsequently,the projection range is constrained within region B(Fig.1(a))which results into a small dynamic measurement ***,image defocus further reduces fringe image contrast at high levels of defocusing which reduces *** addition,image defocus further limits the dynamic range of measurement and reduces fringe image contrast especially at high levels of ***,we present an approach for extending the projection or measurement

关键词：

Optimization and Implementation of Unstructured Grid Volume Rendering Algorithm

在线全文

cnki会议

学校读者我要写书评

暂无评论

Optimization and Implementation of Unstructured Grid Volume ...

2012年计算机应用与系统建模国际会议

作者： Jian Hu Wenke Wang Qianli Ma sikun Li School of Computer National University of Defense Technology

Visibility sorting is one of the key techniques in volume rendering of unstructured grids. The efficiency of sorting algorithm greatly affects the efficiency of volume rendering. Hardware-Assisted Visibility Sorting [1] (HAVS) is one of the most important volume rendering algorithms. This paper proposes an optimization algorithm of HAVS by keeping a sorted list which could decrease the comparing time in the fragment-level sorting process of k-buffer. The range of k is also analyzed by experiments. The results of experiment show that the proposed optimization algorithm obviously improves the efficiency of HAVS.

关键词： Volume rendering Unstructured grids Fragment k-buffer

在线全文

cnki会议

学校读者我要写书评

暂无评论

片上多核处理器验证:挑战、现状与展望

计算机辅助设计与图形学学报 2012年第12期24卷 1521-1532页

作者：郭阳李思昆屈婉霞国防科学技术大学计算机学院长沙410073

随着集成电路工艺水平的不断提升以及应用对处理器性能要求的日益增长,验证已成为未来片上多核处理器发展的主要技术瓶颈.文中深入分析了片上多核处理器验证中状态空间大、完备性不足、存储结构与互连网络验证复杂、硅后验证困难等突出... 详细信息

随着集成电路工艺水平的不断提升以及应用对处理器性能要求的日益增长,验证已成为未来片上多核处理器发展的主要技术瓶颈.文中深入分析了片上多核处理器验证中状态空间大、完备性不足、存储结构与互连网络验证复杂、硅后验证困难等突出问题,系统地总结了片上多核处理器模拟验证、硬件仿真、形式验证、硅后验证等方面的研究进展,并对该领域未来的发展方向进行了分析与展望.

关键词：片上多核处理器模拟验证形式验证片上网络集成电路

在线全文

学校读者我要写书评

暂无评论

通用机场及供油发展现状与展望

油气储运 2015年第12期34卷 1255-1261页

作者：杨思坤北京中航油工程建设有限公司北京100621

在国家政策大力支持的大背景下,随着低空空域管理的改革,通用航空产业将快速、健康、有序发展,势必成为继干线机场、支线机场之后另一个迅速崛起的朝阳产业。在通用航空市场,我国与国外成熟发达国家相比,无论从通用航空器数量还是从通... 详细信息

在国家政策大力支持的大背景下,随着低空空域管理的改革,通用航空产业将快速、健康、有序发展,势必成为继干线机场、支线机场之后另一个迅速崛起的朝阳产业。在通用航空市场,我国与国外成熟发达国家相比,无论从通用航空器数量还是从通用航空飞行总量来看,目前仍有较大差距,具有很大的发展潜力。我国通用机场的航油保障存在一系列问题,保障体系需进一步完善,供需矛盾突出,无统一的价格体系,以及运输、储存、加注设备的安全性有待提高。基于此,提出通用机场供油发展思路:在干线、支线机场成熟的航油保障模式的基础上,依托成熟的运输机场航空航油供应网络保障通用机场航油供应,逐步建立一级、二级配送网络,同时建立通用航空的航油价格体系和行业监管体系。

关键词：通用机场供油发展布局