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

14th Workshop on Adaptive and Reflective Middleware, ARM 2015

作者： Prellwitz, Matthias Parzyjegla, Helge Mühl, Gero Architecture of Application Systems Group Institute for Computer Science University of Rostock Rostock18051 Germany

ISBN: (纸本)9781450337335

Due to the dynamics of distributed ensembles in ubiquitous environments, developers can neither predetermine all environment settings at design time, nor rely on particular services or devices to be available at runtime. To better cope with such uncertainties, dynamic sets provide a programming abstraction that enables developers to program to the interface of a single device at design time, but to bundle and control a variable number of instances at runtime. Moreover, selection criteria for devices as well as the behavior of the set can be customized upon deployment or even be adapted at runtime. © 2015 ACM.

关键词： Abstracting

来源：评论

学校读者我要写书评

暂无评论

Frame conditions in symbolic representations of UML/OCL models 16

Frame conditions in symbolic representations of UML/OCL mode...

引用

ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE)

作者： Nils Przigoda Jonas Gomes Filho Philipp Niemann Robert Wille Rolf Drechsler Group for Computer Architecture University of Bremen Bremen Germany Cyber-Physical Systems DFKI GmbH Bremen Germany Institute for Integrated Circuits Johannes Kepler University Linz Linz Austria

ISBN: (纸本)9781509027910

Verification and validation of UML/OCL models is a crucial task in the design of complex software/hardware systems. The behavior in those models is expressed in terms of operations with pre- and postconditions. These, however, are often not precise enough to describe what may or may not be modified in a transition between two system states. This frame problem is commonly addressed by providing additional constraints in terms of so-called frame conditions and has already been considered in different research areas in the last decades - except for UML/OCL where corresponding approaches have been investigated only recently. Besides that, several approaches for the verification of the behavior specified in UML/OCL models have been proposed. They rely on a symbolic representation of all possible system states and transitions between them. But here, frame conditions have not been considered yet - a significant drawback for the underlying verification approaches. In this paper, we describe how to integrate frame conditions to symbolic representations. This enables designers to verify the behavior of UML/OCL models while, at the same time, respecting the given frame conditions.

关键词： Unified modeling language Buildings Integrated circuit modeling Computational modeling Complex systems Logic gates Context

来源：评论

学校读者我要写书评

暂无评论

Preface

引用

CEUR Workshop Proceedings 2017年 1826卷

作者： Kopp, Oliver Lenhard, Jörg Pautasso, Cesare University of Stuttgart Institute for Parallel and Distributed Systems Universitätsstraße 38 StuttgartDE70569 Germany Karlstad University Department of Mathematics and Computer Science Universitetsgatan 2 KarlstadSE65188 Sweden USI Faculty of Informatics Architecture Design and Web Information Systems Engineering Research Group Via Buffi 13 LuganoCH6900 Switzerland

来源：评论

学校读者我要写书评

暂无评论

Author Correction: Open-access quantitative MRI data of the spinal cord and reproducibility across participants, sites and manufacturers

引用

Scientific data 2021年第1期8卷 242页

作者： Julien Cohen-Adad Eva Alonso-Ortiz Mihael Abramovic Carina Arneitz Nicole Atcheson Laura Barlow Robert L Barry Markus Barth Marco Battiston Christian Büchel Matthew Budde Virginie Callot Anna J E Combes Benjamin De Leener Maxime Descoteaux Paulo Loureiro de Sousa Marek Dostál Julien Doyon Adam Dvorak Falk Eippert Karla R Epperson Kevin S Epperson Patrick Freund Jürgen Finsterbusch Alexandru Foias Michela Fratini Issei Fukunaga Claudia A M Gandini Wheeler-Kingshott Giancarlo Germani Guillaume Gilbert Federico Giove Charley Gros Francesco Grussu Akifumi Hagiwara Pierre-Gilles Henry Tomáš Horák Masaaki Hori James Joers Kouhei Kamiya Haleh Karbasforoushan Miloš Keřkovský Ali Khatibi Joo-Won Kim Nawal Kinany Hagen H Kitzler Shannon Kolind Yazhuo Kong Petr Kudlička Paul Kuntke Nyoman D Kurniawan Slawomir Kusmia René Labounek Maria Marcella Laganà Cornelia Laule Christine S Law Christophe Lenglet Tobias Leutritz Yaou Liu Sara Llufriu Sean Mackey Eloy Martinez-Heras Loan Mattera Igor Nestrasil Kristin P O'Grady Nico Papinutto Daniel Papp Deborah Pareto Todd B Parrish Anna Pichiecchio Ferran Prados Àlex Rovira Marc J Ruitenberg Rebecca S Samson Giovanni Savini Maryam Seif Alan C Seifert Alex K Smith Seth A Smith Zachary A Smith Elisabeth Solana Y Suzuki George Tackley Alexandra Tinnermann Jan Valošek Dimitri Van De Ville Marios C Yiannakas Kenneth A Weber Ii Nikolaus Weiskopf Richard G Wise Patrik O Wyss Junqian Xu NeuroPoly Lab Institute of Biomedical Engineering Polytechnique Montreal Montreal QC Canada. jcohen@polymtl.ca. Functional Neuroimaging Unit CRIUGM Université de Montréal Montreal QC Canada. jcohen@polymtl.ca. Mila - Quebec AI Institute Montreal QC Canada. jcohen@polymtl.ca. NeuroPoly Lab Institute of Biomedical Engineering Polytechnique Montreal Montreal QC Canada. Department of Radiology Swiss Paraplegic Centre Nottwil Switzerland. Centre for Advanced Imaging The University of Queensland Brisbane Australia. Department of Radiology University of British Columbia Vancouver BC Canada. Athinoula A. Martinos Center for Biomedical Imaging Department of Radiology Massachusetts General Hospital Charlestown MA USA. Department of Radiology Harvard Medical School Boston MA USA. Harvard-Massachusetts Institute of Technology Health Sciences & Technology Cambridge MA USA. School of Information Technology and Electrical Engineering The University of Queensland Brisbane Australia. NMR Research Unit Queen Square MS Centre UCL Queen Square Institute of Neurology Faculty of Brain Sciences University College London London UK. Department of Systems Neuroscience University Medical Center Hamburg-Eppendorf Hamburg Germany. Department of Neurosurgery Medical College of Wisconsin Milwaukee WI USA. Aix-Marseille Univ CNRS CRMBM Marseille France. APHM Hopital Universitaire Timone CEMEREM Marseille France. Vanderbilt University Institute of Imaging Science Vanderbilt University Medical Center Nashville TN USA. Department of Computer and Software Engineering Polytechnique Montreal Montreal Canada. CHU Sainte-Justine Research Centre Montreal QC Canada. Centre de Recherche CHUS CIMS Sherbrooke Canada. Sherbrooke Connectivity Imaging Lab (SCIL) Computer Science department Université de Sherbrooke Sherbrooke Canada. Université de Strasbourg CNRS ICube Strasbourg France. UHB - University Hospital Brno and Masaryk University Department of Radiology and Nuclear

来源：评论

学校读者我要写书评

暂无评论

Application of proper orthogonal decomposition and radial basis functions for crack size estimation using particle swarm optimization

引用

Journal of Physics: Conference Series 2017年第1期842卷

作者： B Benaissa M Köppen M Abdel Wahab S Khatir LEMI Department of Mechanical Engineering University M'hamed Bougara of Boumerdes. Algeria. Faculty of Computer Science and Systems Engineering Department of Creative Informatics Kyushu Institute of Technology. Japan. Department of Electrical Energy Systems and Automation Faculty of Engineering and Architecture Ghent University. Belgium.

Complex engineering problems require simulations, which are computationally expensive in cases of inverse identification tasks since they commonly requires hundreds of thousands of simulations. This paper propose a method based on model reduction for crack size estimation, combining the proper orthogonal decomposition method with radial basis functions. The reduced model is validated by comparing the obtained boundary displacements with the corresponding results from a finite element model. This inverse procedure is formulated as the minimization of the difference between the measured and computed values of displacement at selected boundary nodes, called sensor points, using particle swarm optimization algorithm. Convex and a non-convex specimens have been considered for investigations of crack presence, and identification of its size, different crack sizes have been tested to demonstrate the efficiency of the proposed approach.

关键词：

来源：评论

学校读者我要写书评

暂无评论

PennyLane: Automatic differentiation of hybrid quantum-classical computations

arXiv

引用

arXiv 2018年

作者： Bergholm, Ville Izaac, Josh Schuld, Maria Gogolin, Christian Ahmed, Shahnawaz Ajith, Vishnu Alam, M. Sohaib Alonso-Linaje, Guillermo AkashNarayanan, B. Asadi, Ali Arrazola, Juan Miguel Azad, Utkarsh Banning, Sam Blank, Carsten Bromley, Thomas R. Cordier, Benjamin A. Ceroni, Jack Delgado, Alain Matteo, Olivia Di Dusko, Amintor Garg, Tanya Guala, Diego Hayes, Anthony Hill, Ryan Ijaz, Aroosa Isacsson, Theodor Ittah, David Jahangiri, Soran Jain, Prateek Jiang, Edward Khandelwal, Ankit Kottmann, Korbinian Lang, Robert A. Lee, Christina Loke, Thomas Lowe, Angus McKiernan, Keri Meyer, Johannes Jakob Montañez-Barrera, J.A. Moyard, Romain Niu, Zeyue O’Riordan, Lee James Oud, Steven Panigrahi, Ashish Park, Chae-Yeun Polatajko, Daniel Quesada, Nicolás Roberts, Chase Sá, Nahum Schoch, Isidor Shi, Borun Shu, Shuli Sim, Sukin Singh, Arshpreet Strandberg, Ingrid Soni, Jay Száva, Antal Thabet, Slimane Vargas-Hernández, Rodrigo A. Vincent, Trevor Vitucci, Nicola Weber, Maurice Wierichs, David Wiersema, Roeland Willmann, Moritz Wong, Vincent Zhang, Shaoming Killoran, Nathan Xanadu 777 Bay Street Toronto Canada Wallenberg Centre for Quantum Technology Department of Microtechnology and Nanoscience Chalmers University of Technology Gothenburg412 96 Sweden Indian Institute of Information Technology Kottayam India NASA Ames Research Center Moffett FieldCA94035 United States Mountain ViewCA94043 United States data cybernetics Martin-Kolmsperger-Str 26 Landsberg86899 Germany Department of Medical Informatics and Clinical Epidemiology Oregon Health and Science University PortlandOR97202 United States Dept. of Electrical and Computer Engineering The University of British Columbia VancouverBCV6T 1Z4 Canada Department of Physics Indian Institute of Technology Roorkee Uttarakhand Roorkee India qBraid 5235 South Harper Court ChicagoIL60615 United States Factal Analytics Level 2 Chimes Building Plot 61 Sector - 44 Haryana Gurgaon122003 India Centre for High Energy Physics Indian Institute of Science Karnataka Bengaluru560012 India ICFO - Institut de Ciencies Fotoniques The Barcelona Institute of Science and Technology Av. Carl Friedrich Gauss 3 Castelldefels Barcelona08860 Spain Chemical Physics Theory Group Department of Chemistry University of Toronto Canada DUG Technology 76 Kings Park Rd West PerthWA6005 Australia Rigetti Computing 2919 Seventh Street BerkeleyCA94710 United States Dahlem Center for Complex Quantum Systems Freie Universität Berlin Berlin14195 Germany Institute for Advanced Simulation Jülich Supercomputing Centre Forschungszentrum Jülich Jülich52425 Germany University of Amsterdam Netherlands School of Physical Sciences National Institute of Science Education and Research HBNI Odisha Jatni752 050 India Cervest United Kingdom Centro Brasileiro de Pesquisas Físicas Rua Dr. Xavier Sigaud 150 Rio de Janeiro22290-180 Brazil Zurich8092 Switzerland Neo4j UK Ltd United Kingdom Zapata Computing Inc. United States ITC Infotech Bangalore India Department of Microtechnology and Nanoscienc

PennyLane is a Python 3 software framework for differentiable programming of quantum computers. The library provides a unified architecture for near-term quantum computing devices, supporting both qubit and continuous-variable paradigms. PennyLane’s core feature is the ability to compute gradients of variational quantum circuits in a way that is compatible with classical techniques such as backpropagation. PennyLane thus extends the automatic differentiation algorithms common in optimization and machine learning to include quantum and hybrid computations. A plugin system makes the framework compatible with any gate-based quantum simulator or hardware. We provide plugins for hardware providers including the Xanadu Cloud, Amazon Braket, and IBM Quantum, allowing PennyLane optimizations to be run on publicly accessible quantum devices. On the classical front, PennyLane interfaces with accelerated machine learning libraries such as TensorFlow, PyTorch, JAX, and Autograd. PennyLane can be used for the optimization of variational quantum eigensolvers, quantum approximate optimization, quantum machine learning models, and many other applications. Copyright © 2018, The Authors. All rights reserved.

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

Capacity-aware Cost-efficient Network Reconstruction for Post-Disaster Scenario

Capacity-aware Cost-efficient Network Reconstruction for Pos...

引用

IEEE Annual International Symposium on Personal, Indoor, and Mobile Radio Communications

作者： Xiaoyan Wang Hao Zhou Lei Zhong Yusheng Ji Kiyoshi Takano Shigeki Yamada Guoliang Xue Information Systems Architecture Science Research Division National Institute of Informatics Tokyo Japan School of Computer Science University of Science and Technology of China Hefei Anhui China Earthquake Research Institute The University of Tokyo Tokyo Japan Ira A. Fulton Schools of Engineering Arizona State University Tempe USA

ISBN: (纸本)9781509032556

Natural disasters can result in severe damage to communication infrastructure, which leads to further chaos to the damaged area. After the disaster strikes, most of the victims would gather at the evacuation sites for food supplies and other necessities. Having a good communication network is very important to help the victims. In this paper, we aim at recovering the network from the still-alive mobile base stations to the out-of-service evacuation sites by using multi-hop relaying technique. We propose to reconstruct the post-disaster network in a capacity-aware way based on prize collecting Steiner tree. The purpose of the proposed scheme is to achieve high capacity connectivity ratio in a cost efficient way. To provide more accurate evaluation results, we evaluate the proposed scheme by using the real evacuation site and base station data in Tokyo area, and utilizing the big data analysis based post-disaster service availability model.

关键词： Base stations Relays Mobile communication Earthquakes Steiner trees Mobile computing Spread spectrum communication

来源：评论

学校读者我要写书评

暂无评论

Vision-based Unmanned Aerial Vehicle detection and tracking for sense and avoid systems

Vision-based Unmanned Aerial Vehicle detection and tracking ...

引用

IEEE/RSJ International Conference on Intelligent Robots and systems

作者： Krishna Raj Sapkota Steven Roelofsen Artem Rozantsev Vincent Lepetit Denis Gillet Pascal Fua Alcherio Martinoli Computer Vision Laboratory School of Communication and Computer Sciences école Polytechnique Fédérale de Lausanne (EPFL) Switzerland Distributed Intelligent Systems and Algorithms Laboratory School of Architecture Civil and Environmental Engineering EPFL Switzerland Institute for Computer Graphics and Vision TU Graz Austria Coordination and Interaction System Group School of Engineering EPFL Switzerland

ISBN: (纸本)9781509037636

We propose an approach for on-line detection of small Unmanned Aerial Vehicles (UAVs) and estimation of their relative positions and velocities in the 3D environment from a single moving camera in the context of sense and avoid systems. This problem is challenging both from a detection point of view, as there are no markers on the targets available, and from a tracking perspective, due to misdetection and false positives. Furthermore, the methods need to be computationally light, despite the complexity of computer vision algorithms, to be used on UAVs with limited payload. To address these issues we propose a multi-staged framework that incorporates fast object detection using an AdaBoost-based approach, coupled with an on-line visual-based tracking algorithm and a recent sensor fusion and state estimation method. Our framework allows for achieving real-time performance with accurate object detection and tracking without any need of markers and customized, high-performing hardware resources.

关键词： Target tracking Object detection Collision avoidance Cameras Visualization Detectors

来源：评论

学校读者我要写书评

暂无评论

Identifying the best machine learning algorithms for brain tumor segmentation, progression assessment, and overall survival prediction in the BRATS challenge

arXiv

引用

arXiv 2018年

作者： Bakas, Spyridon Reyes, Mauricio Jakab, Andras Bauer, Stefan Rempfler, Markus Crimi, Alessandro Shinohara, Russell Takeshi Berger, Christoph Ha, Sung Min Rozycki, Martin Prastawa, Marcel Alberts, Esther Lipkova, Jana Freymann, John Kirby, Justin Bilello, Michel Fathallah-Shaykh, Hassan M. Wiest, Roland Kirschke, Jan Wiestler, Benedikt Colen, Rivka Kotrotsou, Aikaterini Lamontagne, Pamela Marcus, Daniel Milchenko, Mikhail Nazeri, Arash Weber, Marc-Andr Mahajan, Abhishek Baid, Ujjwal Gerstner, Elizabeth Kwon, Dongjin Acharya, Gagan Agarwal, Manu Alam, Mahbubul Albiol, Alberto Albiol, Antonio Albiol, Francisco J. Alex, Varghese Allinson, Nigel Amorim, Pedro H.A. Amrutkar, Abhijit Anand, Ganesh Andermatt, Simon Arbel, Tal Arbelaez, Pablo Avery, Aaron Azmat, Muneeza Pranjal, B. Bai, Wenjia Banerjee, Subhashis Barth, Bill Batchelder, Thomas Batmanghelich, Kayhan Battistella, Enzo Beers, Andrew Belyaev, Mikhail Bendszus, Martin Benson, Eze Bernal, Jose Bharath, Halandur Nagaraja Biros, George Bisdas, Sotirios Brown, James Cabezas, Mariano Cao, Shilei Cardoso, Jorge M. Carver, Eric N. Casamitjana, Adri Castillo, Laura Silvana Cat, Marcel Cattin, Philippe Cérigues, Albert Chagas, Vinicius S. Chandra, Siddhartha Chang, Yi-Ju Chang, Shiyu Chang, Ken Chazalon, Joseph Chen, Shengcong Chen, Wei Chen, Jefferson W. Chen, Zhaolin Cheng, Kun Choudhury, Ahana Roy Chylla, Roger Clrigues, Albert Colleman, Steven Colmeiro, Ramiro German Rodriguez Combalia, Marc Costa, Anthony Cui, Xiaomeng Dai, Zhenzhen Dai, Lutao Daza, Laura Alexandra Deutsch, Eric Ding, Changxing Dong, Chao Dong, Shidu Dudzik, Wojciech Eaton-Rosen, Zach Egan, Gary Escudero, Guilherme Estienne, Tho Everson, Richard Fabrizio, Jonathan Fan, Yong Fang, Longwei Feng, Xue Ferrante, Enzo Fidon, Lucas Fischer, Martin French, Andrew P. Fridman, Naomi Fu, Huan Fuentes, David Gao, Yaozong Gates, Evan Gering, David Gholami, Amir Gierke, Willi Glocker, Ben Gong, Mingming Gonzlez-Vill, Sandra Grosges, T. Guan, Yuanfang Guo, Sheng Gupta, Sudeep Han, Woo-Sup Han, Il Song Harmuth, Ko Center for Biomedical Image Computing and Analytics University of Pennsylvania PhiladelphiaPA United States Department of Radiology Perelman School of Medicine University of Pennsylvania PhiladelphiaPA United States Department of Pathology and Laboratory Medicine Perelman School of Medicine University of Pennsylvania PhiladelphiaPA United States Institute for Surgical Technology and Biomechanics University of Bern Bern Switzerland Center for MR-Research University Children's Hospital Zurich Zurich Switzerland Support Centre for Advanced Neuroimaging Inselspital Institute for Diagnostic and Interventional Neuroradiology Bern University Hospital Bern Switzerland University Hospital of Zurich Zurich Switzerland Center for Clinical Epidemiology and Biostatistics University of Pennsylvania Philadelphia United States Image-Based Biomedical Modeling Group Technical University of Munich Munich Germany Icahn School of Medicine Mount Sinai Health System New YorkNY United States Leidos Biomedical Research Inc. Frederick National Laboratory for Cancer Research FrederickMD21701 United States Cancer Imaging Program National Cancer Institute National Institutes of Health BethesdaMD20814 United States Department of Neurology University of Alabama at Birmingham BirminghamAL United States Department of Diagnostic Radiology University of Texas MD Anderson Cancer Center HoustonTX United States Department of Psychology Washington University St. LouisMO United States Neuroimaging Informatics and Analysis Center Washington University St. LouisMO United States Department of Radiology Washington University St. LouisMO United States Institute of Diagnostic and Interventional Radiology Pediatric Radiology and Neuroradiology University Medical Center Rostock Ernst-Heydemann-Str. 6 Rostock18057 Germany Tata Memorial Centre Homi Bhabha National Institute Mumbai India Shri Guru Gobind Singhji Institute of Engineering and Technology Nanded India NVIDIA Santa Clara

Gliomas are the most common primary brain malignancies, with different degrees of aggressiveness, variable prognosis and various heterogeneous histologic sub-regions, i.e., peritumoral edematous/invaded tissue, necrotic core, active and non-enhancing core. This intrinsic heterogeneity is also portrayed in their radio-phenotype, as their sub-regions are depicted by varying intensity profiles disseminated across multi-parametric magnetic resonance imaging (mpMRI) scans, reflecting varying biological properties. Their heterogeneous shape, extent, and location are some of the factors that make these tumors difficult to resect, and in some cases inoperable. The amount of resected tumor is a factor also considered in longitudinal scans, when evaluating the apparent tumor for potential diagnosis of progression. Furthermore, there is mounting evidence that accurate segmentation of the various tumor sub-regions can offer the basis for quantitative image analysis towards prediction of patient overall survival. This study assesses the state-of-the-art machine learning (ML) methods used for brain tumor image analysis in mpMRI scans, during the last seven instances of the International Brain Tumor Segmentation (BraTS) challenge, i.e., 2012-2018. Specifically, we focus on i) evaluating segmentations of the various glioma sub-regions in pre-operative mpMRI scans, ii) assessing potential tumor progression by virtue of longitudinal growth of tumor sub-regions, beyond use of the RECIST/RANO criteria, and iii) predicting the overall survival from pre-operative mpMRI scans of patients that underwent gross total resection. Finally, we investigate the challenge of identifying the best ML algorithms for each of these tasks, considering that apart from being diverse on each instance of the challenge, the multi-institutional mpMRI BraTS dataset has also been a continuously evolving/growing dataset. Copyright © 2018, The Authors. All rights reserved.

关键词： Tumors

来源：评论

学校读者我要写书评

暂无评论

Contextual Relative Entropy Policy Search with Covariance Matrix Adaptation

Contextual Relative Entropy Policy Search with Covariance Ma...

引用

IEEE International Conference on Autonomous Robot systems and Competitions (ICARSC)

作者： Abbas Abdolmaleki David Simões Nuno Lau Luís Paulo Reis Gerhard Neumann DETIIUA - Electronics University of Aveiro Aveiro Portugal LIACC - Artificial Intelligence and Computer Science Laboratory University of Porto Porto Portugal IEETA - Institute of Electronics and Informatics Engineering of Aveiro University of Aveiro Aveiro Portugal DSI - Department of Information Systems University of Minho Braga Portugal CLAS - Computational Learning for Autonomous Systems Group Technische Universität Darmstadt Darmstadt Germany

Stochastic search algorithms are black-box optimizers of an objective function. They have recently gained a lot of attention in operations research, machine learning and policy search of robot motor skills due to their ease of use and their generality. However, with slightly different tasks or objective functions, many stochastic search algorithms require complete re-learning in order to adapt the solution to the new objective function or the new context. As such, we consider the contextual stochastic search paradigm. Here, we want to find good parameter vectors for multiple related tasks, where each task is described by a continuous context vector. Hence, the objective function might change slightly for each parameter vector evaluation. Contextual algorithms have been investigated in the field of policy search. However, contextual policy search algorithms typically suffer from premature convergence and perform unfavourably in comparison with state of the art stochastic search methods. In this paper, we investigate a contextual stochastic search algorithm known as Contextual Relative Entropy Policy Search (CREPS), an informationtheoretic algorithm that can learn for multiple tasks simultaneously. We extend that algorithm with a covariance matrix adaptation technique that alleviates the premature convergence problem. We call the new algorithm Contextual Relative Entropy Policy Search with Covariance Matrix Adaptation (CREPS-CMA). We will show that CREPS-CMA outperforms the original CREPS by orders of magnitude. We illustrate the performance of CREPS-CMA on several contextual tasks, including a complex simulated robot kick task.

关键词： Context Covariance matrices Linear programming Convergence Entropy Robots Search methods

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：