The Farmer, the Fairies, and the Computers

Using a temporary substitution of format, the author offers a fairy tale to demonstrate that we can’t expect understanding when computers take the place of humans in our interactions with service providers.     

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.