Dynamic Signature Verification Using Pattern Recognition

Dynamic signature is a biometric modality that recognizes an individual’s anatomic and behavioural characteristics when signing their name. The rampant case of signature falsification (Identity Theft) was the key motivating factor for embarking on this study. This study was necessitated by the damages and dangers posed by signature forgery coupled with the intractable nature of the problem. The aim and objectives of this study is to design a proactive and responsive system that could compare two signature samples and detect the correct signature against the forged one. Dynamic Signature verification is an important biometric technique that aims to detect whether a given signature is genuine or forged. In this research work, Convolutional Neural Networks (CNNsor ConvNet) which is a class of deep, feed forward artificial neural networks that has successfully been applied to analysing visual imagery was used to train the model. The signature images are stored in a file directory structure which the Keras Python library can work with. Then the CNN was implemented in python using the Keras with the TensorFlow backend to learn the patterns associated with the signature. The result showed that for the same CNNs-based network experimental result of average accuracy, the larger the training dataset, the higher the test accuracy. However, when the training dataset are insufficient, better results can be obtained. The paper concluded that by training datasets using CNNs network, 98% accuracy in the result was recorded, in the experimental part, the model achieved a high degree of accuracy in the classification of the biometric parameters used.

Nonlinear dynamic analysis of multi-base seismically isolated structures with uplift potentialⅡ:verification examples

The work presented in this paper serves as numerical verification of the analytical model developed in the companion paper for nonlinear dynamic analysis of multi-base seismically isolated structures. To this end, two numerical examples have been analyzed using the computational algorithm incorporated into program 3D-BASIS-ME-MB, developed on the basis of the newly-formulated analytical model. The first example concerns a seven-story model structure that was tested on the earthquake simulator at the University at Buflhlo and was also used as a verification example for program SAP2000. The second example concerns a two-tower, multi-story structure with a split-level seismic-isolation system. For purposes of verification, key results produced by 3D-BASIS-ME-MB are compared to experimental results, or results obtained from other structural/finite element programs. In both examples, the analyzed structure is excited under conditions of bearing uplift, thus yielding a case of much interest in verifying the capabilities of the developed analysis tool.

Dynamic grey model of verification cycle and lifecycle of measuring instrument and its application

Two dynamic grey models DGM (1, 1) for the verification cycle and the lifecycle of measuring instrument based on time sequence and frequency sequence were set up, according to the statistical feature of examination data and weighting method. By a specific case, i.e. vernier caliper, it is proved that the fit precision and forecast precision of the models are much higher, the cycles are obviously different under different working conditions, and the forecast result of the frequency sequence model is better than that of the time sequence model. Combining dynamic grey model and auto-manufacturing case the controlling and information subsystems of verification cycle and the lifecycle based on information integration, multi-sensor controlling and management controlling were given. The models can be used in production process to help enterprise reduce error, cost and flaw.

Verification of Dosimetric and Positional Accuracy of Dynamic Tumor Tracking Intensity Modulated Radiation Therapy

Purpose: We performed both, dosimetric and positional accuracy verification of dynamic tumor tracking (DTT) intensity modulated radiation therapy (IMRT), with the Vero4DRT system using a moving phantom (QUASAR respiratory motion platform;QUASAR phantom) and system log files. Methods: The QUASAR phantom was placed on a treatment couch. Measurement of the point dose and dose distribution was performed for conventional IMRT, with the QUASAR phantom static and moving;for DTT IMRT, this was performed with the phantom moving for pyramid shaped, prostate, paranasal sinus, and pancreas targets. The QUASAR phantom was driven by a sinusoidal signal in the superior-inferior direction. Furthermore, predicted positional errors induced by the Vero4DRT system and mechanical positional errors of the gimbal head, were calculated using the system log files. Results and Conclusion: For DTT IMRT, the dose at the evaluation point was within 3% compared with the verification plan, and the dose distribution in the passing rates of γ was 97.9%, with the criteria of 3% dose and 3 mm distance to agreement. The position error calculated from the log files was within 2 mm, suggesting the feasibility of employing DTT IMRT with high accuracy using the Vero4DRT system.

A rapid on-site calibration method for measuring dynamic envelope curve of high-speed trains

Dynamic envelope curve is a significant parameter to assess the running safety of high-speed trains.Up to now the method based on binocular stereo vision is the only way available to measure the dynamic envelope curve of a train,the speed of which is over200km/h.Nevertheless the method has two limitations,one is large field-〇f-view(FO V),the other is calibration time.Hence portable calibration equipment,easy-t〇-build target and rapid calibration algorithm are required to complete the calibration.In this paper,a new rapid on-site calibration method with large FOV based on binocular stereo vision is proposed.To address these issues,a light target has been designed,the rail coordinate system(RCS)is represented by40fixed retroreflective points on the target,and they are utilized to calibrate the parameters of two cameras.In addition,two cameras merely capture a single image of the target simultaneously,and the intrinsic and extrinsic parameters of the cameras can be calculated rapidly.To testify the proposed method,the experiments have been conducted and the results reveal that the accuracy can reach+1mm,which can meet the measurement requirement.

Valve Train Dynamic Design and Verification

Valve train dynamic behaviors need to be considered at the beginning of the engine mechanical design,especially during choosing valve spring parameters.From parameter definition to simulation,the valve train parameters around dynamic performance are determined step by step.The valve train dynamic test is done finally to verify the design result since it is a such important facet for valve train design.And reliability from mass production and product life view must be considered during whole design process too.

Energy mechanism of bolt supporting effect to fissured rock under static and dynamic loads in deep coal mines

The stability control of fissured rock is difficult,especially under static and dynamic loads in deep coal mines.In this paper,the dynamic mechanical properties,strain rate evolution and energy dissipation of fissured and anchored rocks were respectively obtained by SHPB tests.It was found that bolt can provide supporting efficiency-improving effect for fissured rock against dynamic disturbance,and this effect increased quadratically with decrease in anchoring angles.Then,the energy dissipation mechanism of anchored rock was obtained by slipping model.Furthermore,bolt energy-absorbing mechanism by instantaneous tensile-shear deformation was expressed based on material mechanics,which was the larger the anchoring angle,the smaller the energy absorption,and the less the contribution to supporting efficiency improvement.On this basis,the functional relationship between energy dissipation of anchored rock and energy absorption of bolt was established.Taking the coal-gangue separation system of Longgu coal mine as an example,the optimal anchoring angle can be determined as 57.5°–67.5°.Field monitoring showed fissured rock with the optimal anchoring angle,can not only effectively control the deformation,but also fully exert the energy-absorbing and efficiency-improving effect of bolt itself.This study provides guidance to the stability control and supporting design for deep engineering under the same or similar conditions.

Verification of a self-developed CFD-based multi-physics coupled code MPC-LBE for LBE-cooled reactor

To perform an integral simulation of a pool-type reactor using CFD code,a multi-physics coupled code MPC-LBE for an LBE-cooled reactor was proposed by integrating a point kinetics model and a fuel pin heat transfer model into self-developed CFD code.For code verification,a code-to-code comparison was employed to validate the CFD code.Furthermore,a typical BT transient benchmark on the LBE-cooled XADS reactor was selected for verification in terms of the integral or system performance.Based on the verification results,it was demonstrated that the MPC-LBE coupled code can perform thermal-hydraulics or safety analyses for analysis for processes involved in LBE-cooled pool-type reactors.

Investigation of the gas bubble dynamics induced by an electric arc in insulation oil

In this work,experimental and theoretical studies were carried out on arc-induced bubble dynamic behaviors in insulation oil.Direct experimental evidence indicated that the arc-induced bubble experiences pulsating growth rather than a continuous expansion.Furthermore,a theoretical model and numerical calculation method were proposed,which revealed the dynamic mechanism of bubble growth.Good agreement between the theoretical results and experimental observations verified the general correctness and feasibility of the proposed method.

Inverse Dynamics of A 3-DOF Parallel Mechanism Based on Analytical Forward Kinematics

For the development of a parallel mechanism(PM),it is necessary to establish a dynamic model which can accurately meet the requirements of real-time control.Compared with the general dynamic analysis model based on the inverse kinematics,the dynamic analysis model based on the forward kinematics has the advantage of low-complexity.In this paper,a new type of 3-DOF PM with analytical forward displacement analysis is proposed.Different from the general dynamic analysis based on the inverse kinematics,the displacement,velocity and acceleration equations of the PM are established and solved by forward kinematics.The inverse dynamic equation of the PM is constructed and solved by analyzing the forces on each link and based on Newton-Euler method.Then the theoretical results of an example are compared with the simulation results,which shows that the simulation results are basically consistent with the theoretical results.And the maximum error of the driving force of each pair is 1.32%,5.8%and 5.2%,respectively,which verifies the correctness of the dynamic model.The PM has a potential application prospect in the grasping,spraying and picking of workpieces.The research results of this paper provide a theoretical basis for the design,manufacture and application of the PM.

A novel launch dynamics measurement system for multiple launch rocket system and comparative analysis with numerical simulations

In this paper,a novel launch dynamics measurement system based on the photoelectric sensor pair is built.The actual muzzle time(i.e.a time duration that originates from the initial movement to the rocket’s departure from the muzzle)and the muzzle velocity are measured.Compared with the classical methods,the actual muzzle time is obtained by eliminating the ignition delay.The comparative analysis method is proposed with numerical simulations established by the transfer matrix method for multibody systems.The experiment results indicate that the proposed measurement system can effectively measure the actual muzzle time and reduce the error of classical methods,which match well with the simulation results showing the launch dynamics model is reliable and helpful for further analysis and design of the MLRS.

Dynamic Audio-Visual Biometric Fusion for Person Recognition

Biometric recognition refers to the process of recognizing a person’s identity using physiological or behavioral modalities,such as face,voice,fingerprint,gait,etc.Such biometric modalities are mostly used in recognition tasks separately as in unimodal systems,or jointly with two or more as in multimodal systems.However,multimodal systems can usually enhance the recognition performance over unimodal systems by integrating the biometric data of multiple modalities at different fusion levels.Despite this enhancement,in real-life applications some factors degrade multimodal systems’performance,such as occlusion,face poses,and noise in voice data.In this paper,we propose two algorithms that effectively apply dynamic fusion at feature level based on the data quality of multimodal biometrics.The proposed algorithms attempt to minimize the negative influence of confusing and low-quality features by either exclusion or weight reduction to achieve better recognition performance.The proposed dynamic fusion was achieved using face and voice biometrics,where face features were extracted using principal component analysis(PCA),and Gabor filters separately,whilst voice features were extracted using Mel-Frequency Cepstral Coefficients(MFCCs).Here,the facial data quality assessment of face images is mainly based on the existence of occlusion,whereas the assessment of voice data quality is substantially based on the calculation of signal to noise ratio(SNR)as per the existence of noise.To evaluate the performance of the proposed algorithms,several experiments were conducted using two combinations of three different databases,AR database,and the extended Yale Face Database B for face images,in addition to VOiCES database for voice data.The obtained results show that both proposed dynamic fusion algorithms attain improved performance and offer more advantages in identification and verification over not only the standard unimodal algorithms but also the multimodal algorithms using standard fusion methods.

Dynamic Testing of Elastic Modulus,Shear Modulus,and Poisson’s Ratio of Bamboo Scrimber

The bamboo scrimber is an anisotropic material.The elastic constant values of the bamboo scrimber specimens measured by the dynamic and static methods are consistent,and the dynamic test method has the advantages of rapidity,simplicity,good repeatability,and high precision.Bamboo scrimber has strong potential as a building material,and its elastic constant is an important index to measure its mechanical properties.To quickly,simply,non-destructively,and accurately detect the elastic constant of the bamboo scrimber,they were dynamically tested by the free plate transient excitation method and cantilever plate torsional vibration method.The static four-point bending method was used to verify the accuracy and reliability of the dynamic elastic modulus,shear modulus,and Poisson’s ratio of the bamboo scrimber.The mechanism analysis and evaluation of the quality grade,homogeneity,and size effect of the bamboo scrimber whole board were carried out.The main results show that the dynamic elastic modulus,shear modulus,and Poisson’s ratio of the bamboo scrimber are 12 GPa,1500 MPa,and 0.31,respectively,which meet the requirements of GB/T 40247-2021 for structural bamboo scrimber.

Signature Verification for Multiuser Online Kanji Learning System

Multiuser online system is useful, but the administrator must be nervous at security problem. To solve this problem, the authors propose applying signature verification to multiuser online system. At the authors＇ research, they attempt adding signature verification function based on DP （Dynamic Programming） matching to existing multiuser online kanji learning system. In this paper, the authors propose the construction of the advance system and methods of signature verification, and evaluate performance of those signature verification methods that difference is combination of using features. From signature verification＇s experimental results, the authors adopted to use writing velocity and writing speed differential as using feature to verify the writer for the system. By using signature database which is construct with 20 genuine signatures and 20 forged signatures with 40 writers and written mostly by English or Chinese literal, experimental results of signature verification records 12.71% as maximum EER （Equal Error Rate）, 6.00% as minimum EER, and 8.22% as average EER. From mentioned above, the authors realized to advance the reliability and usefulness of the multiuser online kanji learning system.

Safety Verification of Semi-Algebraic Dynamical Systems via Inductive Invariant

To verify the safety of nonlinear dynamical systems based on inductive invariants, key issues include defining the most complete inductive condition and discovering an inductive invariant that satisfies the specified inductive condition. In this paper, to lay a solid foundation for future research into the safety verification of semi- algebraic dynamical systems, we first establish a formal framework for evaluating the quality of continuous inductive conditions. In addition, we propose a new complete and computable inductive condition for verifying the safety of semi-algebraic dynamical systems. Compared with the existing complete and computable inductive condition, this new inductive condition can be easily adapted to achieve a set of sufficient inductive conditions with different level of conservativeness and computational complexity, which provides us with a means to trade off between the verification power and complexity. These inductive conditions can be solved by quantifier elimination and SMT solvers.

Static Analysis-Based Behavior Model Building for Trusted Computing Dynamic Verification

Current trusted computing platform only verifies application＇s static Hash value, it could not prevent application from being dynamic attacked. This paper gives one static analysis-based behavior model building method for trusted computing dynamic verification, including control flow graph （CFG） building, finite state automata （FSA） constructing, e run cycle removing, e transition removing, deterministic finite state （DFA） constructing, trivial FSA removing, and global push down automata （PDA） constructing. According to experiment, this model built is a reduced model for dynamic verification and covers all possible paths, because it is based on binary file static analysis.

运用路径动态预览模型的低速智能汽车侧向跟踪控制研究

采用速度自适应的动态预瞄距离是提高智能车侧向跟踪控制效果的有效办法。针对目前基本采用基于当前车速的预瞄距离自适应策略,提出一种结合规划路径和规划速度信息的动态预瞄距离跟踪控制算法以提高智能车在低速侧向跟踪控制的精确性。本文以几何学纯跟踪算法为基础,推导了前行和倒车时的侧向跟踪控制律;依据实时规划的路径和速度信息,设计了预瞄距离动态调整方法,最终获取具有速度自适应性的前视距离-车辆前轮转角关系。最后,在CarSim-MATLAB/Simulink联合仿真环境下验证了算法的有效性和准确性,并通过实车测试,验证了所提出的方法较基于动力学模型的LQR算法具有更低计算消耗和更高跟踪精度。

基于改进连续时间动态系统的模拟SAT求解器

针对布尔可满足性问题的高效求解进行了研究。首先,通过对k-SAT问题和基于耦合常微分方程形式的确定性连续时间动态系统的分析,提出了一种基于时延信息形式的改进连续时间动态系统方程,以保持集中搜索特性;然后,提出了实现该系统方程的三个主要组件即信号动态电路、辅助变量电路和数字验证电路的模拟设计。在信号动态电路的设计中,设计了一种获得更高性能、更小面积和更低功耗的模拟硬件形式;在提出的辅助变量电路和数字验证电路的模拟硬件设计中,实现了避免梯度下降搜索陷入无解和确定给定问题的解是否已经找到的目标;同时提出了降低面积和功耗的可替代辅助变量电路的两种设计方案。仿真实验结果表明,提出的新的模拟SAT求解器不仅是有效的,而且相比于单一软件算法实现的SAT求解器和其他硬件类SAT求解器具有更高的加速性能和更低的功耗。

命令式动态规划类算法程序推导及机械化验证

动态规划是一种递归求解问题最优解的方法,主要通过求解子问题的解并组合这些解来求解原问题.由于其子问题之间存在大量依赖关系和约束条件,所以验证过程繁琐,尤其对命令式动态规划类算法程序正确性验证是一个难点.基于动态规划类算法Isabelle/HOL函数式建模与验证,通过证明命令式动态规划类算法程序与其的等价性,避免证明正确性时处理复杂的依赖关系和约束条件,提出命令式动态规划类算法程序设计框架及其机械化验证.首先,根据动态规划类算法的优化方法(备忘录方法)和性质(最优子结构性质和子问题重叠性质)描述问题规约、归纳递推关系式和形式化构造出循环不变式,并且基于递推关系式生成IMP(minimalistic imperative programming language)代码;其次,将问题规约、循环不变式和生成的IMP代码输入VCG(verification condition generator),自动生成正确性的验证条件;然后,在Isabelle/HOL定理证明器中对验证条件进行机械化验证.算法首先设计为命令式动态规划类算法的一般形式,并进一步实例化得到具体算法.最后,例证所提框架的有效性,为动态规划类算法的自动化推导和验证提供参考价值.

含润滑移动载荷系统的三维动力学分析

含润滑的移动载荷系统在实际工程中十分常见,而这种系统的动力学特性研究却鲜有报道。因此,提出一种三维润滑振动耦合动力学模型,用于分析含润滑移动载荷系统在激励下的结构振动响应。三维润滑振动耦合模型分别由润滑模型和多柔体动力学模型组成,通过将两模型计算结果相互传递来实现耦合,并通过迭代算法求解。此外,设计并制造相应实验装置。通过将根据模型计算和实验测量得到的结构在激励下的振动响应进行对比,以验证模型的准确性。对比结果显示:采用该模型能够准确预测结构的阻尼振动周期与振幅衰减时间,振动幅值相差不超过2.22 dB,可以满足工程精度要求。最后,利用三维润滑振动耦合模型分析移动载荷速度对结构振动的影响,结果表明:随着载荷移动速度增加,结构阻尼振动最大加速度幅值基本不变,但阻尼振动衰减时间大幅减小。