A miniature triaxial apparatus for investigating the micromechanics of granular soils with in situ X-ray micro-tomography scanning

The development of a miniature triaxial apparatus is presented. In conjunction with an X-ray micro-tomography (termed as X-ray μCT hereafter) facility and advanced image processing techniques, this apparatus can be used for in situ investigation of the micro-scale mechanical behavior of granular soils under shear. The apparatus allows for triaxial testing of a miniature dry sample with a size of \mathrm{8}\hspace{0.17em}\mathrm{mm}\times \mathrm{16}\hspace{0.17em}\mathrm{mm} (diameter \times height). In situ triaxial testing of a 0.4–0.8 mm Leighton Buzzard sand (LBS) under a constant confining pressure of 500 kPa is presented. The evolutions of local porosities (i.e., the porosities of regions associated with individual particles), particle kinematics (i.e., particle translation and particle rotation) of the sample during the shear are quantitatively studied using image processing and analysis techniques. Meanwhile, a novel method is presented to quantify the volumetric strain distribution of the sample based on the results of local porosities and particle tracking. It is found that the sample, with nearly homogenous initial local porosities, starts to exhibit obvious inhomogeneity of local porosities and localization of particle kinematics and volumetric strain around the peak of deviatoric stress. In the post-peak shear stage, large local porosities and volumetric dilation mainly occur in a localized band. The developed triaxial apparatus, in its combined use of X-ray μCT imaging techniques, is a powerful tool to investigate the micro-scale mechanical behavior of granular soils.     

A Dual Inhibitor of DYRK1A and GSK3β for β-Cell Proliferation: Aminopyrazine Derivative GNF4877

Loss of β-cell mass and function can lead to insufficient insulin levels and ultimately to hyperglycemia and diabetes mellitus. The mainstream treatment approach involves regulation of insulin levels; however, approaches intended to increase β-cell mass are less developed. Promoting β-cell proliferation with low-molecular-weight inhibitors of dual-specificity tyrosine-regulated kinase 1A (DYRK1A) offers the potential to treat diabetes with oral therapies by restoring β-cell mass, insulin content and glycemic control. GNF4877, a potent dual inhibitor of DYRK1A and glycogen synthase kinase 3β (GSK3β) was previously reported to induce primary human β-cell proliferation in vitro and in vivo. Herein, we describe the lead optimization that lead to the identification of GNF4877 from an aminopyrazine hit identified in a phenotypic high-throughput screening campaign measuring β-cell proliferation.     

PLC-RF diversity: channel outage analysis

Telecommunication Systems - Signals from indoor access points in a wireless fidelity suffer from high attenuation as a result of the thick walls and metal structures in the multilevel-storey...     

The Intellectual Development of Science and Engineering Students. Part 2: Teaching to Promote Growth

As college students experience the challenges of their classes and extracurricular activities, they undergo a developmental progression in which they gradually relinquish their belief in the certainty of knowledge and the omniscience of authorities and take increasing responsibility for their own learning. At the highest developmental level normally seen in college students (which few attain before graduation), they display attitudes and thinking patterns resembling those of expert scientists and engineers, including habitually and skillfully gathering and analyzing evidence to support their judgments. This paper proposes an instructional model designed to provide a suitable balance of challenge and support to advance students to that level. The model components are (1) variety and choice of learning tasks; (2) explicit communication and explanation of expectations; (3) modeling, practice, and constructive feedback on high‐level tasks; (4) a student‐centered instructional environment; and (5) respect for students at all levels of development.     

Reducing cycle times in manufacturing and supply chains by input and service rate smoothing

A key performance parameter of a manufacturing network or supply chain is its cycle time; the time that a typical item spends in the network. A previous simulation study on a semiconductor assembly and test facility showed that cycle times could be reduced by having smooth input and service rates. This suggested that there is a “cycle time principle” that, for a system with a specified throughput or input rate, the shortest cycle times are obtained when the input and service rates do not vary over time. We prove that this principle is true for the M/G/1 and M/M/s queueing systems and Jackson networks. The analysis involves establishing several results on the concavity of waiting time probabilities and the convexity of expected waiting times and queue lengths, as functions of input and service rates. These results also have natural uses in other optimization problems.     

可重定位的基于事务的系统级验证

功能验证已经成为开发SoC的主要问题。随着一些复杂SoC的规模超过两千万门，以及对开发和集成嵌入式软件的需求持续增加，软件模拟器已经力所不及。在设计过程需要几百万个时钟周期来充分测试和验证软件功能的情况下，软件仿真器的性能下降到1-5Hz。按照这种速率，软件调试需要几年的时     

Test Case Generation as an AI Planning Problem

While Artificial Intelligence techniques have been applied to a variety of software engineering applications, the area of automated software testing remains largely unexplored. Yet, test cases for certain types of systems (e.g., those with command language interfaces and transaction based systems) are similar to plans. We have exploited this similarity by constructing an automated test case generator with an AI planning system at its core. We compared the functionality and output of two systems, one based on Software Engineering techniques and the other on planning, for a real application: the StorageTek robot tape library command language. From this, we showed that AI planning is a viable technique for test case generation and that the two approaches are complementary in their capabilities.     

MANAGING DISTRIBUTED COMPUTING Five Practices for Success

Management of distributed environments requires corporate IS managers to shift from being operators of a central utility to facilitators who can recognize the synergy among loosely related groups of users. Success depends on the development of new ways of visualizing and measuring the service delivery process.