同步FTP上载/下载程序的实现技术

通常意义上的FTP客户程序都是指纯粹的异步上载／下载程序，但在实际应用开发中。FTP功能往往需要与特定的应用相结合。对于某些特殊的应用。通常的异步FTP程序设计方法不适用系统的需求。需要设计同步的FTP上载／下载程序。但开发工具如VB不提供直接的同步FTP支持。本文结合实际的系统开发，探讨了在特定应用中实现同步FTP上载／下载程序的方法和技术。     

用Internet Transfer控件开发FTP客户端程序

本文介绍了利用InternetTransfer控件开发FTP客户端程序的具体方法和步骤，给出了程序代码，程序功能包括建立连接，列出服务器目录，上载文件、下载文件等。     

打开Internet大门──CuteFTP文件传输工具

(E-mail地址Swr~＠mail.com)FTP是Internet上专门的文件传输协议，用于文件传输（上载Upload或下载Download）的软件叫FTP软件。通常的FTP软件是命令行方式的，而大多数的Internet文件服务使用的操作系统是Unix，因此需要用户对Unix有一定程度的了解。Unix是很优秀的操作系统，但因它主要针对专业人员，命令难记，对一般用户来说，熟悉掌握是一件不太容易的事。于是，人们在Windows平台上开发了具有图形界面的FTP软件，像WS－FTP、CuteFTP等。这些FTP软件使用起来比较直观，不必了解FTP协议的具体细节，非常适合普通用户。1…     

宽带传输利器——DaemonFTP.NET

宽带的到米让我们能够随意架设FTP服务器并以前所未有的速度下载各种所需的资料，因此FTP也就成为当前主流下载模式之。虽然目前也有很多FTP下载软件，可惜它们都不支持多线程下载．如果想同时连接到一个FTP服务器下载多个文件就必须运行多个FTP程序，这样不仅占用了过多的系统资源，而且操作起来也非常不便。但是只要有了这款名为Daem0nFTP．NET的软件之后，你也可以像使用FlashGet一样多线程下载FTP资源了。     

设置与利用FTP协议

在向UNIX系统或Internet主机上下载或上载文件时 ,FTP是使用最广泛的协议。主要介绍了FTP协议的工作原理 ,基于Linux系统设置FTP服务的方法以及服务的安全性等问题 ,最后还介绍了几个优秀的FTP实用软件。     

Windows95／98自带的几个实用网络工具

Windows95／98自带了一些网络工具,包括FTP程序、用于远程登录的Telnet程序和一些测试网络连接的程序,它们的功能十分强大,但又鲜为人知,本文将向你介绍这些工具,为你更好地上网助一臂之力。oliTI,文件传输O现在许多网友都在因特网上拥有个人主员,他们通过FTP上载本地计算机文件到主机上或者下载文件。虽然FFP软件有很多,它们功能并不见得比Wnd0W95／98的F7T）强。Wind0WS95／98的FTP是一个命令行F’FP工具,它在C：＼Wndow目录中,在Windows95／98的MSIX）S窗口下输入ftp命令即可,f,m的命令行格式为：帅一v－d－i…     

网页上传利器Cute Ftp快速上手指南

如果你已经做好了精美的网页，找到了合适的网页存放空间。那么，下一步工作就是上传网页。上传是将数据或程序从个人计算机或设备上传递到中央计算机（通常为远程的），英文是Upload，上传又叫上载。上传和下载的数据传输方向是完全相反的（图１）。图１怎样实现上传？通过网络上载数据大都是基于FTP协议，FTP是一种效率很高的文件传输协议。作为普通用户无须关心太多的技术问题，只要使用一款优秀的上传软件就可轻松实现上载。其中最经典的上传软件就是Cuteftp。下面小生就带大家认识这款优秀的上传软件。（Cuteftp在很多提供主页空间…     

Windows网络编程：利用Delphi开发网络应用程序系列之四－－开发上传下载的文件传输程序

本文利用一个简易的文件传输程序，介绍了在TCP／IP应用中，最为广泛应用的功能之一的文件传输的相关知识，并重点介绍了利用Delphi来开发一个支持上传，下载功能的文件传输系统的实现方法。     

免费工具

CuteFTPXP 它是一款使用容易且很受欢迎的FTP软件，下载文件支持续传、可下载或上传整个目录，具有不会因闲置过久而被站台踢出站台。可以上载下载队列，上载断点续传，整个目录覆盖和删除等。     

嵌入式系统中的程序下载的讨论

本文先对嵌入式系统开发中程序下载的各种常见方式作了详细的分析,指出了常规下载方式的特点和不足。然后针对开发中代码修改的局部性和程序代码的重复性,提出了在程序下载过程中采用局部下载和压缩下载的方法。这种局部压缩下载方式对嵌入式系统的开发和调试有很好的实用价值。     

可视化分布式程序设计中的任务信道描述模型

利用可视化技术简化分布式应用的开发是目前的研究热点之一。要使用可视化技术，首先要解决如何描述一个分布式的应用，一传统顺序程序不同，分布式应用必须考虑到资源共享、通信与同步、复制、任务分配等。本文提出了任务信道描述模型，讨论了如何在该模型中描述分布式的上述特征，着重探讨通信与同小的描述问题，给出了若干不同类的应用描述实例。     

A Deterministic Logical Semantics for Esterel

Esterel is a synchronous design language for the specification of reactive systems. There exist two main semantics for Esterel. On the one hand, the logical behavioral semantics provides a simple and compact formalization of the behavior of programs using SOS rules. But it does not ensure deterministic executions for all programs and all inputs. As non-deterministic programs have to be rejected as incorrect, this means it defines behaviors for incorrect programs, which is not convenient. On the other hand, the constructive semantics is deterministic (amongst other properties) but at the expense of a much more complex formalism. In this work, we construct and thoroughly analyze a new deterministic semantics for Esterel that retains the simplicity of the logical behavioral semantics, from which it derives. In our view, it provides a much better framework for formal reasoning about Esterel programs.     

FTP超大文件断点上传技术研究

通过分析FTP超大文件上传的技术实现方法,对断点续传在算法复杂性上进行讨论,提出了基于事务完整性的解决方案,并在实践中得到了成功应用。     

Soft lithography based on photolithography and two-photon polymerization

Over the past decades, soft lithography has greatly facilitated the development of microfluidics due to its simplicity and cost-effectiveness. Besides, numerous fabrication techniques such as multi-layer photolithography, stereolithography and other methods have been developed to fabricate moulds with complex 3D structures nowadays. But these methods are usually not beneficial for microfluidic applications either because of low resolution or sophisticated fabrication procedures. Besides, high-resolution methods such as two-photon lithography, electron-beam lithography, and focused ion beam are often restricted by fabrication speed and total fabricated volume. Nonetheless, the region of interest in typical microfluidic devices is usually very small while the rest of the structure does not require complex 3D fabrication methods. Herein, conventional photolithography and two-photon polymerization are combined for the first time to form a simple hybrid approach in fabricating master moulds for soft lithography. It not only benefits from convenience of photolithography, but also gives rise to complex 3D structures with high resolution based on two-photon polymerization. In this paper, various tests have been conducted to further study its performance, and a passive micromixer has been created as a demonstration for microfluidic applications.     

A dynamic predictive race detector for C/C++ programs

Concurrent techniques have been widely adopted in software systems, and data race has become a great threat to stability and security of concurrent systems. Previous precise race detection techniques either may miss many races, or are only suitable for some specific programs, such as the programs executed in a virtual machine rather than in actual hardware. To solves these problems, this paper introduces a dynamic predictive race detector, called LayDetect, which detects predictable races in C/C++ programs. LayDetect applies an innovative layering technique, which can detect more races than other detectors, such as FastTrack. We have implemented and evaluated LayDetect with well-known benchmarks and real-world applications. LayDetect has detected 3.7 M races at run-time which is more than that of FastTrack by two orders of magnitude, while the average slowdown (3.0\(\times \)) and space overhead (34.1 MB) of LayDetect are similar to that of FastTrack.     

Query optimization for nontraditional database applications

Database query languages and their use for programming nontraditional applications, such as engineering and artificial intelligence applications, are discussed. In such environments, database programs are used to code applications that work over large data sets residing in databases. Optimizing such programs then becomes a necessity. An examination is made of various optimization techniques, and transformations are suggested for improving the performance of database programs. These transformations result in new equivalent database programs with better space and time performance. Several of these techniques apply to classical query languages, although extended query languages which include an iteration operator are specifically discussed     

基于IPv6的应用服务器的研究与实现

IPv4协议最终将被IPv6协议所取代,但目前基于IPv6协议的应用研究还处于初始阶段。本文分析了FTP协议对IPv6协议的支持情况,提出了一种Linux环境下基于IPv6协议的FTP服务器实现方案。对实现的FTP服务器进行了测试,利用Sniffer软件进行了抓包分析。实验表明,该FTP服务器完全支持IPv6协议,并能实现用户登录、密码验证、文件列表传送、文件下载、文件上传、文件删除等功能。     

New threats of Java viruses

Only two Java viruses are known and have been published as a proof-of-concept: StrangeBrew and BeanHive. Since then the Java programming language has matured and greatly evolved to include a large number of new, sophisticated functionalities. At the same time, no serious study has been conducted to assess the potential viral risk attached to the new Java language. The potential threats have not really been explored yet. This article presents the state-of-the-art of Java viral capabilities and identifies some new techniques specific to the Java features that could be efficiently used by an attacker to spread malicious codes by means of Java classes. While this paper primarily focuses on targeting Java applications and not applets, the latter case will nonetheless be addressed among the different ways an actual attack could be launched by means of Java malicious codes. The protection and cure against such codes are also considered, dealing with the analysis of these programs at the bytecode level     

Systematic formal verification for fault-tolerant time-triggeredalgorithms

Many critical real-time applications are implemented as time-triggered systems. We present a systematic way to derive such time-triggered implementations from algorithms specified as functional programs (in which form their correctness and fault-tolerance properties can be formally and mechanically verified with relative ease). The functional program is first transformed into an untimed synchronous system and, then, to its time-triggered implementation. The first step is specific to the algorithm concerned, but the second is generic and we prove its correctness. This proof has been formalized and mechanically checked with the PVS verification system. The approach provides a methodology that can ease the formal specification and assurance of critical fault-tolerant systems     

Continuation compilation for concurrent logic programming

A new and powerful approach to threading is proposed, that is designed to improve the responsiveness of concurrent logic programs for distributed, real-time AI applications. The technique builds on previously proposed scheduling techniques to improve responsiveness by synchronously passing control and data directly from a producer to a consumer. Furthermore, synchronous transfer of data requires less buffering and so less garbage is produced. Arguments are also passed in registers, further reducing overheads.