张家重
- 作品数：34 被引量：135H指数：6
- 供职机构：山东师范大学信息科学与工程学院计算机系更多>>
- 发文基金：国家高技术研究发展计划国家杰出青年科学基金山东省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信文化科学更多>>
- 面向对象系统分析CASE系统中模型库的设计与一致性验证
- 本文介绍了在面向对象系统分析CASE系统中模型库的设计与管理问题,并探讨了模型库中各类信息一致性验证策略。本文讨论的问题是我们研制面向对象系统分析CASE系统的一个重要问题。
- 刘培玉张家重江志超陈寿元
- 关键词：面向对象CASE模型库一致性
- 文献传递
- 算法语言L的指称语义
- 1998年
- 文中为算法语言Ｌ定义了动态指称语义，在描述中避免了含有函数空间构造运算的递归论域方程．指称语义可以说明Ｌ的一些良好的数学性质，也可以说明指称语义技术可以达到更好的直观性和实用性．
- 王岩冰张家重张家重
- 关键词：程序语言指称语义
- 一种CAI学习模型及其超文本课件被引量：1
- 1997年
- 在讨论了ＣＡＩ学习理论的基础上，给出了一个ＣＡＩ认知学习模型，详细介绍了为实现此模型而设计的一种超文本课件的组织．此模型的ＣＡＩ系统可以为教师提供一个方便的教学设计环境，有助于解决现有ＣＡＩ软件教学设计不足的问题．
- 郑明春刘弘张家重
- 关键词：CAI
- 一种层次式面向对象的系统分析模型被引量：1
- 1995年
- 首先给出了一种用于信息建模的层次式面向对象的系统分析模型，包括静态模型和动态模型，其次还较详细地讨论了需求分析模型的正确性及一致性问题．利用这种层次方法建立的需求分析模型，易于理解和维护，又便于图形描述，因而，支持需求分析建模的辅助软件工具也易于开发实现．
- 刘培玉张家重郑明春刘方爱
- 关键词：面向对象系统模型
- 关于解释学习逻辑构架的一些扩充
- 1991年
- 近来,在机器学习研究领域中,解释学习倍受重视,而其中心机制——解释推广却受限于一阶逻辑,为支持高阶对象和模态概念,本文介绍了两种扩充 Horn 逻辑表示域的方法,并通过例子说明了解释推广在扩充表示域中的实现。
- 张家重费宗铭王岩冰
- 关键词：人工智能逻辑
- 机器学习与问题求解被引量：2
- 1995年
- 从问题求解的角度，主要时机器学习在软件自动化领域的应用作一概述，首先阐明了学习与问题求解的关系；其次回顾了问题求解策略的学习；最后介绍了把机器学习用于软件生产自动化研究所做的工作。
- 张家重段会川范绍军江志超
- 关键词：软件自动化
- 面向对象系统分析方法的研究被引量：6
- 1997年
- 本文首先给出了一种用于信息建模的层次式面向对象的系统分析模型，包括静态模型和动态模型，其次还对论了需求分析模型的正确性及一致性问题。利用这种层次方法建立的需求分析模型，易于理解和维护，又便于图形描述，因而，支．持需求分析建模的辅助软件工具也易于开发实现。
- 刘培玉刘法胜张家重潘建平
- 关键词：面向对象软件开发
- 算法分解结构的学习及其效用
- 1992年
- 为提高软件自动化系统的算法自动设计能力,本文提出了将解释学习方法用于学习算法设计策略的思想。文中介绍了算法分解结构的学习模型,以及反映学习效用的问题求解机制,并通过例子说明了经过学习,系统能够解决原来不能解决的问题。
- 张家重王岩冰费宗铭徐家福
- 关键词：软件自动化
- 汉语组合类型语法被引量：3
- 1991年
- 组合类型语法是从计算机处理汉语的角度,在范畴语法的基础上提出的一种汉语的形式语法理论。本文介绍了其基本思想及所建立的汉语语法体系,并给出了一些描述实例。
- 翟成祥王岩冰张家重徐家福
- 关键词：汉语语法计算机
- 面向对象语言中的限制继承
- 1993年
- 软件重用是提高软件生产率、保证软件质量的重要方法之一,而程序设计语言中的继承机制是软件重用的有效途径.在当前颇受关注的面向对象语言中,介绍较多的是语言所提供的继承设施.本文讨论了面向对象语言中的继承种类,重点探讨了作为薄弱环节的限制继承,并给出实现限制继承的方法.
- 张家重王志坚
- 关键词：面向对象语言
