没有战略竞争等于找死

当一个行业内所有的企业热衷于相互模仿,竞争便注定了沿着同一个方向没有赢利地赛跑,日本经济失败的经验如是,中国企业当引起警醒     

非完整约束对溜冰机器人动力学性能影响的分析

在Maggi方程基础上,建立了极坐标系和机器人坐标系.以转弯角速度、腿摆动角速度和滚轮摆动角速度为准速度,推导出溜冰机器人的动力学方程.与Routh方程相结合,给出了通用形式的Lagrange乘子计算方法.采用纽马克法分析了由滚轮纯滚动引入的非完整约束对其动力学性能的影响.算例证明本方法是有效的.     

关于利用方向极限求二重极限一个错误结论的纠正

给出了二元函数的二重极限、方向极限、弱二重极限的概念，指出了文[1]中定理6利用方向极限求二重极限的结论是错误的原因，纠正了文[1]中定理6的结论及其例7的解法。     

在创造超级稻新种质中离子束生物技术的发展方向

从三个方面分别论述了创造水稻新种质的必要性、促进水稻遗传改良的可能性和培育超级稻新种质的方向性。随着离子束生物技术的不断改进和完善，它在水稻遗传改良中的作用会越来越明显。在今后的研究过程中其技术思路可以用“诱变介导，生殖发育，倍性变化，特异种质”这16个字进行概括。     

单调线性互补问题的非精确不可行内点算法

对单调线性互补问题提出了一种非精确不可行内点算法．该算法的迭代方向仅需要达到一个相对的精度．在初始点位于中心线的某邻域内的假设下，证明了算法的全局收敛性．     

用局部刚度修正法处理结构优化的全局约束问题

研究了当前在结构优化设计中处理全局约束问题的方法，进而提出了局部刚度修正法，即只要修改部分构件的刚度就可使全局约束条件得到满足。通过算例和工程实践表明，对规模为1000个节点、50个设计变量的杆系结构，在Pentium Ⅲ计算机上，只要运行40min就可得到满意解。该方法简便易行，不用做灵敏度分析，收敛快、计算量小，是解决大型工程结构优化设计问题的好方法。     

输入有界线性离散系统可控区域的一种有效算法

针对输入有界的离散时间线性定常系统，利用凸多面体集合的几何特性，求解与有限步可控区域相联系的凸多面体集合的边界超平面法向量，进而得到有限步可控区域的精确表示，计算实践表明，与求解可控区域的传统方法相比，该方法具有更高的计算效率，且当有限步可控区域对应较多的步数时，该方法在计算效率上的优势更加显著．还结合最小时间控制问题和镇定问题，说明用该方法得到的有限步可控区域的精确描述，能够为解决约束系统的控制问题提供重要依据。     

几类图的独立约束数及独立加强数

利用归纳假设方法及图的独立数的一些定理，研究几类图——路、完全二分图、圈、树中的独立约束数及独立加强数．求出路、圈的独立约束数和独立加强数及完全二分图的独立约束数，并给出树独立加强数的界．     

带有预算费用约束的多地点报童模型

有针对性地研究了一种带有预算费用约束的多地点(连锁店)报童问题。在各地需求变量均服从正态分布的情况下,建立了数学模型,利用最优化方法进行了求解,并对模型的灵敏度进行了分析。     

中国科学院计算机科学重点实验室

一、概况 计算机科学实验室依托于中科院软件所,始建于1993年,1994年12月经中科院批准对外开放.实验室有多位我国计算机软件科学事业的开拓者,曾获得国家自然科学奖一、二、三等奖、国家科技进步奖二等奖、全国科学大会重大成果奖及何梁何利科技进步奖等.