Profiling selected paths with loops

Path profiling records the frequency of each path in an executed program.To accomplish profiling,probes are instrumented in the program and executed as the program runs.So,the number of probes has a significant impact on the efficiency of a profiling technique.By profiling only the interesting paths,existing techniques try to improve the profiling efficiency by reducing the number of probes and optimize path encodings for efficient storage.However,they lack accuracy,waste time on running uninteresting paths,and can mainly deal with acyclic paths.In this article,a novel technique called Profiling Selected Paths(PSP)is introduced to profile selected paths,which enables custom selection for both acyclic and cyclic paths and increases the execution efficiency by early termination on uninteresting paths.Theoretical analysis and experimental evaluation indicate that PSP performs better than existing techniques.     

锐不可当

以往，打印高质量文本一向是激光打印机的独享；而如今，当喷墨技术取得突飞猛进的发展后，我们身边的喷墨打印机也会变得锐不可当了。[编者按]     

Substrate concentration effect on gene expression in genetic circuits with additional positive feedback

In gene regulatory networks, gene regulation loops often occur with multiple positive feedback, multiple negative feedback and coupled positive and negative feedback forms. In above gene regulation loops, auto-activation loops are ubiquitous regulatory motifs. This paper aims to investigate a two-component dual-positive feedback genetic circuit, which consists of a double negative feedback circuit and an additional positive feedback loop (APFL). We study effect of substrate concentration on gene expression in the single and the networked systems with APFLs, respectively. We find that substrate concentration can tune stochastic switch behavior in the signal system and then we explore relationship of substrate concentration with positive feedback strength in aspect of stochastic switch behavior. Furthermore, we also discuss gene expression and stochastic switch behavior in the networked systems with APFLs. Based on analysis in the networked systems, we discover that genes express in some specific cells and do not express in the other cells when the expression achieves its steady state. These results can be used to well explain the character of regionalization in the expression of genes and the phenomenon of gene differentiation.     

试论反思教学法在外语教学中的应用

反思教学法（renective teaching又译为反思性教学）是20世纪80年代以来，在西方发达国家的教育领域里兴起的新的教学理论和实践。近年来它越来越受到外语教学界的青睐。反思教学法的提出是对传统教学的超越。它不仅可帮助教师改观教学效果，还能促进教师自身的发展。结合反思及反思教学法理论，指出外语教师教学反思及其应用策略。     

酶标分析仪吸光度的测量不确定度评定

本文根据酶标分析仪的检定规程,运用测量不确定度评定与表示方法,对酶标分析仪吸光度测量结果的不确定度进行分析和评定     

石墨烯增强功能梯度圆板受热机作用的响应分析

在推广后的Mian和Spencer功能梯度板理论基础上,研究了石墨烯增强功能梯度圆板受集中力和温度场作用的响应问题.基于修正后的Halpin-Tsai模型,考虑了温度依赖和石墨烯缺陷大小对石墨烯增强复合材料弹性模量的影响.沿板厚方向考虑了三种石墨烯纳米片的分布形式,石墨烯增强功能梯度圆板中心受集中力作用时,该问题转化为...     

A common sense geographic knowledge base for GIR

As background knowledge of geographic information retrieval (GIR), the gazetteers have their limitations. In this paper we propose to develop and implement a common sense geographic knowledge base (CSGKB) instead of the gazetteers. We define that CSGKB is concerned with the representation of geographic knowledge in human brain and the simulation of geographic reasoning in daily life. Traditional geographic information system (GIS) is based on the model of map with its data based on geographic coordinates and its computation based on geometry. However, CSGKB, which is made up of geographic features and relationships and is based on qualitative spatio-temporal reasoning, can be viewed as the direct model of geographic world. This paper also discusses the characters of CSGKB and presents its structure which is composed of knowledge base, inference engine, geographic ontology and learner. The applications using CSGKB include geographic information retrieval (GIR), natural language processing (NLP), named entity recognition (NER), Semantic Web, etc. At present, our work focuses on the design of geographic ontology and the implementation of the CSGKB knowledge base. In this paper we describe the CSGKB ontology structure, top ontology, geographic location ontology, spatial relationship ontology, and domain ontologies. Finally, we introduce the current state of implementation of CSGKB and give an outlook on our future researches.     

Pro/E二次开发在参数化设计中的应用与研究

随着Pro/Engineer软件的普及和在企业的广泛应用,对其二次开发是一种必然趋势。本文介绍了基于Pro/Toolkit对Pro/Engineer进行二次开发的技术和方法,并结合压缩机气缸套参数化系统开发实例,详细说明了二次开发的具体步骤。实例证明,二次开发是企业提高工作效率、取得成功的必要手段。     

ZXC-Ⅰ型提升机闸瓦间隙智能监测仪的研制

介绍了一种新型提升机智能闸瓦间隙监测仪。主要阐述了该监测仪的研制意义、工作原理、软硬件设计以及调试方法等。该设备已在很多煤矿应用,取得了十分满意的效果。     

Finite-time adaptive consensus of a class of multi-agent systems

Multi-agent systems (MASs) are ubiquitous in natural and artificial systems. This paper aims to establish the finite-time adaptive consensus criterion for a class of MASs with nonlinear dynamics. Traditionally, the finite-time consensus criterion is often established based on the prior information on Lipschitz constants and the eigenvalues of Laplacian matrix. However, it is difficult to acquire the above prior information for most real-world engineering systems. To overcome the above difficulty, this paper develops the finite-time consensus criteria for a class of MASs with nonlinear dynamics via adaptive technique. In detail, we design the finite-time distributed node-based and edge-based adaptive consensus protocols for a class of MASs with fixed and switching topologies. Numerical simulations are also given to validate the proposed finite-time adaptive consensus criterion.