摘要：在中学如何有效地开展整本书阅读是一个难题,一个重要症结在于整本书阅读课的教学设计缺乏科学性、有效性、有趣性。提出整本书阅读课七种基本课型以及三种典型课型,推动书香校园建设。

摘要：基于传统旅游服务平台中存在的商家虚假评价、虚假宣传等问题,提出改进PBFT算法的在线旅游点评服务模型并采用超级账本(Hyperledger Fabric)开发模型。模型面向游客和商家两个用户角色,设计商家信息上链合约、用户点评合约和查询信息合约,建立商家与游客两者间的直接联系,从而提升用户旅游体验感,消除商家与游客之间的信任裂缝。通过提出基于PBFT改进的共识机制F-PBFT,优化一致性协议减少节点间通信时间,提高共识效率。实验结果表明,文中所提出的F-PBFT算法的平均共识时延降低了6%,平均吞吐量提升了5%,具有较好表现。

摘要：真值表是表征逻辑输入与输出之间因果关系的重要工具,真值表约简在数字逻辑电路的分析与设计中具有重要意义。该文将真值表看作逻辑信息系统,将真值表约简转化为逻辑信息系统的最简规则获取。采用粒计算分层粒化的思想,在不同粒度下,利用粒矩阵的知识表示形式、粒矩阵中的启发式知识以及粒矩阵运算,设计了多输入多输出真值表快速并行约简算法。以发光二极管七段数字显示器为例进行了算法说明,通过数学证明和算法复杂性分析证明了算法的正确性和有效性。

摘要：针对现有地面数字电视单频网接收电平过低、调制误差率大等现象,严重影响单频网覆盖率及覆盖效果,造成地面数字电视接收性能差,在引入遗传算法的基础上,开展对其优化方法的设计研究。通过基于遗传算法的单频网台站位置优化、地面数字电视单频网SIP信号处理优化、单频网发射功率及其它参数优化调整等,提出一种全新的优化方法。通过对比优化前后单频网的覆盖效果,进一步证明新的优化方法可行,将其应用于实际可有效提高接收电平,降低调制误差率,从而提高单频网覆盖率,达到更理想的覆盖和接收效果。

摘要：真值表约简是数字逻辑电路分析与设计的关键问题之一,形式概念分析(Formal Concept Analysis,FCA)是一种从形式背景进行数据分析和规则提取的工具。该文将多输入多输出(Multiple-Input Multiple-Output,MIMO)真值表转化为决策形式背景,将真值表的约简问题转化为决策形式背景的最简规则提取过程,提出一种基于FCA的MIMO真值表并行约简算法。通过理论证明、实例演示和算法的复杂性分析,说明了新算法的正确性、有效性和快速性。

摘要：随着我国油气资源勘探开发不断向深层挺进,深井、超深井面临着越来越高的温度、压力挑战。为了满足深层、超深层油气开发的需要,针对现有固井缓凝剂抗高温能力差(低于220℃)无法满足大于240℃超高温固井需求的技术难题,根据油井水泥水化产物吸附特点,通过优化分子结构设计,引入强吸附阳离子单体(CP-22)、不饱和羧酸等耐高温单体,制备出了一种新型四元超高温两性离子缓凝剂(HTRP),并通过红外光谱、高温高压稠化等方法对缓凝剂HTRP的分子结构和耐超高温性能进行了研究。研究结果表明:(1) HTRP耐超高温性能优异,在240℃超高温循环温度下水泥浆稠化时间达401 min,可有效延长油井水泥在超高温下的稠化时间;(2)在150~240℃对油井水泥浆调凝性能优异,对温度、加量不敏感,稠化时间线性可调,有利于深井、超深井水泥浆的安全泵送;(3)与其他固井水泥外加剂、不同地区产油井G级水泥配伍性好,对水泥石力学性能影响小,顶部强度发展迅速,可满足超高温井固井施工需求。结论认为,该缓凝剂有效地解决了超深井超高温缓凝剂的高温失效难题,为超高温聚合物类缓凝剂的分子结构设计及耐超高温性能提升提供了新思路,可为我国深层、超深层高温高压油气藏的勘探开发提供技术支持,具备良好的应用前景。

摘要：科学设计作业是实现高效课堂的前提，是教学过程的重要组成部分，它贯穿整个教学过程，好的作业设计不仅有利于学生巩固已学知识，还能帮助学生实现知识与方法的迁移；不仅有利于学生建立科学概念，还能帮助学生了解知识的发生和发展过程；不仅有利于教师及时了解教学目标的达成情况，还有利于教师教学行为的反思和矫正。当前作业设计存在的问题是作业题缺少科学设计，缺乏针对性，训练过剩。因此，要实现高效课堂，首要任务是科学设计作业。

摘要：真值表化简可简化数字逻辑电路的分析与设计.在人工智能理论中,命题逻辑值的判定和复合命题的等值关系判定也需要用到真值表及其化简.文中将真值表定义为逻辑信息系统,用粒矩阵由粗到细描述不同粒度空间下的知识,将真值表化简转化为通过粒矩阵运算实现的逻辑信息系统属性与属性值的约简,从而提出多变量真值表快速约简算法.并将算法应用到发光二极管七段数字显示器的设计中,实验分析表明文中算法的快速性和有效性.

摘要：真值表的化简对于逻辑电路的分析与设计具有及其重要的意义。对真值表的化简问题进行研究,提出了一种利用分辨矩阵从真值表中获取最小布尔表达式的粒分辨矩阵方法,实现其在逻辑优化中的应用。首先,将真值表视为逻辑信息系统,将真值表的化简问题转化为逻辑信息系统的最简规则发现问题。然后,在传统分辨矩阵的基础上,利用等价关系模型构造粒分辨矩阵,找出可以组织成最小布尔表达式的信息粒,利用信息粒的析取合取运算获得逻辑信息系统的最小布尔表达式。为进一步加快算法的收敛速度,引入启发式信息的概念,给出了组织信息粒的判定法则,避免在最小布尔表达式的获取中出现冗余逻辑项,使得布尔逻辑表达式最简,同时提高最小布尔表达式的获取效率,解决大规模逻辑电路的优化问题。最后,给出了详细的算法,并通过实例和理论证明说明了该方法的正确性和有效性。