期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
程序:物理对象上的操作表达式(英文) 被引量:4
1
作者 袁崇义 黄雨 赵文 《计算机科学与探索》 CSCD 2009年第2期144-153,共10页
把赋值语句看作物理对象上的操作时,程序就呈现为物理对象上的操作构成的表达式(简称O表达式)。给出了定义O表达式语法的BNF公式,并用公理规定O表达式的语义。主动式的O表达式以计算最终结果为目的,因而相关公理给出的是施行表达式中操... 把赋值语句看作物理对象上的操作时,程序就呈现为物理对象上的操作构成的表达式(简称O表达式)。给出了定义O表达式语法的BNF公式,并用公理规定O表达式的语义。主动式的O表达式以计算最终结果为目的,因而相关公理给出的是施行表达式中操作以后的变量与施行之前变量之间的准确依赖关系。反应式O表达式要对外来需求作反应。描述反应的公理规定如何反应。有关通讯的公理要求正确的信息被正确的接受者收到。共享变量公理则给出有关共享变量的性质判断。例子用于说明异步顺序O表达式的性质是如何分析的。 展开更多
关键词 程序 物理对象 物理对象上的操作 物理对象上的操作表达 语义公理
在线阅读 下载PDF
WEB元素的对象表达
2
作者 魏婧 《安徽大学学报(自然科学版)》 CAS 2002年第4期26-29,共4页
文章阐述了面向领域的构件化的Web站点辅助开发方法中需要解决的首要问题 ,即Web元素的对象表达 ,使Web元素不再表现为文本代码而是表现为具有方法和属性的对象 ,用户无须熟悉HTML标记 ,只要通过对对象属性的设置 。
关键词 WEB元素 对象表达 领域工程 页面元素 万维网 WEB站点 网页制作 软件复用
在线阅读 下载PDF
面向对象型有限元建模专家系统的设计与实现 被引量:3
3
作者 徐元铭 龚尧南 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2001年第3期301-304,共4页
介绍了运用面向对象原理与人工智能逻辑推理技术相结合的方法来构造航空结构有限元建模专家系统 (OOFEMES) .着重论述了系统的结构、功能设计与实现策略 ,包括领域知识的获取、分类、表达与组织 ,以及知识的推理与运算求解方式 .给出了... 介绍了运用面向对象原理与人工智能逻辑推理技术相结合的方法来构造航空结构有限元建模专家系统 (OOFEMES) .着重论述了系统的结构、功能设计与实现策略 ,包括领域知识的获取、分类、表达与组织 ,以及知识的推理与运算求解方式 .给出了针对飞机结构不规则性 (如开口、断接等情况 )进行模型局部修正的任务处理流程 ,并通过应用实例 。 展开更多
关键词 有限元分析 人工智能 专家系统 面向对象表达 建模
在线阅读 下载PDF
谈“指人呼告”和“拟人呼告”
4
作者 张德明 《汉语学习》 CSSCI 北大核心 1995年第1期28-29,共2页
谈“指人呼告”和“拟人呼告”张德明陈望道在《修辞学发凡》一书中把"呼告"作为一种积极修辞的手法列入了修辞格,解释说:"话中撇了对话的听者或读者,突然直呼话中的人或物来说话的,名叫呼告辞。"又说:"呼告也同比拟和示现一... 谈“指人呼告”和“拟人呼告”张德明陈望道在《修辞学发凡》一书中把"呼告"作为一种积极修辞的手法列入了修辞格,解释说:"话中撇了对话的听者或读者,突然直呼话中的人或物来说话的,名叫呼告辞。"又说:"呼告也同比拟和示现一样发生在情感急剧处,而且带有比拟和... 展开更多
关键词 思想感情 感情激动 表达效果 语言艺术化 感情强烈 表达对象 锦州师范学院 语义搭配 五指山 万泉河
在线阅读 下载PDF
基于广义贝叶斯网的图像模式识别框架研究
5
作者 李甦 谭永龙 陈新亿 《计算机工程与设计》 CSCD 北大核心 2010年第19期4268-4271,共4页
为增强机器自适应筛选能力和减少人工干预并最终实现机器自动认知的目标,通过对贝叶斯网的改进,提出了广义贝叶斯网。在其基础上结合图像模式识别理论,定义了图像知识的集合运算、新知识加入等运算以及基于广义贝叶斯网的图像模式识别... 为增强机器自适应筛选能力和减少人工干预并最终实现机器自动认知的目标,通过对贝叶斯网的改进,提出了广义贝叶斯网。在其基础上结合图像模式识别理论,定义了图像知识的集合运算、新知识加入等运算以及基于广义贝叶斯网的图像模式识别框架的知识映射变换、表达、存储的统一的抽象结构。在理论上找到了一种图像模式识别框架中知识表达的统一方法,而且对提高图像模式识别过程的机器参与度具有实际的指导意义。 展开更多
关键词 数字图像处理 模式识别 模式识别框架 知识系统 对象表达
在线阅读 下载PDF
一种面向异质性时空场数据分析的张量模型 被引量:2
6
作者 李冬双 滕玉浩 +1 位作者 罗文 俞肇元 《地理与地理信息科学》 CSCD 北大核心 2022年第2期17-23,共7页
面向高维数据分析的张量方法在应用于异质性时空数据时,易造成特征估计偏差问题,而建立从局部到整体的特征分析框架有助于提升异质性张量分析的准确性,但该分析框架构建涉及不同维度、不同结构时空数据对象,进而会增加时空数据模型的复... 面向高维数据分析的张量方法在应用于异质性时空数据时,易造成特征估计偏差问题,而建立从局部到整体的特征分析框架有助于提升异质性张量分析的准确性,但该分析框架构建涉及不同维度、不同结构时空数据对象,进而会增加时空数据模型的复杂度。该文从张量模型的特性出发,利用张量算子分别建立张量子空间和张量块的数据组织与表达结构,以时空场数据的面向对象表达为基础,定义适用于异质性时空场数据的类与操作,并将该数据模型应用于异质性时空场数据分析方法设计。基于气象再分析数据的实验表明:该文的数据模型可有效支撑高维时空场数据的统一组织与表达,在支撑异质性时空场数据的特征提取方面较经典的张量分析方法具有更高的准确性。 展开更多
关键词 张量分析 异质性时空场 面向对象表达 数据模型
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部