命题的可延、可传与基本成立

引入了命题的可延性、可传性、基本成立等概念，阐述了它们的性质及相互关系，弄清了函数列的基本一致收敛、几乎处处收敛、依测度收敛的关系，使测度论的一些重要定理有了清晰的表达，并证明了可测函数为基本连续函数，连续函数为基本一致连续函数，有限函数为基本有界函数．

Graft-induced Inheritable Variation in Mungbean and Its Application in Mungbean Breeding

Graft can induce inheritable variations in the progenies of the scion plants. Seedling of mungbean ( Vigna radiata (L.) Wilczek) was grafted onto the stem of sweet potato ( Ipomoea batatas (L.) Lam.). The growth of the scion was maintained until the scion produced selfed seeds. We sowed the seeds for several generations under normal conditions. Distinct genetic variations appeared in the progenies. Similar variations did not appear in the generations of the scion sowed normally without graft. The variations seemed to be induced by the graft and they inherited steadily. For understanding the possible mechanism of the phenomenon (graft_induced inheritable variation), we analyzed the cytoplasmic and genomic DNA of the variations. The results showed that there was no restriction fragment length polymorphism (RFLP) in the cytoplasmic DNA between the original scion and the variation. However, significant difference between the scion and variation was recognized by random amplified polymorphic DNA (RAPD) analysis. In addition, there was no evidence that indicated the gene transformation from stock to scion. Our results suggest that the non_specific grafting has a pragmatic potential for plant breeding and crop improvement and, the genetic variation seems not to be caused simply by DNA transformation but most likely the stress induced mutation.

A Novel Built-in CMOS Temperature Sensor for VLSI Circuits

A novel temperature sensor is developed and presented especially for the purpose of on-line thermal monitoring of VLSI chips.This sensor requires very small silicon area and low power consumption,and the simulation results show that its accuracy is in the order of 0.8℃.The proposed sensor can be easily implemented using regular CMOS process technologies,and can be easily integrated to any VLSI circuits to increase their reliability.

Genetic Diversity of Microsatellite DNA Loci of Tibetan Antelope(Chiru,Pantholops hodgsonii)in Hoh Xil National Nature Reserve,Qinghai,China

The Tibetan antelope （Pantholops hodgsonii）, indigenous to China, became an endangered species because of considerable reduction both in number and distribution during the 20th century. Presently, it is listed as an Appendix Ⅰ species by CITES and as Category I by the Key Protected Wildlife List of China. Understanding the genetic diversity and population structure of the Tibetan antelope is significant for the development of effective conservation plans that will ensure the recovery and future persistence of this species. Twenty-five microsatellites were selected to obtain loci with sufficient levels of polymorphism that can provide information for the analysis of population structure. Among the 25 loci that were examined, nine of them showed high levels of genetic diversity. The nine variable loci （MCM38, MNS64, IOBT395, MCMAL TGLA68, BM1329, BMSI341, BM3501, and MB066） were used to examine the genetic diversity of the Tibetan antelope （n = 75） in Hoh Xil National Nature Reserve（HXNNR）, Qinghai, China. The results obtained by estimating the number of population suggested that all the 75 Tibetan antelope samples were from the same population. The mean number of alleles per locus was 9.4 ± 0.5300 （range, 7-12） and the mean effective number of alleles was 6.519± 0.5271 （range, 4.676-9.169）. The observed mean and expected heterozygosity were 0.844 ± 0.0133 （range, 0.791-0.897） and 0.838 ± 0.0132 （range, 0.786-0.891）, respectively. Mean Polymorphism Information Content （PIC） was 0.818 ± 0.0158 （range, 0.753-0.881）. The value of Fixation index （Fis） ranged from -0.269 to -0.097 with the mean of -0.163 ± 0.0197. Mean Shannon＇s information index was 1.990 ± 0.0719 among nine loci （range, 1.660-2.315）. These results provide baseline data for the evaluation of the level of genetic variation in Tibetan antelope, which will be important for the development of conservation strategies in future.

Some properties of monotone set functions defined by Choquet integral

In this paper, some properties of the monotone set function defined by theChoquet integral are discussed. It is shown that several important structural characteristics of theoriginal set function, such as weak null-additivity, strong order continuity, property (s) andpseudomelric generating property, etc., are preserved by the new set function. It is also shown thatC-integrability assumption is inevitable for the preservations of strong order continuous andpseudometric generating property.

对静力学中几个问题的处理意见

我校今年普遍采用了清华大学罗远祥教授等编著的理论力学教材,在阅读了其内容之后感到该书第三版比第二版提高了起点,减少了重复,特别是在一些基本问题的提法上,有了新的创造和改动。下面。

数理逻辑在科学发展中的作用

本文介绍了数理逻辑在科学发展中的作用,着重分析了它和传统形式逻辑的联系和区别,并指出应当运用数理逻辑的优秀成果来改造古老的传统形式逻辑。

An efficient reliability evaluation method for industrial wireless sensor networks

Aimed at the difficulties in accurately, comprehensively and systematically evaluating the reliability of industrial wireless sensor networks （WSNs）, a time-evolving state transition-Monte Carlo （TEST-MC） evaluation method and a novel network function value representation method are proposed to evaluate the reliability of the IWSNs. First, the adjacency matrix method is used to characterize three typical topologies of WSNs including the mesh network, tree network and ribbon network. Secondly, the network function value method is used to evaluate the network connectivity, and the TEST-MC evaluation method is used to evaluate network reliability and availability. Finally, the variations in the reliability, connectivity and availability of these three topologies are presented. Simulation results show that the proposed method can quickly analyze the reliability of the networks containing typical WSN topologies, which provides an effective method for the comprehensive and accurate evaluation of the reliability of WSNs.

《三言》与“新闻”

《三言》(《喻世明言》、《警世通言》、《醒世恒言》)是明末文学家冯梦龙编纂的一本宋元明白话短篇小说集,它反映了这个时期的社会生活、语言文化等多个侧面,具有很高的研究价值。俗话说,仁者见仁,智者见智。作为一个新闻工作者在阅读《三言》时感兴趣的还是新闻。笔者注意到,书中涉及到“新闻”的地方有近10处,且涉及新闻的这些篇章从内容和语言方面可以。看出多是明朝时期的作品。我们如果对此情况仔细品味一下,会有助于我们对明朝“新闻现状”的了解。 从《三言》中“新闻”一词的使用来看,这时“新闻”一词的涵义已远远告别它的最初意义:“最近听说的事实”(此义如唐·李咸用诗:“旧业久抛耕钓侣,新闻多说战争功”),和今天“新闻”一词涵义有些接近,特指人们急于想知道的在社会上快速传播的事实。它常与“报”、“传”之类的词连用,显示出它内容的可传性。如: 《蔡瑞虹忍辱报仇》:“扬州城里传遍了这出新闻,又是强盗,又是奸淫事情,有妇人在内,那一个不来观看。” 《乔太守乱点鸳鸯谱》:“当时若是刘公允了,却不省好些事体。止因执意不从,到后生出一段新闻(即乔太守乱点鸳鸯谱一事),传说至今。” 《陈多寿生死夫妻》:“街坊上听说陈家癞子做亲,把做新闻传说道:‘癞虾蟆也有吃天鹅肉的日子。

A novel MAC mechanism to resolve 802.11 performance anomaly

In the 802.11b networks, the guarantee of an equal long-run channel access probability causes performance anomaly in a multi-rate wireless cell. Much interest has been involved in this issue and many effective mechanisms have been proposed. The usual MAC layer solutions include the initial contention window adaptation, the maximum transfer unit size adaptation and the packet bursting. In this paper, we propose a novel approach which introduces a new parameter called the transmission prob- ability pt to the legacy protocol. By adjusting pt according to the transmission rate, the proposed scheme can solve the performance anomaly problem cleanly. Throughput analysis and performance evaluation show that our scheme achieves significant im- provement in the aggregate throughput and the fairness.

ROBUST RELIABLE CONTROLLER DESIGN FOR A CLASS OF TIME-VARYING UNCERTAIN SYSTEMS

The normal H ∞ control design deals with both plant modeling uncertainties and exogenous signal uncertainties by constructing a controller which stabilizes uncertain li near systems while satisfying an H ∞ norm bound constraint on disturbance attenuation for all admissible uncertainties. However, the control design may result in unsatisfactory performances or even instabilities in the event of sensor failures in practical plants. This paper focuses on the problem of the design of robust reliable H ∞ control for a class of time varying uncertainty system with sensor failures. The paper presents a novel technique which deal with this problem by solving three linear matrix inequalities (LMIs). The strict proof guarantees the feasibility of this approach.

A NEW ALGORITHM OF THE NONLINEAR ADAPTIVE INTERPOLATION

The paper presents a new algorithm of NonLinearly Adaptive Interpolation (NLAI). NLAI is based on both the gradients and the curvature of the signals with the predicted subsection. It is characterized by adap- tive nonlinear interpolation method with extracting the characteristics of signals. Experimental research testi- fies the validity of the algorithm using the echoes of the Ground Penetrating Radar (GPR). A comparison of this algorithm with other traditional algorithms demonstrates that it is feasible.

A novel method based on entransy theory for setting energy targets of heat exchanger network

A T-Q diagram based on entransy theory is applied to graphically and quantitatively describe the irreversibility of the heat transfer processes.The hot and cold composite curves can be obtained in the T-Q diagram.The entransy recovery and entransy dissipation that are affected by temperature differences can be obtained through the shaded area under the composite curves.The method for setting the energy target of the HENs in T-Q diagram based on entransy theory is proposed.A case study of the diesel oil hydrogenation unit is used to illustrate the application of the method.The results show that three different heat transfer temperature differences is 10 K,15 K and 20 K,and the entransy recovery is 5.498×10~7k W·K,5.377×10~7k W·K,5.257×10~7k W·K,respectively.And the entransy transfer efficiency is 92.29%,91.63%,90.99%.Thus,the energy-saving potential of the HENs is obtained by setting the energy target based on the entransy transfer efficiency.

A large-scale functional approach to uncover human genes and pathways in Drosophila

We demonstrate the feasibility of performing a systematic screen for human gene functions in Drosophila by assaying for their ability to induce overexpression phenotypes. Over 1 500 transgenic fly lines corresponding to 236 human genes have been established. In all, 51 lines are capable of eliciting a phenotype suggesting that the human genes are functional. These heterologous genes are functionally relevant as we have found a similar mutant phenotype caused either by a dominant negative mutant form of the human ribosomal protein L8 gene or by RNAi downregulation of the Drosophila RPL8. Significantly, the Drosophila RPL8 mutant can be rescued by wild-type human RPL8. We also provide genetic evidence that Drosophila RPL8 is a new member of the insulin signaling pathway. In summary, the functions of many human genes appear to be highly conserved, and the ability to identify them in Drosophila represents a powerful genetic tool for large-scale analysis of human transcripts in vivo.

Soluble intercellular adhesion molecule-1,D-lactate and diamine oxidase in patients with inflammatory bowel disease

AIM： To study the levels of serum soluble intercellular adhesion molecule-1 （sICAM-1）, plasma D-lactate and diamine oxidase （DAO） in patients with inflammatory bowel disease （IBD）, and the potential clinical significance. METHODS： Sixty-nine patients with IBD and 30 healthy controls were included in this study. The concentration of sICAM-1 was detected with enzyme-linked immunosorbent assay, the level of D-lactate and DAO was measured by spectroscopic analysis, and the number of white blood cells （WBC） was determined by routine procedure. RESULTS： The levels of sICAM-I, DAO, and WBC in IBD patients were significantly higher than those in the control group （P 〈 0,01）, sICAM-I in IBD patients was found to be closely related to the levels of DAO and D-lactate （212.94 ± 69.89 vs 6.35 ± 2.35, P = 0.000）, DAO 212.94 ± 69.89 vs 8.65 ± 3.54, P = 0.000） and WBC （212.94 ± 69.89 vs 7.40 ± 2.61, P = 0.000）, but no significant difference was observed between patients with ulcerative colitis and patients with Crohn＇s disease. The post-treatment levels of sICAM-I, D-lactate and WBC were significantly lower than before treatment （sICAM-I 206.57 ± 79.21 vs 146.21 ± 64.43, P = 0.000）, （D-lactate 1.46 ± 0.94 vs 0.52± 0.32, P = 0.000） and （WBC 7.24 ± 0.2.33 vs 5.21 ± 3.21, P = 0.000）. CONCLUSION： sICAM-1, D-lactate and DAO are closely related to the specific conditions of IBD, and thus could be used as a major diagnostic index.

Reliability Analysis of Sensor Networks

To Integrate the capacity of sensing, communication, computing, and actuating, one of the compelling technological advances of these years has been the appearance of distributed wireless sensor network (DSN) for information gathering tasks. In order to save the energy, multi-hop routing between the sensor nodes and the sink node is necessary because of limited resource. In addition, the unpredictable conditional factors make the sensor nodes unreliable. In this paper, the reliability of routing designed for sensor network and some dependability issues of DSN, such as MTTF (mean time to failure) and the probability of connectivity between the sensor nodes and the sink node are analyzed. Unfortunately, we could not obtain the accurate result for the arbitrary network topology, which is #P-hard problem. And the reliability analysis of restricted topologies clustering-based is given. The method proposed in this paper will show us a constructive idea about how to place energy-constrained sensor nodes in the network efficiently from the prospective of reliability.

Visualization of Bubble Dynamics for Pool Boiling of Binary Refrigerant Mixture R11-R113

A digital photographic study of pool boiling with binary mixture Rll（CC13）-Rll3（CCl3CF3） was performed on a horizontal transparent heater at pressure of 0.1MPa. A high speed digital camera was applied to record the bubble behaviors in boiling process. Strong effects of composition on bubble departure diameter, deparatre time, nucleation density were observed, which was attributed to the nature of the activation of the boiling surface and mass diffusion effects. The bubble departure diameter, departure period and nucleation density as functions of composition for binary mixtures R 11-R 113 were presented respectively. From the video images, it can be concluded that evaporation of microlayer is very important to the growth of bubble. It is also observed that there is not any liquid recruited into the microlayer below the bubble.

Modeling and optimization of a multi-carrier renewable energy system for zero-energy consumption buildings

For the carbon-neutral,a multi-carrier renewable energy system(MRES),driven by the wind,solar and geothermal,was considered as an effective solution to mitigate CO2emissions and reduce energy usage in the building sector.A proper sizing method was essential for achieving the desired 100%renewable energy system of resources.This paper presented a bi-objective optimization formulation for sizing the MRES using a constrained genetic algorithm(GA)coupled with the loss of power supply probability(LPSP)method to achieve the minimal cost of the system and the reliability of the system to the load real time requirement.An optimization App has been developed in MATLAB environment to offer a user-friendly interface and output the optimized design parameters when given the load demand.A case study of a swimming pool building was used to demonstrate the process of the proposed design method.Compared to the conventional distributed energy system,the MRES is feasible with a lower annual total cost(ATC).Additionally,the ATC decreases as the power supply reliability of the renewable system decreases.There is a decrease of 24%of the annual total cost when the power supply probability is equal to 8%compared to the baseline case with 0%power supply probability.

Quality Control of ARGO Data Based on Climatological T-S Models

By implementing the ARGO program, a large number of T-S profiles can be observed in the world ocean. However, it is very difficult to examine changes of the sensitivity of the sensors equipped at the ARGO floats, because it is difficult to understand their condition in the sea and the reliability of the data. Quality control must be done in order to avoid the wrong conclusion deduced from the wrong data. One of the realistic methods for quality control of the ARGO data is the comparison with the local climatology. High quality climatological T-S models in northwest Pacific have been built based on the Nansen bottle data and CTD data for the quality control in NMDIS. The models are used to check the ARGO data in this area and have got good result.