BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Huimin Yu

Huimin Yu contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.APMachine LearningComputer VisionNeural and Evolutionary Computing

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
11works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2022arXiv

GAAF: Searching Activation Functions for Binary Neural Networks through Genetic Algorithm

Binary neural networks (BNNs) show promising utilization in cost and power-restricted domains such as edge devices and mobile systems. This is due to its significantly less computation and storage demand, but at the cost of degraded performance. To close the accuracy gap, in this paper we propose to add a complementary activation function (AF) ahead of the sign based binarization, and rely on the genetic algorithm (GA) to automatically search for the ideal AFs. These AFs can help extract extra information from the input data in the forward pass, while allowing improved gradient approximation in the backward pass. Fifteen novel AFs are identified through our GA-based search, while most of them show improved performance (up to 2.54% on ImageNet) when testing on different datasets and network models. Our method offers a novel approach for designing general and application-specific BNN architecture. Our code is available at http://github.com/flying-Yan/GAAF.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Global existence and stability of subsonic time-periodic solution to the damped compressible Euler equations in a bounded domain

In this paper, we consider the one-dimensional isentropic compressible Euler equations with source term $β(t,x)ρ|u|^αu$ in a bounded domain, which can be used to describe gas transmission in a nozzle.~The model is imposed a subsonic time-periodic boundary condition.~Our main results reveal that the time-periodic boundary can trigger an unique subsonic time-periodic smooth solution and this unique periodic solution is stable under small perturbations on initial and boundary data.~To get the existence of subsonic time-periodic solution, we use the linear iterative skill and transfer the boundary value problem into two initial value ones by using the hyperbolic property of the system. Then the corresponding linearized system can be decoupled.~The uniqueness is a direct by-product of the stability. There is no small assumptions on the damping coefficient.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Global existence and stability of time-periodic solution to isentropic compressible Euler equations with source term

In this paper, we study the initial-boundary value problem of one-dimensional isentropic compressible Euler equations with the source term $βρ|u|^αu$. By means of wave decomposition and the uniform a-priori estimates, we prove the global existence of smooth solutions under small perturbations around the supersonic Fanno flow. Then, by Gronwall's inequality, we get the smooth solution is time-periodic.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

GraftNet: Towards Domain Generalized Stereo Matching with a Broad-Spectrum and Task-Oriented Feature

Although supervised deep stereo matching networks have made impressive achievements, the poor generalization ability caused by the domain gap prevents them from being applied to real-life scenarios. In this paper, we propose to leverage the feature of a model trained on large-scale datasets to deal with the domain shift since it has seen various styles of images. With the cosine similarity based cost volume as a bridge, the feature will be grafted to an ordinary cost aggregation module. Despite the broad-spectrum representation, such a low-level feature contains much general information which is not aimed at stereo matching. To recover more task-specific information, the grafted feature is further input into a shallow network to be transformed before calculating the cost. Extensive experiments show that the model generalization ability can be improved significantly with this broad-spectrum and task-oriented feature. Specifically, based on two well-known architectures PSMNet and GANet, our methods are superior to other robust algorithms when transferring from SceneFlow to KITTI 2015, KITTI 2012, and Middlebury. Code is available at https://github.com/SpadeLiu/Graft-PSMNet.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Searching Similarity Measure for Binarized Neural Networks

Being a promising model to be deployed in resource-limited devices, Binarized Neural Networks (BNNs) have drawn extensive attention from both academic and industry. However, comparing to the full-precision deep neural networks (DNNs), BNNs suffer from non-trivial accuracy degradation, limiting its applicability in various domains. This is partially because existing network components, such as the similarity measure, are specially designed for DNNs, and might be sub-optimal for BNNs. In this work, we focus on the key component of BNNs -- the similarity measure, which quantifies the distance between input feature maps and filters, and propose an automatic searching method, based on genetic algorithm, for BNN-tailored similarity measure. Evaluation results on Cifar10 and Cifar100 using ResNet, NIN and VGG show that most of the identified similarty measure can achieve considerable accuracy improvement (up to 3.39%) over the commonly-used cross-correlation approach.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Subsonic time-periodic solution to compressible Euler equations with damping in a bounded domain

In this paper, we consider the one-dimensional isentropic compressible Euler equations with linear damping $β(t,x)ρu$ in a bounded domain, which can be used to describe the process of compressible flows through a porous medium.~And the model is imposed a dissipative subsonic time-periodic boundary condition.~Our main results reveal that the time-periodic boundary can trigger a unique subsonic time-periodic smooth solution which is stable under small perturbations on initial data. Moreover, the time-periodic solution possesses higher regularity and stability provided a higher regular boundary condition.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Vacuum and singularity formation for compressible Euler equations with time-dependent damping

In this paper, vacuum and singularity formation are considered for compressible Euler equations with time-dependent damping. For $1<γ\leq 3$, by constructing some new control functions ingeniously, we obtain the lower bounds estimates on density for arbitrary classical solutions. Basing on these lower estimates, we succeed in proving the singular formation theorem for all $λ$, which was open in [1] for some cases.Moreover, the singularity formation of the compressible Euler equations when $γ=3$ is investigated, too.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Global weak solutions to inviscid Burgers-Vlasov equations

In this paper, we consider the existence of global weak solutions to a one dimensional fluid-particles interaction model: inviscid Burgers-Vlasov equations with fluid velocity in $L^\infty$ and particles&#39; probability density in $L^1$. Our weak solution is also an entropy solution to inviscid Burgers&#39; equation. The approach is adding ingeniously artificial viscosity to construct approximate solutions satisfying $L^\infty$ compensated compactness framework and weak $L^1$ compactness framework. It is worthy to be pointed out that the bounds of fluid velocity and the kinetic energy of particles&#39; probability density are both independent of time.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Oscillation of damped second order quasilinear wave equations with mixed arguments

Following the previous work [1], we investigate the impact of damping on the oscillation of smooth solutions to some kind of quasilinear wave equations with Robin and Dirichlet boundary condition. By using generalized Riccati transformation and technical inequality method, we give some sufficient conditions to guarantee the oscillation of all smooth solutions. From the results, we conclude that positive damping can ``hold back&#34; oscillation. At last, some examples are presented to confirm our main results.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Singularity formation for compressible Euler equations with time-dependent damping

In this paper, we consider the compressible Euler equations with time-dependent damping \frac{\a}{(1+t)^λ}u in one space dimension. By constructing &#39;decoupled&#39; Riccati type equations for smooth solutions, we provide some sufficient conditions under which the classical solutions must break down in finite time. As a byproduct, we show that the derivatives blow up, somewhat like the formation of shock wave, if the derivatives of initial data are appropriately large at a point even when the damping coefficient goes to infinity with a algebraic growth rate. We study the case λ\neq1 and λ=1 respectively, moreover, our results have no restrictions on the size of solutions and the positivity/monotonicity of the initial Riemann invariants. In addition, for 1<γ<3 we provide time-dependent lower bounds on density for arbitrary classical solutions, without any additional assumptions on the initial data.

0 citations0 reviewsNo code linkedOpen access