智能功率控制产品的设计

构建和维护合适的功率环境对系统的正确运行非常关键。对功率的控制和管理越来越受到重视，无论是简单的手持式便携设备，还是多服务器机架系统，都希望能够节省能耗、降低成本。     

Editorial: Special Issue on “Texture Analysis and Synthesi”

International Journal of Computer Vision -     

Formal methods: The next generation of system design tools

Because of the growing demand for increasingly complex computer-based systems there is now an urgent need to provide tools to assist during the design of such systems. Formal specifications and formal methods provide such assistance but their widespread adoption has been hindered by the so-called ‘math fear’ and the perception that the tools are too difficult, too time consuming and too costly to use in a commercial environment. The aim of this article is to dispel the mystery surrounding the topic and to explain what formal methods are, how and why they are used, the benefits that accrue and why the technology should be accepted on a broader front. The application of formal methods to the design of computer-based systems will be discussed without resorting to jargon or mathematics. The discussion will concentrate more on the software content of systems but the arguments apply equally well to hardware. Some of the available tools will also be introduced.     

Prediction of higher heating values for saturated fatty acids from their physical properties

Higher heating values (HHVs) of fatty acids (C₄–C₁₈) were measured and correlated using linear least square regression analysis. Equations were developed for the estimation of the HHVs of saturated fatty acids from their molecular weight (Mw), density (DN) and carbon number (CN). These equations are HHV = 0.0518 Mw + 29.76, HHV = −93.4 DN + 122.67 and HHV = 0.7271 CN + 31.419 with R² values of 0.9895, 0.9798, and 0.9895, respectively. The correlations may be used for HHV estimation of mixtures of fatty acids developed from vegetable oils.     

Effects of a single dose of N-Acetyl-5-methoxytryptamine (Melatonin) and resistance exercise on the growth hormone/IGF-1 axis in young males and females

Melatonin and resistance exercise alone have been shown to increase the levels of growth hormone (GH). The purpose of this study was to determine the effects of ingestion of a single dose of melatonin and heavy resistance exercise on serum GH, somatostatin (SST), and other hormones of the GH/insulin-like growth factor 1 (IGF-1) axis. Physically active males (n = 30) and females (n = 30) were randomly assigned to ingest either a melatonin supplement at 0.5 mg or 5.0 mg, or 1.0 mg of dextrose placebo. After a baseline blood sample, participants ingested the supplement and underwent blood sampling every 15 min for 60 min, at which point they underwent a single bout of resistance exercise with the leg press for 7 sets of 7 reps at 85% 1-RM. After exercise, participants provided additional blood samples every 15 min for a total of 120 min. Serum free GH, SST, IGF-1, IGFBP-1, and IGFBP-3 were determined with ELISA. Data were evaluated as the peak pre- and post-exercise values subtracted from baseline and the delta values analyzed with separate three-way ANOVA (p < 0.05). In males, when compared to placebo, 5.0 mg melatonin caused GH to increase (p = 0.017) and SST to decrease prior to exercise (p = 0.031), whereas both 0.5 and 5.0 mg melatonin were greater than placebo after exercise (p = 0.045) and less than placebo for SST. No significant differences occurred for IGF-1; however, males were shown to have higher levels of IGFBP-1 independent of supplementation (p = 0.004). The 5.0 mg melatonin dose resulted in higher IGFBP-3 in males (p = 0.017). In conclusion, for males 5.0 mg melatonin appears to increase serum GH while concomitantly lowering SST levels; however, when combined with resistance exercise both melatonin doses positively impacts GH levels in a manner not entirely dependent on SST.     

Mesh-free canonical tensor products for six-dimensional density matrix: computation of kinetic energy

The computation of a six-dimensional density matrix is the crucial step for the evaluation of kinetic energy in electronic structure calculations. For molecules with heavy nuclei, one has to consider a very refined mesh in order to deal with the nuclear cusps. This leads to high computational time and needs huge memory for the computation of the density matrix. To reduce the computational complexity and avoid discretization errors in the approximation, we use mesh-free canonical tensor products in electronic structure calculations. In this paper, we approximate the six-dimensional density matrix in an efficient way and then compute the kinetic energy. Accuracy is examined by comparing our computed kinetic energy with the exact computation of the kinetic energy.     

The Sadeian interface: computers and catharsis

This paper explores the limitations of contemporary interface design and offers the potential of more profound forms of interaction by drawing on the rich and much older heritage of interactive art. Whilst HCI design is preoccupied with making the computer more simple to use, installation work, kinetic sculpture, and interactive multimedia art forms have generally been more concerned with the predicament of human/technological negotiation, whilst remaining a salient form of human communication. HCI activity sets out to make the complex systems of computing easy to understand and use, whilst interactive art often uses simple technology to make complex, inspiring and esoteric statements and experiences. In many ways the more simple and 'low resolution' the technology the more immersive, acute and intimate the experience. 'Low resolution' examples such as telephone-sex-lines are explored alongside more immersive systems, such as biofeedback interfaces, and other interactive experiments drawn from the 'technic' strand of art history.     

Drought Severity Assessment Based on Bivariate Probability Analysis

Conventionally drought severity is assessed based on drought indices. Recently the Reconnaissance Drought Index (RDI) was proposed to assess drought severity based on the precipitation to potential evapotranspiration ratio (P/PET). In this paper RDI is studied as a bivariate index under a set of assumptions and simplifications. The paper presents a simple computational procedure for estimating the P/PET ratio for selected reference periods varying from 3 to 12 months, for any return period of drought. Alternatively, based on this procedure, the severity of any drought episode is rationally assessed. A bivariate probability analysis is employed based on the assumption that P and PET values are normally distributed and often negatively correlated. Examples for the application of the proposed procedure are presented using data from several meteorological stations in Greece. It is shown that the assumption of normality of both P and PET holds for long periods at all examined stations.