信息安全风险模块化层次评估方法研究

信息系统广泛应用于各行各业，其安全性已经引起人们的密切关注。信息系统风险评估是分析信息系统的安全现状和潜在风险，从而为安全策略的设计实现提供依据和指导的过程，是规划、建设和维护信息系统安全结构的一项重要而且不可缺少的工作。本文根据信息系统功能模块化强的特点，采用系统聚类法建立了信息安全风险模块化层次结构评估模型，将一个完整的信息系统分为“管理模块”、“核心模块”、“分布层模块”、“服务器模块”、“边缘分布模块”、“外网接入模块”以及“外部环境模块”7个模块，并对模块化评估模型聚类方法和评估实施步骤作了详细的介绍。     

航空航天嵌入式计算机体系架构评估模型

典型的航空航天嵌入式计算机具有很多共同的特点,在体系架构的设计方面表现尤为突出.从飞机飞行控制计算机、导弹制导控制计算机和星载计算机3种典型嵌入式计算机入手,分析了航空航天行业嵌入式计算机的体系架构特点和共性技术,从模块化、网络、综合化、集约化、长寿命、COTS和开放性7个体系架构特征开展研究,归纳出通用架构、成本控制和适应发展3个评价维度,从而构建了针对这类嵌入式计算机的体系架构评估模型.对每个体系架构特征提出了基本的评判原则和具有可操作性的参考项,并给出了整机、评价维度和体系架构特征三者的分级之间的关系,以此便可对嵌入式计算机进行分级,以满足不同的评估需求.以两种先进的航空嵌入式计算机的评估为例,说明了评估的过程和方法.评估实例表明,该评估模型清晰、有效、实用.     

Towards a logic programming methodology based on higher-order predicates

This paper outlines a logic programming methodology which applies standardized logic program recursion forms afforded by a system of general purpose recursion schemes. The recursion schemes are conceived of as quasi higher-order predicates which accept predicate arguments, thereby representing parameterized program modules. This use of higher-order predicates is analogous to higher-order functionals in functional programming. However, these quasi higher-order predicates are handled by a metalogic programming technique within ordinary logic programming. Some of the proposed recursion operators are actualizations of mathematical induction principles (e.g. structural induction as generalization of primitive recursion). Others are heuristic schemes for commonly occurring recursive program forms. The intention is to handle all recursions in logic programs through the given repertoire of higher-order predicates. We carry out a pragmatic feasibility study of the proposed recursion operators with respect to the corpus of common textbook logic programs. This pragmatic investigation is accompanied with an analysis of the theoretical expressivity. The main theoretical results concerning computability are

1. Primitive recursive functions can be re-expressed in logic programming by predicates defined solely by non-recursive clauses augmented with afold recursion predicate akin to the fold operators in functional programming.
2. General recursive functions can be re-expressed likewise sincefold allows re-expression of alinrec recursion predicate facilitating linear, unbounded recursion.

     

村镇住宅建筑模块化设计系统研究

本文所介绍的村镇住宅建筑模块化设计系统是一套利用了BIM技术, 结合我国村镇住宅建设特点及基层设计人员计算机辅助设计水平, 专门为村镇住宅设计定向研发的设计系统。它具有:1)丰富的设计模板; 2)翔实的知识库; 3)智能设计调整; 4)特色构件库等几大特点, 为村镇住宅设计提供了一个新方法。     

Multi-field coupling dynamic modeling and simulation of turbine test rig gas system

On the basis of early research on the 38-component system, this paper extends the established finite volume model to the multi-field coupling numerical system which can describe flow, heat transfer, combustion and rotation, and conducts, based on the experiment, dynamic modeling and simulation research on the turbine test rig gas system which includes turbine and load. The comparison among the simulation results, test data and early simulation results indicates the 42-component system established by this paper has made improvements against many weaknesses of the Previous simulation in an all-round way. Accordingly, it can be concluded that the case setting and algorithm improvement are effective. It is also found that the modeling of module with chemical reaction, the spool throttling modeling of various regulator valves, the modeling of the turbine characteristics and the modeling of wall heat transfer are four key factors which affect simulation accuracy, and that the coupling modeling of flow and combustion is the key factor which affects simulation stability.     

烟草企业MRPⅡ/ERP物料清单重构研究

文章从分析卷烟生产和市场的特点入手,根据烟草的应用现状,讨论了烟草企业进行物料清单重构的必要性;然后就烟草企业物料清单存在的问题,提出了物料清单重构的方法和步骤。这些方法和技术包括设置物料项目虚项和设计模块化的物料清单技术。     

基于纯态的量子通信系统模型

量子通信与量子计算已经引起人们极大的关注.对于量子态如何用于信息处理的问题,提出了量子通信的两种基本模型:量子直接通信模型与量子隐形传态通信模型.在量子直接通信模型中,用模块化的方法将量子通信全过程分为量子信源编译码,量子信道编译码,量子信道与量子噪声模块,并详细阐述了各个模块的功能与用途.在量子隐形传态通信模型中,利用量子隐形传态特性,通过将待传粒子与纠缠对的联合测量模块化为量子调制部分,给出了基于隐形传态的量子通信一般模型.量子通信在安全性及效率方面具有经典通信无法比拟的优势.     

模块化神经网络容差模拟电路故障检测

容差模拟电路故障检测对于电子设备的稳定运行而言至关重要,针对传统检测算法计算代价大、训练时间长及检测误差率高的不足,提出基于模块化神经网络的容差模拟电路故障检测算法研究。对神经网络检测模型的功能模块进行划分,并基于功能模块提取容差模拟电路的故障信号特征;基于样本中心到故障特征点的欧式距离,对比故障样本的特征向量,依据模块化神经网络决策分类函数,实现对容差模拟电路故障的准确定位和检测。仿真数据表明,在不同样本容量条件下提出检测算法均具有优势,最低误差值为0.382%.     

新型电脑加油机的研究与设计

介绍了利用单片机技术和电子技术，辅以各功能接口电路设计开发的一套具备自动计量、自动计费和统计功能的新型电脑加油机。单片机系统设计以结构化和模块化为指导，具备高度的可扩充性。它具备了人机对话、收费显示、通讯和控制功能，加油数据统计、处理、保存功能，并具备了中文操作系统和语音系统。     

军用雷达BITE模块化的进展与前瞻

军用雷达机内测试设备(BITE)模块化课题业已取得阶段性成果,也提出了某些值得讨论的问题。本文就此发表了看法,以期有助于课题的进一步开展。