方法

According to the needs of individual three-dimension human-form modeling, the improved measurement method is suggested, in which the traditional contact measurement method of mannequin and the measurement of human additional characteristic, such as the thickness and width, interval of breast, breasts' highth, buttocks high and so on, are combined.

研究了三维人体数据的获取方法，主要分析了接触性测量和非接触性测量方法的特点，根据个性化人台建模需要，提出基于服装行业传统的接触性测量方法的改进的数据测量方法，提出增加测量人体附加特征尺寸，例如胸径厚度、乳间距、乳高、臀高等特征尺寸。

To conquer limitations of existing techniques for developing loop invariants, professor Xue Jinyun, who is imbursed under two National Nature Science Foundation of China, systematically research the theory and method of loop invariants and advanced the new definition and developing strategies for loop invariants. Based on above, he presented efficiency method of developing algorithmic program, Partition-and-Recur Approach, and its developing environment which bring into important play in formal method.

为了克服已有循环不变式开发技术存在的局限性，薛锦云教授在两个国家自然科学基金课题&若干新的算法程序设计和证明方法研究&和&实用的软件形式化方法及其开发工具的研究&的资助下，对循环不变式的理论和方法进行了系统的研究，提出了关于循环不变式的新定义和新的开发策略，并在此基础上形成了一种实用的算法程序形式化开发方法及其开发环境，在复杂算法程序及软件形式化开发中发挥了重要作用。

Comparison with grain size measured under proper conditions using traditional methods shows that the lase...

将合适条件下测得的软土粒度分布与传统方法得到的结果进行了对比分析，结果表明，激光粒度仪测量的粒径分布范围较广，采集的数据点比传统方法要密，测量的精度要高于传统方法，因此可以用激光法代替传统方法，以快速准确地测得软土的粒度分布。

The paper makes description of effective box beam construction technology and workmanship which can be adopted in other projects,such technologies as:manufacturing and fixing of reinforcement,steel reinforcement fixing baseplate,web plate and top plate respectively and lifting the steel skeleton into form,requirements of design and manufacturing and way of utilization for dismantling-erection type formwork and hydraulic formwork,optimization of concrete ratio,concrete pouring process of two ends of beam in priority over the middle,in sequence of first baseplate followed by web plate and top plate at last,concrete pouring in inclined section and in horizontal layer,concrete vibration mainly byexternal vibrator in assistance with internal vibrator,methods and regulation for steam curing of concrete,dual controls over stress and strain to ensure quality of prestressing workmanship,construction method of effective beam moving by heavy-weight special moving facility,some regulations and key notes about construction of grouting under pressure,beam ends sealing,water-proof layer on the bridge surface system,protective coating.

文中介绍的采用胎具制作和绑扎钢筋，分底腹板和顶板分别绑扎并吊装钢筋骨架入模；拆装式和液压式两种模板的设计、制作要求和使用方法；综合考虑、优化混凝土配合比，混凝土灌注从两端至中间、先底板、后腹板、再顶板的施工顺序和斜向分段、腹板水平分层、附着式振捣为主、插入式捣固为辅的施工工艺，蒸汽养护的方法和规定；应力～应变双控制确保预应力施工质量的施工技术；采用重物移运器有效移梁的施工方法；压浆、封端、桥面防水层和保护层施工的一些规定和注意事项等都是对箱梁制造行之有效的施工技术和施工方法，并可为以后类似施工作借鉴。

One-dimensional linear projection methods includes Eigenface method and Fisherface method and so on.Two-dimensional linear projection methods includes two-dimensional principal component analysis and two-dimensional linear discriminant analysis,as well as a series of their expanded methods and so on.

其中，基于一维线性投影的方法包括特征脸方法和Fisher脸方法等；基于二维线性投影的方法包括二维主成分分析和二维线性判别分析，以及它们的一系列拓展算法等。

Implicit-pressure-explicitconcentration method was used. To assure the reliability of solution, including single point upstream, two-point upstream, LUDS method, and high order method based on LUDS; and material balance check is also provided.

模型采用了隐式压力和显式浓度的求解方法，为了保证求解的可靠性，采用了多种差分机制，包括单点上游权、两点上游权、LUDS方法和基于LUDS方法的高阶方法，并提供了物质平衡校验机制。

However, there still leaves much to think about the agent systems'software engineering process and methods. In this field, some valuable and important works have been put forward, such as MaSE, Gaia, MESSAGE/UML, etc. Each of them pays attention to one or several aspects of agent system, but few of them give enough thought to the dynamic properties of agent system's role-based organization. Most of these works begin with analyzing system's static role models and transforming them into agent models, and then succeeding make detail design and later implementation.

需要指出的是，在MAS研究的数十年来，研究人员已经对Agent体系结构、意图理论等进行了深入的研究，但也许是出于对人工智能的偏爱，现有的对多Agent系统开发方法的研究不够深入，尽管已经出现了一些广为人知的软件开发方法，比如MaSE，Gaia，MESSAGE/UML等，但这些方法并没有清晰地给出其所依赖的概念模型；此外，在基于角色的面向Agent开发方法中，往往对角色概念以及角色与Agent的关系没有给出明确而深入的刻画。

This method is most special is the principle of simple and clear, setting out the process visible and tangible, it is applicable to a little bit knowledge of sheet l scene lofting geometry, which is a revolutionary approach, which not only greatly reduced the mapping workload, but also a great convenience in construction. Same time, it can also be a more traditional method (open show diagram drawing or galvanized sheet cut oil felt like, after re-opening in the pipe body gestures draw the cutting line method) is more accurate and pipe sections match exactly between the butt, thereby ensuring the steel fork tube and bend production quality.

该方法的最大特就点是原理简单明了，放样过程看得见摸得着，很适用于稍有一点几何常识的钣金工现场放样，这是一革命性的方法，它不仅大大地减少了制图工作量，而且也极大方便快捷了施工，同时它还可较传统方法（绘制开口展图后用油毛毡或镀锌板裁样再后在管身上比划绘出开口切割线的方法）来得准确无误与管段间对接严丝合缝，进而保证钢岔管和弯头的制作质量。

Among the present methods for protein detection using aptamers, some of them are with high sensitivity, some with high sensitivity but require expensive instrument. This study takes use of aptamer modified by Au naloparticle to construct a new method for protein detection. This methos can fastly detect proteins with high sensitivity compairing to other methods, and requires no expensive instruments. It has wide application prospect and large market value.

当前利用Aptamer的蛋白质检测方法，有的灵敏度不是很高，有的虽有较高灵敏度，但需要昂贵的仪器，本研究利用金纳米颗粒(Au nanoparticle，Au NP)修饰的Aptamer来建立一个蛋白质检测的新方法，与其他方法相比，本方法有较高灵敏度、不需昂贵仪器，简单快捷，具有广泛的应用前景和巨大的市场价值。

Chapter one of this text has recommended the foreign insurance to apply financial economy to the products pricing method of insurance company, but these methods have not explained how to determine the fair premium of the multiple-line insurance company .In order to solve many business line insurance company pricing problem, chapter two introduce an very important model in insurance company capital allocation field - MR capital allocation model, through deriving capital allocation formula and simulation analysis indicate MR model allocate multiple- line insurance company capital scientifically. In order to apply MR model to non-life insurance pricing, chapter three will extend MR model to introduce loss 3 and layer P . Since the premise of MR model is a certain market price of loss, the chapter four will use the risk-neutral probability transformation technique to get the market value of loss. Under lognormal distribution, we will use location parameter shift and proportional PH transformation to illuminate the technique. The final chapter combines the prior sections result to deduce out the fair premium formula, and apply it to price the catastrophe insurance.

本文的第一章介绍了国外保险业将财务经济学应用到保险公司产品定价的方法，但是这些方法都没有说明如何确定多业务线保险公司的公平保费；为了解决多业务线保险公司定价问题，第二章引入保险公司资本配置领域非常重要的一个模型—MR资本配置模型，通过推导资本配置公式及模拟分析表明MR模型科学地配置了多业务线公司的资本；为了将MR模型应用到非寿险公司的定价中去第三章扩展了MR模型，引入了损失β和层β的概念：由于MR模型的前提条件是有一个确定的损失市场价值，第四章利用风险中性转化方法获得损失的市场价值，在损失为对数正态分布的条件下，通过位置参数转化和比例危险转化方法给出了实例说明；第五章结合前几章的结果给出非寿险公司公平保费的定价公式，并运用它给出了巨灾保险价格的模拟分析。

And discuss some key point of integrated management system design, include hazard identification and risk assessment and risk control in the occupational health and safety management, the measure of satisfaction target of customer, the flawlessness of law system, the integration of the integrated management system and enterprise standardization system, unify lead institution and work orgnization, integreted internal audit and integrated management review.

同时，论述了一体化管理体系构建中的几个主要问题，包括职业健康安全管理中的危险源辨识、风险评价和风险控制、顾客满意度的科学监测、法律、法规体系的完善、一体化管理体系与企业标准化体系的有机结合、统一的领导机构和工作机构、一体化的内部审核和管理评审。

Deepwater Taranaki is investigated for its petroleum potential, using all available seismic data tied to shallow-water wells.

运用与浅水井相关的现有全部震波探测数据考察了深海区塔拉纳基盆地的油藏前景。