安徽省地震会商系统软件界面设计研究

基于ARCGis9.2的安徽省地震会商系统不仅需要强大的技术功能,还需要友好和一目了然的界面,这样不仅让会商报告者思路清晰,也能使会商观众更加清晰了解地震预报会商内容,从而为决策者更好应对不同地点和不同大小的地震发生可能性做出科学的决策;引入flash8作为软件系统的界面,用flash调用各个模块,无论从界面和功能上都较好的解决了这一问题。     

三框架电容式硅微机械陀螺动力学分析

为了解决双框架陀螺在加工中不可避免的误差,提出了三框架电容式微机械陀螺系统。该系统由3个框架(即3个质量块)组成。采用静电差分驱动方式,梳状叉指电容,多个柔性杆设计使得该结构从理论分析和加工误差上解决了耦合现象。同时,通过提高中间框架的质量,使得陀螺的灵敏度大大提高。介绍了该三框架电容式微机械陀螺仪的工作原理,给出了所设计陀螺动力学方程的详尽推导和MAT-LAB仿真分析。     

基于因果的自适应双阈值镜头边界检测算法

将因果检测法与双阈值法相结合,提出了一种基于因果的自适应双阈值镜头边界检测算法.首先,利用相邻两帧之间的帧间差异值对突变和渐变进行预检;然后,加入渐变检测容忍度、边缘和非相邻帧间差异值等信息,对初检结果进行复检,排除闪光灯、剧烈物体运动、淡入、淡出以及溶解等造成的误检和漏检,以提高整体检测效果.实验结果表明,与传统的双阈值镜头检测方法相比,本方法可获得更好的检测性能.     

High‐pixel‐rate grating‐light‐valve laser projector

Abstract— A high‐pixel‐rate, high‐contrast (30,000:1) wide‐color‐gamut grating‐light‐valve laser projector is reported. A new optical engine enabling high‐frame‐rate (240 Hz) scan projection is employed. Panoramic wide‐angle‐scan projection with a 64:9 aspect ratio was also developed. Speckle noise is eliminated using a simple but highly efficient technique. The optical throughput efficiency of the grating‐light‐valve laser projector is reviewed.     

Geometric nonlinear effects on the planar dynamics of a pivoted flexible beam encountering a point-surface impact

Flexible-body modeling with geometric nonlinearities remains a hot topic of research by applications in multibody system dynamics undergoing large overall motions. However, the geometric nonlinear effects on the impact dynamics of flexible multibody systems have attracted significantly less attention. In this paper, a point-surface impact problem between a rigid ball and a pivoted flexible beam is investigated. The Hertzian contact law is used to describe the impact process, and the dynamic equations are formulated in the floating frame of reference using the assumed mode method. The two important geometric nonlinear effects of the flexible beam are taken into account, i.e., the longitudinal foreshortening effect due to the transverse deformation, and the stress stiffness effect due to the axial force. The simulation results show that good consistency can be obtained with the nonlinear finite element program ABAQUS/Explicit if proper geometric nonlinearities are included in the floating frame formulation. Specifically, only the foreshortening effect should be considered in a pure transverse impact for efficiency, while the stress stiffness effect should be further considered in an oblique case with much more computational effort. It also implies that the geometric nonlinear effects should be considered properly in the impact dynamic analysis of more general flexible multibody systems.     

构件化信息系统开发方法研究

首先由传统的信息系统开发方式的缺陷引出了软件构件化概念,然后对构件的属性、构件开发标准规范、信息系统构件化开发方法进行了介绍,最后给出了一种信息系统构件化开发框架探讨信息系统的构件化开发方法。     

基于开源LAMP架构的Web打印技术

通过对现有B/S架构打印方法进行分析对比,针对它们的缺陷提出了一种基于开源LAMP架构的跨平台、精确、有效的Web打印新技术,并详细介绍了其原理,最后给出了具体的实现方法.     

基于奇异值分解的机器人工具坐标系标定

机器人通过在末端安装不同的操作工具来完成各种作业任务,而工具参数的准确度直接影响着机器人操作精度,因此研究一种准确、快速的工具坐标系标定方法具有重要的意义。该文提出一种称为三点五步法的机器人工具坐标系标定方法,并基于矩阵的奇异值分解理论对该标定方法进行了严密的数学推理,证明该标定方法理论上的可行性。采用该算法进行工具坐标系标定具有操作简单、标定精度高、可靠性强和算法易于程序实现的特点。     

Modalities in linear logic weaker than the exponential “of course”: Algebraic and relational semantics

We present a semantic study of a family of modal intuitionistic linear systems, providing various logics with both an algebraic semantics and a relational semantics, to obtain completeness results. We call modality a unary operator on formulas which satisfies only one rale (regularity), and we consider any subsetW of a list of axioms which defines the exponential of course of linear logic. We define an algebraic semantics by interpreting the modality as a unary operation on an IL-algebra. Then we introduce a relational semantics based on pretopologies with an additional binary relationr between information states. The interpretation of is defined in a suitable way, which differs from the traditional one in classical modal logic. We prove that such models provide a complete semantics for our minimal modal system, as well as, by requiring the suitable conditions onr (in the spirit of correspondence theory), for any of its extensions axiomatized by any subsetW as above. We also prove an embedding theorem for modal IL-algebras into complete ones and, after introducing the notion of general frame, we apply it to obtain a duality between general frames and modal IL-algebras.     

考虑电网阻抗耦合的模块化多电平换流器交直流侧阻抗通用计算方法

以模块化多电平换流器(modular multilevel converter,MMC)为技术路线的柔性直流输电技术在风电接入、电网异步互联等领域迅速发展。MMC的阻抗建模是分析柔性直流输电系统振荡起源的重要依据。文中分析MMC在交、直流侧激励下的谐波传递机制,建立一种适用于交、直流侧阻抗计算的通用方法。对一次系统频域建模关联了MMC所连接的交、直流侧网络阻抗,并考虑包含解耦双同步参考坐标系锁相环及负序内环控制在内的全部控制模块。通过求解线性方程组对MMC阻抗进行计算,并在PSCAD/EMTDC环境中对双端背靠背MMC系统在多种工况下1～5kHz频段内进行扫频,验证该方法的准确性,并详细分析网络阻抗耦合、控制链路延时、功率等级、负序内环和外环控制等因素对MMC阻抗的影响。