JMM与DCL失效探究

Java提供的synchronized关键字可使多线程实现同步,但也会导致双重检查锁定(Double-Checked Locking,DCL)失效.一般采用继承ThreadLocal类的方式来避免这种失效,但实现效率低,性能损失大.针对这些不足,本文结合实例分析了Java内存模型(JMM)、DCL失效原因以及ThreadLocal的内部运行机制,给出了将类的对象设计成Singleton模式的策略.     

Java同步线程模型的缺陷以及改进措施

目前解决Java同步线程模型缺陷采用的是急救包类库的方式,但是此方法面临着一项重大技术难题,就是代码无法或者很难实现优化。针对Java同步线程模型缺陷问题,可以采用扩展synchronised关键字语法,使其能够接受超时说明,并且支持多个参数;解决超时检测问题,可以重新定义wait(),便于返回boolean变量,这样超时检测得以解决;扩展语法来解决同步的问题。从而,Java同步线程模型的缺陷得以解决,程序稳定且可以优化。     

基于OCI9的数据库访问接口的改进与实现

设计并实现了一种基于OC19的数据库访问接口。接口采用双条件变量机制,来解决数据库异常时函数长时间阻塞问题。同时,针对在网线断开时重连数据库会出现的内存增加的问题。提出了二次连接检测的解决方案。最后通过实验验证该数据库访问接口的应用效果。     

面向测量误差模型的外生变量估计方法

从观察数据中发现因果关系在近年来得到了越来越多学者的关注,其中外生变量在理解因果机制中扮演者重要的角色。然而,现有的因果发现方法大多假设观察变量就是真实发生的因(果)变量,忽略了测量误差带来的影响。为此,提出了一种解决测量模型下的外生变量估计方法。通过引入triad约束,根据此约束来找出与其余所有相关成对变量都满足triad约束的变量,即外生变量。该算法不仅能够解决含有测量误差数据的估计问题,而且对于没有测量误差的数据仍然适用。实验将该算法应用于真实网络产生的数据中,结果表明,无论变量是否含有测量误差,提出方法均优于现有的其他算法。同时,基于移动基站的真实数据实验也验证了算法的有效性。     

CAD/CAPP/CAM集成系统的IDEF方法建模技术

本文讨论了采用IDEF方法建立CIMS环境下的CAD／CAPP／CAM集成系统的功能模型与信息模型的相关技术。针对CAD／CAPP／CAM系统集成的特点，结合实例，给出了相应的建模步骤、建模思路以及有效的建模过程管理方法。     

含离散和连续混合决策变量最优潮流求解方法综述

最优潮流问题是一个含有连续变量和离散变量的非凸的、大规模的非线性规划问题,是混合整数非线性规划问题（MINLP）.它属于NP-hard问题,精确求解非常困难.本文对含离散和连续混合决策变量最优潮流问题的求解算法进行了分类和总结.介绍了各种求解技术的原理和具体做法,并从算法的收敛性、准确性、快速性等角度对它们进行了评价,指出了它们各自的优缺点及应用价值.     

多变量系统的辅助模型辨识方法的收敛性分析*

丁锋，谢新民[1]假设协方差阵P0-1（t）（s）的最大特征值与最小特征值之比（即条件数）有界，和系统噪声{w（t）}方差有界，证明了辅助模型辨识其法参数估计的一致收致性．本文将分别放松这两个条件，即ⅰ）条件数无界，ⅱ）系统噪声为非平稳噪声，且方差无界，探讨了辅助模型算法的收敛性．分析表明在这种较弱的假设下，辅助模型算法保持很强的鲁棒性，参数估计是一致收敛的．     

基于微分/代数方程的多体系统动力学设计灵敏度分析的伴随变量方法

基于多体系统动力学微分/代数方程数学模型和通用积分形式的目标函数,建立了多体系统动力学设计灵敏度分析的伴随变量方法,避免了复杂的设计灵敏度计算,对于设计变量较多的多体系统灵敏度分析具有较高的计算效率.文中给出了通用公式以及具体的计算过程和验证方法,并将目标函数及其导数积分形式的计算转化为微分方程的初值问题,进一步提高了计算效率和精度.文末通过一曲柄-滑块机构算例对算法的有效性进行了验证.     

电驱移动机器人多变量固定时间连续编队控制

针对扰动下电驱动非完整移动机器人固定时间编队控制问题,通过引入包含驱动器动力学的领航者-跟随者状态空间动力学模型,分两步对编队控制器进行了设计。对领航者跟随者编队运动学模型进行了多变量固定时间控制设计。在动力学层面,为实现扰动下的速度跟踪,通过辅助输入设计了一种跟随者机器人多变量超螺旋固定时间连续电压控制器。所提算法使机器人编队克服了跟随者机器人所受干扰,确保了跟随者机器人与领航者在固定时间达到期望队形,跟随者在固定时间内跟随期望速度,设计的连续控制消除了开关控制的抖振现象。通过参数设计提前给定系统收敛的固定时间,与系统初始状态无关。基于Lyapunov方法进行了系统稳定性分析。通过仿真对算法进行了验证。     

一种无标记的身体与面部运动同步捕获方法

提供了一个无标记点的身体与面部运动同步捕获的方法.利用经过时间同步和空间标定的长焦彩色相机和Kinect相机来进行同步捕获.利用在环境中加入闪光来进行时间同步,使用张氏标定法进行空间标定,从而组成一组时间同步且空间对齐的混合相机（hybrid camera）.然后利用Kinect fusion扫描用户的人体模型并嵌入骨骼.最后利用时间和空间都对齐好的两个相机来进行同步采集.首先从深度图像中得到人脸的平移参考值,然后在平移参考值的帮助下根据彩色图像的2D特征点重建人脸.随后,把彩色图像中得到的头部姿态传递给身体捕获结果.结果对比实验和用户调研实验均表明所提出的运动捕获的结果要好于单个的运动捕获结果.     

两种双负材料电磁参数提取方法的比较验证

双负材料电磁参数的准确提取是新型双负结构探索和双负材料应用研究中的关键问题.分析研究了基于散射参数以及近似解析表达式的双负材料电磁特性参数提取技术,给出了相应的计算公式.通过对金属丝单元、谐振环单元以及金属丝与谐振环组合单元异质填充结构的电磁散射参数的计算机仿真计算,提取出三种不同结构的电磁特性参数,并根据仿真结果对两种参数提取方法进行分析比较.研究表明:解析公式提取法可以准确的预测出谐振点的位置,S参数提取法提取的参数曲线则更接近实际情况.     

基于ORACLE数据库通用性灵活性设计探讨

该文在传统的数据库关系设计基础上,提出采用算法库设计运用、多层次有效视图设计、反规范（范式）设计等方法,提高数据库设计的运行效率和减少数据库开发工作量。     

基于双宿主机模式的远程物理实验教学系统

为满足远程实验教学的需要,研制了一套基于双客户机／服务器模式和采用TCP／IP的实验教学系统。该系统实现了学生通过互联网操作实验室的实验设备以及将实验结果实时地返回给远程的实验者,从而在异地完成真实实验过程。     

答疑系统的双焦点问句分解研究

现实生活中双焦点问句是一种常用的句型,然而自动答疑系统中没有给出相对应的回答方式.针对这种状况,提出了基于双焦点问句的自动答疑系统构架.通过利用六大策略抽取双焦点问句的焦点字符串、采用不同句型产生主次焦点子问句,提高系统对双焦点问句的理解能力.实验结果表明,系统生成的主次焦点子问句的正确率分别为85.28％和87.50％,主焦点中心语的正确率为93.33％.     

二级倒立摆变结构控制改进方案的对比研究

关于二级倒立摆稳定性优化控制问题,二级倒立摆是一个高度非线性系统,具有强耦合和快速运动的特点。但目前采用常规滑动模态变结构控制方法使系统出现高频抖动,导致系统存在稳定性差的问题。采用直线二级倒立摆为被控对象,通过用指数趋近律、边界层法和连续函数的趋近律三种改进方案对二级倒立摆系统进行了仿真,实验效果的对比结果表明,三种方案均能实现对二级倒立摆的稳定性有效控制,并可以使系统抖振得到抑制,为二级倒立摆稳定性设计提供了依据。     

二级倒立摆控制器设计及稳定性研究

在二级倒立摆控制器优化设计的研究中,由于二级倒立摆系统是一种复杂多变量、强耦合的不稳定系统,较难达到稳定平衡状态,首先要建立模型,之后才能够进行系统仿真与实际控制实验.由于系统对控制器性能要求较高,因此选用遗传算法训练的小波神经网络控制器,并针对遗传算法仍然存在的收敛速度慢,泛化性能差,可能陷入“早熟”等许多问题,对算法加以改进.将采用罚函数为基础的小生境技术引进到遗传算法中;并根据个体适应度来改进交叉概率.在仿真与实物控制实验中,控制器能够实现二级倒立摆系统的稳定控制,且抗干扰能力、系统平衡恢复速度优良,验证了设计的二级倒立摆控制器的有效性.     

基于独特型免疫网络的故障诊断方法研究

随着目前大型设备的日益复杂,传感器节点之间的数据是动态互相影响的,如果仅靠从知识库中去寻找最佳匹配来诊断故障,很容易发生漏诊或误诊。根据Jerne的独特型网络理论提出了一个简单、通用性好,能综合反映网络细胞（抗体和抗原）的浓度、相似度信息,以提高免疫算法的全局搜索能力的模型,该模型利用案例检索的优势,考虑了机电设备结点之间相互影响的特性。实验证明,该模型在加快免疫算法后期的收敛速度和提高故障检测率方面均高于其他算法。     

双偏差双空间局部方向模式的人脸识别

针对局部方向数(Local Directional Number pattern,LDN)类方法的人脸识别通常仅利用梯度信息且信息提取不充分的问题,提出双偏差双空间局部方向模式(Double Variation and Double Space Local Directional Pattern,DVDSLDP).该方...     

基于零水印和认证水印的双水印方案

为解决高值图像同时具有版权保护和内容认证需求的问题，提出了基于零水印和认证水印的双水印方案。实验表明，该方案具有篡改敏感度高和水印鲁棒性强的特性，性能可靠，可以同时实现对高值图像的版权保护和内容安全认证。