《全球报道3》：全球模拟、电源、系统和IC设计

2004年,我们考虑将全球报道作为每年的一项工作,它将使我们能充分利用我们在全球的编辑资源,并以我们的文章为全球读者服务。读者似乎很欣赏创刊版和2005版,因此我们现在提供第三期年度报道。全世界的工程师都面临着按照国际标准和规定来做设计,其工作的全球市场潜力等全球性问题。我们相信:您将会发现《全球报道3》在这两方面都会给予您启发。今年,我们的全球报道侧重于各种围绕四个设计领域的全球性问题。模拟设计,电源系统设计,基于微处理器的设计、芯片设计。本期全球报道都包含一篇针对上述每个领域的基础文章。此外,每个部分都包含若干篇附文,用其它学科、产品和应用的相关信息来实现全面覆盖,例如测试、可编程逻辑和无线通信。     

Satellite-Based Energy Balance to Assess Within-Population Variance of Crop Coefficient Curves

Quantifying evapotranspiration (ET) from agricultural fields is important for field water management, water resources planning, and water regulation. Traditionally, ET from agricultural fields has been estimated by multiplying the weather-based reference ET by crop coefficients (Kc) determined according to the crop type and the crop growth stage. Recent development of satellite remote sensing ET models has enabled us to estimate ET and Kc for large populations of fields. This study evaluated the distribution of Kc over space and time for a large number of individual fields by crop type using ET maps created by a satellite based energy balance (EB) model. Variation of Kc curves was found to be substantially larger than that for the normalized difference vegetation index because of the impacts of random wetting events on Kc, especially during initial and development growth stages. Two traditional Kc curves that are widely used in Idaho for crop management and water rights regulation were compared against the satellite-derived Kc curves. Simple adjustment of the traditional Kc curves by shifting dates for emergence, effective full cover, and termination enabled the traditional curves to better fit Kc curves as determined by the EB model. Applicability of the presented techniques in humid regions having higher chances of cloudy dates was discussed.     

A look at public key certificates

Many Internet applications use public key technology for security purposes. These applications (i.e. World Wide Web protocols, Internet protocol security, digital signatures, user authentication and E-mail) require a public key infrastructure (PKI) to securely manage public encryption keys for widely distributed users or systems.¹ The use of public key technology requires that the user of a public key be confident that the public key belongs to the correct remote subject (i.e. person or system) with which the encryption mechanism will be used.² This confidence is obtained through the use of public key certificates.²     

Differential Responses to Sigma-1 or Sigma-2 Receptor Ablation in Adiposity,Fat Oxidation,and Sexual Dimorphism

Obesity is increasing at epidemic rates across the US and worldwide, as are its co-morbidities, including type-2 diabetes and cardiovascular disease. Thus, targeted interventions to reduce the prevalence of obesity are of the utmost importance. The sigma-1 receptor (S1R) and sigma-2 receptor (S2R; encoded by Tmem97) belong to the same class of drug-binding sites, yet they are genetically distinct. There are multiple ongoing clinical trials focused on sigma receptors, targeting diseases ranging from Alzheimer’s disease through chronic pain to COVID-19. However, little is known regarding their gene-specific role in obesity. In this study, we measured body composition, used a comprehensive laboratory-animal monitoring system, and determined the glucose and insulin tolerance in mice fed a high-fat diet. Compared to Sigmar1+/+ mice of the same sex, the male and female Sigmar1−/− mice had lower fat mass (17% and 12% lower, respectively), and elevated lean mass (16% and 10% higher, respectively), but S1R ablation had no effect on their metabolism. The male Tmem97−/− mice exhibited 7% lower fat mass, 8% higher lean mass, increased volumes of O₂ and CO₂, a decreased respiratory exchange ratio indicating elevated fatty-acid oxidation, and improved insulin tolerance, compared to the male Tmem97+/+ mice. There were no changes in any of these parameters in the female Tmem97−/− mice. Together, these data indicate that the S1R ablation in male and female mice or the S2R ablation in male mice protects against diet-induced adiposity, and that S2R ablation, but not S1R deletion, improves insulin tolerance and enhances fatty-acid oxidation in male mice. Further mechanistic investigations may lead to translational strategies to target differential S1R/S2R regulations and sexual dimorphism for precision treatments of obesity.     

Preface: Volume 70, Issue 3

This volume contains the Proceedings of the REFINE 2002 workshop. The Workshop was held in Copenhagen, Denmark on July 20 and 21, 2002, as a satellite event to FLoC'02 as an FME-affiliated workshop.Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is the process of developing a more detailed design or implementation from an abstract specification through a sequence of mathematically-based steps that maintain correctness with respect to the original specification.The aim of this BCS FACS refinement workshop was to bring together people who are interested in the development of more concrete designs or executable programs from abstract specifications using formal notations, tool support for formal software development, and practical experience with formal refinement methodologies.The purpose of the workshop was to provide a forum for discussion of common ground and key differences. Topics of interest included:

• Simulation techniques

• Foundations and semantics

• Case studies (specification and verification)

• Compositional and modular reasoning

• Object-orientation

• Time

• Specification notations

• Programming models

• Verification and tool support

The workshop continued a long tradition of refinement workshops run under the auspices of the British Computer Society (BCS) FACS special interest group. Running since 1988, previous refinement workshops have been held at Cambridge, London, Bath etc.In 1998 the BCS refinement workshop was combined with the Australasian Refinement Workshop to form the International Refinement Workshop, hosted at alongside Formal Methods Pacific 1998 at The Australian National University.The papers in this volume were reviewed by a small program committee consisting of

•

John Derrick<

jd1@ukc.ac.uk

, University of Kent, UK.

•

Eerke Boiten<

eab2@ukc.ac.uk

, University of Kent, UK.

•

Jim Woodcock<

jcpw@ukc.ac.uk

, University of Kent, UK.

•

Joakim von Wright<

jockum.wright@abo.fi

, Åbo Akademi University, Finland

Additional information about the Workshop can be found at: http://www.cs.ukc.ac.uk/people/staff/eab2/refine/floc.htmlThis volume will be published as volume 70 issue 3 in the series Electronic Notes in Theoretical Computer Science (ENTCS). This series is published electronically through the facilities of Elsevier Science B.V. and its auspices. The volumes in the ENTCS series can be accessed at the URLhttp://www.elsevier.nl/locate/entcsA printed version of the current volume was distributed to the participants at the workshop in Denmark.We are very grateful to the following persons, whose help has been crucial for the success of REFINE 2002: Lars-Henrik Eriksson and Peter Lindsay of FME for their help with the organization of the Workshop as satellite event of FLoC'02 and an FME affiliated workshop; Mike Mislove, one of the Managing Editors of the ENTCS series, for his assistance with the use of the ENTCS style files. Thanks are also due to the Computing Laboratory of the University of Kent, which supplied financial support to cover the printing costs.July 24, 2002John Derrick     

Factors influencing the national distribution of polycyclic aromatic hydrocarbons and polychlorinated biphenyls in British soils

The polycyclic aromatic hydrocarbons (PAHs) naphthalene, acenaphthylene, acenaphthene, fluorene, fluoranthene, pyrene, benzo[a]anthracene, chrysene, benzo[b]fluoranthene, benzo[k]fluoranthene, benzo[a]pyrene, ideno[1,2,3,-cd]-pyrene, dibenz[a,h]anthracene, benzo[g,h,i]perylene and the polychlorinated biphenyls (PCBs) 8, 18, 28, 29, 31, 52, 77, 101, 105, 114, 118, 123, 126, 128, 138, 141, 149, 153, 156, 157, 163, 169, 170, 171, 180, 183, 187, 189, 194, 199, 201, 206, and 209 were measured in -200 rural soils across Great Britain (GB). Dominance of soil PAH profiles by heavier compounds (4-6 rings) provided initial evidence for the importance of source in governing soil PAH concentrations. No relationship was found between soil organic matter (SOM) and sum concentration of total and "heavy" PAHs, although there was a weak positive relationship with lighter compounds. A spatial statistical technique showed that highest soil PAH concentrations were usually found close to industrial/urban centers where presumably source intensity is highest. PCBs clustered into seven groups, five of which contained a single "dioxin like" PCB, one contained lighter congeners (2-4 chlorines), and one contained heavy congeners (5-10 chlorines). Linear regressions with SOM explained up to 24.3% of variation for the sum concentration of penta- to deca- congeners, but <1% for the lighter congener groups. No significant relationships were found with latitude. Spatial statistical techniques showed clusters of high soil PCB concentrations predominantly in west and south east GB, either associated with urbanized areas or on the West coast.     

Landsat TM spectral information to enhance the land cover of Scotland 1988 dataset

The Scottish Office's Land Cover of Scotland 1988 Survey (LCS88), was announced in May 1987 and was intended to provide the first-ever detailed census of land cover in Scotland. It came about as a result of increasing concern about the nature and rate of land use change in rural Scotland and the need to obtain objective baseline information on which to build and evaluate future countryside policy. One of the recommendations of a Scottish Office feasibility study carried out prior to the LCS88 survey, was that satellite remotely-sensed data should be considered for measuring landscape change in the future. This paper relates specifically to this recommendation and presents the results of an evaluation study to investigate the use of limited acquisition satellite imagery from Landsat Thematic Mapper, to derive a land cover classification and spectral segmentation information to enhance the existing LCS88 dataset. Although a successful land cover, primary as well as some individual cover features, was obtained from the satellite data, the overall accuracy comparison with the LCS88 cover features was limited. However, the opportunistic mapping of important agricultural crops and primary cover types, such as oilseed rape and forestry cover features, or the interpretation of some of the considerable confusion between semi-natural grassland and improved grassland cover features, provided for an enhanced LCS88 dataset. This was also true for the illustration of the considerable potential of a satellite classification and spectral data, for identifying the component parts of LCS88 Mosaic cover features and estimating vegetation quality.