模块验证

NET development MSACCESS2000 landing module is mainly used to verify user identity, stresses the effective operation of firms.

NET结合MSACCESS2000开发的登陆模块主要用于验证用户身份，讲行有效的操作。

As opposed to other solutions that verify blocks only after they have been designed, going back to correct the design as necessary, Micrologic's approach provides a reliability check in the early design stage by creating what it calls a reliability-aware design environment.

相对于其他的最后进行必要的验证模块的设计以反馈正确的设计的传统解决方案，Micrologic的做法提供了一个在早期设计阶段的可靠性检查，以建立所谓的可靠性感知设计环境。

With the Visual Basic computer language, the simulation program is modularized and can be reused. Finally, an example of ABS simulation and test is presented to illustrate applicability and effectiveness of this system.

采用Visual Basic语言实现了模块化编程，程序在不同的模拟试验条件下具有可重用性，最后给出了一个车辆防抱死系统模拟试验的实例，验证了该系统的实用性与高效性。

IIC EEPROM AT24C series of operational source code, C language, classical procedures, as modules can directly document called proven.

IIC的EEPROM AT24C系列的操作源码，C语言实现，经典程序，可直接作为模块文件调用，已验证。

This paper determines the design idea of combining VISC with structural optimization design. Problems which existed in structural optimization design are analyzed and contents of optimization process are determined. Calling and dominating calculation program written in FORTRAN in the development environment of Delphi are realized by the techniques of FORTRAN/Delphi mixed-language programming and multi-threaded application. Parallel coordinates visualization technology is deeply researched and applied in software exploitation of optimization process. Essential programs of VISC software are compiled. Approaches which can improve efficiency of optimization are discussed. In the end, functional modules are integrated and a typical computational example is verified.

本文通过对结构优化设计和科学可视化的研究，确立了天线结构优化设计与科学计算可视化技术紧密结合的思路；根据天线结构优化设计的特点，针对优化设计中存在的问题，对系统结构优化的总体框架进行了分析和论述，确定了优化过程可视化的具体内容；通过FORTRAN与Delphi的混合语言编程实现了在Delphi环境下对FORTRAN计算程序的调控，充分利用了原有FORTRAN程序资源；对平行坐标技术进行深入研究，并将其应用于优化过程可视化模块的软件开发中，实现多维数据空间的可视化；编写优化计算过程可视化软件的核心程序；探讨了提高优化效率的途径；对基于可视化的天线结构优化设计软件系统进行集成，针对某天线进行了算例验证。

Esterel is a formally provable language that's used primarily to design control-intensive silicon intellectual-property blocks.

Esterel是一种可正式验证的语言，主要用于设计控制密集型硅知识产权模块。

Architecture description languages and their accompanying toolsets have been proposed as the answer. The XYZ/E is an executable linear temporal logic language. It can represent both dynamic and static semantics of systems. Basing on XYZ/E, the executable linar temporal logic language, we provide an architecture description language XYZ/ADL, which can represent both high-level abstract specification and the concrete implementation, thereby provides premise for the smooth transition from specification to implementation. And it can represent both the specification and the inner structure of a component under the unified logic framework, owing to the representability of the XYZ/E.

本项目研究旨在根据XYZ系统的特性，在时序逻辑语言XYZ/E的基础上，提出一种支持在XYZ系统中设计软件体系结构的描述语言XYZ/ADL，使之不仅能够对软件体系结构进行精确的形式化描述，而且为对其进行求精、验证、演化和分析提供基础，从而能在统一的时序逻辑框架下描述组件的规范和它的内部结构，并逐步过渡到最后的算法实现，从而能够支持软件开发设计的逐步求精全过程，把原有的两种支持软件开发的方法即支持模块化程序设计的方法和支持从规范到算法实现的逐步求精的方法有机地结合起来。

In this paper,we simply introduces the whole design scheme of security network access server; subsequently, we deeply analyse the principle and structure model of RADIUS and TACACS in the distributed security authentication system, and more explain the idea and implementation of design. On the other hand, in order to authencating、authorizing and accounting more securely, efficiently and accurately to the remote users, we put forward a series of key techniques which are used in analysis such as MD5 encryption arithmetic、packet retransfer、buffer storage、interprocess communication and so on, and prove the compatibility of the system through employing the commercial software Shiva AccessManager.

本论文首先简要介绍了《安全网络访问服务器》的总体设计方案；之后，深入分析了分布式安全认证系统RADIUS和TACACS的原理与结构模型，并进一步详细阐述了安全认证模块的设计思想和实现，深入剖析了系统中引用的MD5加密算法、数据包重发机制、缓冲区存储、进程间通信等技术，这些技术使得系统能安全、高效、准确地对远程用户进行认证、授权和计费，而且通过使用商用软件Shiva AccessManager的测试验证了该系统的通用性。

The board test function module in the paper has been applied in large-scale production test and played a good role in product performance of RNC.

本文所实现的单板测试功能模块，已在实际产线上验证通过并应用于大规模生产测试之中，对保障RNC整机设备的产品性能发挥了很好的作用。

This paper discusses the modularized design and implementation of single board signal processor based on FPGA in detail,and the validity of the design is verified by simulation and test.

该文详细论述了基于FPGA的单板信号处理机的模块化设计及实现，并通过仿真和测试验证了设计的正确性。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。