基于谓词逻辑的原型系统生成方法研究

本文采用面向对象思想和模型驱动技术,提出一种基于谓词逻辑的原型系统生成方法.该方法以模型为基本元素,通过对静态模型和动态模型信息实施约束抽取和迭代精化等操作生成原型系统.在生成过程中遵循信息对等原则,并引入谓词逻辑使转换过程建立在牢固的数学基础之上,更能够保证原型系统的正确性和完整性,更易于处理需求变化对系统造成的影响...     

忠武输气管道工程建设项目信息管理系统

采用项目管理技术，以P3项目管理软件为手段，对忠武输气管道工程信息管理系统进行了探索研究。忠武输气管道工程信息管理系统提供了工程基本信息管理、综合进度管理、合同与费用管理等功能，可以为业主、监理工程师在整个工程施工过程中的合同、进度、费用等方面的管理提供科学、快捷的手段，同时也为管道工程信息化管理的进一步深化研究，探索了一条道路。     

白杨素分子印迹聚合物的制备及其性能评价

以白杨素为模板分子,硅胶为载体,丙烯酰胺为功能单体,采用表面印迹法制备白杨素分子印迹聚合物。并通过红外光谱测定,吸附实验等对印迹聚合物进行表征及性能评价。静态吸附实验表明,印迹聚合物对模板分子的吸附量远远高于非印迹聚合物;印迹聚合物及非印迹聚合物对白杨素、氯霉素、甲砜霉素的选择吸附表明,所制备的分子印迹聚合物对白杨素有特异性吸附效果。     

可复用MOF元建模框架的研究

在MDA场景下,元模型是实现平台无关模型和平台相关模型转换的核心.提出通过元层模型和模型层模型的Down-Up机制给出可复用的MOF元建模框架.元建模框架由MOF BootStrap模型自举,并且内置MOF Model,此框架可在任意多层元建模中复用.此外,给出了模型工程模型和模型迁移剪枝算法,并提出了采用模型工程统一对象空间实现模型实例复用的方法.此框架的研究对于指导具体建模工具的实现有重要意义.     

信息系统“Insider threat”分析及其解决方案

为了更好地辅助管理人员对信息系统安全策略配置的系统化认识,对具有代表性的内部威胁的分类和建模方法进行了分析研究,并比较了各种方法的优、缺点。同时,在探讨了减少内部威胁的不同解决方案的基础上,提出了一个能尽可能减少内部威胁的改良方案。     

基于Multi-Agent的Insider Threat预防检测模型

来自企业组织网络内部的合法用户引起的内部威胁(insider threat),给系统安全构成了极大的安全隐患,造成的危害与日俱增.传统的入侵检测工具是针对外部用户设计的,在解决Insider Threat问题上基本无能为力.为了有效地减少内部威胁,提出了一种基于Multi-Agents的预防检测模型,并给出了相关Agent的实现算法.它能够对用户的行为进行实时监测和风险评估,能够将在线用户的攻击进度实时报告给管理人员,通过一个量化手段辅助管理人员做出决策.另外,与其他模型有个显著的不同,该模型中本地规则库是针对不同内部用户动态生成的.     

基于STP协议的物理网络拓扑发现算法

拓扑发现是网络管理的重要基础。该文提出一种基于网桥生成树协议STP的算法,利用简单网络管理协议(SNMP)获得各个交换机MIB库中的生成树状态信息,根据生成树协议推导出网络的物理拓扑。和已有方法相比,该算法不要求各个网桥FDB表的信息是完备的,同时也能很好地发现备份链路和集线器、哑交换机等不支持SNMP的设备。实验表明该算法是一个准确、全面的拓扑发现算法。     

可复用MOF元建模框架的研究*

在MDA场景下,元模型是实现平台无关模型和平台相关模型转换的核心。提出通过元层模型和模型层模型的DownUp机制给出可复用的MOF元建模框架。元建模框架由MOF BootStrap模型自举,并且内置MOF Model,此框架可在任意多层元建模中复用。此外,给出了模型工程模型和模型迁移剪枝算法,并提出了采用模型工程统一对象空间实现模型实例复用的方法。此框架的研究对于指导具体建模工具的实现有重要意义。     

硅胶表面乙胺嘧啶分子印迹聚合物的制备及其性能研究

以表面接枝乙烯基的硅胶作为载体,以甲基丙烯酸为功能单体,乙二醇二甲基丙烯酸酯为交联剂,乙胺嘧啶为模板分子,合成一种具有选择性识别乙胺嘧啶的印迹聚合物。用红外光谱对活化硅胶和烷基化硅胶进行表征,通过静态吸附、Scatchard分析对聚合物的吸附行为进行分析。并对印记效率进行了评价。结果表明,印迹聚合物存在两类不同的结合位点,该印迹聚合物对模板分子具有特异吸附性能,印迹效率为64.24%。