可证明的

We characterize the optimal value function as the viscosity solution of the associated Hamilton-Jacobi-Bellman equation and we prove that there exists an optimal barrier strategy which is optimal among all admissible dividend strategy in some special cases.

通过HJB方程的粘性解理论来刻画最优值函数，并证明了一些特殊情形下界策略在所有可允许的分红策略中是最优的。

To variational inequalities with separate structures, the thesis presents a descend method based on the alternating directions method, and some numerical results demonstrate that the new method is effective in practice.

对于结构可分的变分不等式，本文在交替方向法的基础上提出了一种下降方法，并给出了相应的算法收敛性证明与数值试验结果。

In order to solve such problems, a new multilevel security property based on a new concept of noninterference is introduced and the seurity property is proven to be composable in this paper.

该文介绍了一种新的基于无干扰概念的多级安全性质，并证明了它是可结合的。

Although the discipline of cryptography is at least two thousand years old, its algorithmic and mathematical foundations have recently solidified to the point where there can now be talk of provably secure cryptosystems.

虽然纪律加密至少二千年岁，它的算法和数学基础，最近凝固点那里现在可以谈的可证明安全加密系统。

Alternatively, if the three Gunas – Sattva etc.– are identical with Mahat etc., they should, like Mahat etc., be constituted by the combination of three things. Applying the same process of reasoning as above, we can prove that they are not eternal, but, like Mahat, subject to change.

从另一角度来说，如果贪、嗔、痴三德就像大等二十三法一样，是由三事所构成，那三德也就是二十三法，由以上所说的，同理可证明，它们都不永恒，像大等二十三法，是在变易中的。

In addition, they contain proven additives to protect equipment against rusting and to resist oxidation for long service life.

另外，这些润滑油中含有经过实践证明的添加剂，可防止设备生锈和抗氧化，从而使设备的使用寿命较长。

Supplementing with BCAA's has been shown to result in measurable gains in both muscle strength and size.

与补充支链氨基酸的已被证明可衡量的收益导致肌肉力量都和大小。

At the mean time higher dose increased its endure tolerance. 2. Extracting DNA from small sized insect proved that the size of the green peach aphid's genome DNA is about 21 kb.

此结果从分子水平证明处理F2代桃蚜的DNA发生了变异，揭示出紫外诱导可遗传的变异，且变异大小是由辐射时间和辐射强度共同决定。

The government has banned journalists from visiting the worst-affected areas, but some of the allegations of burning villages have been backed by satellite imagery.

埃政府已下令禁止记者进入局势最为严重的地区，尽管如此，通过卫星成像获得的照片仍可证明许多村庄遭到了焚毁。

No animal studies have been conducted and there are no adequate and well-controlled studies in pregnant women.

针 对动物或人类怀孕妇女，目前缺乏妥善设计且有对照组的研究，可证明此药物的危险性。

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。