Biometric applications are very sensitive to the process because of its complexity in presenting unstructured input to the processing. The existing applications of image processing are based on the implementation of different programing segments such as image acquisition, segmentation, extraction, and final output. The proposed model is designed with 2 convolution layers and 3 dense layers. We examined the module with 5 datasets including 3 benchmark datasets, namely CASIA, UBIRIS, MMU, random dataset, and the live video. We calculated the FPR, FNR, Precision, Recall, and accuracy of each dataset. The calculated accuracy of CASIA using the proposed system is 82.8%, for UBIRIS is 86%, MMU is 84%, and the random dataset is 84%. On live video with low resolution, calculated accuracy is 72.4%. The proposed system achieved better accuracy compared to existing state-of-the-art systems.
This paper discusses our methodology for formal analysis and automatic verification of software programs. It is applicable to a large subset of the C programming language that includes pointer arithmetic and bounded recursion. We consider reachability properties, in particular whether certain assertions or basic blocks are reachable in the source code, or whether certain standard property violations can occur. We perform this analysis via a translation to a Boolean circuit representation based on modeling basic blocks. The program is then analyzed by a back-end SAT-based bounded model checker, where each unrolling is mapped to one step in a block-wise execution of the program. 相似文献
Dramatic improvements in SAT solver technology over the last decade and the growing need for more efficient and scalable verification solutions have fueled research in verification methods based on SAT solvers. This paper presents a survey of the latest developments in SAT-based formal verification, including incomplete methods such as bounded model checking and complete methods for model checking. We focus on how the surveyed techniques formulate the verification problem as a SAT problem and how they exploit crucial aspects of a SAT solver, such as application-specific heuristics and conflict-driven learning. Finally, we summarize the noteworthy achievements in this area so far and note the major challenges in making this technology more pervasive in industrial design verification flows. 相似文献
Spinal cord injury (SCI) causes significant mortality and morbidity. Currently, no FDA-approved pharmacotherapy is available for treating SCI. Previously, low doses of estrogen (17β-estradiol, E2) were shown to improve the post-injury outcome in a rat SCI model. However, the range of associated side effects makes advocating its therapeutic use difficult. Therefore, this study aimed at investigating the therapeutic efficacy of Premarin (PRM) in SCI. PRM is an FDA-approved E2 (10%) formulation, which is used for hormone replacement therapy with minimal risk of serious side effects. The effects of PRM on SCI were examined by magnetic resonance imaging, immunofluorescent staining, and western blot analysis in a rat model. SCI animals treated with vehicle alone, PRM, E2 receptor antagonist (ICI), or PRM + ICI were graded in a blinded way for locomotor function by using the Basso–Beattie–Bresnahan (BBB) locomotor scale. PRM treatment for 7 days decreased post-SCI lesion volume and attenuated neuronal cell death, inflammation, and axonal damage. PRM also altered the balance of pro- and anti-apoptotic proteins in favor of cell survival and improved angiogenesis and microvascular growth. Increased expression of estrogen receptors (ERs) ERα and ERβ following PRM treatment and their inhibition by ER inhibitor indicated that the neuroprotection associated with PRM treatment might be E2-receptor mediated. The attenuation of glial activation with decreased inflammation and cell death, and increased angiogenesis by PRM led to improved functional outcome as determined by the BBB locomotor scale. These results suggest that PRM treatment has significant therapeutic implications for the improvement of post-SCI outcome. 相似文献
Realistic and scenario-dependent mobility modeling is crucial for the reliable performance evaluation of multi-hop networks. In the last decade, a significant number of synthetic mobility models have been proposed. However, only a few of these models have been validated by realistic movement traces. In the last few years, several of such traces have been collected, analyzed, and made available to the community. This paper provides a comprehensive and up-to-date survey of (1) available movement traces, (2) modeling/analyses of these traces, and (3) synthetic mobility models. The focus of the paper is on mobility traces/models that include position information. The contribution of this paper is to summarize the research that has been done in the area of mobility modeling over the last few years and present challenges for future work. 相似文献
Doxorubicin is a highly effective chemotherapy agent used to treat many common malignancies. However, its use is limited by cardiotoxicity, and cumulative doses exponentially increase the risk of heart failure. To identify novel heart failure treatment targets, a zebrafish model of doxorubicin-induced cardiomyopathy was previously established for small-molecule screening. Using this model, several small molecules that prevent doxorubicin-induced cardiotoxicity both in zebrafish and in mouse models have previously been identified. In this study, exploration of doxorubicin cardiotoxicity is expanded by screening 2271 small molecules from a proprietary, target-annotated tool compound collection. It is found that 120 small molecules can prevent doxorubicin-induced cardiotoxicity, including 7 highly effective compounds. Of these, all seven exhibited inhibitory activity towards cytochrome P450 family 1 (CYP1). These results are consistent with previous findings, in which visnagin, a CYP1 inhibitor, also prevents doxorubicin-induced cardiotoxicity. Importantly, genetic mutation of cyp1a protected zebrafish against doxorubicin-induced cardiotoxicity phenotypes. Together, these results provide strong evidence that CYP1 is an important contributor to doxorubicin-induced cardiotoxicity and highlight the CYP1 pathway as a candidate therapeutic target for clinical cardioprotection. 相似文献
In this paper, a compact, broadband linearly tapered meandered monopole tag antenna for UHF‐RFID is designed and optimized using particle swarm optimization (PSO) algorithm. An inductive T‐match network is utilized for impedance matching with capacitive Higgs‐4 chip. The optimization goal of PSO was conjugate matching and in consequence the maximization of read range. Equivalent circuit of the proposed tag antenna is derived using ADS software to validate its impedance characteristics. The performance of the proposed tag in terms of tag power sensitivity, read range, realized gain, and differential radar cross section has been experimentally characterized. To check the tolerance of the designed tag to various object platforms, its read range performance is also verified on objects like wood, fiber, plastic, and so forth. Furthermore, read pattern of the proposed tag has been measured and found to have figure of eight in E‐plane and omnidirectional in H‐plane. Experimental results reveal that the proposed tag covers 865‐867 MHz (ETSI band, Europe) and 902‐928 MHz (FCC band, United States) both major RFID bands with a read range of 10 and 12 m, respectively. The proposed tag has 2060 mm3 of volumetric size with maximum measured readable distance of 12 m with EIRP of 3.28 W. 相似文献
Poly(o-anisidine) (POA) is used as a modifier in an epoxy system to enhance its anticorrosive properties. The modification of POA is done by aminosilane to introduce amine functionality on the surface. Through this functionality, it becomes part of the coating backbone during curing of an epoxy-polyaminoamide system. The concentration of poly(o-anisidine) has been varied as 1, 3, and 5 wt%. Depolymerized product of polyethylene terephthalate (PET) obtained from aminolysis of PET with ethylamine has amine functionality. Depolymerized product is added at concentrations of only 1 and 3 wt%. The same concentration is used with 5 wt% of silane-modified POA. The synthesized POA and silane-modified POA (Si-POA) have been characterized by FTIR, UV–Visible, and XRD analysis. The coating is characterized by mechanical properties and it is observed that pencil hardness and scratch hardness of the coating were enhanced to 6H and 3.5 kg from 2H and 2.5 kg of a plain epoxy system. The anticorrosive properties of Si-POA are better as compared to plain POA, but the addition of depolymerized product is unable to improve the anticorrosive performance of the coating. In EIS study, it is observed that 5% Si-POA system shows the highest impedance > 10 G (Ω) and it has a tendency to retain anticorrosive performance for longer duration. 相似文献