发布求助
文献互助 智能选刊 最新文献

2009 39th International Symposium on Multiple-Valued Logic最新文献

筛选
英文 中文
Evaluation of Cardinality Constraints on SMT-Based Debugging 基于smt调试的基数约束评估
2009 39th International Symposium on Multiple-Valued Logic Pub Date : 2009-05-21 DOI: 10.1109/ISMVL.2009.28
André Sülflow, R. Wille, G. Fey, R. Drechsler
{"title":"Evaluation of Cardinality Constraints on SMT-Based Debugging","authors":"André Sülflow, R. Wille, G. Fey, R. Drechsler","doi":"10.1109/ISMVL.2009.28","DOIUrl":"https://doi.org/10.1109/ISMVL.2009.28","url":null,"abstract":"For formal verification of hardware Satisfiability Modulo Theory (SMT) solvers are increasingly applied. Today's state-of-the-art SMT solvers use different techniques like term-rewriting, abstraction, or bit-blasting. The performance does not only depend on the underlying decision problem but also on the encoding of the original problem into an SMT instance. In this work, encodings for cardinality constraints in SMT are investigated. Three different encodings are considered: an adder network, an encoding with multiplexors, and a newly proposed encoding with shifters. The encodings are analyzed with respect to size and complexity. The experimental evaluation on debugging instances that contain cardinality constraints shows the strong influence of the encoding on the resulting run-times.","PeriodicalId":115178,"journal":{"name":"2009 39th International Symposium on Multiple-Valued Logic","volume":"10 5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126036868","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Non-convex Fuzzy Truth Values and De Morgan Bisemilattices 非凸模糊真值与De Morgan半格
2009 39th International Symposium on Multiple-Valued Logic Pub Date : 2009-05-21 DOI: 10.1109/ISMVL.2009.34
N. Takagi
{"title":"Non-convex Fuzzy Truth Values and De Morgan Bisemilattices","authors":"N. Takagi","doi":"10.1109/ISMVL.2009.34","DOIUrl":"https://doi.org/10.1109/ISMVL.2009.34","url":null,"abstract":"Many types of fuzzy truth values, numerical, interval, triangular, and trapezoid truth values, have been proposed and studied about their mathematical properties. It is the characteristic that they are convex fuzzy truth values. Recently, a new type of fuzzy truth values, which we call multi-interval truth values, have been proposed. A characteristic feature of multi-interval truth values is that some of them are not convex. The conventional operations min, max and x mapsto 1-x$ on the unit interval [0, 1] can be expanded into those on the set of multi-interval truth values. These operations are denoted as $land$, $sqcup$, $bar{~~}$, respectively. Then, this paper first shows that $(S, land, sqcup, bar{~~}, mathbf{0}, mathbf{1})$ is a de Morgan bisemilattice. Next, this paper focuses on functions that are expressed by logic formulas, where a logic formula is composed of variables on multi-interval truth values, and the operations $sqcup$, $land$ and $bar{~~}$. Necessary conditions for a function on multi-interval truth values to be expressed by a logic formula are clarified.","PeriodicalId":115178,"journal":{"name":"2009 39th International Symposium on Multiple-Valued Logic","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117017927","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Web-Based Nursing Care Quality Improvement System with Fuzzy Recommendation System 基于网络的护理质量改进系统与模糊推荐系统
2009 39th International Symposium on Multiple-Valued Logic Pub Date : 2009-05-21 DOI: 10.1109/ISMVL.2009.22
R. Sakashita, A. Uchinuno, K. Kamiizumi, Keiko Tei, N. Awaya
{"title":"Web-Based Nursing Care Quality Improvement System with Fuzzy Recommendation System","authors":"R. Sakashita, A. Uchinuno, K. Kamiizumi, Keiko Tei, N. Awaya","doi":"10.1109/ISMVL.2009.22","DOIUrl":"https://doi.org/10.1109/ISMVL.2009.22","url":null,"abstract":"The authors have been developing a tool for measuring for the quality of nursing care since 1993. This tool consisted of three dimensions: structure, process, and outcome. Each dimension was constructed from measurements of six domains into which the applicants responses were previously ¿categorized, such as \"understanding individuality\", \"patient empowerment\", \"family care\", \"direct care\", \"medical team coordination \" and \"incident prevention\". It has been developed and posted on a web site for gathering data from, and returning feedback to the participants’ units for the quality improvement of nursing. In this study, a fuzzy recommendation system for the feedback was developed through an expert panel then evaluated by participants.","PeriodicalId":115178,"journal":{"name":"2009 39th International Symposium on Multiple-Valued Logic","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127241725","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Hyperclones Determined by Total-Parts of Hyper-relations 由超关系的总-部分决定的超克隆
2009 39th International Symposium on Multiple-Valued Logic Pub Date : 2009-05-21 DOI: 10.1109/ISMVL.2009.50
Hajime Machida, J. Pantović
{"title":"Hyperclones Determined by Total-Parts of Hyper-relations","authors":"Hajime Machida, J. Pantović","doi":"10.1109/ISMVL.2009.50","DOIUrl":"https://doi.org/10.1109/ISMVL.2009.50","url":null,"abstract":"This paper studies sets  of hyper-operations preserving relations on power set without emptyset. For a particular property of a relation, such a set  is hyperclone. We consider relations having total part exactly from Rosenberg's classes of relations.  By investigating nontrivial equivalence relations,  central relations and regular relations as total part, we show that sets of hyper-operations preserving such hyper-relations are maximal hyperclones.","PeriodicalId":115178,"journal":{"name":"2009 39th International Symposium on Multiple-Valued Logic","volume":"115 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123957899","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Generating Hard Instances for MaxSAT 生成MaxSAT的硬实例
2009 39th International Symposium on Multiple-Valued Logic Pub Date : 2009-05-21 DOI: 10.1109/ISMVL.2009.58
R. Béjar, Alba Cabiscol, F. Manyà, Jordi Planes
{"title":"Generating Hard Instances for MaxSAT","authors":"R. Béjar, Alba Cabiscol, F. Manyà, Jordi Planes","doi":"10.1109/ISMVL.2009.58","DOIUrl":"https://doi.org/10.1109/ISMVL.2009.58","url":null,"abstract":"MaxSAT solvers have made tremendous progress in terms of performance in recent years. However, there has not been parallel progress in the generation of challenging benchmarks for studying the scaling behavior of solvers, and comparing their performance. Most experimental investigations only include, besides the standard MaxkSAT instances, the sets of individual instances submitted to the  MaxSAT evaluations held so far. The problem with many of the latter instances is that they are becoming easy for modern solvers, and do not allow to analyse the scaling behavior. To cope with that problem, we propose several newgenerators of MaxSAT instances, which produce pure random instances as well as more realistic, structured instances.Moreover, we report on an experimental investigation with the aim of analysing the behavior of some of the fastest MaxSAT solvers when solving instances produced with the new generators. Our empirical results provide a new testbed of challenging benchmarks, as well as insights into the hardness nature of MaxSAT.","PeriodicalId":115178,"journal":{"name":"2009 39th International Symposium on Multiple-Valued Logic","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117277682","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
On Endoprimal Monoids in Clone Theory 克隆理论中的内生一元类
2009 39th International Symposium on Multiple-Valued Logic Pub Date : 2009-05-21 DOI: 10.1109/ISMVL.2009.53
Hajime Machida, I. Rosenberg
{"title":"On Endoprimal Monoids in Clone Theory","authors":"Hajime Machida, I. Rosenberg","doi":"10.1109/ISMVL.2009.53","DOIUrl":"https://doi.org/10.1109/ISMVL.2009.53","url":null,"abstract":"The endomorphisms of a universal algebra on a universe A form a monoid of selfmaps on A. Such monoids, called endoprimal monoids, are special and rare. In this paper we study the first interesting case of a 3-element set A. In the lattice of inclusion-ordered endoprimal monoids we find three maximal endoprimal monoids. This knowledge allows us to conclude that many large monoids are not endoprimal.","PeriodicalId":115178,"journal":{"name":"2009 39th International Symposium on Multiple-Valued Logic","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127518717","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
On the Guidance of Reversible Logic Synthesis by Dynamic Variable Reordering 动态变量重排序对可逆逻辑综合的指导
2009 39th International Symposium on Multiple-Valued Logic Pub Date : 2009-05-21 DOI: 10.1109/ISMVL.2009.31
D. Y. Feinstein, M. Thornton
{"title":"On the Guidance of Reversible Logic Synthesis by Dynamic Variable Reordering","authors":"D. Y. Feinstein, M. Thornton","doi":"10.1109/ISMVL.2009.31","DOIUrl":"https://doi.org/10.1109/ISMVL.2009.31","url":null,"abstract":"This paper proposes a framework that improves reversible logic synthesis by employing a dynamically determined variable order for quantum multiple-valued decision diagrams (QMDD). We demonstrate our approach through augmentation of the Miller-Maslov-Dueck (MMD) algorithm that processes the complete function specification in lexicographical order with our technique. We represent and minimize the complete specification with the QMDD and then synthesize the function specification based on the minimized variable order. The framework produces significantly smaller reversible circuits in many cases. Experimental results also show the effectiveness of using the QMDD size as a measure of the complexity of MVL and binary reversible circuits.","PeriodicalId":115178,"journal":{"name":"2009 39th International Symposium on Multiple-Valued Logic","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133973931","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Quaternary Addition Circuits Based on SUSLOC Voltage-Mode Cells and Modeling with SystemVerilog© 基于SUSLOC电压型单元的四元加法电路及其SystemVerilog建模
2009 39th International Symposium on Multiple-Valued Logic Pub Date : 2009-05-21 DOI: 10.1109/ISMVL.2009.66
Satyendra R. Datla, M. Thornton, Luther Hendrix, Dave Henderson
{"title":"Quaternary Addition Circuits Based on SUSLOC Voltage-Mode Cells and Modeling with SystemVerilog©","authors":"Satyendra R. Datla, M. Thornton, Luther Hendrix, Dave Henderson","doi":"10.1109/ISMVL.2009.66","DOIUrl":"https://doi.org/10.1109/ISMVL.2009.66","url":null,"abstract":"Multiple Valued Logic (MVL) has been gaining popularity and practical applications. In addition to the standard MVL benefits, quaternary logic offers the benefit of easy interfacing to binary logic due to the fact that the radix 4=22 allows for simple encoding/decoding circuits. Quaternary cells based on the Supplementary Symmetrical Logic Circuit Structure (SUSLOC) [2] are modeled and used for our adder circuit structures. Several different adder configurations are designed and modeled using the basic quaternary gates and are modeled with the SystemVerilog modeling language. Different adder configurations are compared for their size and estimated logic depth for area and performance estimation and compared with their binary counterparts.","PeriodicalId":115178,"journal":{"name":"2009 39th International Symposium on Multiple-Valued Logic","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134116246","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 15
Quantum Finite State Machines as Sequential Quantum Circuits 作为顺序量子电路的量子有限状态机
2009 39th International Symposium on Multiple-Valued Logic Pub Date : 2009-05-21 DOI: 10.1109/ISMVL.2009.46
M. Lukac, M. Perkowski
{"title":"Quantum Finite State Machines as Sequential Quantum Circuits","authors":"M. Lukac, M. Perkowski","doi":"10.1109/ISMVL.2009.46","DOIUrl":"https://doi.org/10.1109/ISMVL.2009.46","url":null,"abstract":"In this paper we present the synthesis process of quantum finite state machines for sequence detection based on the synthesis of quantum sequential circuits. Such machines have many applications for instance in robotics. We show the relation between the quantum circuit and the natural ability of quantum systems to retain the quantum state. We consider cases where a single qubit in a circuit represents a quantum state and another is used as the input qubit. We analyze some of the well known circuits as sequence detectors and describe their behaviors. We show that the standard quantum logic synthesis can be used for both the synthesis of quantum circuits as well as for quantum finite state machines used as sequence detectors.","PeriodicalId":115178,"journal":{"name":"2009 39th International Symposium on Multiple-Valued Logic","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133283587","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 18
Multi-path Switching Device Utilizing a Multi-terminal Nanowire Junction for MDD-Based Logic Circuit 基于mdd逻辑电路的多端纳米线结多径开关器件
2009 39th International Symposium on Multiple-Valued Logic Pub Date : 2009-05-21 DOI: 10.1109/ISMVL.2009.43
S. Kasai, Y. Shiratori, Kensuke Miura, Nan-Jian Wu
{"title":"Multi-path Switching Device Utilizing a Multi-terminal Nanowire Junction for MDD-Based Logic Circuit","authors":"S. Kasai, Y. Shiratori, Kensuke Miura, Nan-Jian Wu","doi":"10.1109/ISMVL.2009.43","DOIUrl":"https://doi.org/10.1109/ISMVL.2009.43","url":null,"abstract":"Simple and compact multi-path switching devices for multi-valued decision diagram (MDD)-based logic circuits are designed, fabricated and characterized. The devices switch multiple exit branches for electrons entering from an entry branch, according to multi-valued input. The switching function is implemented by dual gating on multiple nanowires with different threshold voltages. The gate threshold voltage is controlled by precise design of gate structures and sizes in nanometer scale. The operation principle of the device is described using a simple analytical model. Ternary-path switching devices are demonstrated using AlGaAs/GaAs etched nanowire junctions together with nanometer-scale Schottky wrap gates (WPGs) and in-plane gates (IPGs).","PeriodicalId":115178,"journal":{"name":"2009 39th International Symposium on Multiple-Valued Logic","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114964213","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信