排序方式: 共有43条查询结果,搜索用时 406 毫秒
31.
针对基于响应时间的Web服务组合,提出一种迭代加深的A*算法(IDA*算法)对服务节点进行搜索筛选。在利用节点数量的要求设计出服务节点限制判断条件的基础上,将该IDA*算法进行具体实现。实验结果表明,与图规划搜索算法相比,该IDA*算法在所需目标节点数较少的范围内比图规划搜索效率高。还进一步将IDA*改进为基于top-k的算法,并进行分析比较。 相似文献
32.
33.
34.
本文以一个具体例子为基础,阐述了高校基本信息管理多媒体系统建立的必要性、系统的基本配置、设计与实现的基本原则和系统所具备的主要特点。 相似文献
35.
36.
本科软件人才培养探索与实践 总被引:2,自引:2,他引:0
本文针对如何培养创新型本科软件人才,分析为实现人才培养目标,需要满足知识结构、能力结构以及整体素质的要求,总结了华南农业大学在培养有理论、重技术和懂管理的本科软件人才的探索与实践经验,其中包括体现学科发展趋势与软件产业需求,消化吸收国际先进课程体系和新技术,校企联合培养及软件工程项目复现,培养英语交际和应用能力,倡导学生参加学科竞赛并取得优异成绩。 相似文献
37.
38.
39.
文中 ,在密码系统状态间的关联性和时序逻辑的可达性间建立联系 ,探讨了一种基于时序逻辑的密钥分配协议的描述办法 .该途径从形式上规定密码设备的构成成分以及有关的密码操作 ,使用了时序逻辑的常量和状态不变量来表达这些构成成分 .有关的密码操作表达为状态转换 ,加密协议应保留的必要特性表达为临界不变性表达式 ,然后验证这些不变性表达式 .本方法的优点在于可以隐式地刻画攻击者的行为 ,具有形式化程度高等特点 .我们希望能为研究规范化、简洁化的形式化分析工具提供一些借鉴 . 相似文献
40.