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

AUTOMATION OF PROPELLER INSPECTION AND FINISHING

NAVAL ENGINEERS JOURNAL 1985年第4期97卷 124-131页

作者： STERN, H METZGER, R Howard K. Stern:is presently vice president of Robotic Vision Systems Inc. He received a bachelor of electrical engineering degree from College of the City of New York in 1960. Mr. Stern joined Dynell Electronics Corporation in 1971 and became part of the Robotic Vision Systems Inc. staff at the time of its spin-off from Dynell. He was program manager of the various three-dimensional sensing and replication systems constructed by Dynell and Robotic Vision Systems. As program manager his responsibilities encompassed technical administrative and operational areas. The first two portrait sculpture studio systems and the first three replication systems built by Robotic Vision Systems Inc. were designed manufactured and operated under his direction. Before joining Dynell Mr. Stern was a senior engineer at Instrument Systems Corporation and chief engineer of the Special Products Division of General Instrument Corporation. Prior to these positions Mr. Stern was chief engineer of Edo Commercial Corporation. At General Instrument and Edo Commercial he was responsible for the design and manufacture of military and commercial avionics equipment. Mr. Stern is presently responsible for directing the systems design and development for all of the company's programs. Robert J. Metzger:is currently engineering group leader at Robotic Vision Systems Inc. He graduated summa cum laude from the Cooper Union in 1972 with a bachelor of electrical engineering degree. Under sponsorship of a National Science Foundation graduate fellowship he graduated from the Massachusetts Institute of Technology in 1974 with the degrees of electrical engineer and master of science (electrical engineering). In 1979 Mr. Metzger graduated from Polytechnic Institute of New York with the degree of master of science (computer science). Since 1974 Mr. Metzger has been actively engaged in the design of systems and software for noncontact threedimensional optical measurement for both military and commercial applications. Of particular note are his c

Ship's propellers are currently measured by manual procedures using pitchometers, templates and gauges. This measurement process is extremely tedious, labor intensive and time consuming. In an effort to provide increased accuracy, repeatability and cost effectiveness in propeller manufacture, an automated propeller optical measurement system (APOMS) has been built which rapidly and automatically scans an entire ship's propeller using a 3-D vision sensor. This equipment is integrated with a propeller robotic automated templating system (PRATS) and the propeller optical finishing system (PROFS) which robotically template and grind the propeller to its final shape, using the APOMS-derived data for control feedback. The optical scanning and the final shape are both controlled by CAD/CAM data files describing the desired propeller shape. An automated propeller balancing system is incorporated into the PROFS equipment. The APOMS/PRATS/PROFS equipment is expected to provide lower propeller manufacturing costs.

关键词： PROPELLERS

来源：评论

学校读者我要写书评

暂无评论

RATIONALE FOR AN ADA software engineering ENVIRONMENT FOR NAVY MISSION CRITICAL APPLICATIONS

引用

NAVAL ENGINEERS JOURNAL 1984年第4期96卷 133-145页

作者： PAIGE, KK CONVERSE, RA USN LCdr. Kathleen K. Paige USN:graduated with a BA from the University of New Hampshire in 1970. She received her commission from Officer Candidate School in April 1971 and performed her first tour of duty with VFP-63 NAS Miramar. LCdr. Paige then received her MS from the Naval Post Graduate School in June 1976 and returned to San Diego to serve as Head Support Software Division at the Fleet Combat Direction System Support Activity. In May 1981 she reported to NA VSEA (PMS-408) where she served initially as Chairman of the NAVMAT Software Engineering Environment Working Group. She has been assigned as Deputy AN/UYK-43 Acquisition Manager since October 1981. LCdr. Paige was designated a fully qualified Engineering Duty Officer in December 1983. Robert A. Converse:is presently the Acquisition Manager for the Ada Language System/Navy (ALS/N) for the Naval Sea Systems Command Tactical Embedded Computer Resources Project. As such he is responsible for the definition and development of the ALS/N to be provided as a Navy standard computer programming system for Navy mission critical applications. Mr. Converse received a Bachelor of Science degree in Physics from Wheaton College Wheaton II. He spent fourteen years with the Naval Underwater Systems Center Newport Rhode Island during which time he designed and developed the Fortran compiler for the Navy Standard AN/UYK-7 computer. Also during that period he received a Master of Science degree in Computer Science from the University of Rhode Island. His thesis for that degree was entitled “Optimization Techniques for the NUSC Fortran Cross-Compiler”. Mr. Converse started his involvement with the Ada program in 1975 with the initial “Strawman” requirements review. Subsequently he was named as the Navy Ada Distinguished Reviewer and was intimately involved in the selection and refinement of the Ada language as it evolved to become ANSI/MIL-STD-1815A.

The U.S. Navy introduced the use of digital computers in mission critical applications over a quarter of a century ago. Today, virtually every system in the current and planned Navy inventory makes extensive use of computer technology. computers embedded in mission critical Navy systems are integral to our strategic and tactical defense capabilities. Thus, the military power of the U.S. Navy is inextricably tied to the use of programmable digital computers. The computer program is the essential element that embodies the system “intelligence”. In addition, it provides the flexibility to respond to changing threats and requirements. However, this very flexibility and capability poses a host of difficulties hindering full realization of the advantages. This paper describes the lessons learned about computer program development over the past twenty five years and discusses a software engineering process that addresses these lessons. It then describes how Ada and its related Ada Programming Support and Run-Time Environments foster this software engineering process to improve computer program productivity and achieve greater system reliability and adaptibility. Finally, the paper discusses how the use of Ada and its environments can enhance the interoperability and transferability of computer programs among Navy projects and significantly reduce overall life cycle costs for Navy mission critical computer programs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

PATCH: Empowering Large Language Model with Programmer-Intent Guidance and Collaborative-Behavior Simulation for Automatic Bug Fixing

引用

ACM Transactions on software engineering and Methodology 1000年

作者： Yuwei Zhang Zhi Jin Ying Xing Ge Li Fang Liu Jiaxin Zhu Wensheng Dou Jun Wei Key Laboratory of System Software (Chinese Academy of Sciences) Institute of Software Chinese Academy of Sciences University of Chinese Academy of Sciences China Key Laboratory of High Confidence Software Technologies (Peking University) Ministry of Education School of Computer Science Peking University School of Computer Science Wuhan University China School of Intelligent Engineering and Automation Beijing University of Posts and Telecommunications China School of Computer Science Peking University China State Key Laboratory of Complex & Critical Software Environment School of Computer Science and Engineering Beihang University China

Bug fixing holds significant importance in software development and maintenance. Recent research has made substantial strides in exploring the potential of large language models (LLMs) for automatically resolving software bugs. However, a noticeable gap in existing approaches lies in the oversight of collaborative facets intrinsic to bug resolution, treating the process as a single-stage endeavor. Moreover, most approaches solely take the buggy code snippet as input for LLMs during the patch generation stage. To mitigate the aforementioned limitations, we introduce a novel stage-wise framework named PATCH. Specifically, we first augment the buggy code snippet with corresponding dependence context and intent information to better guide LLMs in generating the correct candidate patches. Additionally, by taking inspiration from bug management practices, we decompose the bug-fixing task into four distinct stages: bug reporting, bug diagnosis, patch generation, and patch verification. These stages are performed interactively by LLMs, aiming to simulate the collaborative behavior of programmers during the resolution of software bugs. By harnessing these collective contributions, PATCH effectively enhances the bug-fixing capability of LLMs. We implement PATCH by employing the powerful dialogue-based LLM ChatGPT. Our evaluation on the widely used bug-fixing benchmark BFP demonstrates that PATCH has achieved better performance than state-of-the-art LLMs.

关键词： Bug Fixing Large Language Model Bug Management Multi-Agent Collaboration

来源：评论

学校读者我要写书评

暂无评论

Advances in Swarm Intelligence 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Ying Tan Yuhui Shi Zhen Ji

ISBN: (数字)9783642310201

ISBN: (纸本)9783642310195

This book and its companion volume, LNCS vols. 7331 and 7332, constitute the Proceedings of the Third International conference on Swarm Intelligence, ICSI 2012, held in Shenzhen, China in June 2012. The 145 full papers presented were carefully reviewed and selected from 247 submissions. The papers are organized in 27 cohesive sections covering all major topics of swarm intelligence research and developments.

关键词： Algorithm Analysis and Problem Complexity Information systems Applications (incl. Internet) Artificial Intelligence Computation by Abstract Devices computer Communication Networks Data Mining and Knowledge Discovery

来源：评论

学校读者我要写书评

暂无评论

Context-Aware Auto-Encoded Graph Neural Model for Dynamic Question Generation using NLP

引用

ACM Transactions on Asian and Low-Resource Language Information Processing 1000年

作者： Suresh Dara CH. Srinivasulu CH Madhu Babu Ananda Ravuri Tirumala Paruchuri Abhishek Singh Kilak Ankit Vidyarthi Department of Computer Science and Engineering PACE Institute of Technology & Sciences India Department of Computer Science and Engineering Institute of Aeronautical Engineering (IARE). India Department of CSE B V Raju Institute of Technology. India Senior Software Engineer Intel Corporation Hillsboro 97124 USA Department of Management Information System Jazan University Kingdom of Saudi Arabia Department of CSE Engineering College Bikaner India Jaypee Institute of Information Technology Noida Department of CSE&IT India

Question generation is an important task in natural language processing that involves generating questions from a given text. This paper proposes a novel approach for dynamic question generation using a context-aware auto-encoded graph neural model. Our approach involves constructing a graph representation of the input text, where each node in the graph corresponds to a word or phrase in the text, and the edges represent the relationships between them. We then use an auto-encoder model to learn a compressed representation of the graph that captures the most important information in the input text. Finally, we use the compressed graph representation to generate questions by dynamically selecting nodes and edges based on their relevance to the context of the input text. We evaluate our approach on four benchmark datasets (SQuAD, Natural Questions, TriviaQA, and QuAC) and demonstrate that it outperforms existing state-of-the-art methods for dynamic question generation. In the experimentation, to evaluate the result four performance metrics are used i.e. BLEU, ROUGE, F1-Score, and Accuracy. The result of the proposed approach yields an accuracy of 92% on the SQuAD dataset, 89% with QuAC, and 84% with TriviaQA. while on the natural questions dataset, the model gives 79% accuracy. Our results suggest that the use of graph neural networks and auto-encoder models can significantly improve the accuracy and effectiveness of question generation in NLP. Further research in this area can lead to even more sophisticated models that can generate questions that are even more contextually relevant and natural-sounding.

关键词： Natural Language Processing Graph Neural Network Question-answer generation Auto Encoder Information Processing

来源：评论

学校读者我要写书评

暂无评论

Information Technology for Education, science, and Technics 1

引用

丛书名： Lecture Notes on Data engineering and Communications Technologies

1000年

作者： Emil Faure Yurii Tryus Olena Danchenko Tero Vartiainen Maksym Bondarenko Constantine Bazilo Grygoriy Zaspa

来源：评论

学校读者我要写书评

暂无评论

Business Process Management 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Florian Daniel Jianmin Wang Barbara Weber

ISBN: (数字)9783642401763

ISBN: (纸本)9783642401756

This book constitutes the proceedings of the 11th International Conference on Business Process Management, BPM 2013, held in Beijing, China, in August 2013. The 17 regular papers and 8 short papers included in this volume were carefully reviewed and selected from 118 submissions. The papers are organized in 7 topical sections named: process mining; conformance checking; process data; process model matching; process architectures and collaboration; as well as alternative perspectives, and industry paper.

关键词： IT in Business Logics and Meanings of Programs software engineering computer Appl. in Administrative Data Processing Management of Computing and Information systems

来源：评论

学校读者我要写书评

暂无评论

Advances in Swarm Intelligence 1

引用

丛书名： Lecture Notes in computer science

1000年

作者： Ying Tan Yuhui Shi Zhen Ji

ISBN: (数字)9783642309762

ISBN: (纸本)9783642309755

This book and its companion volume, LNCS vols. 7331 and 7332, constitute the proceedings of the Third International Conference on Swarm Intelligence, ICSI 2012, held in Shenzhen, China in June 2012. The 145 revised full papers presented were carefully reviewed and selected from 247 submissions. The papers are organized in 27 cohesive sections covering all major topics of swarm intelligence research and developments.

来源：评论

学校读者我要写书评

暂无评论

Progress in Robotics 1

引用

丛书名： Communications in computer and Information science

1000年

作者： Jong-Hwan Kim Shuzhi Sam Ge Prahlad Vadakkepat Abdullah Al Manum Ryohei Nakatsu Norbert Jesse Sadasivan Puthusserypady K Ulrich Rückert Joaquin Sitte Ulf Witkowski Thomas Braunl Jacky Baltes John Anderson Ching-Chang Wong Igor Verner David Ahlgren

ISBN: (数字)9783642039867

ISBN: (纸本)9783642039850

th This volume is an edition of the papers selected from the 12 FIRA RoboWorld C- gress, held in Incheon, Korea, August 16–18, 2009. The Federation of International Robosoccer Association (FIRA – www. fira. net) is a non-profit organization, which organizes robotic competitions and meetings around the globe annually. The RoboSoccer competitions started in 1996 and FIRA was - tablished on June 5, 1997. The Robot Soccer competitions are aimed at promoting the spirit of science and technology to the younger generation. The congress is a forum in which to share ideas and future directions of technologies, and to enlarge the human networks in robotics area. The objectives of the FIRA Cup and Congress are to explore the technical dev- opment and achievement in the field of robotics, and provide participants with a robot festival including technical presentations, robot soccer competitions and exhibits - der the theme “Where Theory and Practice Meet. ” th Under the umbrella of the 12 FIRA RoboWorld Incheon Congress 2009, six int- national conferences were held for greater impact and scientific exchange: th • 6 International Conference on Computational Intelligence, Robotics and Autonomous systems (CIRAS) th • 5 International Symposium on Autonomous Minirobots for Research and Edutainment (AMiRE) • International Conference on Social Robotics (ICSR) • International Conference on Advanced Humanoid Robotics Research (ICAHRR) • International Conference on Entertainment Robotics (ICER) • International Robotics Education Forum (IREF) This volume consists of selected quality papers from the six conferences.

关键词： Robotics and Automation Artificial Intelligence User Interfaces and Human computer Interaction computers and Society computers and Education Personal Computing

来源：评论

学校读者我要写书评

暂无评论

Information Technology for Education, science, and Technics 1

引用

丛书名： Lecture Notes on Data engineering and Communications Technologies

1000年

作者： Emil Faure Yurii Tryus Olena Danchenko Tero Vartiainen Maksym Bondarenko Constantine Bazilo Grygoriy Zaspa

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：