基于中间件技术的HTML业务系统设计与实现

介绍了欧洲的MHP标准，并在HTML技术方面提出了改进方案。在此方案的基础上设计了一个基于HTML的从前端数据封装到终端数据接收的完整业务系统，并对其应用前景提出了一些看法。     

从数据结构角度设计导游系统

从数据结构角度为旅游胜地设计导游系统。向游人提供景点的信息查询服务,根据指定的景点提供相关的景点信息。任意给定起点和终点,查询两点之间的最短路径。     

Non-redundant data clustering

Data clustering is a popular approach for automatically finding classes, concepts, or groups of patterns. In practice, this discovery process should avoid redundancies with existing knowledge about class structures or groupings, and reveal novel, previously unknown aspects of the data. In order to deal with this problem, we present an extension of the information bottleneck framework, called coordinated conditional information bottleneck, which takes negative relevance information into account by maximizing a conditional mutual information score subject to constraints. Algorithmically, one can apply an alternating optimization scheme that can be used in conjunction with different types of numeric and non-numeric attributes. We discuss extensions of the technique to the tasks of semi-supervised classification and enumeration of successive non-redundant clusterings. We present experimental results for applications in text mining and computer vision.     

扇形束投影域重建—再投影迭代法

本文所提出的投影域重建——再投影迭代算法可以恢复不完整的扇形束投影数据,从而实现从有限的投影数据重建图象。这种算法把滤波——反投影图象重建过程和再投影的过程纳入一个公式,仅在投影域上估算未知的投影数据,因此避免了重建过程和反投影过程中的插值运算,改善了收敛性,提高了计算精度,缩短了运算时间。模拟实验表明:即使有70％的投影数据丢失,经过两次迭代就能以令人满意的精度恢复丢失的投影数据。     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

p,V, T and derived thermodynamic data for toluene,trichloromethane, dichloromethane,acetonitrile, aniline,and n-dodecane

Experimentally determined p,V,T data are reported for toluene, trichloromethane, dichloromethane, acetonitrile, aniline, and n-dodecane at 278, 288, 298, 313, and 323 K, except for dichloromethane, for which the highest temperature was 298 K. At each temperature, measurements were done at pressures up to about 280 MPa or (for aniline and n-dodecane) at a lower pressure slightly below the freezing pressure at the temperature of measurement. Values of the isobaric expansivity isothermal compressibility and (for toluene, trichloromethane, dichloromethane, and acetonitrile) internal pressure, derived from the p,V,T data, are presented.     

A hybrid extended finite element/level set method for modeling phase transformations

A hybrid numerical method for modelling the evolution of sharp phase interfaces on fixed grids is presented. We focus attention on two‐dimensional solidification problems, where the temperature field evolves according to classical heat conduction in two subdomains separated by a moving freezing front. The enrichment strategies of the eXtended Finite Element Method (X‐FEM) are employed to represent the jump in the temperature gradient that governs the velocity of the phase boundary. A new approach with the X‐FEM is suggested for this class of problems whereby the partition of unity is constructed with C¹(Ω) polynomials and enriched with a C⁰(Ω) function. This approach leads to jumps in temperature gradient occurring only at the phase boundary, and is shown to significantly improve estimates for the front velocity. Temporal derivatives of the temperature field in the vicinity of the phase front are obtained with a projection that employs discontinuous enrichment. In conjunction with a finer finite difference grid, the Level Set method is used to represent the evolution of the phase interface. An iterative procedure is adopted to satisfy the constraints on the temperature field on the phase boundary. The robustness and utility of the method is demonstrated with several benchmark problems of phase transformation. Copyright © 2002 John Wiley & Sons, Ltd.     

Virtual teamwork in very large undergraduate classes

Collaborative work is an important part of tertiary education but it is very difficult to arrange and supervise for extremely large classes of students in their first year. The possibility that computer-mediated communication can be used to facilitate this type of learning is appealing from a pragmatic organisational point of view. This paper explains in detail what a ‘virtual team’ is in the educational context. It reports on an interpretive field study where students taking an introductory course were allowed to choose where and when they did the required collaborative work. The paper discusses the factors that should be taken into account when offering students the option of working as a virtual team. These include factors that influence the students’ choice. The project cannot be considered to have been successful but indicates reasons for the lack of success and suggests contexts in which it would be valuable to repeat the project. The importance of extensive preparation in terms of teaching the students necessary social and technological skills cannot be over emphasised.     

Income, Time Effects and Direct Preferences in a Multimodal Choice Context: Application of Mixed RP/SP Models with Non-Linear Utilities

Transport problems typically involve at least two types of constraints, on income and on time. Therefore, the indirect utility function depends either on the income available after having subtracted the cost of the discrete alternative and on the free time left after having worked and travelled by each competing option. In the typical linear-in-the-attributes and in-the-parameters specification, that represents the first grade approximation of the indirect utility function, the effect of income and time constraints cancel out and only the cost and time of the alternatives matter in the comparison between them. From a microeconomic point of view this is equivalent to assume that income and time effects could be disregarded; which is not always the case. To account for these effects the utility function should include second order attributes; however, in non-linear utility functions it may not be easy to distinguish among several effects that could be relevant: direct preferences for good and leisure, and simple interactions between attributes other than income and time effects. This paper analyses these effects from a theoretical point of view focusing on the possible confounding problem in detecting income and time effects. We use a dataset collected for a modal choice context and containing both revealed and stated preference data, and estimate several NL models examining the effect of the different second-order terms on detecting income and time effects. We compared specifications including square cost and time attributes, interactions between time and cost, cost divided by the income available to be spent on free time, and time multiplied by free time. Our results confirm the strong effect of direct preferences for goods and leisure time on choice, and the potential confounding effect between quadratic attributes and other non-linear omitted terms. Finally, we also found that care should be taken in highlighting income and time effects using mixed data sources, since confounding effects can occur when non-linearities are accounted for in both data sets.