一种大系统图模型分析方法

本文采用模糊数学方法,提出把原有的大系统有向图模型推广成有向赋权图模型.针对这种大系统信息结构模型,给出了分析其能通性的两种方法--矩阵法与图论法.为了详细分析系统的结构,提出了分型能通性与能通性指标的概念.这些概念方法不仅适用于有数学模型描述的系统,而且也适用于只能建立其图模型的系统.最后本文针对线性定常系统讨论了分型能通性与分型可控性(可观性)之间的关系.     

一种借助系统调用实现基于信息流的完整性度量的方法

提出一种借助系统调用实现基于信息流的完整性度量的方法。该方法将度量过程分为离线阶段和运行阶段。在离线阶段,软件执行的系统调用被监控和记录,结合系统调用和信息流的关系抽象出软件的信息流基准值。在运行阶段,分析软件运行时的系统调用信息,获得软件运行时的信息流,根据信息流基准值检查软件的信息流是否出现异常,度量软件的完整性。为了验证方法的可行性,文章以Apache服务器为例,实现该方法的原型系统。实验表明该方法能够发现软件运行时完整性被破坏而出现的异常信息流。     

一种基于工作流的软件需求分析方法

文章针对软件工程中数据流分析技术的局限性,提出了一种基于工作流的新的软件需求分析方法———工作流分析方法,详细论述了该方法的理论基础、相关定义、工作流图的描述方法等内容,并给出了在信息系统开发中的应用实例。     

一种基于信息流图的共谋访问风险控制模型

为解决信息系统中的非授权间接访问问题,提出一种基于信息流图的共谋访问风险控制模型。通过记录系统的历史访问行为构建信息流图,在此基础上定义共谋访问行为,同时基于状态机定义访问控制模型,利用安全性定理和规则防止共谋访问的发生,并对规则做安全性证明。根据信息熵理论对模型的有效性进行分析和验证,结果证明该模型可有效防止共谋访问的发生。     

基于UML模型的系统级测试用例生成方法

采用基于UML模型的软件测试方法,主要整合用例图与顺序图进行系统级的软件测试。首先提出用例执行图(UEG)的生成算法、顺序执行图(SEG)的生成算法,及基于UEG和SEG,生成系统测试图(STG)的算法;其次,根据制定的三层次准则,遍历UEG、SEG、STG生成测试用例,主要解决交互错、场景错、用例执行错和用例依赖错等问题。最后,经实例分析和实验验证,该方法可以基于用例图和顺序图进行系统级的软件测试。     

一种基于图论方法的开放计算系统证据信任模型

基于图论方法提出了一种新的证据信任模型(graph theory based evidential trust model, GTETM),解决了现有证据信任模型中普遍存在的在信任聚合过程中缺少对信任链之间依赖关系的有效处理等引起的模型性能下降问题.同时,GTETM在建模实体的信任度时区分实体的服务信任度与反馈信任度,并在证据理论框架下提出两种不同的信任传递方法,增强了模型抵抗恶意推荐攻击的能力.仿真实验表明,与已有信任度量模型相比,GTETM具有更强的抑制策略欺骗及共谋行为的能力,在信任度量准确性方面也有较大提高.     

基于UML模型的系统级测试用例生成方法

采用基于UML模型的软件测试方法,主要整合用例图与顺序图进行系统级的软件测试。首先提出用例执行图(UEG)的生成算法、顺序执行图(SEG)的生成算法,及基于UEG和SEG,生成系统测试图(STG)的算法;其次,根据制定的三层次准则,遍历UEG、SEG、STG生成测试用例,主要解决交互错、场景错、用例执行错和用例依赖错等问题。最后,经实例分析和实验验证,该方法可以基于用例图和顺序图进行系统级的软件测试。     

一种基于Modelica语言的混合系统DEVS模型架构

Modelica语言采用微分方程描述系统,此外它还具备面向对象编程语言的特性,因此它不仅适用于连续系统的建模,还支持离散系统的模型架构。因此,可以将Modelica作为一种混合系统的建模语言。提出了一个Modelica语言描述的DEVS（Discrete E Vent System specification离散事件系统规范）模型架构,并通过对模型的编译过程产生C＋＋代码,获取了同时描述连续系统和离散系统建模的能力。最后给出了用Modelica语言描述的一个飞机导航控制连续一离散仿真系统的例子。     

一种基于BiLSTM的混合层次化图分类模型

图分类在化学和生物信息学等诸多领域中是一个非常重要且极具挑战的问题,GNN模型是图分类问题的主流方法。现有的GNN模型采用卷积操作来实现邻域节点信息聚集,再通过池化操作生成粗化图。然而,仅通过池化方法不能捕获到每次卷积后读出图的双向依赖关系。为了提取到更充分的特征信息,提出一种混合层次化模型,首先分别提取节点特征信息和结构特征信息,再将特征信息融合,然后采用BiLSTM捕获不同层次读出图之间的双向依赖关系,从而提取到更丰富的特征信息。实验结果表明,与对比模型相比,上述模型的准确度有着明显的提升。     

一种Android系统上对应用程序权限进行限制的方法

Android系统上的安装系统存在着"全部同意或取消安装"的问题,即用户同意应用程序要求的所有权限或取消安装,这使用户不能够灵活地限制应用程序的权限。通过修改Android系统上的安装系统和包权限检查系统,可以实现对应用程序权限的动态限制。在此基础上,通过检查和记录应用程序的权限使用情况,还可以帮助用户发现滥用权限的应用程序。实验结果表明,这种方法可以有效地限制应用程序的权限,并在一定程度上避免应用程序对权限的滥用。     

信息系统(网络)安全分析方法与评价模型

该文提出了信息系统安全性分析的思路,建立了由属性、因子、基本因子构成的层次分析方法,并介绍了基本因子的评分方法,以及属性节点的最弱环节、加权评估值、权重最弱环节等评价指标,为信息系统整体的量化评估奠定了基础。     

An Optimal Model and Algorithm of Distributed Information System

Distributed information system makes itself be placed in changing file storage position according to the users＇ request pattern. In this paper, we rebuild the model for a management system to turn the process of file managing into a 0-1 programming problem, and present a new individual form to improve the operating efficiency. Aiming at the model, we define a neighborhood span to make segmentation for searching space by using the fitness, based on the region contraction algorithm, present a new evolution algorithm which has the capability of self-adaptively generating new individuals, and ultimately solve the management problem of the distributed file system.     

A Conceptual Analysis of the Draco Approach to Constructing Software Systems

This paper analyzes the concepts of software construction embodied in the Draco approach. The analysis relates specific aspects of Draco to particular software engineering (SE) principles and suggests future research needed to extend the approach. The purpose of this analysis is to help researchers understand Draco better and thus to enhance future research.     

ERP环境下基于多代理的信息交互系统研究和开发

论述了基于多代理的ERP信息交互系统的研究和开发，提出了多代理的具体模型和内部运作机制。通过利用多代理自治性、交互性的特点，较好地解决了ERP系统中各子系统之间信息交互存在的问题。     

基于企业信息系统安全模型的构建与实现

针对企业信息系统建设的实际情况和发展趋势,分析了其信息安全状况及特征;根据企业的实际需求,结合当前密码学理论应用情况,构建了企业信息系统安全模型,并提出了可行的实现方案。     

基于信息系统集成的高校人力资源管理系统的分析与设计

分析现有人事管理系统存在的若干不足,提出开发人力资源管理系统所要实现的目标,然后提出采用信息系统集成的方式进行系统实现,并设计了系统的逻辑模型,最后对系统进行了功能模块设计,并讨论了实现系统要使用的SOA、数据仓库等系统集成技术.     

管理信息系统的系统分析与系统设计

系统分析和系统设计是管理信息系统（MIS）建设的关键步骤,采用优秀的计算机辅助软件工程（CASE）工具来支持系统分析和系统设计能提高工作效率。本文结合苏建公司的实例给出将结构化方法与PowerDesigner相结合进行系统分析和系统设计的实用框架。     

信息系统建设中的项目管理方法与应用研究

首先对项目管理的基础理论进行阐述,然后对信息系统建设中的项目管理方法进行系统分析和应用研究,同时指出项目管理理论的应用所面临的问题。     

基于WebGIS公交查询平台与移动增值服务

应用GIS技术设计了基于WebGIS的公交查询平台,支持PC终端和手机短信查询并将查询结果在电子地图上同步显示,手机查询结果以彩信方式发回至用户手机上,方便了市民又为移动公司提供新的增值服务业务。     

基于ASP.net文件流转系统分析与设计

基于ASP.net环境下,以办公文件流转系统为模型,详细分析了文件流转系统的功能结构模型。同时对系统建立过程中的公文流转设计模型、角色判别模型、电子文件流转方式等内容进行了分析。