扩充

Formal analysis of security protocols is becoming more and more important. It is desiderated to expand the existing methods to study more security properties and to form a unified framework to analyze various security properties. Process calculus is a powerful tool for modeling concurrent systems.

安全协议的形式化分析是当前安全协议研究的热点，如何扩充现在已经成熟的理论和方法去研究更多的安全性质，使同一系统中各种安全性质在统一的框架下进行分析和验证是一个亟待解决的问题。

In design of this text database, h**e adopted the design method of software, the clear show data are stored and adjusted after adopting tools such as the data flow diagram, procedure flow diagramed. Security system is stalwart, the maintainability, and expandability.

在本文数据库的设计过程中，采用了结构化设计方法，利用数据流程图、程序流程图等工具清晰的展示了数据存储及调用过程，保证了系统的健壮性，可维护性，可扩充性。

An executive capacity extends and dilates more and more as his office became higher.

当你的职位变得越高的时候，你的才能必须越来越广泛地延展扩充。

Since 1994, when the Law of University was emendated, the private universities in Taiwan have been facing the rapid enlargement in school numbers, student population decreasing year by year, and extreme competition from famous foreign universities. In order to increase competitiveness and quality of teaching, Taiwanese universities must jump out the old-fashion way of thinking by first establishing a clear management vision and common goal; second, by establishing a definitive responsibility center, and third, by adopting the market mechanism of all-directions performance management. It is urgently necessary to provide the accounting information needed to operate the system in the school administration, whose job it is to combine the management system of responsibility center and responsibility accounting.

台湾在&大学法&（1994）修订后，民办高校面对校数急速扩充、就学人121逐年下降，以及海内外大学名校强势竞争的冲击，为求提高竞争力，唯有跳脱传统办学旧思维，订定一个明确的经营愿景蓝图和共同目标、建置分权管理的责任中心，采行全方位绩效管理的市场机制，才能提供高素质教学品质，并兼顾学校的永续发展；也因此，结合责任中心管理制度和责任会计提供的会计信息应用于校务运作体制，有其迫切必要在。

It also improves and enlarges the development environment and functions, especially on data management and network application.

本设计采用所见即所得的可视界面设计方法，在开发环境、功能上进一步完善和扩充，尤其在数据库管理、网络应用方面更胜一筹。

The system, using a modular approach, has a friendly function of pre-processing and post-processing, can be easily extended and explanted, and can also be popularized to finite element simulation and analysis of other complex massive forming process.

该系统具有较完善的前后置处理功能，采用模块化的程序结构设计，易于扩充，能够向其它复杂体积成形过程的模拟分析推广。

This experiment can extends natural knowledge of student.

这一实验能扩充学生的自然知识。

This set of fibs I name the Range set, same settings as before but i like to leave the extentions on this set.

一些方法和以前一样，但我喜欢保留这些扩充的东西。

In organization level, design activity fragmentizing strategy and negotiation mechanism are applied to schedule the collaborative design process. To present the uncertainty in design, resource sharing, message passing and real-timed interaction between programs, the integrated control Petri net is adopted to model and simulate the collaborative level. Control level is realized by workflow model, which control the tasks in collaborative design by means of user management, access control and task control rules.

本文通过细化设计活动策略和协商机制，实现了组织级的协同设计过程规划；针对常用的有色Petri网方法不能解决实际系统运行中出现的不确定性、资源共享、信息传递和外部程序的实时交互等问题，通过对有色Petri网的扩充，提出了采用集控Petri网方法，用于协调级的建模和仿真；采用工作流模型为控制级实现，从用户管理、访问控制模型、协同任务控制规则三个方面实现协同设计过程的任务流控制。

English is one of those most stiff languages in the world, as its essence of recording only sounds determines its infinite expansion of glossaries to express new meanings.

英语是世界上最笨的语言之一，因为英语只是记录声音的本质决定了他只能无限庞大的扩充它的词汇来表达新的意思。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。