OPTIMALITY CONDITIONS FOR NONCONVEX BILEVEL PROGRAMMING PROBLEMS

Recomendation.ThisworkisrecomendedbyamemberiftheEditorialBoard,ProfWANGShouyang.1.IntroductionThebilevelprogrammingproblemcanbestatedasfollows:whereS(x),foreachx,isthesolutionsetofthefollowingparametricprogrammingproblem:whereF,f:Re ~-R,g'Re ~-R"andG:Re ~…     

PGAs求解双层规划及其在分销系统优化设计中的应用

研究并行基因算法求解双层规划问题及其在供应链物流分销系统优化设计中的应用.利用下层优化问题的KKT条件把双层规划问题转化为等价的单层规划问题,再利用并行基因算法对得到的单层规划问题进行全局优化,从而得到双层规划问题的全局最优解,最后,通过具体案例研究了上述算法在供应链物流分销系统优化设计中的应用.结果表明,并行基因算法求解双层规划,充分利用了现有计算环境的并行能力,加快了收敛速度,改善了基因算法的全局收敛性能,算法达到了实用化的规模,是一种很有应用前景的计算方法.     

一种基于四面体的软组织切割算法

手术仿真系统可以进行新的手术式的培训，也可以用来预演手术的整个过程以便事先发现手术中的问题，作为一个特殊的ＶＲ系统，手术仿真系统要求能够对手过程中的切割和缝合进行模拟，本文提出了一种在于局部处理的软件切割算法，可以较好地完成对于以四面体作为基元的有限元模型的实切割任务。     

二维金属切削过程的数值模拟

本文基于数值模拟技术,借助于有限元软件成功地模拟了二维金属切削过程中切屑形成及切削区应力、应变变化的过程,计算出了剪切角及切削起始阶段切削力的变化,并通过实验验证了这一规律的正确性。该方法新颖、独特,从而为金属切削理论研究和刀具产品开发领域中提出一种更为有效、更为可靠的研究方法。     

THE LINEAR KERNEL OF BOOLEAN FUNCTIONS AND PARTIALLY-BENT FUNCTIONS

1.IntroductionBentFunctionsformaveryimportantclassofbooleanfunctionsincryptographybecauseoftheirperfectnonlinearity,buttheyareneitherbalancednorthefirstordercorrelationimmune,andveryfewofthemareknown.In[1],Carlet,C.gavethedefinitionofPartiallyBentFunction…     

虚拟手术中基于凸多边形的软组织切割算法研究

虚拟手术仿真系统为医学教学提供了一种方便、廉价、有效的方法。切割模拟是该系统重要组成部分,影响整个系统的实时性和真实性,因此对整个切割过程进行深入研究并提出了基于凸多边形的切割算法。首先通过遍历优化索引结构后的八叉树来寻找切割起点,由起点开始,以切割轨迹为参照,采用邻居搜索策略寻找所有被切割的三角形,然后通过引入辅助单元组成凸多边形,再对凸多边形进行三角剖分,以实现网格重构。实验证明新的剖分算法抑制了模型单元数量的急剧增长,提高了三角形重构的质量。     

机动目标跟踪的灰色截断变维法

在灰色预测滤波和截断滤波的基础上建立了灰色截断变维法。在截断变维法中嵌入灰色预测滤波 ,用性能优越的机动检测技术为开关 ,在机动区用灰色预测滤波替代并导引截断变维滤波。该方法具有很强的自适应性和更高的滤波跟踪精度 ,其性能优于单模型有参数自适应滤波算法及多模无参数自适应滤波算法 ,同时无需任何先验的统计参数。计算机仿真表明了它的各种优越性。     

CNC铣齿机床加工曲线齿锥齿轮仿真系统的研究

从空间占位角度对曲线齿锥齿轮加工过程进行了分析，得出了建立CNC铣齿机床加工仿真系统的基本思想。以AutoCAD为开发平台，建立了简化后的刀具和齿轮毛坯实体零件库；同时，将CNC铣齿机床各轴运动转化到刀具和齿轮毛坯的相对位置调整，通过刀具和齿轮毛坯的相减布尔运算实现了仿真切齿过程。最后给出了加工仿真实例和实际加工结果，验证了加工仿真方法的正确性。为设计和制造都很复杂的曲线齿锥齿轮加工提供了一个非常形象的加工仿真工具。     

Robust Finite-Time Stability and Stabilization of a Class of Fractional-Order Switched Nonlinear Systems

This paper deals with the problem of finite-time boundedness and finite-time stabilization boundedness of fractional-order switched nonlinear systems with exogenous inputs. By constructing a simple Lyapunov-like function and using some properties of Caputo derivative, the authors obtain some new sufficient conditions for the problem via linear matrix inequalities, which can be efficiently solved by using existing convex algorithms. A constructive geometric is used to design switching laws amongst the subsystems. The obtained results are more general and useful than some existing works, and cover them as special cases, in which only linear fractional-order systems were presented. Numerical examples are provided to demonstrate the effectiveness of the proposed results.     

随机动态车队管理问题

详细描述随机动态车队管理问题，分析问题的随机特性，建立问题的随机线性规划模型。根据未来需求的概率分布函数，设计期望车辆数的估计方法、车辆选择概率的确定方法和车辆期望收益值的确定方法，从而确定线性替代函数斜率，构造线性替代函数来逼近目标函数中的期望函数部分，使问题分解为多个单时段单节点问题，并设计单时段单节点问题的求解方法。最后给出问题的完整求解过程，从而使问题能够得到有效解决。     

旋风切管机主轴系统的建模和仿真分析

从切管机主轴系统功能结构出发建立了切管机主轴系统的动力学模型，采用MATLAB／SIMULINK对主轴系统刚性和切削稳定性进行动态数值仿真。实际结构的空载实验和切削性能实验表明，数值仿真具有较高的精度，由此验证了本文所建立的切管机主轴系统的动力学模型是正确的。     

Generalized <Emphasis Type="Italic">p</Emphasis>-values for testing regression coefficients in partially linear models

The one-sided and two-sided hypotheses about the parametric component in partially linear model are considered in this paper. Generalized p-values are proposed based on fiducial method for testing the two hypotheses at the presence of nonparametric nuisance parameter. Note that the nonparametric component can be approximated by a linear combination of some known functions, thus, the partially linear model can be approximated by a linear model. Thereby, generalized p-values for a linear model are studied first, and then the results are extended to the situation of partially linear model. Small sample frequency properties are analyzed theoretically. Meanwhile, simulations are conducted to assess the finite sample performance of the tests based on the proposed p-values.     

用于触觉建模的生物组织切割特征多参量采集

基于图像及三维磁跟踪的方法，设计了生物组织切割过程的多参量（切割力，切割深度及切割速度）采集系统，并针对猪肝脏，心脏，肌肉等软组织进行了系统性能的实验验证；研究了手术刀在切割不同组织时，切割速度，切割深度等与切割反馈力，破裂极限间的相互关系，并初步给出了手术刀连续切割的力反馈触觉模型；为进一步研究生物组织的物理特性及基于真实的切割过程的手术模拟提供了实验条件。     

一种具有三角模糊系数的线性规划方法

针对模糊系数的线性规划,提出了一种将三角模糊系数的线性规划转化为常规线性规划的方法,同时给出几个定理和命题以及相应的算法。该方法与常规方法的不同之处在于目标函数和限制条件中模糊系数的隶属度可以取不同的值。因此提出的方法取得的规划结果更加满足决策者的需要。最后通过实例说明该方法的有效性,并且表明该方法在某些条件下与一些常规方法是一致的。     

一种改进的多维偏好线性规划分析方法

本文对传统的多维偏好线性规划分析方法——LINMAP法进行改进,提出一种新的多维偏好线性规划分析方法。该方法运用加性加权法建立线性规划模型,同时引入任意小正数δ,使得评价结果更加符合于决策人偏好集。     

机器人通过奇异位形的运动学分析及仿真

研究了一种分析机器人奇异位形的新型控制方法。该方法使用线几何理论分析机器人线性相关的关节轴线矢量,从而识别机器人奇异方向和奇异关节轴,并将线性相关矢量对应的Jacobian矩阵进行列删除;使用反螺旋理论区分工作空间的可行运动和不可行运动,将不可行运动对应的Jacobian矩阵的行进行删除。当机器人失去一个自由度时,相应满秩Jacobian矩阵由66简化为55,使机器人在奇异位形处仍能获得精确解。通过对PUMA机器人仿真研究,结果表明了该方法的有效行。     

离散模糊系统的新型模糊控制器与观测器设计

基于T－S模糊动态模型，研究了一类在状态空间形式下，离散模糊系统的稳定监督控制器的设计与分析，将全局模糊型按隶属函数重新划分成若干子空间，采用分段Lyapunov函数法，克服了以往设计法中需要求解一公共正定矩阵P的不足，也无需求解繁琐的Riccati方程，并针对系统状态不可测的实际情况，设计了模糊观测器，从而用成熟的线性系统理论完成对复杂非线性系统的控制，模糊控制器与观测器设计简单，适合工程应用。     

Exploring the Linear and Nonlinear Causality Between Internet Big Data and Stock Markets

In the era of big data, stock markets are closely connected with Internet big data from diverse sources. This paper makes the first attempt to compare the linkage between stock markets and various Internet big data collected from search engines, public media and social media. To achieve this purpose, a big data-based causality testing framework is proposed with three steps, i.e., data crawling,data mining and causality testing. Taking the Shanghai Stock Exchange and Shenzhen Stock Exchange as targets for stock markets, web search data, news, and microblogs as samples of Internet big data, some interesting findings can be obtained. 1) There is a strong bi-directional, linear and nonlinear Granger causality between stock markets and investors' web search behaviors due to some similar trends and uncertain factors. 2) News sentiments from public media have Granger causality with stock markets in a bi-directional linear way, while microblog sentiments from social media have Granger causality with stock markets in a unidirectional linear way, running from stock markets to microblog sentiments.3) News sentiments can explain the changes in stock markets better than microblog sentiments due to their authority. The results of this paper might provide some valuable information for both stock market investors and modelers.     

基于灰色组合模型的河南省粮食产量预测

一元线性回归有直线趋势,而GM(1,1)能较好地模拟指数变化的趋势。但是,如果原始序列整体上是直线趋势,在少数点上,数据模拟值和回归直线偏离较大时,线性函数已不能很好地预测数据序列的变化了。对于此类问题,将数据分为跳变点(即模拟值偏离回归直线较大)和非跳变点数据,并将跳变点又分为上、下跳变点,借鉴灰色灾变预测原理,用GM(1,1)模型预测跳变点数据,而对其他非跳变点使用去掉跳变点后的数据形成的新的线性回归方程进行预测。通过对河南省粮食产量的预测,结果表明该方法很好地克服了GM(1,1)模型和线性回归模型的缺陷,具有较好的实际应用价值。     

并联机床虚拟样机建模与加工过程动力学仿真

为了实现并联机床性能的真实预测,确保加工过程的安全性,提出了基于Adams的并联机床加工过程的动力学仿真方法。在包括螺旋副在内的仿真模型的各个运动关节加载了摩擦力,实现了仿真模型与实际机床的高度仿真;根据NC文件和切削参数,建立并联机床加工过程的切削力模型和运动控制模型,实现了机床加工零件全过程的动力学仿真。对5-UPS/PRPU并联机床的加工过程进行了仿真分析,仿真结果准确的预测了实际加工中可能出现的问题。该方法简单、准确、可靠、实用性强。