查询词典 formalisations

Is not whether can be formalised, but when we will see fully fledged formalisations of it

经济学家看到某个事物在实践中管用，然后纳闷它在理论上是否也说得通。

Echoing the joke that economists see something work in practice and wonder if it can work in theory, it adds that the question " is not whether can be formalised, but when we will see fully fledged formalisations of it ".

该机构补充表示，问题&并不是能否得到正式化，而是我们将在什么时候看到该理论的全面正式化版本&，这有点像在呼应一个笑话：经济学家看到某个事物在实践中管用，然后纳闷它在理论上是否也说得通。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。