排序方式: 共有8条查询结果,搜索用时 47 毫秒
1
1.
3.
<正>由于受传统编、印、发观念的影响,再加上历史的原因,传统出版社将印制完全作为生产的辅助部门。但随着市场观念的改变,出版企业印制管理工作不再仅仅是出版流程上辅助的生产职能,经营职能也应该成为转企改制新形势下印制管理工作的重心。本文根据行业生产实际状况及笔者近10年的印制管理工作实践,用经营的观念提出了出版企业拓展印制职能的规划。 相似文献
4.
5.
为了提高硝化纤维素(NC)的热分解性能,以硝化石墨烯(NGO)作为含能燃烧催化剂与NC进行复合,制备了NGO/NC复合含能材料。采用傅里叶变换红外光谱(FT-IR)和场发射扫描电子显微镜(SEM)分别研究了NGO/NC复合含能材料的结构和形貌,采用同步热分析仪(TG-DSC)研究了NGO对NC热分解的催化性能。结果表明,当NGO的添加量为1%时,NC的结构不会明显改变,NGO/NC复合含能材料为多孔的三维网络状,且NC的表观分解热由339 J·g~(-1)增加至2132 J·g~(-1),放热峰温度由201℃提高至213℃,质量损失为96%,表明NGO的加入提高了热稳定性,增加了表观放热量。 相似文献
6.
为了增强计算树逻辑在时序上的表达能力,以广义可能性测度、决策过程和计算树逻辑为基础,研究了具有决策过程的广义可能性模糊时态计算树逻辑的模型检测。首先采用广义可能性决策过程作为系统模型;然后引入模糊时态算子,构造了模糊时态计算树逻辑并给出其在广义可能性测度下的语义,得到新的广义可能性模糊时态计算树逻辑用来描述系统属性;最后在广义可能性调度下通过模糊矩阵运算讨论了"soon、within、last、nearly"等几类模糊时态连接词的具体计算方法,给出相应的模型检测算法。经验证明,广义可能性模糊时态计算树逻辑是广义可能性计算树逻辑在模糊时序上的扩充,具有更强的表达能力。 相似文献
7.
模型检测是一种自动验证软硬件系统行为的有效技术。为了对包含非确定性信息、不一致信息的并发系统进行形式化验证,在可能性理论、多值逻辑的基础上,研究了具有多值决策过程的广义可能性多值计算树逻辑模型检测算法,及其在检验非确定性系统中的具体应用。首先构造了多值决策过程作为系统模型,用多值计算树逻辑描述系统属性。然后给出具有多值决策过程的广义可能性多值计算树逻辑的模型检测算法,该算法将模型检测的具体问题转换为多项式时间内的模糊矩阵运算。最后就包含非确定性选择的多值系统的模型检测问题,给出一个具体的应用实例。 相似文献
8.
1