“Area Without Numbers”: Using Touchscreen Dynamic Geometry to Reason About Shape

Abstract

In this article, we report on two lessons aimed at introducing junior high school students to the idea of shearing in a touchscreen dynamic geometry environment. By using shearing, we hoped to shift students’ attention away from a formula-driven, computational conception of area toward a more geometric one. We found that the students were able to solve several problems involving the comparison of polygons based on verbal and diagrammatic explanations. We describe the features of the touchscreen dynamic geometry technology that supported their learning, as well as the specific role that the teacher played in modeling students’ reasoning about area.     

Map building method for urban gas pipelines based on landmark detection

This paper presents a map building method for an in-pipe robot to navigate inside urban gas pipelines autonomously, whose configuration is unknown or partially known. In the first, we explain the reason why the navigation in the pipeline is difficult and then, present a method for obtaining a robot’s posture by using a pipeline’s unique geometrical features. The robot can obtain its heading direction by detecting the standardized geometries of pipe elements. Based on the method, we propose a robot controller consisting of discrete and continuous controllers. The discrete controller is activated by pre-defined events and generates appropriate paths for exploration. The continuous controller receives the desired path and physically moves the robot to the desired path. The method is implemented in an in-pipe robot, called MRINSPECT-V and its effectiveness is validated.     

Development of a quadruped walking robot AiDIN-III using biologically inspired kinematic analysis

This paper presents a bio-inspired mechanism design for a quadruped walking robot. The approach is derived from the observation on the behaviors of quadruped locomotion, skeletal structure, and the study on the stability of walking based on morphological analysis. In the first, we define the design parameters such as the dimensions of the body and limbs, the center of mass position, and locomotion mechanisms based on surveys on the literatures from biologists. Then, by using the parameters, we propose an useful framework for determining the design parameters of a quadruped walking robot. For implementations, we manufacture a dog-type self-contained quadruped walking robot, named AiDIN-III (Artificial Digitigrade for Natural Environment version III) and the effectiveness of the proposed idea is validated via experimental works.     

A survey on algorithms for mining frequent itemsets over data streams

The increasing prominence of data streams arising in a wide range of advanced applications such as fraud detection and trend learning has led to the study of online mining of frequent itemsets (FIs). Unlike mining static databases, mining data streams poses many new challenges. In addition to the one-scan nature, the unbounded memory requirement and the high data arrival rate of data streams, the combinatorial explosion of itemsets exacerbates the mining task. The high complexity of the FI mining problem hinders the application of the stream mining techniques. We recognize that a critical review of existing techniques is needed in order to design and develop efficient mining algorithms and data structures that are able to match the processing rate of the mining with the high arrival rate of data streams. Within a unifying set of notations and terminologies, we describe in this paper the efforts and main techniques for mining data streams and present a comprehensive survey of a number of the state-of-the-art algorithms on mining frequent itemsets over data streams. We classify the stream-mining techniques into two categories based on the window model that they adopt in order to provide insights into how and why the techniques are useful. Then, we further analyze the algorithms according to whether they are exact or approximate and, for approximate approaches, whether they are false-positive or false-negative. We also discuss various interesting issues, including the merits and limitations in existing research and substantive areas for future research.     

On tests of rate ratio under standard inverse sampling

Inverse sampling suggests one continues to sample subjects until a pre-specified number of rare events of interest is observed. It is generally considered to be more appropriate than the usual binomial sampling when the subjects come sequentially, when the response probability is rare, and when maximum likelihood estimators of some epidemiological measures are undefined under binomial sampling. Reliable but conservative exact conditional procedure for the ratio of the response probabilities of subject without the attribute of interest has been studied. However, such a procedure is inapplicable to the risk ratio (i.e., ratio of the response probabilities of subject with the attribute of interest). In this paper, we investigate various test statistics (namely Wald-type, score and likelihood ratio test statistics) for testing non-unity risk ratio under standard inverse sampling scheme, which suggests one continue to sample until the predetermined number of index subjects with the attributes of interest is observed. Both asymptotic and numerical approximate unconditional methods are considered for P-value calculation. Performance of these test procedures are evaluated under different settings by means of Monte Carlo simulation. In general, the Wald-type test statistic is preferable for its satisfactory and stable performance with approximate unconditional procedures. The methodologies are illustrated with a real example from a heart disease study.     

Single-machine scheduling with deteriorating jobs under a series–parallel graph constraint

This paper considers single-machine scheduling problems with deteriorating jobs, i.e., jobs whose processing times are an increasing function of their starting times. In addition, the jobs are related by a series–parallel graph. It is shown that for the general linear problem to minimize the makespan, polynomial algorithms exist. It is also shown that for the proportional linear problem of minimization of the total weighted completion time, polynomial algorithms exist, too.     

Object illumination angle measurement in speckle interferometry

Errors in measurement of the object illumination angle affect fringe interpretation accuracies in speckle interferometry. To measure the object illumination angle we propose a method based on the moiré effect. The technique is easy to implement and was found to yield fast and accurate measurements.     

White-light reconstruction setup for shearograms using optical-fiber waveguides

A white-light reconstruction setup for shearograms using optical-fiber waveguides is presented. The setup is compact, is not susceptible to dust and scratches, and enables the two-dimensional fringe pattern on shearograms to be viewed directly under uniform and enhanced illumination with minimal image distortion.     

Anatomically constrained electrical impedance tomography for anisotropic bodies via a two-step approach

Discusses the inclusion of anatomical constraints and anisotropy in static Electrical Impedance Tomography (EIT) using a two-step approach to EIT. In the first step, the boundaries between regions of different conductivities are anatomically constrained using Magnetic Resonance Imaging (MRI) data. In the second step, the conductivity values in different regions are determined. Anisotropic conductivity regions are included to allow better modeling of the muscle regions (e.g., skeletal muscle) which exhibit a greater conductivity in the direction parallel to the muscle fiber. This two-step approach is used to reconstruct the conductivity profile of a canine torso, illustrating its potential application in extracting conductivity values for bioelectric modeling.     

Enhanced hydrothermal stability of ZSM-5 formed from nanocrystalline seeds for naphtha catalytic cracking

We successfully synthesized hydrothermally stable ZSM-5 with crystalline nano seeds. We employed a template-free method using ZSM-5 crystalline nano seeds and sodium silicate as a silica source. The prepared ZSM-5 exhibited uniform crystal size and relative crystallinity greater than 100 %. The size of the crystalline nano seed in the scale of 100 nm was found to be the optimum size for obtaining uniform, highly crystalline ZSM-5 with structural stability. After P-modification, the synthesized ZSM-5 with the optimally sized seed showed high hydrothermal stability and improved catalytic naphtha cracking activity compared to a commercial ZSM-5 catalyst. In order to find the elements for the increased hydrothermal stability, the samples were evaluated by studying crystallinity, aluminum spectrum, and acidity using XRD, solid-state NMR, and NH₃-TPD, respectively after steaming at 800 °C for 24 h. It is speculated that the increased hydrothermal stability of the ZSM-5 resulted mainly from the increased aluminum structural stability.