公理集合论中的ZFC系统是不协调的

本文用模型论方法证明：集合论公理系统ZFC是不协调的．     

试论城市建设中“民众诉求”推动的土地征收改革模式——浙江省温州市土地征收改革的实践启示

当前,＂强制征地拆迁＂已成为社会公众指责城市建设的一种＂诟病＂,探索和谐化的土地征收模式,亟待研究。作为城市建设的典型,温州创造了＂民众诉求＂推动式的土地征收改革模式。它以＂民众诉求推动＂与＂政府回应改革＂为架构,具有民主性、回应性、责任性特征。温州＂民众诉求＂推动式的土地征收改革模式,有效地回应了征地群众的＂民生诉求＂,通过＂三分三改＂给予农民＂携土地资源用益物权＂入城的市民身份,并创造农民可以＂自由择业＂的＂宜农则农、宜商则商、宜工则工＂的经济环境,使得失地群众生活＂有依靠＂、工作＂有奔头＂,从而有利于化解城市建设社会风险,实现城市经济可持续发展。     

基于C/S模式的定位监护系统的设计与实现

本系统是基于Android和百度地图Android API采用C/S模式设计的款手机定位监控系统。系统运行成本低、效率高,主要用于监护老人、儿童等弱势群体出行,解决儿童的社会问题,具有广阔的应用前景和良好的社会意义。     

具阶段结构的食饵-捕食者扩散模型的稳定性

讨论了一类捕食者种群具有阶段结构的食饵-捕食者扩散模型,运用线性化方法和Lyapunov函数法讨论了该反应扩散模型非负平衡点的局部渐近稳定性和全局渐近稳定性.     

一类具有比例依赖型捕食者-食饵扩散模型的定性分析

应用线性化方法、上下解方法和迭代方法证明了具有比例依赖型的捕食者-食饵扩散模型正平衡点的全局渐近稳定性.     

术语的认知整合

在术语的知识导向型研究中,学者围绕不同专业领域的术语知识表征先后推出系列概念模型。然而,此类研究并未明确兼顾术语的已有定义和实际使用语境,也未充分探索概念框架以外与术语相关的认知结构与建构。新近提出的认知整合模型是对这两点不足的尝试补充,在框架语义学与认知语言学基础上,改良了事件域认知模型,引入了概念隐喻、概念转喻、概念整合认知机制,兼顾术语的已有专业释义和实际使用语境进行研究。将其应用于探析中国绿茶定名,结果表明该模型能有效充实术语的知识表征与建构,有助于术语的理解与使用。     

基于差分隐私保护的社交网络发布图生成模型

社交网络在帮助人们建立社会性网络应用服务的同时,收集了大量的用户资料和敏感数据,通过分析这些数据可能泄露潜在的隐私信息.目前差分隐私保护模型对隐私泄露风险给出了严谨、定量化的表示和证明,极大地保证了数据的可用性.设计了一个满足差分隐私保护的社交网络发布图生成模型,首先通过图模型表示社交网络结构,并将原图按照节点特征分类为多个子图;然后利用四叉树方法对子图的密集区域进行划分,在树的叶子节点添加满足差分隐私保护的噪声;通过子图重构的方式,生成待发布图.最后,利用度分布、最短路径、聚类系数等统计分析方法,实验验证了该模型的可行性和有用性.     

基于时空相似模型的蓝牙室内定位RSSI指纹插值方法

随着蓝牙无线通信技术迅速发展,蓝牙技术结合位置指纹定位算法来进行室内定位,具有方便快捷、低成本等优势。然而,构建一个细粒度的指纹库需要耗费大量的人力和时间。为减少离线阶段的工作量,提出了一个时空相似性模型,并定义了4个度量指标(空间距离,信号相似度,相似性可能性,RSSI向量距离),利用时空相关性来对未采样点进行插值。在部署有蓝牙室内定位系统的环境中获取数据,将该方法与四种常用的插值方法(线性插值、立方插值、最近邻插值和压缩感知)进行对比。实验结果表明,基于时空相似模型的插值精度,在采样率为60%时比其他四种插值方法提高了7.64%。     

基于发动机平均值模型的进气歧管模型仿真精度分析研究

精确计量汽油机进气系统的空气流动状态是实现空燃比精准控制的前提。在利用发动机平均值模型建模时,会根据实际需要将进气系统简化为绝热模型或是传热模型。结合这一情况,对进气歧管绝热和传热进行了相应的模型分析。具体分析了汽油机在利用平均值模型进行建模时,进气系统是否需要考虑热量交换。利用MATLAB/Simulink软件建立发动机进气系统模型。经过分析得出:当发动机平均值模型用在稳态工况时,可以将模型简化为绝热情况。当发动机平均值模型用在瞬态工况时,以采用进气歧管换热模型为宜。     

垫层料冻融变形特性的缩尺效应试验

垫层料冻融变形过大会影响寒区面板坝正常运行,有必要对垫层料冻胀融沉特性开展深入研究。受仪器设置限制,室内试验时只能采用缩尺后的垫层料试样,这可能会对试验结果有较大影响。为了揭示冻融试验中缩尺效应的影响规律,对不同限制粒径的试样进行了冻融试验。结果表明,相同相对密实度和含水率条件下,随着限制粒径的增大,试样冻胀变形量呈双曲线趋势减小;而冻融后总变形率先增大后减小。对比分析显示,试验结果与孔隙模型预测值吻合较好。