不同钙硅比水化硅酸钙力学性能的分子动力学模拟

基于Pellenq等的建模思路,构造了不同钙硅比(C/S)的水化硅酸钙(C-S-H)原子模型,采用分子动力学方法模拟了C-S-H在轴向拉伸载荷作用下的力学性能。重点比较分析了不同钙硅比的C-S-H在无水及含水情况下的拉伸应力-应变曲线。模拟结果表明:(1)与钙硅比为1.0的情况相比,钙硅比大于1.0时C-S-H结构的抗拉强度显著下降;(2)钙硅比大于1.0时,钙氧间的相互作用在承受载荷方面起重要作用,有效弥补了结构中因SiO_2基团缺失引起的缺陷,使得C-S-H的强度下降程度趋缓;(3)当应变达到一定程度时,水分子能够切断钙氧间的相互作用,使得C-S-H结构的强度进一步降低甚至引起断裂失效。     

增材制造Ti-6Al-4V钛合金低周疲劳性能研究进展

金属增材制造技术可用于大型、复杂高性能钛合金结构件的制备,在航空航天等领域具有显著的优势和巨大的发展潜力。虽然增材制造Ti-6Al-4V合金构件的强度已经能够超过锻件,但它仍存在内部孔隙、熔合不良、粗大的柱状晶及残余拉应力等问题,使其在疲劳性能上与锻件具有一定的差距。本文在介绍直接能量沉积、选区激光熔化和电子束选区熔化3种代表性增材制造技术的原理及特点的基础上,简述了3种工艺制备Ti-6Al-4V合金构件的微观组织、静态力学性能及低周疲劳性能的研究进展,重点讨论了打印方向、缺陷、显微组织和表面处理对低周疲劳性能的影响。分析了增材制造Ti-6Al-4V合金构件低周疲劳性能、拉伸性能与微观组织之间的内在关系,并对提高构件低周疲劳性能的方法和推动其广泛应用的发展方向进行展望。     

基于文献阅读研讨的研究生专业课程教学评价方法

研究生文献阅读研讨课是上海大学研究生专业课程改革的一次有益尝试,该课程在教学内容和教学方式上与传统的教师主导型课堂教学模式有较大差异,文章在介绍研究生文献阅读研讨课教学特点的基础上,提出一种以文献阅读和研讨为主的研究生专业课程,通过分析近三年计算机学院的评估结果,提出改进措施。     

K-匿名隐私保护模型下的Top-k查询

数据查询问题是K-匿名隐私保护模型下数据可用性问题之一。提出一种K-匿名数据的空间数据组织方法及其索引方法;定义了两种新的查询UK-Rank和NT-Rank,UK-Rank主要应用于一些需要排序的查询,NT-Rank应用于点查询或者范围查询;采用了Monte-Carlo积分近似计算的抽样方法来提高查询效率。对提出的相关算法进行了实验,结果表明,将K-匿名数据组织成空间数据的方法是可行的,并且应用抽样方法后,查询效率大大提高。     

The next generation models for crops and agro-ecosystems

Growth in population, decrease in arable land area, and change in climate are endangering our food security. Precision agriculture has the potential to increase crop productivity thorough tailored agricultural practices for different growing areas. Many models of crops and agro-ecosystems capable of predicting interaction between plants and environments have been developed for precision agriculture. Currently, there are several representative categories of crop and agro-ecosystem models, including the de Wi...     

基于关键谓词的程序错误定位方法

将程序切片技术应用于程序错误定位可以大量减少需要测试的语句数。提出一种基于关键谓词的程序错误定位方法,从程序中找出能影响输出结果的关键谓词,对该谓词和错误输出语句进行数据切片,并引入代码优先技术。该方法考虑了数据依赖和控制依赖,能实现准确快速的错误定位。     

基于上下文的普适计算角色访问控制模型

针对普适计算访问控制上下文感知的特点,分析了现有扩展RBAC模型的不足,提出了基于上下文的角色访问控制模型(CRBAC).模型定义了可执行角色集,引入由时间状态,位置信息、用户信任值组成的上下文信息,由上下文信息激活可执行角色集,并以此代表用户最终获得的权限,这样用户就只能在一定的上下文中才可以执行某个角色的某个权限,实现了细粒度的动态授权.然后分别对此模型下单用户和多用户的访问控制过程进行了描述,最后利用有限状态机验证了模型的安全性.     

基于UEFI的嵌入式驱动程序的开发研究

为了解决传统基本输入输出系统(basic input output system,BIOS)的种种弊端,提出了统一的可扩展固件接口(unified extensible firmware interface,UEFI)标准,UEFI广泛应用在BIOS和嵌入设备等装置中.基于UEFI 2.3的规范说明文档,分析了UEFI驱动程序构成,重点介绍了驱动程序模型,并给出EFI开发工具包(E-FI development kit,EDK)下开发简单的驱动程序基本组成,从而归纳出在UEFI下开发驱动程序的通用方法.     

含有不灵敏区非线性系统的增益调度自适应变结构控制

针对具有控制输入不灵敏区及有界不确定性的非线性系统,采用增益调度变结构控制策略,研究其镇定问题.利用增益调度策略和自适应参数估计方法,在同时存在参数、结构及干扰的不确定性和未知控制输入不灵敏区的情形下,提出了新的增益调度自适应变结构镇定控制律设计方法,既节省了控制能量,又消除了控制信号的颤振.所提出的控制律可以保证闭环输出为一致终结有界,并且算法比较简单,便于实现.用数字仿真方法验证了所得控制律设计方法的有效性.     

便携式微弱磁场传感器的研究

基于单片机研制了用于实验教学的便携式低成本微弱磁场传感器,系统地介绍了传感器的硬件结构、软件实现方法,利用地磁场对测磁传感器进行了标样标定,并测量了铁球周围的地磁场分布,测量结果与理论计算进行了比较,数据表明:该测磁传感器具有高的准确度,运行可靠.