排序方式: 共有20条查询结果,搜索用时 15 毫秒
1.
C++程序设计是一门培养大学生计算机应用能力的重要课程,由于其内容抽象且实践动手要求高,教与学的难度较大。在教学中用Debug工具能直观而深刻地揭示C++程序设计的概念、技术与方法,有效加深学生对程序设计本质的理解,提高编程能力。该文通过几个实例说明了使用Debug工具对程序设计课程进行直观教学的方法。 相似文献
2.
3.
4.
吴克力 《电气电子教学学报》2003,25(2):92-94
通过分析课堂教学课件的特点,给出了一组用Authorware制作助教型课件的程序框架。它具有简捷、易学和实用的优点,因此它特别适合于教师亲自制作教学课件。 相似文献
5.
提出了一种适用于移动Ad hoc网的身份可追踪的匿名通信方案。方案采用伪身份的技术,基于双线性映射实现了节点间的匿名通信,同时当出现不诚实节点时,通过部分节点协作,可追踪节点的真实身份。并对该方案进行了正确性、匿名性和安全性分析。 相似文献
6.
BPMN(Business Process Modeling Notation)作为一个在系统开发早期阶段获取业务过程模型的标准,指导系统的设计和开发,其模型的正确性是影响软件开发质量的关键。鉴于BPMN模型的形式化可以验证模型的正确性,提出了一种利用扩展Petri网模型,应用模型驱动技术实现BPMN模型形式化自动执行的方法。该方法通过细化Petri网模型中的Transition和Place元素以及增加Organization Identifier和Group Identifier容器,使其不但能够描述BPMN模型中的动态行为,而且还能描述BPMN模型中的动态行为协作和静态组织结构。从元模型结构、语法和图标记方面详细分析了扩展的Petri网模型元素,利用模型驱动开发技术设计BPMN模型元素至扩展的Petri网模型元素的转换规则,并在Eclipse平台上使用ATL模型转换语言执行映射,实现形式化的自动执行。最后在此基础上应用Travel Agency系统演示了模型形式化插件BPMN2ExtendPetrinets的执行结果。 相似文献
7.
8.
一种子密钥数据库加密算法及其密钥管理方案研究 总被引:4,自引:0,他引:4
该文用线性空间的正交基方法设计了一种子密钥数据库加密算法,实现了按记录加密,而按数据项进行解密,是一种安全性好、可靠性高、实用性强的数据库加密算法。 相似文献
9.
利用数字签名将口令与节点身份绑定,防止了恶意节点假冒合法节点的攻击,以及内部节点的抵赖行为的发生。该方案采用前向哈希链的思想进行口令更新,减轻了节点的计算开销和存储开销。利用Diffie-Hellman密钥交换方法产生会话密钥,减小了因长时间存储密钥而遭受攻击的机率。 相似文献
10.