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

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

基于自适应算法的电子镇流器谐波滤除

电子镇流器具有节能、无频闪、起辉电压低等显著优势,但是它同时会给电网带来大量谐波。通过试验分析电子镇流器对电网电流的影响,研究讨论几种能够降低谐波含量的方法并进行理论分析,提出采用基于自适应谐波检测算法的有源滤波技术,通过在PSIM仿真软件上搭建单相并联有源电力滤波器模型,仿真验证采用自适应谐波检测算法的APF对电子镇流器谐波有很好的滤除效果。     

基于面向方面的Petri网在实时系统中的应用

Petri网作为一种图形化的建模方法,具有直观易用的特点,是业务流程建模常用方法。面向方面建模的基本思想是按系统特征划分程序模块。传统的实时系统与时间密切相关。我们分离实时系统时间方面,然后用时间Petri网来建模,最后通过实例来简单地说明建模过程。     

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

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

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

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

基于全桥/半桥切换的IPT系统效率优化研究

此处提出了一种基于全桥/半桥切换的串串(SS)补偿感应式无线供电(IPT)系统,在保障负载功率需求的同时,通过切换逆变器的工作模式,即可改变接收线圈中的电流大小,从而减少轻载条件下系统变流器开关损耗及线圈损耗,提升系统能量传输效率.针对两种逆变器工作模式下的IPT系统进行数学建模与分析,通过控制接收端有源整流器的移相角及交流电压电流相角差,在维持系统输出电压稳定的同时实现系统变流器零电压开关(ZVS)操作.     

形式化语言RT-Z的合成及其应用

Z是一种确定相关数据特征的非常成功的形式化语言,却在构造动态行为方面的模型缺乏相应的功能;而TimedCSP是一种确定动态行为的功能强大的语言,但它没提供适当的结构来构造相关数据特征.文中通过形式化语言Z和过程代数Timed CSP合成一种新的形式化方法RT-Z,使得RT-Z在软件系统开发过程的需求定义和设计阶段能书写软件系统一致、简单的规格说明.     

结合静态语义和基于矩阵的异常事务识别方法

使用入侵检测找出数据库中异常事务是当前常用方法。但是，现今许多签字检测和非签字检测都是针对操作系统级而不是系统管理级，而且还不能保证对所有异常行为作出正确响应。为此给出一种新的异常事务识别方法。该方法使用静态语义分析读、写前及写后集合之间的关系来确定异常事务，使用基于矩阵的损失评估方法识别受此异常事务影响的数据客体。该方法由于避免读取数据库日志文件而减少了损失评估时间，但相关矩阵的存储需大量空间。     

面向方面分布式系统形式化规格说明语言

分布式系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要面向方面软件工程方法的支持,而形式化方法能保证分布式系统的正确性。本文对分布式规格说明语言Ocsid进行了面向方面的扩展,讨论了面向方面的Ocsid的框架结构、语法要求、方面的联结和功能接口。定义了面向方面的Ocsid规格说明语言中叠加和组合的形式化描述,该形式化描述覆盖了各个精化阶段,使精化体系的各个独立视点被协调地组合,并能形式化地验证规格说明的时态属性和系统行为。本文的工作针对的是分布式系统的形式化规格说明,提出了面向方面Ocsid的形式基础和方面扩展,其基本思想同样适用于更一般的情况。