查询词典 variational problem

This project has focused on the decidability problem and the axiomatization problem for LTLC, and the formal verification methods for real-time systems.

本项目研究了LTLC的可判定性、公理化及实时系统的形式验证等相关问题： 1。

Then the problem is further equivalent to a kind of Riemann boundary value problem on the real axis by extension of symmetry with respect to the real axis.

利用已有结果得到了该问题的可解性定理。

However, in the past few years, because of the phenomena of big prescription, backhander of drugs became more and more popular, drugs expenditure covered major part of medication charge, so medication problem has been a social-focused problem.

但是，近年来，由于大处方、回扣药等不合理现象普遍存在，药品在医疗费用中所占比例过高，使药品问题已成为社会关注的热点问题。

In the past few years, medication problem has been a social-focused problem for that material medical takes major part of medication expensive and the phenomena of big prescription, backhander of drugs become more and more popular.

近年来，由于药品在医疗费用中所占比例过高，大处方、回扣药等不合理现象普遍存在，使药品问题已成为社会关注的热点问题，所以目前对医保(参加城镇职工基本医疗保险的职工，以下同)与非医保(未参加城镇职工基本医疗保险的公费和自费患者，以下同)患者住院药品的评价研究显得尤为重要。

It causes a big problem in teaching. and it is also a problem that's baffle most teachers.

也是困扰农村英语课堂教学的一大难题。

In this paper we discussed the problem of balancing plane correlation on multiplane balancing and advanced a method to solve the problem which is based on truncated singular value decomposition technology.

对多平面平衡中平衡面相关的问题进行了探讨，并据此提出了解决的方法———截尾奇异值分解技术。

In chapter 1, the relations between spectrum displacement problem and controllability, observabiity for linear systems over a commutative Banach algebra have been discussed, the open problem about spectrum displacement posed by Kaashoek have been solved, and the if and only if conditions for stability, stabiizabit~ detectability have been obtained.

第一章，讨论了交换Banach代数上线性系统的谱配置问题与可控性、可观性的关系，解决了Kaashoek等提出的关于谱配置的公开问题，给出并证明了判定其稳定性、可稳定性、可检测性的充要条件。

In option problem there is a bargainer who receive the cash for selling option, but there is not an analogue in the problem of capital structure.

而且期权模式本身要求企业价值已知，也就谈不上资本结构是有关还是无关的了。

And on this base, constructing fuzzy support vector classification from three aspects (linearly classification problem and nonlinearly classification problem).

在此工作基础上，从两个方面构建模糊支持向量分类机。

The problem of based-on MPEG-4 video object segment is one of kernel problems of MPEG4 and a very complicated problem.

基于MPEG-4的视频对象分割是MPEG-4标准的核心问题，同时，也是一个非常复杂的问题。

Objective:To compare the response control and attention of Schizophrenic patients with that of the healthy controls by Integrated Visual and Auditorycontinuous performance test. To quantitate the impairment of cognitive function in patients, and to explore the relationship between cognitive function and the severity of the disorder.

目的：探讨精神分裂症病人在IVA持续操作测试中的反应控制能力、注意力等，并与健康人进行比较，从而量化精神分裂症病人的认知功能损害，并进一步探讨其认知功能与疾病严重程度的关系。

Main effective factors including subcooling degree, mechanical vibration, gas hydrate reformation, environment temperature, noncondensing gas and surfactant are analyzed.

指出过冷度、机械振动、重复生成水合物、环境温度、不凝性气体、添加剂是影响气体水合物生成的主要因素，还对R152a水合物的放冷进行了实验研究。