搜索筛选:
搜索耗时0.0860秒,为你在为你在102,285,761篇论文里面共找到 16 篇相符的论文内容
发布年度:
[期刊论文] 作者：刘斌,马小薏,
来源：化工电子计算 年份：1989
...
[期刊论文] 作者：葛伟年,马小薏,
来源：江西通信科技 年份：1991
...
[期刊论文] 作者：马小薏,葛伟华,
来源：电脑 年份：1994
功能强、具有吸引力的图形用户接口成功因素之一在于使用了图标,屏幕设计过程中图标的使用已经成为用户接口范围内最热门的话题之一。本文在目前流行的窗口管理程序用户接口的表现属性基础上,分析了一般图形用户接口中图标的特征和特点。并且结合X环境下程序设......
[期刊论文] 作者：葛伟华,马小薏,
来源：计算机与现代化 年份：1995
本文从窗口系统的发展过程，窗口系统的定义，组成特征及其分类入手，着重分析了ＭＳ Ｗｉｎｄｏｗｓ窗口系统应用程序基本概念，详细说明了Ｗｉｎｄｏｗｓ窗口系统应用程序的组成，以及与ＭＳ ＤＯＳ应用程序之间的差别，同时，比较......
[期刊论文] 作者：葛伟华,马小薏,
来源：计算机与现代化 年份：1994
ＭＳＷｉｎｄｏｗｓ窗口系统是九十年代操作系统发展的主要方向之一，它具有丰富的系统功能，操作灵活方便的用户界面，可配置多种格式的系统字库，使得其对于计算机用户和应用设计人员具有很大的吸引力......
[期刊论文] 作者：马小薏,葛伟华,
来源：计算机应用研究 年份：1994
功能强、具有吸引力的图形用户接口成功因素之一在于使用了图标，屏幕设计过程中图标的使用已经成为用户接口范围内最热门的话题之一。本文在目前流行的窗口管理程序用户接口的......
[期刊论文] 作者：葛伟华，马小薏,
来源：计算机与现代化 年份：
几种微机常用图像文件结构分析葛伟华，马小薏（江西省军区司令部作训处南昌３３０００６）（江西省军区指挥自动化工作站南昌３３０００６）随着微型计算机的普及和应用的深入，图像这个古老的问题，又变成了人们研究和注意的新焦点。特别是多媒体系统的出现，图、文、声.........
[期刊论文] 作者：葛伟华,马小薏,
来源：计算机与现代化 年份：1995
ＭＳ Ｗｉｎｄｏｗｓ程序设计环境（续一）葛伟华，马小薏（江西省军区司令部作训处，南昌，３３０００６）（江西省军区指挥自动化工作站，南昌，３３００１３）（上接９５年第２期）２．２Ｗｉｎｄｏｗｓ应用程序的组成Ｗｉｎｄｏｗｓ的应用程序主要是由以下几大部分组.........
[期刊论文] 作者：葛伟华,马小薏,
来源：计算机与现代化 年份：1994
在当今计算机应用系统中，用户界面的重要性不断地提高，引起了广大设计者和用户的重视。本文从设计原则入手，通过实例详细分析了用户界面设计的各个阶段，并且给出了界面设计的两种......
[会议论文] 作者：葛伟华,马小薏,
来源：中国电子学会电子系统工程分会成立十周年年会 年份：1995
...
[期刊论文] 作者：葛伟华,马小薏,
来源：计算机与现代化 年份：1994
在当今计算机应用系统中，用户界面的重要性不断地提高，引起了广大设计者和用户的重视。本文从设计原则入手，通过实例详细分析了用户界面设计的各个阶段，并且给出了界面设计的两种......
[会议论文] 作者：葛伟华,马小薏,
来源：中国电子学会电子系统工程分会成立十周年年会 年份：1996
...
[期刊论文] 作者：马小薏，葛伟华,
来源：计算机应用研究 年份：
功能强、具有吸引力的图形用户接口成功因素之一在于使用了图标，屏幕设计过程中图标的使用已经成为用户接口范围内最热门的话题之一。本文在目前流行的窗口管理程序用户接口的表现属性基础上，分析了一般图形用户接口中图标的特征和特点。并且结合Ｘ环境下程序设计的......
[期刊论文] 作者：肖美华,江耘,邓宸芳,马小薏,薛锦云,,
来源：计算机安全 年份：2006
形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段。安全协议的形式化分析正成为国际上的研究热点。用于安全协议分析的逻辑需要对入侵者进行形式化建模,用于刻画入侵者能力。我们运用一种基于算法知识概念的逻辑分析安全协议,入......
[会议论文] 作者：肖美华,邓宸芳,马小薏,薛锦云,江耘,
来源：第20次全国计算机安全学术交流会 年份：2005
形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段.安全协议的形式化分析正成为国际上的研究热点.用于安全协议分析的逻辑需要对入侵者进行形式化建模,用于刻画入侵者能力.我们运用一种基于算法知识概念的逻辑分析安全协议,入侵......
[会议论文] 作者：肖美华[1]邓宸芳[2]马小薏[2]薛锦云[3]江耘[1],
来源：第20次全国计算机安全学术交流会 年份：2005
形式化方法是提高软件系统,特别是safety-critical系统的安全性与可靠性的重要手段.安全协议的形式化分析正成为国际上的研究热点.用于安全协议分析的逻辑需要对入侵者进行形...
相关搜索：
