期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
奇阶和幻方的构造算法研究
被引量：
2
The Global Properties of Valid Formulas in Modal Logic K
下载PDF
职称材料
导出
摘要
本文介绍了构造奇阶和幻方的十二种算法，并给出了实现的ＰＡＳＣＡＬ语言程序。对软件工作者、软件水平考试者及其他感兴趣的读者都具有一定的参考价值。
作者
宁正元
唐雪萍
机构地区
福建林学院计算机科学系
出处
《计算机应用研究》
CSCD
1996年第2期14-19,共6页
Application Research of Computers
关键词
奇阶
幻方
构造算法
程序设计
Modal logic system K, global property, tableau method, automated reasoning
分类号
O157.2 [理学—基础数学]
TP311 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
2
共引文献
0
同被引文献
8
引证文献
2
二级引证文献
9
参考文献
2
1
宁正元.
一个典型的循环设计[J]
.计算机应用研究,1995,12(3):100-101.
被引量：1
2
谭浩强,田淑清.PASCAL语言程序设计[M]高等教育出版社,1989.
同被引文献
8
1
黎罗罗.
Arnold型置乱变换周期分析[J]
.中山大学学报（自然科学版）,2005,44(2):1-4.
被引量：30
2
虞贵财,邵玉斌,肖笛.
产生高斯白噪声的研究与实现[J]
.电子科技,2006,19(11):16-18.
被引量：7
3
吴旻升,王介生,刘慎权.
图像的排列变换[J]
.计算机学报,1998,21(6):514-519.
被引量：64
4
丁玮,齐东旭.
数字图像变换及信息隐藏与伪装技术[J]
.计算机学报,1998,21(9):838-843.
被引量：327
5
黄长蓉.
Hilbert变换及其应用[J]
.成都气象学院学报,1999,14(3):273-276.
被引量：16
6
齐东旭,邹建成,韩效宥.
一类新的置乱变换及其在图像信息隐蔽中的应用[J]
.中国科学（E辑）,2000,30(5):440-447.
被引量：166
7
刘加林,秦学玲,王力红,梁传余,蒋涛.
常用噪声评价量的特点及运用[J]
.四川环境,2002,21(4):83-85.
被引量：5
8
赵学峰.
基于面包师变换的数字图像置乱[J]
.西北师范大学学报（自然科学版）,2003,39(2):26-29.
被引量：29
引证文献
2
1
王秀丽,宁正元.
基于奇幻方的数字图像加密算法[J]
.闽江学院学报,2006,27(2):57-59.
被引量：6
2
张震,安建伟,张鹏.
噪声在图像和幻方置乱中的影响[J]
.计算机与数字工程,2008,36(5):139-141.
被引量：3
二级引证文献
9
1
谭永杰,马苗.
位平面与Gray码相结合的图像置乱方法[J]
.计算机工程与应用,2010,46(16):174-177.
被引量：10
2
谭永杰,张文娟,崔海花.
图像置乱技术综述[J]
.周口师范学院学报,2010,27(5):98-102.
被引量：8
3
杨春标,刘健波.
基于相乘法的图像置乱算法[J]
.计算机工程与设计,2011,32(5):1605-1608.
被引量：1
4
熊玮.
一种基于位置变换和灰度变换相结合的数字图像置乱方法[J]
.软件导刊,2011,10(11):159-161.
被引量：2
5
刘颖,刘健波.
幻方群在图像置乱中的研究与应用[J]
.计算机技术与发展,2012,22(9):119-122.
被引量：4
6
谭永杰,王倩.
基于相邻点运算与混沌映射的图像置乱方法[J]
.计算机与数字工程,2013,41(8):1340-1342.
7
范铁生,张绍成,张忠清,宣伟宏,薛军.
小波域局部标准差的图像置乱评价方法[J]
.小型微型计算机系统,2014,35(4):931-935.
被引量：1
8
梁志和.
关于一些most-perfect阵列的构造[J]
.应用数学学报,2015,38(3):518-525.
9
兰娅勋,蔡娟,李振坤.
基于全神经网络增强算法的WSNs故障预警与检测[J]
.计算机测量与控制,2023,31(11):81-87.
1
段学新.
完全图K_(2n+1)的2因子分解[J]
.吉林大学学报（信息科学版）,2010,28(2):209-213.
2
谢晓兰,谷晓峰.
以软件水平考试为纽带的计算机课程群建设[J]
.新校园（上旬刊）,2016,0(2):52-53.
被引量：1
3
孟凡申.
幂和的两个组合公式[J]
.廊坊师范学院学报（自然科学版）,2009,9(1):5-8.
4
程子元,田桂林.
GM（1，1）拓扑模型群在微机上的实现及其应用[J]
.大学数学,1994,15(3):82-83.
5
张杰,张茂勇.
水和水蒸汽的热工参数计算及其程序编制[J]
.河北建筑科技学院学报,1997,14(4):28-31.
6
李冠林,顾大权.
幻方的实现方法研究[J]
.微型电脑应用,2010,26(1):17-18.
被引量：4
7
邓德朗.
电子衍射过程的模拟程序[J]
.大学物理,1988,0(4):36-36.
8
张楠,杨彩.
正交多项式的图形及检索程序[J]
.重庆理工大学学报（自然科学）,2013,27(10):125-128.
9
王玉巧,陈敏玲.
计算机软件专业技术资格和水平考试题型浅述[J]
.计算机时代,2001(9):21-23.
10
软考小知识[J]
.电脑迷,2004,0(8):78-78.
计算机应用研究
1996年 第2期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部
