Programming with Conditionals: Epistemic Programming for Scientific Discovery

In order to provide scientists with a computational methodology and some computational tools to program their epistemic processes in scientific discovery, we are establishing a novel programming paradigm, named ‘Epistemic Programming’, which regards conditionals as the subject of computing, takes primary epistemic operations as basic operations of computing, and regards epistemic processes as the subject of programming. This paper presents our fundamental observations and assumptions on scientific discovery processes and their automation, research problems on modeling, automating, and programming epistemic processes, and an outline of our research project of Epistemic Programming.

Handily etching nickel foams into catalyst-substrate fusion self‐stabilized electrodes toward industrial‐level water electrolysis

The key challenge of industrial water electrolysis is to design catalytic electrodes that can stabilize high current density with low power consumption(i.e.,overpotential),while industrial harsh conditions make the balance between electrode activity and stability more difficult.Here,we develop an efficient and durable electrode for water oxidation reaction(WOR),which yields a high current density of 1000 mA cm−2 at an overpotential of only 284 mV in 1M KOH at 25°C and shows robust stability even in 6M KOH strong alkali with an elevated temperature up to 80°C.This electrode is fabricated from a cheap nickel foam(NF)substrate through a simple one-step solution etching method,resulting in the growth of ultrafine phosphorus doped nickel-iron(oxy)hydroxide[P-(Ni,Fe)O_(x)H_(y)]nanoparticles embedded into abundant micropores on the surface,featured as a self-stabilized catalyst–substrate fusion electrode.Such self-stabilizing effect fastens highly active P-(Ni,Fe)O_(x)H_(y)species on conductive NF substrates with significant contribution to catalyst fixation and charge transfer,realizing a win–win tactics for WOR activity and durability at high current densities in harsh environments.This work affords a cost-effective WOR electrode that can well work at large current densities,suggestive of the rational design of catalyst electrodes toward industrial-scale water electrolysis.

Abstraction, Actuality and the Conditions of Relevance

本篇是英国应用语言学家H.G.威多森(Widdowson)1985年在广州“中国英语教学国际讨论会”上的发言。作者对下面三种关系提出了自己的看法:1)抽象的语言描写和具体的语言使用;2)外语教学中的“教”与“学”;3)教学大纲和教学法。作者认为,语言教学应以什么样的语言学理论为基础,采用什么样的教学大纲和教学方法,必须根据不同的具体教学环境和目的作出不同的选择。