Experimental study on the time-dependent dynamic mechanical behaviour of C60 concrete under

To study the dynamic mechanical behavior of C60 concrete at high temperatures, impact tests under different steady-state temperature fields (100, 200, 300, 400 and 500.℃) were conducted under a variety of durations at the corresponding constant high temperature, namely 0, 30, 60, 90 and 120.min, employing split Hopkinson pressure bar (SHPB) system. In addition, the impact tests were also conducted on the specimens cooled from the high temperature to the room temperature and the specimen under room temperature. From the analysis, it is found that C60 concrete has a time-dependent behavior under high-temperature environment. Under 100, 200, 300, 400 and 500.℃ steady-state temperature fields respectively, as the duration at the corresponding constant high temperature increases, the dynamic compressive strength and the elastic modulus decrease but the peak strain generally ascends. After cooling to the room temperature, the dynamic compressive strength and the elastic modulus descend as well, but the peak strain increases first and then decreases slightly, when the duration increases. For specimens under and cooled from the high-temperature, as the temperature increases, the dynamic compressive strength and the peak strain raise first and then reduce gradually,and the dynamic compressive strength of specimen under high temperature is higher than that of the specimen cooled from the same high temperature.     

Gender Differences in Mouse and Cursor Movements

Computer cursor and mouse activities such as moving, pointing, selecting, and dragging are essential parts of everyday interactions. Yet it is unknown how men and women differ in the way they move computer cursors. This study examines gender differences in movements of computer cursors. In one experiment, the authors measured trajectories of computer cursors every 20 ms in a simple choice-reaching task and tested the extent to which movement features related to controlling and targeting diverge between male and female participants. Results showed significant gender differences in cursor motions. Female participants deviated from the straight path toward the target location to a larger degree than did male participants, and female participants showed more backward motions (deviating backward from the target location) than did male participants. Implications for sources of these gender differences, user interface and input device design, and musculoskeletal disorders in women are also discussed.     

Ontogenetic changes in pharyngeal morphology correlate with a diet shift from arthropods to dreissenid mussels in round gobies (Neogobius melanostomus)

The potential of predators to regulate populations of dreissenid mussels (Dreissena polymorpha and Dreissena rostriformis bugensis) has been addressed since early in the dreissenid invasion of North America. Round gobies (Neogobius melanostomus) larger than approximately 60 mm have been shown to prey extensively on dreissenids, whereas smaller round gobies feed mainly on aquatic insects and crustaceans. We propose that ontogenetic changes in pharyngeal morphology may contribute to this diet shift in round gobies. Pharyngeals of 69 round gobies ranging from 31 to 164 mm total length were investigated using light microscopy and scanning electron microscopy. Areas of lower pharyngeals and pharyngobranchial 2 increased allometrically with fish length. Pharyngeals of round gobies smaller than 50 mm contained narrow (< 0.1 mm diameter) papilliform teeth that are consistent with eating soft-bodied prey. By the time round gobies reached approximately 80 mm in length, pharyngeals contained larger diameter (0.3-0.5 mm) molariform teeth typical of those found in molluscivorous fish. Pharyngeal teeth of the largest round gobies also showed considerable wear. Although changes in pharyngeal morphology may contribute to the previously described diet shift in round gobies as they age, genetic and environmental factors both likely influence pharyngeal remodeling and therefore merit further investigation.     

A tree-covering problem arising in integrity of tree-structured data

We introduce and solve a problem motivated by integrity verification in third-party data distribution: Given an undirected tree, find a minimum-cardinality set of simple paths that cover all the tree edges and, secondarily, have smallest total path lengths. We give a linear time algorithm for this problem.     

A model-based approximate λ-policy iteration approach to online evasive path planning and the video game Ms. Pac-Man

This paper presents a model-based approximate λ-policy iteration approach using temporal differences for optimizing paths online for a pursuit-evasion problem, where an agent must visit several target positions within a region of interest while simultaneously avoiding one or more actively pursuing adversaries. This method is relevant to applications, such as robotic path planning, mobile-sensor applications, and path exposure. The methodology described utilizes cell decomposition to construct a decision tree and implements a temporal difference-based approximate λ-policy iteration to combine online learning with prior knowledge through modeling to achieve the objectives of minimizing the risk of being caught by an adversary and maximizing a reward associated with visiting target locations. Online learning and frequent decision tree updates allow the algorithm to quickly adapt to unexpected movements by the adversaries or dynamic environments. The approach is illustrated through a modified version of the video game Ms. Pac-Man, which is shown to be a benchmark example of the pursuit-evasion problem. The results show that the approach presented in this paper outperforms several other methods as well as most human players.     

Animatronic shader lamps avatars

Applications such as telepresence and training involve the display of real or synthetic humans to multiple viewers. When attempting to render the humans with conventional displays, non-verbal cues such as head pose, gaze direction, body posture, and facial expression are difficult to convey correctly to all viewers. In addition, a framed image of a human conveys only a limited physical sense of presence—primarily through the display’s location. While progress continues on articulated robots that mimic humans, the focus has been on the motion and behavior of the robots rather than on their appearance. We introduce a new approach for robotic avatars of real people: the use of cameras and projectors to capture and map both the dynamic motion and the appearance of a real person onto a humanoid animatronic model. We call these devices animatronic Shader Lamps Avatars (SLA). We present a proof-of-concept prototype comprised of a camera, a tracking system, a digital projector, and a life-sized styrofoam head mounted on a pan-tilt unit. The system captures imagery of a moving, talking user and maps the appearance and motion onto the animatronic SLA, delivering a dynamic, real-time representation of the user to multiple viewers.     

Free-living inferential modeling of blood glucose level using only noninvasive inputs

The goal of this work is to present a causation modeling methodology with the ability to accurately infer blood glucose levels using a large set of highly correlated noninvasive input variables over an extended period of time. These models can provide insight to improve glucose monitoring, and glucose regulation through advanced model-based control technologies. The efficacy of this approach is demonstrated using real data from a type 2 diabetic (T2D) subject collected under free-living conditions over a period of 25 consecutive days. The model was identified and tested using eleven variables that included three food variables as well as several activity and stress variables. The model was trained using 20 days of data and validated using 5 days of data. This gave a fitted correlation coefficient of 0.70 and an average absolute error (AAE) (i.e., the average of the absolute values for the measured glucose concentration minus modeled glucose concentration) of 13.3 mg/dL for the validation data. This AAE result was significantly better than the subject’s personal glucose meter AAE of 15.3 mg/dL for replicated measurements.     

Green laser sources optimized for highly efficient microdisplay‐based field‐sequential mobile projectors

Abstract— A novel green laser source, based on a monolithic cavity microchip laser platform, has been developed. The laser is designed to be a part of a miniature and efficient RGB light source for microdisplay‐based mobile projector devices. The use of highly efficient, periodically poled MgO‐doped lithium niobate as the non‐linear frequency doubler allows for a significant increase in the overall efficiency of the green microchip laser. Specifically, a 50–150‐mW green output with a wall‐plug efficiency exceeding 10% in the temperature range of greater than 40°C has been demonstrated. A compact package for this laser source with a volume less than 0.33 cm³ is discussed and results of performance tests are presented.     

Fluid Simulation with Articulated Bodies

We present an algorithm for creating realistic animations of characters that are swimming through fluids. Our approach combines dynamic simulation with data-driven kinematic motions (motion capture data) to produce realistic animation in a fluid. The interaction of the articulated body with the fluid is performed by incorporating joint constraints with rigid animation and by extending a solid/fluid coupling method to handle articulated chains. Our solver takes as input the current state of the simulation and calculates the angular and linear accelerations of the connected bodies needed to match a particular motion sequence for the articulated body. These accelerations are used to estimate the forces and torques that are then applied to each joint. Based on this approach, we demonstrate simulated swimming results for a variety of different strokes, including crawl, backstroke, breaststroke, and butterfly. The ability to have articulated bodies interact with fluids also allows us to generate simulations of simple water creatures that are driven by simple controllers.     

Hume box calculus: robust system development through software transformation

Hume is a contemporary programming language oriented to systems with strong resource bounds, based on autonomous concurrent “boxes” interacting across “wires”. Hume’s design reflects the explicit separation of coordination and computation aspects of multi-process systems, which greatly eases establishing resource bounds for programs. However, coordination and computation are necessarily tightly coupled in reasoning about Hume programs. Furthermore, in Hume, local changes to coordination or computation, while preserving input/output correctness, can have profound and unforeseen effects on other aspects of programs such as timing of events and scheduling of processes. Thus, traditional program calculi prove inappropriate as they tend to focus exclusively either on the coordination of interacting processes or on computation within individual processes.