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

2013 IEEE 43rd International Symposium on Multiple-Valued Logic最新文献

筛选
英文 中文
A Graph-Based Approach to Designing Parallel Multipliers over Galois Fields Based on Normal Basis Representations 基于正基表示的伽罗瓦域并行乘法器图设计方法
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.5
K. Okamoto, N. Homma, T. Aoki
{"title":"A Graph-Based Approach to Designing Parallel Multipliers over Galois Fields Based on Normal Basis Representations","authors":"K. Okamoto, N. Homma, T. Aoki","doi":"10.1109/ISMVL.2013.5","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.5","url":null,"abstract":"This paper presents a graph-based approach to designing arithmetic circuits over Galois fields (GFs) using normal basis representations. The proposed method is based on a graph-based circuit description called Galois-field Arithmetic Circuit Graph (GF-ACG). First, we extend GF-ACG to describe GFs represented by normal basis in addition to polynomial basis. We then apply the extended design method to Massey-Omura parallel multipliers which are well known as typical multipliers based on normal basis. We present the formal description in a hierarchical manner and show that the verification time is greatly reduced as compared with that of the conventional simulation technique. In addition, we design GF exponentiation circuits consisting of the Massey-Omura parallel multipliers and evaluate the performance in comparison with that of polynomial-basis multipliers.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127361696","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}
引用次数: 7
Multiple-Valued Reversible Benchmarks and Extensible Quantum Specification (XQS) Format 多值可逆基准和可扩展量子规范(XQS)格式
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.39
M. Hawash, M. Lukac, M. Kameyama, M. Perkowski
{"title":"Multiple-Valued Reversible Benchmarks and Extensible Quantum Specification (XQS) Format","authors":"M. Hawash, M. Lukac, M. Kameyama, M. Perkowski","doi":"10.1109/ISMVL.2013.39","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.39","url":null,"abstract":"In this paper we introduce a set of resources used to describe multiple-valued (MV) functions: a set of multiple-valued benchmarks and a file format specifically designed to accommodate the requirements of multiple-valued function representation. The proposed functions are intended for use as reference benchmarks for automated synthesis algorithms of multiple-valued circuits. In the MV domain, functions can be represented using fixed radices (e.g. ternary, quaternary, etc) or using mixed radices (hybrid functions). Since such functions are harder to represent with the existing PLA specification, in this paper, we introduce the eXtensible Quantum Specification (XQS) file format which is based on the well-known YAML file specification.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126589649","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}
引用次数: 6
A Transfer Function Model for Ternary Switching Logic Circuits 三元开关逻辑电路的传递函数模型
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.10
M. Thornton
{"title":"A Transfer Function Model for Ternary Switching Logic Circuits","authors":"M. Thornton","doi":"10.1109/ISMVL.2013.10","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.10","url":null,"abstract":"Ternary switching functions are formulated as transformations over vector spaces resulting in a characterization in the form of a transfer function. Ternary logic constants are modeled as vectors, thus the transfer functions are of the form of matrices that map vectors representing logic network input values to corresponding output vectors. Techniques for determination of the transfer matrix from a logic switching model or directly from a netlist are provided. The use of transfer matrices for logic network simulation are then developed that allow for multiple output responses to be obtained through a single vector-matrix product calculation.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124379783","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
Computational Medical and Health Care Technology 计算医学和卫生保健技术
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.20
Y. Hata, H. Nakajima
{"title":"Computational Medical and Health Care Technology","authors":"Y. Hata, H. Nakajima","doi":"10.1109/ISMVL.2013.20","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.20","url":null,"abstract":"This paper describes practical applications on computational medical and health care technology. First, we briefly describe medical image processing for diagnosing. Next, we demonstrate three ultrasonic surgery support systems for orthopedic surgeon, rectum cancer surgeon and urologist. In them, image and signal processing plays a primary role to solve each problem. Second, we describe home health care system. This goal is not clinical use but home use to pay consciousness to health. In it, we introduce a mat senor system, which detects heart rate and respiration, and a thermopile senor system, which detects human moving trajectory. Finally, body weight prediction methods are shown by using autoregressive model. As the results, the models successfully predict the body weights.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115409495","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}
引用次数: 2
A Broken Line Classification Method of Mathematical Graphs for Automating Translation into Scalable Vector Graphic 一种数学图的折线分类方法，用于自动转换成可缩放的矢量图
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.3
N. Takagi, Jianjun Chen
{"title":"A Broken Line Classification Method of Mathematical Graphs for Automating Translation into Scalable Vector Graphic","authors":"N. Takagi, Jianjun Chen","doi":"10.1109/ISMVL.2013.3","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.3","url":null,"abstract":"Tactile graphics are useful for visually impaired students when they study mathematics and science. However, producing tactile graphics is not simple task. An intelligent computer-aided system for assisting the production of tactile graphics is needed. To develop such a system, research on mathematical graph recognition techniques is needed. This paper focuses on a method of mathematical graph recognition. When drawing a mathematical graph, we use not only solid lines, but also use broken lines. This paper describes a method for extracting and classifying broken line elements from mathematical graphs.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115114325","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}
引用次数: 6
Analysis and Improvement of Transformation-Based Reversible Logic Synthesis 基于变换的可逆逻辑综合的分析与改进
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.14
Chander Chandak, A. Chattopadhyay, Soumajit Majumder, S. Maitra
{"title":"Analysis and Improvement of Transformation-Based Reversible Logic Synthesis","authors":"Chander Chandak, A. Chattopadhyay, Soumajit Majumder, S. Maitra","doi":"10.1109/ISMVL.2013.14","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.14","url":null,"abstract":"Ultra-low power dissipation for nanoscale circuits and future technologies such as quantum computing require reversible logic. Existing methods of reversible logic synthesis attempt to minimize gate count, quantum cost, garbage count and try to achieve scalability for large Boolean functions. Several notable heuristics for reversible logic synthesis employ a method based on repeated transformation, demonstrating excellent performance compared to available optimal results. In this paper, we suggest two novel techniques to the transformation-based synthesis flow for improving synthesis outcome. The first technique is based on properties of Boolean functions and the second technique incorporates generalized Fredkin gates during synthesis flow. We present theoretical results and experimental evidence in support of our strategies.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122644261","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}
引用次数: 6
Systems Health Care: Health Management Technology 系统卫生保健:健康管理技术
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.55
H. Nakajima, T. Shiga, Y. Hata
{"title":"Systems Health Care: Health Management Technology","authors":"H. Nakajima, T. Shiga, Y. Hata","doi":"10.1109/ISMVL.2013.55","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.55","url":null,"abstract":"Lifestyle diseases are strongly associated with lifestyle disease and the serious case of cardiovascular events which are main causes of long term nursing care. They would have strong impacts on the coming super aging society. In response to the problems to be solved, the notion technology of Systems Health Care and its technology have been proposed and developed by the authors to support health care in home and medical especially for lifestyle modification. In the framework, the important tools of Health Management Technology are investigated to be effective and efficient roles in the process of health management. The tools are Index, Criterion, and Causality which plays the roles in the health management functions of measurement, recognition, and estimation respectively. The applications are studied from the views of the tools; i.e., visceral fat and blood pressure are employed as the indices of vital signs and daily activities, sleep condition, and weight standing for diet as lifestyle habits.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130540995","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}
引用次数: 2
Solution of the Last Open Four-Colored Rectangle-Free Grid: An Extremely Complex Multiple-Valued Problem 最后开放四色无矩形网格的解:一个极其复杂的多值问题
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.51
B. Steinbach, C. Posthoff
{"title":"Solution of the Last Open Four-Colored Rectangle-Free Grid: An Extremely Complex Multiple-Valued Problem","authors":"B. Steinbach, C. Posthoff","doi":"10.1109/ISMVL.2013.51","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.51","url":null,"abstract":"It is a challenge in the multi-valued domain to solve problems that depend on a large number of variables, as large as possible. We selected for this paper the problem of rectangle-free colorings using four colors which could not be solved so far for the grids of the sizes 12 × 21 and 21 × 12. This problem depends on 12*21 = 252 four-valued variables. It is the last of so far unsolved rectangle-free grid problems for four colors. This paper aims at the solution of a multi-valued problem with an exceptionally high complexity. The search space for this finite problem is 4252 which is approximately 5.2 * 10151. A similar coloring problem was solved for the grid of the size 18 × 18 that relies on the extreme search space of approximately 1.1 * 10195. The construction of a cyclically reusable solution for a single color simplifies this search space approximately to 3.4 * 1097. Unfortunately, such a restriction to a single color is not possible in the case of a grid of the size 12 × 21. Hence, the complexity which must be handled in maintainable time grows additionally by a factor of more than 1054. Based on a very deep analysis of the properties of the problem we have constructed a strongly restricted SAT-model. This final model depends on 504 Boolean variables and 85.344 clauses. Using this SAT-instance we could calculate not only one solution but 38, 926 representatives of different permutation classes of four-colored rectangle-free grids of the size 12 × 21.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131627920","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
Chaotic Time Series Prediction Using Neuro-Fuzzy Systems with Cluster-Based Tribes Optimization Algorithm 基于聚类部落优化算法的神经模糊系统混沌时间序列预测
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.17
Cheng-Hung Chen, Rong-Zuo Jhang, Yen-Yun Liao
{"title":"Chaotic Time Series Prediction Using Neuro-Fuzzy Systems with Cluster-Based Tribes Optimization Algorithm","authors":"Cheng-Hung Chen, Rong-Zuo Jhang, Yen-Yun Liao","doi":"10.1109/ISMVL.2013.17","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.17","url":null,"abstract":"This study presents an efficient cluster-based tribes optimization algorithm (CTOA) to design neuro-fuzzy systems (NFS) for chaotic time series prediction. The proposed CTOA learning algorithm was used to parameter optimization of the NFS model. The CTOA adopts a self-clustering algorithm (SCA) to divide suitably a swarm into multiple tribes and uses different displacement strategies let each particle to select to update. Furthermore, the CTOA also utilizes adaptation mechanism to generate or remove particles and reconstruct tribal links to make the tribes to more adaption and improve the qualities of the tribes to evolve. Finally, the proposed NFS-CTOA method is applied to predict chaotic time series. Results of this study demonstrate the effectiveness of the proposed CTOA learning algorithm.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"141 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128807646","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}
引用次数: 1
Fault Ordering for Automatic Test Pattern Generation of Reversible Circuits 可逆电路自动测试图生成的故障排序
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.28
R. Wille, H. Zhang, R. Drechsler
{"title":"Fault Ordering for Automatic Test Pattern Generation of Reversible Circuits","authors":"R. Wille, H. Zhang, R. Drechsler","doi":"10.1109/ISMVL.2013.28","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.28","url":null,"abstract":"Reversible circuits are an attractive computation alternative as they build the basis for many emerging technologies such as quantum computation or low power design. Since first physical realizations of reversible circuits have already been presented in the past, how to efficiently test such circuits became a current research topic. Consequently, several approaches for Automatic Test Pattern Generation (ATPG) have been presented in the past. However, the order in which the respective faults are targeted has a significant effect on the resulting test size. While determining good fault orderings has intensely been considered for the test of conventional circuits, according strategies for reversible circuits have not been evaluated yet. This is done in this paper. To this end, a fault ordering scheme is presented that explicitly exploits the reversibility of the underlying circuits. Experimental results show that the proposed scheme leads to improvements of up to 65% in the size of the testset.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"13 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114032932","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}
引用次数: 7
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信
小红书