面向传值进程的一阶模态逻辑的可判定性与模型检测

对于面向传值进程的Hennessy-Milner逻辑的一阶扩充HML(FO), 给出了基于带赋值的符号迁移图的语义解释. 证明了HML(FO)的子逻辑HML(FO²)是满足性可判定的, 并且讨论了判定的复杂性. 最后给出传值进程关于HML(FO²)的模型检测的可判定性结果.     

点群10mm十次对称二维准晶平面弹性的复变解法及孔口问题

研究了点群10mm十次对称二维准晶平面弹性问题的复变函数解法. 首先将二维准晶平面弹性问题的位移势函数F用4个解析函数表示出来, 利用解析函数的性质, 经过大量的推导, 给出了准晶声子场和相位子场的位移、应力及边界条件的复变函数表示, 从而建立了点群10mm十次对称二维准晶平面弹性问题的复变解法的理论基础. 应用这一理论, 借助于复变函数中的保角变换, 解决了椭圆孔口问题. 当椭圆的短半轴趋于零时, 可得裂纹问题的解．计算结果表明, 当声子场-相位子场耦合时, 即使受自平衡力的作用, 对椭圆孔口问题, 声子场应力仍与材料常数有关, 这一性质表现出了准晶弹性与经典弹性的又一不同. 而当声子场-相位子场解耦时, 退化为经典弹性理论．另一方面, 本文是Muskhelishvili创立的经典弹性理论的复变解法在二维准晶平面弹性问题中的推广, 像经典弹性理论一样, 只要能找到点群10mm十次对称二维准晶平面弹性区域到单位圆的保角变换, 就可解决各种孔口和裂纹问题.     

氢氟烃(HFC)二元混合物表面张力测量

氢氟烃(HFC)混合物是长期性的制冷剂替代物,其表面张力数据对于制冷空调设备的设计计算必不可少。对HFC-32/125,HFC-32/134a,HFC-32/227ea,HFC-143a/227ea和HFC-143a/134a5种二元混合制冷剂的表面张力进行了实验研究,用毛细管内液面上升高差法(DCRM)精确测量了其253～333K的表面张力数据,温度和表面张力的最大不确定度分别为±10mK和±0.15mN.m-1。使用测量结果拟合得到了对应混合工质的表面张力关联式,并与目前已有的文献数据进行了比较。     

L—凸空间中的Ky—Fan极大极小不等式

在较为广泛的L—凸空间中利用转移紧闭值，得到了一个关于λ—转移紧上(下)半连续泛函的新的Ky—Fan板大板小不等式，同时给出了与其等价的几何形式。这些定理概括和推广了许多相关结果。     

过渡金属表面反应能量学计算系统的开发

利用VB6．0和Access7．0开发了过渡金属表面反应能量学的计算系统．该软件基于UBI-QEP的理论方法．采用模块化设计．其功能模块有3个：(1)数据库模块．利用该模块可以实现气相解离能以及小吸附基团在各种过渡金属表面吸附热的查询、添加与修改；(2)化学吸附热计算模块，利用该模块可以调用数据库中的数据对吸附基团在不同吸附方式的吸附热进行计算；(3)基元反应的活化能垒计算模块．利用该模块可以对基元反应的活化内能进行计算，进而分析其反应的难易与历程．该系统实现了UBI-QEP的理论方法计算的程序化，可用于多相催化反应的催化剂优选和机理探讨．     

模糊综合评判理论在高师课堂教学质量评价中的应用

应用模糊综合评判理论和方法,对16名任课教师的课堂教学质量进行了综合分析与评价,其综合评价结果与实际教学情况相符。     

N,N-二异丙基-3-(2-甲氧基-5-甲基苯基)-苯丙酰胺的还原

采用具有强活性的复合还原剂实现了叔酰胺的还原。讨论了不同的络合试剂，还原试剂，络合时间和反应温度对叔酰胺还原的影响，确定了三氯氧磷/锌粉还原法及还原N，N-异丙基-3-（2-四氧基-5-甲基苯基）-苯丙酰胺（1）的工艺路线，得到新药托特罗定的重要中间体N，N-二异丙基-3-（2-甲氧基-5-甲基苯基）-苯丙胺（2），收率为86%。     

混凝土强度检测方法的比较分析

混凝土结构的质量控制有众多的措施，其中强度的检测方法尤为重要。文章在对国内外常规检测方法比较分析的基础上，提出了合理化建议。     

关于建立中国证券二板市场的若干思考

二板市场是主板市场之外的市场，其设立的意义在于为具有高成长性的中小企业和高新技术企业提供集资途径；二板市场的建立对中国资本市场的健全和产业结构调整都具有重要意义。考虑到中国经济发展现状，在二板市场建立的过程中，应选择附属于证券交易所的模式，严格上市企业条件，选择由额度向审批制最终向注册制转变的上市机制．建立完善的信息披露与监管体制。确保二板市场平稳、高效、有序地运作。     

图书馆是终身教育的基地

图书馆的基本任务是为终身教育服务，在实施终身教育方面图书馆具有优越的条件，图书馆应当为终身教育服务做出重要贡献，真正成为对全民进行终身教育的基地。