非数值化产品形位描述模型

传统的形状及位置表示模型通常是建立在低层次的无应用意义的几何拓扑元素之上，因而无法很好地支持计算机辅助设计（ＣＡＤ）向实用化和智能化方向发展。本文提出了一种非数值化的基于约束的产品形位描述模型，并对该模型中存在的一些问题进行了深入的讨论。该模型符合设计人员实际设计思维与过程，同时也支持高层次产品设计信息以及产品的设计过程信息，因而为传统ＣＡＤ系统向新一代实用化智能化ＣＡＤ系统过渡提供了一个良好的产品形位表示模型。     

Reasoning about non-immediate triggers in biological networks

Modeling molecular interactions in signalling networks is important from various perspectives such as predicting side effects of drugs, explaining unusual cellular behavior and drug and therapy design. Various formal languages have been proposed for representing and reasoning about molecular interactions. The interactions are modeled as triggered events in most of the approaches. The triggering of events is assumed to be immediate: once an interaction is triggered, it should occur immediately. Although working well for engineering systems, this assumption poses a serious problem in modeling biological systems. Our knowledge about biological systems is inherently incomplete, thus molecular interactions are constantly elaborated and refined at different granularity of abstraction. The model of immediate triggers can not consistently deal with this refinement. In this paper we propose an action language to address this problem. We show that the language allows for refinements of biological knowledge, although at a higher cost in terms of complexity.      

基于GRNN网络模型的土壤重金属空间分布的研究

以江苏省南通市为研究区,利用采样点实测数据,借助GRNN神经网络模型并结合3S技术对农田土壤重金属的空间动态分布进行了深入研究。结果表明,GRNN神经网络模型能够智能地学习各个采样点的空间位置与该点各重金属含量之间的映射关系,并能够稳健地对各个空间插值点处的土壤重金属含量进行预测;结果显示南通市农田土壤重金属污染总体较轻,但也存在局部地区的严重污染。在运用GRNN神经网络模型进行空间插值了解重金属空间动态分布的基础上,可以根据污染的状况确定农产品的生产布局和规划。     

Microstructural Modelling of Nb Microalloyed Steels during Thin Slab Direct Rolling Processing

The microstructural evolution during the hot rolling of coarse grain sized austenite has been modeled considering all the microstructural mechanisms (dynamic, static and metadynamic recrystallization, strain induced precipitation) that can take place during an industrial TSDR production of three Nb microalloyed steels. Based on the results obtained from the model, processing maps have been drawn for 0.02%, 0.035% and 0.05% Nb microalloyed steels. Optimum processing conditions to exploit all the benefits of the Nb microalloying have been defined considering a final gauge thickness range between 1.5 and 12.65 mm. In addition, and facing the difficulties present in the production of thick hot strip, several alternative thermomechanical schedules are proposed, which would originate microstructures with a suitable combination of homogeneity and retained strain prior to transformation.     

Stochastic analysis of file-swarming systems

File swarming (or file sharing) is one of the most important applications in P2P networks. In this paper, we propose a stochastic framework to analyze a file-swarming system under realistic setting: constraints in upload/download capacity, collaboration among peers and incentive for chunk exchange. We first extend the results in the coupon system [L. Massoulie, M. Vojnovic, Coupon replication systems, in: Proc. ACM SIGMETRICS, Banff, Alberta, Canada, 2005] by providing a tighter performance bound. Then we generalize the coupon system by considering peers with limited upload and download capacity. We illustrate the last-piece problem and show the effectiveness of using forward error-correction (FEC) code and/or multiple requests to improve the performance. Lastly, we propose a framework to analyze an incentive-based file-swarming system. The stochastic framework we propose can serve as a basis for other researchers to analyze and design more advanced features of file-swarming systems.     

Modeling of a multisector ecological economic system with lags

A model of a diversified ecological economic system with lags is proposed and investigated using sufficient optimality conditions. A turnpike solution of the problem, boundary trajectories, and control switchpoints are found. __________ Translated from Kibernetika i Sistemnyi Analiz, No. 2, pp. 114–122, March–April 2007.     

用偏微分方程构造过渡面

用偏微分方程的构造曲面是一种新兴的方法，本文借若干算例说明如何用偏微分方程构造两已知曲面之间的过渡面。论文着重讨论用四阶方程构造一阶连续的过渡面。     

The operational semantics of user-defined relationships in object oriented database systems

In semantic data models, abstract relationship (e.g. generalization, aggregation, etc.) semantics are defined, specifying how insertion, deletion and modification operations made at a higher level of abstraction can affect the objects abstracted over and vice versa. These semantics, also known as structural constraints, are expressed through so-called update rules. This perspective has been somewhat lost in most object-oriented systems, where user-defined relationships are supported as simple pointers and their semantics are embedded, distributed and replicated within the operations accessing these pointers. This paper inherits and extends the treatment of relationships found in semantic data models to behavioural object-oriented models by presenting an approach to uniformly capture the update rules for user-defined relationships. The stress is not on supporting relationships as first-class objects, but on describing their update rules (or operational semantics) through a set of constructors namely, reaction, anticipation, delegation and exception. The approach has been borne out by an implementation in an active object-oriented database system.     

Nonlinear black-box modeling in system identification: a unified overview

A nonlinear black-box structure for a dynamical system is a model structure that is prepared to describe virtually any nonlinear dynamics. There has been considerable recent interest in this area, with structures based on neural networks, radial basis networks, wavelet networks and hinging hyperplanes, as well as wavelet-transform-based methods and models based on fuzzy sets and fuzzy rules. This paper describes all these approaches in a common framework, from a user's perspective. It focuses on what are the common features in the different approaches, the choices that have to be made and what considerations are relevant for a successful system-identification application of these techniques. It is pointed out that the nonlinear structures can be seen as a concatenation of a mapping form observed data to a regression vector and a nonlinear mapping from the regressor space to the output space. These mappings are discussed separately. The latter mapping is usually formed as a basis function expansion. The basis functions are typically formed from one simple scalar function, which is modified in terms of scale and location. The expansion from the scalar argument to the regressor space is achieved by a radial- or a ridge-type approach. Basic techniques for estimating the parameters in the structures are criterion minimization, as well as two-step procedures, where first the relevant basis functions are determined, using data, and then a linear least-squares step to determine the coordinates of the function approximation. A particular problem is to deal with the large number of potentially necessary parameters. This is handled by making the number of ‘used’ parameters considerably less than the number of ‘offered’ parameters, by regularization, shrinking, pruning or regressor selection.     

计算机生成兵力中的人工智能技术

开发CGF的难点和重点在于CGF实体行为的生成,尤其是人类智能行为的实现。人类行为建模最重要的三个方面是知识获取、知识表示和决策机制,都与人工智能技术相关。该文主要介绍人类行为描述的知识表示和知识获取问题,讨论了人工智能技术在这两个方面的应用,并对将来的研究工作做了一个简单的展望。