张凡
- 作品数：72 被引量：211H指数：8
- 供职机构：西北工业大学更多>>
- 发文基金：国家高技术研究发展计划西北工业大学研究生创业种子基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理自然科学总论理学更多>>
- 一种AADL系统可靠性模型转换方法被引量：6
- 2011年
- 在原有构件依赖关系的基础上,提出一种架构分析与设计语言(AADL)系统可靠性模型的转换方法。该方法对AADL嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(GSPN)可靠性计算模型的转换。研究表明,该方法使AADL可靠性模型向GSPN模型的转换规则更加完备,能对嵌入式系统的可靠性进行准确与全面的分析与评估。
- 高磊董云卫张凡王广仁
- 关键词：广义随机PETRI网可靠性评估
- 一种面向CPS的事件模型时空信息表示与处理方法
- 本发明公开了一种面向CPS的事件模型时空信息表示与处理方法，其包括如下操作：定义CPS事件模型的时空信息表示方法，CPS事件模型包括基本事件模型和扩展信息集；定义基本事件模型，用于表示一个事件来自数据源的最基本的事件信息...
- 王宇英周兴社李晓宇单黎君张凡
- 一种基于地球反照的模拟式太阳敏感器抗干扰方法
- 本发明提供了一种基于地球反照的模拟式太阳敏感器抗干扰方法，涉及属于敏感器抗干扰领域，本发明建立地球反照率模型，计算太阳敏感器接收的辐照度，并由此得到辐照度统计特性，通过获取太阳光与地球反照光判别函数，即可作为太阳敏感器对...
- 刘莹莹周军张凡赵琴
- 一种基于AADL模态蜕变关系的嵌入式软件测试方法
- 本发明涉及一种基于AADL模态蜕变关系的嵌入式软件测试方法，技术特征在于：基于AADL架构模型文件中的模态信息，构造模态迁移图，根据改进的深度优先遍历算法将该图转换成蜕变测试需要的模态关系树。通过遍历该模态关系树，构造出...
- 董云卫张凡孙博路晓丽周兴社
- 一种基于深度图信息最大化的动态社团挖掘方法
- 本发明公开了一种基于深度图信息最大化的动态社团挖掘方法，属于人工智能与复杂网络技术领域；首先，构建网络中节点的相似度矩阵，利用节点的相似度，衡量邻居节点对于每个节点的重要性。然后，在单个时间步上使用图卷积神经网络，提取出...
- 刘晨张凡李向华王震高超朱培灿
- 基于网络处理器的防火墙优化设计与研究被引量：10
- 2007年
- 提出了基于网络处理器的状态检测型防火墙设计方案,并针对IXP2400的硬件结构,对访问控制列表和状态会话表的存储结构及表项查找等关键技术进行了优化,发挥了IXP2400内部各硬件单元的优点,系统达到线速处理的能力,使其性能得到了较大的提交。
- 沈健周兴社张凡於志勇
- 关键词：网络处理器防火墙访问控制列表
- 一种嵌入式系统可靠性分析与评估方法
- 本发明涉及一种嵌入式系统可靠性分析与评估方法，技术特征在于：基于AADL架构模型文件和AADL错误模型文件，形成AADL可靠性模型文件，然后将AADL可靠性模型转换到广义随机Petri网(General Stochast...
- 张凡董云卫高磊王广仁
- 一种基于AADL模态时间自动机模型的嵌入式软件测试方法
- 本发明涉及一种基于AADL模态时间自动机模型的嵌入式软件测试方法，技术特征在于：根据AADL架构模型文件，生成带有模态信息的AADL系统构件树，通过广度优先遍历构件树，构造AADL模型的时间自动机模型。利用现有的时间自动...
- 董云卫张云峰马春燕张凡周伟超朱宇峰
- CAS理论在中心地理论研究中的应用被引量：10
- 2005年
- 利用计算机仿真方法对城市等级体系和城市职能分工的形成进行研究。引入CAS的理论和方法并结合中心地理论,构建基于需求／服务模式的城市中心地复杂适应系统模型,在一个二维均质平面上对城市等级体系、城市职能分工的形成过程进行了再现。结果表明,对城市最终功能分工与等级体系的形成,门槛值的高低是一个关键因素;而且中心城市的等级和中心职能是相互对应的。从微观层面上对中心地理论进行了仿真验证,也证实了构建的模型在研究该问题上的有效性。
- 张凡吴晓军薛惠锋
- 关键词：CAS理论中心地理论计算机仿真城市职能
- 一种双摆锤式双半正弦波冲击台
- 本公开提供一种双摆锤式双半正弦波冲击台，属于冲击试验装置技术领域。一种双摆锤式双半正弦波冲击台，包括加载机构、承重机构以及冲击台机构；所述冲击台机构具有能够上下运动的冲击台，所述冲击台能够固定待测试样；所述加载机构包括第...
- 李朗李磊贾福森岳珠峰李家辉张凡
