Method to compute the reachability set of S3PR

This paper proposes a novel approach to computing the reachability set by using place invariants and strict minimal siphons for S³PR with specific resource places. First, the set of invariant markings is enumerated. Then a necessary and sufficient condition is developed to decide whether a marking is spurious by analyzing the relationship between the number of tokens in the corresponding places of any strict minimal siphon and their bounds. In addition, the spurious markings are calculated. Finally, the reachability set of the net is generated by removing all the spurious markings from the set of invariant markings. Experimental results show the efficiency of the proposed method.     

地物物理量的度量模型及其应用

对地物物理量的度量是获得地物相关信息的重要手段,它是制作地图的依据和信息源泉。基于比较法的地物物理量的度量模型,由度量对象ai、度量基准i0、度量单位Bi和度量结果Qi构成。地物的某一物理性质i∈ai ,存在度量基准i0,i到i0的距离函数d（i,i0）包含度量单位Bi的数量即度量结果Qi。通过对测绘学中的直角坐标、高程、水深、地物的时间坐标（寿命）、质量、温度、卫星激光测距等方面的应用,阐释了地物物理量的度量模型的实用价值和科学解释功能。     

强度折减法在边坡稳定性分析中的应用

以一均质土坡为例,首先采用有限元整体强度折减法计算,在此基础上分别选取塑性剪切应变率大于2.0e-5和塑性区为局部强度折减法的折减范围,通过局部强度折减得到边坡滑裂带分布和稳定安全系数,分析不同折减范围下边坡稳定安全系数、特征点位移以及滑裂带的变化规律。比较天然状况和稳定渗流状态下局部强度折减和整体强度折减的计算结果。结果显示:两种方法得到的稳定安全系数基本一致,但折减范围的选择对计算结果影响很大,折减塑性剪切应变率大于2.0e-5的范围得到的稳定安全系数较小。     

氧化钛锡纳米复合材料的制备及其湿敏性能

以五水四氯化锡,钛酸四正丁酯为原料,采用水热法制备出二氧化锡和二氧化钛摩尔比分别为2∶1;6∶1;8∶1的氧化钛、氧化锡复合纳米粉,分别将这3种复合纳米粉体涂敷在平面叉指金电极表面制成湿度敏感元件.采用复阻抗法测试了各元件对湿度的湿敏性能;对元件的灵敏度,响应及恢复特性进行了研究;分析了氧化钛掺杂量、工作频率对湿敏元件湿敏性能的影响.结果表明复合材料的阻抗值随工作频率和相对湿度的减小而增大,在低湿、低频下薄膜的阻抗值达到最大;氧化钛的加入改善了二氧化锡基薄膜的湿敏性能;二氧化锡和二氧化钛摩尔比为6∶1的薄膜表现出最高的灵敏度,当相对湿度从11%变化为95%时,元件的灵敏度达到12 080,具有较短的响应时间和恢复时间.     

层间接触状态和横向力大小对车辙贡献率的影响

车辙贡献率是反映沥青路面各结构层车辙病害程度的一个主要参数,可用于指导沥青路面的设计和施工.利用三维有限元计算软件建立三维有限元模型用于理论分析,将有限元计算结果与理论解进行对比,验证了该三维有限元模型的可靠性.采用实测的轮胎接地压力,考虑不同层间接触状态和横向力大小,结合有限元计算的数据,分析了沥青路面结构层的车辙贡献率.结果表明:在层间完全连续状态下,横向力大小的选取不能简单地选取最大垂直轮胎接地压力的一定比例,而是要根据所研究的具体情况具体分析.在对沥青路面车辙贡献率的研究中,可以忽略层间接触状态,即假定层间完全连续.     

饱和粘土中球孔扩张问题弹塑性解析

为了研究静力触探试验及沉桩扩孔等工程问题,基于修正剑桥模型,推导了不排水条件下球孔扩张问题的半解析解。将扩张球孔周围土体分为临界状态区、塑性区以及弹性区三个区域。弹性区内,利用弹性理论得到应力和孔隙水压力的解答;临界状态区及塑性区内,利用相关联的流动法则、拉格朗日分析法建立了关于应力的一阶非线性常微分方程组,以弹塑性界面处的应力分量作为初值,求解微分方程组可得到应力和孔隙水压力的解答。研究结果表明：各向同性超固结比对扩孔压力、土体应力、超孔隙水压力以及塑性区范围均具有显著影响,且扩孔过程中土体剪切模量并非常量,其随扩孔半径、各向同性超固结比的变化而变化;同时通过与已有解答进行比较,对本文方法的可靠性进行了验证。     

基于威胁的信息系统安全技术选择策略研究

利用博弈论研究了基于信息系统安全威胁类型的安全技术选择与资源优化配置问题,同时考虑了具体威胁类型、信息系统安全技术特征、成本与组合效率等因素,指出了组织在信息系统安全管理时所选择的安全技术首先应当能够处理或弱化其所面临的大部分威胁,即以威胁为安全技术选择的基础,并且组织为了实现对有限资源的优化配置,应根据各种威胁导致的期望损失来确定相应的安全技术选择概率。模型将安全技术对不同威胁的检测率与误检率加以区分,较一种安全技术对所有威胁只有一个笼统的检测率和误检率更具实际意义。     

基于 Stateflow 的电动汽车再生制动控制策略

针对东风EJ02电动汽车进行了再生制动控制策略研究,通过对制动动力学与制动法规的研究,结合电池充电特性与电机输出特性,提出了在保证制动稳定性和电池安全性的前提下,最大限度回收制动能量的再生制动控制策略,并在ADVISOR仿真平台上结合Matlab Stateflow对该策略进行了建模与仿真分析,进行了3种工况的台架试验,得到不同工况的续驶里程。结果表明,该控制策略在保证电池安全性的前提下充分利用了电机的制动转矩,大幅提高了制动能量的回收,增加了电动汽车的续驶里程。     

基本地貌形态数学模型的改进

以邻域、边界等拓扑学概念为基础,引入环状邻域和分离型邻域等概念,根据任意点对地貌特征点的高差所满足的不同条件,分别推导了山、洼地、鞍部、盆地、高原、岛屿等基本地貌形态的数学模型.     

基于MPLS与BGP的VPN构建与应用研究

针对GRE、IPSEC构建的虚拟私有网络存在数据隔离、互访控制难于实现等问题。文章分析了产生这些问题的根源,提出采用MPLS和BGP技术构建虚拟私有网络的设计思想,并通过仿真平台加以验证。实践证明,采用这种方法在解决路由冲突、数据隔离、站点间访问控制等方面要优于传统的VPN技术。