Research On Model Checking Of Netizens’ Negative Emotion In The Evolution Of Financial Public Opinion

At present,the rapid spread of financial news through the Internet is likely to cause a lot of attention of netizens,thus forming financial public opinion,affecting the behavior of netizens and the development of capital markets.Most of the netizens who are concerned about financial public opinions are the main investors in China’s capital market.They have a certain“stock price sensitivity”and are difficult to treat negative public opinion rationally.Therefore,studying the negative emotional changes of netizens in the financial public opinion is crucial to the development of the capital market.Domestic and foreign scholars have done much research on the negative emotions of Internet users from different angles,but lack relevant research involving financial markets,and rarely study the transfer rules of netizens’ negative emotions in the evolution of financial public opinion.The model checking technology abstracts the multi-dimensional netizen behavior data into the netizen emotional state transition model,determines the negative emotional state detection rules of netizens based on the reality,and uses the rules to detect the netizen emotional state transfer model.So the model checking technology achieves the purpose of discovering rules of negative emotion evolution of netizens,and can solve the problem of“state explosion”and “state transition” of netizens’ negative emotions in emergencies.Therefore,based on the model checking technology,this paper regards the transfer process of netizens’ negative emotions in financial public opinion as the continuous transfer process of state in time in the problem space.First,the Internet users’ emotional state in financial public opinion is represented by a three-dimensional vector model.The three dimensions are “Internet users’ emotional polarity”,“Internet users’ acceptance”,and “Internet users’ attention”.Build a database model of netizens’ emotion transfer based on the case database.Establish detection rules based on the general rules of negative emotion evolution in real situations.A framework for model checking of netizens’ negative emotions in the evolution of financial public opinion is constructed.Then the model checking process of negative emotion is realized by using the model detector Nu SMV,combined with ten typical cases of financial public opinion.Finally,through the analysis of the empirical results,the impact of three SCCT-based corporate emergency strategies on the negative emotion regulation process of netizens is evaluated,and quick and effective suggestions can be provided for corporate emergency management.The empirical results found that the “rebuild”emergency strategy is effective in the financial public opinion of corporate violations;the“Denial” strategy should be adopted by the rumored financial opinions of enterprises,and then the “diminish” Strategy and “rebuild” strategy can be adopted to mitigate negative impacts.