搜索结果: 31-45 共查到“知识库 程序设计及其语言”相关记录1175条 . 查询时间(2.484 秒)
Safe-A Semantic Technique for Transforming Programs in the Presence of Errors
equational reasoning exceptions program optimization program transformation
2016/5/24
Language designers and implementors have avoided specifying and preserving the meaning of programs that produce errors. This is apparently because being forced to preserve error behavior severely limi...
Introduction to Set Constraint-Based Program Analysis
Set Constraint-Based Program Analysis
2016/5/24
Introduction to Set Constraint-Based Program Analysis.
The optimization of short sequences of loop-free, fixed-point assembly code sequences is an important problem in highperformance computing. However, the competing constraints of transformation correct...
基于网络的大学英语CAI课件的设计与开发
网络的大学英语CAI课件 设计 开发
2016/2/24
虽然自从改革开放以来,特别是进入九十年代以来,大学英语教学改革的口号愈喊愈响,近三、五年来素质教育的提法铺天盖地,倡导"以学生为主体、以教师为主导"教学原则的文章更是频频见诸报刊,采用多媒体教学的例子也时有报道,市面上也出现了为数不少的商业化英语教学课件,但是,由于种种原因,传统的教学模式依然占据着大学英语课堂的主体,各种名堂的改革、试验大多是小打小闹,甚至草草收场。学生学习英语的期望值同实际效果...
中文电子资源的二次开发与利用
中文电子资源 二次开发
2016/2/24
计算机与网络技术的飞速发展使文字的存储与传输发生了根本性的变化,以各种形式存在的电子素材为语言文字工作者和学习者提供了海量的研究资源。如何采用先进的技术手段对这些资源加以充分有效的利用,是摆在语言文字研究者面前的新课题。由于种种原因,目前中文电子资源的文件类型和格式多种多样,很难直接加以利用。另外,不少语言文字工作者对于计算机只停留在应用的水平上,对于如何利用计算机帮助自己进行研究感到很茫然,甚至...
An Implementable Scheme for Universal Lossy Compression of Discrete Markov Sources
Loss of the compressor discrete source coding sequence decoder lossless compression
2015/8/21
We present a new lossy compressor for discrete sources. For coding a source sequence xn, the encoder starts by assigning a certain cost to each reconstruction sequence. It then finds the reconst...
The dynamics of message passing on dense graphs, with applications to compressed sensing
Mohsen Bayatil Andrea Montanari
2015/8/20
‘Approximate message passing’ algorithms proved to be extremely effective in reconstructing sparse signals from a small number of incoherent linear measurements. Extensive numerical experiments furthe...
Tradeoffs in frequency-weighted H_infinity-control
Process control systems computer aided design controller function
2015/8/12
An important problem in H_infinity-control is the design of a controller that minimizes the H_infinity-norm of a closed-loop transfer matrix, multiplied by a suitable weighting function which reflects...
GPCAD: A tool for CMOS op-amp synthesis
Automation components transistors operational amplifiers design variables and functions
2015/8/11
We present a method for optimizing and automating component and transistor sizing for CMOS operational amplifiers. We observe that a wide variety of performance measures can be formulated as posynomia...
Integer parameter estimation in linear models with applications to GPS
Integer parameter estimation Linear model Integer least-squares GPS
2015/8/11
We consider parameter estimation in linear models when some of the parameters are known to be integers. Such problems arise, for example, in positioning using phase measurements in the global position...
A rank minimization heuristic with application to minimum order system approximation
Variable control system analysis and controller synthesis matrix rank linear matrix inequality (lmi) the positive semi-definite matrix variables
2015/8/11
Several problems arising in control system analysis and design, such as reduced order controller synthesis, involve minimizing the rank of a matrix variable subject to linear matrix inequality (LMI) c...
Advances in convex optimization: Interior-point methods, cone programming, and applications
Convex optimization linear programming nonlinear convex programming program robust
2015/8/11
In this talk I will give an overview of some major developments in convex optimization that have emerged over the last ten years or so. The basic idea is that convex problems are fundamentally tractab...
Log-det heuristic for matrix rank minimization with applications to Hankel and Euclidean distance matrices
Positive semi-definite matrix convex sets functions half positive definite matrix distance data
2015/8/11
We present a heuristic for minimizing the rank of a positive semidefinite matrix over a convex set. We use the logarithm of the determinant as a smooth approximation for rank, and locally minimize thi...
Geometric programming duals of channel capacity and rate distortion
Channel capacity convex optimization duality free energy geometric programming rate distortion
2015/8/11
We show that the Lagrange dual problems of the channel capacity problem with input cost and the rate distortion problem are simple geometric programs. Upper bounds on channel capacity and lower bounds...
Rank minimization and applications in system theory
Matrix the convex set system identification statistics signal processing
2015/8/11
In this tutorial paper, we consider the problem of minimizing the rank of a matrix over a convex set. The Rank Minimization Problem (RMP) arises in diverse areas such as control, system identification...