基于概率断裂力学的管道疲劳寿命分析

采用奇异单元模拟裂纹尖端应力场的奇异性,计算裂纹尖端的应力强度因子和张开应力.以概率论为基础,结合确定性疲劳断裂力学估算方法,考虑参数的不确定性和随机性,应用蒙特卡洛模拟法分析管道的疲劳寿命.结果表明：通过J积分计算得到的裂纹尖端张开应力与计算得到的管道工作应力基本相等.采用蒙特卡洛模拟法进行的一定可靠度和置信度下的疲劳寿命预测能反映评定参数的不确定性,较传统的断裂力学计算结果更安全.     

基于B/S结构的考勤系统设计

在分析考勤系统需求的基础上,结合实际学生考勤信息录入与汇总的特点,设计了基于B/S结构的课堂考勤系统。应用该系统可方便地进行学生考勤信息的录入、修改与管理,并可进行考勤信息的自动汇总。系统依据权限实现了角色分类,可按角色登录及查询具体的考勤信息,并可进行学生考勤信息的汇总和导出,提高了工作效率。     

基于B/S结构的高职人才培养评价机制抽样系统设计与实现

完善高职人才培养评价机制是发展高职教育的有效手段,“点线面体”立体型高职人才培养评价机制是对高职人才培养模式的创新和探索。介绍了基于B/S结构的“点线面体”立体型高职人才培养评价机制抽样系统的设计与实现,阐述了随机选取学生进行考核的分层抽样功能模块,总结了系统的实际应用。     

基于事件逻辑的改进Needham-Schroeder协议安全性证明

安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。     

运用SPIN对开放授权协议OAuth 2.0的分析与验证

OAuth 2.0协议是一种开放授权协议,主要用于解决用户账号关联与资源共享问题。但是,其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑客攻击对象。提出采用http通道传输OAuth 2.0协议数据,基于Promale语言及Dolev-Yao攻击者模型对OAuth 2.0协议建模,运用SPIN进行模型检测。形式化分析结果表明,采用公钥加密体系对OAuth 2.0协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

基于相关系数的决策树优化算法

通过分析ID3算法的基本原理及其多值偏向问题,提出了一种基于相关系数的决策树优化算法。首先通过引进相关系数对ID3算法进行改进,从而克服其多值偏向问题,然后运用数学中泰勒公式和麦克劳林公式的性质,对信息增益公式进行近似简化。通过具体数据的实例验证,说明优化后的ID3算法能够解决多值偏向问题。标准数据集UCI上的实验结果表明,在构建决策树的过程中,既提高了平均分类准确率,又降低了构建决策树的复杂度,从而还缩短了决策树的生成时间,当数据集中的样本数较大时,优化后的ID3算法的效率得到了明显的提高。     

山西省近50年风速变化及突变特征分析

利用线性拟合、M-K方法对山西省22个气象观测站1960—2010年的逐日风速资料进行了倾向、突变、逐年代变化等特征分析。研究表明,近50年来山西省平均风速存在明显的下降趋势,平均风速由20世纪60年代的2.16 m/s下降到21世纪初的1.86 m/s;不同时间段呈现不同的变化特征,1979—1989年风速出现显著下降,年均递减率达到0.046 m/s,变率远超出其他时段;对近50年山西省平均风速进行M-K检验后发现,在1982年出现明显的突变点。山西省四季平均风速均呈下降趋势,四季风速下降速率最快的为春季,冬季次之,夏季风速下降速率最慢。同样,四季风速均发生突变,突变时间点分布在1980—1985年间。除8月外,山西省各个月份风速也呈下降趋势,且均出现突变现象。     

Output feedback control of discrete‐time systems with self‐triggered controllers

This paper is concerned with the self‐triggered output feedback control for discrete‐time systems, where an updating instants scheduler is implemented to determine when the controller is updated. For both the full‐order and reduced‐order observer cases, the updating instants are determined, respectively, where only the information of the estimated state at the current updating instant is required to obtain the next updating instant. It is shown that, with the proposed self‐triggered control schemes, not only the updating frequency is significantly reduced, but also the uniform ultimate boundedness of the closed‐loop system is guaranteed. Finally, a numerical example is used to verify the effectiveness and the merits of the proposed approaches. Copyright © 2014 John Wiley & Sons, Ltd.     

Aggregate‐induced emission in light‐emitting liquid crystal display technology

Nowadays, liquid crystal displays (LCDs) with light‐emission are considered as energy‐efficient devices and are promising alternatives to conventional LCDs. To realize such possibility, strong fluorescent materials with a dichroic properties are required. Aggregate‐induced emission (AIE) is an unusual photophysical phenomenon shown by some luminogenic materials that will be highly emissive in their aggregate state. In this work, we studied the AIE effect of a luminescent liquid crystalline molecule TPE‐PPE in our LC system as a luminophore dopant. The result showed the excellent AIE effect that higher concentration of luminogen in the nematic LC host induced stronger luminescent intensity. Through exposure of a photoisomeriable alignment material sulfonic‐dye‐1, the photopatterning of a light‐emitting LC device was achieved with the use of the TPE‐PPE/nematic LC mixture.     

Haptics-equiped interactive PCI simulation for patient-specific surgery training and rehearsing针对特定病人的可交互经皮冠状动脉介入手术模拟

Despite the long history of medical simulations, suffering from the patient-specific heterogeneous heart physiological structure and complex intravascular procedures, it is still challenging for patient-specific percutaneous coronary intervention (PCI) surgery simulation. In this paper, we advocate a haptics-equiped interactive prototype system towards PCI surgeons training and patient-specific surgery rehearsing, which can afford trainees the opportunity to approximately experience the entire PCI procedures and customized emergency cases that might occur in common clinical settings. The full simulation covers tissue deformation, catheter and wire simulation, X-ray simulation, haptic feedback, and 3D realistic rendering, which in all give rise to the integrated physical, visual, haptic, and procedural realism. Our system can accommodate various comprehensive operations involved in PCI-related procedures, including feeding wires, releasing stents, injecting contrast medium, simulating X-ray, bleeding, etc. Moreover, our system framework is fully built upon CUDA, and thus can achieve real-time performance even on a common desktop. The high-fidelity, real-time efficiency and stableness of our system show great potentials for its practical applications in clinical training fields.