Proteus在“电子信息类”课程教学中的应用

针对传统电子信息类学生学习中存在的问题,在教学过程中引入Proteus软件仿真,实现理论教学与实践的融合。结果表明,这种方式提高了学生的自主性与创新性,加强了教师与学生的互动性,强调了学生综合素质的培养以及教师深入指导的重要性。最后,用一个具体教学实例说明过程。     

后易学第二基础

后:掌管、掌握;易:变化、改变。所以后易学是指掌握并且改变一切的学术。本文将阐述"易"部分。     

小波理论在电网故障测距应用研究初探

随着电力系统规模的不断扩大,电力系统常出现各种各样的故障。为更快更好的解决故障,小波理论被引入到电网的故障测距中来。而本文简要概括小波理论,总结目前国内小波理论在电网故障测距尤其是行波测距方面的研究状况,并做了简要的比较分析。     

从教育学习理论看CAI课件写作

行为主义、认知主义、建构主义都曾经指导了CAI课件写作。情境认知与学习理论继承并发展了其他教育学习理论对CAI课件写作的指导,认为:CAI课件中知识的意义不能脱离具体的情境产生。真实性是创设情境的前提,情境创设应符合现实生活场景和事物运动的客观规律,情境性教学应作为CAI课件写作的最重要目标进行设计,要因人、因时、因地而异。此外,情境创设还必须保持情境的知识性、科学性、思想性和趣味性的统一。通过教育学习理论指导CAI课件写作,使CAI课件更符合教育规律,能够更好地服务于教学活动和学习活动。     

基于事件逻辑的改进Needham-Schroeder协议安全性证明

安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。     

模糊专家理论在炮兵指挥控制系统中的运用

针对炮兵指挥控制系统在作战训练中遇到的问题,在科学地分析了影响效果和相关因素的基础上,依据模糊专家理论的方法和原理,设计了相关的运用决策框架,并提出了运用规则。     

基于Windows平台的浏览器痕迹提取技术研究

随着互联网的发展,web浏览器成为互联网信息获取与发布的重要工具,浏览器中存储着的大量浏览信息与痕迹成为了电子证据中重要的一部分。根据浏览器内核的不同,本文分别对当前windows平台下的IE浏览器和主流非IE内核浏览器的痕迹提取技术进行研究。     

基于证据理论刻画多粒度覆盖粗糙集的数值属性

在经典多粒度粗糙集模型的基础上,基于论域中对象的极大描述和极小描述,定义了4种应用更为广泛的悲观多粒度覆盖粗糙集模型。然后通过集合的交、并运算与关系划分函数,构造了对象关于覆盖族的单粒度的多元覆盖及单粒度划分。在此基础上,基于证据理论,探讨了4种悲观多粒度覆盖粗糙集的上、下近似与信任函数和似然函数之间关系,并描述了该模型所具备的相关数值属性。对比分析表明悲观多粒度覆盖粗糙集模型既具备经典多粒度粗糙集模型能够融合多源信息的优势,又克服了其应用范围狭窄的缺点。实例分析验证了所提模型的有效性。     

优势关系下变精度与程度“逻辑且”粗糙模糊集

在优势关系下将变精度粗糙模糊集与程度粗糙模糊集融合起来,建立了一种基于"逻辑且"的粗糙模糊集模型,并给出了近似区域及边界区域的精确刻画。此模型克服了传统"逻辑且"粗糙模型不能解决模糊对象的问题,使得变精度与程度粗糙集具有更广的应用领域。同时,深入研究了该模型的重要性质。最后,通过员工考核的案例给出了模型具体求解方法和研究意义。序信息系统下变精度与程度的"逻辑且"粗糙模糊集是经典粗糙集理论的延伸和推广,为序信息系统的知识发现提供了新的理论基础。     

《电子签名法》:连接网络空间与传统空间的法律

电子签名法是网络时代＂私＂法领域的霸王法律 首先,《电子签名法》不是一种宣誓性法律。目前《电子签名法》没有用好,是因为很多人没有明白它的司法证明价值。在此基础上,司法机关一直没有出台相应的司法解释。这就导致《电子签名法》在司法实务中一直没有发挥它应有的价值。其次,《电子签名法》是网络时代＂私＂法领域的霸王法律,不懂《电子签名法》就是不懂法律意义上的＂网络＂。《网络安全法》是网络时代＂公＂法领域的霸王法律。