机译:从形式解决方案到计算方法,避免过度使用
Inst Super Tecn, DECivil, P-1049001 Lisbon, Portugal;
closed solutions; infinite algorithms; generalised difference methods; meshless techniques; finite element methods; hybrid and block clements; methods avoiding passages to the limit; EQUATIONS;
机译:几何精确的Cosserat壳模型,包括尺寸效果,避免了薄壳极限的退化。第一部分:弹性板的形式尺寸减小和正Cosserat耦合模量的最小化器的存在
机译:使用离散指数展开法外推至极限环来计算非线性电力系统的稳态解
机译:UML序列图与形式化规范方法的集成—基于Z的形式化解决方案
机译:基于加权最小范数解的方案,可避免冗余机械手的联合限制
机译:在人与计算机之间的对话中实现相互理解的形式和计算方法。
机译:社论:理解复杂性的计算方法:生物学中形式方法的使用
机译:奇异极限问题的数值方法(微分方程和线性计算的数值解)