命题逻辑中推理理论的数字形式

本文对简单合取式的主析取范式及简单析取式的主合取范式作了数字形式上的表示,在一定程度上简化了自然推理系统P.     

信息安全技术讲座第4讲 入侵检测系统的技术与应用

随着计算机网络技术的发展，网络安全也变得越来越重要。入侵检测技术是实现网络安全的一个重要的手段、也是目前的一个研究热点。本文对入侵检测系统的发展历史和入侵检测技术做了一个简要的介绍。     

薄板焊接变形感应热矫正线圈方案选择

针对船舶中薄钢板热矫正效率低下而难以实现自动化的问题,提出了一种薄板焊接变形感应热矫正线圈方案.采用COMSOL Multiphysics仿真软件对尺寸参数为1000 mm×600 mm×6 mm的薄钢板进行电磁-应力耦合分析,探究了不同线圈形式对温度场以及矫正效果的影响.结果表明:采用环绕工件的纵向磁通矩形线圈对工件...     

汽车灯具模具装饰条纹的加工及改进

通过对灯具产品装饰条纹的分类叙述,区分其在灯具模具装饰条纹加工中需要注意的特性,从而制定不同的加工工艺及刀具变化点方案,使灯具模具装饰条纹加工的效率及品质得到保证。     

长沟峪煤矿不稳定煤层机械化开采技术探讨

针对长沟峪煤矿安子区特有复杂煤层地质条件情况,选取有代表性的-140 m水平北一~北三3#煤层作为试验采区,分析研究其适宜的采煤方法及工艺;根据工艺要求合理布置采区巷道并进行配套设备选型;提出了机采工艺适应不稳定工作面的控制技术措施;分析了采取机械化开采工艺后的技术、经济效益。     

信息安全技术讲座 第4讲 入侵检测系统的技术与应用

随着计算机网络技术的发展,网络安全也变得越来越重要。入侵检测技术是实现网络安全的一个重要的手段,也是目前的一个研究热点。本文对入侵检测系统的发展历史和入侵检测技术做了一个简要的介绍。     

转基因抗病玉米饲喂Wistar大鼠食用安全性评价

目的:利用不同剂量的转几丁质酶和β-1,3葡聚糖酶基因的转基因抗病玉米粉饲喂Wistar大鼠28d,之后继续用相同剂量未转基因的对照玉米饲喂1w。检测实验期和恢复期Wistar大鼠食用转基因玉米的食用安全性。方法:将Wistar大鼠按体重随机分为1个对照组和饲喂转基因玉米低、中、高剂量组等4个组,每组雌雄各半,经口28d摄入转基因玉米。饲喂期间对大鼠的一般生活状况、体重增长进行观察;大鼠饲喂期和停止饲喂后1w,统计其食物利用率;连续喂饲4w末和停止喂养后1w,对大鼠血清生化学指标进行检查,同时进行解剖学检查。结果:大鼠饲喂转基因玉米后,与对照组比较,一般生活状况无明显差异,无任何中毒症状出现,全部动物健康存活;与对照组同期同性别的大鼠相比,体重增长未见统计学差异(P>0.05);大鼠喂饲4w末和停止喂饲后1w食物利用率未见统计学差异(P>0.05);饲喂转基因玉米期间,大鼠血清谷草转氨酶(AST)/谷丙转氨酶(ALT)、总蛋白(TP)、白蛋白(ALB)、尿素氮(BUN)、天冬氨酸氨基转移酶(AST)等指标与同期对照组比较未见显著差异(P>0.05);大体解剖肉眼观察,各脏器颜色形态未见异常,脏器系数未见异常。结论:实验周期内转几丁质酶和β-1,3葡聚糖酶的转基因抗病玉米对Wistar大鼠生长发育无明显不良影响,转几丁质酶和β-1,3葡聚糖酶的转基因抗病玉米及其亲本玉米对大鼠具有同等的食用安全性。     

地理信息系统应用研究

研究管道工程中运用地理信息系统的必要性,以及地理信息系统在油气管道工程中的应用类型及软件模型,通过建立数据库、图形库以及相应的软件模块对这些信息进行科学管理、静态查询和动态分析,在此基础上构建了有利于决策分析的信息系统.