可开发的

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模型进行验证，结果表明了协议的逻辑正确性。

The foundation of this system provides a good reference to promote the standardization and intelligence of the overhaul and maintenance of vacuum switches. This paper develops a special HF pulse power supply for internal pressure estimation, which achieves the output of HF-HV sinusoidal pulse wave whose frequency and amplitude can be modified respectively, and meets the design requirements according to the results of Simulink simulation and practical experiments. With the help of AT89S52, this paper designs an I~2C serial bus based signal detection system for peak value signal acquisition of HF pulse currents, which communicates with the upper computer by asynchronous serial communication for uploading the data. In the upper computer, a human computer interface is developed by Matlab software, whose functions are to do some computation and graphic display, such as calibrating the relation curve of vacuum degree and peak value of HF pulse currents, vacuum degree computation, and vacuum lifetime evaluation analysis basing on grey forecasting model as well as making relative suggestions.

本文研制了用于真空度检测的高频脉冲电源，通过Simulink仿真和试验检验其满足设计要求，实现了电压幅值和频率独立可调的正弦波高频高压脉冲输出；利用以AT89S52为核心基于I~2C串行总线的信号检测系统实现高频脉冲电流峰值信号的采集，通过异步串行通信实现单片机与计算机之间的数据通信，将检测数据传至上位机；在上位机利用Matlab开发人机交互界面，实现相关数据处理和图形显示，包括真空度——高频脉冲电流峰值关系曲线标定、真空度数值计算、基于灰色预测模型的真空寿命评估分析和提出相应决策建议。

Authorities shall consider all available evidence on the proper allocation of costs, including that which is made available by the exporter or producer in the course of the investigation provided that such allocations have been historically utilized by the exporter or producer, in particular in relation to establishing appropriate amortization and depreciation periods and allowances for capital expenditures and other development costs.

主管机关应考虑关于成本适当分摊的所有可获得的证据，包括出口商或生产者在调查过程中提供的证据，只要此类分摊方法是出口商或生产者一贯延续使用的，特别是关于确定资本支出和其他开发成本的适当摊销和折旧期限及备抵的证据。

Xufu culture-oriented travel products constituted by the legends, the place of Xufu launched out, Penglai cloudland and some products from Japan, Korea and Southeast Asia and the Qin Huangtao local folk custom resources are mass-based and marketable.

秦始皇、徐福、茅焦等系列资源及传说故事具有广泛的基础，可同徐福出海地、蓬莱仙景及日本、韩国、东南亚一带的相关产品等组合而成徐福文化旅游产品，秦台地方民俗资源及由此开发的系列旅游产品具有广泛的群众基础和市场基础，符合当前游客的需要。

This paper presents the design and development of a DSP2812-based mobile sensor network experimental platform,which is composed of sensor nodes equipped with low cost,low power sensors and wireless communication unit.

介绍了一种基于DSP2812的动态传感器网络实验平台的设计与开发。该实验平台的设计由配备各种低成本、低功耗的传感器和无线通信模块的可移动的传感器节点组成。

The paper studied a lot of todays identity management related technologies and standards, analyzed the characteristics of the J2EE application and its security system , used some design patterns such as builder patterns、proxy patterns and factory patterns, combined SAML standards and raised the following patterns: assertion builder pattems、SSO delegator patterns and credential tokenizer patterns. These patterns not only improved the compatibility and portability of enterprise identity management but also reduced system design and development complexity effectively.

本文大量研究了当今身份管理的相关技术和标准，分析了J2EE应用的特点及其安全体系，在此基础上运用了构造器模式、代理模式以及工厂模式等设计模式的思想，结合SAML标准提出了断言构造器模式、单点登录模式和凭证令牌化器模式等三种通用的身份管理模式，提高了企业身份管理层的兼容性和可移植性，同时有效降低了系统设计和开发的复杂度。

The current tension between spiraling food prices and development of alternative fuels is a transitional phase, Dorr said:"The challenge is to provide both food and fuel for a growing world on a sustainable basis."

多尔说，目前粮价上涨和替代燃料开发之间的矛盾只是过渡时期的一种现象。他说："我们面临的挑战就是要以可持续的方式为经济不断增长的世界同时提供粮食和燃料。"

According to the models of land use dynamic change, the research on the dynamic change on land use quantity, space structure and land use degree were carried during 1989 and 2001. The results of the research indicated that the area of cultivated land and saline land increased, and the area of meadow, water areas and wetland reduced within 12 years; The variety ratio of cultivated land, meadow, water areas and saline land changed relatively great; and variety ratio of forestland, land used for resident, industrial and mining changed more steady; The land use degree presented a reducible tendency.

研究结果表明，吉林西部在12年内耕地和盐碱地面积增加，草地、水域和湿地面积减少；总体上，耕地、草地、水域和盐碱地的土地利用变化率较大，林地、居民、工矿用地和湿地变化较平稳； 12年间土地利用程度呈减小趋势，全区十个县市中只有白城和扶余的土地利用处于发展期，土地生态环境相对较好，而其他地区由于土地生态环境呈现不同程度的恶化，导致可开发利用的土地资源逐年较少，土地利用潜力小。

A second, less popular way to make money is to exploit animals sustainably.

另一种较少采取的措施是用可持续的手段开发动物的经济价值。

A second, less popular way to make money is to exploitanimals sustainably.

另一种较少采取的措施是用可持续的手段开发动物的经济价值。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。