作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

协作虚拟样机与协同设计方法  CNKI文献

协作虚拟样机技术是在分布式环境下,多领域专家协作建立和应用虚拟样机的方法和技术。本文分析了协作虚拟样机与协同设计的关系,提出了基于协作虚拟样机的协同设计方法,该方法可全面而灵活地支持协同设计,在产品实...

李思昆 郭阳... 《系统仿真学报》 2001年01期 期刊

关键词: 协同设计 / 虚拟样机 / 协作虚拟样机 / 集成框架

下载(247)| 被引(78)

面向并行设计的虚拟原型技术研究  CNKI文献

虚拟原型技术是在虚拟的逼真环境下,对产品设计信息进行协同仿真验证的有效手段,它可有效支持并行设计,缩短产品开发周期.在分析了虚拟原型与并行设计的关系后,提出了基于域对象的虚拟原型建模与仿真方法,并阐述...

李思昆 郭阳... 《计算机辅助设计与图形学学报》 1999年03期 期刊

关键词: 并行设计 / 虚拟原型 / 集成框架 / 域对象

下载(111)| 被引(44)

布尔不可满足子式的求解方法研究进展  CNKI文献

解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值.不可满足子式能够为布尔公式不可满足的原因提供精确的解释,帮助应用领域的自动化工具迅速定位错误,诊断问...

李思昆 张建民... 《计算机辅助设计与图形学学报》 2008年10期 期刊

关键词: 形式化验证 / 布尔公式 / 可满足问题 / 不可满足子式

下载(122)| 被引(3)

一个分布式并行设计集成框架系统的研究与开发  CNKI文献

复杂产品的设计日益复杂 ,推向市场的时间日益缩短 ,并行设计技术得到广泛应用。文中实现了一个支持复杂产品多领域并行设计的集成框架YC bridge。该集成框架的开发采用符合CORBA规范的Client/Server中间件 ,实现了基...

李思昆 郭阳... 《国防科技大学学报》 2000年01期 期刊

关键词: 电子CAD / 并行设计 / 集成框架 / 分布对象

下载(92)| 被引(12)

适于社会网络结构分析与可视化的布局算法  CNKI文献

力导引布局算法是社会网络信息可视化领域的主流布局算法,但却在结构分析显示方面存在缺陷.产生的图像经常是节点聚集在屏幕中央,难以分辨结构信息.因此,提出了子群分析布局SAL(subgroup analysis layout)算法来解决这...

吴鹏 李思昆 《软件学报》 2011年10期 期刊

关键词: 信息可视化 / 社会网络 / 力导引布局算法 / 结构分析

下载(1208)| 被引(46)

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

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

郭阳 李思昆... 《计算机辅助设计与图形学学报》 2012年12期 期刊

关键词: 片上多核处理器 / 模拟验证 / 形式验证 / 片上网络

下载(355)| 被引(24)

基于可布性分析的印制板布局网络优化技术  CNKI文献

本文描述了一种用于PCB布通率分析的分析模型,提出了一种信号网络的分解、合成及排序方法。可以有效地解决印制板布局和布线过程间的网络优化问题,进一步提高自动布线的布通率。

李思昆 叶沙野 《计算机辅助设计与图形学学报》 1994年03期 期刊

关键词: 布通率分析 / 信号网络优化。

下载(61)| 被引(0)

协作虚拟原型技术及其应用  CNKI文献

传统的物理原型方法已不能满足现代工程产品,特别是新型武器装备发展的需要。协作虚拟原型是在分布式环境下,多领域专家协作建立虚拟原型的方法和技术。应用协作虚拟原型技术,可以使产品的设计者、使用者和制造者,在产...

李思昆 郭阳 《国防科技》 2002年03期 期刊

关键词: 虚拟原型技术 / 虚拟环境 / 制造仿真 / 产品原型

下载(19)| 被引(1)

社会网络信息的本体论建模与可视化  CNKI文献

本体论是共享概念模型的明确的形式化规范说明,基于本体论对社会网络信息建模能够提供客观存在的本质认识,发挥本体论在信息表示与组织上的优势.提出一种针对社会网络信息的领域本体模型,将社会网络信息领域的客观存在...

吴鹏 李思昆 《计算机辅助设计与图形学学报》 2009年04期 期刊

关键词: 本体论 / 社会网络 / 领域本体 / 信息可视化

下载(791)| 被引(14)

原位可视化研究与应用进展  CNKI文献

科学可视化是分析数值模拟数据的最有效手段。随着高性能计算机运算能力的不断提升,数值模拟问题的规模迅速增长,但IO带宽、存储系统容量和后处理的可视化模式很难满足超大规模并行数值模拟数据的可视化分析需求。原位...

王昉 李思昆... 《系统仿真学报》 2015年10期 期刊

关键词: 原位可视化 / 大规模并行处理 / 软件框架 / 可视化软件

下载(116)| 被引(6)

描述任务逻辑及其应用  CNKI文献

针对任务逻辑存在的两个缺点:(1)不可判定,无法保证推理过程都能在有限的时间内结束;(2)任务的定义局限于抽象的、逻辑的定义,无法描述任务的具体属性和任务之间的关系,将描述性结构引入任务逻辑,构造了一个可描述具体...

张会 李思昆 《计算机学报》 2006年03期 期刊

关键词: 任务逻辑 / 可判定 / 描述语言 / 多主体系统

下载(271)| 被引(18)

基于领域本体的社会网络信息分析与可视化  CNKI文献

社会网络分析与可视化是当前的热门研究领域,但是针对社会网络信息的高效理解与组织的研究成果却十分缺乏。本文提出一种针对社会网络信息的领域本体模型,它对社会网络信息领域的客观存在及其关系进行描述。该模型适合...

吴鹏 李思昆 《计算机工程与科学》 2011年12期 期刊

关键词: 社会网络 / 领域本体 / 信息可视化 / 力导引布局算法

下载(357)| 被引(6)

LM200逻辑模拟系统  CNKI文献

一、前言 LM200逻辑功能模拟系统是在美国AR1ZONA大学研制的HPSIM3模拟器基础上,经改进和开发而建立的。HPSIM3模拟器是以AHPL语言为描述工具的寄存器传输级模拟器。文献〈1〉、〈2〉、〈3〉对AHPL语言和HPSIM3摸拟器...

李思昆 陈吉华... 《计算机工程与科学》 1987年02期 期刊

关键词: LM200 / 逻辑模拟 / 模块 / 模件

下载(3)| 被引(0)

遗传算法与蚂蚁算法动态融合的软硬件划分  CNKI文献

面向嵌入式系统和SoC(system-on-a-chip)软硬件双路划分问题,提出遗传算法与蚂蚁算法动态融合的软硬件划分算法.基本思想是:(1)利用遗传算法群体性、全局、随机、快速搜索的优势生成初始划分解,将其转化为蚂蚁算法所需...

熊志辉 李思昆... 《软件学报》 2005年04期 期刊

关键词: 遗传算法 / 蚂蚁算法 / 嵌入式系统 / 软硬件划分

下载(2528)| 被引(216)

一款嵌入式可视媒体处理系统芯片的设计与实现  CNKI文献

可视媒体领域应用是一类混合多种媒体应用的计算密集型且数据带宽大的复杂应用.本文介绍了一款名为EVMP-SoC的异构多核SoC.该SoC采用两个微异构的应用定制指令集协处理器构成协处理系统.针对可视媒体处理典型应用的计...

严明 李思昆... 《电子学报》 2011年02期 期刊

关键词: 异构体系结构 / 多核SoC / 嵌入式可视媒体处理 / 领域应用SoC

下载(167)| 被引(6)

虚拟实体对象的行为建模方法研究  CNKI文献

虚拟实体对象的行为建模方法已成为虚拟现实技术的研究热点之一。本文总结了前人在行为建模方面的成就,分析了其中存在的问题,并在此基础上提出了一种新的适于虚拟现实开发平台的虚拟实体对象行为模型SCP模型,并对...

郑援 李思昆... 《国防科技大学学报》 1998年01期 期刊

关键词: 行为模型 / 虚拟世界 / 实体对象

下载(343)| 被引(54)

无序B样条曲线的曲面拟合算法  CNKI文献

针对目前无序曲线拟合算法不能控制拟合误差的问题,提出了利用B样条曲面拟合4条边界线及一组无序B样条曲线的算法.首先由边界曲线得到初始曲面,并将曲线曲面写成分段Bézier形式;然后借鉴曲面蒙皮的思想,得到关于...

王文珂 李思昆 《计算机辅助设计与图形学学报》 2013年05期 期刊

关键词: 曲面拟合 / 无序曲线 / 误差可控 / C1连续

下载(358)| 被引(15)

虚拟实体组织行为建模方法研究  CNKI文献

虚拟实体组织行为建模主要研究虚拟世界中有组织的实体群的组织关系及其活动规律。提出了一种新的基于描述任务逻辑的虚拟实体组织行为建模方法,建立了一个将虚拟实体群的组织结构关系、协同行为功能规划和组织规范三...

张会 李思昆... 《系统仿真学报》 2006年S1期 期刊

关键词: 虚拟实体 / 组织 / 行为建模 / 任务逻辑

下载(282)| 被引(9)

计算机生成兵力平台体系结构技术研究  CNKI文献

本文介绍了我们实现的计算机生成兵力平台 ,提出一种开放的CGF系统体系结构SEFBG ,给出了一种通用的CGF实体模型以及CGF行为建模语言BBML ,针对海战计算机生成兵力进行了试用。试用结果表明 ,SEFBG可以有效地支持基于...

郑义 李思昆... 《计算机工程与科学》 2005年01期 期刊

关键词: CGF系统体系结构 / CGF实体模型 / 行为建模语言

下载(214)| 被引(8)

CFD非结构化网格格心格式数据高质量体绘制方法  CNKI文献

3D非结构化网格格心格式数据是近年流场数值模拟结果的常见形式,目前的可视化方法无法直接绘制此类数据,通常采用外推技术将其转换为格点格式数据后再进行绘制,导致数据精度损失,严重影响绘制质量.在多遍光线投射算法...

马千里 李思昆... 《计算机学报》 2011年03期 期刊

关键词: 计算流体力学 / 非结构化网格 / 格心格式数据 / 流场可视化

下载(219)| 被引(12)

学术研究指数分析(近十年)详情>>

  • 发文趋势

热门学者(按发文篇数排行)

相关机构

轻松读懂《孙子兵法》