An intelligent stock trading system using comprehensive features

The aim of this study is to predict automatic trading decisions in stock markets. Comprehensive features (CF) for predicting future trend are very difficult to generate in a complex environment, especially in stock markets. According to related work, the relevant stock information can help investors formulate objects that may result in better profits. With this in mind, we present a framework of an intelligent stock trading system using comprehensive features (ISTSCF) to predict future stock trading decisions. The ISTSCF consists of stock information extraction, prediction model learning and stock trading decision. We apply three different methods to generate comprehensive features, including sentiment analysis (SA) that provides sensitive market events from stock news articles for sentiment indices (SI), technical analysis (TA) that yields effective trading rules based on trading information on the stock exchange for technical indices (TI), as well as the trend-based segmentation method (TBSM) that raises trading decisions from stock price for trading signals (TS). Experiments on the Taiwan stock market show that the results of employing comprehensive features are significantly better than traditional methods using numeric features alone (without textual sentiment features).     

Web交互模型的形式化验证研究

Web交互模型的形式化验证是对Web事件属性进行校验的十分可信的方法。通过一系列的系统模型建立、系统行为分析以及对于模型中关心属性的相关验证,能够让交互模型在设计阶段就能使形式化模型暴露出其所存在的缺陷,而不至于让缺陷保留到编码阶段或者更后面才能被真正地暴露出来,这样使系统模型的生存能力更加强大,同时避免了因后期缺陷暴露而出现的大代价修复。通过对Web系统的交互应用服务的过程模型化的体系进行研究,通过模型本身具有的属性进行相关正确性的校验,主要通过使用数学推理实现系统逻辑上的服务交互进程,从而进行过程的推演,并对系统服务的正确性进行过程的形式化验证,从而使系统服务模块的属性正确性可以通过逻辑上的演进来发现服务问题的存在,而不再是系统通过编码实现后才发现。对Web交互模型的形式化验证是基于IMWSC模型语义形成的IMWSC模型的验证机制。     

Low-Power Operational Amplifier for Real-Time Signal Processing System of Micro Air Vehicle

A low-power complementary metal oxide semiconductor(CMOS) operational amplifier (op-amp) for real-time signal processing of micro air vehicle (MAV) is designed in this paper. Traditional folded cascode architecture with positive channel metal oxide semiconductor(PMOS) differential input transistors and sub-threshold technology are applied under the low supply voltage. Simulation results show that this amplifier has significantly low power, while maintaining almost the same gain, bandwidth and other key performances. The power required is only 0.12mW, which is applicable to low-power and low-voltage real-time signal acquisition and processing system.     

电爆炸过程中金属丝电阻变化规律的仿真分析

探讨了电爆炸过程中金属丝相关参数的变化规律,建立了金属丝电阻在气化前的PSpice模型,得到了电容器初始电压由10 kV到20 kV、回路电感由3.9μH到10.8μH、金属丝直径由0.3 mm到1 mm变化时,金属丝电阻变化的仿真结果。对仿真结果分析表明：初始参数影响金属丝上的能量沉积,决定着金属丝的电阻变化过程以及金属丝完全气化所需要的时间。     

电磁领域中复超越方程的遗传算法求解方法

将遗传算法与参数跟踪策略有效结合,跟踪过程中进行搜索域压缩与位移操作,形成了一种功能强大的新算法,可成功应用于电磁领域中各种各样复超越方程的高精度求解问题.在算法实现过程中,使用参数跟踪策略有效地缩小了搜索区域,保证了解的单一性,提高了运算速度;使用动态搜索域提高了解的精度;应用三阶差商公式预估新的搜索中心,使运算速度得以进一步提高.应用本文发展的算法详细求解了终端短路法测量材料的复介电常数时得到的复超越方程和部分填充矩形波导的特征方程,计算结果表明该算法能够轻松地解决复超越方程中的多值问题,解集完备性好,算法鲁棒性强.     

Design of Multi-band Small Antenna Based on Single Split-Ring Resonator

To use the single split-ring resonator(SRR)as a basic unit cell for small antenna with multi-band frequency response is proposed.The structure of antenna is consisted of a single spilt-ring resonator and a coupled microstrip line.The designed antenna is numerically optimized with CST Microwave Studio.The radiation properties of the antenna show that there are three frequency bands among which two bands are 1.3 GHz and 2.1 GHz ultra-wideband(UWB),respectively,where S11 is less than-10 dB.The gain at every fr...     

带有规则优先级的主动规则终止性分析

主动规则的终止性指规则集的规则之间的相互触发不会无限循环下去,即规则是可终止的。对主动规则的终止性分析方法包括图方法和代数分析方法。针对已有分析方法的局限性,介绍一种主动数据库规则终止性分析的一种新方法,将主动规则翻译成逻辑语句,考虑到系统的执行语义,转换为演绎规则中已知终止性的主动过程,利用该规则终止性分析方法对更多规则进行终止性分析,给出相应定理及其证明,最后给出规则优先级算法。     

Key techniques for predicting the uncertain trajectories of moving objects with dynamic environment awareness

Railway Engineering Science - Emerging technologies of wireless and mobile communication enable people to accumulate a large volume of time-stamped locations, which appear in the form of a...     

时滞不稳定系统的模糊设定值加权PID控制

针对时滞不稳定系统,提出了一种基于模糊逻辑的设定值加权PID控制方法。采用以设定值跟随误差和误差变化为输入的二维模糊逻辑控制器来在线实时调整加权参数值,使系统获得更好的目标值跟踪特性。仿真实验结果表明这种方法具有较好的动态性能指标。     

TrueType字体自动打标机软件设计

通过分析TrueType字体文件结构和提取出字符轮廓信息,实现了对字符的无失真任意放大和缩小以及旋转等特效,曲线轮廓可以进行填充。将二次Bezier曲线构成的字符轮廓,通过最小二分法转换成一组能够保持曲线轮廓形状的小折线,将原有的字体轮廓数据从用曲线轮廓表示转变为用多边形顶点控制,用一组点及其先后顺序来描述轮廓。研究了字形交叉的消隐处理方法,解决了笔画重叠的问题。打标机将得到的多边形顶点信息准确打标。