课外科技活动与大学生创新能力的培养

高等学校是培养创新人才的基地和摇篮,肩负着重要的历史使命。必须全方位更新观念,把培养大学生的创新能力作为教育改革的核心。而开展大学生课外科技活动,是激发学生创新意识、提高学生综合素质的重要手段,有利于营造浓厚的科技氛围,促使学生理论联系实际,培养实践能力,激发创新能力。     

Zonal disintegration phenomenon in enclosing rock mass surrounding deep tunnels -- Elasto-plastic analysis of stress field of enclosing rock mass

The zonal disintegration phenomenon (ZDP) is a typical phenomenon in deep block rock masses. In order to investigate the mechanism of ZDP, an improved non-linear Hock-Brown strength criterion and a bi-linear constitutive model of rock mass were used to analyze the elasto-plastic stress field of the enclosing rock mass around a deep round tunnel. The radius of the plastic region and stress of the enclosing rock mass were obtained by introducing dimensionless parameters of radial distance. The results show that tunneling in deep rock mass causes a maximum stress zone to appear in the vicinity of the boundary of the elastic and the plas-tic zone in the surrounding rock mass. Under the compression of a large tangential force and a small radial force, the rock mass in the maximum stress zone was in an approximate uniaxial loading state, which could lead to a split failure in the rock mass.     

基于社会和文化可持续性的城市设计价值观重塑

可持续发展是环境、社会、经济和文化可持续性四个支柱之间的平衡发展.其中,无论是理论研究还是政策分析,社会可持续性和文化可持续性作为可持续发展的重要支柱一直受到忽视,城市设计领域也不例外.我们从社会可持续性和文化可持续性两个维度探讨了城市设计价值观的重塑问题.从社会可持续性视角看,城市设计需要建构以公平的空间资源分配为核心的价值观,具体表现在两个方面,即和谐宜居观与环境正义观.基于文化可持续性的城市设计价值观,核心是尊重城市文化多样性,它是城市保持活力的命脉以及城市可持续发展的源泉.     

Optimization of uncertain acoustic metamaterial with Helmholtz resonators based on interval model

Uncertainties existing in the acoustic metamaterial may strongly affect its unusual properties. Aiming at this actuality, the interval model is introduced to treat with uncertainties existing in the acoustic metamaterial with Helmholtz resonators. Frequency intervals in which the sound intensity transmission coefficients are certainly less than the required value and the effective bulk moduli are certainly negative are defined as conservative approximations. Frequency intervals in which the sound intensity transmission coefficients may be less than the required value and the effective bulk moduli may be negative are defined as unsafe approximations. The proportion of the conservative approximation and the unsafe approximation is defined as an approximate precision. Based on the quantification of uncertainties of the sound intensity transmission coefficients and the negative effective bulk moduli, an optimization model for the interval acoustic metamaterial with Helmholtz resonators is constructed. Numerical results showed that even suffering from effects of interval parameters, unusual properties of the optimized acoustic metamaterial (such as the bandgap of the sound transmission and the negative effective bulk modulus) could be improved.     

频率响应法研究噻吩在CeY分子筛上的吸附行为

以NaY、液相Ce离子交换改性的Y型分子筛(L-CeY)为研究对象,运用N2吸附、XRD、NH3-TPD和Py-FTIR等实验方法表征两种Y型分子筛的物化性能。采用频率响应技术(FR)和智能重量分析仪(IGA)研究噻吩在两种分子筛上的吸附行为,并考察噻吩在稀土离子改性Y型分子筛上的不同吸附作用模式。结果表明,频率响应技术能够有效识别分子筛孔道内发生的不同传质过程。噻吩在NaY分子筛上的吸附行为较为简单,存在孔道吸附和π电子相互作用两种吸附过程;而在L-CeY分子筛上吸附行为较为复杂,同时存在孔道吸附和"S-M"吸附等多种吸附过程,另外,在高温条件下,还存在复杂的催化反应过程。     

南通高职院校学生创业状况研究

探讨了当前普及的大学生创业教育的成功与不足之处.采取发放问卷、走访创业机构和校园随访等方式综合获得南通地区高职生创业状况的调研结果,根据结果提出了相应对策,以期真正提升高职学生创业素养,提高他们的创业成功率.     

多媒体网络技术环境下大学英语教学模式的思考

随着多媒体网络技术引入大学英语教学 ,传统的教学模式面临极大的冲击。本文在学生中心论和建构主义学习理论的基础上 ,总结了基于多媒体网络的人机结合的教学模式。通过对比分析传统教学与多媒体网络教学班级学生的学期能力综合测试成绩 ,阐述了实施这种教学模式的制约因素和对策     

可组合的描述符泄露类型检查

应用程序通过操作系统的系统调用对文件描述符进行操作并管理文件资源。如果应用程序对资源描述符的管理出现错误并发生描述符泄漏,会严重影响系统的可用性。据此,提出了一种检查程序是否会导致描述符泄漏的类型系统,给出了描述符操作方法的语义和类型约束,证明了类型系统的可靠性定理。此外,还初步讨论了该类型系统在并发程序下的扩展。     

Practical chosen-ciphertext secure Hierarchical Identity-Based Broadcast Encryption

We focus on practical Hierarchical Identity-Based Broadcast Encryption (HIBBE) with semantic security against adaptively chosen-ciphertext attacks (CCA2) in the standard model. We achieve this goal in two steps. First, we propose a new HIBBE scheme that is secure against chosen-plaintext attacks (CPA). Compared with the existing HIBBE scheme that is built from composite-order bilinear groups, our construction is based on prime-order bilinear groups. The much better efficiency of group operations in prime-order bilinear groups makes our proposed HIBBE scheme more practical. Then, we convert it into a CCA2-secure scheme at the cost of a one-time signature. Instead of extending one user hierarchy in the Canetti–Halevi–Katz approach from CPA-secure (\(l+1\))-Hierarchical Identity-Based Encryption [(\(l+1\))-HIBE] to CCA2-secure \(l\)-HIBE, our construction merely adds one on-the-fly dummy user in the basic scheme. We formally prove the security of these two schemes in the standard model. Comprehensive theoretical analyses and experimental results demonstrate that the proposed HIBBE schemes achieve desirable performance.