λ定义可计算函数时不动点算子的不必要性

λ-演算这种计算模型,是一种良好的数学工具,与递归函数密切相关.λ-演算中的不动点算子,增强了系统的表达能力,表达了递归函数中递归的性质,但同时也略有不足,因为常见不动点算子,都没有β-范式.介绍了一种方法,可以不借助不动点算子,利用Church数字系统的特点,用β-范式定义所有可计算函数.     

河南高速公路的现状、发展与养护

从世界高速公路现状的阐述开始,着重就河南省高速公路的现状进行了分析,提出半刚性基层沥青路面是高速公路发展的方向。     

Application of uniform DFT filter bank in radar jamming system

1 .INTRODUCTIONWith the rapid development of radar technology ,The technology of high-resolution radar i mage for-mationis gradually getting mature , and the coun-termeasure to high-resolution radar is growing a re-search hot point in the field of ECM. In order toattain high-resolution, High-resolutionradar usual-ly adopts the wideband pulse signal with 1 GHzbandwidth and over . So the realization of A/D( Analog/Digital) conversionis more difficult in en-gineering practice . For the s…     

复合营养液中N、K对边坡绿化植被生长的影响

选取3个不同浓度N、K含量的复合营养液进行交叉设计,施用于生长7个月的混种边坡绿化植被单体.从外观、叶绿素定量测定、抗逆性参数水平考察复合营养液中不同N、K含量对植被单体草坪草生长的影响,结果表明:复合营养液中施用(K2SO42.62 g,NH4NO34.97 g,CO(NH2)23.85 g)/m2N,K含量营养液对植被草坪的外观、抗逆性的提高有良好的效果.     

基于用户行为统计的流媒体集群负载均衡算法

为了通过内容分配达到负载均衡的目的,对流媒体用户的行为特征进行了分析,并根据用户在点播中对不同片源和片源内部各区段的行为规律,提出访问强度的概念,用来表示与分片相关I/O操作的处理频度,基于此定义给出了一种基于内容分片的负载均衡算法.该算法根据访问强度将节目切片,再将其分配给后台各异质节点.通过仿真实验比较算法在不同访问强度定义下的系统响应时间,验证了算法的有效性,达到了负载均衡的效果,系统性能明显提升.     

艺术的理由——重申本体论诗学的一种路径

作为对艺术之道进行本体论思考的诗学的命运 ,向来与艺术的价值连在一起。如何重申艺术的理由 ,事关重建现代诗学的逻辑依据。概括地讲 ,尽管面包的意义无须赘言 ,但人不能只靠面包活着这同样无可置疑。这构成了人文艺术最重要的价值依据。艺术文化是人类文明的基础 ,艺术的全部理由就在于 ,人在根本上是一位超越官能欲望与理智需求的审美者。由此呈现出诗学的意义所在 :向诗致敬。     

Physical effect of cloud seeding revealed by NOAA satellite imagery

The pioneering work on cloud seeding began in 1946,when Vincent Schaefer noticed that a small piece of solidcarbon dioxide (dry ice) can generate a large number ofice crystals on its falling path in a laboratory-generated data, which make the numerica…     

Global assessment of promoter methylation in a mouse model of cancer identifies ID4 as a putative tumor-suppressor gene in human leukemia

DNA methylation is associated with malignant transformation, but limitations imposed by genetic variability, tumor heterogeneity, availability of paired normal tissues and methodologies for global assessment of DNA methylation have limited progress in understanding the extent of epigenetic events in the initiation and progression of human cancer and in identifying genes that undergo methylation during cancer. We developed a mouse model of T/natural killer acute lymphoblastic leukemia that is always preceded by polyclonal lymphocyte expansion to determine how aberrant promoter DNA methylation and consequent gene silencing might be contributing to leukemic transformation. We used restriction landmark genomic scanning with this mouse model of preleukemia reproducibly progressing to leukemia to show that specific genomic methylation is associated with only the leukemic phase and is not random. We also identified Idb4 as a putative tumor-suppressor gene that is methylated in most mouse and human leukemias but in only a minority of other human cancers.     

Resonance as a measure of pairing correlations in the high-Tc superconductor YBa2Cu3O6.6

One of the most striking properties of the high-transition-temperature (high-Tc) superconductors is that they are all derived from insulating antiferromagnetic parent compounds. The intimate relationship between magnetism and superconductivity in these copper oxide materials has intrigued researchers from the outset, because it does not exist in conventional superconductors. Evidence for this link comes from neutron-scattering experiments that show the unambiguous presence of short-range antiferromagnetic correlations (excitations) in the high-Tc superconductors. Even so, the role of such excitations in the pairing mechanism for superconductivity is still a subject of controversy. For YBa2Cu3O(6+x), where x controls the hole-doping level, the most prominent feature in the magnetic excitation spectrum is a sharp resonance (refs 6-11). Here we show that for underdoped YBa2Cu3O6.6, where x and Tc are below their optimal values, modest magnetic fields suppress the resonance significantly, much more so for fields approximately perpendicular to the CuO2 planes than for parallel fields. Our results indicate that the resonance measures pairing and phase coherence, suggesting that magnetism plays an important role in high-Tc superconductivity. The persistence of a field effect above Tc favours mechanisms in which the superconducting electron pairs are pre-formed in the normal state of underdoped copper oxide superconductors, awaiting transition to the superconducting state.     

One-dimensional nature of the magnetic fluctuations in YBa2Cu3O6.6

There is increasing evidence that inhomogeneous distributions of charge and spin--so-called 'striped phases'--play an important role in determining the properties of the high-temperature superconductors. For example, recent neutron-scattering measurements on the YBa2Cu3O(7-x) family of materials show both spin and charge fluctuations that are consistent with the striped-phase picture. But the fluctuations associated with a striped phase are expected to be one-dimensional, whereas the magnetic fluctuations observed to date appear to display two-dimensional symmetry. We show here that this apparent two-dimensionality results from measurements on twinned crystals, and that similar measurements on substantially detwinned crystals of YBa2Cu3O6.6 reveal the one-dimensional character of the magnetic fluctuations, thus greatly strengthening the striped-phase interpretation. Moreover, our results also suggest that superconductivity originates in charge stripes that extend along the b crystal axis, where the superfluid density is found to be substantially larger than for the a direction.