论学生课程履历及其规约

课程履历是指学生课程学习的过程和经历,是一种过程意义上学生学习某一门课程的任务性、过程性、规约性的成长经历。课程设计、教学设计和教学实施需要明确学生的课程履历规约。任务性规约、过程性规约和方法性规约,是课程履历规约的基本内容。课程履历的完整性、规范性和丰富性,是达成课程目标的基本前提,是实施深度教学的根本要求。     

一种面向大规模URL过滤的多模式串匹配算法

对大量有害的URL进行过滤,是目前网络安全应用系统中所亟需的关键技术.使用经典的串匹配算法检测庞大的URL规则集,需要消耗大量的计算资源和存储资源,性能十分低下.该文设计了一种适合于大规模URL过滤的多模式串匹配算法——SOGOPT.该算法在经典的SOG算法基础上,针对URL规则的特点,提出了最优窗口选择、模式串分组规约这两种优化技术,大幅度提高了SOG算法的匹配速度,在大规模URL规则集上效果尤其显著.该文设计的算法非常适合于大规模(100万级)URL实时在线匹配的应用环境.     

Tableau算法的优化及模型规约技术

为了近一步提高模态逻辑推理机的效率,提出了两种Tableau算法优化技术——冲突技术和矛盾学习技术,并结合这两种技术实现了针对模态逻辑S4的推理机S4P.在此基础上,为了从Tableau算法生成的模型图中构造一个规模较小的模型,又提出通用模型的概念,然后给出通用模型的规约技术并证明该技术对于任意依赖于公理D、T、B、4和5中部分或全部公理的正规模态逻辑的正确性.最后,使用逻辑工作台测试用例对S4P的效率进行测试,实验结果表明S4P的效率优于RACER和FACT++;同时,对S4P生成的测试用例中非有效公式的否定对应的通用模型进行规约,实验结果表明通过模型规约能明显地缩减模型的规模.     

ADO数据库技术及微机线路保护通信规约在上位机开发中的VC＋＋实现

论述了微机线路保护上位机数据库的建立过程,并介绍了通过VC＋＋编程、使用ADO接口技术实现CAN网通信规约的总体设计结构及多线程中各个线程的特点,最后展示了软件的设计界面.所开发软件已应用于实际并获得良好评价.     

IEC61850到IEC60870通信规约的映射研究

变电站自动化系统目前采用IEC60870的老设备很多,必须保证使用IEC60870标准的装置在通信上与基于IEC61850新标准的系统的相互兼容。比较了IEC61850与IEC60870两种不同标准体系通信规约的特点,依据变电站通信功能的特点和IEC61850的映射原则,提出了将IEC61850到IEC60870—5—103／104通信规约的映射方法和思路,将采用103／104规约的装置纳入新的变电站自动化系统通信体系。     

正伦规约对中国服饰的影响

本文以中国古代服饰发展史为线索,从政治、伦理、哲学、儒学等角度探讨其对中国服饰制度发展的影响;从服饰形制、服饰质料、服饰色彩、服饰佩件等许多方面探讨了服饰艺术附加的一系列社会的、文化的、制度的、阶级的、观念的意义,以及对于具体不同的服饰来说,它们所代表的政治象征意义、伦理象征意义。     

形式化方法Designware及其规约精化机理*

介绍了一种新的支持算法设计自动化的形式化方法Designware,详细分析了其理论基础及规约精化机理,阐述了其半自动算法设计支撑系统,并结合一个开发实例展示了Designware的具体使用,给出了Designware的两个实际应用项目,最后对Designware进行了评述.     

变电站综合自动化系统问题浅析

采用变电站综合自动化技术是电网发展的趋势,但同样也带来了一些问题。基于运行经验,介绍了变电站综合自动化系统,从技术、管理、人员素质等方面阐述了当前变电站综合自动化系统实际应用中存在的若干问题．并针对这些问题提出了一些建议。     

面向对象系统的时序逻辑描述

针对面向对象系统,定义了一种基于时序逻辑的形式化规约语言.它不仅支持对面向对象思想中重要概念,如类、对象、继承等的描述,而且支持对面向对象系统的时序属性的描述,如类的状态之间的转换,类中某些属性必须一直满足的约束条件等.能够实现对系统属性的推理也是用这种语言描述的系统的动机之一.通过对一个局域网用户访问控制实例的描述来实现对这种形式化规约语言的直观阐述与理解.     

并发系统中谓词行为图的行为时序逻辑表达

行为时序逻辑(TLA)组合时序逻辑与行为逻辑, 可以对并发系统进行描述与验证, 它引入动作和行为的概念, 使得系统和属性可用它的规约公式表示, 但存在用TLA描述复杂系统时TLA公式复杂且难以理解的不足。类似于状态转移图, 对于并发转移可以用谓词行为图进行图形化表示, 谓词行为图与行为时序逻辑规约具有相同的表达能力。介绍行为时序逻辑的语法、语义及简单推理规则, 用一个简单的实例说明使用谓词行为图去描述并发转移系统的有效性, 并用系统规约的TLA公式对谓词行为图表达能力进行证明, 表明两者具有等价性, 为描述和分析并发转换系统提供了一种可行的方法。