查询词典 in operation

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规格说明在工业界的推广应用。

Based on the research results of Chaos theory, in this dissertation, it has made detailed analysis of the chaotic signal generator. Firstly, the characteristic and various detection methods of chaotic signal are recommended. Secondly, with the aid of software, such as MATLAB, PSPICE, EWB, etc, discussion of the process of generating chaotic signal proceeds. Through simulation, the output result of several kinds of chaotic circuit are analyzed and compared. Thirdly, aiming at Chuas chaotic circuit, through debugging, the impacts by components and parts in the circuit, such as operation amplifier, capacity, inductor, etc, has been further investigated. And then provides a new scheme to implement Lorenz chaotic system, the circuit design and analysis are presented in detail and it can be realized by the hardware of programmable arrays FPGA, the experimental results indicate that this scheme has the advantages of easy operation, flexible design and high efficiency. An application example in secure communications is also provided. Finally, through picking up the characteristic parameter-Lyapunov exponent of the Chaos we can analyze the performance of different chaotic signal generators.

本文在混沌理论研究成果的基础上，对混沌信号的产生做了详细的分析，涵盖以下内容：首先介绍了混沌的定义，混沌信号的基本特性和各种判别方法，特别是对简单的一维Logistic映射的硬件实现问题做了初步探索；其次对混沌信号的产生方法进行讨论，借助于MATLAB、PSPICE、EWB等仿真软件，对几种混沌电路输出的混沌信号进行了分析比较，并在此基础上针对典型三阶连续自治系统Chua's电路作进一步实验研究，通过混沌电路调试，深入研究电路中各元器件，特别是运算放大器、电容、电感等对混沌信号时域以及频谱的影响；再次研究连续混沌系统的数字化硬件产生，设计了Lorenz混沌电路在现场可编程门阵列FPGA上实现的新方案，在保密通信中的应用实验结果表明该方案具有操作简单、设计灵活、效率高等优点；最后针对不同混沌系统，采取不同算法，提取混沌特性参数Lyapunov指数，进而对不同的混沌信号发生器的性能进行了分析。

For the residential market, select the overall quality of high brand, market and competitive advantages of real estate; affordable housing market in spite of low income, but low-risk, major support by the government, you can choose to intervene;商用房office market and the market , basic over-supply, and market volatility, and need to be treated with caution; land bank credit institutions, in strict accordance with the provisions of the ratio of the central bank issued, and we should focus on support for business space, from merit-based election, the closure operation, the whole track, strengthen monitoring, careful operation, agencies involved in land reserve land planning, acquisition, demolition, sorting, and development and the entire process of auction, the auction to ensure that the priority for return of funds to repay bank loans; second-hand housing market, relatively mature areas of concern; actively involved in national and regional development and construction projects, the focus of the market.

对于住宅市场，选择的整体素质较高的品牌，市场和竞争优势的房地产；负担得起的住房市场，尽管收入低，但低风险的，主要由政府支持，您可以选择进行干预；商用房办公室市场和市场的基本供应过剩，而市场的波动，需要谨慎对待；土地银行信贷机构，严格按照规定的比例，中央银行发行，我们应把重点放在支持商业空间，从任人唯贤的选举，关闭操作，整个轨道，加强监测，认真操作，机构参与的土地储备的土地规划，收购，拆卸，整理，开发和全过程的拍卖，拍卖，以确保优先为返回的资金，偿还银行贷款，二手房市场，比较成熟的关切领域；积极参与国家和区域发展和建设项目，市场关注的焦点。

In March of 2009, Modern reported Komatsu was combining its manufacturing facilities in Covington, Ga., and Komatsu America Corporation in Rolling Meadows, Ill. Komatsu's forklift production operation was moved from Covington, Ga., to Komatsu's Newberry Manufacturing Operation in Newberry, S.C. They said move would allow Komatsu to take advantage of available synergies, reduce overall operational expenses, and more effectively utilize assets.

在2009年3月，据报道小松整合了在Covington，乔治亚州的生产设施和在伊利诺伊州Rolling Meadows的美国小松公司，将小松公司的生产设备从卡温顿到了小松的纽伯里制造基地，他们说，此举将使小松利用现有的协同优势，降低整体运营成本，并更有效地利用资产。

Results On postoperative day 10, the cumulative nitrogen balance and the level of plasma fibronectin was significantly higher in rhGH group than in the placebo group (P 0.05). Furthermore, on 4 d and from 6 d to 9 d after operation, daily nitrogen balance was higher in rhGH group than in control group(P 0.05). Mean blood glucose levels were significantly higher in the rhGH group from 3 d to 6 d after operation (P.05). But hyperglycemia could be well controlled by insulin treatment.

结果 术后第10 d，rhGH组累积氮平衡和血浆纤维连接蛋白水平优于对照组（p＜0.05）；术后第4 d和6～9 d，rhGH组每日氮平衡均优于对照组（p＜0.05）；rhGH组治疗期间血糖水平升高，但程度较轻，可为胰岛素有效控制，未观察到严重并发症发生。

To accelerate the widespread of Synchronous Chip Seal and improve the operation quality of Synchronous Chipsealer, key techniques which influence the operation quality is studied detailedly, including the control of distributing quality, the dynamics characteristics of hydraulic system and the spray characteristics of asphalt nozzle of Synchronous Chipsealer.1 The factors which influence Synchronous Chip Seal quality are studied. Fiducial probability of simultaneous distribution density is advised to be used in evaluating the distribution bias and standard deviation of asphalt and aggregates simultaneously, which is more advanced than the single index evaluation method used before.2 The volume efficiency formula of asphalt pump is revised after analyzing the data of volume efficiency with mathematical statistics, which is helpful to match the asphalt spray system and control the flow out of asphalt pump accurately. With equation deduction and experiment, dynamic of hydraulic system used in Synchronous Chipsealer is studied, which lay the theory foundation on improving the stability and efficiency from design and controlling.4 Simulation on hydraulic system used in Synchronous Chipsealer is done with AMESim; the results indicate that multi-circle parallel connected hydraulic system with constant pressure power is better than that with load-sensing pressure power at present, because the latter will oscillate when the multi circles work at the same time. This conclusion has been proved during the debug of Synchronous Chipsealer.5 Asphalt nozzle characteristics, such as flat jet shape, flow distribution, are studied with experiment, the results indicate that cross quality of asphalt distributing is not increased linearly follow the increase of fan overlap level, the best point usually exists between two whole overlap level, asphalt distributing quality is better than±4% at the 2.5 overlap level, meets the superior specified in standard; The distribution quality of Synchronous Chipsealer can be increased by spray asphalt of different flow rang with nozzle of different diameter

为了加快同步碎石封层技术的推广，提高同步碎石封层设备的作业质量，本文对同步碎石封层设备作业质量的影响因素与控制方法、液压系统的动力学特性和沥青喷嘴的喷洒特性等关键技术进行了深入细致的研究：1研究了影响同步碎石封层作业质量的因素，提出了采用联合密度分布置信概率对同步碎石封层中沥青洒布量和碎石撒布量的系统偏差和标准差指标进行综合评价的方法，克服了传统评价方法只能对单一指标进行评价的缺陷；2采用数理统计的方法，研究了沥青泵的容积效率特性，修正了沥青泵容积效率公式，为沥青喷洒系统的匹配和沥青泵出口流量的精确控制提供了依据；采用数理方程推导与试验相结合的方法，研究了同步碎石封层设备液压系统的动力学特性，为从设计和控制的角度提高同步碎石封层设备液压系统的稳定性和效率奠定了理论基础；3运用AMESim软件对采用负载敏感控制和恒压控制的两种同步碎石封层设备液压系统进行仿真，结果表明：负载敏感控制的并联液压系统在多回路同时工作时，由于液压泵排量控制参考压力不稳定，容易引发液压系统振荡，恒压控制的并联液压系统是目前技术条件下比较理想的同步碎石封层设备工作装置驱动方案；该结论亦通过同步碎石封层设备装机试验得到了验证。4采用试验的方法对沥青喷嘴的喷洒特性进行了研究，结果表明：沥青洒布的横向精度并不是随着喷洒扇面重叠度的增加线性增加，其最高点通常出现在二个重叠度之间的"半重叠位置"，"2.5重叠"洒布时，沥青的横向洒布精度≤±4%，可以达到国家相关标准中的优级标准；同步碎石封层设备还可以根据不同洒布量情况下的流量需求，采用不同通径的喷嘴进行喷洒，提高沥青洒布精度。

In general, this paper includes several parts, shown as the following: The first part summarizes the background and outline of stock index future and introduce briefly its local status and CSI 300 stock index future contract. The second part has a retrospect of the main academic papers of both local or overseas, and also a discussion of relevant hedge strategies and models, to lay a solid theoretical foundation for the empirical analysis and test for the operation process of hedge in latter parts. The third part outlines the principle, key factors and real operation process of hedge. Moreover, it makes a empirical analysis on popular hedge models with HK Hang Seng index. In the end, it test the hedge effect of trading on IF0706, CSI 300 stock index future contract, with CCB select-growth securities fund as present underlying. The fourth and also the last part, explores how to define hedge ratio in china mainland market. It includes the stability test ofβfor local securities portfolio, adjustment of historicalβand best data length for estimation of historicalβ, etc. Also, the thesis makes some beneficial experiments on the definition of best data length for estimation of historicalβ, survey of fashion forβand variation for industryβs. Fortunately, it's got some meaningful results.

按照以上研究思路，本论文论述由以下几个部分构成：第一部分，简要概述股指期货产生的背景和基本情况，对国内股指期货进程和沪深300股指期货合约进行简单介绍；第二部分，回顾海内外股指期货避险研究的主要文献，讨论相关避险策略及避险模型，为后面套期保值策略如何有效运用的实证分析和检验提供理论基础和依据；第三部分，对套期保值的原理、关键因素及实际流程进行概述，并采用香港恒生指数对常用的几种避险模型进行实证分析，最后一揽子以建信优选成长股票型基金为现货标的，实际检验以沪深300股指期货模拟交易IF0706产品进行对冲时的套期保值效果；第四部分，探讨国内确定避险比率的过程，包括国内股票组合β值的稳定性检验、历史β值的修正及估计历史β值的最佳数据长度等，通过数据分析，本文在寻找估计β值的最佳数据长度和考察风格、行业β值的差异上做了较为有益的尝试，并得到了有助于现实操作的结果。

This experiment first studied in the mature nutrient medium to increase the hormone to the porine ovocyte in vitro mature process in the chromosome configuration and the mature rate influence, by explored the porine ovocyte in vitro mature rule, enhanced in vitro raise maturity, was the ROSI technology system preparation high quality ovocyte; Then has carried on the experiment in view of the porine round sperm cell in vitro separation, through to the ROSI operation and ICSI (Intracytoplasmic sperm injection, the comparison which ICSI) operated studies has affected the ROSI operation the factor.

本试验首先研究了成熟培养液中添加激素对猪卵母细胞体外成熟过程中染色体构型和成熟率的影响，以探索猪卵母细胞体外成熟规律，提高体外培养成熟度，为ROSI技术体系准备优质卵母细胞；然后针对猪圆形精细胞的体外分离进行了试验，进而通过对ROSI操作和ICSI(Intracytoplasmic sperm injection，ICSI)操作的比较研究了影响ROSI操作的因素。

The modular design of printNet system is divided into several application part, such as data processing tools, design tools, products, Business card printing tools, and solutions to technical tools, of which the highest is a design tool over the actions that it printLayout from page formatting and setting variables, but also can be used by an operator in a transform tool programming, so that the contents of the variables in a database in output for operations, now produetion of mostly to one-dimensional bar codes and encrypted bit or anti-false, the party is a method in the bar code by addition, subtraction, multiplication, Division, opinins Mo, and so after the results or the results of data, or the result is converted to the data that corresponds to a location in one of the ntehs detection accuracy is valid, just make a bit of the inverse operation, the operation that results in comparison with the original data, such as the same as the data is valid, such as different then the data is not valid, this scenario is the most simple and most primitive anti-counterfeit. PrintNet software to complex product environment " interpuntion and output the integration of integrated management " solution possible.

printNet系统的模块式设计分为几个应用部分，如数据处理工具、设计工具、产品制卡工具以及方案解决工具，其中技术含量最高的是对设计工具printLayout的操作，它除了设计页面格式和设置变量外，还可由操作员在转换工具中编程，以便对数据库中的变量内容在输出时进行运算操作，现在生产中应用的大多是给一维条码加校验位或是防伪加密，其方一法是将条码中的数据经过加、减、乘、除、取莫等运算后，将结果或将结果中的几位至于数据后，或将结果转换成对应符号放在数据中的某个位置，如须检测某一数据是否准确有效，只要把校验位上的数进行逆运算，把运算结果与原数据比较，如相同则数据有效，如不同则数据无效，这种方案是最简单最原始的防伪加密的方法。printNet软件系统使得在复杂产品环境下的&排版与输出一体管理&的集成解决方案成为可能。

Our algorithm stores a transaction in both HIV format and HIL format,and uses the information contained in HIL format to reduce the number of bit-wise "AND" operation.In this way,the number of "AND" operation in HIV format is equal to the number of non-zero figures in HIL format,having nothing to do with the length of the data in HIV format.

我们提出的挖掘高效用长项集的算法同时以水平项目向量(Horizontal item-vector，简称HIV)和水平项目列表(Horizontal item-list，简称HIL)两种格式存储事务，并利用HIL格式数据提供的信息减少比特级逻辑&与&运算的次数，使逻辑&与&运算的次数等于HIL格式数据的长度，与比特向量的长度无关。

She gently rebuff ed him, but agreed that they could be friends

她婉言拒绝了，但同意作为朋友相处。

If in the penal farm, you were sure to be criticized.

要是在劳改农场，你等着挨绳子吧！