形式化表示相关论文
用户界面作为向用户传递信息的直接桥梁,需要将界面中的信息合理地展现给用户。线框图是基于信息架构设计的,既能反映出信息架构的......
工作流技术是一个被业界广泛应用并迅速发展的技术,而工作流建模技术一直是工作流技术研究的重要课题之一,它的研究范围包括:工作......
当前，空间信息已经开始走向产业化，属于市场竞争和科技创新的热门话题。社会经济的持续发展，需要与自然资源的合理利用及生态环境的保......
风险 从应用角度分析，局域网内部的风险点如下： （1）用户身份认证系统过于脆弱。过分依赖软件自带的口令机制，往往这种口令系统带......
功能点分析是从用户的角度度量软件功能规模的一种方法。本文首先对功能点分析（FPA）现有的半形式化模型进行了扩充,然后形式化描述了......
当我们用计算机进行问题的求解时,首先需要用适当的数据进行问题表示,然后再设计相应的算法对这些数据进行变换处理来获得问题的求......
特征设计方法在设计中的成功应用取决于其形式化设计理论的建立，文章从形式化定义和设计过程描述这两个方面研究了特征设计的形式抡......
资源描述框架（RDF）正成为语义网技术中首选的数据描述语言,因而在语义网系统中有着广泛的应用基础。RDF的形式化表示问题是RDF研究领......
针对资源网络能提供可靠的IP协议进行了研究.提出了包错误处理、阻塞检测和资源效能的不同方法,并根据阻塞控制和资源效率对各种协......
依据我国情报检索语言的权威理论和构建标准，参考中国分类主题词表、汉语主题词表、中图法、军用电子分类表的编制说明或规范，以及已......
本文阐述了一种面向概念设计的逻辑结构造型方法,提出了独立于几何细节而又表达功构关系的逻辑结构特征定义和表示方式,给出了支持......
针对代码缺陷研究中存在的缺陷产生场景不明确以及形式化程度较低等问题，基于模式的定义给出代码缺陷模式定义，以其核心三要素为基础......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
几何学知识内容丰富、形式多样、结构复杂。如何在现代计算设备上对几何知识进行高效管理是一个亟待研究的问题。基于一种标准化的......
总结了信息化战争形态下,军事训练模拟领域对联合战役自动决策的军事需求;采用实体、行动、任务、交互(entities,actions,tasks,in......
<正> 七、安全功能要求 在明确用户需求后,需要在产品或系统中采取相应的技术安全措施来满足这些需求,安全功能要求就是规范这些技......
在多智能Agent系统的研究方面，Agent间的交互问题依然是研究的热点。对于交互中产生的信息如何进行合理的处理并对其加以利用，正是需......
健康是人类最宝贵的财富，近些年人们对自身健康关注程度与日俱增。随着信息技术在生物医学领域上的飞速发展以及互联网和移动通信设......
为方便我国中文知识组织系统（KOS）编纂机构选择合适的形式化表示语言,尽快实现传统中文KOS的形式化表示和网络化应用,文章从目标层次......
文章将面向对象分析（ＯＯＡ），结构化分析（ＳＡ）和数据结构分析（ＤＳＡ）方法相结合，提出了一种信息系统需求分析的面向对象层次分析方法（ＯＯＨＡ），给出了对象的属性和方......
互联网的发展,信息技术和网络技术的日趋成熟,给我国政府采购带来了很大的挑战。传统的政府采购,信息化程度低,采购流程十分繁琐,......
以SKOS Core为基础,以实现中文叙词表和分类法等传统受控词表的全描述为目标,研究传统中文知识组织系统的语义描述规范。其中,针对......
军事需求形式化表示是军事需求工程的重要内容之一,该文对军事需求形式化表示三要素进行了系统分析,并对三要素之间的关系进行了阐......
