排序方式： 共有2条查询结果，搜索用时 250 毫秒
1
1.
正确确定进行复数教学的指导思想 1°明确复数的教学任务。在中学代数課程里,“复数”一章的教学是相当重要而又富有現代数学意义的。因为这个課題,給出了以前各个学期中学习过的关于数的知識的总結,使学生获得关于近代代数的概念,懂得扩张数体的一些观念, 相似文献
2.
为了明确安全协议分析和验证中所必需的参与者个数的上确界,改进了基于Horn逻辑的踪迹模型,在该模型中增加了策略向量,描述了攻击者对消息的截留能力以及消息接收的不确定性;提出了在Herbrand域和Herbrand基上的映射,该映射将潜在无穷的参与者限制在有穷的个体内;使用该映射给出了分析安全协议的保密性所必需的参与者个数的上确界n(ψ),定义了语义保持.结果显示,对于安全协议的任意安全性质,若其Horn子句与协议程序在影射后保持原来的语义关系,则町以得出分析该性质所必需的参与者个数的上确界. 相似文献
1