锅炉智能CAD的技术和方法研究

从设计方法学角度描述了锅炉方案设计问题，将锅炉方案设计活动分解为“方案创造”、“方案分析”、“方案评价”和“方案调整”四项子活动.基于面向对象的知识表示方法，建立了由属性空间、关系空间、规则空间、约束空间、案例空间和方法空间构成的锅炉智能计算机辅助设计（CAD）的设计对象模型，并解释了运用该模型进行锅炉智能CAD的主要过程.提出了锅炉智能CAD的总体技术方法，即基于案例知识的智能化方案创造、基于确定性过程知识的智能化方案分析、基于约束知识的智能化方案评价，以及基于规则知识的智能化方案调整.开发了锅炉智能CAD系统的总体框架原型，并已将部分功能应用于工程实践.实践表明，上述技术和方法符合实际需求，可有效支持锅炉智能CAD系统的开发.     

具有共享属性的信息系统安全模型

针对多级安全信息系统中的信息保护和共享问题,将独立计算机系统中的BLP模型扩展至信息系统,引入需享原则和多级客体的概念,建立了一个面向应用的信息系统多级安全模型,提出信息系统的安全假设,给出了信息系统安全模型的形式化描述.该模型允许信息系统中需要共享信息的部门之间安全地共享信息,同时保持了信息系统的多级安全性.     

业务过程元素安全目标分析方法

为了确定业务过程的安全需要，提出一种业务过程元素（BPEs）的安全目标分析方法.该方法依据业务过程模型，通过对BPEs安全目标赋予初始值，根据活动的出度和入度确认活动安全目标加权系数;同时还提出了BPEs安全目标一致性检验规则和修正原则，据此检验和修正BPEs安全目标初值，最终确定BPEs的安全目标值.案例研究表明，以BPEs所支持的业务过程为根本，该方法能够客观地确定BPEs安全目标，为更具针对性地保护信息系统提供指南.     

业务过程建模及其形式化验证

针对业务过程建模复杂、模型一致性难以保证的问题,提出一种求精式业务过程建模及其形式化验证方法.结合语义本体技术、基于统一建模语言(UML)的扩展机制,实现对业务过程中的不同关注点进行多视角地可视化建模.业务过程建模是一个“整体抽象过程→声明式过程→命令式过程”多阶段的求精过程.引入环境本体的概念,以软件交互对环境状态的影响来描述软件行为和能力,并在此基础上给出了模型相关定义及其形式化语义.结合一个简化的产品交易系统实例详细论述如何采用声明式形式化语言Alloy进行业务过程模型定义和模型求精的形式化验证.实例表明,采用分阶段求精式业务过程建模方法,并围绕模型语义通过Alloy语言进行形式化验证,可以有效地提升建模过程的灵活性和保证模型规范的一致性.     

风险评估要素关系模型的改进

要对信息系统进行准确的风险评估，前提是明确风险评估的关键要素以及各要素之间的内在联系。首先分析基于ISO13335，GB／T 18336(等同于ISO／IEC 1．5408)的一些风险评估要素关系模型，为克服一般模型存在的重复考虑和静态考虑的缺点，提出分析风险评估要素关系要遵守直接因果关系准则和动态性准则，并且考虑信息安全等级保护要求，将等级作为参考坐标。基于上述准则，通过扩充评估要素集合，特别突出人、安全措施和脆弱性之间的动态因果关系，得到新的风险评估要素关系模型。同时得到比ISO 13335中更加系统的安全要素相互作用图，并对安全要素之间的关系进行形式化描述，最后给出信息系统风险评估的状态特征。     

云计算环境下改进的能效度量模型

针对大规模计算的能效问题,提出改进的能效度量模型,通过“能源”和“效率”2种度量来综合评价系统能效.在“能源”方面,考虑计算机、网络和附属设备的能耗;在“效率”方面,考虑CPU、内存、磁盘以及网络的情况.提出的能效度量模型描述了改进后的能效度量的定义和数学表达,通过实验验证了该模型的合理性.基于该度量模型,评估并分析了MapReduce环境中CPU密集型、I/O密集型和交互型计算的能效,总结了MapReduce环境中的能效规律.     

基于ECA规则的业务行为描述方法

给出了业务行为的形式化描述,并在此基础上利用ECA规则详细给出了业务行为过程的描述方法、业务行为内部活动之间的关系模型,以及不同业务行为之间的关系模型,使业务行为过程描述变得清楚,而且有利于机器的自动解释。基于ECA规则的业务过程模型对过程的调整和动态变化带来了方便,增强了其适应变化的能力。     

管理信息本体需求中间件平台模型

为彻底解决在Internet环境下因管理信息本体需求更为多样、动态和不确定所导致的管理信息系统开发成本高、效率低、周期长等问题,运用集合空间运算和数理逻辑推导的方法,给出了管理信息系统“知识-表-谓词”三元组构架,将管理信息本体需求中的功能和业务相分离,建立了一套针对管理需求的语义描述体系和语用实现机制,通过有限的谓词演算序列对管理信息系统状态集进行推演,达到用户满意的程度.该语义描述体系和谓词演算有限集基于二维关系表集,与具体的领域业务无关.     

资产为本的城市文化体系建构层次与路径探索——以桂林市为例

当前城市发展正处于以文化软实力为主体的时代, 城市本土化文化的建构是城市持续发展的必要内容, 而城市文化的建构不是一蹴而就的事项。从城市文化和城市资产的概念、特性与相互关系, 以及城市文化建设的实践来看, 依托城市资产、 扎根地方土壤进行城市文化体系的建构是一种操作性与实效性较强的方法。基于城市文化宏观、中观、微观3 个层面的价值意义, 提出“城市—特色文化”、“分区—空间文化”、“社区—生活文化”城市资产与城市文化建构的3 个层次, 并指出依托城市资产转译的路径与方法, 以及城市文化在各层面建构内容。以桂林市为例, 阐述了桂林城市文化在3 个层面依托资产进行建构的路径与核心内容。     

基于多色图的BOM建模

不同形式的物料清单(bill of materials, BOM)造成零部件数据信息一致性维护困难,为了降低BOM数据在部门间传递出错的几率,提出基于多色图的BOM模型.以设计BOM和制造BOM为基础,构建BOM主模型,通过多色图中节点和边的“颜色”控制零部件及其相互关系的不同构型,建立各应用BOM模型,并分析了BOM主模型与应用BOM间的结构关系、语义关系和普遍关系.最后,以项目应用实例验证了方法能够有效保证应用BOM间的数据一致性和完整性,且模型易于扩展.     

数据库安全代理的基于角色访问控制模型

针对信息战下数据库安全代理对访问控制的特殊需求,提出了数据库安全代理(DSP)扩展的基于角色访问控制模型(DSP-RBAC).该模型形式化地定义了权限的各个方面,包括操作、属性、动作、客体以及它们之间的关系.通过引入客体包含关系(OIR)和操作级联关系(COR),研究了DSP对关系数据库管理系统的认知问题.在分析操作级联关系的级联需求和继承激活基础上,阐述了对会话需求权限和会话激活权限的影响,并给出在新模型下进行访问控制决策的原则.实验结果表明,该模型解决了在数据库安全代理中应用访问控制策略的操作、客体相关性问题,能够显著提高关键应用的安全性.     

基于关系流的企业管理系统基本结构定义

随着企业管理活动的日益复杂,在实现企业整体功能的过程中,企业内部各要素之间产生的关系流往往随时间而动态变化,因此,研究企业管理系统的结构不得不考虑时间因素.为此,从系统功能实现的角度,通过对企业管理系统要素间关联关系的分类描述,将时间因子引入到一般系统结构理论的关系流方程,从数学上界定了企业管理系统的5种基本结构,旨在通过简单系统结构的研究,为进一步探讨由基本结构系统组合而成的复杂管理系统的运行机理奠定理论基础.     

一种用于信息安全的信息保障模型

将一种信息安全(IFOSEC)模型扩展成为一个信息保障(IA)模型，用于指导信息安全研究、工程和教育。新模型包括四维度量：安全目标，信息流状态，安全保障，时间。将信息安全的保护范畴扩大到信息资产，并对可用性、完整性和机密性重新进行了定义，增加了新内涵；采用深度防御概念，在注重技术的同时，突出了人的因素，并强调了安全管理在系统生命期重要作用。时间维的引入，使该模型真正成为动态模型。     

一种开放的综合安全模型

为了在信息系统的安全模型中反映综合化的安全需求,以基于角色的访问控制模型为基础,通过对安全级等方面的扩展,提出一种开放综合安全模型（OSSM）.根据OSSM的开放性,通过扩充其基本元素,完成了对一种保密性和完整性的综合模型以及Clark-Wilson模型的实现,拓宽了安全模型的适用范围.     

云计算的安全模型

云计算是信息系统的一个重大改变,它带给了人们方便快捷,同时也涉及信息安全和隐私保护的问题。为了解决云计算发展中的信息安全问题,建立了一个综合性的云计算安全模式,讨论了虚拟模式平台、基础设施服务、基本服务、应用程序服务内容4个部分,并分析达到该模型虚拟安全、身份识别中的核心技术,为解决当前云计算发展方面的安全问题提供一套解决方案。     

UML在社会保险基金风险预警系统中的建模应用

社会保险基金运营风险预警系统是确保社会保障基金安全,完善社会保障体系的有效措施.研究中,基于面向对象的UML建模技术,对社保基金风险预警系统进行了分析和设计,从而使复杂的预警系统具有良好的适用性和扩展性.     

安全域划分关键理论与应用实现

随着经济的快速发展,业务需求成倍增加,计算机系统的功能在不断增强,其网络复杂程度也在不断提高。目前网络主要存在如下问题：网络边界不够清晰,对网络内各部分的安全需求缺乏统一规划,没有对核心业务系统的访问进行很好的控制;各接入系统之间没有进行明确的访问控制。网络之间彼此可以互相访问,系统局部的安全问题极易扩散到整个系统。提出动态安全域划分的方案,实现一个系统的动态安全域划分。从纵深的角度,全盘考虑安全的部署和应用,提高了网络安全性。