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

ROLE OF SIMULATION IN RAPID PROTOTYPING FOR CONCEPT DEVELOPMENT

NAVAL ENGINEERS JOURNAL 1991年第3期103卷 204-211页

作者： KING, JF BARTON, DE J. Fred King:is the manager of the Advanced Technology Department for Unisys in Reston Virginia. He earned his Ph.D. in mathematics from the University of Houston in 1977. He has been principal investigator of research projects in knowledge engineering pattern recognition and heuristic problem-solving. Efforts include the development of a multi-temporal multispectral classifier for identifying graincrops using LANDSAT satellite imagery data for NASA. Also as a member of the research team for a NCI study with Baylor College of Medicine and NASA he helped develop techniques for detection of carcinoma using multispectral microphotometer scans of lung tissue. He established and became technical director of the AI Laboratory for Ford Aerospace where he developed expert scheduling modeling and knowledge acquisition systems for NASA. Since joining Unisys in 1985 he has led the development of object-oriented programming environments blackboard architectures data fusion techniques using neural networks and intelligent data base systems. Douglas E. Barton:is manager of Logistics Information Systems for Unisys in Reston Virginia. He earned his B.A. degree in computer science from the College of William and Mary in 1978 and did postgraduate work in London as a Drapers Company scholar. Since joining Unisys in 1981 his work has concentrated on program management and software engineering of large scale data base management systems and design and implementation of knowledge-based systems in planning and logistics. As chairman of the Logistics Data Subcommittee of the National Security Industrial Association (NSIA) he led an industry initiative which examined concepts in knowledge-based systems in military logistics. His responsibilities also include evaluation development and tailoring of software engineering standards and procedures for data base and knowledge-based systems. He is currently program manager of the Navigation Information Management System which provides support to the Fleet Ballistic Missile Progr

A valuable technique during concept development is rapid prototyping of software for key design components. This approach is particularly useful when the optimum design approach is not readily apparent or several known alternatives need to be rapidly evaluated. A problem inherent in rapid prototyping is the lack of a "target system" with which to interface. Some alternatives are to develop test driver libraries, integrate the prototype with an existing working simulator, or build one for the specific problem. This paper presents a unique approach to concept development using rapid prototyping for concept development and scenario-based simulation for concept verification. The rapid prototyping environment, derived from artificial intelligence technology, is based on a blackboard architecture. The rapid prototype simulation capability is provided through an object-oriented modeling environment. It is shown how both simulation and blackboard technologies are used collectively to rapidly gain insight into a tenacious problem. A specific example will be discussed where this approach was used to evolve the logic of a mission controller for an autonomous underwater vehicle.

关键词： Military engineering

来源：评论

学校读者我要写书评

暂无评论

SHIPBOARD MAIN BOILER AND FEED PUMP CONTROL-SYSTEM ONLINE ALIGNMENT VERIFICATION

引用

NAVAL ENGINEERS JOURNAL 1982年第6期94卷 39-46页

作者： BANHAM, JW ADAM, DJ James W. Banham:holds positions both as Director of the Machinery Automation Systems Department of the Naval Ship Systems Engineering Station and as Assistant Chairman of the Mechanical and Industrial Engineering Department of Drexel University's Evening College where he holds the rank of Adjunct Associate Professor. He is the author of a text on Numerical Methods Applications in Engineering. In addition to numerous technical papers he is also the author of the ISA film on Boiler Feedwater Control Systems. A registered professional engineer in the state of Pennsylvania Mr. Banham is co-author of a forthcoming handbook on preparing for the Professional Engineering Examination in mechanical engineering. Mr. Banham holds a bachelor of science degree in mechanical engineering from the Pennsylvania State University his graduate studies were taken at the University of Pennsylvania. He is currently a member of the American Society for Engineering Education and the Instrument Society of America. He served as a member of the ISA Education Committee from 1964 through 1973 and as a member of the ISA Power Plant Dynamics Committee since 1969. His service on the latter committee includes terms as Executive Secretary Vice-Chairman and Chairman. Among other honors Mr. Banham was the winner of the Naval Ship Engineering Center's first Technical Achievement Award (1963) Technical Publication Award (1974) and Equal Employment Opportunity Award (1978). He was also the recipient of Drexel University's Laura S. Campbell Award for Excellence in Teaching (1978). He has taught undergraduate courses in classical control theory numerical methods computer programming systems design and analysis and instrumentation. He also teaches systems theory and computer science in an EIT Review and heat transfer in a PE Review conducted by the Drexel University Department of Continuing Professional Education. Mr. David J. Adam:is a Project Engineer in the Naval Sea Systems Command (PMS301) Steam Propulsion Plant Improvement Program where he i

One of the most serious problems encountered in Naval steam plants following World War II was the unreliable performance of boiler and main feedpump pneumatic control systems. In addition to control component and system design deficiencies, these control systems suffered from inadequate methods to measure and adjust system alignment. This paper describes the development of a set of procedures for on-line alignment verification (OLV) of pneumatic main boiler and feedpump control systems. The procedures are designed for use by N avy control system technicians and, in addition to on-line alignment verification, provide guidance for troubleshooting and for performing system alignment. Procedure static checks measure steady state steaming performance and OLV procedure dynamic checks measure the ability of the boiler and control systems to respond to load changes. The paper describes typical control system characteristics that influence OLV procedure content and the supporting analysis that was used to establish alignment criteria ranges that satisfy both steady state and transient performance requirements. Also described is the alignment criteria tolerance analysis along with the steps involved in a typical OLV check procedure development. Descriptions of the various OLV checks, troubleshooting procedures and alignment procedures are provided. Typical shipboard implementation requirements are described and experience to date with the procedures is provided along with a status report on OLV procedure implementations.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

关键词：

来源：评论

学校读者我要写书评

暂无评论

Enriching and Characterizing T-Cell Repertoires from 3' Barcoded Single-Cell Whole Transcriptome Amplification Products

arXiv

引用

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.

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：