Type inference in stack based languages

We consider a language of operations which pass parameters by means of a stack. An algebra over the set of type signatures is introduced, which allows the type signature of a program to be obtained from the type signatures of its constituent operations.Although the theories apply in principle to any stack based language, they have been evolved with particular regard to the proposed ANSI Standard Forth language, which is currently implemented in a type free manner. We hope this work will stimulate an interest in Forth amongst those applying algebraic techniques in software engineering, and we hope to lay the theoretical foundations for implementing practical type checkers to support Forth.     

Wear in check valves due to flow induced motion

Experiments showing the frequency and amplitude of the flow induced motion of the gate for a 2- and a 4-in. swing check valve have been performed. The gate motion is due to turbulence in approach flow. We have found the dominant turbulent frequency of the approach flow is about half the natural frequency of the valves. The valves appear to be almost critically damped. Because of this, the valves respond almost as they would to a static force of the magnitude characteristic of the turbulent fluctuation in the flow. Both the dimensionless exciting force and the damping ratio have been found to be independent of valve size so the above statements are true for larger valves also. The recommended valve oscillation amplitudes and frequencies are used to calculate the wear at the shaft and at the stop. For an unpegged check valve, such as one of the 10-in. valves which was used at the San Onofre Nuclear Generation Station, it was found that shaft bearing wear would amount to 0.27 in.³/year and stop wear to 0.03 in.³/year.     

Scheduling railway traffic at a construction site

We consider the problem of rescheduling trains in the case where one track of a railway section consisting of two tracks in opposing directions is closed due to construction activities. After presenting an appropriate model for this situation we derive a polynomial algorithm for the subproblem of finding an optimal schedule with minimal latenesss if the subsequences of trains for both directions outside the construction site are fixed. Based on this algorithm we propose a local search procedure for the general problem of finding good schedules and report test results for some real world instances. Received: December 8, 1999 / Accepted: May 2, 2001     

Sexual functioning among breast cancer, gynecologic cancer, and healthy women.

Determined the specific type of sexual functioning deficits and the relationship between global sexual satisfaction and adjustment in 2 related life areas (marital relationship and body image) for 2 groups of cancer patients at high risk for sexual difficulties. The 2 groups included 16 27–67 yr old females with Stage 2 breast cancer and 16 31–65 yr old females with gynecologic cancer. These Ss were compared to 16 healthy female outpatients (controls). Measures included the Sexual Activities scale from the Derogatis Sexual Functioning Inventory, a modified version of the Dyadic Assessment Scale (marital adjustment), a global sexual evaluation, and a body-image scale. Analyses revealed that the aspects of sexual functioning for breast-cancer and gynecologic-cancer Ss that differed from those of controls were the frequency of sexual behaviors and the level of sexual arousal. Whereas Ss' evaluations of their current sexual life had no relationship to their marital-adjustment ratings, analyses suggested that body-image disruption may be a prevalent problem for gynecologic cancer patients. Data suggest that cancer diagnosis and treatment are instrumental in producing reductions in sexual activity and arousability. (34 ref) (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Critical Speed Control of a Solar Car

The World Solar Challenge is a 3000 km race for solar powered cars across the Australian continent from Darwin to Adelaide. Each car is powered by a panel of photovoltaic cells which convert sunlight into electrical power. The power can be used directly to drive the car or stored in a battery for later use. Previous papers (P. Howlett, P. Pudney, T. Tarnopolskaya, and D. Gates, IMA Journal of Mathematics Applied in Business and Industry vol. 8, pp. 59–81, 1997; P.G. Howlett and P.J. Pudney, Dynamics of Continuous, Discrete and Impulsive Systems vol. 4, pp. 553–567, 1998) using a simplified model of the battery, have shown that the optimal strategy is essentially a speedholding strategy. In this paper, with a more realistic model of the battery, we show that the optimal driving strategy is a critical speed strategy. For an optimal journey with no beginning and no ending the solar car must always travel at the critical speed. For an optimal journey of finite length the speed must be close to the critical speed for most of the journey. The critical speed depends on the solar power and will normally vary slowly with time.     

混合信号芯片设计处理关键的转折阶段

通过简单地剪切和粘贴知识产权(IP)内核可以加快无工厂半导体公司的系统级芯片(SOC)设计。 过去十年中,涌现出大量的为系统制造商提供专用芯片(ASIC)的小型IC设计公司。这些被称为无工厂企业(因为他们将IC制造过程转交给商业芯片制造工厂),需要的启动资金较少,而且如果市场接受他们的产品的话,能够获得丰厚的回报。在大量设计工具的支持下,这些无工厂设计企业在历史悠久的大型芯片制造商,如IBM、Intel、Motorola和德州仪器公司所主导的市场中赢得了一席之地。