一类分数阶偏微分方程的柯西问题

主要运用傅里叶变换、贝塞尔函数的基本性质、拉普拉斯变换研究一类分数阶偏微分方程的柯西问题.     

切削过程中剪切区微观组织演化的预测模型

金属切削过程中强烈的热力载荷会引起切屑内微观组织的变化.为了反映材料微观组织对剪切区力学行为的影响,提出了一种基于位错密度的剪切区微观组织演化解析模型,对切屑形成过程中塑性变形引起的微观组织演化过程进行了建模.首先,使用非等距剪切区解析模型计算出剪切区应变和应变率的分布;然后,用基于位错密度的材料模型替换Johnson...     

一种感知情景的存取控制策略的规范和分析方法

对RBAC的角色激活过程增加情景约束,建立了感知情景的存取控制策略;利用D ata-log逻辑语言来建立感知情景存取控制策略模型的形式化规范;使用一阶逻辑语言描述策略的一致性、完整性等性质,借助D atalog实现了一个控制策略自动决策原型系统。     

大气硝酸盐中氧同位素异常研究进展

硝酸盐是大气中的主要污染物,其前体物NO_x(NO+NO_2)参与大气中多种光化学反应,可以改变大气氧化特性,有利于细颗粒物的形成,影响气候系统与人类健康.硝酸盐氧同位素异常(Δ~(17)NO_3~-)是解析大气硝酸盐生成途径的有力手段.本文对大气硝酸盐氧同位素异常的研究进展进行了综述.首先列举了测试大气硝酸盐三氧同位素(~(16)O, ~(17)O和~(18)O)的前处理方法(热解法、细菌法和化学法),并对比了全球范围内大气硝酸盐氧同位素异常的时空分布特征.其次总结了大气中硝酸盐生成的主要途径及其氧同位素质量守恒,讨论了大气硝酸盐中氧原子的可能来源及其氧同位素异常值,评估了全球及典型区域尺度上氧同位素异常的模型.最后对大气硝酸盐氧同位素异常的未来研究方向进行了展望.     

科学建模的两种观点

关于科学建模有两种典型的观点,一是"系统派生观",二是"零碎借贷观"。前者认为,科学表征模型可以在原理模型(即科学原理)的基础上系统派生出来;后者强调科学家的科学建模活动实际上是从各种理论中选取所需要的部分进行创造性构造的过程。从以往的争论来看,这两种观点似乎各有侧重,不分胜负。但本文试图结合科学建模的案例论证,后者完全可以替代前者,不仅因为它比前者更符合科学家实际的建模活动,解释前者无法解释的现象,而且可以容纳理论派生模型的案例。     

基于云模型对河南省水资源用水量的分析

水资源发展是经济社会可持续发展的基础保障.随着水资源的减少,社会经济的快速发展与水资源发展的矛盾日益突显,水资源的发展研究也变得十分重要.本文研究河南省水资源的发展状况,对河南省各指标水资源用水量进行分析.首先考虑到水资源用水量的不确定性,在规避传统方法缺陷的基础下运用逆向高斯云算法,通过对相似度的构造,求出各指标之间...     

基于三维点云数据的集料颗粒棱角性量化评价

集料颗粒的棱角性是决定沥青混合料路用性能的重要因素.文中首先搭建了基于Gocator 3 D智能传感器的集料三维图像采集系统,获取粒径为9.5、13.2和16.0 mm的玄武岩、花岗岩和石灰岩3种集料样本的三维点云数据;然后采用基于Sobel-Feldman卷积和基于集料表面法线的集料颗粒表面棱角性量化方法进行评价,并...     

构件对软件构架可靠性作用的分析

通过使用基于构架的软件可靠性模型对软件构架的可靠性进行了估算和分析,探讨了在软件构架中如何快速判断哪个构件对整个软件构架的可靠性影响较大或较小.同时,给出了判断的一般思路,并提出了如何进一步提高判断准确度的若干可行方案.