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

Time Domain Analysis for Motions of Ships With the Effects of Steady Flow Using a Rankine Panel Method

Journal of Offshore Mechanics and Arctic engineering 2025年第4期147卷 041203页

作者： Zhou, Bo Wu, Zhifei Wang, Yu Han, Xiaoshuang Zhang, Teng Zhang, Guiyong State Key Lab of Structural Analysis Optimization and CAE Software for Industrial Equipment School of Naval Architecture Engineering Dalian University of Technology Dalian 116024 China Marine Engineering College Dalian Maritime University Dalian 116026 China

A novel numerical approach, leveraging the 3D time domain Rankine panel method, has been introduced to simulate ship motions while accounting for the effects of ship wave. This method treats ship wave as steady flow, enabling a more accurate representation of physical phenomena. The underlying numerical formulation used to solve the ship wave potential is comprehensively derived, establishing the unsteady disturbance potential's boundary value problem and incorporating the effects of steady motion. Wave forces and motion responses of various ship forms were computed and compared with experimental data and results from other numerical techniques. The findings reveal that calculations based on uniform stream exhibit significantly larger errors than those considering double body flow or ship wave. For the Wigley I and S175 models, the discrepancies between double body flow and ship wave predictions are relatively minor, with ship wave calculations demonstrating slightly higher accuracy. In contrast, for the intricate KRISO Container Ship (KCS) model, where ship wave is more pronounced, the error margin for ship wave calculations relative to experimental results remains within 21.9%, while errors for double body flow calculations can reach up to 50.2%. This highlights the superior accuracy of ship wave-based calculations for the KCS model. Overall, the proposed method effectively captures the influence of steady flow and demonstrates significant advantages in computing pronounced ship wave generated during realistic ship motion.

关键词： Ships ship motion Rankine panel method Waves Flow (Dynamics) hydrodynamics wave mechanics and wave effects computational fluid dynamics ship wave Boundary-value problems steady flow

来源：评论

学校读者我要写书评

暂无评论

A 94 GHz Asymmetric High Power SPDT Switch in 130nm-SiGe Technology

A 94 GHz Asymmetric High Power SPDT Switch in 130nm-SiGe Tec...

引用

International Conference on Microwave and Millimeter Wave Technology Proceedings

作者： Jiavin Lou Jixin Chen Peigen Zhou State Key Lab. of Millimeter Waves School of Information Science and Engineering Southeast University Nanjing P.R. China

ISBN: (数字)9798350389968

ISBN: (纸本)9798350389975

This paper introduces a 94 GHz asymmetric single-pole double-throw (SPDT) quarter-wave shunt switch. Through the utilization of a reverse-saturated topology and careful optimization of device sizes, the switch demonstrates exceptional performance in terms of insertion loss and isolation. By shunting three stacked structures along the transmit path, the switch achieves a notable high power handling capability. The switch was fabricated in 130nm-SiGe technology and occupied an area of 405um*238um excluding the pads. The switch achieved insertion loss of 2.2dB in both transmit mode and receive mode. Isolation of 25.4dB and 22.1dB were attained at transmit mode and receive mode respectively. At 94 GHz, the return loss surpassed 15dB for both modes. The OP1dB was 21dBm.

关键词： Performance evaluation Microwave integrated circuits Millimeter wave technology Switches Insertion loss Microwave devices Propagation losses

来源：评论

学校读者我要写书评

暂无评论

Distinguishing LLM-generated from Human-written Code by Contrastive Learning

arXiv

引用

arXiv 2024年

作者： Xu, Xiaodan Ni, Chao Guo, Xinrong Liu, Shaoxuan Wang, Xiaoya Liu, Kui Yang, Xiaohu State Key Laboratory of Blockchain and Data Security Zhejiang University Hangzhou China Software Engineering Application Technology Lab Huawei Hangzhou China

Large language models (LLMs), such as ChatGPT released by OpenAI, have attracted significant attention from both industry and academia due to their demonstrated ability to generate high-quality content for various tasks. Despite the impressive capabilities of LLMs, there are growing concerns regarding their potential risks in various fields, such as news, education, and software engineering. Recently, several commercial and open-source LLM-generated content detectors have been proposed, which, however, are primarily designed for detecting natural language content without considering the specific characteristics of program code. This paper aims to fill this gap by proposing a novel ChatGPT-generated code detector, CodeGPTSensor, based on a contrastive learning framework and a semantic encoder built with UniXcoder. To assess the effectiveness of CodeGPTSensor on differentiating ChatGPT-generated code from human-written code, we first curate a large-scale Human and Machine comparison Corpus (HMCorp), which includes 550K pairs of human-written and ChatGPT-generated code (i.e., 288K Python code pairs and 222K Java code pairs). Based on the HMCorp dataset, our qualitative and quantitative analysis of the characteristics of ChatGPT-generated code reveals the challenge and opportunity of distinguishing ChatGPT-generated code from human-written code with their representative features. Our experimental results indicate that CodeGPTSensor can effectively identify ChatGPT-generated code, outperforming all selected baselines. Copyright © 2024, The Authors. All rights reserved.

关键词： Contrastive Learning

来源：评论

学校读者我要写书评

暂无评论

Compositional Verification of Interacting Systems Using Event Monads 13

Compositional Verification of Interacting Systems Using Even...

引用

13th International Conference on Interactive Theorem Proving, ITP 2022

作者： Zhan, Bohua Lv, Yi Wang, Shuling Zhao, Gehang Hao, Jifeng Ye, Hong Xia, Bican State Key Lab. of Computer Science Institute of Software Chinese Academy of Sciences Beijing China School of Mathematical Sciences Peking University Beijing China Aeronautics Computing Technique Research Institute Xi'an China

ISBN: (纸本)9783959772525

Large software systems are usually divided into multiple components that interact with each other. How to verify interacting components in a modular way is one of the major problems in formal verification. In many cases, interaction between components can be modeled asynchronously, where events are sent without requiring a response in order to continue with execution of the component. In this paper, we propose a lightweight, event-based framework for verification of components with asynchronous interaction. We define event monads and event systems, and a Hoare logic-style calculus for reasoning about them. The framework is implemented in Isabelle and applied to several case studies, including models for distributed computing, cache-coherence protocols, and verification of partition scheduling in a real-time operating system. © Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Hong Ye, and Bican Xia.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

A 94GHz Down-Conversion Mixer with High LO-to-RF Isolation in 130nm SiGe BiCMOS

A 94GHz Down-Conversion Mixer with High LO-to-RF Isolation i...

引用

IEEE International Wireless Symposium (IWS)

作者： Zhishun Han Jixin Chen Peigen Zhou Zongxiang Wang Yang Chun Zhe Chen Lin Peng State Key Lab. of Millimeter Waves School of Information Science and Engineering Southeast University Nanjing China State Key Laboratory of Mobile Network and Mobile Multimedia Technology ZTE Corporation

ISBN: (数字)9798350389999

ISBN: (纸本)9798350390001

In this paper, a down-conversion mixer with operating frequency of 88-96GHz is presented. Based on 130nm SiGe BiCMOS process, the mixer has the characteristics of high isolation. The mixer includes a double-balanced Gilbert core, a local oscillator drive amplifier and an intermediate frequency drive amplifier. A single stage differential amplifier is used in the intermediate frequency output to improve the conversion gain. The mixer and drive amplifier use a current mirror for DC bias to reduce the influence of temperature and process on RF performance. The design adds a ground wall between the LO and RF signal lines, which increases the isolation well and optimizes the amplitude phase imbalance of the input and output balun. The measured input 1dB compression point (IP1dB) is -9dBm@95GHz, the peak conversion gain is 9.3dB@88GHz in the frequency range of 88-96GHz, the maximum LO-to-RF isolation is 57.4dB and the LO-to-IF isolation is 67.6dB, and the RF-to-IF isolation is 37.6dB.

关键词： Wireless communication Temperature measurement Radio frequency Transmitters RF signals Millimeter wave technology BiCMOS integrated circuits Frequency measurement Mixers Silicon germanium

来源：评论

学校读者我要写书评

暂无评论

A 115-140GHz Power Amplifier With High Output Power in SiGe BiCMOS

A 115-140GHz Power Amplifier With High Output Power in SiGe ...

引用

IEEE International Wireless Symposium (IWS)

作者： Peng Yang Zhe Chen Zongxiang Wang Yue Qi Pinqing Wang Peigen Zhou Lin Peng PinPin Yan Jixin Chen Wei Hong State Key Lab. of Millimeter Waves School of Information Science and Engineering Southeast University Nanjing China State Key Laboratory of Mobile Network and Mobile Multimedia Technology ZTE Corporation

ISBN: (数字)9798350389999

ISBN: (纸本)9798350390001

This paper presents a power amplifier (PA) operating in the frequency range of 115-140 GHz, implemented using a 0.13 μm germanium-silicon (SiGe) BiCMOS process. The single stage amplifier employs a cascode structure and integrates gmboosting technology to enhance gain. To ensure superior broadband performance at high frequencies, input and output matching are achieved through the utilization of a Marchand balun. The PA operates from 115 GHz to 140 GHz (3dB bandwidth) with a peak gain of 23.7 dB at 130GHz. At 116 GHz, the amplifier achieves a saturated output power of 16.2 dBm, with the peak power added efficiency (PAE) of 10.2%. The total chip size is 0.92×0.73 mm 2 .

关键词： Wireless communication Transmitters Baluns Millimeter wave technology Power amplifiers BiCMOS integrated circuits Power generation Gain Silicon germanium Periodic structures

来源：评论

学校读者我要写书评

暂无评论

Research on Traditional Image Segmentation Method Based on Oil Drilling Pipe Defects

Research on Traditional Image Segmentation Method Based on O...

引用

Chinese Materials Conference 2022-2023

作者： Zhou, Yang Zhu, Lijuan Ma, Dong School of Materials Science and Engineering Xi'An Shiyou University Xi'an China State Key Lab. of Perf. and Structure Safety of Petroleum Tubular Goods and Equipment Materials CNPC Tubular Goods Research Institute Xi'an710077 China

This study explores the feasibility and efficacy of conventional image seg-mentation technology in diagnosing failures in oil drilling pipe images. Simultaneously, it envisions an intelligent approach to diagnose defects in oil drilling pipes. The present paper examines and scrutinizes traditional image segmentation methods in light of the characteristics of oil drilling pipe defect images. It devises experiments tailored for these defect images and employs various traditional image segmentation methods to facilitate comparison and evaluation. The experimental findings illustrate that the traditional image segmentation methods possess a discernible impact on detecting defects in oil drilling pipes, with the image segmentation effect based on the Canny operator method of edge detection proving to be the most effective. The experiments are specifically devised for defective images of oil drilling pipes, utilizing diverse traditional image segmentation methods for comparison and evaluation. The experimental results demonstrate that the traditional image segmentation methods exhibit a certain degree of efficacy in detecting defects in oil drilling pipes, with the image segmentation effect based on the Canny operator method of edge detection being the most optimal. © Published under licence by IOP Publishing Ltd.

关键词： Image segmentation

来源：评论

学校读者我要写书评

暂无评论

Forming Circle Formations of Multi-agent Systems Under Actuator Faults 5th

Forming Circle Formations of Multi-agent Systems Under Actu...

引用

5th Chinese Conference on Swarm Intelligence and Cooperative Control, CCSICC 2021

作者： Liu, Jiajun Ru, Xinfeng Xia, Weiguo Wang, Chen China National Aeronautical Radio Electronic Research Institute and National Key Laboratory of Science and Technology on Avionics System Integration Shanghai China Key Laboratory of Intelligent Control and Optimization for Industrial Equipment of Ministry of Education and School of Control Science and Engineering Dalian University of Technology Dalian China National Engineering Research Center of Software Engineering and the State Key Laboratory of Turbulence and Complex Systems Intelligent Biomimetic Design Lab College of Engineering Peking University Beijing China

ISBN: (纸本)9789811939976

A distributed fault-tolerant formation control law is designed in this paper for multi-agent systems under external disturbances and actuator faults including time-varying loss of effectiveness faults. The initial position of each agent is already on a circle and the control purpose is to form a desired formation on this circle. Based on this local information, a distributed adaptive formation control law is designed by employing the congelation of variables method to deal with time-varying actuator faults. Finally, a simulation example is given to verify the effectiveness of the adaptive fault-tolerant control design method. © 2023, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

A General Complementary API Recommendation Framework based on Learning Model

A General Complementary API Recommendation Framework based o...

引用

IEEE International Conference on Web Services (ICWS)

作者： Qiqi Chen Guosheng Kang Yamei Nie Jianxun Liu Buqing Cao HNUST Hunan Provincial Key Lab. for Services Computing and Novel Software Technology Xiangtan China School of Computer Science and Engineering Hunan University of Science and Technology Xiangtan China

ISBN: (数字)9798350368550

ISBN: (纸本)9798350368567

With the advancement of service computing technology, the Internet has witnessed an exponential proliferation of Web APIs. However, the selection of suitable APIs from this vast pool for Mashup creation poses a great challenge for users. Various Web API recommendation methods have been proposed to address this issue, aiming to simplify the complex selection process. Despite these efforts, limited studies have been conducted on complementary function recommendation. In this context, a general complementary Web API recommendation framework based on a learning model, named CoWAR, is designed to recommend complementary Web APIs tailored for Mashup creation, based on the user’s selected Web APIs. Specifically, we propose a data lab.ling algorithm to generate the lab.led dataset based on Mashup-API interactions derived from historical Mashups and Web APIs. Additionally, we employ BERT model to generate representation vectors of Web APIs based on the functionality description documents. Subsequently, we utilize SANFM (Self-Attentional Neural Factorization Machines) to train the complementary Web API recommendation model with the lab.led sample dataset based on representation vectors of Web APIs. To the best of our knowledge, this is the first work addressing the complementary function recommendation problem with a learning model. By conducting a set of experiments over a real-world dataset, the effectiveness of the proposed approach is validated. The experimental results demonstrate that the learning model outperforms the traditional machine learning-based models and several deep learning-based models.

关键词： Training Measurement Mashups Service computing Vectors Data models lab.ling Context modeling

来源：评论

学校读者我要写书评

暂无评论

Crawling and Exploring RESTful Web APIs from RapidAPI 17th

Crawling and Exploring RESTful Web APIs from RapidAPI

引用

CCF 17th International Conference on Service Science, CCF ICSS 2024

作者： Li, Wen Ren, Hongshuai Nie, Yamei Liu, Zihao Kang, Guosheng Liu, Jianxun Peng, Zhenlian School of Computer Science and Engineering Hunan University of Science and Technology Xiangtan China Hunan Provincial Key Lab. for Services Computing and Novel Software Technology HNUST Xiangtan China

ISBN: (纸本)9789819757596

RapidAPI serves as a marketplace and management platform that integrates a wide range of Web APIs, offering developers access to a rich pool of API resources. More and more researchers are delving into ways to maximize the value created by leveraging these resources. Thus, acquiring the Web API data and knowing the details is of significance for researchers and ordinary users. In this paper, we propose the methodology of crawling Web APIs from RapidAPI (https://***/hub) and provide rich visualizations and statistical analysis for the crawled dataset. The crawling code and the crawled dataset are open for public access (https://***/IntelligentServicelab.RESTful-API-Crawler) so that researchers and users can acquire them with no effort. Moreover, the use cases of RESTful Web APIs are provided as a usage reference for users and developers. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024.

关键词： Web crawler

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：