α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++课程教学及其他计算机课程建设的开展提供参考。     

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.     

公选课《动画设计—Flash》教学的一点经验

高校公选课程的开设是培养大学生综合素质的重要渠道之一,《动画设计—Flash》以其生动鲜活、实用性强、易学易用的特点深受广大同学的欢迎。该文根据教学实践,从教学内容的安排、教学手段与方法、考核方式三个方面进行了阐述。     

微机原理与应用课程改革与实践

为适应新技术对信息化人才培养要求,在分析微机原理与应用课程特点及教学状况的基础上,从教学目标、教学内容入手,阐述微机原理与应用课程改革思路和方法,从适应科技发展的角度,提出调整课程教学内容,构建微机原理与应用多媒体及网络教学平台系统,改革课程考试方式。