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

Development and integration of an equation-solving program for engineering thermodynamics courses

学校读者我要写书评

暂无评论

computer Applications in engineering Education 1993年第3期1卷 265-265页

作者： Klein, S.A. Mechanical Engineering Department University of Wisconsin-Madison 53706 Dr. S. A. Klein:is a professor of Mechanical Engineering at University of Wisconsin-Madison. His engineering degrees (BS University of Illinois-Chicago MS PhD University of Wisconsin-Madison) were obtained in Chemical Engineering. Professor Klein is a member of the Solar Energy Laboratory at Wisconsin. He is the developer of the F-Chart method for sizing solar heating systems and the TRNSYS simulation program which is widely used in simulations of solar processes. Currently Professor Klein is involved in research on solar energy system performance absorption power cycles finite-time thermodynamics applications adsorption processes for air conditioning and air quality control and alternative refrigerants and systems for refrigeration and air conditioning applications. Professor Klein is also involved in the development of engineering computer tools for both instruction and research. In addition to the EES program described in this paper he is the primary author of the thermodynamics instructional program CP/Thermo and the finite element program FEHT.

Thermodynamics problems can be separated into conceptual and mathematical parts. The conceptual part consists of the problem formulation and analysis. The mathematical part seeks to obtain an answer to a problem by solving the equations identified in the analysis. The mathematical part can be complex and time-consuming and often directs the students' focus away from the concepts. An equation solving program called engineering Equation Solver (EES) was developed to reduce the time and effort required by students to solve the mathematical part of thermodynamics problems. EES differs from existing equation solving programs in that it is designed for use by students and it includes an extensive library of built-in functions for thermodynamic and transport properties of fluids. Thermodynamic and transport property data needed for solving engineering problems (eg, steam tables, refrigerant properties, psychrometric and combustion gas data) are built into the program. By eliminating table lookups and algebra, EES allows students to concentrate on engineering fundamentals, as well as to do more complex design problems.

关键词：

Merging synthetic and real embryo data for advanced AI predictions

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Presacan, Oriana Dorobanţiu, Alexandru Thambawita, Vajira Riegler, Michael A. Stensen, Mette H. Iliceto, Mario Aldea, Alexandru C. Sharma, Akriti Faculty of Electronics Telecommunications and Information Technology National University of Science and Technology Politehnica Bucharest Bucharest061071 Romania Department of Computer Science and Electrical Engineering Lucian Blaga University of Sibiu Sibiu550024 Romania Department of Holistic Systems SimulaMet Stensberggata 27 Oslo0170 Norway Department of Computer Science Oslo Metropolitan University Oslo0167 Norway Volvat Spiren Oslo0176 Norway Faculty of Biotechnologies University of Agronomic Sciences and Veterinary Medicine Bucharest011464 Romania Department of Validation Intelligence for Autonomous Software Systems Simula Research Laboratory Oslo0164 Norway Cyber Security Simula Research Laboratory Oslo0164 Norway

Accurate embryo morphology assessment is essential in assisted reproductive technology for selecting the most viable embryo. Artificial intelligence has the potential to enhance this process. However, the limited availability of embryo data presents challenges for training deep learning models. To address this, we trained two generative models using two datasets—one we created and made publicly available, and one existing public dataset—to generate synthetic embryo images at various cell stages, including 2-cell, 4-cell, 8-cell, morula, and blastocyst. These were combined with real images to train classification models for embryo cell stage prediction. Our results demonstrate that incorporating synthetic images alongside real data improved classification performance, with the model achieving 97% accuracy compared to 94.5% when trained solely on real data. This trend remained consistent when tested on an external Blastocyst dataset from a different clinic. Notably, even when trained exclusively on synthetic data and tested on real data, the model achieved a high accuracy of 92%. Furthermore, combining synthetic data from both generative models yielded better classification results than using data from a single generative model. Four embryologists evaluated the fidelity of the synthetic images through a Turing test, during which they annotated inaccuracies and offered feedback. The analysis showed the diffusion model outperformed the generative adversarial network, deceiving embryologists 66.6% versus 25.3% and achieving lower Fréchet inception distance scores. © 2024, CC BY-SA.

关键词： Generative adversarial networks

Metabolic pathway interface to molecular biology databases

学校读者我要写书评

暂无评论

Metabolic pathway interface to molecular biology databases

International Working Conference on Scientific and Statistical Database Management

作者： B. Zeeberg K. Watanabe S. Goto R. Overbeek L. Kerschberg G. Michaels Institute for Computational Science and Informatics and Institute for Biosciences Bioinformatics and Biotechnology George Mason University USA Institute for Computational Science and Informatics and Westat George Mason University Institute for Chemical Research Kyoto University Division of Mathematics and Computer Sciences Argonne National Laboratory Information and Software Systems Engineering George Mason University Institute for Computational Science and Informatics and Institute for Biosciences Bioinformatics and Biotechnology George Mason University

We present results of providing database support to biomedicine via federation of SDB Cooperation/Integration based upon the KEGG GUI for molecular biology. The federation provides a common link to three molecular biology databases. The added value of the federation is freedom from consulting multiple references to ascertain the full set of enzymatic reactions in a metabolic pathway, and the option of selecting multiple queries to submit to the federated SDBs. Each of the SDBs is extensive, but incomplete. The union of the SDBs, implemented transparently by the federation, is more complete. Each SDB provides a different approach to the options available for data presentation and a different set of Web server tools for data analysis. Thus, an important part of the added value of the federation is the cross-fertilization available in the union of the molecular biological content, the presentation of data, and the tools available for analysis.

关键词： Biology computing Spatial databases Sequences Informatics Bioinformatics Biotechnology Biomedical computing Web server Chemical engineering Laboratories

Awareness in robotics: An early perspective from the viewpoint of the EIC Pathfinder Challenge "Awareness Inside"

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Santina, Cosimo Della Corbato, Carlos Hernandez Sisman, Burak Leiva, Luis A. Arapakis, Ioannis Vakalellis, Michalis Vanderdonckt, Jean D’Haro, LuisFernando Manzi, Guido Becchio, Cristina Elamrani, Aïda Alirezaei, Mohsen Castellano, Ginevra Dimarogonas, Dimos V. Ghosh, Arabinda Haesaert, Sofie Soudjani, Sadegh Stroeve, Sybert Verschure, Paul Bacciu, Davide Deroy, Ophelia Bahrami, Bahador Gallicchio, Claudio Hauert, Sabine Sanz, Ricardo Lanillos, Pablo Iacca, Giovanni Sigg, Stephan Gasulla, Manel Steels, Luc Sierra, Carles Department of Cognitive Robotics Delft University of Technology Delft Netherlands Oberpfaffenhofen Germany Department of Computer Science University of Luxembourg Luxembourg 4 Telefónica I+D Spain AEGIS IT Research GmbH Germany Université catholique de Louvain Belgium Speech Technology and Machine Learning Group ETSI de Telecomunicación Universidad Politécnica de Madrid Madrid Spain Alien Venture Studio Alien Technology Transfer Rome Italy Hamburg Germany Institut Jean Nicod École Normale Supérieure Paris France Research Technology and Development Department Digital Industry Software Helmond Netherlands Department of Information Technology Uppsala University Uppsala Sweden Division of Decision and Control Systems School of Electrical Engineering and Computer Science KTH Royal Institute of Technology Stockholm Sweden Max Planck Institute for Software Systems Kaiserslautern Germany Department of Electrical Engineering Control Systems Group Eindhoven University of Technology Eindhoven Netherlands Amsterdam Netherlands Donders Centre for Neuroscience Radboud University Nijmegen Netherlands Computer Science Department University of Pisa Pisa Italy Faculty of Philosophy Philosophy of Science The Study of Religion Ludwig Maximilian University of Munich Munich Germany School of Engineering Mathematics and Technology University of Bristol Bristol United Kingdom Autonomous Systems Laboratory Universidad Politécnica de Madrid Spain Madrid Spain Department of Information Engineering and Computer Science University of Trento Trento Italy Department of Information and Communications Engineering Aalto University Espoo Finland Department of Electronic Engineering Universitat Politècnica de Catalunya Barcelona Spain Studio Stelluti Brussels Belgium Barcelona Spain

Consciousness has been historically a heavily debated topic in engineering, science, and philosophy. On the contrary, awareness had less success in raising the interest of scholars in the past. However, things are changing as more and more researchers are getting interested in answering questions concerning what awareness is and how it can be artificially generated. The landscape is rapidly evolving, with multiple voices and interpretations of the concept being conceived and techniques being developed. The goal of this paper is to summarize and discuss the ones among these voices that are connected with projects funded by the EIC Pathfinder Challenge called "Awareness Inside", a nonrecurring call for proposals within Horizon Europe that was designed specifically for fostering research on natural and synthetic awareness. In this perspective, we dedicate special attention to challenges and promises of applying synthetic awareness in robotics, as the development of mature techniques in this new field is expected to have a special impact on generating more capable and trustworthy embodied systems. © 2024, CC BY.

关键词： Robotics

Diff-Reg: Diffusion Model in Doubly Stochastic Matrix Space for Registration Problem

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Wu, Qianliang Jiang, Haobo Luo, Lei Li, Jun Ding, Yaqing Xie, Jin Yang, Jian PCA Lab Key Lab of Intelligent Perception and Systems for High-Dimensional Information Ministry of Education Jiangsu Key Lab of Image and Video Understanding for Social Security School of Computer Science and Engineering Nanjing University of Science and Technology Nanjing China State Key Laboratory for Novel Software Technology Nanjing University Nanjing China School of Intelligence Science and Technology Nanjing University Suzhou China Visual Recognition Group Faculty of Electrical Engineering Czech Technical University in Prague Prague Czech Republic National University of Singapore Singapore

Establishing reliable correspondences is essential for 3D and 2D-3D registration tasks. Existing methods commonly leverage geometric or semantic point features to generate potential correspondences. However, these features may face challenges such as large deformation, scale inconsistency, and ambiguous matching problems (e.g., symmetry). Additionally, many previous methods, which rely on single-pass prediction, may struggle with local minima in complex scenarios. To mitigate these challenges, we introduce a diffusion matching model for robust correspondence construction. Our approach treats correspondence estimation as a denoising diffusion process within the doubly stochastic matrix space, which gradually denoises (refines) a doubly stochastic matching matrix to the ground-truth one for high-quality correspondence estimation. It involves a forward diffusion process that gradually introduces Gaussian noise into the ground truth matching matrix and a reverse denoising process that iteratively refines the noisy one. In particular, we deploy a lightweight denoising strategy during the inference phase. Specifically, once points/image features are extracted and fixed, we utilize them to conduct multiple-pass denoising predictions in the reverse sampling process. Evaluation of our method on both 3D and 2D-3D registration tasks confirms its effectiveness. The code is available at https://***/wuqianliang/Diff-Reg. Copyright © 2024, The Authors. All rights reserved.

关键词： Stochastic systems

THE COMMAND SUPPORT AT-SEA EXPERIMENT

学校读者我要写书评

暂无评论

NAVAL ENGINEERS JOURNAL 1990年第3期102卷 25-36页

作者： BUSCHER, DJ SUNDAY, DM David J. Buscher:is an electrical engineer on the Principal Professional Staff of the Fleet Systems Department of The Johns Hopkins University Applied Physics Laboratory. He earned his BS degree in electrical engineering from Villanova University in 1967 an MSEE degree from the University of Maryland in 1972 and an MS degree in technical management from The Johns Hopkins University in 1985. He was the lead engineer on the Command Support At-Sea Experiment Project. He started his career in 1967 with the U.S. Army Harry Diamond Laboratory working on computer and communications projects. During this time he worked in Vietnam with the United States Army Vietnam Science Advisor Office. Since joining JHU/APL in 1978 he has worked on a variety of projects associated with computer graphics hospital patient information systems computer networks autonomous underwater vehicles and satellite communications. He is currently assistant group supervisor of the Computer Systems Group. Daniel M. Sunday:is a mathematician on the Principal Professional Staff of the Fleet Systems Department of The Johns Hopkins University Applied Physics Laboratory. He earned his Ph.D. in mathematics from the University of Minnesota in 1971 and did postdoctoral research on neural networks at the University of California at Berkeley. Since joining JHU/APL in 1980 Dr. Sunday has worked as a designer and developer of software systems with emphasis on medical imaging interactive graphics natural language interfaces and software standards. He was the network designer for the Headquarters Integrated Office System (HIOS) Network for the Army at the Pentagon. He is currently the lead software engineer on the Command Support At-Sea Experiment Project.

The Command Support At-Sea Experiment (CS@SE) provides experimental advanced graphics display systems consisting of large screen color displays and operator console color displays in the combat information center (CIC) of an Aegis cruiser and in the tactical flag command center (TFCC) of an aircraft carrier. CS@SE systems are designed to prototype potential command support capabilities in an at-sea environment to validate and refine requirements for planned production system upgrades. These systems use sophisticated color graphics techniques to provide real-time tactical displays that improve the availability of information to an operator by reducing clutter through the use of color, area fill, transparen overlays and intensity coding of track symbols. Interfaces wen developed with the Aegis Display System (ADS), Shipboarc Gridlock System with Auto-correlation (SGS/AC), Flag Dats Display System (FDDS) and Tomahawk Engagement Planning and Exercise Evaluation System (TEPEE) that provided the data for the presentation of a tactical display. Display elements included both real-time and over-the-horizon (OTH) surface track data, velocity leaders, tags, uncertainty ellipses, and history trails. The display also included filled land masses, country boundaries, commercial airways, cities, graphics overlays (i.e., operational areas), weapon system missile performance contours, and engagement plans. This paper describes the experiment, its installation and integration into the shipboard environments of an Aegis cruiser (USS Leyte Gulf ) and an aircraft carrier (USS America , its usage by the ships companies and embarked staffs, and the experiment result! and findings. Key conclusions of the experiment are: 1 Advanced graphics color displays can significantly enhance the ability of the warfighter to assimilate a complex tactical display. 2 Both ships reported a requirement for a correlated OTH and real-time track display with the ability to clearly differentiate the two types

关键词： computer Graphics

Complementary Information Mutual Learning for Multimodality Medical Image Segmentation

学校读者我要写书评

暂无评论

arXiv 2024年

作者： Shen, Chuyun Li, Wenhao Chen, Haoqing Wang, Xiaoling Zhu, Fengping Li, Yuxin Wang, Xiangfeng Jin, Bo School of Computer Science and Technology East China Normal University Shanghai200062 China School of Data Science The Chinese University of Hong Kong Shenzhen Shenzhen Institute of Artificial Intelligence and Robotics for Society Shenzhen518172 China Huashan Hospital Fudan University Shanghai200040 China School of Computer Science and Technology East China Normal University Shanghai AI Laboratory Shanghai200062 China School of Software Engineering Shanghai Research Institute for Intelligent Autonomous Systems Tongji University Shanghai200092 China

Radiologists must utilize medical images of multiple modalities for tumor segmentation and diagnosis due to the limitations of medical imaging technology and the diversity of tumor signals. This has led to the development of multimodal learning in medical image segmentation. However, the redundancy among modalities creates challenges for existing subtraction-based joint learning methods, such as misjudging the importance of modalities, ignoring specific modal information, and increasing cognitive load. These thorny issues ultimately decrease segmentation accuracy and increase the risk of overfitting. This paper presents the complementary information mutual learning (CIML) framework, which can mathematically model and address the negative impact of inter-modal redundant information. CIML adopts the idea of addition and removes inter-modal redundant information through inductive bias-driven task decomposition and message passing-based redundancy filtering. CIML first decomposes the multimodal segmentation task into multiple subtasks based on expert prior knowledge, minimizing the information dependence between modalities. Furthermore, CIML introduces a scheme in which each modality can extract information from other modalities additively through message passing. To achieve non-redundancy of extracted information, the redundant filtering is transformed into complementary information learning inspired by the variational information bottleneck. The complementary information learning procedure can be efficiently solved by variational inference and cross-modal spatial attention. Numerical results from the verification task and standard benchmarks indicate that CIML efficiently removes redundant information between modalities, outperforming SOTA methods regarding validation accuracy and segmentation effect. To emphasize, message-passing-based redundancy filtering allows neural network visualization techniques to visualize the knowledge relationship among different modalitie

关键词： Redundancy

Formation learning algorithms for mobile agents subject to 2-D dynamically changing topologies

学校读者我要写书评

暂无评论

Formation learning algorithms for mobile agents subject to 2...

American Control Conference

作者： Deyuan Meng Yingmin Jia Junping Du Jun Zhang Wenling Li Seventh Research Division and the Department of Systems and Control Beihang University (BUAA) Beijing 100191 P. R. China Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing 100876 P. R. China School of Electronic and Information Engineering Beihang University (BUAA) Beijing 100191 P. R. China

ISBN: (纸本)9781479901777

In this paper, we consider a two-dimensional (2-D) formation problem for multi-agent systems subject to switching topologies that dynamically change along both a finite time axis and an infinite iteration axis. We present a distributed iterative learning control (ILC) algorithm via the nearest neighbor rules. By employing the 2-D approach, we develop both the asymptotic and exponentially fast convergence of our formation ILC, which can be guaranteed by conditions in terms of the spectral radius and the matrix norms, respectively.

关键词： Multi-agent systems ILC switching topologies formation learning algorithms learning algorithms Multi-agent systems International Labour Conference Mobile agents spectral radius

Developing a computer science-specific learning taxonomy 07

学校读者我要写书评

暂无评论

Developing a computer science-specific learning taxonomy

2007 Working Group Reports on ITiCSE on Innovation and Technology in computer Science Education, ITiCSE-WGR 2007

作者： Fuller, Ursula Johnson, Colin G. Ahoniemi, Tuukka Cukierman, Diana Hernán-Losada, Isidoro Jackova, Jana Lahtinen, Essi Lewis, Tracy L. Thompson, Donna McGee Riedesel, Charles Thompson, Errol Computing Laboratory University of Kent CanterburyCT2 7NF United Kingdom Institute of Software Systems Tampere University of Technology Tampere Finland School of Computing Science Simon Fraser University BurnabyBC Canada Department of Lenguajes Y Sistemas Informáticos Universidad Rey Juan Carlos Madrid Spain Faculty of Management Science and Informatics University of Zilina Zilina Slovakia Department of Information Technology Radford University RadfordVA24142 United States Department of Learning Commons Simon Fraser University BurnabyBC Canada Department of Computer Science and Engineering University of Nebraska Lincoln 259 Avery Hall LincolnNE68588-0115 United States Massey University Wellington New Zealand

ISBN: (纸本)9781450378420

Bloom's taxonomy of the cognitive domain and the SOLO taxonomy are being increasingly widely used in the design and assessment of courses, but there are some drawbacks to their use in computer science. This paper reviews the literature on educational taxonomies and their use in computer science education, identifies some of the problems that arise, proposes a new taxonomy and discusses how this can be used in application-oriented courses such as programming.

关键词： Taxonomies