转换程序

Program. Then all C++ sources are compiled, and linked with the simulation kernel and a user interface library to form a simulation executable or shared library.

程序转换成 C++代码，然后利用仿真程序或者共享库编译 C++源码和链接仿真核心及用户界面库。

This is a realization from RGB to the HSI Exchange of procedures, you can be one you like bmp file in the conversion process.

这是一个实现从RGB到HSI的互换的程序，你可以将一个你所喜欢的bmp文件在本程序中转换。

Here are some uses for the program: Convert a text file containing a tab delimited table for import into a graphics design or CAD program.

以下是一些使用该程序：转换为文本文件，其中包含制表符分隔的表导入到图形设计或计算机辅助设计程序。

This paper describes an approach to reverse engineering based on the formal semantics of the strongest postcondition predicate transformer,and the partial correctness model of program semantics introduced by Hoare. The main point of our investigation is how to use informal and formal methods for reverse engineering. The approach provided by this thesis is mainly to process the C program system for reverse engineering.

本文描述的逆向工程中的形式化方法采用最强后置条件谓词转换技术和Hoare理论中有关程序语义的部分正确性模型，研究的重点是利用形式化技术和非形式化技术对程序代码进行逆向工程，以支持软件理解和维护。

The contents of the course include: what operating system are, what they do, how they are designed, and where they came from; a general history and explanations of computer system, and some discussion on hardware and the relation between operating system and other software; concept of process, process states and process control block, process queue, management of processes; concepts of sequent programming and parallel programming, process synchronization and its application, process communication; scheduling level and job state transition, job scheduling, process scheduling, and methods for scheduling; deadlock and its necessary conditions, deadlock prevention, control and recovery of deadlock; fixed partition, multiple partition and replacement partition memory management, swapping and overlays; page, segmentation and segmentation with paging storage management, basic concept of virtual memory management, and page, segmentation and segmentation with paging memory management.

课程的内容包括：计算机系统概述、操作系统的形成、发展、功能、特性、类型和发展趋势；操作系统的硬件环境、操作系统与其它系统软件的关系；进程的概念、进程的状态和进程控制块、进程队列、进程的管理；顺序程序设计和并行程序设计概念、进程间的同步与互斥、同步机构应用、进程间通信；调度的层次和作业状态转换，作业的调度、进程调度、调度算法；死锁问题的提出、死锁的必要条件、死锁的预防、避免、控制和恢复；固定分区、可复分区、多重分区内存管理技术以及覆盖技术和交换技术；分页域、分段域、段页域存储管理技术、虚拟存储管理的基本概念、分页域、分段域、段页域虚拟存储管理。

A transition module of a program is defined and the notion of temporal run semantics, which is a temporal formula precisely characterizing the program is presented.

文中给出了一个程序的转换模块的定义，提出了时序执行语义的概念。它是一个时序公式，精确地说明了一个程序。

The system program provides the movement platform, simultaneously, but is also the PLC procedure reliability service and the signal and the information transformation carries on essential public processing.

系统程序提供运行平台，同时，还为PLC程序可靠运行及信号与信息转换进行必要的公共处理。

DelphiProcess - This is an application that translates from Delphi to Kylix and precompiles the source code files.

DelphiProcess这个应用程序可以将Delphi 程序转换为Kylix ，并预编译源代码。

In order to facilely perform testing on C or C++ programs, a prototype tool called CppTest is designed and implemented. It can employ three levels'testing, namely (1) structural testing in method level by analyzing program's constructs, instrumenting probes, redirecting I/O stream, etc.,(2) state-based class level testing through modeling state transition behaviors using an extended finite state machine from the class specifications, and (3) system level black-box testing with some traditional strategies such as equivalence partitioning and boundary-value analysis.

以目前普遍使用的C/C++程序作为测试对象，实现了一个能进行方法级、类级和系统级三个级别测试的原型系统CppTest：基于程序CFG图分析、探针插装和I/O重定向等技术，实现方法级结构性测试；按照需求规约运用EFSM对类的状态转换行为进行建模，并依此自动生成测试用例集，实现基于状态的类测试；在系统级别上，运用等价类划分、边界值分析等常规策略进行黑盒测试。

Data tables include screw thread, drill chart, center drill, and hardness conversion.

数据表包括螺旋线状，程序图表，中心程序和难度转换。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。