检索结果-内蒙古大学图书馆

四川大学学报（工程科学版） 2009年第1期41卷 134-138页

作者：乔瑞吴尽昭中国科分院成都计算机应用研究所四川成都610041

为了增强可形式刻画正则程序行为的带测试克林代数(KAT)的表达能力,提出了一个加概率的带测试克林代数(PKAT)的完整理论用于对加概率正则程序的推演。提出了状态为PKAT表达式和数据状态组成的序列对的概率格局变迁系统。然后在概率格局... 详细信息

为了增强可形式刻画正则程序行为的带测试克林代数(KAT)的表达能力,提出了一个加概率的带测试克林代数(PKAT)的完整理论用于对加概率正则程序的推演。提出了状态为PKAT表达式和数据状态组成的序列对的概率格局变迁系统。然后在概率格局变迁系统的基础上给出结构操作语义。并给出PKAT的基于操作语义的概率互模拟等价关系。最后证明了PKAT中等式关于互模拟等价的可靠性。

关键词：概率带测试克林代数概率格局变迁系统结构操作语义互模拟等价

来源：评论

学校读者我要写书评

暂无评论

核设施环境与三废数据管理系统的研制

引用

原子能科学技术 1998年第2期32卷 110-114页

作者：燕宏城中国原子能科学研究院计算机应用研究所

研制了民用核设施的环境、辐射防护和三废数据管理软件。详细讲述了在软件的研制过程中，利用ＶｉｓｕａｌＦｏｘＰｒｏ为开发工具，运用面向对象的设计方法和拖放、动画、ＯＬＥ等ＷＩＮＤＯＷＳ高级功能，解决了在数据管理中遇到的难... 详细信息

研制了民用核设施的环境、辐射防护和三废数据管理软件。详细讲述了在软件的研制过程中，利用ＶｉｓｕａｌＦｏｘＰｒｏ为开发工具，运用面向对象的设计方法和拖放、动画、ＯＬＥ等ＷＩＮＤＯＷＳ高级功能，解决了在数据管理中遇到的难点，阐述了整个工作中技术上的创新和该管理系统的优点。

关键词：核设施环境数据管理系统废水废气固体废物

来源：评论

学校读者我要写书评

暂无评论

新的图像加密方法

引用

电子科技大学学报 2010年第1期39卷 128-132页

作者：唐聃王晓京陈峥中国科学院成都计算机应用研究所成都610041

针对数字图像信息数据量大、冗余度高和像素间相关性强等特点,提出了一种基于二元多项式的图像加密新方法。在对图像的加密过程中,该方法使用另一幅图像作为密钥,使得密钥形象直观且伪装性强,而密钥图像的尺寸可以远远小于加密图像,便... 详细信息

针对数字图像信息数据量大、冗余度高和像素间相关性强等特点,提出了一种基于二元多项式的图像加密新方法。在对图像的加密过程中,该方法使用另一幅图像作为密钥,使得密钥形象直观且伪装性强,而密钥图像的尺寸可以远远小于加密图像,便于保存。因加密的大部分步骤中只用到了有限域的加法运算,因此该算法的加密效率较高。该加密方法不仅有安全性高和便于图像的局部加密等优点,还可以方便地推广到视频的图像加密领域,具有很好的应用前景。

关键词：二元多项式编码有限域图像叠加图像处理

来源：评论

学校读者我要写书评

暂无评论

基于图像差距度量的阈值选取方法

引用

计算机研究与发展 2001年第5期38卷 563-567页

作者：付忠良中国科学院成都计算机应用研究所成都610041

依靠阈值分割出目标与背景在图像处理与分析问题中经常使用 .基于好阈值分割出的目标与背景之间的差距应该最大以及它们与原图像的差距应该都很大这一特点 ,在给出一些差距度量的基础上 ,一些新的阈值选取方法被提出 .所有方法都有与 O... 详细信息

依靠阈值分割出目标与背景在图像处理与分析问题中经常使用 .基于好阈值分割出的目标与背景之间的差距应该最大以及它们与原图像的差距应该都很大这一特点 ,在给出一些差距度量的基础上 ,一些新的阈值选取方法被提出 .所有方法都有与 Otsu方法类似的简单计算公式 ,特别地 ,根据这一原则 ,Otsu方法被多次导出 .这也间接地说明了依据上面原则来构造图像阈值选取方法的合理性 .所有方法均经实际图像验证证明是行之有效的 .

关键词：阈值选取图像差距度量图像识别图像处理计算机

来源：评论

学校读者我要写书评

暂无评论

通用历史数据库管理系统GHDBS的设计与实现

引用

计算机研究与发展 1997年第4期34卷 281-286页

作者：刘宗田合肥工业大学微型计算机应用研究所

在各类生产调度自动化系统中，历史数据库是重要的组成部分．本文介绍了一种通用历史数据库管理系统ＧＨＤＢＳ的设计与实现技术．该系统不仅可以很容易地嵌入应用系统，而且可以作为独立的系统，用于生产统计。

关键词：历史数据库生产调度自动化数据库系统

来源：评论

学校读者我要写书评

暂无评论

基于粗糙集的决策规则约简

引用

计算机工程 2003年第12期29卷 5-7页

作者：马廷淮赵亚伟张海盛曾振柄中国科学院成都计算机应用研究所成都610041

粗糙集理论是一个新的数据挖掘方法，正越来越被人们所重视。其主要思想是保持分类能力不变的情况下，利用等价类，通过属性约简和决策规则约简，达到发掘知识并简化知识的目的。但是属性约简是一个NP问题，对属性的约简和决策规则的约... 详细信息

粗糙集理论是一个新的数据挖掘方法，正越来越被人们所重视。其主要思想是保持分类能力不变的情况下，利用等价类，通过属性约简和决策规则约简，达到发掘知识并简化知识的目的。但是属性约简是一个NP问题，对属性的约简和决策规则的约简只能通过启发式算法实现。该文针对属性约简和决策规则约简，各提出了一个启发式算法。

关键词：粗糙集属性约简决策规则约简启发式

来源：评论

学校读者我要写书评

暂无评论

一种改进的形式化本体模型研究

引用

深圳大学学报（理工版） 2007年第4期24卷 393-398页

作者：杨德仁华东师范大学计算机应用研究所上海200062

基于对象、属性、类及其之间的4个主要关系,即实例关系、属关系、抽象关系和区分关系,提出一种本体三角形模型.该模型符合人的抽象思维过程,其核心机制是抽象原理.采用一阶逻辑等值演算形式化定义该模型结构,根据实体及其关系分析其约... 详细信息

基于对象、属性、类及其之间的4个主要关系,即实例关系、属关系、抽象关系和区分关系,提出一种本体三角形模型.该模型符合人的抽象思维过程,其核心机制是抽象原理.采用一阶逻辑等值演算形式化定义该模型结构,根据实体及其关系分析其约束机制,论述相应公理,解释一些重要推论.这种形式化本体理论系统描述了分类学,为实现本体框架奠定了基础,可用于实现知识推理.

关键词：形式化本体三角形模型分类学 Isa关系

来源：评论

学校读者我要写书评

暂无评论

通用二维几何的蒙特卡罗热谱程序 MCTGP-2D

引用

原子能科学技术 1997年第3期31卷 234-237页

作者：李卫平杨锦安张孝泽中国原子能科学研究院计算机应用研究所

ＭＣＴＧＰ－２Ｄ是多能蒙特卡罗热谱程序ＭＣＴＧＰ的新版本，用ＦＯＲＴＲＡＮ语言编制，可以在ＰＣ３８６以上的微机上运行，除了保留ＭＣＴＧＰ程序的全部功能外，每个栅元可以由圆、椭圆、任意三角形、任意四边形、矩形相组合而成... 详细信息

ＭＣＴＧＰ－２Ｄ是多能蒙特卡罗热谱程序ＭＣＴＧＰ的新版本，用ＦＯＲＴＲＡＮ语言编制，可以在ＰＣ３８６以上的微机上运行，除了保留ＭＣＴＧＰ程序的全部功能外，每个栅元可以由圆、椭圆、任意三角形、任意四边形、矩形相组合而成。可以处理通用二维几何，栅元内几何区数任意。具备微机上栅元几何图形显示功能。对束棒栅和平板栅两个样本方案的计算结果与ＭＣＴＧＰ计算结果相符。

关键词：热谱蒙特卡罗通用二维几何反应堆少群计算

来源：评论

学校读者我要写书评

暂无评论

BS-1型数据采集器的硬软件设计

引用

电网技术 1990年第4期14卷 63-65页

作者：左京强章欣电科院计算机应用研究所

BS-1型数据采集器在用电管理部门用作抄表机,能在抄表现场抄录和存贮数据,并能通过串行口把这些数据送入计算机。本文介绍了BS-1型数据采集器的设计思想、功能特点和实际应用情况。

关键词：电力系统管理数据采集器抄表机

来源：评论

学校读者我要写书评

暂无评论

ICF准直系统的非正常图像分类检测

引用

哈尔滨工业大学学报 2011年第7期43卷 140-143页

作者：谢阅王晓东中国工程物理研究院计算机应用研究所四川绵阳621900

为克服由于非正常图像的存在,导致准直循环次数增加,降低了准直的效率这一困难,对非正常图像的特点进行了分析,设计了贝叶斯分类器实现对图像的分类,并通过对光斑图像形状因子的判定实现对畸变图像的检测.实验结果表明:通过设定合理的... 详细信息

为克服由于非正常图像的存在,导致准直循环次数增加,降低了准直的效率这一困难,对非正常图像的特点进行了分析,设计了贝叶斯分类器实现对图像的分类,并通过对光斑图像形状因子的判定实现对畸变图像的检测.实验结果表明:通过设定合理的分类条件及形状判定标准,可以有效地实现对非正常图像的分类、检测过滤,减少基于非正常图像的准直循环次数,降低因非正常图像导致准直失败的概率,有效改善自动准直系统的工作效率;同时对非正常图像的产生原因进行初步分类,为故障的快速定位提供支持.

关键词：自动准直贝叶斯分类特征提取

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：