关系数据库自动生成器

本文论述了使用函数依赖(FD)的概念进行关系数据库的设计。对于给定一组函数依赖,确定全部最小覆盖的传统综合算法进行了改进,给出了一个改进的新算法。并且开发了称为“关系数据库自动生成器”的关系数据库自动设计工具,该工具使用编译dBASEⅢ语言编写,在长城0520机上运行,它支持需求分析阶段的信息收集,关系数据库设计阶段的概念性和逻辑性设计。     

试论军事刑事司法专属管辖的根据

军事刑事司法专属管辖划分的根据在军事法学界存在着争议,在法律规范的规定中也是非常原则,缺乏可操作性。本文从军事法学界对军事刑事司法专属管辖根据的不同学术观点入手,依据我国现行法律规范的零散性规定,以军事司法权的内在属性为理论依托,论证了我国军事刑事司法专属管辖根据的原则与例外。     

汇编语言的单元测试技术研究

汇编语言具有非结构化、非标准化、硬件相关性高、灵活性极大等特性,单元测试难度较大.针对汇编语言的特点,论述了汇编语言单元测试过程中功能测试、结构覆盖率测试和性能测试的方法和步骤.     

自蔓延高温合成技术的研究动态

对自蔓延高温合成技术(SHS)的最新研究动态进行了介绍,指出SHS技术作为一种制备和合成材料的新技术,以其高效、节能、经济、材料性能优良等优点,现已成为制备新材料的崭新途径,并提出自蔓延高温合成技术今后的研究方向。     

ANALYSING DEFENCE DEPENDENCY: THE IMPACT OF THE ROYAL NAVY ON A SUB‐REGIONAL ECONOMY

This paper provides a methodology for estimating the economic impact of defence spending at a sub‐regional level. It does so by calculating the income and employment generated by Britain’s Royal Navy and associated defence activities in the City of Portsmouth and its surrounding area, during the financial year 2003–2004. In an era of military consolidation, the paper offers an insight into the multifaceted impact of defence‐related expenditure. Hence, it presents a generic framework that could prove useful to other researchers when seeking to measure the sub‐regional impact of naval, airforce and army facilities in other national contexts.     

具有脉冲和Holling IV类功能反应的三维捕食系统

建立了在固定时刻具有脉冲效应的三维捕食系统,利用常微分方程比较原理、含脉冲的比较原理及Lyapunov函数方法,得到了该系统的持续生存性、周期解的存在唯一性和全局吸引性,并给出了保持这些性质时脉冲项应满足的界限.     

混编防空导弹网络化作战系统功能体系结构分析

混编防空导弹网络化作战系统功能体系结构分析的目的是描述系统结构、系统功能以及功能间的交互关系。基于网络中心战原理,以区域反弹道导弹为背景,描述了混编防空导弹网络化作战系统反导作战的作战过程及其任务序列;分析了混编防空导弹网络化作战系统的功能模块和功能节点划分;构建了以3层逻辑网结构为特征的混编防空导弹网络化作战系统功能体系结构,分析了3层逻辑网的组成与功能及其相互关系。     

内进化演化硬件平台的设计与实现

在讨论内进化演化硬件运行机制的基础上,详细介绍了基于虚拟可重构电路(VRC)的演化硬件平台的实现方法及演化平台的组成,描述了可重配置功能块(CFB)组成的阵列及CFB之间通过多路选择开关电路建立信号传输通道。在此基础上进行了1位全加器的演化,证明了这种方法的有效性。     

生气贯注 气韵天成——艺术创作新论：气化论

气化论哲学认为，天地万物都处于一气运化之中，是气之阴阳交感化生的结果。艺术创作过程，是宇宙之气在主体内部积淀，与主体之气相应同，化生为作品之气的过程。具体说来，包括这样几个阶段：艺术创作的契机：气感；创作前审关心境：虚静与养气；神与物游，以天合天；生气贯注，气韵天成。     

内置谓词函数依赖及其推理规则

研究内置谓词函数依赖及其推理规则.首先提出内置谓词函数依赖,定义了内置谓词函数依赖的语法和语义;其次提出属性-约束集闭包概念,提出计算属性-约束集闭包的算法,判断内置谓词函数依赖逻辑蕴涵;然后提出内置谓词函数依赖的推理规则集A,证明推理规则集A是可靠且完备的,用于内置谓词函数依赖蕴涵分析的形式化证明;最后讨论了内置谓词函数依赖的应用.