首页 > 最新文献

2012 International Symposium on Electronic System Design (ISED)最新文献

英文 中文
0.5 V, Low Power, 1 MHz Low Pass Filter in 0.18 µm CMOS Process 0.5 V,低功耗,1 MHz低通滤波器,0.18µm CMOS工艺
Pub Date : 2012-12-19 DOI: 10.1109/ISED.2012.46
H. VasanthaM., T. Laxminidhi
In this paper a low power continuous-time 4th order low pass Butterworth filter operating at power supply of 0.5 V is presented. A 3-dB bandwidth of 1 MHz using technology node of 0.18 μm is achieved. In order to achieve necessary head-room, the filter uses pseudo-differential bulk-driven transconductor. A master-slave based common mode feedback(CMFB) circuit sets the output common mode voltage of transconductor. The simulation results show that the filter has a dynamic range of 54 dB and consumes a total power of 36 μW when operating at a supply voltage of 0.5 V. The Figure of Merit (FOM) achieved by the filter is 0.05 fJ, lowest among similar low-voltage filters found in the literature. The simulation result show that the 3-dB bandwidth variation for process, voltage and temperature is less than ±10%.
本文介绍了一种工作在0.5 V电源下的低功率连续4阶巴特沃斯滤波器。采用0.18 μm的技术节点,实现了1mhz的3db带宽。为了获得必要的头部空间,滤波器采用了伪差分体驱动的晶体管。一个基于主从共模反馈(CMFB)电路设定了晶体管的输出共模电压。仿真结果表明,当电源电压为0.5 V时,滤波器的动态范围为54 dB,总功耗为36 μW。该滤波器的优值(FOM)为0.05 fJ,在文献中发现的类似低压滤波器中最低。仿真结果表明,工艺、电压和温度对3db带宽的影响小于±10%。
{"title":"0.5 V, Low Power, 1 MHz Low Pass Filter in 0.18 µm CMOS Process","authors":"H. VasanthaM., T. Laxminidhi","doi":"10.1109/ISED.2012.46","DOIUrl":"https://doi.org/10.1109/ISED.2012.46","url":null,"abstract":"In this paper a low power continuous-time 4th order low pass Butterworth filter operating at power supply of 0.5 V is presented. A 3-dB bandwidth of 1 MHz using technology node of 0.18 μm is achieved. In order to achieve necessary head-room, the filter uses pseudo-differential bulk-driven transconductor. A master-slave based common mode feedback(CMFB) circuit sets the output common mode voltage of transconductor. The simulation results show that the filter has a dynamic range of 54 dB and consumes a total power of 36 μW when operating at a supply voltage of 0.5 V. The Figure of Merit (FOM) achieved by the filter is 0.05 fJ, lowest among similar low-voltage filters found in the literature. The simulation result show that the 3-dB bandwidth variation for process, voltage and temperature is less than ±10%.","PeriodicalId":276803,"journal":{"name":"2012 International Symposium on Electronic System Design (ISED)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125479839","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
Confidence Based Power Aware Testing 基于信心的功率感知测试
Pub Date : 2012-12-19 DOI: 10.1109/ISED.2012.22
T. Maiti, Subhadip Kundu, Arpita Dutta, S. Chattopadhyay
In modern deep sub-micron technology, it is very crucial to have quality product with low power test and desired level of fault coverage. In this paper, we address a technique to reduce test length with efficiently managed scan power and higher test quality, targeting to achieve a desired level of fault coverage with all essential (marked) faults being covered as well. This can aid in achieving a trade-off between test time and quality assurance of the product. It can provide a level of confidence about the correctness of system functionalities for the amount of test effort incorporated. Experimental results of our approach on ISCAS'89 benchmark circuits show a good reduction in test length with improved fault coverage. It also makes the resulting test set power aware.
在现代深亚微米技术中,具有低功耗测试的高质量产品和理想的故障覆盖率是至关重要的。在本文中,我们讨论了一种技术,以有效地管理扫描功率和更高的测试质量来减少测试长度,目标是在覆盖所有基本(标记)故障的情况下达到所需的故障覆盖水平。这可以帮助实现测试时间和产品质量保证之间的权衡。它可以为所合并的测试工作的数量提供关于系统功能正确性的信心级别。我们的方法在ISCAS’89基准电路上的实验结果表明,在提高故障覆盖率的同时,测试长度得到了很好的缩短。它还使结果测试集具有功率感知。
{"title":"Confidence Based Power Aware Testing","authors":"T. Maiti, Subhadip Kundu, Arpita Dutta, S. Chattopadhyay","doi":"10.1109/ISED.2012.22","DOIUrl":"https://doi.org/10.1109/ISED.2012.22","url":null,"abstract":"In modern deep sub-micron technology, it is very crucial to have quality product with low power test and desired level of fault coverage. In this paper, we address a technique to reduce test length with efficiently managed scan power and higher test quality, targeting to achieve a desired level of fault coverage with all essential (marked) faults being covered as well. This can aid in achieving a trade-off between test time and quality assurance of the product. It can provide a level of confidence about the correctness of system functionalities for the amount of test effort incorporated. Experimental results of our approach on ISCAS'89 benchmark circuits show a good reduction in test length with improved fault coverage. It also makes the resulting test set power aware.","PeriodicalId":276803,"journal":{"name":"2012 International Symposium on Electronic System Design (ISED)","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126614073","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
Dynamic Sharing of On-Chip Scratchpad Memory on Embedded Platforms 嵌入式平台上片上刮板存储器的动态共享
Pub Date : 2012-12-19 DOI: 10.1109/ISED.2012.31
Sandip Ghosh, P. Ghosh, Sourav Roy
As more and more functions are integrated on a System-On-Chip (SoC), the number of on-chip peripherals is increasing sharply. Most of these peripheral functions use an internal scratchpad memory for temporary storage of data. Hence, the area and power penalty due to a large number of these scratchpad memories distributed across the die is significant. This paper proposes a centralized scratchpad memory architecture which can be used by different peripherals in a SoC on need basis. Since the use cases on embedded platforms do not require usage of all peripherals simultaneously, the memory footprint in a shared configuration is considerably less compared to cumulative memory of individual modules. Each peripheral has to request for allocation of a chunk of memory for read-write operations. Finally, the peripheral releases the memory after its usage is complete. This paper discusses the micro-architectural details of the memory controller including the several integration challenges. We have shown that such a centralized scheme significantly reduces the area and leakage power consumption of scratchpad memories in several network processor SoCs ranging from 20% to 60%.
随着越来越多的功能集成在片上系统(SoC)上,片上外设的数量急剧增加。这些外设功能大多使用内部的暂存存储器来临时存储数据。因此,由于分布在整个模具上的大量这些刮擦板存储器造成的面积和功率损失是显著的。本文提出了一种集中式的刮刮板存储器架构,该架构可以根据需要在SoC的不同外设中使用。由于嵌入式平台上的用例不需要同时使用所有外设,因此与单个模块的累积内存相比,共享配置中的内存占用要少得多。每个外设都必须请求为读写操作分配一块内存。最后,外设在内存使用完成后释放内存。本文讨论了存储器控制器的微体系结构细节,包括几个集成挑战。我们已经证明,这种集中式方案显着降低了几种网络处理器soc中刮刮板存储器的面积和泄漏功耗,范围从20%到60%。
{"title":"Dynamic Sharing of On-Chip Scratchpad Memory on Embedded Platforms","authors":"Sandip Ghosh, P. Ghosh, Sourav Roy","doi":"10.1109/ISED.2012.31","DOIUrl":"https://doi.org/10.1109/ISED.2012.31","url":null,"abstract":"As more and more functions are integrated on a System-On-Chip (SoC), the number of on-chip peripherals is increasing sharply. Most of these peripheral functions use an internal scratchpad memory for temporary storage of data. Hence, the area and power penalty due to a large number of these scratchpad memories distributed across the die is significant. This paper proposes a centralized scratchpad memory architecture which can be used by different peripherals in a SoC on need basis. Since the use cases on embedded platforms do not require usage of all peripherals simultaneously, the memory footprint in a shared configuration is considerably less compared to cumulative memory of individual modules. Each peripheral has to request for allocation of a chunk of memory for read-write operations. Finally, the peripheral releases the memory after its usage is complete. This paper discusses the micro-architectural details of the memory controller including the several integration challenges. We have shown that such a centralized scheme significantly reduces the area and leakage power consumption of scratchpad memories in several network processor SoCs ranging from 20% to 60%.","PeriodicalId":276803,"journal":{"name":"2012 International Symposium on Electronic System Design (ISED)","volume":"332 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121255168","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
Application Mapping Onto Mesh-of-Tree Based Network-on-Chip Using Discrete Particle Swarm Optimization 基于离散粒子群优化的树状网格片上网络应用映射
Pub Date : 2012-12-19 DOI: 10.1109/ISED.2012.17
P. Sahu, Ashish Sharma, S. Chattopadhyay
This paper addresses the problem of application mapping for Mesh-of-Tree (MoT) based Network-on-Chip. It proposes a new mapping technique based on discrete Particle Swarm Optimization (PSO) to map the cores of the core graph to the routers. The results have been compared with techniques reported in the literature for a number of benchmark applications. The reported strategy produces results superior to those obtained via existing approaches within a reasonable CPU time.
研究了基于树状网格(MoT)的片上网络的应用映射问题。提出了一种基于离散粒子群优化(PSO)的映射技术,将核心图的核心映射到路由器。将结果与文献中报道的用于许多基准应用程序的技术进行了比较。在合理的CPU时间内,报告的策略产生的结果优于通过现有方法获得的结果。
{"title":"Application Mapping Onto Mesh-of-Tree Based Network-on-Chip Using Discrete Particle Swarm Optimization","authors":"P. Sahu, Ashish Sharma, S. Chattopadhyay","doi":"10.1109/ISED.2012.17","DOIUrl":"https://doi.org/10.1109/ISED.2012.17","url":null,"abstract":"This paper addresses the problem of application mapping for Mesh-of-Tree (MoT) based Network-on-Chip. It proposes a new mapping technique based on discrete Particle Swarm Optimization (PSO) to map the cores of the core graph to the routers. The results have been compared with techniques reported in the literature for a number of benchmark applications. The reported strategy produces results superior to those obtained via existing approaches within a reasonable CPU time.","PeriodicalId":276803,"journal":{"name":"2012 International Symposium on Electronic System Design (ISED)","volume":"52 1-4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132563614","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}
引用次数: 11
Analysis of Contact Resistance Effect on Performance of Organic Thin Film Transistors 接触电阻对有机薄膜晶体管性能的影响分析
Pub Date : 2012-12-19 DOI: 10.1109/ISED.2012.64
B. Kumar, B. Kaushik, Y. S. Negi
This paper proposes an analytical model for the bottom gate structure comprising contacts at above the semiconductor and/or insulator layer in organic thin film transistor (OTFT) on the basis of contact resistance effect. These devices suffer from limitations such as contact resistance, low mobility regions and low mobility of charge carriers. In lieu of that, contact resistance and contact effect are demonstrated by two-dimensional device simulation. The current equations are derived from linear to saturation regime by considering overlapping region among the contacts, active layer, and effective channel between the contacts. To validate the proposed analytical model a comparative analysis is carried out with the device simulation and experimental results and observed a good agreement.
本文基于接触电阻效应,提出了有机薄膜晶体管(OTFT)中由半导体和/或绝缘体层以上触点组成的底栅结构的解析模型。这些器件受到接触电阻、低迁移区域和载流子低迁移率等限制。在此基础上,通过二维器件仿真验证了接触电阻和接触效应。通过考虑触点之间的重叠区域、有源层和有效通道,推导出从线性到饱和状态的电流方程。为了验证所提出的分析模型,将其与器件仿真和实验结果进行了对比分析,结果表明两者吻合较好。
{"title":"Analysis of Contact Resistance Effect on Performance of Organic Thin Film Transistors","authors":"B. Kumar, B. Kaushik, Y. S. Negi","doi":"10.1109/ISED.2012.64","DOIUrl":"https://doi.org/10.1109/ISED.2012.64","url":null,"abstract":"This paper proposes an analytical model for the bottom gate structure comprising contacts at above the semiconductor and/or insulator layer in organic thin film transistor (OTFT) on the basis of contact resistance effect. These devices suffer from limitations such as contact resistance, low mobility regions and low mobility of charge carriers. In lieu of that, contact resistance and contact effect are demonstrated by two-dimensional device simulation. The current equations are derived from linear to saturation regime by considering overlapping region among the contacts, active layer, and effective channel between the contacts. To validate the proposed analytical model a comparative analysis is carried out with the device simulation and experimental results and observed a good agreement.","PeriodicalId":276803,"journal":{"name":"2012 International Symposium on Electronic System Design (ISED)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132809408","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
Fractional Interpretation of Anomalous Diffusion and Semiconductor Equations 反常扩散和半导体方程的分数解释
Pub Date : 2012-12-19 DOI: 10.1109/ISED.2012.25
Rohith G., Ajayan K.K.
Fractional calculus is considered as an effective tool in representing differential equations and systems. Fractional differential equations are generalizations of ordinary differential equations to an arbitrary non integer order. The idea of Fractional Differential Equations are used to analyse the semiconductor equations. Application of fractional calculus will add additional nonlinearity and can be used to model more complex phenomena. In this work, the fractional calculus computations are done using matrix approach and algorithams are implemented in MATLAB. The pn junction characteristics is simulated for fractional orders. As the order reaches its integer equivalents, normal semiconductor behaviour is obtained, validating the simulated results. The pn junction characteristics is simulated for fractional order and deviation from the actual characteristics for various fractional orders are analysed.
分数阶微积分被认为是表示微分方程和微分系统的有效工具。分数阶微分方程是将常微分方程推广到任意非整数阶。利用分数阶微分方程的思想对半导体方程进行了分析。分数阶微积分的应用将增加额外的非线性,并可用于模拟更复杂的现象。本文采用矩阵法进行分数阶微积分计算,并在MATLAB中实现算法。模拟了分数阶pn结的特性。当阶数达到其整数等效时,可以获得正常的半导体行为,从而验证了模拟结果。模拟了分数阶pn结特性,分析了不同分数阶pn结特性与实际特性的偏差。
{"title":"Fractional Interpretation of Anomalous Diffusion and Semiconductor Equations","authors":"Rohith G., Ajayan K.K.","doi":"10.1109/ISED.2012.25","DOIUrl":"https://doi.org/10.1109/ISED.2012.25","url":null,"abstract":"Fractional calculus is considered as an effective tool in representing differential equations and systems. Fractional differential equations are generalizations of ordinary differential equations to an arbitrary non integer order. The idea of Fractional Differential Equations are used to analyse the semiconductor equations. Application of fractional calculus will add additional nonlinearity and can be used to model more complex phenomena. In this work, the fractional calculus computations are done using matrix approach and algorithams are implemented in MATLAB. The pn junction characteristics is simulated for fractional orders. As the order reaches its integer equivalents, normal semiconductor behaviour is obtained, validating the simulated results. The pn junction characteristics is simulated for fractional order and deviation from the actual characteristics for various fractional orders are analysed.","PeriodicalId":276803,"journal":{"name":"2012 International Symposium on Electronic System Design (ISED)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133978327","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
Design of a Static Current Simulator Using Device Matrix Approach 用器件矩阵法设计静态电流模拟器
Pub Date : 2012-12-19 DOI: 10.1109/ISED.2012.38
D. Bharti, Abhijit R. Asati
I-V characteristic is one of the important results produced by a device simulator. In this article, a novel and interactive matrix based algorithm is presented to draw the device structure in 2-D or 3-D style and to plot the I-V characteristic of the device for user specified doping and biasing conditions. Algorithm creates 2-D or 3-D matrix of the device from device description mentioned by the user. This device matrix undergoes many different operations, and various mathematical computations are performed, using which I-V characteristic is plotted. This approach gives a novel idea of basic device level tool development. The students and device level engineers can find this work useful which offers them an interactive and instant way to draw I-V characteristics of the device. The algorithm implementation is modular and matrix based, which is done using MATLAB®.
I-V特性是器件模拟器产生的重要结果之一。在本文中,提出了一种新的基于交互矩阵的算法,以二维或三维方式绘制器件结构,并绘制用户指定掺杂和偏置条件下器件的I-V特性。算法根据用户提出的设备描述,生成设备的二维或三维矩阵。该器件矩阵经历了许多不同的运算,并进行了各种数学计算,利用这些计算绘制了I-V特性。这种方法为基本设备级工具开发提供了一种新的思路。学生和设备级工程师可以发现这项工作很有用,它为他们提供了一种交互式和即时的方式来绘制设备的I-V特性。算法的实现是模块化的,基于矩阵,使用MATLAB®完成。
{"title":"Design of a Static Current Simulator Using Device Matrix Approach","authors":"D. Bharti, Abhijit R. Asati","doi":"10.1109/ISED.2012.38","DOIUrl":"https://doi.org/10.1109/ISED.2012.38","url":null,"abstract":"I-V characteristic is one of the important results produced by a device simulator. In this article, a novel and interactive matrix based algorithm is presented to draw the device structure in 2-D or 3-D style and to plot the I-V characteristic of the device for user specified doping and biasing conditions. Algorithm creates 2-D or 3-D matrix of the device from device description mentioned by the user. This device matrix undergoes many different operations, and various mathematical computations are performed, using which I-V characteristic is plotted. This approach gives a novel idea of basic device level tool development. The students and device level engineers can find this work useful which offers them an interactive and instant way to draw I-V characteristics of the device. The algorithm implementation is modular and matrix based, which is done using MATLAB®.","PeriodicalId":276803,"journal":{"name":"2012 International Symposium on Electronic System Design (ISED)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115532104","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
A Closed-Loop Control Strategy for Glucose Control in Artificial Pancreas Systems 人工胰腺系统葡萄糖控制的闭环控制策略
Pub Date : 2012-12-19 DOI: 10.1109/ISED.2012.76
Jamil Galadanci, R. Shafik, J. Mathew, A. Acharyya, D. Pradhan
Maintaining good glycemic control is a continuous challenge for type-1 diabetic patients. The current means of insulin therapy are seen to subject patients to hyper- and hypoglycemic episodes. With the advancement of computer science and technology, an artificial pancreas, a computerized device that will automatically control patient's blood glucose level by providing the substitute for the insulin supply functionality of a healthy pancreas was proposed. The main challenge faced by the development of this device is a fully closed-loop control system. In this paper we proposed an artificial pancreas system with an adaptive closed-loop control strategy that computes the appropriate insulin infusion rate and thereby keeping the patient's blood glucose concentration within normoglycemic range. The adaptability is achieved through a rigorous pattern recognition technique with patient-specific glucose readings obtained through glucose monitor at a given sampling step. The performance of the control strategy is assessed using the simulation results carried out under various physiological disturbances and meal intake.
维持良好的血糖控制对1型糖尿病患者来说是一个持续的挑战。目前的胰岛素治疗方法被认为会使患者出现高血糖和低血糖发作。随着计算机科学技术的进步,人们提出了一种人工胰腺,它是一种计算机化的装置,可以通过替代健康胰腺的胰岛素供应功能来自动控制患者的血糖水平。该装置开发面临的主要挑战是全闭环控制系统。本文提出了一种具有自适应闭环控制策略的人工胰腺系统,该系统可以计算适当的胰岛素输注速率,从而使患者的血糖浓度保持在正常血糖范围内。这种适应性是通过严格的模式识别技术实现的,该技术通过葡萄糖监测仪在给定的采样步骤获得患者特异性葡萄糖读数。利用各种生理干扰和膳食摄入下的仿真结果评估了控制策略的性能。
{"title":"A Closed-Loop Control Strategy for Glucose Control in Artificial Pancreas Systems","authors":"Jamil Galadanci, R. Shafik, J. Mathew, A. Acharyya, D. Pradhan","doi":"10.1109/ISED.2012.76","DOIUrl":"https://doi.org/10.1109/ISED.2012.76","url":null,"abstract":"Maintaining good glycemic control is a continuous challenge for type-1 diabetic patients. The current means of insulin therapy are seen to subject patients to hyper- and hypoglycemic episodes. With the advancement of computer science and technology, an artificial pancreas, a computerized device that will automatically control patient's blood glucose level by providing the substitute for the insulin supply functionality of a healthy pancreas was proposed. The main challenge faced by the development of this device is a fully closed-loop control system. In this paper we proposed an artificial pancreas system with an adaptive closed-loop control strategy that computes the appropriate insulin infusion rate and thereby keeping the patient's blood glucose concentration within normoglycemic range. The adaptability is achieved through a rigorous pattern recognition technique with patient-specific glucose readings obtained through glucose monitor at a given sampling step. The performance of the control strategy is assessed using the simulation results carried out under various physiological disturbances and meal intake.","PeriodicalId":276803,"journal":{"name":"2012 International Symposium on Electronic System Design (ISED)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124396051","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
Design of Fault Tolerant Reversible Arithmetic Logic Unit in QCA QCA中容错可逆算术逻辑单元的设计
Pub Date : 2012-12-19 DOI: 10.1109/ISED.2012.50
B. Sen, M. Dutta, Debajyoty Banik, D. Singh, B. Sikdar
This work targets design of reversible ALU (arithmetic logic unit) in QCA (Quantum-dot Cellular Automata) framework. The design is based on the reversible QCA structure (RQCA) introduced in this paper. A fault tolerant architecture of reversible ALU is also synthesized. The proposed designs are verified and evaluated over the existing ALU designs and found to be more efficient in terms of design complexity and quantum cost.
本文针对量子点元胞自动机框架中可逆算术逻辑单元的设计进行了研究。该设计基于本文介绍的可逆QCA结构(RQCA)。并综合了可逆ALU的容错体系结构。通过对现有ALU设计的验证和评估,发现在设计复杂性和量子成本方面更有效。
{"title":"Design of Fault Tolerant Reversible Arithmetic Logic Unit in QCA","authors":"B. Sen, M. Dutta, Debajyoty Banik, D. Singh, B. Sikdar","doi":"10.1109/ISED.2012.50","DOIUrl":"https://doi.org/10.1109/ISED.2012.50","url":null,"abstract":"This work targets design of reversible ALU (arithmetic logic unit) in QCA (Quantum-dot Cellular Automata) framework. The design is based on the reversible QCA structure (RQCA) introduced in this paper. A fault tolerant architecture of reversible ALU is also synthesized. The proposed designs are verified and evaluated over the existing ALU designs and found to be more efficient in terms of design complexity and quantum cost.","PeriodicalId":276803,"journal":{"name":"2012 International Symposium on Electronic System Design (ISED)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128985354","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}
引用次数: 19
Policy Based ACL Configuration Synthesis in Enterprise Networks: A Formal Approach 企业网络中基于策略的ACL配置综合:一种形式化方法
Pub Date : 2012-12-19 DOI: 10.1109/ISED.2012.72
Soumyadev Maity, P. Bera, Soumya K. Ghosh
Due to extensive use of network services and applications, most of the enterprise networks today deploy policy based security devices (e.g. routers, firewalls, IPSec etc.) for controlling accesses to network resources based on organizational security policy. The organizational network security policy is becoming more fine-grained, where access control list (ACL) configuration depends on various constraints like, service priority, time, location etc. The major challenge that the network administrators are facing today is to determine the correct access control configurations that satisfy the organizational policy. Throughout the last two decades, a significant amount of research has been done in formally verifying the correctness and consistency of access control policy configurations in enterprise network. However, this bottom-up analysis may not be useful because of its high state-space requirement for large scale networks. In addition, this approach requires repairing sequences of misconfigurations iteratively to meet a specific requirement. This paper presents a framework for synthesizing correct and conflict-free ACL configuration model, given the global organizational security policy and underlying network topology. This framework includes two major functions: (i) deriving the conflict-free model of the organizational security policy, and (ii) extraction of the correct ACL distributions for the network. The framework formally models the organizational security policy and generates the conflict-free policy model by resolving the policy rule conflicts. Then, ACL model is extracted based on the conflict-free policy model and the underlying network topology. The efficacy of the proposed framework has been demonstrated through a case study.
由于网络服务和应用程序的广泛使用,今天大多数企业网络都部署了基于策略的安全设备(如路由器、防火墙、IPSec等),以根据组织安全策略控制对网络资源的访问。组织网络安全策略正变得越来越细粒度,其中访问控制列表(ACL)配置依赖于各种约束,如服务优先级、时间、位置等。网络管理员目前面临的主要挑战是确定满足组织策略的正确访问控制配置。在过去的二十年中,在正式验证企业网络中访问控制策略配置的正确性和一致性方面进行了大量的研究。然而,这种自底向上的分析可能并不有用,因为它对大规模网络的状态空间要求很高。此外,这种方法需要迭代地修复错误配置序列以满足特定的需求。在给定全局组织安全策略和底层网络拓扑结构的情况下,提出了一个综合正确且无冲突的ACL配置模型的框架。该框架包括两个主要功能:(i)导出组织安全策略的无冲突模型,以及(ii)为网络提取正确的ACL分布。框架对组织安全策略进行形式化建模,并通过解决策略规则冲突生成无冲突策略模型。然后,基于无冲突策略模型和底层网络拓扑结构提取ACL模型。通过一个案例研究证明了所提出的框架的有效性。
{"title":"Policy Based ACL Configuration Synthesis in Enterprise Networks: A Formal Approach","authors":"Soumyadev Maity, P. Bera, Soumya K. Ghosh","doi":"10.1109/ISED.2012.72","DOIUrl":"https://doi.org/10.1109/ISED.2012.72","url":null,"abstract":"Due to extensive use of network services and applications, most of the enterprise networks today deploy policy based security devices (e.g. routers, firewalls, IPSec etc.) for controlling accesses to network resources based on organizational security policy. The organizational network security policy is becoming more fine-grained, where access control list (ACL) configuration depends on various constraints like, service priority, time, location etc. The major challenge that the network administrators are facing today is to determine the correct access control configurations that satisfy the organizational policy. Throughout the last two decades, a significant amount of research has been done in formally verifying the correctness and consistency of access control policy configurations in enterprise network. However, this bottom-up analysis may not be useful because of its high state-space requirement for large scale networks. In addition, this approach requires repairing sequences of misconfigurations iteratively to meet a specific requirement. This paper presents a framework for synthesizing correct and conflict-free ACL configuration model, given the global organizational security policy and underlying network topology. This framework includes two major functions: (i) deriving the conflict-free model of the organizational security policy, and (ii) extraction of the correct ACL distributions for the network. The framework formally models the organizational security policy and generates the conflict-free policy model by resolving the policy rule conflicts. Then, ACL model is extracted based on the conflict-free policy model and the underlying network topology. The efficacy of the proposed framework has been demonstrated through a case study.","PeriodicalId":276803,"journal":{"name":"2012 International Symposium on Electronic System Design (ISED)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116904319","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
期刊
2012 International Symposium on Electronic System Design (ISED)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1