杜素果 作品数:5 被引量:27 H指数:3 供职机构: 上海交通大学安泰经济与管理学院 更多>> 发文基金: 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 理学 自然科学总论 文化科学 更多>>
一种二元决策图底事件排序的新方法 被引量:10 2008年 故障树分析(Fault Tree Analysis,FTA)是对系统进行可靠性分析的一种有效方法。而在现在所有的故障树分析中,二元决策图(Binary Decision Diagram,BDD)又是其中最有效的方法之一。由于BDD的节点数在很大程度上依赖于输入的底事件的排列次序,所以从故障树到BDD的转换过程中,需要先对底事件进行排序。而如何对底事件进行有效的排序则成为一个重要且未完全解决的课题。本文提出了一种新的底事件排序法——相邻底事件优先法。其基本思想是利用故障树的相邻关系来给其赋予不同的排序优先级。该排序方法所具备的特点包括:其底事件排序过程是静态的,但在BDD的构造过程中,能动态地对已经排序的底事件进行筛选,同时它还支持在BDD的不同分支采用不同的底事件排序方法。实验证明,与现有的最优方法相比,相邻底事件优先法可有效提高75%的故障树的BDD转化效率。 孙艳 杜素果关键词:故障树 二元决策图 基于动态特征选择的Android应用隐私风险自动化检测 2024年 针对Android应用中可能存在的用户隐私泄露问题,提出一种基于机器学习方法的自动化检测模型。该模型选择使用App申请的权限作为特征,动态地选取特征集,并采用四种经典的机器学习算法进行独立的训练与预测,最终确定最适用于Android应用的隐私风险检测模型。实验结果表明,对于隐私风险应用,该模型能够实现平均95%以上的识别准确率。该模型能够从多层面更好地进行应用风险管理以及用户隐私保护,具有较高的社会效益与实际应用价值。 高龙良 杜素果 杨金萍关键词:权限 大城市道路拥挤收费的仿真分析 被引量:1 2007年 拥挤收费是城市交通管理的有效措施之一,它可以引导和调节交通流量,达到缓解城市交通拥挤的目的。分析了上海的交通拥挤现状及其症结,通过路网服务水平模型,使用占有率与饱和度2项指标对在上海实行拥挤收费的可行性进行了仿真分析评价,分析结果显示拥挤收费实施后,路网的占有率与饱和度明显降低,说明上海采取拥挤收费措施能够有效地控制交通出行的需求和调节车流的时空分布,从而缓解城市交通拥挤。 朱昕 隽志才 杜素果关键词:拥挤收费 交通需求管理 一种基于攻击树的VANET位置隐私安全风险评估的新方法 被引量:12 2011年 为了系统分析评估车载自组织网络中位置隐私所面临的风险,建立了以位置隐私泄露为攻击目标的攻击树模型方法,在攻击树的基础上采用布尔代数法求出各种可能的攻击序列,并通过对叶子节点进行多属性赋值最后计算出了系统总的风险值和各攻击序列发生的概率,由此为决策者采取相应的位置隐私保护措施提供依据。 任丹丹 杜素果关键词:位置隐私 攻击树 风险评估 一种多阶段任务系统的BDD排序新方法 被引量:4 2010年 近年来,BDD(二元决策图)的分析方法越来越多地被用于多阶段任务系统可靠性分析中。BDD方法应用的一个关键是在从故障树向BDD转换时需要对底事件进行排序,所选择的排序顺序将影响构造的BDD的节点数。与单一阶段任务系统相比,多阶段任务系统的可靠性分析由于阶段之间的相关性而变得更加复杂,将一般的BDD排序方法直接应用于多阶段任务系统的BDD分析很难得到令人满意大小的BDD。在考虑多阶段任务系统的结构和特性的基础上,通过共同失效组件对多阶段故障树化简,提出了基于最小相邻组件优先相邻排序的多阶段任务系统BDD排序方法。通过与一般的排序方法相比较,这种新方法可以生成更理想的BDD结构。 王楠 杜素果关键词:多阶段任务系统 故障树 二元决策图