信息物理融合系统语义模型分析

针对信息物理融合系统(Cyber-Physical Systems,CPS)需要提供合理的语义规范来保证信息和物理两个不同世界的同步,提出了CPS系统的语义模型方案,引入了(WoT)物维网框架,分析和介绍了物维网的框架结构特点.在此基础上提出了基于物维网框架的CPS系统架构,结合语义模型方案在分析系统需要解决的语义问题时分别给出相应的思路加以阐述,为进一步解决CPS系统语义模型问题提供了参考.     

网络实时系统的一种活动性描述语言*

介绍了ADL,它是一种基于网络实时系统的活动性描述语言,一种描述并发处理中时态和功能行为的新的形式规格说明符号.ADL专用于计算机网络,是DORIS的一种形式语言扩充.它组合了状态机活动(ASM)的图形符号和基于模型的活动功能行为(AFB)符号;提供了关于ASM的抽象语法和静态、动态语义.最后通过一个小实例说明该语言是如何解释指定网络实时系统的.     

网格技术及其应用

网格实现了将计算机网络作为统一的计算资源的可能性。这是一种动态的、多机构虚拟组织的资源协调共享和问题解决的崭新技术，与传统分布式计算的区别，主要在于其重点是大规模的资源共享、创新的应用以及高性能的目标。文章阐述了网格的基本概念，并介绍了网格的应用与发展。     

信息物理融合系统体系结构研究

信息物理融合系统(Cyber-Physical System,CPS)是近年来国内外科技界与学术界研究的新兴的重要领域。为了从整体上把握和研究CPS的体系结构,归纳列举包括原型的、基于事件驱动的、"发布-订阅"式的、面向服务的和基于云的几类主流的CPS体系结构。分析讨论CPS各类主流体系结构的层次划分及层级结构,归纳其共性,总结并提出典型CPS体系结构和典型CPS层级体系结构,为以后CPS体系结构的研究提供了参考。     

基于J2EE框架的食品药品监督管理系统的研究

互联网技术的普及和应用,使电子政务得到了迅速的发展。为适应行业监管的特殊需要,使用集成Struts、Spar,和Hiixrnate三种J2EE框架技术,可以快速构建一个多层的可复用、可扩展、实用的食品药品监督管理系统。深入讨论J2EE应用系统开发过程及其相关技术,提出了系统的解决方案。通过系统的建设,借助信息化的管理手段建立起监管部门与企业间的信息交流渠,实现了监管人员的移动办公和移动执法,实现了网上办公,方便监管人员的现场办公和执法。     

AspectC#——在C#中应用AOP

当前,AspectJ是用得最普遍的AOP工具,它是基于Java平台的。着重讨论了一种基于.NET平台的AOP技术,AspectC#。用户可以通过AspectC#在C#中应用AOP。目前,AspectC#只支持C#语言,但是.NET平台的多语言性使得跨语言的AOP应用成为可能。     

基于优化ELM的信息物理融合系统入侵检测

针对带权正则化极限学习机(WRELM)性能受随机初始值、数据不平衡及离群点影响大的问题,提出基于局部距离的带权正则极限学习机(LDWRELM),提高对不平衡数据集与离群点的抗干扰能力,使用改进的头脑风暴优化算法(MBSO)对LDWRELM的初始权重阈值进行联合优化.MBSO在头脑风暴优化算法(BSO)的基础上对个体更新...     

基于ADL的物理信息系统的建模与分析

当前分析和设计物理信息系统的模型和方法通常是线性分离的,且由不同的数学形式化方法和工程与计算机科学中的不同方法定义。为便于处理,对关注点分离是必要的,但这种分析方式由于在系统设计时过早地将系统信息特征与物理特征分离,导致很难评估直接与这两个领域进行交互的可替换元素的影响和协调性。文中对围绕组成CPS系统的所有范围的元素的架构描述进行扩展,最终目的是能够建立一个可扩展的框架,包括一套可被创建的综合设计工具。由此文中提出这种物理信息系统建模方法并通过一个简单应用实例对方法进行说明。     

面向方面软件开发研究

系统的某些关注点横切整个系统,无法很好地封装在单个模块里,造成代码混乱和弥散,用面向方面编程AOP可以解决这些问题。首先介绍了现代软件开发方法及其产生的问题;其次,阐述了AOP的基本概念,并结合AspectC++演示了如何进行面向方面的编程;再次,描述了如何对UML扩展以支持对方面建模;然后介绍了面向方面软件开发在实时系统中的应用;最后给出了结论和未来的主要工作。     

基于UML的面向方面建模方法

面向方面编程（AOP）技术通过横切关注来实现软件系统.面向方面建模可通过扩展UML来实现,在元模型层次上设计面向方面软件开发（AOSD）模型框架.从结构建模、行为建模、方面织入以及代码产生几个方面实现面向方面的建模方法.利用UML类图实现方面的结构模型,方面与核心组件及方面之间的静态模型关系.协作图表达方面与核心组件及方面之间的动态行为,并通过状态图细化方面和核心组件的动态行为,实现状态图的方面与核心组件及方面之间的织入关系,最终实现方面代码的自动生成.基于UML的方面建模填补AOP与OOP技术之间的空白,提高软件设计的模块化,增强代码的重用性、维护性.