绿灯充足时段交通违法监控对车速及行为决策影响分析

为了解信号交叉口处绿灯充足时段交通违法监控是否对机动车车速及驾驶人驾驶行为决策产生影响,运用录像法,分别对经过青岛市黄岛区2类4个信号交叉口绿灯充足时段的机动车进行调查。采集了车辆经过交叉口的车速、加速度、所在车道等具体数据,对经过2类信号交叉口的车速及行为决策进行对比分析;并运用logistic回归模型建立信号交叉口驾驶行为决策模型。结果表明在绿灯充足时段,在装有交通违法监控的信号交叉口,进入交叉口前的机动车车速较低,且离散程度较小;进入装有监控的信号交叉口时,驾驶人采取匀速行为决策的比例比无监控情况高22.78%;较减速行为决策相比,加速和匀速行为决策与交通违法监控、车速及所在车道有关。     

基于证明分析的机器发现技术及其应用

机器学习和发现需要我们对当代科学哲学的思想和方法进行形式化．本文介绍了Ｌａｋａｔｏｓ方法论的基本思想，并通过二阶受限Ｔａｂｌｅａｕ来实现Ｌａｋａｔｏｓ方法论的形式化系统———证明分析演算．应用证明分析演算，实现了机器发现实例，从而得到了一实用的机器发现技术．     

智能型电能计量表的工作原理及其发展趋势研究

电能计量表根据其工作原理的不同可以分为电解式、感应式和静止式三大类,在实际使用中测量交流电能主要采用感应式和静止式。感应式电能表其测量原理和结构存在一些制约性的,使此类电表的功能扩展和精度提高受到限制;静止式电能表的测量原理是将单相或三相交流功率采用全电子方式转换成脉冲或其他数字量后再进行相应的数据处理,此类电表又称全电子式电能表,它具有线性度好、测量精度高、过载能力强、功耗低、功能扩展容易、可测频带宽、体积小以及重量轻等诸多优点。对于电能表而言其测量工作原理不同,仪表的性能,制造成本也会有所差异,因此随着对用电管理要求的提高,感应式电能表正逐渐被静止式电能表所取代。     

中国古代算命术探析

主要从民族文化与哲学的角度对中国古代算命术进行探析，认为算命术是我国古代影响极为深广的一种特殊的民族文化，具有朴素辩证的思维特征。虽然算命术是一个具有浓厚迷信气息和唯心主义色彩的演算系统，但由于各种原因，它在社会上却得到了广泛的流传。     

CORBA/IOP的语义初探

用π－演算刻划ＣＯＲＢＡ／ＩＯＰ环境下涉及多个ＯＲＢ的分布式对象计算过程，重点描述多个ＯＲＢ之间的互操作过程．构造了一个高度简化的ＣＯＲＢＡ／ＩＯＰ的π－演算模型．借助于这个模型，演示了ＣＯＲＢＡ／ＩＯＰ支持分布式对象计算这个性质．     

关于水库征地移民设计中如何确定淹没界线的问题

如何科学准确地对不同的淹没对象进行划分并确定淹没界线,是进行征地移民设计的大前提,对开展征地移民工作尤为重要,也为国家节约大量的工程投资。     

关于泰勒级数与幂级数

泰勒级数和幂级数的各项是由结构简单、性质明了的幕函数组成．因此，把一个函数展开成泰勒级数或幂级数，不仅有利于讨论函数的性质，而且还有广泛的应用．这里综述泰勒级数的若干展开方法以及泰勒级数和幂级数在若干领域的应用．     

基于时段混合能量的Riccati微分方程的求解

基于计算结构力学与最优控制的模拟关系，引入时段混合能的概念， 研究了两类边界条件（对状态约束的边界条件和弹性约束的边界条件）下 Ｒｉｃｃａｔｉ微分方程的求解．通过变分原理，使问题成为两点边值问题；采用惩 罚函数法，对状态约束边界条件用弹性支承边界条件来代替．这样就把两 类边界条件化为了一类进行处理，给出了相应的例题．     

YCΩ2n是易项

证明了如下结果：对任意的ｎ≥１,ＹｃΩ２ｎ是易项,即对任λ项Ｍ,λβ＋ＹｃΩ２ｎ＝Ｍ是协调的。其中Ｙｃ是Ｃｕｒｒｙ不动点组合子,Ω２ｎ＝ω２ｎω２ｎ,ω２ｎ＝λｘ．ｘｘ…ｘ（λｘ之后ｘ有２ｎ次出现）。从而,部分证明了Ｊａｃｏｐｉｎｉ提出的如下问题：对任意的ｎ≥２,ＹｃΩｎ是易项。