一类变指数退化抛物方程的解

考虑如下的变指数退化抛物方程解的适定性问题。利用抛物正则化方法证明了解的存在性。对检验函数适当选取，证明了解的唯一性。在边界上，扩散系数b(x,t)=0，解的唯一性可以不依赖于边界条件。     

共享自动驾驶汽车使用意愿模型及其影响因素

为了构建共享自动驾驶汽车(shared autonomous vehicles，SAV) 的使用意愿模型并分析其影响因素，通过使用时机和使用频率来体现公众对SAV的使用意愿；采用验证性因子分析将态度潜变量转化为潜变量得分，以此将态度潜变量引入传统的有序Logit模型；提出SAV使用意愿的有序Logit模型构建方法，并建立基于个人属性、通勤特征、态度潜变量的SAV使用意愿模型.研究发现:是否使用过滴滴拼车、工作单位停车费、自动驾驶态度对使用时机和3种价格(1，2，3元/km) 下的使用频率有显著影响；使用过滴滴拼车、工作单位收取停车费、支持自动驾驶的群体倾向于频繁地、更早地使用SAV出行；公众期望以1元/km或 2元/km即不超过目前滴滴拼车的价格使用SAV.     

带变量核的分数次积分交换子在变指数Herz-Morrey空间上的有界性

证明了带变量核的分数次积分算子T_(Ω,μ)与Lipschitz函数b生成的高阶交换子[b~m,T_(Ω,μ)]在变指数Herz-Morrey空间MK_(q,p)~(α,λ)(·)(R~n)上的有界性.     

实时系统开发与PEARL语言

本文讨论了实时系统的特征、开发方法、设计工具、实现手段工具等开发过程中的主要问题,论述了实时系统开发语言PEARL及该语言的对实时系统的主要支持.     

科学创新思维中实在和虚拟范畴的流动和转化

实在思维是指科学认识活动中保持真实性的思维活动;虚拟思维是指在思维过程中的一种设想或虚构活动.它们共同构成了科学创新思维的两极.在它们之间的流动和转化中,科学创新得以实现.     

SW规约下的一些性质

本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.     

预测我国钢铁工业发展趋势的递归模型

本文根据我国钢铁工业生产特点,建立了60多个变量、28个方程的递归模型,描述了钢铁工业生产的结构形式,确定了主要生产环节的生产函数,给出了各种经济变量间的相互关系,预测了我国矿、铁、钢、钢材、产值等28个主要的内生变量的未来值,分析了“七五”、“八五”、“九五”三个五年计划可达指标、发展速度及保证条件。经过1984年的实际检验,证明模型的预测效果良好。     

Sasakian空间形式中具有平行平均曲率向量的C-全实子流形的刚性定理

讨论了Sasakian空间形式中具有平行平均曲率向量的C-全实子流形,得到了紧致的C-全实子流形的一个刚性结果.     

变频调速在连铸改造中的应用

针对连铸生产中存在的问题,设计用变频调速系统取代直流调速系统.阐述了系统的构成和工作过程,实现PC对变频器的控制和两台变频器间的连锁控制,并给出了PC控制程序框图.实际运行结果表明:本系统安全可靠、故障率低、性能优于原直流系统.     

校园网终端网络节点自治性的探讨

讨论了校园网终端网络节点自治性的建设，给出了开通另一通信出口，电子邮局及实时在线通信等问题的设计与实现的方法，并指出终端网络节点信息化建设的优劣决定校园网的网络性能。