ICD数据导出及代码自动生成方法研究与应用

随着ICD（Interface Control Document）技术在航天领域的广泛运用,大量的ICD文档与接口定义代码需要编写,然而人工手动编写不但工作效率低,且编写好的文档也不易于管理.为解决以上问题,提出了一种ICD数据导出及代码自动生成方法,并集成于ICD数据库管理系统中.方法以ICD数据库管理系统的数据为基础,使用数据导出算法和代码自动生成算法可自动导出Word文档及所需的目标代码文档.测试结果表明,使用Office Open XML技术导出效率高,导出文件占用空间小,能够满足ICD数据导出的     

稀溶液低数性公式的简明导出

本文采用了简单而通俗的基本公式和直观的作图方法来进行推导     

物理常数与科学研究

基本物理常数反映了自然界的一些基本特性。本文就物理学上的基本物理常数的分类、应用、测定及其物理意义进行了简述。并从中进行科学方法教育,以提高学生的科学素养,改变过去那种重知识轻过程、重结论轻应用的倾向。     

无K_3图的Hamilton性

本文证明了:如果G是2连通图,且G不含同构于K_3,P_4~+,D的导出子图,则G是Hamilton图或奇数阶完全二部图.     

代数和微分分次代数上的Recollement

在本文中,作者首先刻画了如果两个微分分次代数具有非零微分分次代数同态则它们的导出范畴构成Recollement的充要条件,其次得到了三个结合代数的导出范畴构成Recollement的充要条件,最后,作为上述定理的推论,得到了三个有限维结合代数的有界导出范畴构成Recollement的充分条件.     

ADO.NET数据导出技术在新生报到率统计系统中的应用

针对数据库管理系统中导出目标报表格式单一性的不足,本文对导出数据报表格式进行了详细研究,改进了代码编写方式,实现了较为复杂的目标报表导出。通过新生报到率统计系统应用实例,该方法有较地解决了较复杂报表的导出格式问题。     

平面图的动态着色

研究平面图的动态着色数,通过定义一个算法得到强导出图.利用颜色对换的思想来研究平面图动态着色的上界问题,得到结论:若G是平面图,则χd(G)≤5.     

复数域上对称矩阵保逆的导出映射

设F是复数域,n为整数且n≥3,Sn( F)为F上的n阶对称矩阵全体构成的集合.给出了域上对称矩阵保逆导出映射的一般形式.     

基于MPLS VPN技术的Multi-hop MP-EBGP组网方式应用研究

BGP MPLS VPN是未来VPN技术的主流,随着企业信息化进程的加快,越来越多的用户要求能够跨市、跨省甚至跨国的通信。在不同服务商的AS域中,通过配置ABSR之间互连接口的IP地址、为VPN配置VRF的导入/导出策略以及在ASBR上对MP-BGP的特殊配置,实现了Multi-hop MP-EBGP运行,并分析了这种组网方式的性能。     

$\tilde{A}_n$型丛倾斜代数的Cohen-Macaulay Auslander代数的导出等价分类

主要研究了$\tilde{A}_n$型丛倾斜代数的Cohen-Macaulay Auslander代数的导出等价分类问题, 利用Avella-Alamimos和Geiss给出的算法证明了$\tilde{A}_n$型丛倾斜代数的Cohen-Macaulay Auslander代数导出等价的充分必要条件是相应的丛倾斜代数导出等价.