基于利润最大化的奥运商业网点分布微观经济模型

本文首先通过多元统计分析发现了统计数据中的一般规律,并讨论了数据中所反映出的某些与常识不一致之处。在通过图论的有关知识确定观众进出体育场馆的模式之后,我们建立了一个简单实用的基于成本利润分析的整数规划模型。通过Lingo、Matlab软件的模拟,该模型与现实环境和有关经济理论拟合较好,可以为2008年奥运会迷你超市的设置提供一定的参考。     

用广义上界算法解大型供应链问题

信息技术和生产率的发展以及全球经济一体化的发展趋势，使供应链成为全世界管理科学的热点.本文在阐述供应链基本数学模型的基础上，系统论述了用改进的广义上界(GUB)算法求解大型供应链问题的计算方法．     

基于统计的中文文本主题自动提取研究

文本主题自动提取是一种很有实用价值的技术，它可以有效地浓缩整个web页面，解决无线网络终端由于显示屏太小而无法显示整个网页的难题。总结了目前有关文本主题提取方面的研究成果，设计了一个特征词加权函数，在此函数中考虑了词所跨的段落数因子，同时采用非线性函数描述词长因子和词所跨的段落数因子的作用，并将加权函数应用于主题自动提取。实现了一个中文主题自动提取系统原型，通过对文本集的测试验证了加权函数的有效性。     

基于神经元网络的快速监控功能

应用神经元网络理论和计算机仿真实验相结合的方法,对用快速监控理论解决带钢头部厚度超差问题进行了研究。针对板带材轧制过程是一个复杂的非线性过程,难以建立精确数学模型的问题,提出了用神经元网络实现快速监控功能的方法,仿真证明,该方法对于及时地消除厚度偏差的后遗性有着比其他控制方法更好的效果。     

Reasoning with infinite stable models

This paper illustrates extensively the theoretical properties, the implementation issues, and the programming style underlying finitary programs. They are a class of normal logic programs whose consequences under the stable model semantics can be effectively computed, despite the fact that finitary programs admit function symbols (hence infinite domains) and recursion. From a theoretical point of view, finitary programs are interesting because they enjoy properties that are extremely unusual for a nonmonotonic formalism, such as compactness. From the application point of view, the theory of finitary programs shows how the existing technology for answer set programming can be extended from problem solving below the second level of the polynomial hierarchy to all semidecidable problems. Moreover, finitary programs allow a more natural encoding of recursive data structures and may increase the performance of credulous reasoners.     

A functional correspondence between call-by-need evaluators and lazy abstract machines

We bridge the gap between compositional evaluators and abstract machines for the lambda-calculus, using closure conversion, transformation into continuation-passing style, and defunctionalization of continuations. This article is a followup of our article at PPDP 2003, where we consider call by name and call by value. Here, however, we consider call by need.We derive a lazy abstract machine from an ordinary call-by-need evaluator that threads a heap of updatable cells. In this resulting abstract machine, the continuation fragment for updating a heap cell naturally appears as an ‘update marker’, an implementation technique that was invented for the Three Instruction Machine and subsequently used to construct lazy variants of Krivine's abstract machine. Tuning the evaluator leads to other implementation techniques such as unboxed values. The correctness of the resulting abstract machines is a corollary of the correctness of the original evaluators and of the program transformations used in the derivation.     

Modeling and analysis of workpiece stability based on the linear programming method

After being located on a machine bed, a workpiece will be subject to gravity and cutting forces during the machining operation. In order to keep the locating precision as well as the production safety, it is necessary to maintain the workpiece stability. In this paper, a linear programming method is proposed for stability analysis of the workpiece. Based on the linear approximation of the friction cone, a quantitative criterion is established to verify the workpiece stability in association with the rationality of the clamping sequence, magnitude of clamping forces and clamping placement. This criterion allows designers to plan reasonably the clamping sequence, magnitude of clamping forces as well as clamping placement. Compared with existing methods, the main advantage of this approach lies in that the sophisticated computing of contact forces between fixture elements and the workpiece is avoided. In this work, both friction and frictionless cases can be easily taken into account in stability analysis. Mathematical formulations of the method are given and some numerical tests are finally demonstrated to validate the proposed method.     

Nonlinear programming approaches for an inverse problem in quasibrittle fracture

Characterization of the parameters describing the cohesive crack model is an important and difficult problem. Based on the availability of load-deflection data, obtained from such standard tests as the three-point bending and wedge splitting experiments, we formulate the required parameter identification as a special type of inverse problem. The formulation is in the form of a constrained optimization problem known as a mathematical program with equilibrium constraints characterized, in the present instance, by complementarity conditions involving the orthogonality of two sign-constrained vectors. Due to the difficulty of solving such a mathematical program directly, we investigate a number of numerical algorithms that are all based on solving a series of standard nonlinear programming problems. Computational results, using actual experimental data, are presented to compare the various schemes proposed.     

太阳能热水器自动温度控制器设计

介绍了太阳能热水器的自动控制器的功能和组成，阐述了控制系统的工作原理，硬件和软件设计及相关技术问题，实际应用表明该系统可靠性高、操作简单，具有良好的经济和社会效益。     

网络化测控设备间的时间同步

为使广域网络范围内的测控设备同步工作，必须准确的计算出网络数据传输的时延。依据排队论，本文提出并证明了准确的网络节点模型和数据延时分布统计模型，以此为基础计算出数据报在互联网上传输的精确时延并给出时延修正方法。实验数据论证了模型的正确性。最后提出了广域自动测试系统内设备的同步解决方案，时间同步精度在10～50μs范围内。