位置：成果数据库 > 期刊 > 期刊详情页
基于Petri网的CPS系统安全量化分析模型
  • ISSN号：1002-8331
  • 期刊名称：计算机工程与应用
  • 时间：2014
  • 页码：82-88
  • 分类：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术] TN915[电子电信—通信与信息系统;电子电信—信息与通信工程]
  • 作者机构：[1]华东理工大学信息科学与工程学院,上海200237, [2]万马电子医疗有限公司,杭州311306
  • 相关基金：国家自然科学基金（61173048,61300041）;中央高校基本科研业务费专项基金（WH1314038）;高等学校博士学科点专项科研基金（20130074110015）
  • 相关项目：基于服务的信息物理融合系统软件结构建模方法
作者： 徐昕|虞慧群|黄骏虎|
关键词： 光纤分配网, 电子施工, ANDROID系统, WEB, SERVICE, 蓝牙通信, 单片机
中文摘要：

在传统的光纤分配网（ODN）中,施工人员采用纸质工单进行施工,施工效率和正确率低,光纤设备资源浪费严重。为了解决此类问题,设计并实现了一种ODN远程施工系统。论文首先介绍了该系统的设计方案以及工作原理,然后介绍了系统的硬件设计与软件开发实现。论文重点阐述了系统硬件中蓝牙通信模块和单片机控制器的设计与开发,以及系统软件中服务器工单子系统和移动施工客户端程序的设计与实现。使用该系统时,施工人员利用移动施工客户端通过网络以Web Service方式从工单子系统获得施工命令,然后通过蓝牙通信模块将施工命令转发给施工设备上单片机控制器,从而实现对光缆交接箱的施工控制。实际测试结果表明,使用该系统得到的电子施工结果正确,可以有效提升运营商对于ODN资源的管理效率。

同期刊论文项目
面向方面软件结构模型设计及验证技术
期刊论文 47 会议论文 28
基于服务的信息物理融合系统软件结构建模方法
期刊论文 71 会议论文 22
同项目期刊论文
基于安全进程代数的非演绎安全模型的分析与验证
Sequence Composition Analysis of Noninterference in Cyber-Physical System with Petri Net
A reputation evaluation technique for web services
Securing personal health records in clouds by enforcing sticky policies
A Game Theory Approach to Fair and Efficient Resource Allocation in Cloud Computing
CDN缓存资源分配的细胞优化算法
分布式嵌入式系统的自适应能耗管理和分析
基于效用的云计算容错策略和模型
群蚊子追踪算法
基于实时UML顺序图的物联网交互模型
一种改进的BM字符串匹配算法
Modeling and analyzing reliable cyber-physical systems based on aspect orientation
Analysis of the Composition of Non-Deducibility in Cyber-Physical Systems
Crystal energy optimization algorithm
一种基于RSSI距离比的传感器节点定位算法
Research on the encryption and digital signatures in remote attestation from elliptic curve group
Social group search optimizer algorithm for Ad Hoc network
A novel optimization algorithm inspired by the creative thinking process
基于信任度的并行化社区发现算法
Securing cloud emails using two factor authentication based on password/apps in cloud computing
基于容器的云资源管理博弈模型
云计算中基于进化算法的任务调度策略
基于多群体公平模型的特征选择算法
基于安全灰箱演算的物联网移动性建模验证
Formal Modeling and Analysis the Reliability of Cloud Application
Analysis of non-interference in cyber-physical systems
基于社会群体搜索算法的机器人路径规划
Modelling UML sequence diagrams with aspect-oriented extended petri nets
A formal method to model and analyze QoS-Aware fault tolerant service composition
仿生蚊子追踪算法
大数据分析与隐私保护
基于HCPN的面向方面NVP建模与分析
基于广义随机着色Petri网的Web服务组合模型
Behavioral modeling with the new bio-inspired coordination generalized molecule model algorithm
Aspect-Oriented Design Method for Embedded Systems Based on Timed Statecharts
Energy-aware self-organisation algorithms with heterogeneous connectivity in wireless sensor network
A novel bio-inspired approach based on the behavior of mosquitoes
Petri net based techniques for constructing reliable service composition
云计算安全模型与管理
一种云存储数据完整性验证方法
一种基于AOcontPN的信息物理系统建模方法
TSP湖水能量优化算法
Modeling of Adaptive Cyber Physical Systems Using Aspect-Oriented Approach
基于ZigBee技术的井下人员定位算法研究
Fine-grained access controlvia XACML policy optimization in cloud computing
A requirement-driven method for secure and reliable Web service composition
基于副本分布策略的MapReduce性能优化技术
基于社区发现及主题分析的微博用户推荐
基于互斥条件的云数据中心虚拟机整合策略
带Mismatch算子的高阶π演算
可靠服务组合的协调策略与分析
Global mediator election technology based on evaluation function
策略驱动的可靠嵌入式系统建模及分析方法
一种基于Petri网的服务组合流程分析方法
一种基于语义网技术和本体的数据集成方法
开放系统中基于信任度和上下文的访问控制模型
Quantifying software security based on stochastic Petri nets
一种基于Petri网的面向方面的用例建模方法
基于带抑制弧的时延着色Petri网的嵌入式系统建模与验证
面向敏感值的个性化隐私保护
基于C2C的可信信用评价模型
一个Peer-to-Peer环境下综合信誉计算模型
基于RBAC的工作流管理系统授权约束方法
基于Petri网的服务组合故障诊断与处理
An approach to analyzing user preference based dynamic service composition
Modeling UML sequence diagrams using extended Petri nets
Modeling UML activity diagrams with extended Petri nets
Scheduling real-time embedded systems Based on TCPNIA
Modeling and quantitatively predicting software security based on stochastic Petri nets
基于面向方面技术的服务安全组合及故障分析
基于HCPN的面向方面NVP建模与分析
Behavioral modeling with new bio-inspired coordination generalized molecular model algorithm
带抑制弧的时延着色Petri 网模型检测技术
P2P系统中基于属性约减的可信度评价
Research in microaggregation algorithms for k-anonymization
基于TPM的强身份认证协议研究
基于UML的COSMIC-FFP度量方法
功能点分析方法的一种形式化定义
基于无线传感器网络的局域世界动态演化模型
一种基于Petri的服务组合测试模型和分析方法
基于安全进程代数的信息流安全模型的分析与验证
功能规模度量统一模型
UML顺序图的COSMIC-FFP度量方法
基于评估函数的全局中介器动态选举技术
基于面向方面技术的服务安全组合故障分析
一种动态对象/关系映射框架及其实现
基于能量感知的无线传感器网络拓扑演化
基于约简支持向量机的快速入侵检测算法
基于Elman神经网络的交通流量预测方法
异常检测中支持向量机最优模型选择方法
用于黑盒测试的测试用例优先级改进算法
RS-UM信息系统安全保障评估模型
数据表k-匿名化的微聚集算法研究
面向数值型敏感属性的分级l-多样性模型
期刊信息
  • 《计算机工程与应用》
  • 北大核心期刊（2014版）
  • 主管单位:中国电子科技集团公司
  • 主办单位:华北计算技术研究所
  • 主编：怀进鹏
  • 地址：北京市海淀区北四环中路211号北京619信箱26分箱
  • 邮编：100083
  • 邮箱：ceaj@vip.163.com
  • 电话：
  • 国际标准刊号：ISSN：1002-8331
  • 国内统一刊号：ISSN：11-2127/TP
  • 邮发代号:82-605
  • 获奖情况:
  • 1. 2012年首批获得中国学术文献评价中心发布的 “...,2. 2001年获得新闻出版署“中国期刊方阵双效期刊”,3. 2008年首批入选国家科技部“中国精品科技期刊...,4.2003年-2011年连续获得工业和信息化部期刊最高...
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:97887