局域网服务器缓冲区容量的Petri网设计方法

本文在分析局域网服务器信息缓冲区、数据包接受和发送缓冲区的相互关系基础上提出一种新的局域网服务器缓冲区设计方法─—广义随机Ｐｅｔｒｉ网方法，并给出了局域网服务器信息缓冲区的广义随机Ｐｅｔｒｉ网模型。该设计方法理论完备、严谨实用，且不再局限于追求某一边界值（上限或下限），并且避免了排队理论处理多级服务的繁琐公式。最后本文用一例题说明了这种方法的应用。     

深亚微米数字集成电路的自动化设计方法学

介绍了基于标准单元库的数字集成电路设计流程和方法学。数字集成电路设计流程从行为级的HDL描述开始，依次进行系统行为级仿真，行为级综合，RTL仿真，逻辑综合，综合后仿真，自动化布局布线，版图后仿真等步骤。讨论了如何把物理设计环境和逻辑设计环境联系起来，以解决物理设计和逻辑设计相脱节的问题。     

The Appropriation of the Material of Places in the Landscape: the case of tufa and springs

Springs have long been recognized as being significant places in the landscape, and there is ample evidence of later-prehistoric and Roman activity at spring sites. The Christian appropriation of springs as 'places', either indirectly by assigning their origin to saints, or directly by building chapels and churches on spring-head sites, is also well evidenced. The possibility that the material of petrifying springs - tufa - was both transplanted and appropriated, and that the symbolic properties of the material may go back well into British prehistory, is explored.     

基于VPR的FPGA布局算法时延改进

基于模拟退火的现场可编程门阵列(FPGA)布局算法在计算关键度时存在一定的偏差。为此,提出一种FPGA布局时延改进算法。利用不同的模拟退火温度和交换接收率,以及前后2次布局的时延代价差,对FPGA布局的时延代价进行补偿。通过增加时延补偿模块来调整布局的代价函数,达到重新寻找布局过程中被遗弃的较优解的目的。实验结果表明,在MCNC基准电路上使用改进算法,布局的时延代价和线网代价分别比改进前的算法减少19.2%和0.5%。此外,电路的关键路径时延也得到了不同程度的改善,使得布局质量在各个方面都明显优于优化前的通用布局布线算法。     

一种排课问题的形式化描述体系和框架

排课问题主要解决时间和空间资源冲突,以优化教学资源和教学时间的分配,实现教学资源的负载均衡.提出一种新的排课约束的表述框架--时间地点限定表达式,可以通过形式推理缩减排课问题空间,支持基于案例和规则的排课问题求解.     

Fault detection for discrete event systems using Petri nets with unobservable transitions

In this paper we present a fault detection approach for discrete event systems using Petri nets. We assume that some of the transitions of the net are unobservable, including all those transitions that model faulty behaviors. Our diagnosis approach is based on the notions of basis marking and justification, that allow us to characterize the set of markings that are consistent with the actual observation, and the set of unobservable transitions whose firing enable it. This approach applies to all net systems whose unobservable subnet is acyclic. If the net system is also bounded the proposed approach may be significantly simplified by moving the most burdensome part of the procedure off-line, thanks to the construction of a graph, called the basis reachability graph.     

PIRF-Nav 2.0: Fast and online incremental appearance-based loop-closure detection in an indoor environment

This paper presents a fast and online incremental solution for an appearance-based loop-closure detection problem in a dynamic indoor environment. Closing the loop in a dynamic environment has been an important topic in robotics for decades. Recently, PIRF-Nav has been reported as being successful in achieving high recall rate at precision 1. However, PIRF-Nav has three main disadvantages: (i) the computational expense of PIRF-Nav is beyond real-time, (ii) it utilizes a large amount of memory in the redundant process of keeping signatures of places, and (iii) it is ill-suited to an indoor environment. These factors hinder the use of PIRF-Nav in a general environment for long-term, high-speed mobile robotic applications. Therefore, this paper proposes two techniques: (i) new modified PIRF extraction that makes the system more suitable for an indoor environment and (ii) new dictionary management that can eliminate redundant searching and conserve memory consumption. The results show that our proposed method can complete tasks up to 12 times faster than PIRF-Nav with only a slight percentage decline in recall. In addition, we collected additional data from a university canteen crowded during lunch time. Even in this crowded indoor environment, our proposed method has better real-time processing performance compared with other methods.     

云计算环境下的一种高效的资源管理策略

近年,随着物联网相关研究工作的深入进行和新业务需求的日益增长,基于物联网技术的各种应用系统不断涌现。通常,人们希望智能物具有环境场所感知能力,因此提出一种基于物联网技术的场所感知应用系统。首先,围绕信息物品维、自主网络维、智能应用维3个维度构建该系统的体系结构,并分析了系统中主要实体间的关系;其次,讨论了体系结构中面向场所感知的专门部件的关键支撑技术及其发展方向,主要涉及环境物位姿传感、场所感知智能应用两个方面,其中,特别地给出一种物联网条件下可行的场所感知算法;最后,通过仿真实验验证了该系统的感知效果。     

国际高档男装A品牌进入上海市场的营销策略研究

本文以国际高档服装品牌A进入上海市场为例进行典型分析,具体分析国际服装品牌A在进入上海 男装市场的市场营销策略,也希望对其它的服装品牌进入上海市场时能够有所帮助。