时间行为协议状态空间约减算法

对复杂时间行为协议状态进行约减对于缓解形式化验证的状态空间爆炸问题,提高验证工具系统的效率、实用性等具有重要意义。分析了实时构件组合的几种形态,对基于时间行为协议的组合理论和状态空间爆炸问题进行了讨论,给出了时间行为协议的状态空间约减算法并进行了分析,给出了示例。     

基于增量SVR模型的改进全局优化算法

SVR(支持向量回归)是一种具有较强稳健性的小样本学习方法,它可有效避免"维数灾难",并被引入到全局优化中。然而现有的基于SVR的全局优化算法存在估值次数多、无法应对高维优化问题等缺点。提出了一种基于增量SVR模型的新的改进全局优化算法DISVR:采用增量SVR方法提高过程响应面的重构效率;采用一种新的增量LHD(Latin Hyper-cube Sampling)方法确保样本集分布均匀;采用DIRECT搜索算法提高全局搜索的稳定性和效率。最后,通过多个测试函数表明,该算法既降低了时间复杂度,也有效减少了源模型的估值次数。     

决策区间值信息系统的交互相容关系及属性约简

决策区间值信息系统的处理方法在解决实际问题中具有重要意义.定义了区间的相对包含度概念,进而提出区间的交互相似度、决策区间值信息系统的交互相容关系,从而克服了以往区间值信息系统方法忽略区间的交互关系的不足,提高了分类的准确性;讨论了交互相容关系下决策区间值信息系统的属性约简和相对属性约简,并给出了寻找约简和相对约简的具体操作方法.     

油井水泥高温缓凝剂

随着石油的逐步开采,勘探开发向深发展。井段长、高温高压、延迟固井等情况和特点要求水泥浆在一定时期内保持可泵性。油井水泥缓凝剂普遍存在着:指数型,跨度小等缺点,开发对温度敏感性小、又能保证固井施工安全,同时兼顾经济效益的新型高温油井水泥缓凝剂势在必行。     

输送带全聚酯半聚酯帆布阻燃浸胶体系的研制

文中探索了橡胶输送带阻燃叠层帆布（全聚酯、半聚酯）带芯浸胶的可行性，重点介绍了设计思路和工艺上的重要环节。     

论明治政府"文明开化"政策的欧化之路

“文明开化”政策是日本明治维新时期推行的三大基本国策之一,是日本从传统社会向近代社会转型的重要内容。从狭义上说,“文明开化”包括学习西方的教育制度、科学技术、及生活习俗等诸方面内容。并且“西学”的过程呈现出不同于别国的特点。最终,“欧化”的过程使日本走上了资本主义道路,成为近代历史上亚洲唯一保持民族独立的国家。     

基于系统平均停机时间的维修策略研究

文章研究了单部件可修系统的最优维修更换问题．假定系统不能“修复如新”．分别以（1）系统的故障次数N；（2）系统的工作时间T；（3）二元函数（N．T）为策略，利用几何过程确定最优的策略，使得系统经长期运行单位时间内平均停机时间达到最少．并求出了系统经长期运行单位时间内平均停机时间的明显表达式，对故障系统的维修和更换具有参考价值和指导意义．     

一种复杂热工系统控制过程的设定点优化

控制层运用预测PID控制代替常规的PID控制；监控层利用测量信息不断进行反馈校正，为控制层提供优化设定点.仿真结果表明，与设定点固定的控制方法相比，消除了不确定性影响，控制性能和经济目标均有了改善.应用于燃烧炉压力控制系统，得到了较好的控制效果.     

某砖混底框结构框架梁的裂缝成因分析及处理

某底部两层框架的砖混底框结构,一层部分框架梁上出现了多条裂缝.根据现场检测结果和结构计算,分析了该裂缝的成因,分析表明对于转换层和其他层荷载相差较大的底框框架而言,转换层以下的框架梁上会出现较大的轴向拉力,而此轴向拉力在设计时往往被忽略,该框架梁上的裂缝就是由于这个被忽略的轴向拉力造成的.同时还给出了该裂缝的加固处理措施.     

无机纳米多孔材料的研究进展

对无机纳米多孔材料的当前研究进展进行了评述,详细介绍了无机纳米多孔材料的应用前景、合成机理、合成方法,并特别介绍了非硅基多孔材料的研究进展,并对当前研究存在的问题进行了总结,最后就无机纳米多孔材料的研究方向进行了展望.