Life is pleasant--and memory helps to keep it that way!

People's recollections of the past are often positively biased. This bias has 2 causes. The 1st cause lies in people's perceptions of events. The authors review the results of several studies and present several new comparative analyses of these studies, all of which indicate that people perceive events in their lives to more often be pleasant than unpleasant. A 2nd cause is the fading affect bias: The affect associated with unpleasant events fades faster than the affect associated with pleasant events. The authors review the results of several studies documenting this bias and present evidence indicating that dysphoria (mild depression) disrupts such bias. Taken together, this evidence suggests that autobiographical memory represents an important exception to the theoretical claim that bad is stronger than good. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

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。按照这种速率，软件调试需要几年的时     

Verbal Representation and Therapeutic Change in Anaclitic and Introjective Inpatients.

This study examined the relation between changes in clinical functioning and changes in verbal expression in 81 seriously disturbed and treatment-resistant young adults seen in a comprehensive, psychoanalytically oriented inpatient treatment. Clinical functioning was evaluated with a battery of clinical and social measures. Verbal representations were assessed using computer-assisted scoring of Thematic Apperception Test responses. Changes in the frequency of verbal content and style in the narratives of these patients covaried with changes in clinical functioning. Significantly different covariations of verbal and clinical change, particularly differences in covariates of referential activity, were found for patients with anaclitic versus introjective personality configurations. The implications of these findings for understanding and treating severe psychopathology are discussed. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Viral dynamics of primary viremia and antiretroviral therapy in simian immunodeficiency virus infection

Mathematical modeling of viral replication dynamics, based on sequential measurements of levels of virion-associated RNA in plasma during antiretroviral treatment, has led to fundamental new insights into human immunodeficiency virus type 1 pathogenesis. We took advantage of the simian immunodeficiency virus (SIV)-infected macaque model to perform detailed measurements and mathematical modeling during primary infection and during treatment of established infection with the antiretroviral drug (R)-9-(2-phosphonylmethoxypropyl)adenine (PMPA). The calculated clearance half-life for productively infected cells during resolution of the peak viremia of primary infection was on the order of 1 day, with slightly shorter clearance half-lives calculated during PMPA treatment. Viral reproduction rates upon discontinuation of PMPA treatment after 2 weeks were approximately twofold greater than those obtained just prior to initiation of treatment in the same animals, likely reflecting accumulation of susceptible target cells during treatment. The basic reproductive ratio (R0) for the spread of SIV infection in vivo, which represents the number of productively infected cells derived from each productively infected cell at the beginning of infection, was also estimated. This parameter quantifies the extent to which antiviral therapy or vaccination must limit the initial spread of virus to prevent establishment of chronic disseminated infection. The results thus provide an important guide for efforts to develop vaccines against SIV and, by extension, human immunodeficiency virus.     

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.     

Scheduling DAG's for asynchronous multiprocessor execution

A new approach is given for scheduling a sequential instruction stream for execution “in parallel” on asynchronous multiprocessors. The key idea in our approach is to exploit the fine grained parallelism present in the instruction stream. In this context, schedules are constructed by a careful balancing of execution and communication costs at the level of individual instructions, and their data dependencies. Three methods are used to evaluate our approach. First, several existing methods are extended to the fine grained situation. Our approach is then compared to these methods using both static schedule length analyses, and simulated executions of the scheduled code. In each instance, our method is found to provide significantly shorter schedules. Second, by varying parameters such as the speed of the instruction set, and the speed/parallelism in the interconnection structure, simulation techniques are used to examine the effects of various architectural considerations on the executions of the schedules. These results show that our approach provides significant speedups in a wide-range of situations. Third, schedules produced by our approach are executed on a two-processor Data General shared memory multiprocessor system. These experiments show that there is a strong correlation between our simulation results, and these actual executions, and thereby serve to validate the simulation studies. Together, our results establish that fine grained parallelism can be exploited in a substantial manner when scheduling a sequential instruction stream for execution “in parallel” on asynchronous multiprocessors     

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.     

Effect of Freezer Programs on Real-Time Storage Results of Dissolution Profiles

Carstensen and Rhodes¹ have suggested that when, in stability programs, assays cannot be performed immediately after the protocol-designated storage time, then freezing them until such a time when assays can be performed would be a reasonable manner to retain the protocol schedule. They caution, however, that such a procedure may not be valid for dissolution data. The article to follow deals with real-time data showing that such a process is feasible for Nalidixic Acid tablets (and presumably for other tablets as well), and that, furthermore, the dissolution pattern would seem to be “frozen” as well.