张凡
- 作品数：71 被引量：206H指数：8
- 供职机构：西北工业大学更多>>
- 发文基金：国家高技术研究发展计划西北工业大学研究生创业种子基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理自然科学总论理学更多>>
- 一种AADL系统可靠性模型转换方法被引量：6
- 2011年
- 在原有构件依赖关系的基础上,提出一种架构分析与设计语言(AADL)系统可靠性模型的转换方法。该方法对AADL嵌入式系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(GSPN)可靠性计算模型的转换。研究表明,该方法使AADL可靠性模型向GSPN模型的转换规则更加完备,能对嵌入式系统的可靠性进行准确与全面的分析与评估。
- 高磊董云卫张凡王广仁
- 关键词：广义随机PETRI网可靠性评估
- 一种面向CPS的事件模型时空信息表示与处理方法
- 本发明公开了一种面向CPS的事件模型时空信息表示与处理方法，其包括如下操作：定义CPS事件模型的时空信息表示方法，CPS事件模型包括基本事件模型和扩展信息集；定义基本事件模型，用于表示一个事件来自数据源的最基本的事件信息...
- 王宇英周兴社李晓宇单黎君张凡
- 文献传递
- 一种基于地球反照的模拟式太阳敏感器抗干扰方法
- 本发明提供了一种基于地球反照的模拟式太阳敏感器抗干扰方法，涉及属于敏感器抗干扰领域，本发明建立地球反照率模型，计算太阳敏感器接收的辐照度，并由此得到辐照度统计特性，通过获取太阳光与地球反照光判别函数，即可作为太阳敏感器对...
- 刘莹莹周军张凡赵琴
- 文献传递
- 一种基于AADL模态蜕变关系的嵌入式软件测试方法
- 本发明涉及一种基于AADL模态蜕变关系的嵌入式软件测试方法，技术特征在于：基于AADL架构模型文件中的模态信息，构造模态迁移图，根据改进的深度优先遍历算法将该图转换成蜕变测试需要的模态关系树。通过遍历该模态关系树，构造出...
- 董云卫张凡孙博路晓丽周兴社
- 文献传递
- CAS理论在中心地理论研究中的应用被引量：10
- 2005年
- 利用计算机仿真方法对城市等级体系和城市职能分工的形成进行研究。引入CAS的理论和方法并结合中心地理论,构建基于需求／服务模式的城市中心地复杂适应系统模型,在一个二维均质平面上对城市等级体系、城市职能分工的形成过程进行了再现。结果表明,对城市最终功能分工与等级体系的形成,门槛值的高低是一个关键因素;而且中心城市的等级和中心职能是相互对应的。从微观层面上对中心地理论进行了仿真验证,也证实了构建的模型在研究该问题上的有效性。
- 张凡吴晓军薛惠锋
- 关键词：CAS理论中心地理论计算机仿真城市职能
- 一种双摆锤式双半正弦波冲击台
- 本公开提供一种双摆锤式双半正弦波冲击台，属于冲击试验装置技术领域。一种双摆锤式双半正弦波冲击台，包括加载机构、承重机构以及冲击台机构；所述冲击台机构具有能够上下运动的冲击台，所述冲击台能够固定待测试样；所述加载机构包括第...
- 李朗李磊贾福森岳珠峰李家辉张凡
- 一种从嵌入式软件代码中自动抽象软件架构的方法
- 一种从嵌入式软件代码中自动抽象软件架构的方法，技术特征在于：自动查检嵌入式软件系统的源代码，将源代码中的字分为数据定义类、运算符号类、控制语句类和函数创建类。查检结束后，该方法根据数据定义类和函数创建类的特征定义相应的D...
- 董云卫覃杨森张凡周兴社王庚
- 文献传递
- 基于CAN总线在线更新机制的设计与实现被引量：1
- 2008年
- 为解决CAN总线系统节点应用程序更新问题,利用节点微控制器LPC2119集成的功能模块和IAP技术,设计与实现了在线更新机制。该机制使用维护方便,可靠性高,扩展性好,对其他嵌入式应用软件的升级有借鉴作用。
- 冉晓蓉张凡孙林
- 关键词：CAN总线在线编程
- 一种基于行为描述的AADL可靠性模型生成方法
- 本发明涉及一种基于行为描述的AADL可靠性模型生成方法，根据行为模型说明了构件的演化过程，若错误模型是基于行为模型产生的，那么每个错误就会明确地与构件的具体行为联系起来。另一方面，错误模型间的交互若能依赖于架构模型自动生...
- 董云为畅绍枫张凡程瑶
- 文献传递
- 一种基于AADL描述的可靠性模型向GSPN模型的转换方法
- 本发明涉及一种基于AADL描述的可靠性模型向GSPN模型的转换方法，其特征在于：将基本错误模型元素转换为GSPN模型中的基本元素；对描述构件向外传播错误的Out-propagation规则进行转换，以及对描述构件接收错误...
- 张凡畅绍枫周兴社董云卫王广仁
- 文献传递
