基于构件的软件框架与角色扩展形态研究

框架是实现大粒度软件复用的有效途径,面向对象框架可以通过实例化扩展实现具体的应用系统,但是,研究和实践表明,面向对象框架存在着一些问题.采用基于构件的框架(CBSF),通过用构件替代框架内部相互协作的类,以增大框架构成成分的粒度;同时利用构件的接口调用和组装实现框架扩展机制.主要探讨了角色扩展形态,角色是将要被进一步实例化的特殊构件,可分为抽象构件和模板.针对不同变化性类型,提出可以利用体系结构模式、设计模式或参数化这3种方式设计CBSF角色扩展,进而讨论了基于角色扩展形态的应用构件组装.     

安全保护等级划分实例

访问控制 用户自主保护级 该级别要求的访问控制为自主访问控制,通过隔离用户和数据,使用户具备自主安全保护的能力。 具有多种形式的控制能力,对用户实施访问控制,保护用户和用户组信息,避免其他用户对数据的非法读写与破坏,     

一种认证协议防御拒绝服务攻击的设计方法

拒绝服务(DoS)攻击是一种阻碍授权用户正常获得服务的主动攻击,大量认证协议和密钥建立协议存在着不同程度的DoS隐患.本文提出一种新的解决方法,用于无可信第三方认证协议和密钥建立协议防御DoS攻击,该方法可动态调整DoS防御的强度,并可减少并行会话攻击,增强协议的安全性.     

一种基于同步网的工作流管理系统

作为一类典型的CSCW系统,工作流管理系统主要提供异步、结构化的协同支持。本文从模型入手,介绍了一种基于Petri网的工作流模型——同步网。它采用分层视图描述了过程逻辑、语义及管理,过程模型和管理模型的互动关系用来指导工作流引擎的构造。本文基于同步网开发了工作流管理系统,支持工作流的定义、执行和管理。为了满足CSCW的需要,工作流管理系统中增加了同步协作机制。     

低压并联电容器的节电效果

低压并联电容器的节电效果安徽省电力试验研究所（合肥２３００２２）王立福功率通过电力网传输就会产生功率损耗和能量损耗,而负荷的无功功率可以就地补偿,如适当选择并联电容器容量,实现无功就地平衡,网络的线损就会大大降低。如某输电网络,负荷功率为Ｐ＝７００ｋ...     

变量极小不可满足在模型检测中的应用

提出一个结合变量抽象和有界模型检测(BMC)的验证框架,用于证明反例不存在或输出存在反例.引入变量极小不可满足(VMU)的数学概念来驱动抽象精化的验证过程.一个VMU公式F的变量集合是保证其不可满足性的一个极小集合.严格证明了VMU驱动的精化满足抽象精化框架中的两个理想性质:有效性和极小性.虽然VMU的判定问题和极小不可满足(MU)一样难,即DP完全的,该案例研究表明,在变量抽象精化过程中,VMU比MU更为有效.     

鲁布革水电站发耐滑坡综合治理实施

介绍了鲁布革水电站发耐滑坡的地质条件、滑坡范围、发展趋势及其对工程的影响,阐述了发耐滑坡综合治理前提和原则以及措施,为今后类似滑坡治理工程提供参考。     

基于层次消息总线的软件体系结构描述语言

以青鸟软件生产线的实践为背景,提出了基于层次消息总线的软件体系结构风格JB/HMB,并设计了相应的体系结构描述语言JB/SADL,该语言支持从接口、静态结构和动态行为三个方面刻画构件.采用JB/SADL,可以方便地进行软件体系结构的构造、细化和验证,并具有快速生成原型的能力,还支持代码框架的自动生成和系统体系结构的动态演化.     

基于北斗短报文通信的用电信息采集系统的研制

在无公网覆盖的偏远地区,居民用电信息的自动化采集是一个历史性难题。研制了一种基于北斗短报文通信的用电信息采集系统。研制的电表数据采集与传输设备可以按多种工作模式采集电表数据,并进行数据拆包、北斗协议封装、北斗短报文传输;同时研制的主站端接收设备可以完成北斗短报文接收、数据解析、组包和补包操作。实际测试结果表明,所研制系统的用电信息采集成功率可达98.9%,可以作为偏远地区居民用电信息采集的一种高效可靠的方案。     

基于同步网的工作流过程变动问题研究

支持动态可变的特性是实际应用对工作流系统提出的要求,已有的研究在表达能力和算法复杂度等方面存在问题.本文以形式化的工作流模型——同步网为基础,从逻辑和语义两个角度定义了过程变动,继而分类描述了基本变动操作,并讨论了变动的正确性问题.复杂的过程变动可以被分解为若干基本变动操作的序列,从而简化问题并且保证整个变动的正确性.在此之上提出了一种新的管理过程变动的方法,即以同步器为中心来管理过程实例的迁移问题.