Representation and uniformization of algebraic transductions

This paper explores different means of representation for algebraic transductions, i.e., word relations realized by pushdown transducers. The relevance of this work lies more in its point of view rather than any particular result. We are aiming at giving specific techniques for obtaining, or perhaps explaining, decompositions of algebraic (and incidentally, rational) relations, relying solely on their “machine” definition rather than some complex algebraic apparatus. From this point of view, we are hoping to have demystified the heavy formalism employed in the present literature. Some of the novelties of our work are: the use of “stack languages” and “embeddings,” which eliminate the need of arbitrary context-free languages in our characterizations, the study of uniformizations for algebraic transductions and the use of the so-called stack transductions for exposing the anatomy of pushdown transducers.This work was supported by the Natural Science and Engineering Research Council of Canada grants R220259 and OGP0041630.     

Modellgetriebene,mustergestützte Sicherheit in serviceorientierten Architekturen

Ohne Zusammenfassung     

Distributed Context Retrieval and Consistency Control in Pervasive Computing

The challenge of saturating all phases of pervasive service provision with context-aware functionality lies in coping with the complexity of maintaining, retrieving and distributing context information. To efficiently represent and query context information a sophisticated modelling scheme should exist. To distribute and synchronise context knowledge in various context repositories across a multitude of administrative domains, streamlined mechanisms are needed. This paper elaborates on an innovative context management framework that has been designed to cope with free-text and location based context retrieval and efficient context consistency control. The proposed framework has been incorporated in a multi-functional pervasive services platform, while most of the mechanisms it employs have been empirically evaluated.     

里运河底泥CODCr和NH3-N释放对水质的影响实验

通过利用长江水体作为上覆水的里运河表层底泥的释放实验研究，分析了表层底泥中CODCr和NH3—N在静置和3种扰动条件下的释放规律，结果发现城区段底泥中CODCr和NH3—N的释放强度大于非常区段，底泥孔隙水与上覆水之间的浓度梯度增大促进了底泥中污染物质的更快更多地释放。同时得出了各个断面表层底泥中CODCr，和NH3-N的释放强度，在扰动条件下的释放强度远大于静置条件下的释放强度，底泥中污染物质的释放可能会在一定程度上影响里运河将来的调水水质。     

转炉冶炼20管坯钢生产实践

介绍了20#管坯钢的生产试验工艺，采取了拉碳法脱碳、钢包底吹氩及喂丝、保护浇铸、合理控制拉速等有效措施，解决了生产中存在的质量问题，为下一步的生产提供了理论和实践依据。     

Optimization techniques for curved path computing

Participating media with an inhomogeneous index of refraction make light follow curved paths. Simulating this in a global illumination environment has usually been neglected due to the complexity of the calculations involved, sacrificing accurate physical simulations for efficient visual results. This paper aims to simulate non-linear media in a more reasonable time than previous works without losing physical correctness. Accuracy is achieved by solving the Eikonal equation of geometrical optics, which describes the path followed by a light beam that traverses a non-linear medium. This equation is used in the context of a photon mapping extension.     

Antiwear Action of Mineral Lubricants Modified by Conventional and Uncoventional Additives

The authors of this paper investigated the influence of esters of rapeseed oil fatty acids on the lubricating properties of mineral lubricants containing chosen AW/EP additives. Methyl esters, ethylene glycol esters, and glycerol esters as well as some commercial AW/EP packages based on zinc dialkyldithiophosphate, S–P organic compounds, and sulphurized esters of fatty acids were tested. The tribological tests were carried out with the use of a four-ball machine. Antiwear (AW) properties of tested compositions were determined using their limiting load of wear (G_oz(40)). It appears that the AW action of esters of rapeseed oil fatty acids depends on their structure. The best AW action is shown by compositions of mineral oil lubricants containing AW/EP additives and methyl esters of rapeseed oil fatty acids. The SEM/EDS analysis of the scar surface layer indicated that the presence of these esters in lubricants causes a change in the interaction between AW/EP additives and the metal surface. These observations were confirmed by the XPS surface analysis.     

A CLASS OF BAND-LIMITED CHIP WAVEFORMS FOR DS-CDMA SYSTEMS

In Direct Sequence Code Division Multiple Access （DS-CDMA） systems, the chip waveform affects the implementation, system bandwidth, envelope uniformity, eye pattern and Multiple user Access Interference （MAI）. In this paper, based on an elementary density function of a second order polynomial, a class of second order continuity pulses is proposed. From this class of pulses, we can find some members having faster decaying rate, bigger eye opening, more uniform envelope and stronger anti-MAI capability than the Nyquist waveform. The normalized-bandwidth-pulseshape-factor product, the decaying rate of the tail of the time waveform, the opening of the eye diagram, and the envelope uniformity of the second order continuity pulses are addressed in the paper that provide the basic information for the selection of the chip pulse for CDMA systems.     

Response time variability

Response time variability is a new optimization problem with a broad range of applications and a distinctive number of theoretic flavour. The problem occurs whenever events, jobs, clients or products need to be sequenced so as to minimize the variability of time for which they wait for the next turn in obtaining the resources necessary for their advance. The problem has numerous real-life applications. We study its computational complexity, present efficiency, polynomial time algorithms for some cases, and the NP-hardness proof for a general problem. We propose a position exchange heuristic and apply it to improve the total response time variability of an initial sequence. The latter is the optimum bottleneck sequence, Webster or Jefferson sequence of the apportionment, or a random sequence. We report on computational experiments with the heuristic.