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

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

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

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

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.     

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

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

Ubiquitous Personal Study: a framework for supporting information access and sharing

The information resources on the Web are diversified, the amount of which is increasing rapidly. Demands for selecting useful information from the Internet, managing personal contents, and sharing contents under control have risen. In this study, we propose the Ubiquitous Personal Study, a framework of personalized virtual study to support accessing, managing, organizing, sharing and recommending information. In this paper, we focus on discussing the framework, and design and implementation issues on how to implement it with Web 2.0 mash-up technology and Open Source Software.     

禅之韵——试谈卫浴空间的意境营造

禅是一种心灵体验,禅意的营造需要主人积极的情感投入。卫浴间是现代居室的重要组成部分,也是现代人放松身体的重要场所.本文试从卫浴产品的选择、空间的布局以及装饰三个方面展开讨论,对禅风的现实意义进行了反思。     

AutoCAD的尺寸驱动技术的探讨

AutoCAD是一种人机交互的绘图软件,本身并不具备参数化绘图功能,更不具备尺寸驱动功能,但用户可以利用其所提供的强大的二次开发语言AutoLISP、VisualLISP、VBA开发完全个性化的、性能更为优越的、具有尺寸驱动功能的参数化绘图软件。     

Siamese transformer network-based similarity metric learning for cross-source remote sensing image retrieval

Neural Computing and Applications - As a fundamental technique for mining and analysis of remote sensing (RS) big data, content-based remote sensing image retrieval (CBRSIR) has received a lot of...     

Study on Recognition Method of Similar Weather Scenes in Terminal Area

Weather is a key factor affecting the control of air traffic. Accurate recognition and classification of similar weather scenes in the terminal area is helpful for rapid decision-making in air traffic flow management. Current researches mostly use traditional machine learning methods to extract features of weather scenes, and clustering algorithms to divide similar scenes. Inspired by the excellent performance of deep learning in image recognition, this paper proposes a terminal area similar weather scene classification method based on improved deep convolution embedded clustering (IDCEC), which uses the combination of the encoding layer and the decoding layer to reduce the dimensionality of the weather image, retaining useful information to the greatest extent, and then uses the combination of the pre-trained encoding layer and the clustering layer to train the clustering model of the similar scenes in the terminal area. Finally, terminal area of Guangzhou Airport is selected as the research object, the method proposed in this article is used to classify historical weather data in similar scenes, and the performance is compared with other state-of-the-art methods. The experimental results show that the proposed IDCEC method can identify similar scenes more accurately based on the spatial distribution characteristics and severity of weather; at the same time, compared with the actual flight volume in the Guangzhou terminal area, IDCEC's recognition results of similar weather scenes are consistent with the recognition of experts in the field.