可证明的
- 与 可证明的 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
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 this paper, we study characterizations of admissible in the general linear model Y, Xβ,ε|ε~(0,σ~2∑. We demonstrate that an admissible linear estimator is as the conditional generalized ridge-type estimation in the no constraint, equality constraint, inequality constraint general linear model. We study the superiority of this conditional generalized ridge-type estimation, and prove that it is superior to the restricted best linear unbiased estimator in terms of mean squares. We also give the choice of the matrix K.
本文主要研究了一般线性模型Y,Xβ,ε|ε~(0,σ~2∑中参数估计的可容许性特征,得到了一般线性模型在无约束,有等式约束及有不等式约束下,可容许线性估计均具有条件广义岭估计的形式的结论,并且讨论了这一条件广义岭估计的优良性,证明了其在均方误差和均方误差矩阵意义下都优于约束最小二乘估计,给出了参数矩阵K的选取方法。
-
Concerning this problem, we put forward a kind of Stochastic Colored Petri Net, analyzed the limitary and reachable, and proved that SCPN is same as a continuous time Markov chain.
分析了它的有界性和可达性,证明了它同构于一个一维连续时间的马尔可夫链;同时,也分析了随机着色Petri网用于建模和系统性能定量分析的方法。
-
It is explained that the new system is srtong, credible, wieldy, efficient, exoteric, flexible and patulous. further more, the new system can fit for diversiform demand.
实践证明此次开发的系统具有很好的稳定性、安全性、运行效率高、使用方便;同时具有开放性、灵活性与可扩展性等特点,可适应需求的不断完善和发展。
-
For preparing for the researches of text digital watermarking and advantaging other researchers" development when using the Chinese mathematical expression theory, this paper designs and realizes a development platform of Chinese mathematical expression. It has been proved by experiments that the platform"s function, execution speed and stability can satisfy the requirements of conversion and operation of enormous data.This research found out that the structure information of Chinese have plenty redundant information that can be used by the Chinese mathematical expression for the digital watermarking, the data embedded can possess better robustness. Based on this finding, this paper designs a kind of text digital watermarking method of embedding watermarking by using Chinese structure, and realizes the method by using the Chinese mathematical expression platform.Considering the watermarking embedding algorithms importance to the robustness of the text digital watermarking, this paper makes fully use of the advantage of the Chinese mathematical expression theory to design a kind of layered text method, which has being realized by using the Chinese mathematical expression platform. The layered text method can handle the text as a solid structure, and the embedding data havepreferable robustness.Finally, based on the researches of the text digital watermarking method and the text layered method, this paper integrates the method of making use of the Chinese structure embedding watermarking with the robust algorithm based on text layered, and realizes a brand-new text digital watermarking method. Proved by lots of experiments, this brand-new method has good robustness and better invisibility.
为了为研究工作做准备和方便其他使用汉字数学表达式理论体系的人进行开发,本文基于汉字数学表达式理论设计实现了一个汉字数学表达式平台,实现了Unicode汉字集中的汉字、汉字数学表达式、汉字的Unicode码之间的相互转化、依据汉字数学表达式提取汉字的结构信息、由汉字数学表达式在非中文平台上不依赖字库显示汉字的图像等功能,使用复合文档技术和流压缩技术进行数据的存储,使用对汉字数学表达式进行二叉树拆分来处理汉字数学表达式中包含的信息,使用自定义哈希函数来提高运行速度,实验证明,该平台功能、速度和稳定性完全能满足大量数据的转化和运算要求;通过研究表明汉字的结构信息中存在大量可使用汉字数学表达式理论加以利用的水印加载空间,加载在该空间的数据可以具有较好的鲁棒性,基于此,本文设计了一种利用汉字结构加载水印的文本数字水印方法,并使用汉字数学表达式平台将其实现;由于水印嵌入算法对于文本数字水印的鲁棒性至关重要,本文充分利用汉字数学表达式理论的优点,设计了一种文本分层的方法,并使用汉字数学表达式平台将其实现,使文本成为一个立体的空间,使嵌入在其中的数据具有更好的鲁棒性;最后在基于汉字数学表达式的文本数字水印嵌入方法的研究和基于汉字数学表达式的文本分层方法的研究的基础上,结合利用汉字结构嵌入水印的方法和基于文本分层的抗攻击文本水印嵌入算法实现了一种全新的文本数字水印方法,经实验证明,该方法有良好的鲁棒性和较好的隐蔽性。
-
Making use of double elastic cavities module, the software of this system can...
对比实验和可重复性实验证明本系统具有良好的准确性和较高的可重复性。可以被开发为临床应用的产品,更适合家庭使用。
-
For the mode of legislation, it is suggested that a principle regulations to be made while the detailed applied situation and conditions are specified further in judicial explanation; regarding the applied situation, give four kinds of examples as shortage of capital, mixing of company, property of shareholders, business and personality, avoid the liability of contract and legal liability using of company personality; when making judgment, such three parts as main body, action and results have to be considered. The voluntary creditor and forced creditor consists of prosecutor, those person who abuses the force of company is the defendant who has the act of abusing company personally resulting in bad effect; the responsibility of producing of evident may refer to those of courts of Germany, which is proved by prosecutor, after that, the defendant provides the evident that he has a proper action for the suit of company or his action is not the direct cause for the loss of company; the legal effect of disregarding of corporate personality is to deprive the rights of limited liability of shareholders and shall undertake the affiliated liability according to different situations of company debts, however, it is clear that the legal effect is only limited to the special legal relationship in the specific case; the exercising body is made by court while the corporate personality might not be disaffirmed directly in exerting process; finally, it points out the real essence and also its real sense and difficulties in practice.
对立法模式,建议成文法中只做原则性规定,而具体的适用情形、适用条件等规定可以在司法解释中进一步作出明确规定;对适用情形,根据我国实际列举了资本显著不足、公司与股东财产、业务、人格的混同、利用公司人格规避契约义务和逃避法律义务四种大类;审判时应考虑的要件包括主体、行为、结果三大要件,自愿债权人和非自愿债权人构成原告,对公司有控制力的滥用者为被告,要有滥用公司人格的行为,并有损害的结果产生;举证责任可参照德国法院的做法,由原告提供初步证据证明公司存在滥用公司人格的行为,而后,由被告提供证据证明自己与涉诉公司的关系是正当的,或自己的行为与原告的损失没有因果关系;否认公司人格的法律效果是剥夺股东在个案中的有限责任的权利,视不同情形对公司债务承担连带责任,但应明确法律效力仅限于个案中的特别法律关系;行使主体应由法院的审判庭行使,而不宜在执行程序中直接否认公司法人人格;最后对逆向揭开公司面纱作了探讨,指出其现实意义和实践难点。
-
The results of the experiments show that it can kill the colon bacillus and golden staphylococcus that attach to the seats of the automobile, the mouth of the air-conditioner,the handle of the door,steering wheel,instrument panel,the inside and the floor of the automobile as well as the shoe closet,washroom,cupboard,air-conditioner,sement,etc,in one minute.The rate of removing and killing the bacteria can be as high as 98.5%.It can also remove the sweat smell of the seats,cigarette smell and the smell of leftover effectively,so it has the functions of sterilizing,removing smell and purifying the air in the automobile.The fragrant cvan last a long period of time and you will refresh yourself and feel energetic with it.It is an environmental protecting product and has no side effects.
实验证明:本品可在1分钟内清除附着在汽车座椅、空调口、门把手、方向盘、仪表台、车内壁、底板及家庭鞋柜、洗手间、橱具、家用空调、下水道、地下室等各部位的大肠杆菌、金黄葡萄球菌等,清除率98.5%,还能有效清除汽车座椅上吸附的汗味、烟味、食物碎沫发出的异味,达到杀菌除臭抗菌作用,可净化车内空气,并长期保持防香,提神醒脑,令人精神百倍。
-
Modern medicine to prove: camellia oil rich in oleic acid, and linoleic acid and linolenic acid content of the proportion is also larger and reasonable, and tea oil contains olive oil does not have a specific physiologically active substances, such as: camellia saponin, camellia saponin, tea polyphenols phenol, etc., including: the role of camellia glucoside has a strong heart, camellia saponin with thrombolytic effect, and tea polyphenols have lower cholesterol levels, the chemical prevention of cancer and many other effects, can prevent various cardiovascular and cerebrovascular diseases; Moreover, tea oil free can cause human carcinogen aflatoxin, as well as erucic acid, saponin, and gossypol and other harmful substances, the elderly can benefit from the consumption of tea oil, tea oil is therefore referred to as longevity oil.
现 代医学证明:山茶油中富含油酸,并且亚油酸、亚麻酸含量比重也较大且合理,茶油中含有橄榄油所没有的特定生理活性物质,如:山茶甙、山茶皂甙、茶多酚等,其中:山茶甙有强心作用,山茶皂甙有溶血栓作用,而茶多酚具有降低胆固醇、化学预防肿瘤等多种作用,能预防各种心脑血管疾病;而且,茶油不含可引起人体致癌的黄曲霉素以及芥酸、皂素和棉酚等对人体有害的物质,老年人可因食用茶油而得益,所以茶油被称为&长寿油&。
-
By suspending cell culture from the callus of P. thugbergii and by fluorescent observation, a new method, which is easy and sensitive to observe cell activity and to test the phytotoxicity of various bacteria, was used. This method can be utilized to study the bacterial toxins. Cultured filtrates of some strains of the nematode-carrying bacteria were bioassayed for their toxicity to suspending cultured cells from P. thugbergii callus. Strong toxic effects were observed by the filtrates of Pseudomonas spp., P. fluorescence, and Sphingomonas spp., these bacteria species are coincide with those in the early stage of pine wilt disease.
本试验使用了黑松愈伤组织的细胞悬浮培养方法,用荧光方法观察各种细菌对植物细胞的毒性测定,这种方法具对细胞的活性观察容易、灵敏度高等特点,证明可用于细菌的毒素研究;对松材线虫携带的细菌的部分菌株,用其培养滤液对黑松愈伤组织的悬浮培养细胞的生物测定初步证明,松材线虫携带的细菌中以假单胞菌、荧光假单胞菌和少动鞘氨醇单胞菌的滤液对黑松细胞具有较强的毒性,这与松树发病早期出现的细菌种类相一致。
- 推荐网络例句
-
Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).
呼气,收缩臀部肌肉;拱起身体,尽量抬起头来,右腿伸直朝向天花板(膝微屈,以避免肌肉紧张)。
-
The cost of moving grain food products was unchanged from May, but year over year are up 8%.
粮食产品的运输费用与5月份相比没有变化,但却比去年同期高8%。
-
However, to get a true quote, you will need to provide detailed personal and financial information.
然而,要让一个真正的引用,你需要提供详细的个人和财务信息。