昆明市人口预测模型研究

通过对1949～2000年昆明市人口总量的分析,以及从2000年第5次全国人口普查中昆明市的相关情况,重点考察了昆明市生育状况、死亡状况、年龄和性别状况,找出昆明市人口存在的问题.通过运用马尔萨斯人口模型和Logistic模型以及提出的线性回归模型对昆明市未来10年的人口进行预测,并进行模型之间的比较,进而得出昆明市未来10年人口的发展状况.     

自动增益控制放大器的设计与实现

为实现稳定输出,需对放大器系统的增益进行自动控制.本文提出了自动增益控制放大系统的总体设计方案,并对主要功能模块进行了方案比较与论证,重点对硬件系统和软件系统进行了详细设计,最后对系统进行了完整测试,并对检测结果进行了分析.结果表明:系统稳定可靠、操控方便,具有较好的人机交互性能.     

汉魏六朝墓志构件讹混举隅研究

汉魏六朝墓志文字材料真实,字形丰富,其构件讹混现象十分普遍,既有规律性,又有特殊性,有必要进行归纳考察,以便为碑刻异体字研究、汉字构形研究、古籍整理和汉字发展史等研究提供有益帮助.     

一种驾驶员酒精超标测控电路的设计

针对酒后驾车导致交通事故频繁发生的现象,设计了一种驾驶员酒精超标测控电路。该电路由酒气检测、模数转换、单片机最小系统、LCD显示、声光报警、继电器、电源等电路组成。软件用C语言编程,在keil环境中编译。硬件电路在PROTEOUS环境中仿真,通过后将下载程序的单片机和其它有关元器件焊接在PCB板上,上电,酒气检测电路可检测酒精浓度,可语音播报浓度未超标、偏高和超标,液晶屏可显示酒精浓度,当酒精传感器检测的酒精浓度超标时,该电路可自动切断汽车点火系统电源,使汽车无法启动。     

“网络化控制”实践教学系统设计与实现

"网络化控制"这门课程涉及网络化控制理论、磁悬浮技术、CAN总线通信技术等三种主要的基础理论。这门实践教学课结合工程科研背景,分别以磁悬浮系统和位置伺服电机定位系统为控制对象,CAN总线协议为通信基础,设计了网络化控制的悬浮及定位实验系统。在此平台的基础上对实验的原理、硬件和软件结构及其具体实现做了详细阐述。学生可以从中掌握网络化控制系统的实验方法,切实地理解课程理论。     

有提前期柔性的供应链协调与风险分摊

针对合同制造环境下的需求不确定性导致提前期发生变动而影响高科技产品供应链的上下游决策并产生激励冲突,建立了一种有提前期柔性的供应链协调模型.通过提前期柔性所提供的期权机制来建立采购商和供应商之间基于斯坦伯格博弈的合同谈判过程,使采购商和供应商共同确定合理的交付提前期的变动幅度、柔性成本分摊比例和最优订货策略.研究发现,这种双向操作的风险分摊机制能使高科技供应链渠道达到帕累托最优,从而使供应链协调、改进供应链绩效.     

稀薄溶液中MEH-PPV共轭高分子的静态光散射研究

在不同温度下利用静态光散射技术研究了MEH-PPV共轭高分子在混合溶剂中的结构形态。结果显示,温度为25℃时甲苯/壬烷稀薄混合溶剂中MEH-PPV共轭高分子Zimm图有偏离直线现象出现,这表示溶液中存在少量的聚集结构。而温度为50℃时MEH-PPV共轭高分子Zimm图则呈直线状,这表示该温度下的甲苯/壬烷稀薄混合溶液为良溶剂。此外,还计算出MEH-PPV共轭高分子的单元分子量和单元长分别为260 g/mol和0.67 nm,进而由Kratky-Perod方程得到50℃下MEH-PPV分子链在混合溶剂中的持续长度lps分别为5.24 nm与3.68 nm,相应的Kuhn链结长lK分别为10.48 nm与7.36 nm,Kuhn链结数分别为1 329与1 871。     

车险市场中投保人保费负担能力评估

目前,我国车险市场的费率市场化工作正在保监会的推动下逐步开展。以"从车主义"为主的我国现行车险费率制度在满足投保人需求方面存在的缺陷,特别是投保人对保费的负担能力问题是费率市场化过程中需要考虑的重要内容。本文基于对机动车辆保险保费负担能力的设定,从不同的角度对投保人车险保费负担能力进行了评估,并在分析投保人负担能力的基础上,对车险费率改革的未来方向提出政策建议。     

剧变中的英国19世纪慈善话语

慈善话语作为19世纪英国社会论争的重要焦点，近年来一直是学者关注的焦点。但这些研究大多仅关注慈善之为文化域的次主题，未能从整一、独立视角关注英国19世纪城市化语境下慈善话语的变迁及其表现特征。事实上，随着城市化进程的不断推进，英国19世纪慈善话语呈现出群体性、阶段性、动态性的急剧变迁过程，而且在这一变迁过程中，社会中各...     

EKE协议的描述与TLA验证

行为时序逻辑(TLA)是Leslie Lamport于20世纪90年代提出的一种新的逻辑,运用这种逻辑对软件或协议系统进行建模,在一定程度上减少了由于状态空间爆炸带来的压力,它能在一种语言中同时表达模型程序与系统属性。文中首先介绍了行为时序逻辑的语法和语义,然后以EKE协议为例,用基于行为时序逻辑语言TLA+对EKE协议进行了建模分析,用TLA建模并用行为时序逻辑语言TLA+进行协议的描述,最后用TLC检测工具进行分析,发现存在中间人的重放攻击漏洞。