Search Results (3)

We propose a numerical representation of beliefs in social systems based on the so-called SAT problem in computer science. The main idea is that a belief system is a set of true/false values associated with claims or propositions. Each individual assigns these values according to its cognitive system in order to minimize logical contradictions, thus trying to solve a satisfaction problem. Social interactions between agents that disagree on a proposition can be introduced in order to see how, in the long term, social norms and competing belief systems build up in a population. Among other metrics, entropy is used to characterize the diversity of belief systems. Full article

In this paper, we proposed a novel quantum algorithm for the maximum satisfiability problem. Satisfiability (SAT) is to find the set of assignment values of input variables for the given Boolean function that evaluates this function as TRUE or prove that such satisfying values do not exist. For a POS SAT problem, we proposed a novel quantum algorithm for the maximum satisfiability (MAX-SAT), which returns the maximum number of OR terms that are satisfied for the SAT-unsatisfiable function, providing us with information on how far the given Boolean function is from the SAT satisfaction. We used Grover’s algorithm with a new block called quantum counter in the oracle circuit. The proposed circuit can be adapted for various forms of satisfiability expressions and several satisfiability-like problems. Using the quantum counter and mirrors for SAT terms reduces the need for ancilla qubits and realizes a large Toffoli gate that is then not needed. Our circuit reduces the number of ancilla qubits for the terms $T$ of the Boolean function from $T$ of ancilla qubits to $\approx {\log }_{2}T+1$. We analyzed and compared the quantum cost of the traditional oracle design with our design which gives a low quantum cost. Full article

With the continuous expansion of urban scale with dense population and traffic and the gradual improvement of residents’ requirements for environmental quality, the traditional evaluation method relying on acoustic energy is not enough to reflect the feelings of urban crowds about acoustic environment quality. The acoustic environment quality evaluation method based on human subjective perception has gradually become one of the research focuses in the field of environmental noise control. In recent years, various subjective and objective acoustic characteristic parameters have been introduced into the study of acoustic environment assessment in the global literature. However, the extraction of “effective characteristics” from a large number of physical and psychoacoustic characteristics contained in acoustic signals and the creation of a scientific and efficient subjective evaluation model have always been key technical problems in the field of acoustic environment evaluation. Based on subjective human perceptions, the overall acoustic environment quality evaluation of urban open spaces is studied in this paper. Based on the “effective characteristic” parameters and the subjective characteristic proposed in the previous research, including equivalent continuous A-weighted sound pressure level (L_A), the difference between median noise and ambient background noise (L₅₀ − L₉₀), Sharpness (Sh), as well as satisfaction (Sat), the multivariable linear regression algorithm is used to further study the intrinsic correlation between the proposed “effective characteristics” and subjective perception. Then, a satisfaction evaluation model of the acoustic environment based on “effective characteristics” is built in this paper. Furthermore, the soundwalk evaluation experiment and the MATLAB numerical simulation experiment are carried out, which verify that the prediction accuracy of the proposed model is more than 92%, the consistency of satisfaction level is more than 88%, as well as the changes in the values of Sh and L₅₀ − L₉₀ have a significant impact on the satisfaction prediction of the proposed model. It shows that the proposed “effective characteristics” more comprehensively describe the quality level of the regional acoustic environment in urban open space compared with a single L_A index, and the proposed acoustic environment satisfaction evaluation model based on “effective characteristics” has significant accuracy superiority and regional applicability. Full article