一阶逻辑公式自动推演前的预处理

讨论了一种方法用于在处理γ子式前先对δ子式进行处理,减少了后期执行的工作量,简化了自动推演程序,并对其在理论上进行了证明,同时也得到了对一阶逻辑公式进行范式转换的方法.

农村中学编程拔尖学生并行计算思维形成的支持策略研究——基于Python多进程编程

根据对农村中学生在计算机程序设计学习方面的特点分析,尝试研究并提出了一种分成三步走的策略,针对如何遴选常规编程较拔尖的学生,及进一步支持其并行计算思维形成的策略。通过引入现阶段科创项目进行实践的方式,对这种支持策略进行了可操作性验证;并根据运用这一支持策略后,相关学生在并行计算编程、理论总结、论文发表及申报专利与获得软件著作权方面的实践成果,证明了本文所提出的支持策略的有效性。

基于人脸检测的批量证件照并行自动裁剪的研究及实现

为在指定时间内将大批量非证件照裁剪成符合各种要求的标准证件照,降低人力资源消耗,提出了基于人脸检测技术的自动裁剪算法。包括给出使用多个不同参数重复多次进行检测的算法,用于获取更高的最终成功率。同时对其并行化以提高执行效率,并给出了并行前后的耗时对比及提升倍率。

Visio故障树图并行转换方法研究及实现

为使不同人员建立的故障树图能够互相交流使用,并简化故障树分析软件的开发,降低开发成本,提高软件质量,对故障树图结构进行了分析,提出转换后用于表示故障树的格式。同时对VDX文件结构进行研究,提出了将VDX文件转换为上述格式的中间格式及转换算法,进而对其并行化以提高执行效率,给出了并行前后的耗时对比及提升倍率。另外再通过两个转换方法说明这种格式与目前较常用的故障树分析方法之间衔接的方式,并给出了算法流程。

信息技术与农村初中STEM教育及创客教育融合应用的研究与实践

针对农村初中教育环境现状及开展多学科融合教育的实际困难,提出适合农村地区的初中STEM教育及创客教育的浅层、中层和深层三个与信息技术相融合的层次与基本方法,包含了尽力缩小城乡差距、信息化工具选择、信息素养培养等多个方面内容。并通过近几年的实践结果,证实了其具有可操作性和有效性。对存在的问题提出改进方向,为进一步拓宽覆盖面、提高适应性做好准备。

用列表法解逻辑推理题

我正随意地翻阅着奥数书时,忽然,一道推理题引起了我的兴趣。那道题目是:小李、小王、小张、小赵四人进行跳远比赛。对比赛的名次,甲、乙、丙三人各自作了猜测。甲说:"我猜小李第一,小王第二。"乙说:"

以智能创客活动为主导的STEAM教学模式探索

日前,我校多名优秀学生创客参加了在无锡青山高级中学举行的2018年江苏省中小学电脑制作活动暨第二届江苏省中小学创客大赛。此次大赛主要包括数字创作(含动画、程序、3D创意设计等)、创客作品展示赛及创客现场赛等多个部分,我校智能创客社团创客作品《体感车灯》及3D创意作品《折叠式垃圾分类桶》入围江苏省中小学创客成果展。

2017年河东区食品安全风险监测结果分析

目的了解和掌握河东区2017年主要食品中食源性微生物及致病因子污染情况,发现本区市售食品存在的安全隐患,为食品安全风险监测工作提供依据。方法参照国家标准方法,自2017年3-12月在河东区内,对主要市售食品进行抽样和食源微生物项目检测。选取食品销售场所包括:商场超市、农贸市场、餐饮服务、流动摊点。结果 2017年共采集15类150份食品。其中,合格食品119份。不合格食品31份,占20.7%。结论河东区主要市售食品有食源性微生物污染情况,抽样食品中主要不合格食品种类有水产制品、非发酵豆制品、熟制肉制品、烧烤食品等。应加强对本区食品污染物管理工作。