可组合的描述符泄露类型检查

应用程序通过操作系统的系统调用对文件描述符进行操作并管理文件资源。如果应用程序对资源描述符的管理出现错误并发生描述符泄漏,会严重影响系统的可用性。据此,提出了一种检查程序是否会导致描述符泄漏的类型系统,给出了描述符操作方法的语义和类型约束,证明了类型系统的可靠性定理。此外,还初步讨论了该类型系统在并发程序下的扩展。     

探析西方现代主义景观设计的起源

现代主义景观的兴起源于工业化生产,工业革命的快速发展对自然、社会,以及人类身心造成了严重的影响。现代主义景观作为一种协调人与自然之间关系的媒介,其产生与发展经历了漫长的过程,并受到了方方面面的影响,是一种根植于早期景观设计基础上的现代社会文化产物。了解西方现代主义景观设计的形成初始,有利于为当代景观设计提供思想溯源,具有一定学术意义。     

Recover Fault Services via Complex Service-to-Node Mappings in Wireless Sensor Networks

With the motivation of seamlessly extending wireless sensor networks to the external environment, service-oriented architecture comes up as a promising solution. However, as sensor nodes are failure prone, this consequently renders the whole wireless sensor network to seriously faulty. When a particular node is faulty, the service on it should be migrated into those substitute sensor nodes that are in a normal status. Currently, two kinds of approaches exist to identify the substitute sensor nodes: the most common approach is to prepare redundancy nodes, though the involved tasks such as maintaining redundancy nodes, i.e., relocating the new node, lead to an extra burden on the wireless sensor networks. More recently, other approaches without using redundancy nodes are emerging, and they merely select the substitute nodes in a sensor node’s perspective i.e., migrating the service of faulty node to it’s nearest sensor node, though usually neglecting the requirements of the application level. Even a few work consider the need of the application level, they perform at packets granularity and don’t fit well at service granularity. In this paper, we aim to remove these limitations in the wireless sensor network with the service-oriented architecture. Instead of deploying redundancy nodes, the proposed mechanism replaces the faulty sensor node with consideration of the similarity on the application level, as well as on the sensor level. On the application level, we apply the Bloom Filter for its high efficiency and low space costs. While on the sensor level, we design an objective solution via the coefficient of a variation as an evaluation for choosing the substitute on the sensor level.     

Extension of the gap statistics index to fuzzy clustering

The well-known gap statistic index proposed by Tibshirani et al. has successfully applied in many clustering evaluations. However, the gap statistic index cannot evaluate the clustering partitions from any fuzzy clustering algorithm. This is because fuzzy clustering cannot provide the within-cluster similarity measure that is used in the gas statistic index. Thus, the applicable range of the gap statistic index is very limited. In this paper, we present a new method that extends the gap statistic index to fuzzy clustering by using fuzzy membership notations. Our proposed method can extend the applicability of the gap statistic index, and outperform other existing fuzzy indices in several aspects. Experiments on eight sets of synthetic and real datasets are used to verify the applicability and efficiency of the proposed method.     

高压切割喷嘴冲击磨损的数值分析

以复用矿井含煤颗粒的水对高压切割喷嘴的磨损物理问题为研究对象,采用计算流体力学理论进行数值计算,分析讨论了质量浓度为10、15、20、25、30、40 mg/L条件下速度、剪应力、磨损的分布以及变化关系。计算、分析结果表明:磨损主要发生在出口部位和锥体的后半部份,入口部份和锥体前半部份磨损较小;入口部位、锥体部位磨损量、剪应力随质量浓度增加变化较小;出口部位磨损量在质量浓度为10～20 mg/L减小较快,超过20 mg/L后变化不大;出口部位流体速度、磨损量、剪应力与质量浓度间存在对应关系。煤粒入口速度与混合物速度相同、锥体部位煤粒流体速度低于锥体部位混合物速度(平均值)约79.4%;煤粒出口部位速度随质量浓度的增大而呈现先增加后减小的趋势,速度最大值发生在浓度20 mg/L。     

浅谈我国网络数据库的发展及对策

从网络数据库的概念、特点、发展趋势等方面论述了我国网络数据库的发展情况,针对我国网络数据库存在的问题提出了发展我国网络数据库的对策.     

The effect of handle friction and inward or outward torque on maximum axial push force

OBJECTIVE: To investigate the relationship among friction, applied torque, and axial push force on cylindrical handles. BACKGROUND: We have earlier demonstrated that participants can exert greater contact force and torque in an "inward" movement of the hand about the long axis of a gripped cylinder (wrist flexion/forearm supination) than they can in an "outward" hand movement. METHOD: Twelve healthy participants exerted anteriorly directed maximum push forces along the long axis of aluminum and rubber handles while applying deliberate inward or outward torques, no torque (straight), and an unspecified (preferred) torque. RESULTS: Axial push force was 12% greater for the rubber handle than for the aluminum handle. Participants exerted mean torques of 1.1, 0.3, 2.5, and -2.0 Nm and axial push forces of 94, 85, 75, and 65 N for the preferred, straight, inward, and outward trials, respectively. Left to decide for themselves, participants tended to apply inward torques, which were associated with increased axial push forces. CONCLUSION: Axial push force was limited by hand-handle coupling--not the whole body's push strength. Participants appeared to intuitively know that the application of an inward torque would improve their maximum axial push force. Axial push forces were least when a deliberate torque was requested, probably because high levels of torque exertions interfered with the push. APPLICATION: A low-friction handle decreases maximum axial push force. It should be anticipated that people will apply inward torque during maximum axial push.     

遗传算法与文本特征选择方法相结合的研究

对文本特征选择的传统方法进行了深入分析并对各自的优缺点进行了详细的对比;其次,通过利用遗传算法自身的寻优特点,把它与传统特征选择方法相结合,并得出了算法。最后,在对各自算法进行了分析,表明了在性能上有了明显的提高。     

一种完整的汉字识别系统设计

数字图像处理是计算机视觉技术的在交通管理领域的一个重要课题.它是指将图像信号转换成数字信号并利用计算机对其进行处理的过程.字符及汉字识别技术的成功运用,节省了大量的人力,而不影响正常的车辆行驶,并且可以快速的记录车辆的违章情况,它是交通管理自动化中的一项有效手段.本文将介绍一种完整的汉字识别系统设计,实现对36号宋体汉字的辨识.