"三工问题"与和谐城市的构建

我国国有企业,特别是大型国有企业的改制不到位,改革深层次矛盾日益突出,政治、社会领域的改革滞后以及法制不健全、监督机制不灵等原因直接导致我国城市中出现“三工问题”。“三工问题”是指由于工人下岗、工厂改制、工业调整所带来的经济社会问题,主要包括工人失业、权力腐败、分配不公、国有资产流失和被侵吞、群体事件、失地农民的安置等诸多经济社会问题,解决好这些问题直接关系到社会稳定和和谐城市的构建。现阶段应主要从完善社会保障、发展职业培训、健全权力制衡、调节收入分配、强化社会监督、化解社会矛盾、整顿工业园区、安置失地农民八个方面入手解决城市“三工问题”。     

中介时序逻辑系统MTL的模型性性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统，它具有较强的表达能力，近年来在计算机科学领域获得了广泛的应用。基于中介逻辑对时序逻辑进行多值扩充，建立了一种中介时序逻辑系统ＭＴＬ。讨论了它的形式系统和语义解释，但未论及其完备性。本文对ＭＴＬ系统作进一步的讨论。在一可传结构下，讨论了它的可传、连通和过滤等模型论性质，为进一步讨论ＭＴＬ系统的完备性作了理论上的准备。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

从《GPS系统星座更新、补充》报告看GPS系统未来发展

1 背景 自1995年全面投入运行以来,在长达20多年的时间里,美国空军不但保证了GPS运行的连续与稳定,还保证了GPS系统高精度定位、导航与授时(PNT)服务的可用性,巩固、提升了美国在全球PNT领域的领先与主导地位,提升了美国的全球影响力,催生了至今仍由美国主导并占据领先地位的全球卫星导航应用产业.美国国家天基PNT执行委员会的研究表明,仅2014年美国GPS商业应用领域产生经济效益就高达676亿~1224亿美元,远远超过了GPS系统研发、维持、发展的投入(至2014年GPS系统的总投入约为370亿美元).     

基于时序相关性的信息效用评价模型研究

事务处理中的时间相关性数据蕴涵着对预测与决策具有情报效用的信息,可以通过构建一定的特征模式对其效用大小进行评价。文章对时变序列数据的相关性特征进行了分析,研究了基于时序与波动变化的特征抽取模式;在时变序列的差分及相对变化基础上,进一步综合利用偏态、离散、相关等特征构建了影响变量与响应变量之间的相关度计算模型。该模型可降低效用评价计算复杂度,增强评价的可靠性并可用于模型预测。     

英国国防开支大调整

去年10月19日,英国首相戴维·卡梅伦正式向议会递交了"战略防御和安全审查"(SDSR)报告.报告提出,英国要在今后4年内通过大幅度削减武器库存和采购计划,减少8%的国防开支,使之保持在国内生产总值的2%以内,被削减的经费将用于弥补国防部10年380亿英镑(约600亿美元)的预算亏空.     

紫外CCD敏感器头部电路系统的研究

介绍了我国探月工程之嫦娥一号卫星的紫外CCD敏感器系统的CCD电路的软硬件的开发研究.紫外CCD敏感器由光学结构、CCD及处理线路、数据处理单元及其软件组成.入射光经光学系统后,照射在CCD敏感元件,经视频处理电路处理后形成数字图像信号.数字图像信号保存在数据存储器中,由数据处理器进行分析处理.计算得到月球的中心并转换为探测器对月姿态角,其中紫外CCD敏感器头部电路包括CCD电路、时序电路、驱动电路、视频处理电路和电源电路.核心器件CCD采用E2V公司的CCD48-20芯片,文中重点介绍该CCD的时序、驱动和Smear等难点问题.      

基于三轴离心机的航空部件试验器姿态协调控制

以通用三轴离心机研究为基础,以确定航空部件试验器中试验主体姿态协调控制为目标,通过建立坐标系简化航空试验器中试验主体的姿态解算。根据Nx、Ny、Nz的取值,开展了试验主体合成过载与姿态角度分析,对俯仰轴及滚转轴角度范围进行修正,以简化控制系统算法解析。最后对试验主体姿态调整过程的协调控制策略进行了简要分析,对通用三轴离心机的俯仰轴及滚转轴的协调控制算法具有指导意义。     

发动机试车气路故障诊断系统的设计与应用

以发动机整机试验数据为研究对象,建立了一套发动机试车气路故障诊断系统.首先阐述了该系统的设计功能和总体流程逻辑;使用故障模式法和调整模式法建立了气路部件故障诊断和优化调整模块;然后以一个双轴分排涡扇发动机为例,针对气路部件故障诊断和优化调整给出了考虑噪声的数值试验分析.最后就该系统的发展进行了讨论.      

轴流透平时序定位方法的探讨

利用时序效应原理,对一个1.5级轴流透平前后级静叶的周向定位提出简单的方案,以期能够达到最高效率,并利用Numeca软件对此周向定位方法进行了准三维的数值模拟验证,结果表明:该方法在叶轮机构前后级叶片定位的设计中有一定的参考价值.