可证明的
- 与 可证明的 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
After giving the concept and some elementary properties of subideals of Lie triple system,the author shows that every subalgebra of a nilpotent Lie triple systems is a subideal and a Lie triple system is solvable if every subalgebra is a subideal.
证明了幂零李三系的子系数都是次理想;当李三系的所有子系数都是次理想时,该李三系是可解的。
-
These demonstrated that Tet shortened the increase of open time, and therefore reduced the inflow of 〓.
这与本室前期在整体动物上证明的缺血时脑突触体内〓升高,以及Tet可抑制〓浓度升高的结果是一致的。
-
The name reflects the fact that their ownership is evidenced by transferable shares of capital stock.
他们的所有权是通过可转让的股份来证明的。
-
We introduce the concepts of differential and integral of fuzzycomplex functions on the space〓,and get their properties.We provethe depictive theorem of differentiable fuzzy complex functions.
在模糊复数度量空间〓上重新引进模糊复函数的微分概念和积分概念,给出了其微积分的基本性质,证明了模糊复函数可微的刻划定理。
-
The supply chain coordination with sales effort effects is explored. This work designs a contract to coordinate the supply chain in case of observable sales effort; it proves that the usual contracts can never coordinate the supply chain, but a modified scheme can improve the performance of the whole system in term of inobservable sales effort.
分析了进取型供需链的协调问题,如果促销行为是相互可观测的,设计了一种特殊合同策略来协调该系统,如果促销行为相互不可观测,则证明了常见合同策略无法完全使系统达到协调,但适当的设计可以改善系统性能。
-
Both the practice that administrative factual action is litigable...
国外行政事实行为可诉的实践及我国的行政赔偿诉讼实践均证明:将行政事实行为纳入行政诉讼范围是可行的。
-
Hill reaction The reaction, first demonstrated by Robert Hill in 1937, by which isolated illuminated chloroplasts bring about the reduction of certain nonphysiological electron acceptor with accompanying evolution of oxygen.
希尔反应:是1937年由罗伯特希尔首先证明的一种反应。离体叶绿体在光下可使某些非生理性的电子受体还原,并伴随着氧气的释放。
-
We first analyze the advantages and disadvantages of ID-Based group signature and provably secure group signature.
2我们首先分析了基于身份的群签名方案和可证明安全的群签名方案的优缺点。
-
It is the first attempt at drafting provably secure key agreement ciphersuites for RDP.
这也是有关通过新的可证明安全的密码套件提高远程桌面协议安全性的首次尝试。
-
It can sometimes use this authority to redefine the underlying legal standards, and then enter summary judgment against parties who fail to show a triable issue under the new standards.
行政机关有时可以利用这一权力重新界定基本的法律标准,然后进行不利于当事人(未能根据新标准证明存在某一可审判的争议问题)的即决审判。
- 推荐网络例句
-
On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.
另一方面,更重要的是由于城市住房是一种异质性产品。
-
Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.
气候直方图是将所收集的降水量测定值,分为几个相等的区间作为横轴,并将各区间内所测定值依所出现的次数累积而成的面积,用柱子排起来的图形,也叫做柱状图。
-
You rap, you know we are not so good at rapping, huh?
你唱吧,你也知道我们并不那么擅长说唱,对吧?