一个具有线性复杂性的非2步幂零系统(英文)

最近,Host,Kra和Maass证明了幂零系统的复杂性的上下界可以分别用两个同阶的多项式来表示.一个自然的问题就是这个结论的逆命题是否成立.本文给出一个反例说明其逆命题是不成立的.     

网络系统设计中的程序设计并发复杂性

在网络环境下,并发性问题在很大程度上影响了网络程序设计开发的效率,影响了网络技术的发展和推广普及,而且并发所带来的问题一直都没有得到彻底解决。文章对网络程序的并发性问题进行了描述,并结合相应的模型,对其并发复杂性进行了研究。     

Mentor发布针对半导体封装热特性和设计的全面解决方案

MentorGraphics公司宣布发布FloTHERMIC，一款针对半导体封装热特性和设计的产能工具。当今硅设计集复杂性、高密度和高速度要求于一身，FloTHERMIC工具正是针对这样的市场趋势而开发的独特的在线平台，为设计项目以及各类热特性和验证提供高度自动化功能。     

一类广义分式规划问题的完全多项式时间近似算法

本文对一类广义分式规划问题,提出一种求其全局最优解的完全多项式时间近似算法,给出该算法的理论分析和计算复杂性,通过数值算例验证该算法是有效可行的.     

对称锥规划的邻域跟踪算法

本文把艾文宝的邻域跟踪算法推广到对称锥规划, 定义中心路径的宽邻域N(τ, β), 并证明该邻域的一个重要性质, 该性质在算法的复杂性分析中起到关键作用. 取宽邻域N(τ, β) 中一点为初始点并采用Nesterov-Todd (NT) 搜索方向, 则该算法的迭代复杂界为O(√r logε^-1), 其中, r是EuclidJordan 代数的秩, ε是允许误差. 这是对称锥规划的宽邻域内点算法最好的复杂界.     

Lower bounds of the topological entropy for nonautonomous dynamical systems

In this paper, lower bounds of the topological entropy for nonautonomous dynamical systems are given via the growths of topological complexity in fundamental group and in degree.     

Semi-Supervised Learning Based on Manifold in BCI

Abstract-A Laplacian support vector machine （LapSVM） algorithm, a semi-supervised learning based on manifold, is introduced to brain-computer interface （BCI） to raise the classification precision and reduce the subjects＇ training complexity. The data are collected from three subjects in a three-task mental imagery experiment. LapSVM and transductive SVM （TSVM） are trained with a few labeled samples and a large number of unlabeled samples. The results confirm that LapSVM has a much better classification than TSVM.     

康明斯PFR

作为一家美国财富五百强企业,康明斯所在的发动机/发电机行业在中国市场发展迅速,竞争激烈,市场环境发生快速而剧烈的变化,需要企业能够实现长远的战略性目标,又能够有快速的市场反应。康明斯通过构建一整套以全面预算为核心的计划、预算和报告体系,形成了应对管理复杂性的有效工具。     

移动支付艰难前行多标准共存分享饕餮大餐

处于第三代的移动支付在中国市场正在走向成熟,由于移动支付技术多样性和我国市场的应用复杂性,我国的移动支付市场将出现多种标准共存的局面,并会长期共存下去。