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

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

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

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

《计算机专业外语》课程教学改革探索

该文就《计算机专业外语》教学现状进行分析,提出改革方案,旨在提高学生的学习积极性,让学生认识到学习专业外语的必要性和重要性,从而培养和提高学生计算机英文文献资料自主学习的能力。     

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.     

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

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

ZK框架调用EJB3的解决方案

在介绍AJAX应用程式开发框架-ZK和EJB官方新标准-EJB3之后,剖析了二者结合的特性,总结了现有的本地调用EJB3的方法。针对官方尚未给出的ZK框架如何远程调用EJB3的问题,通过实例给出了解决方法,为企业级的AJAX应用程序的开发提供了参考。     

基于双极偏好控制的多目标粒子群优化算法

考虑双极偏好信息对粒子群的控制作用,提出一种使用双极偏好——正偏好和负偏好引导粒子群向 Pareto 前沿偏好区域进化的方法．根据TOPSIS 决策法思想,将外部种群粒子与正负偏好点的相对贴近度排序作为 外部种群管理和全局最优解更新策略;根据贴近度值确定解集的分布度;选取6 种不同类型的多目标测试函数进行 算法模拟,从世代距离、空间测度和超体积测度3 个指标与基于单极偏好的多目标粒子算法进行性能比较．结果显 示,基于双极偏好控制的多目标粒子群算法的收敛性和综合性能更优秀．     

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.     

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

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