软件内建自测试中模板内容的研究和实现

软件内建自测试是软件测试和可测性设计研究领域中的一个新概念,其思想来源于硬件内建自测试BIST(BuildinSelfTest)。软件内建自测试为程序员提供一套预先设计好的模板,由模板对所编写的程序植入测试信息,实现软件内建自测试以解决软件测试难的问题。模板是软件内建自测试系统的基石,其内容关系到整个系统的性能和效果。具体讨论了模板的实现,根据软件故障模型对代码进行改装,从而减少程序出错的概率,同时为软件内建自测试系统中测试用例的生成提供了更丰富的信息。     

A new hand finger movements’ classification system based on bicoherence analysis of two-channel surface EMG signals

Neural Computing and Applications - In this study, two-channel surface electromyography (sEMG) signals were used to classify hand finger movements. Bicoherence analysis of the sEMG signal recorded...     

Classroom furniture and anthropometric characteristics of Iranian high school students: Proposed dimensions based on anthropometric data

The study evaluated the potential mismatch between classroom furniture dimensions and anthropometric characteristics of 978 Iranian high school students (498 girls, 480 boys), aged 15-18 years. Nine anthropometric measurements (stature, sitting height, sitting shoulder height, popliteal height, hip breadth, elbow-seat height, buttock-popliteal length, buttock-knee length and thigh clearance) and five dimensions from the existing classroom furniture were measured and then compared together (using match criterion equations) to identify any potential mismatch between them. The results indicated a considerable mismatch between body dimensions of the students and the existing classroom furniture, with seat height (60.9%), seat width (54.7%) and desktop height (51.7%) being the furniture dimensions with a higher level of mismatch. The levels of mismatch varied between the high-school grade levels and between genders, indicating their special requirements and possible problems. The proposed dimensions of the classroom furniture more appropriate for the students were given. This additional information on students' anthropometry can be used by local furniture industries as a starting point for designing more appropriate furniture for school children, or used by schools to aid in furniture selection.     

Exact and heuristic algorithms for the aerial refueling parallel machine scheduling problem with due date-to-deadline window and ready times

The Aerial Refueling Scheduling Problem (ARSP) can be defined as determining the refueling completion times for fighter aircrafts (jobs) on multiple tankers (machines) to minimize the total weighted tardiness. ARSP can be modeled as a parallel machine scheduling with ready times and due date-to-deadline window to minimize total weighted tardiness. ARSP assumes that the jobs have different ready times and a due date-to-deadline window between refueling due date and a deadline to return without refueling. In this paper, we first formulate the ARSP as a mixed integer programming model. The objective function is a piece-wise tardiness cost that takes into account due date-to-deadline windows and job priorities. Since ARSP is NP-hard, two heuristics are proposed to obtain solutions in reasonable computation times, namely (1) modified ATC rule (MATC), (2) a simulated annealing method (SA). The proposed heuristic algorithms are tested in terms of solution quality and CPU time through computational experiments with data randomly generated to represent aerial refueling operations of an in-theater air operation. Solutions provided by both algorithms were compared to optimal solutions for problems with up to 12 jobs and to each other for larger problems with up to 60 jobs. The results show that, MATC is more likely to outperform SA especially when the problem size increases, although it has significantly worse performance than SA in terms of deviation from optimal solution for small size problems. Moreover CPU time performance of MATC is significantly better than SA in both cases.     

Neural network-based asymptotic tracking control of unknown nonlinear systems with continuous control command

ABSTRACT

This paper proposes a robust tracking controller for a class of nonlinear second-order systems with time-varying uncertainties. The controller is mainly based on the robust integral of the sign of the error (RISE) control approach to achieve an asymptotic stability result with a continuous control command in the presence of additive uncertainties. An adaptive feedforward neural network control term is blended with a new RISE controller to improve the system's transient performance. The proposed RISE controller is a modified version of the existing saturated RISE controller such that only sign of the derivative of the output is needed. The stability of the closed-loop system is well studied, where a local asymptotic stability is proven. The controller performance is validated through simulations on a two-degree-of-freedom lower limb robotic exoskeleton.     

集中监控系统中软件的设计和实现

实时集中监控系统的实时性、可靠性取决于系统的硬件结构与软件体系结构 ,文中介绍了集中监控系统的结构和实现方案 ,描述了集中监控系统的软件模型 ,阐述了软件的具体设计方法及各软件模块的运行优先级问题。设计体现了集中管理、分散控制的思想 ,运用分布式计算方法 ,在保证集中监控可靠性的同时 ,提高了集中监控的实时性、安全性     

云南脂松香中杂质铝的存在形式研究

采用分级萃取--柱层析法分离除去松香中的树脂酸,得到铝化合物,通过红外光谱分析与对照,确定铝在松香中的存在形式为碱式树脂酸铝,从而为松香除铝技术提供理论依据.     

钻孔水力采矿水枪喷射力试验台的设计

介绍了钻孔水力采矿射流水枪试验台的设计原理,在该试验台上可以模拟水枪在大气中的自由射流、模拟无压流体淹没条件下的射流以及模拟有压流体淹没条件下的射流等.设计的测试系统能对水枪射流能力、不同喷距下的射流打击力、流体流量、压力等参数进行测试.可以准确地衡量不同喷嘴、不同喷距、不同工矿条件下的射流效果.     

仿射子空间最近点分类算法

为了取得更好的识别效果,受支持向量机的几何解释和最近点问题启发,提出了一种新的模式分类算法——仿射子空间最近点算法。该算法是将支持向量机最近点法的最近点搜索区域由两类训练集凸包推广到两类训练样本各自张成的仿射子空间,并以仿射子空间作为样本分布的粗略估计,通过仿射子空间中的最近点对来构造平分仿射子空间间隔的最优分类超平面。该算法在ORL人脸识别数据库上进行的比较实验中取得了较好的识别效果,从而证实了该方法的可行性和有效性。