C**类型约束编程概要

对面向对象、泛型程序设计(Generic Programming)进行了较为深入的分析,阐明了各自的目标、技术特征及其优缺点,着重论述了C 语言的一个泛型编程扩充语言C如何通过一种叫做"命名类型约束"的新的机制来实现静态类型需求的直接语言支持和编译检查,实现类型约束编程。     

Shifting Operations and Graded Betti Numbers

The behaviour of graded Betti numbers under exterior and symmetric algebraic shifting is studied. It is shown that the extremal Betti numbers are stable under these operations. Moreover, the possible sequences of super extremal Betti numbers for a graded ideal with given Hilbert function are characterized. Finally it is shown that over a field of characteristic 0, the graded Betti numbers of a squarefree monomial ideal are bounded by those of the corresponding squarefree lexsegment ideal.     

Convergence of Generic Infinite Products of Order-Preserving Mappings

In this paper we establish several results concerning the asymptotic behavior of (random) infinite products of generic sequences of order-preserving mappings on intervals of an ordered Banach space. In addition to weak ergodic theorems we also obtain convergence to a unique common fixed point.     

集成电路产业封装测试领域共性技术识别研究——基于专利计量的视角

考虑到共性技术的识别可以实现精准分配资源从而推动产业技术升级、经济持续增长和提高产业的全球竞争力,基于专利的社会网络分析法,构建了专利技术共现网络及专利共被引网络,并分析了全球集成电路封装测试技术的专利增长趋势及共性技术领域。研究发现,1980年以来封装测试技术专利申请量呈指数增长,并且识别出集成电路封装测试领域的共性技术集中在H01L021、H01L023、H01L025及G01R031,涵盖蚀刻工艺、封装涂层、引线装置、安装架、电性能测试等工艺流程。     

Walras均衡点的通有稳定性

首先将Walras均衡定理的条件削弱，根据削弱的Walras定理，我们定义了Walras均衡点，讨论了Walras均衡点的通有稳定性。     

多值映射的通有连续性

本文证明了:设X是满足第二可列公理的正则空间,Y是拓扑空间,对任y∈Y,F(y)是X中的非空子集,且多值映射F在Y上是上半连续的,则F的下半连续点所成之集必是y中的一个剩余集。     

A property of subgroups of infinite index in a free group

We prove that if is a finitely generated subgroup of infinite index in a free group , then, in a certain statistical meaning, the normal subgroup generated by ``randomly' chosen elements of has trivial intersection with .

     

Some Properties of Finite Morphisms on Double Points

For a finite morphism f : X Y of smooth varieties such that f maps X birationally onto X=f(X), the local equations of f are obtained at the double points which are not triple. If C is the conductor of X over X, and are the subschemes defined by C, then D and are shown to be complete intersections at these points, provided that C has the expected codimension. This leads one to determine the depth of local rings of X at these double points. On the other hand, when C is reduced in X, it is proved that X is weakly normal at these points, and some global results are given. For the case of affine spaces, the local equations of X at these points are computed.     

Optimization in Mean and Phase Transitions in Controlled Dynamical Systems

The time mean of a smooth objective function along a phase trajectory of a controlled dynamical system is maximized. The simplest singularities of the dependence of the optimal mean value on the parameter in generic one-parameter families of controlled systems of this kind are listed. It turns out that the most common generic stable singularity is the discontinuity of the first or second derivative of the optimal mean value with respect to the parameter.     

智能型别墅住宅小区计算机网络系统

随着科学技术的进步，人们对生活居住环境要求越来越高。从综合布线系统设计，计算机网络系统设计两方面论述了智能型、别墅住宅小区计算机网络系统。