有限精度时间自动机的时钟表示

简要介绍了有限精度时间自动机（FPTA）的基本概念,重点讨论FPTA状态中时钟的表示。FPTA只记录时钟值的整数部分,而用时钟序的概念来模拟表示时钟值小数部分的大小关系,从而减少生成的状态空间。在FPTA模型中,时钟操作的时空性能主要依赖于时钟序的数据结构和算法。提出了用位矩阵来表示时钟序的数据结构POM（PartialOrder Matrix）。采用该结构的操作算法具有O(n)复杂度,且无需标准化操作;同时,一切操作均可以通过位运算实现,从而大幅度提高时钟操作的时间效率。     

Marching Cubes算法改进研究及应用

对MC算法进行了改进和优化,运用渐近线判别法解决了原有算法的二义性问题,改善了生成图形的质量;利用线性八叉树结构提高了图形的绘制速度,使实时绘制和交互操作成为可能。运用改进后的MC算法,结合某铁矿实测数据进行矿体表面三维重构,得到了满意的效果。     

基于操作语义的AutoCAD协同设计的实现

提出了一种基于操作语义的AutoCAD协同模型。介绍如何利用AutoCAD的二次开发工具实现对AutoCAD操作信息的提取,并根据操作语义制定出一套通信协议。同时还引进了消息映射网络,保证各协作方能正确找到本地操作对象。最后对这种模型的优缺点进行了简要说明。     

Viscosity of glass-forming melt at the bottom of high-level waste melter-feed cold caps: Effects of temperature and incorporation of solid components

During the final stages of conversion of melter feed (glass batch) to molten glass, the glass-forming melt becomes a continuous liquid phase that encapsulates dissolving solid particles and gas bubbles that produce primary foam at the bottom of the cold cap (the reacting melter feed in an electric glass-melting furnace). The glass-forming melt viscosity plays a dominant role in primary foam formation, stability, and eventual collapse, thus affecting the rate of melting (the glass production rate per cold-cap area). We have traced the glass-forming melt viscosity during the final stages of feed-to-glass conversion as it changes in response to changing temperature and composition (resulting from dissolving solid particles). For this study, we used high-level waste melter feeds—taking advantage of the large amount of data available to us—and a variety of experimental techniques (feed expansion test, evolved gas analysis, thermogravimetric analyzer-differential scanning calorimetry, X-ray diffraction, and viscometer). Starting with a relatively low value at the moment when the melt connects, melt viscosity reached maximum within the primary foam layer and then decreased to its final melter operating temperature value. At the cold-cap bottom—the boundary between the primary foam layer and the thermal boundary layer—where physicochemical reactions of a melter feed influence the driving force of the heat transfer from the melt to the cold cap, the melt viscosity affects the rate of melting predominantly through its effect on the temperature at which primary foam is collapsing.     

市政道路工程与排水工程相互影响的设计及其体会

阐述市政道路工程与排水工程设计的有关内容,以工程实例介绍相互间的影响,结合自身工程设计实践提出几点经验体会。     

玻璃基多孔骨水泥的制备和性能研究

将SiO2-CaO-P2O5系统生物活性玻璃粉末、甘露醇和磷酸铵调和液均匀混合制得多孔玻璃基骨水泥.利用XRD、FTIR和SEM对骨水泥的晶相和显微结构进行了观察和分析,并对其显气孔率和力学强度进行了测试.实验结果表明,随着浸泡时间的增加,骨水泥固化体中生成了HAP晶体,HAP晶体呈短柱状,交织分布于玻璃颗粒间隙,尺寸大约为200nm;甘露醇晶体能在生理模拟液的浸泡下降解,降解后留下的孔隙显著增加了骨水泥的显气孔率,并且随着甘露醇含量的增加而增加,而体积密度和力学强度则呈下降的趋势.     

石墨烯增强铝基复合材料导电性能的研究

采用粉末冶金法,制备了石墨烯增强铝基复合材料,研究了石墨烯含量及烧结温度对复合材料组织及力学性能、导电性能的影响.结果表明,当石墨烯添加量为0.3％(质量分数)、在580 ℃烧结1h时,所得复合材料晶粒较细小,分布较均匀,致密度最大,为90.14％,电导率最高,为25.54 MS/m,硬度最大,为HB23.35.     

阴离子乳化沥青的制备及性能影响因素研究

采用中燃油公司基质沥青进行阴离子乳化沥青的制备,并对固含量、乳化剂用量、稳定剂用量等多个因素进行试验研究.结果表明,随着固含量和乳化剂用量的增加,阴离子乳化沥青的标准黏度增加,常温储存稳定性变小.稳定剂的加入能够明显改善阴离子乳化沥青的常温储存稳定性,但标准黏度会有所增大.     

半导体激光器高精度稳频输出控制系统

为了在光纤干涉仪中得到光源高精度稳频输出,采用高稳定度的恒温控制以及功率稳恒控制方法,通过高信噪比的运算放大器、半导体制冷器,设计了一种激光电源驱动系统,并进行了理论分析和实验验证。其能为半导体激光器提供温度控制精度在±0.01℃,制冷驱动电流可达800mA,同时使得半导体激光器输出波长控制精度在±0.1nm,驱动电流最大输出可达180mA,输出电流的稳定度为10-4~10-5。结果表明,该系统不仅结构简单,而且温度控制稳定、准确度高,可使半导体激光器的输出波长保持稳定,保证了干涉型光纤传感器的测量准确度以及在通信领域中的应用。     

PID参数模糊自整定控制器的设计与研究

在常规PID控制和模糊控制研究的基础上,提出了一种PID参数模糊自整定控制器,采用模糊推理对PID控制器的控制参数进行在线调整,给出了参数整定的基本原则。并用MATLAB中SIMULINK和FUZZY工具箱对三种控制方式进行了仿真。仿真结果表明,PID参数模糊自整定控制器的控制性能优于常规PID控制和模糊控制,具有良好的抗干扰性和鲁棒性。