查询词典 formal derivative

Mainly thimble, reset rod, Secretary extinguishers (use of international standards such as the Japanese JIS, German DIN); SUJ2 derivative bearing steel columns, Introduction sets (using the Japanese "Fu Aventis" standard); jack mouth S45C high-quality steel products (use of international standards ), SKD11 Chong-pin, SKH51 straight needle, SUJ2 straight needle; there straight guide columns, occasional columns, sets of straight guide, care kits, gate kits rod guide column, bar ring, oblique derivative columns, quenching cylindrical, silver steel bars, flat die springs, black line round springs, high-speed steel Chong-pin, water Tsui, positioning ring, locking independent guide columns, sliding-oriented pieces, rolling-oriented pieces, heating tube , dual electric, high temperature wire, insulation casing, Nagarze wiring accessories such as mold.

主要有顶针、复位杆、司筒（采用国际标准如日本JIS、德国DIN）；SUJ2轴承钢导柱、导套（采用日本&富特巴&标准）；唧觜选用优质S45C钢材，SKD11冲针、SKH51直冲针、SUJ2直冲针；还有直导柱、托柱、直导套、托套、浇口套拉杆导柱、拉杆挡圈、斜导柱、淬火圆柱、银钢枝、模具扁弹簧、黑线圆弹簧、高速钢冲针、水咀、定位圈、锁扣独立导柱、滑动导向件、滚动导向件、加热管、电热偶、高温导线、绝缘套管、接线卡子等模具配件。

XVI. Banking financial institutions shall timely provide institutional clients with the market information of the derivative products that have been traded, re-estimate the market value of the derivative products that have been sold to the institutional clients at least once every month, provide the re-estimation results to the institutional clients in the form of written estimation reports or risk presentation letters delivered by letter, e-mail, fax or any other recordable way, and make sure that the relevant materials are received by the institutional clients in time.

十六、银行业金融机构应及时向机构客户提供已交易的衍生产品的市场信息，至少每个月对与机构客户交易的衍生产品进行市值重估，将市值重估的结果以评估报告、风险提示函等形式通过信件、电子邮件、传真等可记录的方式向机构客户书面提供，并确保相关材料及时送达机构客户。

For derivative transactions which they are unable to price or valuate, they shall get the key estimation parameters and other information from parties making quotations and, provide by letter, e-mail, fax or any other recordable way, such information to institutional clients in writing so as to improve the transparency of the re-estimation of the market value of derivative products.

对于自身不具备定价估值能力的衍生产品交易，应向报价方获取关键的估值参数及相关信息，并通过信件、电子邮件、传真等可记录的方式向机构客户书面提供此类信息，以提高衍生产品市值重估的透明度。

In consideration of you, as my/our agent, form time to time purchasing derivative products on my/our behalf at my/our request, in all the derivative transactions which you

於贵公司，作为我/我们的代人，将会根据我/我们的要求，在所有的衍生产品交中，代表我/我们购买衍生产品，尽管贵公司可能会因为或只协议书的一部份而归咎於贵公司。

Methods:Liquid-liquid extraction was used to enrich and purify the samples.By studying the experimental conditions such as the extraction solvent,the derivative temperature and the derivative time,etc.

采用液液萃取法进行样品的富集和净化，通过对萃取溶剂、衍生温度、衍生时间等试验条件的筛选研究，确立了2，4-二氨基甲苯的气相色谱分析方法。

To reduce or remove size effect, the size classification elimination method, volume average method and normalization method based on volume were presented and the calibration and prediction results indicate that these three methods could reduce or remove the size effect effectively. The normalization method is more suit to in-line application and obtained better calibration and prediction results with the r of 0.789, 0.858 and 0.947, the RMSEC of 0.596, 0.499 and 0.313, and the RMSEP of 0.606, 0.686 and 0.413 than the results without normalization with the r of 0.716, 0.793 and 0.848, the RMSEC of 0.678, 0.592 and 0.515 and the RMSEP of 0.825, 0.764 and 0.714 for the original spectra, the first derivative spectra and the second derivative spectra with soluble solids content using partial least square method , respectively. 4. Owing to much thick skin of watermelon, contrast experiment was conducted in skin-peeled watermelon and intact watermelon to compare the influence of skin on spectra.

针对西瓜果型大且差异显著的特点，研究果型差异对可见／近红外光谱以及建模与预测结果的影响，并提出三种方法消除或减小这一影响因素，分别是分级消除法、体积平均法和基于体积的正则化方法，其中基于体积的正则化方法，更适合在线生产应用，该方法使果型大小差异明显样品的原始光谱、一阶微分光谱、二阶微分光谱在对可溶性固形物含量检测时，采用偏最小二乘法的建模与预测结果由原来的校正相关系数r分别为0.716、0.793、0.848提高到r分别为0.789、0.858、0.947，均方根校正标准偏差RMSEC由原来的0.678、0.592、0.515分别降为0.596、0.499、0.313，均方根预测标准偏差RMSEP由原来的0.825、0.764、0.714分别降为0.606、0.686、0.413； 4。

It can be realized at lexico-grammatical level by informal slang, vulgarisms, ellipses, tags, etc., formal complex sentences, nominalization, and vocatives, modalization with both formal and informal style; at phonological/graphological level by allophone/allograph.

人际功能在词汇语法层体现为非正式的俚语、俗语、省略句、附加句等，正式的复合句、名物化结构和正式与非正式兼有的称呼语、情态等；在音系/字系层体现为音位/字位变体；其中方言可表现出词汇语法和音系/字系特征。

It is important for the application of formal approach and formal specification in all stages of software development to study and design automatic refinement from Z to high-levellanguage: Insure complete formalization in all stages of software development; Avoid antilogy in refinement due to mistaken operation or computative mistake and insure consistency and integrity of system; Due to avoiding manual operation in refinement process, it is feasible to bulid a compile environment that Z specification automatic refine and form high-level programme, this will accelerate the promotion and application of Z in industry.

Z到高级语言自动求精的研究与设计对于形式化方法及形式规格说明应用于软件开发的各个阶段具有非常重要的意义：确保了从需求分析阶段开始的软件开发周期的完全形式化；避免了人工的误操作或演算错误导致的求精前后不一致，保证了系统的一致性和完整性；由于求精过程避免了手工操作，因而Z规格说明自动精化为程序代码的编译环境可以建立，这将会加速Z规格说明在工业界的推广应用。

Just as assumpsit provided the formal framework for the law of contract, trespass on the case provided the formal frame for the development of the tort of negligence.

正如违约赔偿之诉为现代合同法提供了一个形式框架，"侵害之诉"也为过错侵权法的发展提供可循之路。

Provable Security is a formal method for proving the security of cryptographic schemes, in which the difficulty of breaking a particular scheme is formally related to that of solving a widely believed computational hard problem. Provable security has already become an important theme of theoretical researches in modern cryptography. This dissertation investigates the provable security of public-key encryptions and hybrid encryptions of asymmetric and symmetric encryptions. This includes the various formal security notions and the constructions can be proved to achieve them. Among the constructions, hybrid encryptions are themselves an important way to obtain public-key encryption schemes with chosen ciphertext security. The main results are as follows:(1) The one-wayness of the trapdoor one-way function in NTRU depends on the randomness of the session key, which is different from previous ones. Based on this observation, a new kind of trapdoor one-way function, trapdoor one-way functions with an auxiliary random variable is proposed.

可证明安全性是一种证明密码学方案安全性的形式化方法，它将密码学方案的安全性归约为公认的计算难题，已成为现代密码学领域中理论工作的主线，本文主要研究公钥加密与单双钥混合加密的可证明安全性，这包括它们的各种形式化安全性定义以及达到这些安全性定义的方案构造，而单双钥混合加密本身也是一种构造选择密文安全公钥加密的重要方法，本文得到的主要结果如下：(1)在研究NTRU公钥加密的特殊性基础上，对于公钥加密的陷门单向函数加密模型进行了扩展，提出了具有辅助陷门单向函数的概念，并将其扩展到多元的情况，讨论了可能的密码学用途。

According to our present broadcasting situation,the thesis proposes using new technology to update and reform the present HFC. It also suggests broadcasting using self-advantage and arranging EPON in order to win the supermarket.

论文从我国广电的现状出发，结合实际，积极倡导采用新技术更新、改造我国现有的HFC网络；倡导广电现阶段利用自身优势，部署EPON网络来赢取市场。

A new general kinetic equation was derived in which the effect of the removal of condensation water was taken into account completely, and was applied to the polyesterification kinetic study of AA/HPHP and AA/NPG. It was found that the reaction order of self-catalyzed polyesterification was not constant. For these polyesterifications, the reaction order was 2.5 at a low temperature, while 3.0 at a high temperature.

考虑缩合水的排除对反应体系的影响，用体积浓度单位推导出一个新的聚酯反应总包动力学方程，并应用到AA/HPHP和AA/NPG两个聚酯化反应的动力学研究中，研究发现，自催化聚酯反应的反应级数并不是固定值，对于AA/HPHP和AA/NPG两个聚酯化反应而言，低温时反应级数为2.5，高温时反应级数为3.0。