chizi00001的专栏

介绍了多层感知器（MLP），从MLP到卷积神经网络（CNN）发展过程、以及CNN的预测过程、参数估计等内容。

《计算机常用算法图书》的随书源代码，对于初学计算机算法的人员理解相关算法设计思想十分有用。

We present a variant of Pfair scheduling, which we call early-release fair (ERfair) scheduling. Like c onventional Pfair sche duling, ERfair sche duling algorithms can be applie dto optimally sche dule periodic tasks on a multiprocessor system in polynomial time. However, ERfair sche duling diers from Pfair scheduling in that it is work conserving. As a result, average job response times may be much lower under ERfair scheduling than under Pfair sche duling, particularly in lightly-loaded systems. In addition, runtime costs ar e lower under ERfair scheduling.

It can be remarkably hard to design a good communications protocol, much harder even than it is to write a normal sequential program. Unfortunately, when the design of a new protocol is complete, we usually have little trouble convincing ourselves that it is trivially correct. It can be a unreasonably hard to prove those facts formally and to convince also others. Faced with that dilemma, a designer usually decides to trust his or her instincts and forgo the formal proofs. The subtle logical flaws in a design thus get a chance to hide, and inevitably find the worst possible moment in the lifetime of the protocol to reveal themselves. Though few will admit it, most people design protocols by trial and error. There is a known set of trusted protocol standards, whose descriptions are faithfully copied in most textbooks, but there is little understanding of why some designs are correct and why others are not. To design and to analyze protocols you need tools. Until recently the right tools were simply not generally available. But that has changed. In this tutorial we introduce a state-of-the-art tool called SPIN and a specification language called PROMELA, and we show how these can be used to design reliable protocols.

进程代数课程An introduction to process calculi:Calculus of Communicating Systems (CCS) Lecture 2 of Modelli Matematici dei Processi Concorrenti University of Southampton, UK

Objective Caml (OCaml) 是Caml编程语言的主要实现，由Xavier Leroy，Jérôme Vouillon，Damien Doligez，Didier Rémy及其他人于1996年创立。OCaml是开放原始码项目。此项目的管理和大部分维护工作交由INRIA。