排序方式: 共有15条查询结果,搜索用时 0 毫秒
1.
2.
3.
计算机网络技术的发展给现代社会带来了巨大的变化,特别是依托网络为主体的电子商务有了飞跃式的进展。于是网络交易的安全问题成为人们关注的焦点,怎样通过合适的技术来保障网络商务活动的安全,CA的运用把这些设想变成了现实。本文针对CA的产生、发展及应用实践中的问题进行了研究。 相似文献
4.
5.
2022年3月10日,省水利厅党委委员、副厅长、省鄱建办主任罗传彬一行轻车简从,赴省袁管局调研指导 灌区续建配套与现代化改造工作.
罗传彬来到省水利厅水旱灾害防御物资储备赣西仓库项目、袁惠渠灌区"十四五"续建配套与现代化改造 工程项目施工现场,认真听取项目汇报,详细询问项目建设情况. 相似文献
6.
Event-B是一种基于集合论和谓词逻辑的形式化系统语言,能够采用精化策略为系统建立逐渐精化的模型。提出了如何将Event B应用到实际工业领域的方法,包括重写需求、建立抽象模型及逐层精化三个步骤。首先从环境、功能、性质三个主要方面重写需求,明确精化策略;然后利用形式化方法建立抽象模型并验证该模型;最后,在正确的抽象模型上按照精化策略添加需求、逐层精化,并对每层模型进行验证,基于满足需求的最后一层模型,可进一步利用工具完成代码自动生成。该方法学采用精化理论,以逐层递增的方式明确被开发系统的需求及性质,并进行形式化建模与验证,确保了模型的正确性。为了说明该方法学的可行性,以真正工业界的多应用智能卡为实例,基于Event-B方法及其工具平台Rodin给出了该方法在实际建模及验证过程中的应用。 相似文献
7.
数据中心租户使用的遗留设备中仍存在没有实现显式拥塞通知ECN的情况,导致数据中心网络中存在ECN流抢占非ECN流带宽资源的不公平现象。虚拟拥塞控制方法通过修改数据包接收窗口字段进行拥塞控制,改善了上述不公平现象。从租户主机数目、带宽需求、网络拥塞程度、拥塞控制算法等四个角度出发,建立对应的符合数据中心租户带宽特征的仿真场景,通过仿真实验分析虚拟拥塞控制方法在上述场景中的性能。结果表明:(1)虚拟拥塞控制方法的性能良好,不受租户主机个数、租户带宽差异以及网络拥塞程度的影响;(2)虚拟拥塞控制算法的性能在拥塞控制算法不同环境下的表现存在差异,当使用YeAH TCP时解决ECN不公平性效果较差。 相似文献
8.
传统的推荐系统主要针对单个用户,但随着社会和电子商务的快速发展,人们越来越多地以多个用户的形式一起参与活动,而群组推荐旨在为多个用户组成的群组提供服务,已成为当前研究的热点之一.针对目前群组推荐准确率低,群组成员之间偏好冲突难以融合的问题,本文提出了一种新的共识模型策略,融合了群组领袖影响因子和项目热度影响因子,基于K近邻为目标群组寻找邻居群组,借鉴邻居群组的偏好,设计了基于偏好融合的群组推荐算法.在MovieLens数据集上的实验结果表明,本文所提的融合策略较传统的偏好融合策略有着更优越的表现,推荐准确率(nDCG)的总体平均性能约提高13%,推荐列表多样性指标的总体平均性能约提高10%. 相似文献
9.
10.
安全性、可靠性是嵌入式软件的重要性质。为了更好地保证开发的嵌入式软件是可靠和安全的,提出了一种基于模型的开发方法学,包括提炼需求、建立抽象模型及逐层精化三个步骤。首先从环境、功能、性质三个主要方面提取需求,同时明确层次化的精化策略;然后利用形式化方法建立抽象模型并对该模型进行形式化验证,在正确的抽象模型上逐层精化,并对每层模型进行验证;最后,基于满足需求的模型,进一步利用工具完成代码自动生成。该方法从抽象到具体,以逐层递增的方式明确被开发系统的需求及性质,进行形式化建模,通过反馈机制确保模型的正确性及可用性。为了证明该方法学的可行性,文章以多应用智能卡为开发实例,基于Event—B方法及Rodin平台给出了实际建模及证明的过程和结果。 相似文献