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

2nd Iberian Robotics Conference, ROBOT 2015

作者： Reis, Luís Paulo Moreira, António Paulo Lima, Pedro U. Montano, Luis Muñoz-Martinez, Victor University of Minho School of Engineering Information Systems Department Guimarães Portugal University of Porto INESC-TEC Porto Portugal University of Lisbon Instituto Superior Técnico Institute for Systems and Robotics Lisboa Portugal University of Zaragoza School of Engineering and Architecture Computer Systems Engineering Department Zaragoza Spain University of Malaga Superior Technical School of Industrial Engineers Automatic Control Systems Engineering Department Málaga Spain

来源：评论

学校读者我要写书评

暂无评论

A new combination of message passing techniques for receiver design in MIMO-OFDM systems

arXiv

引用

arXiv 2017年

作者： Zhang, Chuanzong Yuan, Zhengdao Wang, Zhongyong Guo, Qinghua School of Information Engineering Zhengzhou University Zhengzhou450001 China Department of Electronic Systems Aalborg University Aalborg9220 Denmark National Digital Switching System Engineering and Technological Research and Development Center Zhengzhou Institute of Information Science and Technology Zhengzhou450001 China School of Information Engineering Zhengzhou University Zhengzhou450001 China School of Electrical Computer and Telecommunications Engineering University of Wollongong WollongongNSW2522 Australia School of Electrical Electronic and Computer Engineering University of Western Australia CrawleyWA6009 Australia

In this paper, we propose a new combined message passing algorithm which allows belief propagation (BP) and mean filed (MF) applied on a same factor node, so that MF can be applied to hard constraint factors. Based on the proposed message passing algorithm, a iterative receiver is designed for MIMO-OFDM systems. Both BP and MF are exploited to deal with the hard constraint factor nodes involving the multiplication of channel coefficients and data symbols to reduce the complexity of the only BP used. The numerical results show that the BER performance of the proposed low complexity receiver closely approach that of the state-of-the-art receiver, where only BP is used to handled the hard constraint factors, in the high SNRs. Copyright © 2017, The Authors. All rights reserved.

关键词： Belief propagation

来源：评论

学校读者我要写书评

暂无评论

3D-EBP: A programmable 3D bionanoreceptor assembly

3D-EBP: A programmable 3D bionanoreceptor assembly

引用

IEEE International Conference on Micro Electro Mechanical systems

作者： Sangwook Chu Ben Hurwitz Thomas E. Winkler Adam D. Brown James N. Culver Reza Ghodssi Institute for Systems Research University of Maryland College Park USA Department of Electrical and Computer Engineering University of Maryland College Park USA Fischell Department of Bioengineering University of Maryland College Park USA Institute for Bioscience and Biotechnology Research University of Maryland College Park USA Department of Plant Science and Landscape Architecture University of Maryland College Park USA

ISBN: (纸本)9781509050796

This paper presents a novel biofabrication technology utilizing electro wetting principles for localized 3-D functionalization of Tobacco mosaic viruses (TMVs) onto structurally hydrophobic micropillar arrays μPAs). A custom-built 3-D electro-bioprinting (3D-EBP) system enables exquisite control over positioning and wetting of TMV solution onto the water repellent 3-D substrate. The 3D-EBP is evaluated using SEM and fluorescent labeling for characterization of TMV's nanostructured morphology and their biochemical activities, respectively. A complete yet localized assembly of TMVs on μPAs is confirmed in SEM. The increased density of TMVs per device foot-print (vs. TMVs on planar substrate) results in a significant 7-fold increase in fluorescence intensity attributed to the μPAs. On a single μPA substrate (7×7 mm 2 ), 3D-EBP of 3×3 hierarchical TMV arrays is demonstrated to emphasize the unique 3D patterning capability. Overall, the results confirm successful application of electrowetting principles for creating highly functional device components spanning the micro/nano/bio domains.

关键词： Substrates Surface morphology Surface treatment Fluorescence Nanobioscience Gold

来源：评论

学校读者我要写书评

暂无评论

A system-of-systems architecture-driven modeling method for combat system effectiveness simulation 2

A system-of-systems architecture-driven modeling method for ...

引用

2nd Annual IEEE International Symposium on systems engineering, ISSE 2016

作者： Li, Xiaobo Wang, Weiping Shu, Zhe Zhu, Ning He, Hua Liao, Tianjun College of Information Systems and Management National University of Defense Technology Changsha Hunan410073 China Department of Mathematics and Computer Science University of Antwerp Antwerp2020 Belgium State Key Laboratory of Complex System Simulation Beijing Institute of Systems Engineering Beijing China

ISBN: (纸本)9781509007936

Under the background of system-of-systems (SoS) counterwork, it is more apparent that the simulation modeling of the equipment should be domain-specific, formal, automatic and composable. Current equipment effectiveness simulation modeling approaches are mainly based on the methods and techniques from the modeling and simulation (M&S) community and software engineering community, and they are not capable to satisfy these four requirements systematically. Thus the systems engineering architecture model and domain knowledge should be used to support effectiveness simulation modeling more effectively. In this research, we propose an architecture-driven modeling method which conforms to the principle of architecture-driven development, uses ontology techniques to build equipment SoS architecture model and sub-domain ontology. This method performs architecture driven simulation modeling to realize the transformation from architecture models to simulation model frameworks;employs ontological metamodeling to design domain-specific modeling languages (DSML) based on the comprehensive usage of architecture models, sub-domain ontologies and M&S formalisms;integrates domain-specific simulation models from various domains using the model framework, and supports the composable development of simulation applications. © 2016 IEEE.

关键词： system of systems

来源：评论

学校读者我要写书评

暂无评论

Integrating an SMT-based ModelFinder into USE 13

Integrating an SMT-based ModelFinder into USE

引用

13th Workshop on Model-Driven engineering, Verification and Validation, MoDeVVa 2016

作者： Przigoda, Nils Hilken, Frank Peters, Judith Wille, Robert Gogolla, Martin Drechsler, Rolf 1Group for Computer Architecture University of Bremen Bremen28359 Germany Database Systems Group University of Bremen Bremen28359 Germany OHB System AG Department of Satellite Ground Systems Bremen28359 Germany Institute for Integrated Circuits Johannes Kepler University Linz Linz4040 Austria Cyber-Physical Systems DFKI GmbH Bremen28359 Germany

The validation and verification of models becomes increasingly important as the complexity and overall costs of later development stages increase. Although, a variety of tools exists for this purpose, the majority are academic - used as a proof of concept for the theory behind them. Thus, implementations are mostly applicable to subsets of model verification tasks only. In order to execute all necessary verification tasks, the model under verification has to be manually prepared for each tool - usually involving several modeling languages and techniques. The manual work requires expert knowledge and is a source for errors. Simplifying this process is a desired aspect and poses new challenges to tool developers. We demonstrate how a common framework can be used to provide access to multiple model checking techniques by integrating an SMT-based ModelFinder including a high level interface to its functionality. Afterwards, the benefits are discussed comparing the new technique with the existing tool coverage in the framework.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Ranking and Selection as Stochastic Control

arXiv

引用

arXiv 2017年

作者： Peng, Yijie Chong, Edwin K. P. Chen, Chun-Hung Fu, Michael C. Department of Industrial Engineering and Management Peking University Beijing100871 China Department of Electrical and Computer Engineering Colorado State University Fort CollinsCO80523-1373 United States Department of System Engineering and Operations Research George Mason University FairfaxVA22030 United States R.H. Smith School of Business and Institute for Systems Research University of Maryland College ParkMD20742 United States

Under a Bayesian framework, we formulate the fully sequential sampling and selection decision in statistical ranking and selection as a stochastic control problem, and derive the associated Bellman equation. Using value function approximation, we derive an approximately optimal allocation policy. We show that this policy is not only computationally efficient but also possesses both one-step-Ahead and asymptotic optimality for independent normal sampling distributions. Moreover, the proposed allocation policy is easily generalizable in the approximate dynamic programming paradigm. Copyright © 2017, The Authors. All rights reserved.

关键词： Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

BioTIME 2.0: Expanding and Improving a Database of Biodiversity Time Series

引用

Global Ecology and Biogeography 2025年第5期34卷

作者： Maria Dornelas Laura H. Antão Amanda E. Bates Viviana Brambilla Jonathan M. Chase Cher F. Y. Chow Ada Fontrodona-Eslava Anne E. Magurran Inês S. Martins Faye Moyes Alban Sagouis Samuel Adu-Acheampong Daniel Acquah-Lamptey Dušan Adam Penelope A. Ajani Aitor Albaina Pablo Almaraz Jeongseop An Roger Sigismund Anderson Madelaine Jean Robertson Anderson Alexsander Z. Antunes Ivan Arismendi Linda Armbrecht Pedro Aros-Mardones Sreejith Kalpuzha Ashtamoorthy Narayanan Ayyappan Gal Badihi Joseph J. Bailey Andrew H. Baird Mark Edward Baird Sreekumar Vadakkethil Balakrishnan José António L. Barão-Nóbrega Adi Barash Miguel Barbosa Jos Barlow Claus Bässler Matthieu Beaumont Natalie Beenaerts Tiago Octavio Begot Wallace Beiroz Ricardo Beldade David M. Bell Alecia Bellgrove Jonathan Belmaker Lisandro Benedetti-Cecchi Cassandra E. Benkwitt Pamela Medina-van Berkum Brandon T. Bestelmeyer Matthew G. Betts Maxwell Kelvin Billah Anne D. Bjorkman Magdalena Błażewicz Christopher P. Bloch Shane A. Blowes Antonio Bode Juliano A. Bogoni Thomas Bolger Timothy C. Bonebrake Erik Bonsdorff Roberta Bottarin Luke N. Brokensha Rob W. Brooker Andrew J. Brooks Helge Bruelheide Thiago Almeida Bueno Claire Laguionie Mariana Lopes Campagnoli James Cant Erica Pellegrini Caramaschi Alexandre Caron Tadhg Carroll Tancredi Caruso Juan Carvajal-Quintero Giuseppe Castaldelli Edward Castañeda-Moya Pedro V. Castilho Sonia Zanini Cechin Shahar Chaikin Uchangi Manjunatha Chandrashekara Tory J. Chase Chaolun Allen Chen Jorge José Cherem Sei-Woong Choi Erica M. Christensen Alexander V. Christianini Jackson Wing Four Chu Peter Coad Carl Van Colen Lise Comte Elisabeth J. Cooper J. Hans C. Cornelissen Eddy Cosson Unai Cotano Luc Crevecoeur Shannan Kyle Crow Graeme S. Cumming Vanessa S. Daga Gabriella Damasceno Gergana N. Daskalova Claire H. Davies Robert A. Davis Frank P. Day Sussy De-La-Zerda Amy Elizabeth Deacon Indradatta de Castro-Arrazola Steven Degraer Kharran Deonarinesingh Juan C. Diaz-Ricaurte Christopher R. Dickman Tara Dirilgen Ciaran John Dolan J. Emmet Centre for Biological Diversity School of Biology University of St Andrews Fife UK MARE—Centro de Ciências do Mar e do Ambiente Faculdade de Ciências Universidade de Lisboa Lisboa Portugal Research Centre for Ecological Change Organismal and Evolutionary Biology Research Programme Faculty of Biological and Environmental Sciences University of Helsinki Helsinki Finland Department of Biology University of Victoria Victoria British Columbia Canada German Centre for Integrative Biodiversity Research (iDiv) Halle-Jena-Leipzig Leipzig Germany Department of Computer Science Martin Luther University Halle-Wittenberg Halle (Saale) Germany Leverhulme Centre for Anthropocene Biodiversity Department of Biology University of York York UK Department of Animal Biology and Conservation Science University of Ghana Accra Ghana Philipps Universität Marburg Marburg Germany Department of Forest Ecology Silva Tarouca Research Institute Brno Czech Republic School of Life Sciences University of Technology Sydney Sydney New South Wales Australia Zoology and Animal Cell Biology Department University of the Basque Country (UPV/EHU) Leioa Spain Grupo de Oceanografía de Ecosistemas Instituto de Ciencias Marinas de Andalucía CSIC Campus Universitario de Puerto Real Puerto Real Spain National Institute of Ecology Seocheon Republic of Korea African Regional Postgraduate Programme in Insect Science University of Ghana Accra Ghana Département de Biologie Université de Sherbrooke Sherbrooke Quebec Canada Núcleo de Conservação da Biodiversidade Instituto de Pesquisas Ambientais Secretaria de Meio Ambiente Infraestrutura e Logística do Estado de São Paulo São Paulo Brazil Department of Fisheries Wildlife and Conservation Sciences Oregon State University Corvallis Oregon USA Institute for Marine and Antarctic Studies Ecology & Biodiversity Centre University of Tasmania Hobart Tasmania Australia Graduate Program in Oceanography Department of Oceanography Faculty of Natural Scienc

Motivation Here, we make available a second version of the BioTIME database, which compiles records of abundance estimates for species in sample events of ecological assemblages through time. The updated version expands version 1.0 of the database by doubling the number of studies and includes substantial additional curation to the taxonomic accuracy of the records, as well as the metadata. Moreover, we now provide an R package (BioTIMEr) to facilitate use of the database. Main Types of Variables Included The database is composed of one main data table containing the abundance records and 11 metadata tables. The data are organised in a hierarchy of scales where 11,989,233 records are nested in 1,603,067 sample events, from 553,253 sampling locations, which are nested in 708 studies. A study is defined as a sampling methodology applied to an assemblage for a minimum of 2 years. Spatial Location and Grain Sampling locations in BioTIME are distributed across the planet, including marine, terrestrial and freshwater realms. Spatial grain size and extent vary across studies depending on sampling methodology. We recommend gridding of sampling locations into areas of consistent size. Time Period and Grain The earliest time series in BioTIME start in 1874, and the most recent records are from 2023. Temporal grain and duration vary across studies. We recommend doing sample-level rarefaction to ensure consistent sampling effort through time before calculating any diversity metric. Major Taxa and Level of Measurement The database includes any eukaryotic taxa, with a combined total of 56,400 taxa. Software Format csv and. SQL.

关键词： assemblage biodiversity community database ecoinformatics species taxa time

来源：评论

学校读者我要写书评

暂无评论

Benchmarking and Validation of Cascading Failure Analysis Tools

引用

IEEE TRANSACTIONS ON POWER systems 2016年第6期31卷 4887-4900页

作者： Bialek, J. Ciapessoni, E. Cirio, D. Cotilla-Sanchez, E. Dent, C. Dobson, I. Henneaux, P. Hines, P. Jardim, J. Miller, S. Panteli, M. Papic, M. Pitto, A. Quiros-Tortos, J. Wu, D. Centre for Energy Systems Skolkovo Institute of Science and Technology Moscow Russian Federation Power System Development Ricerca sul Sistema Energetico - RSE S.p.A. Milano Italy Power System Development Ricerca sul Sistema Energetico-RSE S.p.A. Milano Italy School of Electrical Engineering & Computer Science Oregon State University Corvallis Oregon United States School of Engineering and Computing Sciences Durham University Durham United Kingdom of Great Britain and Northern Ireland Electrical and Computer Engineering Department Iowa State University Ames Iowa United States Tractebel Engineering (ENGIE) Brussels Belgium School of Engineering University of Vermont Burlington Vermont United States HPPA Rio de Janeiro Brazil Commonwealth Associates Inc. Jackson MI USA Electrical and Computer Engineering University of Cyprus Nicosia Cyprus System Planning Idaho Power Co. Boise Idaho United States RSE—Ricerca sul Sistema Energetico S.p.A. Milan Italy School of Electrical and Electronic Engineering University of Manchester Manchester United Kingdom of Great Britain and Northern Ireland School of Electrical and Computer Engineering University of Oklahoma Norman Oklahoma United States

Cascading failure in electric power systems is a complicated problem for which a variety of models, software tools, and analytical tools have been proposed but are difficult to verify. Benchmarking and validation are necessary to understand how closely a particular modeling method corresponds to reality, what engineering conclusions may be drawn from a particular tool, and what improvements need to be made to the tool in order to reach valid conclusions. The community needs to develop the test cases tailored to cascading that are central to practical benchmarking and validation. In this paper, the IEEE PES working group on cascading failure reviews and synthesizes how benchmarking and validation can be done for cascading failure analysis, summarizes and reviews the cascading test cases that are available to the international community, and makes recommendations for improving the state of the art.

关键词： Cascading failure validation risk analysis power systems reliability

来源：评论

学校读者我要写书评

暂无评论

Data-driven model order reduction of linear switched systems

arXiv

引用

arXiv 2017年

作者： Gosea, I.V. Petreczky, M. Antoulas, A.C. Data-Driven System Reduction and Identification Group Max Planck Institute for Dynamics of Complex Technical Systems Sandtorstrasse 1 Magdeburg39106 Germany Umr Cnrs 9189 Cnrs Ecole Centrale de Lille Department of Electrical and Computer Engineering Rice University MS-366 6100 Main St HoustonTX77005 United States

The Loewner framework for model reduction is extended to the class of linear switched systems. One advantage of this framework is that it introduces a trade-off between accuracy and complexity. Moreover, through this procedure, one can derive state-space models directly from data which is related to the input-output behavior of the original system. Hence, another advantage of the framework is that it does not require the initial system matrices. More exactly, the data used in this framework consists in frequency domain samples of input-output mappings of the original system. The definition of generalized transfer functions for linear switched systems resembles the one for bilinear systems. A key role is played by the coupling matrices, which ensure the transition from one active mode to another. Copyright © 2017, The Authors. All rights reserved.

关键词： Frequency domain analysis

来源：评论

学校读者我要写书评

暂无评论

Allele-defined genome of the autopolyploid sugarcane Saccharum spontaneum L (vol 50, pg 1565, 2018)

引用

NATURE GENETICS 2018年第12期50卷 1754-1754页

作者： Zhang, Jisen Zhang, Xingtan Tang, Haibao Zhang, Qing Hua, Xiuting Ma, Xiaokai Zhu, Fan Jones, Tyler Zhu, Xinguang Bowers, John Wai, Ching Man Zheng, Chunfang Shi, Yan Chen, Shuai Xu, Xiuming Yue, Jingjing Nelson, David R. Huang, Lixian Li, Zhen Xu, Huimin Zhou, Dong Wang, Yongjun Hu, Weichang Lin, Jishan Deng, Youjin Pandey, Neha Mancini, Melina Zerpa, Dessiree Nguyen, Julie K. Wang, Liming Yu, Liang Xin, Yinghui Ge, Liangfa Arro, Jie Han, Jennifer O. Chakrabarty, Setu Pushko, Marija Zhang, Wenping Ma, Yanhong Ma, Panpan Lv, Mingju Chen, Faming Zheng, Guangyong Xu, Jingsheng Yang, Zhenhui Deng, Fang Chen, Xuequn Liao, Zhenyang Zhang, Xunxiao Lin, Zhicong Lin, Hai Yan, Hansong Kuang, Zheng Zhong, Weimin Liang, Pingping Wang, Guofeng Yuan, Yuan Shi, Jiaxian Hou, Jinxiang Lin, Jingxian Jin, Jingjing Cao, Peijian Shen, Qiaochu Jiang, Qing Zhou, Ping Ma, Yaying Zhang, Xiaodan Xu, Rongrong Liu, Juan Zhou, Yongmei Jia, Haifeng Ma, Qing Qi, Rui Zhang, Zhiliang Fang, Jingping Fang, Hongkun Song, Jinjin Wang, Mengjuan Dong, Guangrui Wang, Gang Chen, Zheng Ma, Teng Liu, Hong Dhungana, Singha R. Huss, Sarah E. Yang, Xiping Sharma, Anupma Trujillo, Jhon H. Martinez, Maria C. Hudson, Matthew Riascos, John J. Schuler, Mary Chen, Li-Qing Braun, David M. Li, Lei Yu, Qingyi Wang, Jianping Wang, Kai Schatz, Michael C. Heckerman, David Van Sluys, Marie-Anne Souza, Glaucia Mendes Moore, Paul H. Sankoff, David VanBuren, Robert Paterson, Andrew H. Nagai, Chifumi Ming, Ray Fujian Agriculture and Forestry University and University of Illinois at Urbana-Champaign School of Integrative Biology Joint Center for Genomics and Biotechnology National Sugarcane Engineering Technology Research Center Fujian Provincial Key Laboratory of Haixia Applied Plant Systems Biology Key Laboratory of Genetics Breeding and Multiple Utilization of Corps Ministry of Education Fujian Agriculture and Forestry University Fuzhou China Department of Plant Biology University of Illinois at Urbana-Champaign Urbana IL USA Hawaii Agriculture Research Center Kunia HI USA Institute for Plant Physiology and Ecology Chinese Academy of Sciences Shanghai China Department of Plant Biology University of Georgia Athens GA USA Department of Horticulture Michigan State University East Lansing MI USA Department of Mathematics and Statistics University of Ottawa Ottawa Ontario Canada Department of Microbiology Immunology and Biochemistry University of Tennessee HSC Memphis TN USA Chinese Academy of Sciences-Max-Planck-Gesellschaft Partner Institute for Computational Biology Chinese Academy of Sciences Shanghai China China Tobacco Gene Research Center Zhengzhou Tobacco Research Institute of CNTC Zhengzhou China Division of Biological Sciences University of Missouri Columbia MO USA Department of Agronomy University of Florida Gainesville FL USA Texas A&M AgriLife Research Texas A&M University System Dallas TX USA Centro de Investigación de la Caña de Azúcar de Colombia (Cenicaña) Cali Colombia Department of Crop Sciences University of Illinois at Urbana-Champaign Urbana IL USA Departments of Computer Science and Biology Johns Hopkins University Baltimore MD USA Microsoft Research Redmond WA USA Departamento de Botânica Instituto de Biociências Universidade de São Paulo São Paulo Brazil Departamento de Bioquímica Instituto de Química Universidade de São Paulo São Paulo Brazil

Modern sugarcanes are polyploid interspecific hybrids, combining high sugar content from Saccharum officinarum with hardiness, disease resistance and ratooning of Saccharum spontaneum. Sequencing of a haploid S. spontaneum, AP85-441, facilitated the assembly of 32 pseudo-chromosomes comprising 8 homologous groups of 4 members each, bearing 35,525 genes with alleles defined. The reduction of basic chromosome number from 10 to 8 in S. spontaneum was caused by fissions of 2 ancestral chromosomes followed by translocations to 4 chromosomes. Surprisingly, 80% of nucleotide binding site-encoding genes associated with disease resistance are located in 4 rearranged chromosomes and 51% of those in rearranged regions. Resequencing of 64 S. spontaneum genomes identified balancing selection in rearranged regions, maintaining their diversity. Introgressed S. spontaneum chromosomes in modern sugarcanes are randomly distributed in AP85-441 genome, indicating random recombination among homologs in different S. spontaneum accessions. The allele-defined Saccharum genome offers new knowledge and resources to accelerate sugarcane improvement.

关键词： Genomics Plant genetics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：