In Weighted Model Counting(WMC),we assign weights to literals and compute the sum of the weights of the models of a given propositional formula where the weight of an assignment is the product of the weights of its **...
详细信息
In Weighted Model Counting(WMC),we assign weights to literals and compute the sum of the weights of the models of a given propositional formula where the weight of an assignment is the product of the weights of its *** current WMC solvers work on Conjunctive Normal Form(CNF)***,CNF is not a natural representation for human-being in many *** by the stronger expressive power of Pseudo-Boolean(PB)formulas than CNF,we propose to perform WMC on PB *** on a recent dynamic programming algorithm framework called ADDMC for WMC,we implement a weighted PB counting tool *** compare PBCounter with the state-of-the-art weighted model counters SharpSAT-TD,ExactMC,D4,and ADDMC,where the latter tools work on CNF with encoding methods that convert PB constraints into a CNF *** experiments on three domains of benchmarks show that PBCounter is superior to the model counters on CNF formulas.
作者:
Huang, AipingLi, LijianZhang, LeNiu, YuzhenZhao, TiesongLin, Chia-WenFuzhou University
Fujian Key Laboratory for Intelligent Processing and Wireless Transmission of Media Information College of Physics and Information Engineering Fuzhou350108 China Fuzhou University
Fujian Key Laboratory of Network Computing and Intelligent Information Processing College of Computer and Data Science Fuzhou350108 China University of Electronic Science and Technology of China
School of Information and Communication Engineering Chengdu611731 China Fuzhou University
Fujian Key Laboratory for Intelligent Processing and Wireless Transmission of Media Information College of Physics and Information Engineering The Fujian Science and Technology Innovation Laboratory for Optoelectronic Information Fuzhou350108 China Institute of Communications Engineering
National Tsing Hua University Department of Electrical Engineering Hsinchu30013 Taiwan
Image co-segmentation and co-localization exploit inter-image information to identify and extract foreground objects with a batch mode. However, they remain challenging when confronted with large object variations or ...
详细信息
In this paper,we propose a novel deep learning(DL)-based receiver design for orthogonal frequency division multiplexing(OFDM)*** entire process of channel estimation,equalization,and signal detection is replaced by a ...
详细信息
In this paper,we propose a novel deep learning(DL)-based receiver design for orthogonal frequency division multiplexing(OFDM)*** entire process of channel estimation,equalization,and signal detection is replaced by a neural network(NN),and hence,the detector is called a NN detector(N^(2)D).First,an OFDM signal model is *** analyze both temporal and spectral characteristics of OFDM signals,which are the motivation for ***,the generated data based on the simulation of channel statistics is used for offline training of bi-directional long short-term memory(Bi-LSTM)***,a discriminator(F)is added to the input of Bi-LSTM NN to look for subcarrier transmission data with optimal channel gain(OCG),which can greatly improve the performance of the ***,the trained N^(2)D is used for online recovery of OFDM *** performance of the proposed N^(2)D is analyzed theoretically in terms of bit error rate(BER)by Monte Carlo simulation under different parameter *** simulation results demonstrate that the BER of N^(2)D is obviously lower than other algorithms,especially at high signal-to-noise ratios(SNRs).Meanwhile,the proposed N^(2)D is robust to the fluctuation of parameter values.
With the fast development of technology for the treatment of tumor and bacteria,photo-therapeutic strate-gies emerge as a kind of highly effective and common treatment,but the low tissue penetration depth of light lim...
详细信息
With the fast development of technology for the treatment of tumor and bacteria,photo-therapeutic strate-gies emerge as a kind of highly effective and common treatment,but the low tissue penetration depth of light limits their *** therapy(SDT),as an efficient and non-invasive treatment,attracts more people's attention due to the inherent property of high tissue *** soft tissue penetration depth of ultrasound(US)can even reach more than 10 cm,which has great advantage over that of ***,many sonosensitizers are studied and applied to SDT-based ***-based inorganic nanocrystals are able to generate more reactive oxygen species(ROS)due to the special composition and band *** representative achievements and the specific functions of the nanocrystals sonosensitizers are summarized in this work,and the relationship of structure/composition-SDT performance and the internally regulated composite is ***-gistic effects of SDT in combination with other therapeutic modalities are mainly *** the same time,the critical and potential issues and future perspectives are addressed.
Laser-based light sources are highly desirable for display applications due to their narrow emission linewidth and exceptional ***,the coherence inherent in lasers often leads to the formation of unwanted speckles,whi...
详细信息
Laser-based light sources are highly desirable for display applications due to their narrow emission linewidth and exceptional ***,the coherence inherent in lasers often leads to the formation of unwanted speckles,which can significantly degrade display ***,there is a critical need for light sources that retain the narrow emission and high brightness of lasers while minimizing spatial coherence to reduce speckle *** lasing has emerged as a promising strategy to address this issue,though its random emission directions can lead to energy *** overcome this challenge,we propose a novel approach in which CdSe nanoplatelets,known for their efficient optical gain properties,are self-assembled into supraparticles(SPs),serving as both scattering centers and gain *** configuration enables random lasing,and by coupling the random gain medium to a Fabry-Perot(FP)cavity,we successfully direct the typically omnidirectional random lasing into a controlled,low-coherence *** experimental results,comparing conventional lasers(e.g.,He:Ne lasers)with our SP-based laser for a projector,demonstrate effective suppression of speckle formation,reducing speckle contrast from 0.5 to *** findings offer a promising solution for improving the performance and quality of laser-based displays.
Aiming at the problem of simulating service requests and optimal scheduling during the operation of the cloud computing/edge computing environment, the real-time optimization scheduling technology of computing resourc...
详细信息
Topological edge states arise in non-Hermitian parity-time(PT)-symmetric systems, and manifest themselves as bright or dark edge states, depending on the imaginary components of their eigenenergies. As the spatial pro...
详细信息
Topological edge states arise in non-Hermitian parity-time(PT)-symmetric systems, and manifest themselves as bright or dark edge states, depending on the imaginary components of their eigenenergies. As the spatial probabilities of dark edge states are suppressed during the non-unitary dynamics, it is a challenge to observe them experimentally. Here we report the experimental detection of dark edge states in photonic quantum walks with spontaneously broken PT symmetry, thus providing a complete description of the topological phenomena therein. We experimentally confirm that the global Berry phase in PT-symmetric quantum-walk dynamics unambiguously defines topological invariants of the system in both the PT-symmetry-unbroken and-broken regimes. Our results establish a unified framework for characterizing topology in PT-symmetric quantum-walk dynamics, and provide a useful method to observe topological phenomena in PT-symmetric non-Hermitian systems in general.
Currently,with the advent of high-repetition-rate laser-plasma experiments,the demand for online diagnosis for the X-ray spectrum is increasing because the laser-plasma-generated X-ray spectrum is very important for c...
详细信息
Currently,with the advent of high-repetition-rate laser-plasma experiments,the demand for online diagnosis for the X-ray spectrum is increasing because the laser-plasma-generated X-ray spectrum is very important for characterizing electron dynamics and *** this study,scintillators and silicon PIN(P-type–intrinsic-N-type semiconductor)diodes were used to construct a wideband online filter stack *** X-ray sensor and filter arrangement was optimized using a genetic algorithm to minimize the condition number of the response ***,the unfolding error was significantly reduced based on numerical *** detector responses were quantitatively calibrated by irradiating the scintillator and PIN diode with various nuclides and comparing the measuredγ-ray peaks.A prototype 15-channel spectrometer was developed by integrating an X-ray detector with front-and back-end *** prototype spectrometer could record X-ray pulse signals at a repetition rate of 1 ***,an optimized spectrometer was employed to record the real-time spectra of laser-driven bremsstrahlung *** optimized spectrometer offers a compact solution for spectrum diagnostics of ultrashort X-ray pulses,exhibiting improved accuracy in terms of spectrum measurements and repetition rates,and could be widely used in next-generation high-repetition-rate high-power laser facilities.
Sentence Boundary Disambiguation(SBD)is a preprocessing step for natural language *** text into sentences is essential for Deep Learning(DL)and pretraining language *** punctuation marks may involve ambiguity about th...
详细信息
Sentence Boundary Disambiguation(SBD)is a preprocessing step for natural language *** text into sentences is essential for Deep Learning(DL)and pretraining language *** punctuation marks may involve ambiguity about the sentences’beginnings and ***,the ambiguous punctuation marks must be distinguished,and the sentence structure must be correctly encoded in language *** study proposed a component-level Tibetan SBD approach based on the DL *** models can reduce the error amplification caused by word segmentation and part-of-speech *** most SBD methods have only considered text on the left side of punctuation marks,this study considers the text on both *** this study,465669 Tibetan sentences are adopted,and a Bidirectional Long Short-Term Memory(Bi-LSTM)model is used to perform *** experimental results show that the F1-score of the Bi-LSTM model reached 96%,the most efficient among the six *** are performed on low-resource languages such as Turkish and Romanian,and high-resource languages such as English and German,to verify the models’generalization.
Semantic segmentation of urban remote sensing images (URSIs) is crucial for the development of smart cities and the acceleration of urban information. In view of the characteristics of URSIs with intricate backgrounds...
详细信息
暂无评论