多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．     

用多个开关控制一盏灯

同学们从课本上学习了用2个开关控制一盏灯的电路，这种电路具有一定的实用性，如在楼上楼下、室内室外都可以实现对某一盏灯的开关控制。     

2003年全国各地高考数学模拟试题选析——数列

1　高考回顾数列是高中代数的重要内容之一 ,由于它既具有函数特征 ,又能构成独特的递推关系 ,使得它既与中学数学其他部分知识如 :函数、方程、不等式、解析几何、二项式定理等有较紧密的联系 ,又有自己鲜明的特征 ,因此它是历年高考考查的重点、热点和难点 ,在高考中占有极其重要的地位 ,试题往往综合性强、难度大 ,承载着考察学生数学思维能力和分析、建模、解决问题的能力以及函数与方程的思想 ,转化与化归的思想、分类讨论的思想 .从近几年试题来看 ,数列部分内容的分值约占总分的 12 %左右 ,大多为一道选择题或填空题 ,一道解答题 .而…     

饮食中微量元素砷的分布规律与人体健康关系

采用催化动力学光度法测定了六大类(共三十种)样品中的总砷含量，探讨了砷在食品中的分布规律，建立了砷在人体中的安全系效和积累系效的效学评价公式，用于评价砷与人体健康的关系，这对人们选择食物有一定的指导意义。     

激光微加工技术在ICF中的应用

建立以二极管泵浦的Nd：YAG连续固体激光器为基础的微结构加工平台。激光器谐振腔输出基横模，输出波长1064nm，采用调Q技术压缩脉宽，激光器输出峰值功率大于10w，可选择连续及脉冲工作方式。     

Spatial soliton by cascading χ(2) effect and its self-induced wave-guide in quasi-phase-matched media

The formation of the spatial solitons in the quadratic nonlinearity χ(2) media by cascading second harmonicgeneration (SHG) in quasi-phase-matched (QPM) sample is studied on the basis of nonlinear Schrodingerequation (NLSE). When the solitary wave propagates in the QPM media, it formed optical wave-guidesthrough cascading χ(2) effect called self-induced soliton wave-guide. Transverse refractive index distribu-tion of the self-induced soliton wave-guide of fundamental and SHG wave is obtained by cascading process.Analysis of guided-mode of such self-induced soliton wave-guide is first proposed to our knowledge. Be-cause the power needed for forming the spatial solitons in cascading process is much lower than that inKerr media, this kind of self-induced soliton wave-guide shows potential applications in all-optical signalprocess.     

基于Web的ICF物理实验数据查询系统

随着“神光”-Ⅱ的运行和“神光”-Ⅲ原型的即将建成，物理实验数据、实验参数以及各探测器的实验记录也将越来越多。为了方便物理实验人员对实验数据进行后续处理，必须建立有效的数据管理和查询系统。系统建立的ICF物理实验数据查询系统，实现了对实验参数和数据有效的管理和利用，该系统应用计算机网络技术及数据库技术，并用Web网页浏览的方式．以方便相关物理实验人员对实验参数和实验数据的查询和调用，即时全面了解实验状况，从而有利于对实验数据进行分析，指导下一步的具体实验。     

Measure Synchronization of High-Cycle Islets in Coupled Hamiltonian Systems

Measure synchronization is a new phenomenon found in coupled Hamiltonian systems recently and it is interesting to understand its properties comprehensively. We discuss the measure synchronization of a coupled pair of standard maps in high period quasi-period orbits, and the measure synchronization transition is associated with the transition of coupled systems from quasi-periodicity to chaos. This behaviour is very different from that found by Hampton and Zanette [Phys. Rev. Lett. 83 (1999) 2179].     

Structure of Callisto and Ice Holes on Its Surface

The discovery of the induced magnetic field of Callisto that is a satellite of Jupiter has been interpreted as evidence for a subsurface salty liquid-water ocean,so we consider a layered structure of callisto,i.e.,a rock-metal core,an outer layer of ice and a middle layer of ocean.For the rock-metal core we try to indicate how the temperature,pressure and mass density depend on the depth.Due to motionn across the magnetic field of Jupiter in a plasma environment,the ice shell of Callisto must be broken down by electric current.     

Multiplexing Chaotic Signals Generated by Colpitts Oscillator and Chua Circuit Using Dual Synchronization

We demonstrate multiplexing chaotic signals generated by two totally different dynamic systems (one is a Colpitts oscillator and the other is a Chua circuit) using dual synchronization and propose a method to select the proper coupling parameters. In the response systems, the cross coupling method is used, in which the voltage difference between the sum of two master oscillators and one slave oscillator is converted to current and then feed into the other slave oscillator. The result in this letter offers a potential multiuser coherent chaotic communication scheme where different chaotic oscillators can be used in one system.