密码通信下的动态认知逻辑

动态认知逻辑能够完成多主体信息交互活动中认知状态的刻画,但是它缺乏对密码通信的支持,同时密文处理规则的描述和主体密码全能问题也是迫切需要解决的问题.CDEL(Cryptography Dynamic Epistemic Logic)是支持密码规则的一阶认知逻辑,它为开放环境下主体传送信息提供了一个良好的描述方法.文章讨论了该逻辑中的密码公理的引入和密码全知问题的处理,简要介绍了其动态扩展方法和进一步研究的方向.     

浮沉30载 书写海上传奇人生——记2014年度山东省科技最高奖获得者王军成

1月的青岛,海风凛冽,呼吸间尽是海洋的味道。对于与海洋打了大半辈子交道的王军成来说,大海不仅是他魂牵梦绕的故乡,更是他科研道路上的终身追求。寄蜉蝣于天地,渺沧海之一粟。总面积约为3.6亿平方公里的海洋,约占地球表面积的71%。波澜壮阔的大海,曾让多少人望洋兴叹。但在王军成的眼中,大海却成了他科研路上取之不尽用之不竭的宝藏。"我这辈子干了30多年,前25年研究浮标,近十年正在研究潜标,只要能干成这两件事,为国家干成这两件     

电子射野影像系统（EPID）在头颈部肿瘤放射治疗中的摆位误差分析及质量控制

目的：：利用电子射“影像系统，分析在头颈部肿瘤放射治疗中的摆位误差，提出质量控制措施。方法：对本：2013年3月到2014年3月收治的头颈部肿瘤患者进行电子射“影像治疗，每月一次，分析不同肿瘤的误差发生率。结果：研究显示346帧误差小于5mm，占比为91.05%，其中140帧鼻咽癌中误差小于5mm的为133帧（95%）；100帧鼻腔癌误差小于5mm的78帧（78%）、80帧口腔癌小于5mm的77例（96%）、60帧甲状腺癌小于5mm的58例（96.67%）。结论：为了减少治疗误差，需要加强质量控制。     

协同过滤算法在电影推荐系统中的应用

在大量电影中如何快速找到自身所喜爱的影片是一个很重要的问题，特别是在观众没有明确目标时，推荐系统则可发挥至关重要的作用。结合电影推荐系统的实际需求，通过阐述和分析协同过滤算法的特点和不足，提出了一种改进的协同过滤算法用于电影推荐中，改进了数据稀疏导致推荐系统正确性不高的问题，提高了系统的可靠性。     

传统教具在小学数学教学中的使用现状及思考

<正>听见有同事说,我们班的电脑又坏掉了,怎么上课啊?现在教师越来越多地依赖电脑进行教学,在电脑"罢工"时往往束手无策,多媒体成为了教师唯一的教学手段,忽视了数学传统教具的使用。数学教具一直扮演着重要角色,直到多媒体涌入课堂。数学传统教具慢慢失去了其应有的地位,逐渐退化成为可有可无的教学工具。小学教学中使用教具比较多,但是现在的教师往往没有意识到传统教具的重要性,走向了极端,用多媒体替代     

加强作文评改的针对性

作文应该如何改,又如何评,历来众说纷纭。叶圣陶说:我想学生作文教师改,跟教师命题学生作一样,学生都处于被动地位。能不能把古来的传统变一变,让学生处于主动地位呢?假如着重在培养学生自己的能力,教师引导和指点,该怎么改让学生自己去考虑去决定,学生不就处于主动地位了吗?养成自己改的能力,这是终身受用的。在生活和工作     

110 kV农网变电站主设备在线监测系统应用研究

阐述了110kV农网变电站主设备在线监测的必要性,介绍了其实施方案和实施效果,得出了其应用结论。     

自动旋转的木马

小朋友们，你想学会玩魔术吗？不用动手就能让木马旋转起来，来吧，我们一起当个小小魔术师。     

高考试题中的负反馈调节例析

从细胞、个体和群体等三个水平结合近几年的高考典题对高中生物学中常见的负反馈调节作了简要分析。     

“生命系统的信息传递”小专题复习

地球上瑰丽的生命画卷,在常人眼中,也就是芸芸众生,千姿百态。事实上,它们却是富有层次的生命系统:细胞→组织→器官→系统→个体→种群→群落→各种生态系统→生物圈。从细胞到生物圈,生命系统层层相依,相互联系成为一个统一体,而各层次内部和之间功能协调性的实现依赖于物质和能量代谢,也依赖于信息传递。借助信息传递,生命系统各层次的稳态才得以维持。在高三生物高考复习中,笔者