快速检验技术在自制炸药爆炸事故现场勘查中的应用

针对自制炸药爆炸事故造成人员伤亡、财产损失巨大,社会影响恶劣的情况,采用红外光谱法(IR)和拉曼光谱法(Raman)等快速检验技术对爆炸现场的遗留物、残留物和抛散物等进行检验、初步定性和来源推断。通过一起自制炸药爆炸事故的现场勘查和物证临场快速检验,实现了对自制炸药主要组分的快速推断和爆炸现场重建,并对爆炸事故原因进行了分析判定,可为同类爆炸事故现场快速勘验和原因分析提供借鉴,对提升爆炸事故现场勘查效率,实现爆炸事故原因快速认定具有重要的应用价值,并对查清犯罪事实,打击犯罪和维护社会稳定有着重要的作用。     

新测试方式下非计算机专业程序设计课程教学探讨

原有教学法在学生实际编程能力上机考试方面存在局限,为适应新的测试方式所带来的教学方法与教学理念的变化,本文结合本校实际,对如何激发与保持学生的学习积极性、实现抽象与模型化的跨越、培养学生的计算思维能力、合理组织实验教学进行探讨,并对实验过程进行监督与综合评价。     

A level set method based on the Bayesian risk for medical image segmentation

This paper proposes an alternative criterion derived from the Bayesian risk classification error for image segmentation. The proposed model introduces a region-based force determined through the difference of the posterior image densities for the different classes, a term based on the prior probability derived from Kullback-Leibler information number, and a regularity term adopted to avoid the generation of excessively irregular and small segmented regions. Compared with other level set methods, the proposed approach relies on the optimum decision of pixel classification and the estimates of prior probabilities; thus the approach has more reliability in theory and practice. Experiments show that the proposed approach is able to extract the complicated shapes of targets and robust for various types of medical images. Moreover, the algorithm can be easily extendable for multiphase segmentation.     

Confidence intervals for dependent data: Equating non-overlap with statistical significance

We revisit the problem of determining confidence interval widths for the comparison of means. For the independent two-sample (two-sided) case, Goldstein and Healy (1995) draw attention to the fact that comparisons based on 95% error bars are not very effective in assessing the statistical significance of the difference in means and derive the correct confidence interval for such a comparison. We provide an extension to Goldstein and Healy (1995) to account for the correlation structure and unequal variances. We use the results to develop rules of thumb for evaluating differences, in an exploratory manner, like Moses (1987) and Cumming (2009), from the independent case. We illustrate the method for the simple comparison of two means in a real data set, provide R code that may be easily implemented in practice, and discuss the extension of the method to other applied problems.     

微机原理与应用课程改革与实践

为适应新技术对信息化人才培养要求,在分析微机原理与应用课程特点及教学状况的基础上,从教学目标、教学内容入手,阐述微机原理与应用课程改革思路和方法,从适应科技发展的角度,提出调整课程教学内容,构建微机原理与应用多媒体及网络教学平台系统,改革课程考试方式。     

一种可行的可用性测试过程

文章综述用户模型法、用户调查法、专家评审法和观察法4类可用性测试方法,根据可用性测试的经验,总结出一套合理实用的可用性测试过程,使得可用性测试的效率高、代价低,尽可能发现更多的可用性问题;提出在程序设计类课程的教学中,应适当向学生介绍可用性测试的方法和过程,以培养学生对自己开发的软件系统进行可用性测试的能力。     

Models to predict the deformation modulus and the coefficient of subgrade reaction for earth filling structures

Determination of deformation modulus and coefficient of subgrade reaction of soils have major importance, whether the projects are in design, and construction or compaction assessment stage of earth filling structures. Plate load test is one of the frequently used method to directly determine the parameters but the method is both costly and time consuming. For this reason, this paper is concerned with the applications of artificial neural networks (ANN) and simple-multiple regression analysis to predict deformation modulus and coefficient of subgrade reaction of compacted soils from compaction parameters (such as maximum dry density (MDD) and optimum moisture content (OMC), field dry density (FDD), and field moisture content (FMC)). Regression analysis and artificial neural network estimation indicated that there are acceptable correlations between deformation modulus and coefficient of subgrade reaction and these parameters. Artificial neural networks model exhibits higher performance than traditional statistical model for predicting deformation modulus and coefficient of subgrade reaction.     

Applying eco-visualisations of different interface formats to evoke sustainable behaviours towards household water saving

The shortage of water resources is a global issue. This study attempts to utilise eco-visualisation interface design to affect users’ water-usage behaviour. Three interface proposals were designed in this study: numeric, water droplet (abstract symbol), and swimming fish (animated image). These three different interface formats range from abstract to figurative and from neutral to affective. A total of 93 subjects were divided into three groups and randomly performed designated dishwashing tasks twice. One of the tasks was completed without the assistance of any interface, whereas the other involved applying one of the three interface formats with eco-visualisations. In this study, the Self-Assessment Manikin scales, the System Usability Scale, and the Questionnaires for User Interaction Satisfaction were used to measure the emotional dimensions and perceived usability and to record the differences in water usage volume. The results indicated that the emotional valence evoked by the animated image interface was significantly higher than that by the numeric interface. The effect of the numeric interface formats on the subjects focused on emotional arousal, whereas other interfaces emphasised emotional valence. With the aid of the eco-visualisations of interface design, the evoked emotional response and enhanced usability could help improve sustainable behaviours towards water saving.     

现代密码学上的弹性函数综述

本文介绍了在容错分布、量子密码学中的密钥分配以及流密码中的随机序列产生等领域都有着广泛应用的一类多输出布尔函数——弹性函数。弹性函数和0,1上多维空间的正交分划(一个正交矩阵组)是一致的。在此基础上,介绍了弹性函数的正交分划的递归构造方法和简单计数。     

Sparse shape functions for tetrahedral <Emphasis Type="Italic">p</Emphasis>-FEM using integrated Jacobi polynomials

Summary In this paper, we investigate the discretization of an elliptic boundary value problem in 3D by means of the hp-version of the finite element method using a mesh of tetrahedrons. We present several bases based on integrated Jacobi polynomials in which the element stiffness matrix has nonzero entries, where p denotes the polynomial degree. The proof of the sparsity requires the assistance of computer algebra software. Several numerical experiments show the efficiency of the proposed bases for higher polynomial degrees p.