检索结果-南通市图书馆

计算机学报 1994年第10期17卷 721-728页

作者：杨立中国科学院自动化研究所

本文讨论了面向对象数据库模式中对象类型的规范化，基于对象集合的等价提出了类型的一种范式，给出了将类型转换为范式的规则，并且证明了范式的唯一性及转换规则的完备性．本文工作在面向对象数据库设计标准化方面迈出了一步．

关键词：数据库规范化等介代换对象类型

在线全文

学校读者我要写书评

暂无评论

基于对象类型的API补全方法

软件学报 2022年第5期33卷 1736-1757页

作者：唐泽李传艺葛季栋骆斌计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

近年来,随着软件技术在各行各业、不同领域的应用不断扩展与深入,同时伴随着软件架构、服务计算等技术的不断发展,软件行业涌现出了功能丰富且规模庞大的第三方API或库,软件开发者在实现软件功能的时候也越来越依赖这些API.但学习这些AP... 详细信息

近年来,随着软件技术在各行各业、不同领域的应用不断扩展与深入,同时伴随着软件架构、服务计算等技术的不断发展,软件行业涌现出了功能丰富且规模庞大的第三方API或库,软件开发者在实现软件功能的时候也越来越依赖这些API.但学习这些API的使用是非常困难且耗时的,主要有两方面的原因:1)相关文档的缺失和错误;2)相关API用法的示例代码较少.因此,研究自动的API补全方法以帮助开发人员在开发过程中正确且快速的使用API,具有很大的应用价值.然而,现有API自动补全方案多数将待补全代码段看作纯文本,忽略了API所属对象类型对预测API的影响.为此,探究了对象类型对补全API的作用,并且在对象状态图的启发下,设计了一种使用API所属对象的类型作为特征的补全方法.具体而言,首先从API调用序列中先抽取同一对象类型的子序列,利用深度学习模型编码出每个对象的状态,再利用对象状态生成整个方法块的状态表示进行补全.为了验证提出的补全方法,在6个流行Java项目上进行了验证.实验结果证明,提出的考虑对象类型的API补全方法在预测准确率上明显高于基线模型.

关键词： API补全对象类型插件

在线全文

学校读者我要写书评

暂无评论

对象类型与对象子类型研究

计算机应用与软件 2001年第11期18卷 18-20,63页

作者：李必信王云峰李宣东郑国梁南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

本文揭示了对象类型的子类型关系,给出对象子类型的性质及规范,分析了对象子类型关系存在的语法条件、语义条件、充要条件,阐述了对象子类型与程序精化的联系,最后给出对象子类型的推理规则。

关键词：程序设计语言面向对象对象类型对象子类型

在线全文

学校读者我要写书评

暂无评论

矿业权价款处置对象类型及分割方法应用研究

矿业权价款处置对象类型及分割方法应用研究

作者：张军中国地质大学(北京)

学位级别：硕士

矿业权价款评估规范中缺少相关价款分割方法,导致在同一个价款评估体系、出让制度下相似矿业权处置结果存在较大差异,致使公众对矿业权评估机构及协会出具报告的公平、公正、合理性产生了疑惑,也对国土资源管理部门的公信力产生了一定... 详细信息

矿业权价款评估规范中缺少相关价款分割方法,导致在同一个价款评估体系、出让制度下相似矿业权处置结果存在较大差异,致使公众对矿业权评估机构及协会出具报告的公平、公正、合理性产生了疑惑,也对国土资源管理部门的公信力产生了一定的影响;因此研究矿业权价款分割方法能促进矿业权价款评估健康有序的发展。由于我国矿业权价款征收制度是由计划经济向市场经济转型时的一项特殊制度,国外尚无可供借鉴的成熟经验,只能在我国特殊国情下加以研究完善;故而本篇论文是在我国现行矿业权价款评估体系及价款征收制度之下,对课题进行研究的。笔者通过分析业内对矿业权价款分割实践做法,初步将我国矿业权价款处置对象类型划分为:新增资源储量类,扩大矿界范围类,整合类,扩大生产规模类(特指原矿证年限大于30年),涉及国家出资的预、普查探矿权等5类;绘制出对应类型示意图,便于直观界定价款处置对象及范围。对当前矿业权价款分割中惯用的“矿产资源储量比例法”、“重置成本比例法”方法原理、适用范围及注意事项进行了归纳。通过研究“阿勒泰市铁米尔特多金属矿采矿权”、“云南省弥渡县东村铜铅锌矿详查探矿权”两个评估案例,明确了我国现行矿业权价款分割的经济内涵,对现行方法中存在的问题提出了改良方法及建议。具体研究成果及结论列示如下:1、矿业权价款分割,其内涵为区分国家和矿业权人的出资权益,将矿业权内占用国家出资部分以货币量表现出来,并发表专业意见的行为。2、提出新的矿业权价款分割方法“销售收入比例法”、推导出分割公式;采用案例数据对其进行验证,解决了原方法在采矿、选矿环节因分割区矿体与其余矿体间采矿回采率及选矿回收率差异造成的影响;提高了矿业权价款分割方法的精度。3、研究了“重置成本比例法”中存在的问题,提出在比例系数中需考虑效用系数、调整系数等参数,用来衡量勘查工作量对探矿权整体价值的贡献度,突出有效性原则。本论文是笔者就读中国地质大学(北京)工程硕士期间完成的毕业论文,受工作及时间关系限制,因此研究课题中无论在全面性、广泛性上均存在一定不足,有待进一步收集大量案例进行统计研究,对当前的研究成果进行补充和完善。

关键词：矿业权价款评估分割方法对象类型

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一种新型的对象类型规范语言

计算机工程与科学 1996年第2期18卷 66-72页

作者：李侃李舟军国防科技大学计算机学院

本文介绍了一种新型的对象类型规范语言，它融汇了一些关于对象类型理论的最新成果，并给出了基于该语言的子类型概念。

关键词：面象对象类型规范语言子类型对象类型

在线全文

学校读者我要写书评

暂无评论

对象类型作为对象和对象作为对象类型

计算机与现代化 1995年第3期 32-36页

作者：黄育潜孙米平江西师范大学计算机科学系

对象类型作为对象和对象作为对象类型Ｏｂｊｅｃｔｔｙｐｅａｓｏｂｊｅｃｔｓ—ａｎｄｖｉｃｅｖｅｒｓ￥ＪａｍｅｓＯｄｅｌｌ正确的对象类型是对象这个事实是面向对象的一个基本概念。然而，大多数面向对象环境都不能很好地支持这个... 详细信息

对象类型作为对象和对象作为对象类型Ｏｂｊｅｃｔｔｙｐｅａｓｏｂｊｅｃｔｓ—ａｎｄｖｉｃｅｖｅｒｓ￥ＪａｍｅｓＯｄｅｌｌ正确的对象类型是对象这个事实是面向对象的一个基本概念。然而，大多数面向对象环境都不能很好地支持这个概念。但是这个概念对许多面向对象技...

关键词：对象类型对象面向对象程序语言

在线全文

学校读者我要写书评

暂无评论

RTL对象类型和分类浅析

软件导刊 2005年第17期 45-46页

作者：胡丽徐州市广播电视大学江苏徐州 221009

介绍了寄存器转换语言(RTL)3个组成部分的内容,包括RTL的对象类型、RTL的分类和格式以及如何访问其操作数,这些是学习RTL的基础。

关键词： RTL 对象类型分类基础

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

浅析语义对象类型

高等函授学报（自然科学版） 2000年第5期13卷 40-42页

作者：黄薇华中师范大学计算机科学系

确定语义对象对于建立语义对象模型是很重要的。本文对七种语义对象类型举例分析 ,论述了确定不同的语义对象的方法 ,从而把具体对象从事物中更为清晰地抽象出来 ,为建立语义对象模型奠定了基础。

关键词：对象类型语义对象模型属性数据模型数据库数据结构数据联系

在线全文

学校读者我要写书评

暂无评论

少数民族地区思政教育对象类型及特征研究

青春岁月 2017年第23期 194-194页

作者：聂丽君南昌工学院马克思主义学院

在社会主义建设过程中,我国一直坚持民族平等的基本国策,旨在促进民族团结和共同繁荣,但我国少数民族基本位于比较偏远的地区,经济社会发展水平相对落后,教育事业和东部地区相比还存在很大的差距,尤其是思想政治教育水平,这直接关系到... 详细信息

在社会主义建设过程中,我国一直坚持民族平等的基本国策,旨在促进民族团结和共同繁荣,但我国少数民族基本位于比较偏远的地区,经济社会发展水平相对落后,教育事业和东部地区相比还存在很大的差距,尤其是思想政治教育水平,这直接关系到民族团结和国家稳定,少数民族聚居地不同于一般地区,决定了其思政教育的特殊性。本文分析了少数民族地区思政教育的必要性,深入探析了其思政教育的对象类型和特征,从而可以更有针对性地开展思政教育工作。

关键词：少数民族思想政治教育对象类型特征

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

面向对象方法中的类型概念

计算机研究与发展 1997年第10期34卷 726-730页

作者：袁晓东陈家骏郑国梁南京大学计算机科学与技术系

本文讨论了面向对象方法中非常重要的类型概念，指出对象类型由对象集、状态集、运算集、方法集和约束组成，并进一步阐述了对象类型的层次结构、对象的动态类型集和静态类型、对象方法的封闭性以及对象方法的动态定连等问题，为进一步... 详细信息

本文讨论了面向对象方法中非常重要的类型概念，指出对象类型由对象集、状态集、运算集、方法集和约束组成，并进一步阐述了对象类型的层次结构、对象的动态类型集和静态类型、对象方法的封闭性以及对象方法的动态定连等问题，为进一步的研究奠定了基础．

关键词：对象类型封闭性类型面向对象程序设计