张震
- 作品数：18 被引量：25H指数：3
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术化学工程电子电信理学更多>>
- 战争设计工程专家群体研讨模型
- 2012年
- 针对战争设计工程中专家群体研讨问题,根据研讨的主题以及目标,将专家群体研讨划分为三类:寻求信息研讨、质询研讨和商议研讨。在研讨类型划分的基础上,建立了战争设计工程群体专家研讨模型。该模型主要用于对战争设计工程中专家群体研讨过程建模,有利于专家对研讨进程的了解。最后阐述了该模型在战争设计工程中的应用。
- 陈超张震谈伟张鹏程
- 关键词：战争设计工程
- 支持多线程的空间数据GSQL解析器设计与实现
- 2011年
- 为了使基于ingres扩展的空间数据库支持多线程空间数据上传和下载,设计实现了一个支持多线程的GSQL解析器。在分析PostGIS解析器的基础上,通过全局变量封装,实现解析器对多线程的支持。为了提高GSQL解析器的效率,提出并实现了可变长内存池管理机制。通过验证,GSQL解析器在多线程上传和下载空间数据时性能优良,而且使用可变长的内存池管理机制大幅度提高了GSQL解析器的时空效率。
- 张震王超熊伟雷霖景宁
- 关键词：并发多线程内存池
- 一种多孔炭隔热复合材料的制备方法
- 本发明公开了一种多孔炭隔热复合材料的制备方法，目的是解决现有多孔炭隔热复合材料制备方法工艺周期长、炭化过程中体积收缩大、安全隐患大等问题。技术方案是以离子液体作为炭前躯体，低共熔盐类混合物作为致孔剂，无机炭纤维预制件作为...
- 冯军宗张震冯坚姜勇刚韩佳林
- 文献传递
- 太赫兹宽带吸收与极化转换双功能超材料
- 本发明公开了太赫兹宽带吸收与极化转换双功能超材料，包括超材料单元，所述超材料单元内侧的底部固定安装有基底反射板，所述基底反射板的顶部填充有聚乙烯环烯烃共聚物ToPaS介质层，所述聚乙烯环烯烃共聚物ToPaS介质顶部固定安...
- 路远沈先雨陈友才冯云松周长祺王津金伟张震
- 基于触发路径的主动规则集终止性分析被引量：3
- 2012年
- 为满足用户对网络服务的个性化、定制化和主动化需求,主动规则成为解决这些问题的关键技术.研究了在网络环境下基于规则的复杂应用中,大量规则集同时触发所带来的规则终止性问题,提出的分析方法确保主动规则能够有效运行,以提供更加灵活的主动服务.讨论了以静态分析方法为主的主动规则终止性分析相关工作,随后给出问题描述和相关形式化定义.分析了基于关联图的终止性分析方法的保守性,引入触发路径和有限触发环概念,提出了基于触发路径的两种终止情形分析方法,提高了规则集终止性分析的准确性,采用两阶段分析算法保证了分析效率.与相关分析方法的实验比较说明,文中方法能够更准确高效地检测主动规则集的终止性,并适应基于主动规则的其它应用.
- 熊伟吴烨张震吴秋云
- 关键词：终止性分析关联图
- 一种炭气凝胶隔热材料的制备方法
- 一种炭气凝胶隔热材料的制备方法，包括以下步骤：1)酸碱两步法配制酚醛预聚体溶胶；2)采用溶剂热工艺制备有机凝胶；3)采用常压干燥工艺制备有机气凝胶；4)采用炭化裂解工艺制备炭气凝胶；酸碱两步法以先酸催化后碱交联方式在纳米...
- 张震冯坚冯军宗姜勇刚李良军
- 文献传递
- 太赫兹宽带吸收与极化转换双功能超材料实现方法
- 本发明公开了太赫兹宽带吸收与极化转换双功能超材料实现方法，包括超材料单元，所述超材料单元内侧的底部固定安装有基底反射板，所述基底反射板的顶部填充有聚乙烯环烯烃共聚物ToPaS介质层，所述聚乙烯环烯烃共聚物ToPaS介质顶...
- 路远沈先雨陈友才冯云松周长祺王津金伟张震
- 时变区域上随机部分耗散系统的动力学
- 我们主要讨论时变区域上的部分耗散与随机部分耗散系统的动力学以及可压流体方程的弱解与鞅解的存在性. 第一部分我们利用C2同胚映射法得到定义在非单调时变区域上的部分耗散系统的解的适定性,得到相应的拉回吸引子,利用数学归纳法...
- 张震
- 关键词：动力学
- 一种炭气凝胶隔热复合材料的制备方法
- 本发明公开了一种炭气凝胶隔热复合材料的制备方法，目的是提供一种简单高效、成本低，制备出来的材料成型性好、轻质高强且高效隔热的炭气凝胶隔热复合材料的制备方法。技术方案是以酚有机单体和醛有机单体为炭前驱体，以可高温分解挥发的...
- 冯军宗冯坚张震姜勇刚李良军
- 基于IBIS和Toulmin辩论形式的群体研讨模型被引量：7
- 2011年
- 研讨模型是建立群体研讨环境的理论基础。以基于问题的信息系统(IBIS)模型和Toulmin辩论模型为基础,建立了一种可对研讨发言进行评价的群体研讨模型。该模型将群体研讨发言信息组织成由发言节点和语义边构成的图。给出了基于语言加权集结(LWA)算子和节点归约的发言节点评价方法。以系统体系结构设计问题的群体研讨为例,说明模型的可用性和有效性。
- 陈俊良陈超姜鑫张震
