基于CSP的进程行为取证方法研究

针对取证过程中所获取的进程异常行为,提出进程行为事件重建犯罪过程的方法。该方法使用CSP（通信顺序进程）理论来形式化描述具有威胁乃至破坏性的进程操作及进程间的通信,根据系统保存的进程行为记录建立进程通信状态模型,使用基于路径搜索的进程行为解释算法分析模型内所有可能的进程通信序列,形成进程通信行为规则,在排除不符合规则的通信序列的基础上,找到能够形成合理证据链的通信序列。通过案例分析进行了证据的形式化及CSP建模,给出了进程行为的具体分析解释和原型系统,验证该方法的可行性和有效性。     

台州市人工湿地建设适宜性评价

鉴于综合考虑人工湿地建设的影响因素对人工湿地建设适宜性进行评价是保障其充分发挥各项功能的重要基础,以台州市7个备选区的人工湿地建设为例,建立了人工湿地建设适宜性综合评价模型,根据评价指标的原始数据,利用灰色关联法确定灰色关联系数、用层次分析法确定各评价指标的权重,计算各评价指标的加权灰色关联度作为人工湿地建设适宜性综合评价指数,并按其大小对备选区进行排序,进而确定了人工湿地建设适宜等级。结果表明,各备选区的人工湿地建设适宜性整体情况较好,均适宜人工湿地建设,同时各区域的适宜程度及制约因素表现出一定的异质性。     

双胶料衬套的设计与研究

介绍双胶料衬套的设计。双胶料衬套按功能分为自润滑型和高阻尼型2种：前者主簧胶料采用单胶料衬套胶料,具有强度高、耐久性能好的特点,撞块胶料采用天然橡胶/顺丁橡胶并用并添加内润滑剂,具有表面摩擦因数小的特点;后者副簧胶料不同于主簧胶料,采用天然橡胶/溶聚丁苯橡胶并用胶,实现双向阻尼特性的调节。试验结果表明：双胶料衬套采用双料注射机加工成型,其可从模具、胶料和注射工艺方面进行优化调整;自润滑型双胶料衬套的动静刚度可调性、耐疲劳性能和降噪性能均比单胶料衬套更具优势。     

基于瀑布模型的可信取证方法

给出＂人＋工具＋证明＂的取证模式,提出可信取证理念。从电子数据的静态属性可信性和取证方法动态行为的可信性两个方面对可信取证体系进行研究,以便最终形成可信的电子证据结果。建立基于瀑布模型的电子取证模型,从可信表达、可信分析、可信提取、可信固定以及可信发现等方面加以分析。     

车载PT/GC/MS技术对水源地挥发性有机物的应急监测

根据水源地检测的需要,建立了采用车载PT/GC/MS技术对水源水中73项挥发性有机物水质指标(70种挥发性有机物)的应急测定方法.结果显示,测定方法具有良好的线性范围、重复性和准确度,适用于地表水和自来水的应急监测,扩展了《生活饮用水水质标准》(DB31/T 1091—2018)中挥发性有机物指标体系,提高了水源地水质...     

BT40刀柄性能检测装置开发

数控加工精度影响因素众多,在众多因素中因刀柄性能指标导致的加工误差较难以克服,为了解决这个问题,提出了BT40刀柄性能检测装置的研发及应用,实践表明所研制的刀柄性能检测装置能有效检测出刀柄的径向跳动、端面跳到、垂直度等性能指标,为数控加工提供参考依据,有助于提升加工精度.     

ZT-525型水平定向钻机的开发及应用

水平定向钻进施工工艺具有施工工期短、效率高、节约成本、可靠性强等优点,已得到广泛应用。但由于地下施工具有较大的不确定性,因此水平定向钻机的性能对施工结果起到关键作用。本文主要介绍了ZT-525型水平定向钻机的结构特点、主要技术参数及工程应用。     

小波提升的超现实亮度对比度传递的图像融合方法

针对传统的亮度对比度传递算法在视频融合中实时性差的问题，给出了使用提升小波代替双正交小波的改进方案，并在红外与可见视频融合中引入超现实视频融合思想，提出了超现实亮度对比度传递算法，该算法能够提取所拍摄场景的背景，并利用背景与可见光视频序列进行超现实融合，然后再使用基于提升小波的亮度对比度传递算法与红外视频进行二次融合。实验表明该算法具有良好的实时性，且在烟雾环境下工作能够获得很好的效果。     

基于GIS的地震科学数据共享平台的设计与实现

在研究地理信息系统( GIS)相关技术和空间数据库理论的基础上,应用GIS开发工具,实现了上海市地震科学数据共享平台的开发.利用开发工具所提供的一整套开发平台,确立平台的系统开发框架,且在实施过程中解决了空间数据交互式访问(用户创建搜索)等实际问题.针对如何应用GIS和数据库工具完成服务和数据库的配置进行了讨论,并提出了完善的解决方案.     

用户配电系统经济性活动未中断时电能质量经济性评估

根据GB 32880《电能质量经济性评估》相关指导和推荐型标准,通过对某企业用户的用电运行状态统计和分析,讨论了应用国家标准进行经济性分析的方法,并阐述了电能质量治理后可以达到的经济效果。