检索结果-内蒙古大学图书馆

International Conference on Solid State Sensors and Actuators (TRANSDUCERS)

作者： F. Zang K. Gerasopoulos K. McKinzie J. N. Culver R. Ghodssi Institute for Systems Research Department of Electrical and Computer Engineering Department of Plant Science and Landscape Architecture University of Maryland College Park MD USA

We report an autonomous integrated microsystem comprising capillary microfluidics and impedimetric sensors for rapid nanoprobe assembly and antibody detection. Using open-channel microfluidics, Tobacco mosaic virus-like particles (VLPs) are autonomously delivered on the impedance sensor, forming a dense functional sensing layer due to enhanced surface evaporation-assisted assembly. The process utilizes 5μL of VLP solution (0.2mg/mL) and requires 6 minutes at room temperature compared to 3 hours in static environments. The functionalized impedance sensor is able to detect the presence of 1.2μg/mL target antibody within 10 minutes after functionalization. These results highlight the significant potential of the integrated system for rapid transducer functionalization and biosensing.

关键词： Impedance Microfluidics Surface impedance Probes Assembly Biosensors

来源：评论

学校读者我要写书评

暂无评论

Response Policies to Process Module Failure in Single-Arm Cluster Tools Subject to Wafer Residency Time Constraints

Response Policies to Process Module Failure in Single-Arm Cl...

引用

作者： Qiao, Yan Pan, Chun-Rong Wu, Nai-Qi Zhou, Mengchu Department of Industrial Engineering School of Electro-Mechanical Engineering Guangdong University of Technology Guangzhou510006 China School of Mechatronics and Electrical Engineering Jiangxi University of Science and Technology Ganzhou341000 China Institute of Systems Engineering Macau University of Science and Technology Taipa China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai201804 China Department of Electrical and Computer Engineering New Jersey Institute of Technology NewarkNJ07102-1982 United States

In semiconductor manufacturing, wafer residency time constraints make the scheduling problem of cluster tools complicated. A process module (PM) in cluster tools is prone to failure. It is crucial to deal with any such failure in a proper and timely manner. If there are feasible periodic schedules in operating a cluster tool before and after a PM failure, it is desired to make it operate continuously when such a failure occurs. However, due to wafer residency time constraints, it is highly challenging to control a tool such that it can be correctly transferred from a feasible schedule before failure to another after it. To solve this problem, a Petri net model is developed to describe the dynamic behavior of a single-arm cluster tool and failure response policies are proposed. The proposed policies are formulated via simple control laws for their easy implementation. Examples are given to show them. © 2015 IEEE.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

Designing an Intelligent system for Traffic Management

引用

通讯和计算机（中英文版） 2015年第3期12卷 123-127页

作者： Maha Rezzai Wafaa Dachry Fouad Moutaouakkil Hicham Medromi Systems Architecture Team Laboratory of Computer System and Renewable Energy University Hassan H Casablanca ENSEMCasablanca 20200 Morocco Laboratory of Mechanical Engineering Industrial Management and Innovation (IMMII) University Hassan I FST SettatMorocco

Traffic congestion has become a serious problem that arises in our cities; this is due to rapid population growth, the rapid increase in the number of cars. Therefore, there is an infernal traffic jams. It is in this light, it is imperative to eliminate or at least reduce traffic congestion through the adoption of the policy of ITS (intelligent transport systems). The objective of this paper is to propose a study on the problem of congestion in cities, by reducing traffic congestion.

关键词：智能系统交通管理交通拥堵设计智能交通系统汽车数量交通堵塞城市

来源：评论

学校读者我要写书评

暂无评论

A two-stage MIP based optimization framework for unit commitment and energy pricing

A two-stage MIP based optimization framework for unit commit...

引用

Power and Energy Conference at Illinois (PECI)

作者： Yu Xia Muhammad Marwali Joe H. Chow Department of Electrical Computer and Systems Engineering Rensselaer Polytechnic Institute Troy NY USA New York Independent System Operator Rensselaer NY USA

Power system unit commitment (UC) is a non-convex NP-complete problem, which is very complex to solve on a large scale. Solution methods for the UC problem have been explored, with Lagrangian relaxation (LR) being one of the most popular approaches in practice. The significant reduction in numerical solution times of commercial Mixed Integer Programming (MIP) solvers makes transitioning from LR to MIP possible. This paper presents a MIP based two-stage optimization approach for solving the UC problem as well as the energy price. The proposed framework has been implemented using MATLAB and tested on two test power systems.

关键词： Linear programming Generators Mathematical model Power systems Economics Spinning Equations

来源：评论

学校读者我要写书评

暂无评论

26th Annual Computational Neuroscience Meeting (CNS*2017): Part 1

引用

BMC Neurosci 2017年第SUPPL 1期18卷 58-58页

作者： Sue Denham Panayiota Poirazi Erik De Schutter Karl Friston Ho Ka Chan Thomas Nowotny Dongqi Han Sungho Hong Sophie Rosay Tanja Wernle Alessandro Treves Sarah Goethals Romain Brette Tomas Van Pottelbergh Rodolphe Sepulchre Alex D. Bird Hermann Cuntz Pedro J. Gonçalves Jan-Matthis Lueckmann Giacomo Bassetto Marcel Nonnenmacher Jakob H. Macke Audrey J. Sederberg Jason N. MacLean Stephanie E. Palmer Ulisse Ferrari Christophe Gardella Olivier Marre Thierry Mora Emina Ibrahimovic Martin Müller Jean-Pascal Pfister Tushar Chauhan Timothée Masquelier Alexandre Montlibert Benoit R. Cottereau Moritz Helias Jannis Schuecker David Dahmen Sven Goedeke Alexandre Hyafil Ainhoa Hermoso-Mendizabal Pavel E. Rueda-Orozco Santiago Jaramillo David Robbe Jaime de la Rocha Marie Rooy Fani Koukouli David DiGregorio Uwe Maskos Boris Gutkin Andrey Yu Verisokin Darya V. Verveyko Dmitry E. Postnov Willy Wong Omid Talakoub Robert Chen Milos Popovic Dmitriy Lisitsyn Eric Drebitz Iris Grothe Sunita Mandon Andreas Kreiter Udo Ernst Peter A. Robinson Xuelong Zhao Kevin M. Aquino John D. Griffiths Grishma Mehta-Pandejee Natasha Gabay James MacLaurin Somwrita Sarkar Tim Kunze Jens Haueisen Thomas R. Knösche Subutai Ahmad Yuwei Cui Marcus Lewis Jeff Hawkins Simona Olmi Spase Petkoski Fabrice Bartolomei Maxime Guye Viktor Jirsa Hazem Toutounji Daniel Durstewitz Matteo Cantarelli Adrian Quintana Boris Marin Matt Earnshaw Padraig Gleeson Robert Court Robert McDougal R. Angus Silver Salvador Dura-Bernal Stephen Larson William W. Lytton Giovanni Idili Lorenzo Posani Simona Cocco Karel Ježek Rémi Monasson School of Psychology Faculty of Health & Human Sciences Plymouth University Plymouth Devon PL4 8AA UK Institute of Molecular Biology and Biotechnology (IMBB) Foundation for Research and Technology-Hellas (FORTH) Heraklion Crete Greece Okinawa Institute of Science and Technology Graduate University Okinawa Japan Wellcome Trust Centre for Neuroimaging Institute of Neurology UCL London WC1N 3BG UK School of Engineering and Informatics University of Sussex Brighton BN1 9QJ UK Graduate School Okinawa Institute of Science and Technology Okinawa 904-0495 Japan Computational Neuroscience Unit Okinawa Institute of Science and Technology Okinawa 904-0495 Japan Cognitive Neuroscience Area Scuola Internazionale Superiore di Studi Avanzati Trieste 34136 Italy Kavli Institute for Systems Neuroscience NTNU Trondheim 7030 Norway Institut de la Vision Sorbonne Universités UPMC Univ Paris 06 INSERM CNRS Paris 75012 France Department of Engineering University of Cambridge Cambridge Cambridgeshire CB2 1PZ UK Ernst Strüngmann Institute for Neuroscience Max Planck Society Frankfurt Germany Frankfurt Institute for Advanced Studies Frankfurt Germany Neural Systems Analysis Research Center Caesar An Associate of the Max Planck Society Bonn Germany Max Planck Institute for Biological Cybernetics Tübingen Germany Bernstein Center for Computational Neuroscience Tübingen Germany Present Address: Biomedical Engineering Department Georgia Institute of Technology Atlanta GA 30306 USA Department of Neurobiology University of Chicago Chicago IL 60637 USA Department of Organismal Biology and Anatomy University of Chicago Chicago IL 60637 USA Committee on Computational Neuroscience University of Chicago Chicago IL 60637 USA Institut de la Vision Sorbonne Universités INSERM Paris France Laboratoire de Physique Statistique Ecole Normale Supérieure Paris France Institute of Molecular Life Sciences University of Zürich 8057 Zürich Switzerland Institute of Neuroinformatics Univer

来源：评论

学校读者我要写书评

暂无评论

25th Annual Computational Neuroscience Meeting CNS-2016, Seogwipo City, South Korea, July 2-7, 2016 Abstracts

引用

BMC NEUROSCIENCE 2016年第1期17卷 1-112页

作者： [Anonymous] Computational Neurobiology Laboratory The Salk Institute for Biological Studies San Diego USA UNIC CNRS Gif sur Yvette France The European Institute for Theoretical Neuroscience (EITN) Paris France ATR Computational Neuroscience Laboratories Kyoto Japan Krembil Research Institute University Health Network Toronto Canada Department of Physiology University of Toronto Toronto Canada Department of Medicine (Neurology) University of Toronto Toronto Canada Department of Physics University of New Hampshire Durham USA Department of Neurophysiology Nencki Institute of Experimental Biology Warsaw Poland Department of Theory Wigner Research Centre for Physics of the Hungarian Academy of Sciences Budapest Hungary Department of Mathematical Sciences KAIST Daejoen Republic of Korea Department of Mathematics University of Houston Houston USA Department of Biochemistry & Cell Biology and Institute of Biosciences and Bioengineering Rice University Houston USA Department of Biology and Biochemistry University of Houston Houston USA Grupo de Neurocomputación Biológica Dpto. de Ingeniería Informática Escuela Politécnica Superior Universidad Autónoma de Madrid Madrid Spain Department of Biological Sciences University of Southern California Los Angeles USA Center for Neuroscience Korea Institute of Science and Technology Seoul South Korea Department of Neurology Albert Einstein College of Medicine Bronx USA Center for Neuroscience KIST Seoul South Korea Department of Neuroscience University of Science and Technology Daejon South Korea Systems Neuroscience Group QIMR Berghofer Medical Research Institute Herston Australia Department of Psychology Yonsei University Seoul South Korea Department of Psychiatry Kyung Hee University Hospital at Gangdong Seoul South Korea Department of Psychiatry Veterans Administration Boston Healthcare System and Harvard Medical School Brockton USA Department of Electrical and Electronic Engineering The University of Melbourne Parkvil

A1 Functional advantages of cell-type heterogeneity in neural circuits Tatyana O. Sharpee A2 Mesoscopic modeling of propagating waves in visual cortex Alain Destexhe A3 Dynamics and biomarkers of mental disorders Mitsuo Kawato F1 Precise recruitment of spiking output at theta frequencies requires dendritic h-channels in multi-compartment models of oriens-lacunosum/moleculare hippocampal interneurons Vladislav Sekulić, Frances K. Skinner F2 Kernel methods in reconstruction of current sources from extracellular potentials for single cells and the whole brains Daniel K. Wójcik, Chaitanya Chintaluri, Dorottya Cserpán, Zoltán Somogyvári F3 The synchronized periods depend on intracellular transcriptional repression mechanisms in circadian clocks. Jae Kyoung Kim, Zachary P. Kilpatrick, Matthew R. Bennett, Kresimir Josić O1 Assessing irregularity and coordination of spiking-bursting rhythms in central pattern generators Irene Elices, David Arroyo, Rafael Levi, Francisco B. Rodriguez, Pablo Varona O2 Regulation of top-down processing by cortically-projecting parvalbumin positive neurons in basal forebrain Eunjin Hwang, Bowon Kim, Hio-Been Han, Tae Kim, James T. McKenna, Ritchie E. Brown, Robert W. McCarley, Jee Hyun Choi O3 Modeling auditory stream segregation, build-up and bistability James Rankin, Pamela Osborn Popp, John Rinzel O4 Strong competition between tonotopic neural ensembles explains pitch-related dynamics of auditory cortex evoked fields Alejandro Tabas, André Rupp, Emili Balaguer-Ballester O5 A simple model of retinal response to multi-electrode stimulation Matias I. Maturana, David B. Grayden, Shaun L. Cloherty, Tatiana Kameneva, Michael R. Ibbotson, Hamish Meffin O6 Noise correlations in V4 area correlate with behavioral performance in visual discrimination task Veronika Koren, Timm Lochmann, Valentin Dragoi, Klaus Obermayer O7 Input-location dependent gain modulation in cerebellar nucleus neurons Maria Psarrou, Maria Schilstra, Neil Davey, Benjamin Torben-Ni

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Privacy Preserving Truthful Spectrum Auction Scheme using Homomorphic Encryption

A Privacy Preserving Truthful Spectrum Auction Scheme using ...

引用

IEEE Global Communications Conference

作者： Xiaoyan Wang Yusheng Ji Hao Zhou Zhi Liu Yu Gu Jie Li Information Systems Architecture Science Research Division National Institute of Informatics School of Computer Science University of Science and Technology of China Global Information and Telecommunication Institute Waseda University School of Computer and Information Hefei University of Technology Faculty of Engineering Information and Systems University of Tsukuba

ISBN: (纸本)9781479959532

Dynamic spectrum reallocation, under which the spectrum owners temporarily share the underutilized spectrum to secondary users for economic profit, is an important approach to improve the spectrum utilization ratio. Auction is believed to be a natural marketing tool to incentivize the spectrum owners, and thus redistribute the idle spectrum efficiently. Extensive researches have been done in the problem of truthful spectrum auction, in which the bidders bid based on their true valuations of the spectrum. The true valuation of the individual bidder, however, is a private information which should be protected against exposure. In this paper, we propose a privacy preserving truthful spectrum auction scheme by utilizing homomorphic encryption. The proposed scheme reveals the group bids but hides the users' bids even from the auctioneer. The evaluation results show that the proposed scheme achieves good spectrum utilization efficiency with low communication and computation overheads.

关键词： Spectra spectrum utilization efficiency Homomorphic encryption Privacy Scheme

来源：评论

学校读者我要写书评

暂无评论

A spaceborne WAS-GMTI mode based on azimuth multi-channels

A spaceborne WAS-GMTI mode based on azimuth multi-channels

引用

IET International Radar Conference 2015

作者： Shichao Zheng Jianwei Niu Hui Wang Xiaolei Han State Key Laboratory of Virtual Reality Technology and Systems School of Computer Science and Engineering Beihang University Beijing China Institute of Electronics Chinese Academy of Sciences Beijing China Beijing Institute of spacecraft system engineering Beijing China

In this paper, the spaceborne wide-area surveillance ground moving target indication (WAS-GMTI) mode is proposed. In the proposed mode, the requirement of detecting targets from different aspect angles with a high revisit rate can be achieved by modifying the TOPS mode which steers antenna in the azimuth direction. And a three-channel system is chosen to achieve fine GMTI performance. With the three-channel system, the detection of moving targets is realized by displaced phase center antenna (DPCA) technique and the motion parameter is estimated using the interferometric phase. The feasibility of the proposed mode as well as the performance of GMTI is validated by theoretical analysis and simulation experiments.

关键词： ground moving target indication (GMTI) synthetic aperture radar (SAR) terrain observation by progressive scans (TOPS) wide-area surveillance (WAS) Synthetic aperture radar MULTICHANNEL azimuth ground moving target indication ANTENNA antennae ASPECT ANGLE Theoretical analysis

来源：评论

学校读者我要写书评

暂无评论

Feasibility study for life event sensor on big field data

Feasibility study for life event sensor on big field data

引用

IEEE International Conference on Consumer Electronics (ICCE)

作者： Noriyuki Kushiro Taichi Ide Kazuki Tomonaga Yuki Ogawa Toshiyasu Higuma Faculty of Computer Science and System Engineering Kyushu Institute of Technology KIT Iizuka Fukuoka Japan Living Environment Systems Laboratory Mitsubishi Electric Corp. Kamakura Kanagawa Japan

Life event sensor is an activity recognition sensor both for measuring electric power and for detecting usage of electronic devices by utilizing high frequency current waveform as a signature of each device. To discuss the feasibility of the sensor, we have constructed a long-term data collection system and installed the system in five occupied houses. Discussion about feasibility of the life event sensor on long-term field data and experimental data on a test bed, which can simulate several conditions of power line, is described in this paper.

关键词： Stability analysis Data collection Frequency measurement Generators Object recognition Impedance Fluctuations

来源：评论

学校读者我要写书评

暂无评论

Investigating the Link between User Stories and Documentation Debt on Software Projects

Investigating the Link between User Stories and Documentatio...

引用

International Conference on Information Technology: New Generations (ITNG)

作者： Henrique F. Soares Nicolli S.R. Alves Thiago S. Mendes Manoel Mendonça Rodrigo O. Spínola Graduate Program in Systems and Computer at Salvador University Salvador Brazil Fraunhofer Project Center for Software and System Engineering at UFBA Salvador Brazil Federal Institute of Bahia - IFBA Salvador Brazil

Technical debt is a metaphor that describes the effect of immature artefacts in software development. One of its types is documentation debt, which can be identified by locating missing, inadequate or incomplete artefacts in software projects. Nowadays, we can observe more organizations using agile methods to support their activities. In particular, the use of user stories reduces the focus on requirement specification tasks and, as a consequence, creates difficulties that need to be overcame by the development team. In order to investigate these difficulties and assess whether they create a favourable scenario for incurring documentation debt, this paper presents the results of a literature review and an exploratory study. The results from both studies allowed us to identify a list of causes that can lead the development team to incur documentation debt when working with agile requirements. This is an important step in order to manage the technical debt from a preventive perspective.

关键词： Software Documentation Bibliographies Protocols Libraries Software engineering Estimation

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：