独立函数的表达式及完备性

给出独立函数的逻辑表达式和递推关系式。证明了独立函数系的线性完备性。讨论逻辑函数关于独立函数系的展开式、不同极性独立函数系展式之间的关系,以及与Reed-Muller展式之间的关系。这些问题的结论为建立新型的通用逻辑模块奠定了理论基础。     

独立函数及其R/W谱在逻辑设计中的应用

本文提出基于独立函数的逻辑设计方法,即如何利用独立函数和它的Rademacher/Walsh谱系数进行组合逻辑设计。这是组合逻辑设计方法的另一新途径。它有利于数字系统的模块化。     

用广度优先搜索求割点和块的算法研究

本文在作者以前研究的基础上,进一步提出子树径和独立子树径的概念,深刻分析了在广度优先搜索下简单连通无向图的结构特征,并给出判断割点和块的准则,为设计用广度优先搜索寻找割点和块的有效算法提供了理论依据。     

上市公司实行独立董事制度的思考

分析了中国与英美法系国家公司内部治理结构的差异 ,指出中国引入独立董事制度将会增加企业内部交易成本 ,因而提出改善我国上市公司治理结构的方法而成本最低的建议。     

基于多维模型的独立型数据集市数据转换策略研究

数据转换是ETL的重要组成部分,同时也是数据仓库和数据集市得到高质量数据的前提和保证。首先分析并研究了基于维度模型的数据转换的内容,提出并深入研究了基于维度模型的独立型数据集市多阶段数据转换策略和管道数据转换策略,为基于多维模型的独立型数据集市的数据转换的实现提供技术支持和理论指导。     

舰载机总体设计主要关键技术概述

概述了舰载机(固定翼舰载飞机)总体设计中与航母(航空母舰)适配的起飞、着舰等的关键技术问题。文中还统计分析了国外现有舰载机单、双发动机布局的情况,以供舰载机设计中考虑起落安全性的参考。     

基于多维模型的独立型数据集市数据转换技术研究

数据集市可为用户提供部门级的决策分析依据,而数据转换是用户能否从数据集市中得到高质量信息的前提和保证。为此,在对数据转换技术进行分析研究的基础上,针对独立型数据集市的特点提出了基于维度的数据转换模型,详细讨论了基于维度模型的独立型数据集市数据转换的内容及数据转换的技术支持。     

钢筋砼条基及独立柱基有效高度的实用计算公式

为了便于广大工程实践人员对基础有效高度的确定，根据规范GB50010－2002及GB50007－2002推导求解出基础有效高度的实用计算公式及计算表格。     

面向网络化制造的数控车间组织模式

分析了网络化制造的基本特征和内涵,提出了面向企业的网络化制造系统运行模式;在对某大型航空制造企业的数控车间调研与应用实施的基础上,针对其组织模式存在问题,采用分行企业和独立制造岛的思想建立了适合数控车间网络化、敏捷化制造的分形组织模型;针对车间原有生产模式、产品特性,提出了基于成组技术的数控车间生产单元和生产线的划分方法,建立了面向产品流程的机构组成规则和车间内部的服务支援规则.该模型、方法、原则对传统的离散制造企业具有普遍的适用性,现已成功地被该数控车间采纳.     

关于设计保证系统适航独立核查的思考

民用飞机主制造商建立设计保证系统，旨在民机研制过程中充分发挥自主适航的能力，通过组织机构、职责、程序和资源落实设计、适航以及独立监督三大职能，以保证航空产品的设计或者设计更改满足适航当局的要求。其中，设计保证系统适航职能的适航独立核查功能正是这一保证的关键。基于对设计保证系统适航独立核查功能的具体分析基础上，从设计保证系统的规划与设计层面提出了实现适航独立核查功能的机制，给出了机制中需明确的责任主体、职责与资质要求、工作流程与支撑工具以及管理程序等方面的建议，并从大数据知识的技术支撑和阶梯式递进的人才培训保障两方面以不断优化改进的方法工具与人力配置来深化适航独立核查的功能与效果，进而增强设计保证系统对飞机型号研制的保证作用。