广义量词的计算复杂性

广义量词的复杂性有两个层次：句法层面的复杂性和语义层面的复杂性,我们集中研究了广义量词的语义复杂性。在有穷的语境中可以找出自然语言量化语句真值的复杂性。这些复杂性与图灵机中的可计算性、作为算法的意义的等价性、计算复杂性、易处理性和不易处理性等内容相关。广义量词计算复杂性已有诸多相关研究成果。     

基于问题求解思维能力培养的程序设计教学实践--以累加求和问题为例

问题求解思维是程序设计的重要特点,也是计算思维的重要形式。以累加求和问题为例,呈现了课堂教学的组织方式,详细分析了算法形成过程,有助于学生掌握问题求解的思维规律和方法,培养计算思维能力。     

Computational fluid dynamics (CFD) modeling of microclimate for salts crystallization control and artworks conservation

Many deterioration processes are linked to unsuitable microclimatic condition in cultural buildings. One of the most diffused processes is soluble salts crystallization that can be accelerated in masonry structures within specific microclimatic values for different chemical compounds. In this paper, microclimate and efflorescence diffusion were monitored over a one-year period in the Crypt of the Cathedral of Lecce (South Italy). This allowed to relate the microclimate with the efflorescence variation over time. A three-dimensional computational fluid dynamics (CFD) model was then developed to detail the thermo-hygrometric parameters and airflow patterns responsible for salts crystallization and artworks deterioration. Two main conditions were reproduced; one to simulate the current microclimate, which simulations showed to be inadequate for conservation, and the other to search for a more appropriate solution. In both cases, summer and winter conditions were simulated and compared to find a microclimate able to ensure more suitable thermo-hygrometric intervals required by the constituting artworks materials. The results helped to suggest actions to improve maintenance of the Crypt.     

Demystifying computational thinking

This paper examines the growing field of computational thinking (CT) in education. A review of the relevant literature shows a diversity in definitions, interventions, assessments, and models. After synthesizing various approaches used to develop the construct in K-16 settings, we have created the following working definition of CT: The conceptual foundation required to solve problems effectively and efficiently (i.e., algorithmically, with or without the assistance of computers) with solutions that are reusable in different contexts. This definition highlights that CT is primarily a way of thinking and acting, which can be exhibited through the use particular skills, which then can become the basis for performance-based assessments of CT skills. Based on the literature, we categorized CT into six main facets: decomposition, abstraction, algorithm design, debugging, iteration, and generalization. This paper shows examples of CT definitions, interventions, assessments, and models across a variety of disciplines, with a call for more extensive research in this area.     

系统生物学研究进展

人类基因组计划把生物学由分子生物学时代推向系统生物学时代,生物学由分解转向整合,由叙述科学转变为定量预测科学。     

高职院校图书馆人员定编思路及编制计算方法设想——以广东省10所高职院校图书馆为调查统计样本

目前,高职院校图书馆人员编制缺乏一个明确的、统一的标准。现有的政策依据、理论和实践依据在实际工作中缺乏可操作性。以广东省10所高职院校图书馆的实际统计情况为样本值,综合分析比较后得出的各项平均参考值可作为各高职院校图书馆测算人员编制的依据,并且各馆可根据自身情况适当调整。最现实的做法就是督促各省高校图书情报工作委员会的高职高专分会发挥应有的作用,制订相应的编制依据。     

滚筒洗衣机噪声分析

本文具体针对全自动滚筒洗衣机,研究其在脱水状态下以每分钟1200转运转时所产生噪声的成因,接着提出三个改进方案,然后重新研究改进方案产生的噪声大小,以此验证改进方案的有效性。本文采用CFD软件FLUENT对所有模型进行模拟仿真分析。因为是搅拌模型,所以具体计算时采用动参考系法(MRF)进行计算。通过研究发现加强筋结构会造成涡流气流,是导致噪声问题的主要成因。在各个改进方案中,填充外围第四和第五圈栅格的方案被验证为最佳方案,既起到减噪效果又能节省填充材料。     

CFD simulation of micro-particle trapping under water tweezers

In early research, capture and manipulation of particles were mainly achieved by means of light, electricity and plasma in micro-fabficaton and micro-assembly. A new method is proposed using micro-water jet to form water tweezers to capture solid particles and implement position control of micro-particles. This paper analyzes the basic prin- ciple of water tweezers, and the discrete element method and smoothed particle hydrodynamics method are employed to establish a solid-liquid coupling model used in analyzing the trapping mechanism. A flow field model is set up to simulate dynamic characteristic of water tweezers based on computa- tional fluid dynamics （CFD）. Selection of boundary conditions, initial guess, solver control and convergence strategies of the model are discussed. Velocity and pressure of streamline are predicted and discussed under certain input conditions. Simu- lation results demonstrate that it is an efficiently theoretical method to eventually trap solid particles by water tweezers.     

基于计算思维能力培养的C语言程序设计课程改革

针对非计算机专业学生在C语言程序设计课程教学中出现的问题,将计算思维能力的培养融入到教学过程中。对理论课堂教学、实验课堂教学、课外拓展训练三个教学阶段进行改革,在培养学生计算思维能力的同时也提高了教学效果。     

聚焦技术创新回归学习本质——AECT 2021年会综述

美国教育传播与技术协会(AECT)2021年国际学术年会(简称AECT 2021)于11月2日至6日在伊利诺伊州的芝加哥如期举行。本次会议的主题是“聚焦技术创新,回归学习本质”(A Return to Learning through Innovation),采用实地现场和线上交流同时进行的复合式会议方式,为因疫情而不能现场参与会议的学者们提供了互动交流机会。来自世界各地近1000位教育技术领域的专家学者、教育实践人员、教学设计师以及相关领域的研究生和企业人士,围绕主题展开了丰富多彩的交流与研讨。在为期五天的会议期间,与会者共同探讨了“创新”(Innovate)的蕴意,强调通过创新促进学习,展现了学习与技术间多维、多元与一体的特性。AECT 2021共举办了600多场会议发言,3场特色研究报告,39场创新式演讲,58场小组讨论,42场海报展示和21场专业发展工作坊。另外,会议还特别增加了健康主题活动,通过冥想、瑜伽等活动,思考与探讨数字化时代的技术与身心发展平衡等问题。