Search

Target tracking is to predict the state of the current target according to the target context information of video sequence. Deep learning is gradually widely used in the field of target tracking. This paper elaborates on the development background of target tracking algorithms and deep learning, and reviews traditional target tracking. Based on different network task functions, target tracking algorithms based deep learning is divided into: deep learning target tracking algorithm based classification, deep learning target tracking algorithm based regression, and target tracking algorithm based on the combination of regression and classification. This paper selects representative target tracking algorithm for experiments, compares the characteristics of different algorithms. Finally, this paper analyzes the problems of current target tracking algorithms based on deep learning, and prospects the future development direction. The experimental results show that deep Siamese tracking networks are superior in accuracy and speed, which is becoming the mainstream tracking algorithm framework at present.

SQLIA vulnerabilities undermine the integrity of the Web background database, and have always been a major threat to Web application security. This paper proposes a solution to detect and verify SQLIA vulnerabilities in Java Web programs. It combines static analysis and dynamic verification, and formalizes the definition of instruction- level taint propagation semantics, which can effectively track the spread of taint information across files and pages. Static analysis first handles and classifies Sources to obtain a true and reliable Source collection, and then applies the multiple-fold relationship of methods, requests, sessions, method calls, etc. to match the potential Source and Sink pair, so that the analysis process can filter the unrelated Sources and Sinks. Finally, this paper combines static taint analysis and live variables analysis to eliminate Sources and Sinks where there is no taint propagation paths. Dynamic verification first instruments the program, then performs dynamic taint propagation and produces a trace while executing it. After that, it verifies the correctness of the results of static analysis by analyzing the trace, and obtains real bugs with taint propagation paths. A prototype system is implemented on top of Soot, and experimental results of several open source programs show the effectiveness of the approach.

In view of visual application requirements of professional subsystems of digital mine such as underground personnel location and attendance system, safety monitoring and control system, ventilation information management system, underground equipments management system and monitoring and management system of water supply and drainage, a basic GIS system of digital mine was designed. The system takes measured geographic data as basis to generate ground objects distribution map of mine and can provide basic GIS function service, so as to realize management and analysis function for professional subsystems.

The paper introduced application status of industrial Ethernet in digital mine construction, proposed network framework of a digital monitoring and control system of mine hoist based on double ring networks and Siemens S7-200 PLC, and introduced software and hardware designs of the system. The system can realize monitoring functions of working status, running parameters, fault parameters and fault status of mine hoist and control functions of starting, accelerating, stably running, decelerating, stopping and emergency braking of mine hoist. The actual application showed that the system runs stably and reliably and has perfect detection and protection functions.

A new efficient step-by-step process of extracting vanadium and silicium from stone coal cinder was proposed, which overcomes the tendency of stone coal slag to contain vanadium and high silicium during the power generation process in China. The results show that when the stone coal cinder blending with the right amount of sodium carbonate is melted at 1 400 °C for two hours and then is poured into water, then the resulting cinder is leached in sodium hydroxide solution at 100 °C,water glass solution can be produced, and the leaching rate of silicium in raw material is 80. 5%. At the same time, the obtained alkaline leaching residue is leached in 10% sulfuric acid solution at 60 °C, adding small amount of oxidant, the leaching rate of vanadium is 93.1%. As well as effectively extracting vanadium, this process could realize the comprehensive utilization of silicium in stone coal, and reduce tailing by 70%. [ABSTRACT FROM AUTHOR]

Objective: To investigate the renoprotective effects of a Sichuan dark tea-based medicated dietary formula (alternatively referred to as Qing, or clarity in Chinese) on mice with diet-induced obesity (DIO) and to explore the specific mechanisms involved., Methods: Male C57BL/6 mice were randomly assigned to three groups, a control group, a DIO group, and a Qing treatment group, or the Qing group, with 8 mice in each group. The mice in the control group were given normal maintenance feed and purified water, and the other two groups were fed a high-fat diet for 12 weeks to establish the DIO model. After that, high-fat diet continued in the DIO group, while the Qing group was given Qing at the same time for 12 weeks, during which period the weight of the mice was monitored and recorded every week. The mice were sacrificed after 12 weeks. Serum samples were collected and the levels of triglyceride (TG), total cholesterol (TC), alanine aminotransferase (ALT), aspartate aminotransferase (AST), and albumin were measured to evaluate liver function. In addition, renal lipids were extracted to determine the levels of TG and TC in the kidney and periodic acid-Schiff (PAS) and oil red O stainings were performed to evaluate kidney pathological injury. Western blot was performed to determine the phosphorylated AMPK (pAMPK)/AMPK ratio in the kidney tissue. RT-qPCR and Western blot were used to determine the expression of proteins related to fatty acid oxidation, including acetyl-CoA carboxylase 1 (ACC1), carnitine acyltransferase 1 (CTP1), peroxisome proliferators-activated receptor γ (PPARγ), peroxisome proliferators-activated receptor-1 α (PPAR1α), sterol-regulatory element binding proteins (SREBP-1), and key proteins related to lipid synthesis, including fatty acid synthase (FASN) and stearoyl-coenzyme A desaturase 1 (stearoyl-CoA desaturase) in the kidney tissue. 16SrRNA and metabolomics were applied to analyze the gut microbiota in the intestinal contents and its metabolites., Results: Compared with those of the control group, the levels of liver mass ( P =0.0003), serum ALT ( P <0.0001) and AST ( P =0.0001), and kidney TC ( P =0.0191) and TG ( P =0.0101) of the DIO group were significantly increased and there was lipid deposition in the kidney. Compared with those of the DIO group, mice in the Qing group showed effective reduction in liver mass ( P =0.0316) and improvements in the abnormal serum levels of AST ( P =0.0012) and ALT ( P =0.0027) and kidney TC ( P =0.0200) and TG ( P =0.0499). In addition, mice in the Qing group showed significant improvement in lipid deposition in the kidney. Qing group showed increased pAMPK/AMPK ratio in comparison with that of the DIO group. In comparison with those of the control group, mice in the DIO group had upregulated expression of lipid synthesis-related genes and proteins (SREBP-1, FASN, and SCD1). As for the fatty acid oxidation-related genes and proteins, DIO mice showed upregulated expression of ACC1 and downregulated expression of CPT1A, PPARγ, and PGC1α in comparison with those of the control group. In the Qing goup, improvements in regard to all these changes were observed. The Qing group demonstrated improvement in the disrupted homeostasis of the gut microbiota. Short-chain fatty acids in the cecal contents, especially isovaleric acid and propionic acid, were also restored., Conclusion: Sichuan dark tea-based medicated dietary formula may improve renal lipid metabolism by regulating gut microbiota and the levels of intestinal short-chain fatty acids, thereby protecting obesity-related kidney injury. Isovaleric acid and propionic acid may be the metabolites key to its regulation of gut microbiota., Competing Interests: 利益冲突　所有作者均声明没有利益冲突, (© 2023《四川大学学报（医学版）》编辑部 版权所有Copyright ©2023 Editorial Board of Journal of Sichuan University (Medical Sciences).)