新扩展强化非对称选择网的有界性与单调性

根据Petri网结构理论，讨论非对称选择网(AC)的一个子类：新扩展强化非对称选择网(NESAC)的有界性与活性单调性，判定NESAC网N结构有界的充分必要条件是，N被极小死锁簇覆盖，每个非空极小死锁H一定是个陷阱且满足|t^*∩|=|t^*∩H|=1，NESAC网仍然具有ESAC活性单调性的特征。     

����ɫPetri����������ͨ�ŵ� �г� ����ϵͳ�IJ��ģ��

基于通信的列车控制系统是我国铁路信号技术发展的一个重要方向，本文在分析了基于通信的列车控制系统结构的基础上，采用有色Petri网方法对该系统进行建模仿真研究.有色Petri网是一种以图形形式描述系统结构、功能的建模分析方法，特别适合大型异步并发系统的建模与仿真.为了使模型简洁清楚，提出了分整体层、处理层和功能层三部分建立相应的系统有色Petri网图的分析方法，并用CPN /Tools工具软件来实现.通过建立一个墓于通信的列车控制系统的有色Petri网模型，为最终开发出该系统的软件仿真平台莫定了良好的基拙.     

统计能量法及其在提速客车噪声预测中的应用

为了预测提速客车内部噪声能量分布及噪声传递路径，用统计能量法对其进行了分析，讨论了统计能量法分析复杂振声系统的基本原理及稳态振声系统统计能量分析的基本方程．以唐山车辆厂提速客车为应用实例，获得了车内总的声功率在车底架、窗玻璃等主要传递路径上的能量分布，并给出了车窗双层玻璃不同厚度的高频响应以及车底架地板涂抹阻尼材料吸收低频声能的机理的治理措施。     

Democratic group signatures with threshold traceability

This paper presents a concrete democratic group signature scheme which holds (t, n)-threshold trace-ability. In the scheme, the capability of tracing the actual signer is distributed among n group members. It gives a valid democratic group signature such that any subset with more than t members can jointly reconstruct a secret and reveal the identity of the signer. Any active adversary cannot do this even if he can corrupt up to t - 1 group members.     

mTOR/P70S6K信号通路在宫颈癌组织中的表达及其临床意义

目的 研究mTOR/P70S6K信号通路中哺乳动物雷帕霉素靶蛋白(mTOR)及其底物激酶(P70S6K)在宫颈癌中的表达及其在宫颈癌发生发展中的作用.方法 用RT-PCR和免疫组织化学法检测正常宫颈、宫颈癌中mTOR和P70S6K激酶的表达.结果 与正常组织相比,宫颈癌中的mTOR和P70S6K激酶在mRNA及蛋白水平表达均显著增加(P<0.05),且两者的表达具有显著的正相关性(r=0.746,P<0.001).结论 mTOR/P70S6K信号转导通路在介导宫颈癌的发生、发展的过程中起到重要作用.     

软土地层地铁隧道施工对地下管线的影响

为减小软土地层地铁隧道施工引起的地表沉降对地下管线的影响,考虑流固耦合效应和施工效应的综合作用,根据管线允许的安全控制标准,采用FLAC3D建立的数值模型,对降水、动态降水和非降水3种施工方法进行了对比研究.结果表明,非降水施工法是控制地层固结沉降最有效的施工方法.深圳地铁1号线采用该施工方法,保证了煤气管线在施工期间安全使用.     

海洋平台KK型管节点的疲劳性能试验研究

以某自升式海洋平台为研究对象,进行了空间KK型管节点在轴力作用下的疲劳性能的试验研究.通过对管节点模型的试验测试,得到了KK节点在轴力作用下沿着焊缝周围的热应力区内的热点应力分布及节点的应力集中系数,并采用S-N曲线法对KK型管节点的疲劳寿命进行估算.通过对比分析,指出了试验方法与规范计算方法在管节点疲劳性能分析上的差异性.     

一种结合2DLPP与2DPCA的人脸识别方法

为解决二维局部保持投影(2DLPP)需要较多数据表示人脸特征的缺陷,提出了一种新的二维局部保持投影主成分分析方法(2DLPP-PCA).通过对人脸图像在行、列方向同时进行2DLPP和2DPCA投影,2DLPP-PCA 不仅能减少保存人脸特征所需要的数据量,而且能有效地提取人脸的局部特征和全局特征.在ORL、Yale和CAS-PEAL-R1人脸数据库上的实验结果表明,2DLPP-PCA是一种高性能的特征提取方法,当训练样本数为6时,2DLPP-PCA在ORL数据库上的最佳平均识别率达到99％以上.     

内皮素-1诱导大鼠血管平滑肌细胞产生C-反应蛋白的作用

目的观察内皮素-1(ET-1)诱导血管平滑肌细胞(VSMCs)产生C-反应蛋白(CRP)的作用及其机制。方法培养大鼠VSMCs,以不同浓度ET-1刺激VSMCs,并用ETA拮抗剂BQ123、抗氧化剂PDTC、p38MAPK抑制剂SB203580及ETB阻断剂BQ788进行干预,免疫细胞化学法及半定量逆转录聚合酶链反应(RT-PCR)法分别测定不同浓度及不同干预因素下VSMCs中CRP蛋白及mRNA的表达。结果 ET-1能刺激VSMCs CRP蛋白及mRNA的表达增强,其效应呈浓度依赖性;BQ123、PDTC及SB203580能明显减少ET-1诱导的大鼠VSMCs CRP蛋白及mRNA的表达,而BQ788对此作用无明显影响。结论 ET-1通过ETA、活性氧(ROS)、p38MAPK诱导大鼠VSMCs产生CRP。     

ITS Ͷ����Ŀ�����з���Ч��Ͳ�ȷ���Է���

通过对ITS 投资项目的费用效益分析的系统研究，提出了建立ITS 投资项目费用效益分析的框架和技术流程的具体步骤，阐述了评价指标的计算方法、方案的可行性评价和方案选优等内容，研究了费用和效益的划分和估计方法. 另外，本文提出了不确定性分析的概念和方法，并对敏感性分析和概率分析进行了重点研究. 结合IDAS 软件，通过示例论述了上述方法的技术实现.