第27届ISMVL 1997:加拿大新斯科舍省安提戈尼什
-
第27届IEEE多值逻辑国际研讨会,ISMVL 1997,加拿大新斯科舍省Antigonish,1997年5月28日至30日,会议记录。 IEEE计算机学会 1997 ,国际标准图书编号 0-8186-7910-7
邀请的地址
D.Rooß :
DNA计算的最新发展。 3-12
分解I
马雷克·佩考斯基(Marek A.Perkowski) , 马尔戈扎塔·马雷克·萨多夫斯卡 , 莱赫·Józwiak , 塔德乌兹·卢巴 , 斯坦·格里吉尔 , 米罗斯拉瓦·诺维卡 , 拉胡尔·马尔维 , 王志 , Jin S.Zhang先生 :
多值关系的分解。 13-18 埃琳娜·杜布罗娃 , 乔恩·穆齐奥 , 伯恩哈德·冯·斯坦格尔 :
寻找多值函数的合成树。 19-26 Craig M.文件 , 罗尔夫·德雷克斯勒 , 马雷克·佩考斯基(Marek A.Perkowski) :
使用多值决策图对MVL函数进行功能分解。 27-34
技术
高雄瓦霍 , 山本正美 :
共振隧道四进制量化器在超高速A/D转换器中的应用。 35-40 Toshio Baba先生 , Tetsuya Uemura公司 :
多值逻辑电路用多结表面隧道晶体管。 41-46 平冢正彦 , 青木Takafumi , 平口达雄 :
生物分子计算用酶晶体管电路。 47-54
最小化I
Tsutomu Sasao , 乔恩·巴特勒 :
多值函数最差和最佳积和表达式的比较。 55-60 阿卡迪吉·扎克列夫斯基 , 列夫·扎克列夫斯基 :
最小化不完全指定MVL函数系统Reed-Muller展开的快速算法。 61-65 罗尔夫·德雷克斯勒 , 马丁·凯姆 , 伯恩德·贝克尔 :
Sympathy-MV:固定极性多值线性表达式的快速精确最小化。 66-74
代数
阿利乌恩·恩贡(Alioune Ngom) , 科琳娜·赖舍尔 , 丹·西莫维奇 , 伊万·斯托杰梅诺维奇 :
集值逻辑在并与交组合下的完备性准则。 75-82 鲍里斯·罗莫夫 :
有限集上的超克隆。 83-88 Noboru Takagi公司 , Y.中村 , 中岛圭 :
集值函数和正则性。 89-96
最小化II
Yutaka Hata公司 , 清道夫干酪 , 北津隆弘 , Naotake Kamiura公司 , 山户和弘 :
用遗传算法实现多值逻辑最小化。 97-102 Yutaka Hata公司 , Naotake Kamiura公司 , 大和和尚 :
带截断和的多值求和表达式。 103-110
哲学方面
光谱技术
苏珊托·拉哈尔贾 , 博格丹·法尔科夫斯基 :
复杂阿达玛变换家族:与其他变换和复杂复合谱的关系。 125-130 博格丹·法尔科夫斯基 , 苏珊托·拉哈贾 :
统一复Hadamard变换的性质和应用。 131-138
测试和故障模拟
弗拉德·P·什默科 , 斯维特拉娜·亚努什凯维奇 , 维塔利·列瓦申科 :
基于广义D算法的组合多值网络测试模式生成。 139-144 罗尔夫·德雷克斯勒 , 马丁·凯姆 , 伯恩德·贝克尔 :
时序多值逻辑网络中的故障模拟。 145-152
邀请的地址
埃瓦·奥洛夫斯卡 :
多值性和不确定性。 153-162
电路应用
T.宇都美 , Naotake Kamiura公司 , Yutaka Hata公司 , 大和和尚 :
具有通用文字的多值可编程逻辑阵列。 163-168 石冢冈彦 , 大田秋弘 , Koichi Tanno先生 , 郑唐 , Dwi手册 :
直接产生部分乘积的四元乘法器的VLSI设计。 169-174 高弘韩愈 , Manabu Arakaki公司 , Michitaka Kameyama公司 :
用于细胞逻辑图像处理的一个晶体管单元4值通用文字CAM。 175-182
模糊逻辑
赫尔穆特·蒂勒 :
广义模糊蕴涵类、广义否定类和S-范数类的互定义性。 183-188 陈俊达 , 大卫·C·莱恩 :
训练基于模糊逻辑的软件组件以供重用。 189-194 埃尔德穆斯·梅耶·祖·贝克斯顿(Erdmuthe Meyer zu Bexten) , F.萨贾迪 , 克劳迪奥·莫拉加 :
Lindenmayer模糊语言和a-Driven Lindenmaier语言的性质。 195-202
电路
里卡多·马里亚尼 , 罗伯托·隆塞拉 , 罗伯托·萨莱蒂 , 皮耶朗基罗·特雷尼 :
CMOS三值逻辑在异步电路实现中的有用应用。 203-208 吴寻伟 , 马苏德·佩德拉姆 :
参考电流型CMOS电路设计三值CCD电路。 209-214 安德烈亚斯·赫菲尔德 , 西格伯特·亨奇克 :
四元动态微分逻辑及其在模糊逻辑电路中的应用。 215-222
应用
Seiki Akama公司 :
不完全信息六值逻辑的一种证明方法。 223-226 罗伯特·毕格纳尔 , 马修·斯宾克斯 :
作为编程语言的多值逻辑。 227-232 郑唐 , 山口Takayuki Yamaguchi , Koichi Tashima公司 , 石冢冈彦 , Koichi Tanno先生 :
多值免疫网络模型及其仿真。 233-240
邀请的地址
佐佐佐木 :
三元决策图:综述。 241-252
逻辑设计
穆斯塔法·I.H.Abd-El-Bar , 穆罕默德·纳亚尔·哈桑 , G.A.哈米德 :
利用输入和输出相位分配合成MVL函数。 253-258 安德烈亚斯·埃策尔 :
多值系统的混合离散优化。 259-264 Yasunori Nagata , 马绍·穆凯多诺 :
采用B-三值逻辑的异步数字系统的设计。 265-274
函数表示法
拉多米尔·斯坦科维奇 , 罗尔夫·德雷克斯勒 :
基于Kronecker-Galois场决策图的多值函数电路设计。 275-280 拉多米尔·斯坦科维奇 :
具有预处理的有限非贝拉群上的Fourier决策图。 281-286 斯坦·格里吉尔 , 马雷克·佩考斯基(Marek A.Perkowski) , 马尔戈扎塔·马雷克·萨多夫斯卡 , 塔德乌兹·卢巴 , 莱赫·Józwiak :
立方体图丛:强未指定多值函数和关系的一种新表示。 287-292