基于探索性因素分析的Q矩阵标定方法

标定Q矩阵是认知诊断评估中最基本也是最为关键的一步.如今Q矩阵标定的统计方法,多数为验证性方法,即验证或修正已有Q矩阵中元素的方法.在常见的Q矩阵未知和已有作答数据情形下,提出将探索性因素分析方法和验证性方法相结合的Q矩阵标定方法,并采用模型整体拟合指标、分类准确性指标等,综合确定属性数和Q矩阵.模拟研究表明:新方法可较好标定Q矩阵.

口腔实验教学方法的改进研究

口腔实验教学是口腔医学教育过程中的重要组成部分,口腔实验教学的成果直接影响到学生的实践操作能力。因此,必须对学生选择合适的口腔实验教学方法,提高学生的实践操作水平。传统的口腔实验教学方法不利于提高学生的学习兴趣和积极性,因此所获得的教学效果不高。改进口腔实验教学方法,如使用以问题为基础的实验教学方法、验证性实验教学方法、延伸线实验教学方法、构建“虚拟仿真+模型评估”实验教学体系等,可显著提高学生的学习兴趣,最终提高学习效率,更好地用于临床之中。

Accuracy Validation for Medical Image Registration Algorithms:a Review

Accuracy validation is essential to clinical application of medical image registration techniques. Registration validation remains a challenging problem in practice mainly due to lack of 'ground truth'. In this paper, an overview of current validation methods for medical image registration is presented with detailed discussion of their benefits and drawbacks. Special focus is on non-rigid registration validation. Promising solution is also discussed.

Verification of instruction set specification for an ASIP

In order to gain the great performance of ASIP, this paper discusses different aspects of an ASIP instruction set specification like syntax, encoding, constraints as welt as behaviors, and introduces our ADL model based methodology to check them. The automatic generation of test cases based on our straight-forward instruction representation is shown, and the efficient generation of them with good coverage is shown as well. The verification of the constraint checker, a very important tool for programmer, is performed. Results show that the toolkit can find some errors in previous delivery tools, and the introduced methodology verifies the feasibility of our instruction set specification.

Landslide initiation and runout susceptibility modeling in the context of hill cutting and rapid urbanization: a combined approach of weights of evidence and spatial multicriteria

Rainfall induced landslides are a common threat to the communities living on dangerous hillslopes in Chittagong Metropolitan Area, Bangladesh. Extreme population pressure, indiscriminate hill cutting, increased precipitation events due to global warming and associated unplanned urbanization in the hills are exaggerating landslide events. The aim of this article is to prepare a scientifically accurate landslide susceptibility map by combining landslide initiation and runout maps. Land cover, slope, soil permeability, surface geology, precipitation, aspect, and distance to hill cut, road cut, drainage and stream network factor maps were selected by conditional independence test. The locations of 56 landslides were collected by field surveying. A weight of evidence(Wo E) method was applied to calculate the positive(presence of landslides) and negative(absence of landslides) factor weights. A combination of analytical hierarchical process(AHP) and fuzzymembership standardization(weighs from 0 to 1) was applied for performing a spatial multi-criteria evaluation. Expert opinion guided the decision rule for AHP. The Flow-R tool that allows modeling landslide runout from the initiation sources was applied. The flow direction was calculated using the modified Holmgren's algorithm. The AHP landslide initiation and runout susceptibility maps were used to prepare a combined landslide susceptibility map. The relative operating characteristic curve was used for model validation purpose. The accuracy of Wo E, AHP, and combined susceptibility map was calculated 96%, 97%, and 98%, respectively.

Design and Implementation of Verification Code Identification Based on Anisotropic Heat Kernel

Many websites use verification codes to prevent users from using the machine automatically to register,login,malicious vote or irrigate but it brought great burden to the enterprises involved in internet marketing as entering the verification code manually.Improving the verification code security system needs the identification method as the corresponding testing system.We propose an anisotropic heat kernel equation group which can generate a heat source scale space during the kernel evolution based on infinite heat source axiom,design a multi-step anisotropic verification code identification algorithm which includes core procedure of building anisotropic heat kernel,settingwave energy information parameters,combing outverification codccharacters and corresponding peripheral procedure of gray scaling,binarizing,denoising,normalizing,segmenting and identifying,give out the detail criterion and parameter set.Actual test show the anisotropic heat kernel identification algorithm can be used on many kinds of verification code including text characters,mathematical,Chinese,voice,3D,programming,video,advertising,it has a higher rate of 25%and 50%than neural network and context matching algorithm separately for Yahoo site,49%and 60%for Captcha site,20%and 52%for Baidu site,60%and 65%for 3DTakers site,40%,and 51%.for MDP site.

Verification of Seismic Performance of Pile Foundation in Composite Ground through Experimental and Numerical Methods

A new construction method of pile foundation in composite ground, in which, prior to installing piles, the ground is improved around the heads of the piles in soft ground or ground subject to liquefaction, which is introduced in this paper. This construction method uses a combination of pile foundation construction together with common ground improvement methods, including deep mixing, preloading and sand compaction piling, and it is referred to as the composite ground pile method. Since an artificial ground with relatively high rigidity comparing with that of the original ground was formed around the pile in this method, and the seismic performance has not been made clear, thus the seismic performance of piles in composite ground was systematically analyzed through a series of centrifuge model tests and numerical analyses by using dynamic nonlinear finite element method, and a verification method for the seismic performance of piles in composite ground was proposed on the basis of the experimental and numerical results.

Verified Solution for a Statically Determinate Truss Structure with Uncertain Node Locations

We consider a statically determinate structural truss problem where all of the physical model parameters are uncertain： not just the material values and applied loads, but also the positions of the nodes are assumed to be inexact but bounded and are represented by intervals. Such uncertainty may typically arise from imprecision during the process of manufacturing or construction, or round-off errors. In this case the application of the finite element method results in a system of linear equations with numerous interval parameters which cannot be solved conventionally. Applying a suitable variable substitution, an iteration method for the solution of a parametric system of linear equations is firstly employed to obtain initial bounds on the node displacements. Thereafter, an interval tightening （pruning） technique is applied, firstly on the element forces and secondly on the node displacements, in order to obtain tight guaranteed enclosures for the interval solutions for the forces and displacements.

PIR-based data integrity verification method in sensor network

Since a sensor node handles wireless communication in data transmission and reception and is installed in poor environment, it is easily exposed to certain attacks such as data transformation and sniffing. Therefore, it is necessary to verify data integrity to properly respond to an adversary's ill-intentioned data modification. In sensor network environment, the data integrity verification method verifies the final data only, requesting multiple communications. An energy-efficient private information retrieval(PIR)-based data integrity verification method is proposed. Because the proposed method verifies the integrity of data between parent and child nodes, it is more efficient than the existing method which verifies data integrity after receiving data from the entire network or in a cluster. Since the number of messages for verification is reduced, in addition, energy could be used more efficiently. Lastly, the excellence of the proposed method is verified through performance evaluation.

Formal verification with projection temporal logic

Projection temporal logic(PTL) is an extension of interval temporal logic(ITL) with a new projection operator prj and infinite intervals which has been well investigated in the past ten years.In this paper,we review the work on PTL in four aspects:(1) decidability,complexity and expressiveness of propositional PTL(PPTL);(2) modeling,simulation and verification language(MSVL);(3) formal verification approaches with MSVL and PPTL;and(4) supporting toolkit MSV.

Method study and uncertainty analysis of calibration coefficients validation based on the Inner Mongolia test site

Calibration coefficients validation is the foundation for ascertaining the sensor performance and carrying out the quantitative application.Based on the analysis of the differences between the calibration and validation,two calibration coefficients validation methods were introduced in this paper.Taking the HJ-1A satellite CCD1 camera as an example,the uncertainties of calibration coefficients validation were analyzed.The calibration coefficients validation errors were simulated based on the measured data at an Inner Mongolia test site.The result showed that in the large view angle,the ground directional reflectance variation and the atmospheric path variation were the main error sources in calibration coefficients validation.The ground directional reflectance correction and atmospheric observation angle normalization should be carried out to improve the validation accuracy of calibration coefficients.