查询词典 guarantee from

Aiming at the complexity of DSRC (Dedicated Short-Range Communication) protocol, the fuzziness and ambiguousness resulted from the natural language of the protocol, the protocol engineering method is adop ted to guarantee the integrality, correctness, security, portability and standardization of the protocol.

针对专用短程通信协议的复杂性以及协议本身由自然语言承载、存在模糊性和二义性的特点，采用协议工程方法来保证协议的完整性、正确性、安全性、可移植性和标准化，并采用SDL对DSRC协议进行形式化描述，在此基础上提出了DSRC协议验证的步骤和实现方法，并对所开发的协议SDL模型进行验证，结果表明了协议的逻辑正确性。

A complete set of check-up facilities is available (for example, refrigerator system water-detecting meter, tensile testing machine, analytical balance and so on). Strict and scientific test and quality control procedure guarantee high grade products and high appraisal from customers.

配用全套检测设备（如冰箱系统测水仪、拉力试验机、分析天平等等），以严格科学的质量检验和质量控制程序，确保了公司产品的高质量，并得到客户的高度认可。

In the chapter of improving banking supervision, we analyze the games with complete and incomplete information between supervisors and banks, and their strategies therein during the operating and market exiting stages. We come to the conclusion that in the long run, the supervision of operational risks should progress from direct surveillance to indirect surveillance. In the chapter of incentives and constraints, we first discuss the reform of personnel system (non- monetary rewards and punishments) and salary system in the SOBs, demonstrated with an optimal model. Then we show that it is feasible for senior executives of SOBs to bear a part of operational risk loss through a model of guarantee and compensation. It is a bold attempt in current situation when domestic liability insurance market is still not mature.

银行业监管一章，我们通过设计一组监管部门与国有商业银行的完全信息和不完全信息博弈，分析了它们在运营阶段和市场退出阶段的政策选择，并提出了对操作风险的监管在长期要实现从"直接监管"到"间接监管"的转变；激励约束一章，我们首先讨论了国有商业银行的人事制度与薪酬制度改革，并通过一个最优化模型给予说明，然后设计了一个操作风险损失保证金与赔偿金模型来说明让国有商业银行高级管理人员负担一部分操作风险损失的可行性。

So, the main tasks of bill broker" s system construction in our country are: sound and perfect relevant law, regulation, management organization and function about bill broker system, make the concept of the bill broker clear, confirm its status legally is especially important at present, and pay attention to integrating with the world; Strengthen entering system management and independent management of the security broker, perfect the structure and function of self-organized system by oneself; To the future transform trend of our broker mode of securities market mode from traditional type to "network manager","bill broker manager" and "fund manager", We should pay attention to setting up perfect management mechanism of risk and inside management system of bill broker"s system even more, enforce the financial rule, expand the scope of business, setting up systematic, perfect risk preventive and controlling system; To be strict in registration system of bill broker representative and qualification, guarantee professional quality and good quality of our bill broker representative team, pay attention to studying and using the rational incentive mechanism, strengthen the cultivation and development of bill broker representative team.

因此，我国证券经纪人制度建设的主要任务是：健全并完善有关证券经纪人制度的法律、法规、管理机构及其职能，明确我国证券经纪人的概念，确定其在西安理工大学硕士学位论文法律上的地位，并注重和国际接轨；加强证券经纪商的准入制度管理和行业自律制度建设，完善自律组织的结构和功能：针对未来我国证券市场经纪模式由传统型向"网络经纪"、"证券经纪人经纪"和"基金经纪"转化的趋势，我们更应该注重建立完善、科学的证券经纪人制度的风险管理机制和内部管理制度，严格财务制度，扩大业务范围，建立系统、完善的风险预防和控制体系；严格证券经纪代表的注册制度和资格审查，保证我国证券经纪代表队伍的专业素质和良好品质，重视研究和应用合理的激励机制，加强证券经纪代表队伍的培育和发展。

The Geothermal heating radiator is to replace the method has many advantages, but the iron in the boiler and piping rust, groundwater, water scale, timing and other high-temperature heating conditions for the one-time approach which it can not replace the pipeline pipe and can not guarantee that from the use of requirements and life.

地热取代散热器的取暖方法优点很多，但铁锅炉及管道中的铁锈、地下水，自来水的水垢、定时高温供热等这些条件，使一次性埋管做法无法更换管道，从根本无法保证使用要求及使用寿命，后患无穷，这也是业内人士共同担忧的问题，改变方法势在必行。

However, the academic circle has been disputing over it. Those who agree with Mr. Liang Huixing think it mostly from the angle of necessity of setting up the cessionary guarantee system.

同意梁先生观点的学者也大都与梁先生一样，是从设置让与担保制度必要性的角度考虑。

On the basis of defining the connation of energy finance, this paper analyzes the main issues and train of thoughts in the field of energy finance, and shows that the research of energy finance at present should be set off from three aspects: the finance security, risk prevention and the management method of energy industry; the financial policies of independent innovation and the policy guarantee system; the

论文在对能源金融的内涵进行界定的基础上，就能源金融领域研究的主要问题及研究思路进行了分析。笔者认为，目前我国能源金融的研究应从三个方面开展。

In chapter three, we prove that there exist solutions to the Ky Fan variation inequality, as the set-valued mappings are defined on spheres in infinite dimensional Banach spaces or odd dimensional Euclidean spaces, following from these theorems, we obtain some fixed point theorems for set-valued mappings defined on a sphere. When G is an approximate compact convex subset of E, or G is a almost quasi-convex set-valued mapping, we prove that there exist solutions to and type generalized Ky Fan variation inequality, following these theorems, we prove several best approximation theorems and coincidence theorems involving two set-valued mappings and two different spaces. In chapter four, we first present a new Simplicial algorithm for computing the Leray - Schauder fixed points, the algorithm can solve the set-valued nonlinear complementarily problem. We give a condition to guarantee the computation proceeding in a bounded region. We present integer-labeling algorithms for computing fixed points of some set-valued mappings, the best approximation points and solutions to a kind of set-valued variation inequalities.

第四章给出了计算定义在非凸集上的非自映射的Leray-Schauder不动点的算法，而现有的不动点算法都是计算凸集的上半连续集值自映射的不动点；给出了保证计算有界的一个充分条件，我们的条件大大弱于Mdrrill条件，我们的算法也可用来计算Eaves不动点；给出了集值非线性互补问题存在解的一个充分条件，此时可利用Leray-Schauder不动点算法来求解；向量标号算法以往是计算集值映射不动点的唯一有效算法，我们给出用整数标号算法计算一类集值映射的Kakutani 不动点的算法；定义在紧凸集上的连续映射不一定有不动点，但一定有最近点，最近点是不动点概念的推广，我们给出了计算最近点的算法；集值映射变分不等式尚无有效的求解算法，我们给出求解一类集值映射变分不等式的算法。

Subsequently, liang Yuxiang achieves written return from branch of Hainan of safe money danger, proof guarantee slip is truly forge.

随后，梁玉祥从平安财险海南分公司获得书面回复，证明保单确为伪造。

Materials of products .The guarantee period is one year from the date of purchase.

包括产品的性能和材料，保修期为从购买期的1年内。

This paper discusses design and realizable methods of remote test output interface from logical design angle.

本文从逻辑设计的角度讨论遥测输出接口的设计及实现方法。

This also 星体投射plies to buildings, structures and geological features.

这也适用于建筑物和地质特征。