蕴涵BCK—代数的伴随半群

本证明了蕴涵ＢＣＫ－代数的伴随半群是一个上半格，进一步证明了有界蕴涵ＢＣＫ－代数的伴随半群是一个Ｂｏｏｌｅａｎ代数。     

利用导线网进行二级公路定线方法

提出在二级公路定线时，可利用导线网中的导线点位置进行线位控制．导线点的布设一方面作为测设路线中桩的坐标参考点，另一方面作为路线定线的线位控制点．用导线图代替地形图进行纸上定线，实地放线．利用此法既节省了测设地形图的时间，又提高了道路定线质量．可供道路定线时参考应用     

一类二阶Volterra-hammerstein型积分微分方程非线性边值问题

本文利用上下解方法研究了一类Ｖｏｌｔｅｒｒａ－ｈａｍｍｅｒｓｔｅｉｎ型积分微分方程非线性边值问题（｜ｕ｜ｐ－２ｕ）＝ｆ（ｔ，ｕ，Ｔ１ｕ，Ｔ２ｕ，ｕ）（ｐ＞１）Ｌ（ｕ（０），ｕ（０））＝０Ｒ（ｕ（１），ｕ（１））＝０｛［Ｔｉｕ］（ｔ）＝φｉ（ｔ）＋∫ｔｏＫｉ（ｔ，ｓ）ｕ（ｓ）ｄｓ（ｉ＝１，２）给出了解的存在性定理．     

关于星—正则环的序

本文的目的是证明：一个星正则环Ｒ在星正交偏序下作成一个伪上半格．     

乐清市水库存在问题及对策探讨

1．水库概况及存在问题 1．1乐清市小（2）型以上水库22座。其中中型水库4座，小（1）型水库1座，小（2）型水库17座，总库容1．018亿m^3，兴利库容0．719亿m^3。水库大坝坝型绝大多数为土坝，有19座，占82％，少数为浆砌重力坝、拱坝、面板堆石坝等其他坝型仅4座，占18％。这些水库大多建于20世纪50～70年代，因限于当时的经济、技术条件和社会环境，工程标准普遍偏低，质量较差，加上工程维修和养护经费不落实，管理粗放，病险率逐年增高，已成为当前乐清市水利工程体系中最薄弱的环节之一和危及人民群众生命财产安全的重要隐患。     

Pr3+∶Y2SiO5晶体中橙—蓝频率上转换过程

测量了Pr³⁺∶Y₂SiO₅晶体的吸收谱, 标定了室温下Pr³⁺在Y₂SiO₅晶体4f²组态内的能级. 利用579 nm激光激发Pr³⁺∶Y₂SiO₅晶体, 观察到480~515 nm上转换荧光带. 运用时间分辨激光光谱技术测量了³P₀能级的上转换荧光衰减曲线. 通过研究上转换荧光的衰减曲线、 吸收谱、 激发谱和上转换荧光强度与泵浦激光单脉冲能量的关系, 确定了以¹D₂为中间态的能量转移上转换主要是上转换机制.      

单片机系统的仿真与脱机运行分析

在单片机用户系统的设计中,必须对硬件和软件进行具体仿真。通过分析单片机系统的晶振电路、上电总清和负载能力来解决实际遇到的问题。这对于硬件调换与处理故障有很大好处。     

软硬件协同设计和系统级仿真探索

简要介绍了系统级芯片设计的软硬件协同设计、协同仿真技术和SoC开发中系统级协同仿真的工具，并给出了一个在CCSS (CoCentric system studio)环境下完成软硬件协同仿真的实例。     

自适应快速高精度数字频率计片上系统设计实现

本文提出了一种高精度数字频率计的片上系统实现方案。通过自适应转档提高系统测量精度。通过在边缘频率处的交叠处理解决了系统稳定性问题,提高了频率计的响应速度。通过快速除法器解决了测周法运算速度的瓶颈问题,可实时刷新计算结果。整个系统在保证高精度的基础上可快速获得测量结果。     

一类二阶m点边值问题的正解存在性

泛函分析的某些方法对常微分方程定性问题(如多点边值问题)的研究起着非常重要的作用。Runyun Ma和Nelson Castaned。讨论了多点边值问题的正解存在性．利用锥上不动点定理研究了一类二阶m点边值问题的正解存在性，推广了Runyun Ma和Nelson Castaneda的结果．