检索结果-维普期刊中文期刊服务平台

基于时态逻辑的软件体系结构描述语言及其可视化环境被引量：4: 1; 作者张广泉郑建丹骆华俊《计算机工程与应用》 CSCD 北大核心 2001年第5期14-16,共3页; 在时态逻辑语言XYZ／E的基础上，建立了一种以可视化图形表示的软件体系结构描述语言XYZ／ADL．它可同时描述软件体系结构的静态与动态行为，能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡，从而将模块化程序设计方... 展开更多; 关键词时态逻辑 XYZ/E 软件体系结构体系结构描述语言可视化; 在线阅读下载PDF 职称材料

体绘制中的快速插值方法被引量：6: 2; 作者魏峰王文成吴恩华《系统仿真学报》 CAS CSCD 2001年第S2期8-10,共3页; 插值运算是体绘制中的基本运算,其操作量很大。为此,本文提出一种的新的插值方法,减少每次插值运算的计算量,并根据样点位置及其附近的资料情况减少插值运算的次数。由此可以加快体绘制的成象,而对图像质量没有影响。与已有的快速插值... 展开更多; 关键词插值体绘制可视化; 在线阅读下载PDF 职称材料

三维可视化对于认知的作用被引量：13: 3; 作者华庆一房鼎益《计算机工程与科学》 CSCD 1998年第3期36-41,共6页; 本文通过描述面向对象系统结构的可视化问题来讨论三维可视化对于人类认知的作用。在节省屏幕空间及表示多维关系方面，三维表示范型可以减少两维表示范型的种种限制。因而三维图形表示在反映信息及其之间的关系方面具有更高的能力。本... 展开更多; 关键词三维可视化认知面向对象计算机图形学; 在线阅读下载PDF 职称材料

基于变迁系统的反应型控制系统建模与分析被引量：1: 4; 作者张广泉《计算机工程与设计》 CSCD 2001年第2期1-4,共4页; 文中通过对基本变迁系统进行相应的扩充，分别给出并发、实时及混成等３个不同抽象层次反应型控制系统的计算模型，并分析它们各自不同的特点。; 关键词变迁系统计算模型反应型控制系统建模控制理论; 在线阅读下载PDF 职称材料

并发程序执行的一种粒度分析方法被引量：1: 5; 作者张广泉《计算机工程与应用》 CSCD 北大核心 2000年第5期54-56,65,共4页; 文章讨论基于交替计算模式的并发程序执行行为的可信性问题。通过比较共享变量程序的交替计算与实际重叠执行，对并发程序的执行过程进行粒度分析──首先提出一种粒度细化、求精方法，限制单个原子转换包含的临界事件数目；继而引入一... 展开更多; 关键词并发程序粒度求精粒度分析方法程序设计语言; 在线阅读下载PDF 职称材料

题名基于时态逻辑的软件体系结构描述语言及其可视化环境被引量：4: 1; 作者张广泉郑建丹骆华俊; 机构中科院软件所计算机科学开放研究实验室; 出处《计算机工程与应用》 CSCD 北大核心 2001年第5期14-16,共3页; 基金国家自然科学基金!(60073020) 国家"九五"攻关项目!(98-780-01-07-01) 863高科技项目!(863-306-ZT02-04-01)::中科; 文摘在时态逻辑语言XYZ／E的基础上，建立了一种以可视化图形表示的软件体系结构描述语言XYZ／ADL．它可同时描述软件体系结构的静态与动态行为，能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡，从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来。; 关键词时态逻辑 XYZ/E 软件体系结构体系结构描述语言可视化; Keywords ： temporal logic，XYZ／E，software architecture，architecture description language，XYZ／ADL; 分类号 TP312 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名体绘制中的快速插值方法被引量：6: 2; 作者魏峰王文成吴恩华; 机构中科院软件所计算机科学开放研究实验室澳门大学科技学院; 出处《系统仿真学报》 CAS CSCD 2001年第S2期8-10,共3页; 基金国家自然基金资助 (编号:69903009); 文摘插值运算是体绘制中的基本运算,其操作量很大。为此,本文提出一种的新的插值方法,减少每次插值运算的计算量,并根据样点位置及其附近的资料情况减少插值运算的次数。由此可以加快体绘制的成象,而对图像质量没有影响。与已有的快速插值方法相比,新方法更有效。; 关键词插值体绘制可视化; Keywords interpolation volume rendering visualization; 分类号 TP391.7 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名三维可视化对于认知的作用被引量：13: 3; 作者华庆一房鼎益; 机构西北大学计算机科学系中科院软件所计算机科学开放研究实验室; 出处《计算机工程与科学》 CSCD 1998年第3期36-41,共6页; 基金国家自然科学基金中科院软件所开放实验室基金陕西省教委专项研究基金; 文摘本文通过描述面向对象系统结构的可视化问题来讨论三维可视化对于人类认知的作用。在节省屏幕空间及表示多维关系方面，三维表示范型可以减少两维表示范型的种种限制。因而三维图形表示在反映信息及其之间的关系方面具有更高的能力。本文试图说明这种能力使得三维可视化可有效地减轻人类的认知负担。; 关键词三维可视化认知面向对象计算机图形学; Keywords 3D visualization,recognition,visualization paradigm,objectoriented system.; 分类号 TP391.41 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于变迁系统的反应型控制系统建模与分析被引量：1: 4; 作者张广泉; 机构中科院软件所计算机科学开放研究实验室; 出处《计算机工程与设计》 CSCD 2001年第2期1-4,共4页; 基金国家自然科学基金!(60073020) 中科院计算机开放实验室青年科学基金!(2K05)。; 文摘文中通过对基本变迁系统进行相应的扩充，分别给出并发、实时及混成等３个不同抽象层次反应型控制系统的计算模型，并分析它们各自不同的特点。; 关键词变迁系统计算模型反应型控制系统建模控制理论; Keywords reactive systems concurrent systems real-time systems hybrid systems, computation models; 分类号 TP13 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名并发程序执行的一种粒度分析方法被引量：1: 5; 作者张广泉; 机构中科院软件所计算机科学开放研究实验室; 出处《计算机工程与应用》 CSCD 北大核心 2000年第5期54-56,65,共4页; 文摘文章讨论基于交替计算模式的并发程序执行行为的可信性问题。通过比较共享变量程序的交替计算与实际重叠执行，对并发程序的执行过程进行粒度分析──首先提出一种粒度细化、求精方法，限制单个原子转换包含的临界事件数目；继而引入一种限制临界引用（ＬＣＲ）条件，进一步限制每一与语句相关的转换至多执行一次临界引用；对任一程序，通过转换算法将其转化为与之等价的ＬＣＲ程序，且ＬＲ程序的交替计算结果与实际的重叠执行结果是一致的。; 关键词并发程序粒度求精粒度分析方法程序设计语言; Keywords Concurrent Program, Fair Transition System, Interleaved Computation, Overlapped Execution, Finer Granularity, limited-Critical-Reference; 分类号 TP311.1 [自动化与计算机技术—计算机软件与理论] TP312 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于时态逻辑的软件体系结构描述语言及其可视化环境	张广泉郑建丹骆华俊	《计算机工程与应用》 CSCD 北大核心	2001	4	在线阅读下载PDF 职称材料
2	体绘制中的快速插值方法	魏峰王文成吴恩华	《系统仿真学报》 CAS CSCD	2001	6	在线阅读下载PDF 职称材料
3	三维可视化对于认知的作用	华庆一房鼎益	《计算机工程与科学》 CSCD	1998	13	在线阅读下载PDF 职称材料
4	基于变迁系统的反应型控制系统建模与分析	张广泉	《计算机工程与设计》 CSCD	2001	1	在线阅读下载PDF 职称材料
5	并发程序执行的一种粒度分析方法	张广泉	《计算机工程与应用》 CSCD 北大核心	2000	1	在线阅读下载PDF 职称材料