国家科技支撑计划(2012BAH08B02)
- 作品数：42 被引量：170H指数：7
- 相关作者：黄少滨赵刚张莉李忱吴天水更多>>
- 相关机构：北京信息科技大学哈尔滨工程大学东北大学更多>>
- 发文基金：国家科技支撑计划国家自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术经济管理理学政治法律更多>>
- 面向国家审计“免疫系统”的模拟审计多重租赁模式研究被引量：1
- 2012年
- 研究了采用系统环境、支撑、控制、应用4层体系架构设计的审计模拟系统模型。本模拟系统集成多种审计业务软件和财务系统,可模拟多行业、多被审计单位的数据,用户在系统平台中可实现审计方案设计、审计方法和疑点揭示的全部审计流程。系统采用远程多重租凭交付模式,用户共享一个数据库平台进行远程访问,具有可靠的软件和数据库隔离及保密能力。本审计模拟系统为更好地实现信息化环境下"国家审计"的"免疫系统"功能,对审计科学研究、人才培训和审计实务诸方面,均将起到支撑作用。
- 李忱赵宇张莉
- 关键词：国家审计远程
- 基于分组匹配的复杂网络性能一致性评价
- 2012年
- 基于航空电子全双工交换式以太网(AFDX)的航空电子综合化系统中,在设计和部署过程对交换网络的性能进行评估和优化是系统功能验证和认证的关键。在网络仿真和网络演算的基础上,建立了网络性能评价指标体系,提出了基于延迟时间率分组的网络实时性保障能力的整体评价方法,对网络通信任务延迟时间率的分布情况进行了有效概括;同时提出了基于密度分布的网络性能一致性评价方法,实现了网络仿真和网络演算结果一致性符合度的评价。
- 谷晓燕何锋李忱
- 关键词：网络仿真网络演算网络评价
- 商业银行信息系统审计中的控制测试底稿设计被引量：2
- 2012年
- 为了控制审计风险,测试影响商业银行财务报告信息质量信息系统的可靠性、完整性,运用信息系统审计方法,在商业银行信息系统审计中建立了商业银行信息系统控制测试模型和审计方案,设计了一般控制和应用控制的测试底稿,通过对某商业银行信息系统审计的实证应用,验证了该方案和底稿的实用价值。
- 张莉
- 关键词：商业银行信息系统审计审计底稿
- 考虑控制措施关联性的信息安全风险评估模型被引量：3
- 2013年
- 考虑到安全目标相互依赖及控制措施之间存在灰色关联性影响等特点,运用DEMATEL-ANP方法和灰色系统理论,建立信息安全风险评估模型.通过对控制措施间不确定性关系进行灰色关联性分析,得出安全风险等级,从而找出需要改善的控制措施,将风险降低在一个可以接受的范围内.选取某高校的若干个信息系统进行实例分析,结果表明该模型在实际应用中是一种有效可行的评估方法.
- 吴天水赵刚王喆刘换
- 关键词：风险评估DEMATELANP
- 基于搜索效率的复杂网络多模型并行演化分析被引量：2
- 2013年
- 很多真实的复杂网络呈现无标度性.但是,这些网络为什么在增长过程中遵从优先连接规则?现有研究尚未给出有力的解释.一个合理的猜想是:这些网络如果不遵从优先连接规则,则将处于不利的地位.为证实这一猜想,采用搜索效率作为评价指标,量化评价不同演化模型的优劣.首先提出一种新的复杂网络并行演化模式,使得同一网络中不同的局部遵从不同的演化模型,从而在统一的基础上比较不同演化模型搜索效率的优劣.以BA无标度网络、WS小世界网络和随机网络为基础,构建了异质复杂网络.其次,采用随机游走搜索策略和DS最大度搜索策略,比较遵从不同演化模型的异质子网的搜索效率,力图解释复杂网络中演化模式同质化的原因.实验发现一种"信息壁垒"现象,即处于劣势的网络模型,其所属节点很难被其他模型的节点访问到.实验结果表明:对于以搜索为重要功能的复杂网络,无标度网络具有最强的适应性,从而在一定程度上解释了无标度现象在众多现实复杂网络中存在的原因.
- 吕天阳黄少滨朴秀峰高坤贾烨然
- 关键词：搜索效率
- 基于惰性切片的线性时态逻辑性质验证被引量：1
- 2015年
- 惰性切片是一种有效的状态空间缩减方法,但是它无法直接判定一个模型是否满足所期望的线性时间性质。针对该问题,提出了一种基于惰性切片的线性时态逻辑公式验证方法。该方法首先构造给定线性时态逻辑公式的否定Büchi自动机与系统模型的乘积自动机,然后使用惰性切片算法在该乘积自动机上以惰性方式搜索可接受迹,从而把线性时间性质验证问题转换为通过可达性分析搜索可接受状态的不变性检测过程。实验结果证明,基于惰性切片的线性时态逻辑公式验证算法在不损失验证结果正确性的前提下使惰性切片算法具备了验证线性时间性质的能力,同时也有效提高了LTL模型检测方法的可扩展性。
- 黄宏涛王静叶海智黄少滨
- 关键词：计算机软件线性时态逻辑BÜCHI自动机
- 零售商主导型多对一供应链收益共享契约协同机制研究
- 2014年
- 研究需求模糊且依赖价格条件下,由2个制造商和1个主导型零售商组成的二级供应链收益共享契约的协同机制问题。研究结果表明,在模糊需求条件下零售商主导型多对一供应链依然存在"双重边际化"效应,且收益共享契约机制可以实现供应链协同;同时,收益共享契约下收益分配系数和供应链整体利润均与产品间替代性存在正向关系。
- 李忱李宏宽
- 关键词：供应链收益共享契约零售商主导
- 基于服务交互行为的复杂服务协同网络建模被引量：11
- 2016年
- 随着分布式计算技术的发展,以自治的服务协同与互操作为主要构造手段、结构与行为随需而变的面向服务的软件系统已成为当前主流的软件架构,分析并理解服务交互行为对于这类复杂软件系统的开发、维护和运营具有重要意义.针对面向服务的软件系统中基本构成元素Web服务的复杂交互执行行为,考虑到服务自治性及系统规模化所带来的复杂性,借鉴复杂网络建模分析方法,提出了一种考虑服务行为特征的服务动态行为生长演化模型.模型首先以真实服务的服务结构数据为基础,以服务间参数关联关系为核心,通过参数匹配建立服务结构网络作为基本连通性约束,代表可能发生交互关系的服务.然后,基于服务间的择优选择、组合交互及动态重组等特性,对面向服务的软件系统生长演化及动态执行行为进行了仿真建模.在Seekda及QWS数据集上进行了仿真实验,结果表明:与传统的软件系统的层次性结构有所不同,由自治的Web服务所构成的软件系统具有更强的模块性;与系统中个体服务演化规则,如择优连接及动态重组相比,服务结构网络的性质对系统最终形态有更重要的影响,相关结果对大规模服务软件的构建及分析具有重要的指导意义.
- 张锡哲吕天阳张斌
- 关键词：复杂网络拓扑分析
- 个性化搜索中用户兴趣模型匿名化研究被引量：7
- 2013年
- 为了解决个性化搜索技术所潜在的用户隐私信息泄露的问题,提出了用户兴趣模型匿名化方法。首先根据用户兴趣模型之间的相似性将其聚类为满足p-链接性的等价组,然后计算聚类后兴趣条目的权值。所谓的p-链接性是指攻击者根据背景知识链接确定某一用户的概率不超过p。该方法可实现用户兴趣模型匿名化以及兴趣倾向不发生改变,既保护了用户隐私信息,同时也保证了个性化检索性能。实验表明:随着相关结果个数的增多,匿名化后搜索结果的查全率基本能保证在50%以上,另外p-链接性的减小对于查全率的影响并不是太大。
- 李清华康海燕苑晓姣X10NG Li任俊玲
- 关键词：个性化搜索用户兴趣模型隐私保护信息安全
- 信息化环境下法务会计师如何发现会计舞弊被引量：1
- 2014年
- 文章以信息化为背景,阐述了法务会计师在会计舞弊检查中遇到的新问题,并对产生这些问题的障碍进行了深入分析,提出了针对信息化的会计舞弊检查新方法和相关的应对措施,如:参数检查、断点检查等。最后就法务会计师的资格认证提出了建议。
- 许汉友
- 关键词：法务会计大数据
