利用外资规模控制的非线性目标规划模型

利用外资规模控制的目标和约束条件的确定，得到了利用外资规模控制的非线性目标规划模型。     

On the Connectedness of Probabilistic Constraint Sets

We prove a result on the connectedness of (abstract) probabilistic constraints P(h(x,)0)p without any assumption on the distribution of . An application to storage level constraints is discussed briefly. Illustrating examples are provided and a simple criterion for the required condition is given in the case of linear h.     

Augmented Lagrangians with Adaptive Precision Control for Quadratic Programming with Equality Constraints: Corrigendum and Addendum

In this paper we give corrections to our paper on an augmented Lagrangian type algorithm for strictly convex quadratic programming problems with equality constraints.     

Formal Verification under Unknown Constraints

We present a formal method of verifying designs with unknown constraints (e, g. , black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) formulas. Furthermore, this method can avoid the potential memory explosion, which the binary decision diagram (BI)I)) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.     

论奥运竞技的性别平等取向

奥运竞技男女性别的平等化表现为项目设置与参赛人数的平等、决策与管理的平等、机会与资源的平等.平等化的趋向是人类文明的标志,是女性长期不懈斗争以及男性运动、管理权力不断妥协的产物,具有重大的社会和生命价值.由于历史的原因,目前人们在观念与操作层面上还存在着许多问题,有待于提高认识,促进竞技运动的进一步健康发展.     

一类不确定时延状态反馈网络化系统鲁棒稳定性

考虑控制器和执行器事件驱动、传感器时钟驱动、恒定周期采样和不大于一个采样周期的不确定时延,将有控制约束的状态反馈网络控制系统建模为含有不确定性的离散时变系统.利用Lyapunov理论和线性矩阵不等式方法,导出系统鲁棒稳定的充要条件.利用Matlab LMI工具箱求解该条件,可在判定该类系统稳定性的同时,获得系统鲁棒控制律.仿真算例说明了分析方法和稳定判据的有效性.     

机会平等与代际公正——关于农民工子女教育问题的社会学分析

从社会学的视角,分析了农民工子女的教育问题.指出了农民工子女教育问题表现为教育公平的偏差,具体而言包括教育机会分配起点的不公平、过程的不公平以及规则的不公平.由于教育对一个人地位获得的突出影响,这种不公平会带来弱势地位代际间传承的后果,因此必须高度重视这个问题.提出政府、社区、学校和家庭的协调合作是农民工子女能够接受良好教育的保证.     

一种有效带宽模型化估计方法

网络路径的有效带宽是计算机网络性能评价与流量工程中QoS验证中重要的度量参数，可广泛应用于根据网络条件进行视频分层传输，区分服务中的带宽分配，服务器选址和拥塞控制中，但由于有效带宽不仅与路径的链路带宽有关，而且随背景流量改变而动态变化，这使得端到端有效带宽的测量相当困难，从Cruz流量模型出发，提出有效带宽的估计可以通过对流量进行延时分析实现，给出了有效带宽估计的边界，并分析了实际测量中可能遇到的问题和解决办法。     

基于不同约束条件的动态时间错位理论及应用

在两种不同模式的匹配过程中 ,研究了基于不同约束条件的动态时间错位理论及应用。分别采用始终点约束、不同的局部连续约束 ( Itkura约束、Sakoe- Chiba约束 )、不同的全局约束( Itkura约束、Sakoe- Chiba约束 )条件对间歇反应过程中两批次轨迹进行合理匹配 ,并使两轨迹基于动态时间错位理论获取其间的最短标准总体距离 ,在此基础上搜寻最优匹配路径 ,使两种持续时间不等的轨迹达到模式一致。应用聚合反应中的数据轨迹 ,表明此方法的实施过程和有效性。     

带约束混料试验的均匀设计

该文考虑了带约束11的混料试验设计，0≤ak≤xk≤bk≤1，0≤xk≤1，x1＋x2＋…＋xs＝1。基于逆变换，作者提供了一种寻找均匀设计的方法。实验点的个数可以预先确定。