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

arXiv 2022年

作者： Jivanjee, Tasneem Ibrahim, Samira Nyquist, Sarah K. James Gatter, G. Bromley, Joshua D. Jaiswal, Swati Berger, Bonnie Behar, Samuel M. Christopher Love, J. Shalek, Alex K. Institute for Medical Engineering & Science Department of Chemistry Massachusetts Institute of Technology CambridgeMA United States Koch Institute for Integrative Cancer Research Massachusetts Institute of Technology CambridgeMA United States Ragon Institute of MGH MIT and Harvard CambridgeMA United States Broad Institute of MIT and Harvard CambridgeMA United States Massachusetts Institute of Technology CambridgeMA United States Program in Computational and Systems Biology Massachusetts Institute of Technology CambridgeMA United States Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology CambridgeMA United States Microbiology Graduate Program Massachusetts Institute of Technology CambridgeMA02139 United States Department of Microbiology and Physiological Systems University of Massachusetts Medical School WorcesterMA United States Department of Mathematics Massachusetts Institute of Technology CambridgeMA United States Department of Chemical Engineering Massachusetts Institute of Technology CambridgeMA United States

Antigen-specific T cells play an essential role in immunoregulation and many diseases such as cancer. Characterizing the T cell receptor (TCR) sequences that encode T cell specificity is critical for elucidating the antigenic determinants of immunological diseases and designing therapeutic remedies. However, methods of obtaining single-cell TCR sequencing data are labor and cost intensive, typically requiring both cell sorting and full length single-cell RNA-sequencing (scRNA-seq). New high-throughput 3' cell-barcoding scRNA-seq methods can simplify and scale this process;however, they do not routinely capture TCR sequences during library preparation and sequencing. While 5' cell-barcoding scRNA-seq methods can be used to examine TCR repertoire at single-cell resolution, doing so requires specialized reagents which cannot be applied to samples previously processed using 3' cell-barcoding methods. Here, we outline a method for sequencing TCRα and TCRβ transcripts from samples already processed using 3' cell-barcoding scRNA-seq platforms, ensuring TCR recovery at a single-cell resolution. In short, a fraction of the 3' barcoded whole transcriptome amplification (WTA) product typically used to generate a massively parallel 3' scRNA-seq library is enriched for TCR transcripts using biotinylated probes, and further amplified using the same universal primer sequence from WTA. Primer extension using TCR V-region primers and targeted PCR amplification using a second universal primer results in a 3' barcoded single-cell CDR3-enriched library that can be sequenced with custom sequencing primers. Coupled with 3' scRNA-seq of the same WTA, this method enables simultaneous analysis of single-cell transcriptomes and TCR sequences which can help interpret inherent heterogeneity among antigen-specific T cells and salient disease biology. The method presented here can also be adapted readily to enrich and sequence other transcripts of interest from both 3' and 5' barcoded scRNA-seq

关键词： RNA

来源：评论

学校读者我要写书评

暂无评论

SRBench++: Principled Benchmarking of Symbolic Regression With Domain-Expert Interpretation

引用

IEEE Transactions on Evolutionary Computation 2024年 1-1页

作者： de Franca, F.O. Virgolin, M. Kommenda, M. Majumder, M.S. Cranmer, M. Espada, G. Ingelse, L. Fonseca, A. Landajuela, M. Petersen, B. Glatt, R. Mundhenk, N. Lee, C.S. Hochhalter, J.D. Randall, D.L. Kamienny, P. Zhang, H. Dick, G. Simon, A. Burlacu, B. Kasak, Jaan Machado, Meera Wilstrup, Casper Cavaz, W.G.L. Federal University of ABC Santo Andre Brazil Evolutionary Intelligence group Centrum Wiskunde and Informatica Science Park Amsterdam Netherlands University of Applied Sciences Upper Austria Hagenberg Austria Computational Health Informatics Program Boston Children’s Hospital Harvard Medical School Boston USA Center for Computational Astrophysics Flatiron Institute and Department of Astrophysical Sciences of Princeton University USA LASIGE Faculdade de Ciências Universidade de Lisboa Lisboa Portugal Computational Engineering Division Lawrence Livermore National Laboratory Livermore USA Department of Mechanical Engineering University of Utah Utah USA Meta FAIR France Victoria University of Wellington School of Engineering and Computer Science New Zealand University of otago Department of Information Science New Zealand Institut für Angewandte Physik Universität TübingenMax Planck Institute for Intelligent Systems Tübingen Germany Abzu AI Orient Plads 1 Nordhavn Denmark

Symbolic regression searches for analytic expressions that accurately describe studied phenomena. The main promise of this approach is that it may return an interpretable model that can be insightful to users, while maintaining high accuracy. The current standard for benchmarking these algorithms is SRBench, which evaluates methods on hundreds of datasets that are a mix of real-world and simulated processes spanning multiple domains. At present, the ability of SRBench to evaluate interpretability is limited to measuring the size of expressions on real-world data, and the exactness of model forms on synthetic data. In practice, model size is only one of many factors used by subject experts to determine how interpretable a model truly is. Furthermore, SRBench does not characterize algorithm performance on specific, challenging sub-tasks of regression such as feature selection and evasion of local minima. In this work, we propose and evaluate an approach to benchmarking SR algorithms that addresses these limitations of SRBench by 1) incorporating expert evaluations of interpretability on a domain-specific task, and 2) evaluating algorithms over distinct properties of data science tasks. We evaluate 12 modern symbolic regression algorithms on these benchmarks and present an in-depth analysis of the results, discuss current challenges of symbolic regression algorithms and highlight possible improvements for the benchmark itself. Authors

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

Photonic Terahertz Phased Array

arXiv

引用

arXiv 2024年

作者： Niu, Li Feng, Xi Zhang, Xueqian Lu, Yongchang Wang, Qingwei Xu, Quan Chen, Xieyu Ma, Jiajun Qiu, Haidi Sha, Wei E.I. Zhang, Shuang Alù, Andrea Zhang, Weili Han, Jiaguang Center for Terahertz Waves College of Precision Instrument and Optoelectronics Engineering The Key Laboratory of Optoelectronics Information and Technology Tianjin University Tianjin300072 China Key Laboratory of Micro-nano Electronic Devices and Smart Systems of Zhejiang Province College of Information Science & Electronic Engineering Zhejiang University Hangzhou310027 China Department of Electrical & Electronic Engineering University of Hong Kong 999077 Hong Kong Photonics Initiative Advanced Science Research Center City University of New York New York10031 United States Physics Program Graduate Center City University of New York New York10016 United States School of Electrical and Computer Engineering Oklahoma State University StillwaterOK74078 United States Guangxi Key Laboratory of Optoelectronic Information Processing School of Optoelectronic Engineering Guilin University of Electronic Technology Guilin541004 China

Phased arrays are crucial in various technologies, such as radar and wireless communications, due to their ability to precisely control and steer electromagnetic waves. This precise control improves signal processing and enhances imaging performance. However, extending phased arrays to the terahertz (THz) frequency range has proven challenging, especially for high-frequency operation, broadband performance, two-dimensional (2D) phase control with large antenna arrays, and strong phase modulation. Here, we introduce a photonic platform to realize a THz phased array that bypasses the above challenges. Our method employs 2D phase coding with 2-bit across a broad THz frequency range from 0.8 to 1.4 THz. The core of our design is a pixelated nonlinear Pancharatnam-Berry metasurface driven by a spatially modulated femtosecond laser, allowing precise phase control of THz signals. We showcase the effectiveness of our method through four proof-of-concept applications: single beamforming, dual beamforming, imaging and vortex beam generation. The realized photonic platform provides a promising pathway for developing broadband phased arrays in the THz regime. Copyright © 2024, The Authors. All rights reserved.

关键词： Terahertz waves

来源：评论

学校读者我要写书评

暂无评论

Ten simple rules for reproducible research in jupyter notebooks

arXiv

引用

arXiv 2018年

作者： Rule, Adam Birmingham, Amanda Zuniga, Cristal Altintas, Ilkay Huang, Shih-Cheng Knight, Rob Moshiri, Niema Nguyen, Mai H. Rosenthal, Sara Brin Pérez, Fernando Rose, Peter W. Design Lab UC San Diego San DiegoCA United States Center for Computational Biology and Bioinformatics UC San Diego San DiegoCA United States Department of Pediatrics UC San Diego San DiegoCA United States Data Science Hub San Diego Supercomputer Center UC San Diego San DiegoCA United States Departments of Bioengineering and Computer Science and Engineering Center for Microbiome Innovation UC San Diego San DiegoCA United States Bioinformatics and Systems Biology Graduate Program UC San Diego San DiegoCA United States Department of Statistics Berkeley Institute for Data Science UC Berkeley Lawrence Berkeley National Laboratory BerkeleyCA United States Biomedical Informatics Graduate Program Stanford University StanfordCA United States

Reproducibility of computational studies is a hallmark of scientific methodology. It enables researchers to build with confidence on the methods and findings of others, reuse and extend computational pipelines, and thereby drive scientific progress. Since many experimental studies rely on computational analyses, biologists need guidance on how to set up and document reproducible data analyses or simulations. In this paper, we address several questions about reproducibility. For example, what are the technical and non-technical barriers to reproducible computational studies? What opportunities and challenges do computational notebooks offer to overcome some of these barriers? What tools are available and how can they be used effectively? We have developed a set of rules to serve as a guide to scientists with a specific focus on computational notebook systems, such as Jupyter Notebooks, which have become a tool of choice for many applications. Notebooks combine detailed workflows with narrative text and visualization of results. Combined with software repositories and open source licensing, notebooks are powerful tools for transparent, collaborative, reproducible, and reusable data analyses. Copyright © 2018, The Authors. All rights reserved.

关键词： Digital storage

来源：评论

学校读者我要写书评

暂无评论

Proof Method for correctness of refinements of algebraic specification in abstract sequential machine style

引用

systems AND computerS IN JAPAN 1996年第5期27卷 25-38页

作者： Okano, K Higashino, T Taniguchi, K Member Faculty of Engineering Science Osaka University Toyonaka Japan 560 Teruo Hipshino received his B.E. M.E.and Ph.D. degrees in Information and Computer Sciences from Osaka University Osaka Japan in 1R9 1981 and 1984 respectively. He joined the Faculty of Osaka University in 1984. Since 1991 he has been an Associate Professor in the Department of Information and Computer Sciences at Osaka University. In 1990 he was a Visiting Researcher of Dept. I.R.O. at University of Montreal Canada. His current research interests include design and analysis of distributed systems specification and verification of communication protocols and formal approach of program design. He is a member of IEEE-CS ACM IEICE of Japan and IPS of Japan.

In this paper, new methods for providing the correctness of refinement among abstract sequential machine style programs are described. The programs are described in algebraic language ASL using some useful notions, i.e., the extended projection and the valid reachability condition for each transition function. These notions allow a designer to refine a given text (program or specification) to a concrete text more freely than the text that does not use such notions. These notions can also enhance the expressive power of the text. On the other hand, these advantages would have lost half their values, if useful methods to prove the correctness of refinement among the texts using them are not found. Thus new methods for proving the correctness of the texts are proposed, and they do not require much proof loads. First, the correctness of refinement among the ASL texts with the extended projection is defined. Second, a method is proposed for proving the correctness of refinement among such texts. Also proposed is a definition of the correctness of refinement among the texts with the valid reachability conditions and a method to prove their correctness. These methods do not require more proof loads than the usual methods for the texts that do not use such notions in the abstract sequential machine style. Therefore, these methods are useful.

关键词： abstract sequential machine ASL language proof algebraic specification

来源：评论

学校读者我要写书评

暂无评论

Human systems integration and advanced technology in engineering department workload and manpower reduction

引用

NAVAL ENGINEERS JOURNAL 2003年第1期115卷 57-65页

作者： Lively, KA Seman, AJ Kirkpatrick, M KENNETH A. LIVELY graduated from the University of Colorado with a BS in applied mathematics and an MS in mathematics in 1976 and from the Massachusetts Institute of Technology with an MS in electrical engineering and the degree ocean engineer in naval architecture and marine engineering in 1984. He retired from the U.S. Navy in 1989 after 23 years of service. Assignments included electrical officer on the USS Constellation (CV 64) project engineer for the DDG 51 machinery control system (NAVSEA) and DDG 51 Technical Director (NAVSEA). He was vice president of the PDI Division of Bird-Johnson Company from July 1989 to November 1998 where he managed various gas turbine and machinery controls related development projects. He joined Anteon Corporation's Systems Engineering Group as senior controls engineer in December 1998 where he provided technical support to the integrated power systems program (NAVSEA PMS 510) and managed the Office of Naval Research Afloat Laboratory. DR. MARK KIRKPATRICK is currently an independent consultant in human factors and work-load/manning analysis and modeling. He holds a Ph.D. degree in experimental psychology from The Ohio State University and has 34 years of experience in applied human factors. From 1982 through 2000 Dr. Kirkpatrick served as the senior vice president of Carlow International. Prior to joining Carlow in 1982 Dr. Kirkpatrick served as a member of the technical staff at North American Rockwell's Missiles Division and as a project director and vice president for Essex Corporation. His areas of expertise include workload simulation task analysis operator-in-the-loop simulation human performance experimentation statistical analysis and human factors T&E. He has directed and/or participated in human factors projects for the U.S. Navy U.S. Army NASA Department of Transportation the U.S. Nuclear Regulatory Commission and private industry. ANTHONY J. SEMAN III is the technical manager for the reduced ship's crew by virtual presence (RSVP) advanced technology d

Aboard current ships, such as the DDG 51, engineering control and damage control activities are manpower intensive. It is anticipated that, for future combatants, the workload demand arising from operation of systems under conditions of normal steaming and during casualty response will need to be markedly reduced via automated monitoring, autonomous control, and other technology initiatives. Current DDG 51 class ships can be considered as a manpower baseline and under Condition III typical engineering control involves seven to eight watchstanders at manned stations in the Central Control Station, the engine rooms and other machinery spaces. In contrast to this manning level, initiatives such as DD 21 and the integrated engineering plant (IEP) envision a partnership between the operator and the automation system, with more and more of the operator's functions being shifted to the automation system as manning levels decrease. This paper describes some human systems integration studies of workload demand reduction and, consequently, manning reduction that can be achieved due to application of several advanced technology concepts. Advanced system concept studies in relation to workload demand are described and reviewed including. Piecemeal applications of diverse automation and remote control technology concepts to selected high driver tasks in current DDG 51 activities. Development of the reduced ship's crew by virtual presence system that will provide automated monitoring and display to operators of machinery health, compartment conditions, and personnel health. The IEP envisions the machinery control system as a provider of resources that are used by various consumers around the ship. Resource needs and consumer priorities are at all times dependent upon the ship's current mission and the availability of equipment pawnbrokers.

关键词： Naval warfare

来源：评论

学校读者我要写书评

暂无评论

Book reviews

引用

Minds and Machines 1996年第2期6卷 239-285页

作者： Abbott, Barbara Herskovits, Annette Peterson, Philip L. Mele, Alfred R. Cole, David J. Crevier, Daniel Pelletier, Francis Jeffry Berkeley, Istvan S. N. Kitts, Brendan J. Brown, Mike Paliouras, George Department of Linguistics and Languages Michigan State University East Lansing USA Department of Philosophy Michigan State University East Lansing USA Program in Applied Linguistics Boston University Boston USA Department of Philosophy Syracuse University Syracuse USA Department of Philosophy Davidson College Davidson USA Department of Philosophy University of Minnesota Duluth USA Department of Electrical Engineering École de Technologie Supérieure Université du Québec Montréal Canada Department of Philosophy University of Alberta Edmonton Canada Department of Computing Science University of Alberta Edmonton Canada Biological Computation Project University of Alberta Edmonton Canada Center for Complex Systems Brandeis University Waltham USA Department of Computer Science University of Manchester Manchester U.K.

来源：评论

学校读者我要写书评

暂无评论

Linearity assessment between lower limb joint angles and angular accelerations at standard maximum vertical jumps with long-short and no countermovement

引用

Gait & Posture 2023年 106卷 S174-S175页

作者： Rodrigues, Carlos Correia, Miguel Abrantes, João Benedetti, Marco Nadal, Jurandir Faculty of Engineering- University of Porto Biomedical Engineering Program Porto Portugal INESC TEC - Institute for Systems and Computer Engineering- Technology and Science C-BER - Centre for Biomedical Engineering Research Porto Portugal Faculty of Engineering- University of Porto Department of Electrical and Computer Engineering Porto Portugal CICANT - Centre for Research in Applied Communication- Culture and New Technologies MovLab - Laboratory of Technologies for Interactions and Interfaces Lisbon Portugal Federal University of Pernambuco Department of Electronic and Systems Recife Brazil Federal University of Rio de Janeiro Biomedical Engineering Program Rio de Janeiro Brazil

IntroductionStandard maximum vertical jump (MVJ) has been applied to assess lower limb long countermovement (CM) on countermovement jump (CMJ) and short CM on drop jump (DJ) for comparison to squat jump (SJ) without CM [1,2]. Research questionNevertheless, the ability for lower limb joint accelerations depending on lower limb joint angles at long, short and no CM remains an open issue [3,4], in particular linearity assessment of these relations at long, short and no CM in association with MVJ whole-body impulsion. MethodsFor this reason, we applied piecewise linear detection of segmented subphases on lower limb joint angles ( θ)-angular acceleration ( α) diagrams for the hip (H), knee (K) and ankle (A) during impulse phases on CMJ, DJ and SJ. Selected sample corresponds to best MVJ trials based on higher flight-time of 3 CMJ, DJ and SJ repetitions for six healthy untrained subjects with ages (21.5±1.4) years, (76.7±9.3)kg mass and (1.79±0.06)m height. Adhesive reflective markers were applied at lower limb and torso, with sagittal hip, knee, and ankle θ, α obtained by inverse kinematics. H,K,A ( θ, α) diagrams were plotted and impulsion subphases segmented at selected instants of ∂ a/∂ q phase reversal with linear fit by the least-squares method, Fig. 1. Fig. 1. Hip, knee, ankle joint ( θ, α) diagrams at CMJ, DJ, SJ with segmented subphases time span(Δt), |∂α/∂θ| slope magnitudes and R² linear fit regression. ResultsSJ presented larger number of ( θ, α) subphases than DJ, both larger than CMJ with higher |∂ α/∂ θ| variation at DJ and SJ than CMJ, pointing to higher complexity of neuromuscular control and contributing to explain reduced SJ, DJ performance without CM (0.33±0.05)m and with short CM (0.27±0.03)m in relation to CMJ with long CM (0.36±0.04)m for untrained selected subjects, Fig. 1. Thus, despite the larger total time span Δt at CMJ (0.76±0.10)s in relation to SJ (0.36±0.08)s and DJ (0.23±0.05)s, CMJ presented lower number of subphases with longer time span

关键词：

来源：评论

学校读者我要写书评

暂无评论

Muscle coactivation analysis for neuromuscular control assessment of lower limb stretch-shortening cycle

引用

Gait & Posture 2023年 106卷 S175-S176页

IntroductionMuscle stretch-shortening cycle (SSC) is a central mechanism with lower limb muscle contraction immediately preceded by muscle stretch for efficient submaximal activities such as gait and powerful maximal activities such as running and jumping [1,2]. Research questionAlthough muscle SSC can be observed at gait and running its higher expression and accessibility is performed on standard maximum vertical jump (MVJ) with an open issue on neuromuscular control assessment of lower limb muscle SSC [3]. MethodsFor this purpose, we present and applied noninvasive subject specific analysis of lower limb muscle coactivation for selected muscles with higher contribution during MVJ impulse based on corresponding conditioned surface electromyographic signals (sEMG). Selected muscles correspond to lower limb muscles vastus medialis (VM), rectus femoris (RF), vastus lateralis (VL), lateral gastrocnemius (LG) and medial gastrocnemius (MG). Twenty-seven trials were assessed corresponding for each subject to the highest MVJ based on larger flight time with long SSC at countermovement jump (CMJ), short SSC at drop jump (DJ) and squat jump (SJ) with no SSC. Trial sample is composed by a group of six young adult volunteers’ students on sports and physical education degree with the ages (21.5 ± 1.4) years, (76.7 ± 9.3) kg mass and (1.79 ± 0.06) m height. Surface skin was prepared and Aqua-Wet gel Skintact F55 electrodes were applied at bipolar configuration as indicated by SENIAN. VM, RF, VL, LG and MG sEMG linear envelopes were paired plotted with the area under the curves computed as well as the coactivation pairs defined as the common area under the curves normalized to the sum of the corresponding pair individual areas under the curves. Coactivations were compared at CMJ, DJ and SJ as well as among CMJ, DJ and SJ, Fig. 1. ResultsStrongest coactivations with decreasing intensity were detected between VM-RF and LG-MG muscles at CMJ and SJ, whereas at DJ the strongest coacti

关键词：

来源：评论

学校读者我要写书评

暂无评论

THE QUANTIFICATION OF INTEROPERABILITY

引用

NAVAL ENGINEERS JOURNAL 1989年第3期101卷 251-256页

作者： MENSH, DR KITE, RS DARBY, PH Dennis Roy Mensh:is currently the task leader Interoperability Project with the MITRE Corporation in McLean Va. He received his B.S. and M.S. degrees in applied physics from Loyola College in Baltimore Md. and the American University in Washington D. C. He also has completed his course work towards his Ph.D. degree in computer science specializing in the fields of systems analysis and computer simulation. He has been employed by the Naval Surface Warfare Center White Oak Laboratory Silver Spring Md. for 20 years in the areas of weapon system analysis and the development of weapon systems simulations. Since 1978 he has been involved in the development of tools and methodologies that can be applied to the solution of shipboard combat system/battle force system architecture and engineering problems. Mr. Mensh is a member of ASNE MORS IEEE U.S. Naval Institute MAA and the Sigma Xi Research Society. Robert S. Kite:is a systems engineer with the Naval Warfare Systems Engineering Department of the MITRE Corporation in McLean Va. Mr. Kite received his B.S. degree in electronic engineering from The Johns Hopkins University in Baltimore Md. Mr. Kite retired from the Federal Communications Commission in 1979 and served a project manager of the J-12 Frequency Management Support Project for the Illinois Institute of Technology Research Institute in Annapolis Md. before joining MITRE. Mr. Kite is presently a member of ASNE the Military Operations Research Society and an associate member of Sigma Xi. Paul H. Darby:has worked in the field of interoperability both in the development of interoperability concepts and systems since joining the Department of the Navy in 1967. He was the Navy's program manager for the WestPacNorth TACS/ TADS and IFFN systems. He is currently head of the Interoperability Branch Warfare Systems Engineering Office Space and Naval Warfare Systems Command. He holds a B.S. from the U.S. Naval Academy.

JCS Pub 1 defines interoperability as “The ability of systems, units or forces to provide services to and accept services from other systems, units or forces and to use the services so exchanged to enable them to operate effectively together.” With JCS Pub 1 as a foundation, interoperability of systems, units or forces can be factored into a set of components that can quantify interoperability. These components are: media, languages, standards, requirements, environment, procedures, and human factors. The concept described in this paper uses these components as an analysis tool to enable specific detailed analyses of the interoperability of BFC3 systems, units, or forces for the purpose of uncovering and resolving interoperability issues and problems in the U.S. Navy, Joint, and Allied arenas. Also, as a management tool, the components can help determine potential interoperability characteristics of future U.S. Navy BFC3 systems for compliance with battle force systems architectures. The approach selected for the quantification of interoperability was the development of a set of measures of performance (MOPs) and measures of effectiveness (MOEs). The MOPs/MOEs were integrated with a candidate set of components, which were used to partition the totality of interoperability into measurable entities. The methodology described employs basic truth table theory in conjunction with logic equations to evaluate the interoperability components in terms of MOPs that were aggregated to MOEs. It is believed that this concept, although elementary and based on fundamental principles, represents an operationally significant approach rather than a theoretical approach to the quantification of interoperability. The vehicle used as a means to measure the MOPs and MOEs was the Research Evaluation and systems Analysis (RESA) computer modeling and simulation capability at the Naval Ocean systems Center (NOSC), San Diego, Calif. Data for the measurements were collected during a Tactical I

关键词： Military engineering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：