Lateral ion implant straggle and mask proximity effect

Lateral scattering of retrograde well implants is shown to have an effect on the threshold voltage of nearby devices. The threshold voltage of both NMOSFETs and PMOSFETs increases in magnitude for conventional retrograde wells, but for triple-well isolated NMOSFETs the threshold voltage decreases for narrow devices near the edge of the well. Electrical data, SIMS, and SUPREM4 simulations are shown that elucidate the phenomenon.     

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.     

The pharmacokinetics and protein-binding of fusidic acid in patients with severe renal failure requiring either haemodialysis or continuous ambulatory peritoneal dialysis

Antibiotic treatment options for Burkholderia cepacia infection are limited because of high intrinsic resistance. The problem is complicated by development of cross-resistance between antibiotics of different classes. We isolated antibiotic-resistant mutants by stepwise exposure to chloramphenicol (Chlor) and to trimethoprim/sulphamethoxazole (T/S) for four B. cepacia strains: ATCC13945, Per (clinical isolate), Cas and D4 (environmental isolates). Chlor(r) mutants did not produce chloramphenicol acetyl-transferase. Cross-resistance, defined as greater than four-fold increase in MIC by microtitre dilution method, was consistently seen in both types of mutants. For chloramphenicol-resistant (Chlor[r]) and trimethoprim/sulphamethoxazole-resistant (Tr/Sr) mutants of B. cepacia ATCC13945 and Cas, no MIC change was seen for piperacillin, ceftazidime, rifampicin, gentamicin, tobramycin, polymyxin B or azithromycin. B. cepacia-Per and -D4 mutants showed cross-resistance to ceftazidime and to piperacillin. Comparison of outer membrane protein (OMP) profiles of B. cepacia and their mutants by SDS-PAGE revealed Tr/Sr) mutants to be deficient in a major OMP (molecular weight 39-47 kDa). Tr/Sr mutants also expressed additional OMPs not found in wild type strains at 75-77 kDa for B. cepacia-ATCC13945 and -Cas, and 20-21 kDa in B. cepacia-D4 and -Per. No OMP changes occurred in Chlor(r) mutants. Lipopolysaccharide (LPS) profiles of each type of mutant showed new high and low molecular weight LPS bands. Cross-resistance seems to be mediated by alterations in porin and LPS for Tr/Sr mutants, but only by LPS in Chlor(r) mutants.