动态优先系统及其Petri网语义

优先关系是并发系统控制的重要手段。文中提出一种动态优先系统（∑,D）,其中∑是有界Petri网,D是描述变迁之间优先关系的动态结构。然后采用变换技术分别给出安全的和有界的动态优先系统的Petri网语义：通过引入广义补位置和优先变迁,并对非安全系统的某些变迁进行分解,根据（∑,D）构造相应的Petri网∑D。最后利用步序列证明了∑D在不破坏动态优先结构D的规格说明约束的前提下,尽可能地保持了∑的并发语义。     

基于虚拟蜜网的网络攻防实验平台的构建

针对传统被动防御式网络安全教学实验平台的缺点,研究虚拟机和蜜网关键技术,构建基于虚拟蜜网技术的网络安全教学实验平台,并给出平台核心功能实现过程。在实践中,运用平台模拟网络攻击行为和安全防御过程,结果证明该平台完全可以胜任网络安全攻防教学实验,同时可以兼顾网络管理操作实验任务,减少了对网络硬件设备的依赖,具有较强的可伸缩性和可扩充性。     

C++任意数据类型转换的一种实现

在使用C++语言开发软件系统的过程中,数据转换是经常遇到的问题,例如将多种数据类型的变量转换为字符串形式输出,虽然已经有大量的库函数可以处理类似的问题,但是面对用户自定义的类型或用户特定需求是却只能逐个编写对应的处理函数,主要探讨使用C++模板编程技术来解决数据转换的问题。     

矿山测量中投影面的选择

本文就矿山测量中如何选择适当的投影面,建立矿山适用的坐标系统,使测量成果既能满足矿山测量精度,又会在矿山测量实际生产中使用方便,而且使得测量成果一测多用,便于矿山建设的长期需要。     

IPv6下一代网络新协议

IP网络是指TCP/IP协议为基础通信协议的网络,著名的Intemet是IP网的一种,也是最具代表性的IP网络。 随着IP业务的迅速增长,IP网络上应用的不断增加,原有的IP网越来越力不从心。IP网络正在向下一代网络演进,其网络协议也应产生重大变化。目前使用的IP协议是IPv4(互联网协议第四版)。IPv4是70年代制定的协议,随着全球IP网络规模的不断扩大和用户数的迅速增长,IPv4协议已经不能适应发展的需要。早在90年代初,有关专家就预见到IP协议换代的必然性。IPv6是     

低压电力线通信信道噪声特性的测试与分析

低压电力线通信信道的噪声，不是通常信道中的加性高斯白噪声，作者在文中介绍了低压电力线通信信道噪声的测试方法和功率谱估计方法，讨论了噪声的分类、特点和产生原因，重点分析了不同时间、不同地点的噪声分布和特点，对噪声的时变性进行了较为详细的研究。     

8英寸新一代V400SU墨水膜iReader Smart Xs智能阅读本

近日,"掌阅iReader 2021新品发布会"一口气了推出4款新品:iReader Light2智能阅读本、历时三年研发的8英寸旗舰产品:iReader Smart Xs智能阅读本、iReader Smart Xs Pro超级智能本以及携带橡皮擦的第三代X-Pen电磁笔,这也是掌阅iReader发布数量最多、覆盖品类最全的一次发布会.     

提高转炉出钢碳含量的生产实践研究

转炉采用终点低拉碳法生产中高碳钢,钢水氧含量高,后续脱氧难度大、钢中夹杂物多。基于降低生产成本和提高钢水洁净度的双重目的,进行了提高中高碳钢出钢碳含量的可行性分析及生产实践。通过优化供氧枪位和改进加料方案,实现了吹炼前期高效脱磷、中后期强化脱磷并抑制脱碳,将转炉单渣操作的出钢碳含量由原来的平均0.06%提高到0.10%~0.20%范围内,钢水磷含量控制在0.016%以下。     

污水池环氧树脂玻璃钢防腐施工质量全过程控制

化工水处理工程中,钢筋混凝土(污)水池是必不可缺少的建(构)筑物,采用环氧树脂玻璃钢进行科学、有效的防腐,有利于保证和改善水池的抗渗能力,确保环境安全。本文结合工程实例,对(污)水池环氧树脂玻璃钢防腐工程施工质量控制要点进行了系统阐述。     

在用工业管道风险研判方法

借鉴国际管道技术委员会对输气管道提出的失效原因以及RBI思路，利用“专家打分法”对管道安装、维护、保养、检验等各个环节，量化发生事故的可能性和后果的严重程度，从而以半定量法确定在用工业管道风险值，进而进行风险预警，为压力管道使用单位、河北省质监局安全监察工作提出合理化建议。