Isochoric p-ρ-T Measurements on 1,1-Difluoroethane (R152a) from 158 to 400 K and 1,1,1-Trifluoroethane (R143a) from 166 to 400 K at Pressures to 35 MPa

The p--T relationships have been measured for 1,1-difluoroethane (R152a) and 1,1,1-trifluoroethane (R143a) by an isochoric method with gravimetric determinations of the amount of substance. Temperatures ranged from 158 to 400 K for R152a and from 166 to 400 K for R143a, while pressures were up to 35 MPa. Measurements were conducted on compressed liquid samples. Determinations of saturated liquid densities were made by extrapolating each isochore to the vapor pressure, and determining the temperature and density at the intersection. Published p--T data are in good agreement with this study. For the p--T apparatus, the uncertainty of the temperature is ±0.03 K, and for pressure it is ±0.01% at p>3 MPa and ±0.05% at p<3 MPa. The principal source of uncertainty is the cell volume (28.5 cm³), which has a standard uncertainty of ±0.003 cm³. When all components of experimental uncertainty are considered, the expanded relative uncertainty (with a coverage factor k=2 and thus a two-standard deviation estimate) of the density measurements is estimated to be ±0.05%.     

αB-spline: a linear singular blending B-spline

A linear singular blending (LSB) technique can enhance the shape—control capability of the B-spline. This capability is derived from the blending parameters defined at the B-spline control vertices and blends LSB line segments or bilinear surface patches with the B-spline curve or surface. Varying the blending parameters between zero and unity applies tension for reshaping. The reshaped curve or surface retains the same smoothness properties as the original B-spline; it possesses the same strict parametric continuities. This is different from the -spline, which introduces additional control to the B-spline by imposing geometrical continuities to the joints of curve segments or surface patches. For applications in which strict parametric continuities cannot be compromised, LSB provides an intuitive way to introduce tension to the B-spline.     

Reasoning about action and change

Reasoning about change is a central issue in research on human and robot planning. We study an approach to reasoning about action and change in a dynamic logic setting and provide a solution to problems which are related to the Frame problem. Unlike most work on the frame problem the logic described in this paper is monotonic. It (implicitly) allows for the occurrence of actions of multiple agents by introducing non-stationary notions of waiting and test. The need to state a large number of frame axioms is alleviated by introducing a concept of chronological preservation to dynamic logic. As a side effect, this concept permits the encoding of temporal properties in a natural way. We compare the relative merits of our approach and non-monotonic approaches as regards different aspects of the frame problem. Technically, we show that the resulting extended systems of propositional dynamic logic preserve (weak) completeness, finite model property and decidability.     

高职院校网络安全防护技术课程的内容开发探索

通过对网络管理类岗位人才需要规格的分析,从而正确定位网络安全防护技术课程的在课程体系中的位置.按照"安全防护策略化、教学模式任务化"的设计理念开发课程,依据网络安全工程师的工作过程和学生的认知规律序化教学内容.开发过程体现了将安全防护技术策略化,科学设计<网络安全防护技术>课程内容的特色.     

数据库系统原理研究型教学模式探索

提出将数据库原理课程的内容模块化,根据模块的特点设计问题情景和研究型课程训练载体,采用以问题为导向的主动式学习方式来激发学生的思维和兴趣,辅以多元化的课程训练环节和面向过程的学习效果评价体系,帮助学生由被动接受者向自主学习者进行转变,从而培养学生的创新能力和综合素质。     

人工智能概论课程的教学思考

从智能科学与技术专业所设置的人工智能概论课程的自身特点和发展需要出发,在教学目标、授课内容、教材选择、讲授方法和考核形式等方面进行全方位的思考与探讨,力争开拓出新的教学思路,形成独特的教学风格,取得良好的教学效果。     

空间信息与数字技术专业的C++课程建设

C++程序设计是我校空间信息与数字技术新专业的重要基础课程。近年来,根据专业知识体系要求,我们对该专业C++课程教学进行了系统建设。本文介绍了C++课程建设的相关结果,包括课程教学与实践教学的安排、教材的选择、教学方法的探索以及对教学内容中与其他计算机课程的衔接处理等,可为本专业C++课程教学及其他计算机课程建设的开展提供参考。     

光进铜退的网络信息安全建设

光进铜退是中国固网运营商中国电信和中国网通为逐步实现光纤接入(FTTx),用光纤代替铜缆所提出的一项工程——中国固网运营商现在所采用的ADSL接入网一般都是局端集中方式,即用户家ADSL Modem需要同电信分局的ADSL局端设备同步信号,这段距离一般超过3公里。这样,距离成为了国内ADSL技术提速的最大问题。所以,"光进铜退"的策略就是将FTTx技术同ADSL技术相结合,尽可能缩短ADSL局端设备(DSLAM)同用户家这段铜线的距离,以提供高带宽接入。     

Improving content visibility for high‐ambient‐illumination viewable display and energy‐saving display

Abstract— Nowadays, low‐contrast viewing of LC displays (LCDs) occurs very often, which includes the viewing of mobile LCDs at high ambient illumination and the viewing of LCDs at low‐power mode. These cases result in low‐content visibility and low contrast, leading to an unpleasant viewing experience. In this paper, a technique to improve the perceived contrast and visibility of images at low‐contrast viewing conditions is proposed. The proposed approach enhances image brightness with content and ambient adaptive image brightening and highlights visual parts and boundaries with non‐photorealistic rendering. The proposed technique enables longer battery life for mobile LC devices and makes mobile LC devices viewable at high ambient illumination. It also enables TVs with extreme low‐power consumption and smart‐grid responsive TVs.