池志强
- 作品数：12 被引量：16H指数：2
- 供职机构：武汉数字工程研究所更多>>
- 发文基金：国防科技技术预先研究基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术交通运输工程更多>>
- 舰载指控系统构件模型研究
- 针对目前舰载指控系统构件化的需求,提出了舰载指控系统构件基础模型。首先以3C模型为依据,介绍了构件模型的基本概念,在此基础上给出指控系统构件模型三个基础组成:构件类,构件实例和接口;然后对这三个组成的具体内容及它们之间的...
- 张文婷池志强赵恒
- 关键词：构件类连接件
- 文献传递
- 基于嵌入式Linux系统的内核级线程库的研究与实现被引量：1
- 2009年
- 在当前嵌入式系统应用中,性能问题一直是人们关注的重点.大多数嵌入式Linux应用往往运行在用户态,系统运行时需要经常在内核态和用户态之间反复切换,降低了关键业务的执行效率.以往的研究较少从内核态下的线程库出发来考虑性能优化的实现方法,影响了嵌入式系统的整体性能.对此,本文提出一种适用于嵌入式Linux系统的内核级线程库(LKTL),并且分析了实现的关键技术.LKTL提供了线程管理、信号量同步、内存的动态分配和回收、日志管理以及基本的GNU C库的功能,不但大大提高了应用程序的运行效率,还方便了应用程序的开发和移植.实验表明LKTL能够显著优化嵌入式Linux系统的整体性能.
- 邓广宏曹万华蔡斌池志强程雄黄治华
- 关键词：嵌入式系统LINUX操作系统
- 软件体系结构讲座(八)——体系结构设计工具被引量：1
- 2000年
- 本讲介绍几个软件体系结构设计的工具系统,它们是:UniCon(一个体系结构描述的语言和工具集),Ae-sop(一个构造特殊风格的体系结构设计环境)和WRIGHT(一个支持体系结构规格说明的语言)。
- 王振宇池志强陈利
- 关键词：软件体系结构软件工程
- 基于规则的代码构件提取技术研究
- 2006年
- 构件提取是构件化技术中的一个热点问题,采用程序树作为代码构件的一种形式化表示,并使用结构化标记文法来解决构件提取中规则描述的问题,使得提取技术具有跨语言的能力,并给出了基于结构化标记规则的Ada代码构件提取过程实例。
- 池志强王振宇
- 关键词：ADA跨语言
- 软件体系结构讲座 (四)共享信息系统被引量：1
- 1999年
- 这一讲通过两个实例讨论共享信息系统的体系结构怎样随着技术的进步与用户需求的提高而演变的过程,进一步揭示这种普遍的软件体系结构的演化模式。所用的实例是数据库集成和软件开发环境集成。
- 王振宇池志强
- 关键词：体系结构
- 正形置换的一些新结论被引量：1
- 2013年
- 正形置换在对称密码的设计中占有重要的地位。为了对正形置换的构造计数和性质进行进一步的分析探讨,首先指出戴宗铎等关于线性正形置换结构的结论中存在的问题,并根据修改后的结论,得到了最大线性正形置换的结构形式,进而实现了最大线性正形置换的完全无重复构造,而原先的构造方法会产生重复的结果;通过分析正形置换的补置换和仿射正形置换的关系,得到了正形置换的个数为2的(n+1)次方的倍数,比原来为2的n次方的倍数的结论更进了一步;给出了一种代数免疫度的定义,证明了这样定义的代数免疫度是Carlet-Charpin-Zinoviev等价不变量,并得到非仿射正形置换与它的补置换的差分均匀度、非线性度、代数次数和代数免疫度均相等。
- 童言张焕国池志强黄治华张剑
- 关键词：对称密码正形置换
- 一种实现应用软件跨平台特性的解决方案被引量：7
- 2008年
- 针对应用软件在多种系统平台下的跨平台需求,提出了一种基于操作系统抽象层的跨平台架构,基于这种架构,新的应用软件能够无缝的运行在多种系统平台,原有的应用软件也能够平滑的迁移到新的应用环境中,实现了应用软件的跨平台特性,增强了软件的可移植性,缩短开发人员的平台适应周期,提高了研发效率。
- 邓广宏蔡斌池志强黄治华程雄
- 关键词：操作系统抽象层跨平台
- 基于构件的软件可靠性设计技术研究被引量：1
- 2006年
- 在大型指挥控制系统的软件开发中,其可靠性问题是一个核心问题。以指挥控制系统软件系统为研究对象,进行软件可靠性分析,推导出指控系统软件可靠性计算公式。结合构件化技术和软件可靠性工程过程,提出基于构件生产的指控系统可靠性工程过程模型。
- 池志强
- 关键词：指挥控制系统可靠性软件体系结构
- 舰载指控系统构件模型研究
- 针对目前舰载指控系统构件化的需求,提出了舰载指控系统构件基础模型.首先以3C模型为依据,介绍了构件模型的基本概念,在此基础上给出指控系统构件模型三个基础组成:构件类,构件实例和接口;然后对这三个组成的具体内容及它们之间的...
- 张文婷池志强赵恒
- 关键词：舰载指控系统连接件
- 文献传递
- 基于特征向量的基本口型分类被引量：2
- 2010年
- 提出了一种基于口型特征向量的口型图像分类方法,该方法以口型内嘴唇轮廓特征为基础提取图像中的口型特征向量,并在此特征向量的基础上分析研究了不同聚类算法采用不同特征向量表示时的口型图像分类效果,建立了基本的口型特征库。
- 邓广宏曹万华夏奕蔡斌池志强程雄
- 关键词：特征向量特征提取聚类
