Abstract: Vehicle safety on roadsides is vital for preventing collisions, controlling failures and accidents, and ensuring driver and passenger wellness. Finite Element Analysis (FEA) in vehicle safety relies on the vehicle’s physical attributes for predicting and preventing collisions. This article introduces a Differential FEA (DFEA) model for predicting vehicle collisions regardless of the speed and direction for driver/ passenger safety. The proposed model induces a vehicle’s speed, direction, and displacement from two perspectives: self and approaching vehicle. The collision probability with the trailing or persuading vehicle is calculated by distinguishing the forward and rear features. The differential calculus for the point…of deviation and distance metrics are significantly estimated for a vehicle’s front and rear ends. Such calculus generates a maximum and minimum possibility for self and approaching vehicle contact. This contact is further split based on the collision threshold; the threshold is determined using the safe distance between two vehicles for collision-less driving. The threshold exceeding vehicles are alerted for their change in direction/ speed through contact point (rear/front) differential derivatives. This ensures collision detection under fewer contact errors, leveraging the safety of the duo vehicles.
Show more
Abstract: With the rapid development of big data and artificial intelligence technology, the methods and approaches of literature research have also undergone profound changes. This study aims to explore and analyze how these technologies are integrated with literary studies and the new perspectives and opportunities that this integration brings to literary studies. The study investigates the use of advanced techniques in literary analysis, with a particular focus on the analysis of metaphors in literary works, the interaction between literature and social media, and statistical methods in literary criticism. Further, the influence of these technologies on literary theory and education is discussed,…and a series of revelatory conclusions are drawn. Collectively, these technologies have opened new portals to literary research, providing a wealth of tools and resources for literary researchers.
Show more
Keywords: Big data, English literature, machine learning, intelligent literary criticism
Abstract: In this paper, the anti-cancer drug 6-mercaptopurine (6-MP) was taken as the detection object. The biosensor of dsDNA/GNs/chit/GCE was established using the grapheme (GNs) and chitosan (chit) as the compound modified material. The electrochemical behavior of 6-MP on the sensor was discussed, and the damage and its mechanism of 6-MP on DNA were studied. The experimental result showed that, after the modification of GNs-chit, the electrode activation area of GNs/chit/GCE increased remarkably, which was improved from 1.76cm2 to 8.64 cm2 , and the responsive oxidation peak current of GNs/chit/GCE to K3 [Fe(CN)6 ] also increased remarkably. At the meantime, it…was demonstrated that DNA was effectively fixed on the GNs/chit/GCE electrode;6-MP caused obvious damage to dsDNA, and the damage degree on the adenine was bigger than that on the guanine; the interaction between 6-MP and dsDNA was preliminarily deduced as the intercalation, and its electrochemical oxidation process was an irreversible process controlled by the adsorption.
Show more
Keywords: Biosensor, grapheme, 6-MP, intercalation, DNA damage
Abstract: Backbone is the set of literals that are true in all formula’s models. Computing a part of backbone efficiently could guide the following searching in SAT solving and accelerate the process, which is widely used in fault localization, product configuration, and formula simplification. Specifically, iterative SAT testings among literals are the most time consumer in backbone computing. We propose a Greedy-Whitening based algorithm in order to accelerate backbone computing. On the one hand, we try to reduce the number of SAT testings as many as possible. On the other hand, we make every inventible SAT testing more efficient. The proposed…approach consists of three steps. The first step is a Greedy-based algorithm which computes an under-approximation of non-backbone BL ‾ ⇂ ( Φ ) . Backbone computing is accelerated since SAT testings of literals in BL ‾ ⇂ ( Φ ) are saved. The second step is a Whitening-based algorithm with two heuristic strategies which computes an approximation set of backbone BL ˆ ( Φ ) . Backbone computing is accelerated since more backbone are found at an early stage of the computing by testing the literals in BL ˆ ( Φ ) first, which makes every individual SAT testing more efficient. The exact backbone is computed in the third step which applies iterative backbone testing on the approximations. We implemented our approach in a tool Bone and conducted experiments on instances from Industrial tracks of SAT Competitions between 2002 and 2016. Empirical results show that Bone is more efficient in industrial and crafted formulas.
Show more
Abstract: A new integration method of the optimal square approximation method (OSAM) and the second order reliability method (SORM) was presented to ensure the mechanism structure design more reliable and robust. As for arbitrary distribution variables of mechanical structure design, the performance function of mechanical structure is expanded into the second-order Taylor series, the probability density function (PDF) and the first four moments (FFM) including the mean, the variance, the third-order moment and the fourth-order moments of performance function, which can be obtained according to the integration of OSAM and SORM. The numerical example of power-output shaft flange demonstrates that the…sensitivity matrix conforms to the qualitative analysis for reliability design, and the presented integration method has the characteristics of high engineering precision in the reliability-based robust design of mechanical structure.
Show more
Keywords: Reliability-based robust design, optimal square approximation method (OSAM), second order reliability method (SORM), random variables, sensitivity matrix, flange
Abstract: To model and analyze systems with multi-valued information, in this paper, we present an extension of Kripke structures in the framework of complete residuted lattices, which we will refer to as lattice-valued Kripke structures (LKSs). We then show how the traditional trace containment and equivalence relations, can be lifted to the lattice-valued setting, and we introduce two families of lattice-valued versions of the relations. Further, we explore some interesting properties of these relations. Finally, we provide logical characterizations of our relations by a natural extension of linear temporal logic.
Abstract: A strain of Pseudomonas aeruginosa (Pseudomonas sp. R1), which can efficiently decolorize reactive red X-3B, was isolated from activated sludge in a dye plant, and the decolorizing mechanism was explored in this paper. The result shows that Pseudomonas sp. R1 has very good capability for decolorization of reactive red X-3B and the decolorization rate is increased by 9.1% after optimization of the experimental parameters, which means that 89.6% of the reactive red can be removed. Investigation on decolorization mechanism showed that the decolorizing capability of Pseudomonassp. R1 was significantly affected after plasmids in Pseudomonassp. R1 were eliminated by acridine orange…(AO). Meanwhile, E. coli DH5a could gain decolorizing capability after transformed with the plasmids. Plasmid elimination and transformation tests proved that the decolorizing gene in Pseudomonas sp. R1 exists in the plasmid.
Show more
Abstract: Attention mechanisms are widely used on NLP tasks and show strong performance in modeling local/global dependencies. Directional self-attention network shows the competitive performance on various datasets, but it not considers the reverse information of a sentence. In this paper, we propose the Multiway Dynamic Mask attention Network (MDMAN). The model has two modules: a dynamic mask selector and a multi-attention encoder. The dynamic mask selector chooses high-quality reverse information with reinforcement learning and feeds reverse information to multi-attention encoder, the multi-attention encoder uses four attention functions to match the word in the same sentence at different token level, then combine…the information from all functions to obtain the final representation. Our experiments performed on two publicly available NLI datasets show that MDMAN achieves significant improvement over DSAN.
Show more
Keywords: Natural language processing, attention mechanism, reinforcement learning, natural language inference
Abstract: BACKGROUND: Robot-assisted therapy (RT) has become a promising stroke rehabilitation intervention. OBJECTIVE: To examine the effects of short-term upper limb RT on the rehabilitation of sub-acute stroke patients. METHODS: Subjects were randomly assigned to the RT group (n = 23) or conventional rehabilitation (CR) group (n = 22). All subjects received conventional rehabilitation therapy for 30 minutes twice a day, for 2 weeks. In addition, the RT group received RT for 30 minutes twice a day, for 2 weeks. The outcomes before treatment (T0) and at 2 weeks (T1) and 1 month follow-up (T2) were evaluated in the patients using…the upper limb motor function test of the Fugl-Meyer assessment (FMA) the Motricity Index (MI), the Modified Ashworth Scale (MAS), the Functional Independence Measure (FIM), and the Barthel Index (BI). RESULTS: There were significant improvements in motor function scales (P < 0.001 for FMA and MI) and activities of daily living (P < 0.001 for FIM and BI) but without muscle tone (MAS, P > 0.05) in the RT and CR groups. Compared to the CR group, the RT group showed improvements in motor function and activities of daily living (P < 0.05 for FMA, MI, FIM, BI) at T1 and T2. There was no significant difference between the two groups in muscle tone (MAS, P > 0.05). CONCLUSIONS: RT may be a useful tool for sub-acute stroke patients’ rehabilitation.
Show more
Abstract: Three-way decisions have become a representative of the models dealing with decision-making problems with uncertainty and fuzziness. However, most of the current models are single granular structures that cannot meet the needs of complex fuzzy environmental decision-making. Multi-granulation rough sets can better deal with fuzzy problems of multiple granularity structures. Therefore, three-way decisions will be a more reasonable decision-making model to address uncertain decision problems in the context of multiple granularity structures. In this paper, firstly we propose the four different conditional probabilities based on support intuitionistic fuzzy sets, which are referred to as support intuitionistic fuzzy probability. Then, a…multi-granulation support intuitionistic fuzzy probabilistic approximation space is defined. Secondly, we calculate the thresholds α and β by the Bayesian theory, and construct four different types of multi-granulation support intuitionistic fuzzy probabilistic rough sets models in multi-granulation support intuitionistic fuzzy probabilistic approximation space. Moreover, some properties of lower and upper approximation operators of these models are discussed. Thirdly, by combining these proposed models with three-way decision theory, the corresponding three-way decision models are constructed and three-way decision rules are derived. Finally, an example of person-job fit procedure is given to prove and compare the validity of these proposed models.
Show more
Keywords: Support intuitionistic fuzzy sets, rough sets, support intuitionistic fuzzy probabilistic, multi-granulation rough sets, three-way decisions