Propositional logic[1]is basic,based on which other logics are *** deduction system for propositional logic is *** logics are a class of logics which deduction systems are *** ones are default logic[2,3],R-calculus[4]...
详细信息
Propositional logic[1]is basic,based on which other logics are *** deduction system for propositional logic is *** logics are a class of logics which deduction systems are *** ones are default logic[2,3],R-calculus[4],autoepistemic logic[5],circumscription[5],etc.
After long-term weathering, the most toxic components of residual spilled oil in seawater are polycyclic aromatic hydrocarbons. Benzo[a]pyrene (BaP) is a typical polycyclic aromatic hydrocarbon with high molecular wei...
详细信息
After long-term weathering, the most toxic components of residual spilled oil in seawater are polycyclic aromatic hydrocarbons. Benzo[a]pyrene (BaP) is a typical polycyclic aromatic hydrocarbon with high molecular weight, wide distribution, stable properties, and strong carcinogenicity in marine environment. Marine microalgae play an important role in the removal of BaP. Previous studies have mainly focused on the photodegradation of BaP by microalga. However, there are few research on microalgae with heterotrophic ability to degrade BaP. In this study, a microalga, Chlorella vulgaris (C. vulgaris) LH-1, with heterotrophic ability to degrade BaP was studied, the effect of BaP concentration on microalgae growth was explored, and the possible degradation mechanism of BaP by this kind of microalgae was proposed. The results showed that low concentration BaP (-1) had less obvious influence on the growth of C. vulgaris under the mixotrophic condition (with illumination), but a higher concentration BaP (＞ 5 mg L-1) had a significant inhibitory effect on the growth of this microalgae. Under heterotrophic cultivation (without illumination), low concentration BaP (-1) promoted the growth of C. vulgaris LH-1, while high concentration BaP (＞20 mg L-1) led to inhibit the growth of this microalga significantly. The degradation rates of mixotrophic and heterotrophic C. vulgaris LH-1 were 62.56~74.13%, and 52.07~71.67%, respectively, when BaP concentration range from 0.5 to 2 mg/L. Microalgae RNA transcriptome sequencing analysis showed that the gene expression of functional enzyme of C. Vulgaris LH-1 such as phenol 2-monooxygenase activity, protocatechuate 3,4-dioxygenase activity, catechol 1,2-dioxygenase activity, styrene degradation, and benzoate degradation were up-regulated in the process of BaP degradation. Based on the results of metabolites detected by high performance liquid chromatography/ quadruple time-of-flight mass spectrometry (HPLC/ Q-TOF), C. Vulgaris LH-1 may de
Because pixel values of foggy images are irregularly higher than those of images captured in normal weather(clear images),it is difficult to extract and express their *** method has previously been developed to direct...
详细信息
Because pixel values of foggy images are irregularly higher than those of images captured in normal weather(clear images),it is difficult to extract and express their *** method has previously been developed to directly explore the relationship between foggy images and semantic segmentation *** investigated this relationship and propose a generative adversarial network(GAN)for foggy image semantic segmentation(FISS GAN),which contains two parts:an edge GAN and a semantic segmentation *** edge GAN is designed to generate edge information from foggy images to provide auxiliary information to the semantic segmentation *** semantic segmentation GAN is designed to extract and express the texture of foggy images and generate semantic segmentation *** on foggy cityscapes datasets and foggy driving datasets indicated that FISS GAN achieved state-of-the-art performance.
In this paper, a dual-beam photothermal self-mixing substance trace detection system is proposed. The crystal violet (CV) solution of the sample undergoes a thermal lens effect under the action of pump photoperiod exc...
详细信息
Automated visual inspection of on- and off-shorewind turbines using aerial robots provides several benefits, namely, a safe working environment by circumventing the need for workers to be suspended high above the grou...
Automated visual inspection of on- and off-shorewind turbines using aerial robots provides several benefits, namely, a safe working environment by circumventing the need for workers to be suspended high above the ground, reduced inspection time, preventive maintenance, and access to hard-to-reach areas. A novel nonlinear model predictive control (NMPC) framework alongside a global wind turbine path planner is proposed to achieve distance-optimal coverage for wind turbine inspection. Unlike traditional MPC formulations, visual tracking NMPC (VT-NMPC) is designed to track an inspection surface, instead of a position and heading trajectory, thereby circumventing the need to provide an accurate predefined trajectory for the drone. An additional capability of the proposed VT-NMPC method is that by incorporating inspection requirements as visual tracking costs to minimize, it naturally achieves the inspection task successfully while respecting the physical constraints of the drone. Multiple simulation runs and real-world tests demonstrate the efficiency and efficacy of the proposed automated inspection framework, which outperforms the traditional MPC designs, by providing full coverage of the target wind turbine blades as well as its robustness to changing wind conditions. The implementation codes 1 1 https://***/open-airlab/VTNMPC-Autonomous-Wind-Turbine-Inspection are open-sourced.
This paper summarizes the technical activities of a three-year-long IEEE Task Force (TF) on State Estimation (SE) for Integrated Energy Systems (IES). It presents the formal definition and characteristics of IES, alon...
详细信息
In the present day, the Internet of Things is becoming more and more popular. Enabling continuous connectivity and packet routing in this kind of network is difficult because of the resource limitations that are a fea...
In the present day, the Internet of Things is becoming more and more popular. Enabling continuous connectivity and packet routing in this kind of network is difficult because of the resource limitations that are a feature of IoT. Reduce end-to-end latency, conserve energy, and balance network load are the three basic objectives of lightweight routing protocol. In this paper, we give a quick review of the IPv6 Routing Protocol for Low-Power and Lossy Networks-based routing protocols of VANET already in use and discuss their advantages and disadvantages. More specifically, we examine a few chosen VANET routing protocols and contrast their performance based on metrics like packet delivery ratio, Throughput, End to end delay, Routing- Cost, etc.
When EEG signals are used to assess the level of student engagement in online teaching tasks, they are often interfered by noise. It is a challenge to effectively remove these noises. Currently, deep learning methods ...
详细信息
With the rapid advances in computer vision, human action recognition has gradually received attention, but the current methods still exhibit some problems in indoor environments. The human skeleton, as the framework o...
详细信息
In the process of steel plate production, predicting the plate shape is of great significance for producing high-quality and consistently stable plate shapes. This paper presents a model that predicts both the defect ...
详细信息
暂无评论