Petri网的活跃性和非死锁性的判定算法及证明

用Petri网分析系统的逻辑特性时很重要的是分析它的活跃性、非死锁性及安全性。在此提出两个算法—Petri网深度优先算法和活跃性判定算法,并加以证明。     

个人防护器材效应的评价实践

近lO年来,围绕“八五”和“九五”新型个人防护器材的研制等装备科研工作的需要,对相关个人防护器材的生理舒适性等效应进行了详细、多层面的试验研究．将简要回顾和总结有关研究结果及进展．     

未来战场上的“软杀手”——漫谈计算机病毒武器

1990年,海湾战争爆发前不久,美国获悉一个重要情报：伊拉克将从法国购买一种用于防空系统的新型电脑打印机,准备通过约旦首都安曼偷运到巴格达。于是,美国特工人员买通了安曼机场的守卫人员,当从法国飞来的飞机降落到安曼机场后,一名特工人员偷偷溜进机舱,用一套带有计算机病毒的同类芯片换下了伊拉克购买的电脑打印机中的芯片。     

照门座金属粉末注射成形数值模拟及试验研究

针对照门座零件进行注射成形数值模拟研究并验证模拟结果和进行实际生产,得到了符合产品质量要求的零件。照门座零件的数值模拟过程包括产品网格划分、确定浇口位置、设计冷却水路等。喂料注射过程模拟研究涉及流动波前、翘曲变形。当注射温度为190℃,注射压力为28 MPa,浇口流率为20 cc/s时,数值模拟结果最佳。根据模拟结果进行模具设计与制造,得到烧结后的零件硬度达到21～23HRC,产品的尺寸偏差在公差范围(±0.06%)之内,且零件的相对密度为96.9%。     

高层建设深基开挖性状的数值分析方法研究

针对高层建筑深基坑围护工程施工的特点,提出了一种改进的基坑开挖性状有限元分析其特点是能够自动选用模拟各支性能的土体本构关系,并用反分析法确定基参数,场地被始应力场,开挖荷以及土－支结构的相互作用效应等均采用了新的更为合理的计算,模拟方法。     

探究性教学与学生创新能力的培养

倡导探究性教学,培养学生的创新能力,已成为教育工作者的共识和努力实践的目标,是当前落实课程标准和推进素质教育的重点。探究性教学就是在教学中创设一种类似于科学研究的情景,教师应从学生实际出发,精心设计问题情景,不断提出带有启发性和挑战性的新问题,引导和鼓励学生开展     

拖缆系统回转运动仿真计算

用三因次拖缆系统动力平衡运动方程式 ,在时间和空间上作中心差分数值离散平衡方程式 ,编制了拖缆回转运动计算程序 .在拖缆尾端自由边界条件中 ,将尾绳阻力作为自由尾端点的张力 ,改善了因自由尾端张力为零引起的差分方程奇异性 ,使仿真计算更加稳定 .将阵形坐标值转换到拖点运动坐标系中 ,便于拖船观察回转机动中阵形的变化 .仿真计算了两个拖曳阵试验模型 ,仿真结果与试验比较吻合较好 .对实尺寸拖曳线列阵进行了仿真计算 ,讨论了拖点速度和回转半径对阵形影响     

一号文件“对症下药”破解三农困局

2月1日发布的中央一号文件给广袤田野和广大农民送来了春的信息。请看本刊根据《人民日报》、《新华每日电讯》汇集的这篇——中央一号文件聚焦的主题往往是国家当前需要重点关注和亟须解决的问题。连续12年,中央一号文件再次锁定"三农"。2月1日,《关于加大改革创新力度加快农业现代化建设的若干意见》(以下简称《意见》)如约而至,为新常态下"三     

再论边防查控行为的可诉性——兼与《边防查控行为可诉性再研究》一文商榷

边防查控行为是否可诉的争议焦点,主要集中在边检机关是否享有查控权。查控行为是独立行为还是从属行为．查控行为是否包含国家行为和刑事侦查行为。查控行为具有可诉性;与《边防查控行为可诉性再研究》一文有不同观点;阐述查控行为可诉的法律根据和理论根据。