C语言的公理语义(1)──控制结构

由于篇幅的缘故，本义从公理语义的角度主要讨论了C语言的流程控制结构的语义，而关于该语言的函数和对象的公理语义将在后续的各文章中陆续给出。     

PC/AT温盘子系统与系统恢复

IBMPC/AT采用80286微处理器,其指令执行速度快,计算能力更强,内存空间大,亦确定了微机温盘子系统的新标准,是个人计算机上的软件开发极好环境。由于使用不当及其他原因,PC/AT温盘子系统会出现无法引导系统文件。记录数据信息丢失,温盘存贮容量损失一半的现象。本文旨在从研究AT温盘子系统的生成出发,阐述了“坏死”温盘子系统如何激活。温盘存贮容量如何恢复等系统恢复的几种可行方法。     

视觉电生理诊断系统微机软件的设计

视觉电生理诊断系统是眼科诊断重要的医疗设备，整个系统由微型计算机及外部设备组成．本文在分析了系统运行要求及特点的基础上，介绍了该系统中计算机软件的设计思路，并给出采用面向对象编程方法的实现方案．     

Discriminating between preference functionals: A preliminary Monte Carlo study

This article is connected with recent attempts to estimate EU and Generalised EU preference functionals using (complete ranking) experimental data and maximum likelihood estimation techniques. In particular we explore, using Monte Carlo techniques, the power of such procedures in correctly determining the true preference functional. We conclude that several of the more popular generalisations to EU are very difficult to disentangle, and that the techniques are rather poor at correctly identifying EU when it is the correct functional.     

Bandwidth selection for kernel regression with correlated errors

In this paper, we propose bandwidth selectors for nonparametric regression with dependent errors. The methods are based on criteria that approximate the average squared error. We show that these approximations are uniform over the bandwidth sequence. The criteria involve some constants that depend on the unknown error correlations. We propose a novel way of estimating these constants. Our numerical study shows that the method is quite efficient in a variety of error models.     

Exact simulation of tempered stable Ornstein–Uhlenbeck processes

Based on a representation of a stochastic integral of Ornstein–Uhlenbeck (O–U) type, the exact simulation algorithm of the tempered stable O–U process is given in this paper. The algorithm employs the double rejection method and the general acceptance–rejection technique. The time complexity of the double rejection method is uniformly bounded over all values of the parameter. And the acceptance probability of the acceptance–rejection technique can be improved to as close to 1 as possible. Thus, the implementation of the algorithm is efficient. The performance of the simulation method is evidenced by some empirical results.     

A new C(α) test for 2×2 tables

Two by two contingency tables which arise from experiments in which each subject serves as a self control are examined, Two types of experimental design are discussed: the confounded design and the counterbalanced design. In the case of the counterbalanced design, the locally asymptotically optimal C(α) test is compared with the binomial test for symmetry in a 2×2 contingency table. The binomial test is found to be less efficient than the C(α) test.     

Subject-specific performance information can worsen the tragedy of the commons: Experimental evidence

The main aim of this article is to investigate the behavioral consequences of the provision of subject-specific information in the group effort levels chosen by players in an experimental CPR game. We examine two basic treatments, one with incomplete information and the other with complete information. In the former, subjects are informed only about their own individual payoffs and the aggregate extraction effort level of the group, and in the latter they are also informed about the individual effort levels and payoffs of each subject. Given this setting, the basic question we attempt to answer is: Will the provision of subject-specific performance information (i.e. individual’s effort levels and payoffs) improve or worsen the tragedy of the commons (i.e. an exploitation effort level greater than the socially optimum level)? In order to motivate our hypotheses and explain our experimental results at the individual level, we make use of the theory of learning in games, which goes beyond standard non-cooperative game theory, allowing us to explore the three basic benchmarks in the commons context: Nash equilibrium, Pareto efficient, and open access outcomes. We use several learning and imitation theoretical models that are based on contrasting assumptions about the level of rationality and the information available to subjects, namely: best response, imitate the average, mix of best response and imitate the average, imitate the best and follow the exemplary learning rules. Finally, in order to econometrically test the hypotheses formulated from the theoretical predictions we use a random-effects model to assess the explanatory power of the different selected behavioral learning and imitation rules.     

8253定时/计数器计数过程的实验研究

基于清华大学计算机工厂生产的TPC— 1型微机实验系统 ,提出一个探究 82 53计数过程的实验方案 .通过实验结果分析 ,指出了部分教材在对 82 53方式 3计算过程的表述中所存在的问题     

基于AT89S51单片机的超声波测距系统的设计与研究

分析了超声波测距的基本原理，在此基础上提出了设计的思路和所要解决问题的方案。此设计是基于AT89S51单片机性能和特点来实现的，且经过校正后，其精度可达1cm。完全满足汽车防撞系统的设计要求，弥补了汽车观后镜的不足。