Emotion Deduction from Social Media Text Data Using Machine Learning Algorithm

Emotion represents the feeling of an individual in a given situation. There are various ways to express the emotions of an individual. It can be categorized into verbal expressions, written expressions, facial expressions and gestures. Among these various ways of expressing the emotion, the written method is a challenging task to extract the emotions, as the data is in the form of textual dat. Finding the different kinds of emotions is also a tedious task as it requires a lot of pre preparations of the textual data taken for the research. This research work is carried out to analyse and extract the emotions hidden in text data. The text data taken for the analysis is from the social media dataset. Using the raw text data directly from the social media will not serve the purpose. Therefore, the text data has to be pre-processed and then utilised for further processing. Pre-processing makes the text data more efficient and would infer valuable insights of the emotions hidden in it. The preprocessing steps also help to manage the text data for identifying the emotions conveyed in the text. This work proposes to deduct the emotions taken from the social media text data by applying the machine learning algorithm. Finally, the usefulness of the emotions is suggested for various stake holders, to find the attitude of individuals at that moment, the data is produced. .

Research on Design Method of the Full Form Ship with Minimum Thrust Deduction Factor

In the preliminary design stage of the full form ships, in order to obtain a hull form with low resistance and maximum propulsion efficiency, an optimization design program for a full form ship with the minimum thrust deduction factor has been developed, which combined the potential flow theory and boundary layer theory with the optimization technique. In the optimization process, the Sequential Unconstrained Minimization Technique（SUMT） interior point method of Nonlinear Programming（NLP） was proposed with the minimum thrust deduction factor as the objective function. An appropriate displacement is a basic constraint condition, and the boundary layer separation is an additional one. The parameters of the hull form modification function are used as design variables. At last, the numerical optimization example for lines of after-body of 50000 DWT product oil tanker was provided, which indicated that the propulsion efficiency was improved distinctly by this optimal design method.

DEDUCTION OF CONSTRAINT CONDITIONS IN THE CALIBRATION OF STEREO-VISION SYSTEN

In the test-field calibration,multi-azimuth stereo image pairs areproduced of the outdoor large control-field by the stereo-vision system under cali-bration.While in the analytical processing,the relationship between image pairsis adopted as a constraint condition,which ensures the stability and quality of thecalibration results.This paper introduces the deduction process of the constraintconditions.

Deduction of plastic work rate per unit volume for unified yield criterion and its application

A unified linear expression of plastic work rate per unit volume is deduced from the unified linear yield criterion and the associated flow rule. The expression is suitable for various linear yield loci in the error triangle between Tresca’s and twin shear stress yield loci on the π-plane. It exhibits generalization in which the different value of criterion parameter b corresponds to a specific linear formula of plastic work rate per unit volume. Finally, with the unified linear expression of plastic work rate and upper-bound parallel velocity field the strip forging without bulge is successfully analyzed and an analytical result is also obtained. The comparison with traditional solutions shows that when b=1/(1+ 3 ) the result is the same as the upper bound result by Mises’ yield criterion, and it also is identical to that by slab method with m=1, σ0=0.

Tool Wear Optimization for General CNC Turning Using Fuzzy Deduction

Tool wear is frequently considered in the modern CNC (computer numerical control) turning industry. Most existing optimization researches for CNC finish turning were either accomplished within certain manufacturing circumstances, or achieved through numerous equipment operations. Therefore, a general deduction optimization scheme proposed is deemed to be necessary for the industry. In this paper, four parameters (cutting depth, feed rate, speed, tool nose runoff) with three levels (low, medium, high) are considered to optimize the tool wear for finish turning based on orthogonal array. Additionally, nine fuzzy control rules using triangle membership function with respective to five linguistic grades for tool wear are constructed. Considering four input and twenty output intervals, the defuzzification using center of gravity is then completed and introduced as the S/N (signal-to-noise) ratio. Thus, the optimum general deduction parameters can then be received. The confirmation experiment for optimum general deduction parameters is furthermore performed on an ECOCA-3807 CNC lathe. It is shown that the tool wear ratio from the fuzzy deduction optimization parameters is significantly advanced comparing to those from benchmark. This paper not only proposes a general deduction optimization scheme using orthogonal array, but also contributes the satisfactory fuzzy linguistic approach to tool wear in CNC turning with profound insight.

A genetic algorithm for dynamic parameters reverse deduction of integrated anchorage system

In the analysis of the system of anchoring bar and wall rock in small strain and longitudinal vibration dynamic response, the influence of the cement grouting as well as the rock layer on the anchor bar can be evaluated as the two kinds of parameters: the dynamic stiffness and the damp, which are the vital reference of the anchorage quality. Based on the analytic solution to the dynamic equation of the integrated anchor bar, the new approach which combines genetic algorithm and the toolbox of Matlab is applied to solve the problem of multi-parameters reverse deduction for integrated anchorage system in dynamic testing. Using the traits of the self-organizing, self-adapting and the fast convergence speed of the genetic algorithm, the optimum of all possible solutions to dynamic parameters is obtained by calculating the project instances. Examples show that the method presented in this paper is effective and reliable.

Deduction Theorem and Hypothetical Syllogism Rule on Fuzzy Logic System

Cancelled the first axiom L1) or the third axiom L3) of the classical formal logic system we established two kinds of quasi-formal deductive system, LG-R^* and LG^* respectively. In LG-R^* we proved that neither the deduction theorem nor the hypothetical syllogism (HS) rule held but a deduction theorem and an HS rule are obtained in a weak sense. We also proved that both the deduction theorem and the hypothetical syllogism(HS) rule hold in LG^*.

Implementing Semantic Deduction of Propositional Knowledge in an Extension Multi-layer Perceptron

The paper presents an extension multi-laye r p erceptron model that is capable of representing and reasoning propositional know ledge base. An extended version of propositional calculus is developed, and its some properties is discussed. Formulas of the extended calculus can be expressed in the extension multi-layer perceptron. Naturally, semantic deduction of prop ositional knowledge base can be implement by the extension multi-layer perceptr on, and by learning, an unknown formula set can be found.

Research on key technologies of deduction of multinational power trading in the context of Global Energy Interconnection

When transnationalized electricity trade is conducted in the context of Global Energy Interconnection(GEI),the transaction settlement usually has a long cycle and high cost and is influenced by the volatility of the exchange rate.It is thus necessary to overcome the problems associated with the transaction settlement,change in the trading model data,and trading strategy in the transnational transaction deduction.To overcome the problem of trade settlement,this paper proposes the use of a digital currency(energy currency)for the cross-border electricity trading settlement based on the special drawing rights of the International Monetary Fund,which is controlled by the Global Energy Interconnection Development and Cooperation Organization(GEIDCO),to enable the proposed currency to become a stable digital currency.The traders can use the energy coins as a unit of currency for quotes,combined with the data pertaining to the changes in the energy information obtained from the GEI framework and data regarding the optimally extrapolated reference trading indicators.To realize the implementation of the multi-trader concurrent transaction deduction using a microservice architecture,this paper proposes a method of computing the microservice and synchronous interaction among the traders,based on the database table data,because the large amount of computation is required to be accomplished asynchronously with a single process.The key technology behind these cross-national electricity trading simulations can not only enable the GEI transnational traders to performed daily real-time trading,but it also demonstrates the advantages of the rapid settlement of the energy currency and the realization of a stable payment in the global energy interconnection cross-border electricity trading.

A theoretical deduction for the location of neutral axis in intestine at unloaded configuration

The function of Gastrointestinal tract including intestine is to a large degree mechanical.The mechanical properties of the intestinal wall,and the tonic (sustained) and/or phasic(short-

Background deduction of the Chang'E-1 gamma-ray spectrometer data

Gamma-ray spectrometer(GRS) is used to detect the elemental abundances and distributions on the lunar surface.To derive the elemental abundances,it is vital to acquire background gamma rays except lunar gamma rays.So GRS would observe background spectra in the course of earth-moon transfer on schedule.But in fact,GRS was not switched on in the course of flying toward the moon.After the CE-1 probe finished one-year mission,GRS car-ried out a test on background data on November 21?22,2008.The authors did conduct research on the methods of background deduction using 2105 hours of usable gamma-ray spectra acquired at the 200-km orbital height by the GRS and more than 5 hours of gamma-ray spectra acquired in the GRS background test.The final research results showed that the method of deducting the background using the minimum counts in the CE-1 GRS pixels is optimal for the elements,U,K and Th.The method applies to such a case that the elemental abundances in the pixel with the minimum counting rate are 0 μg/g and the continuum background counts are constant over the Moon.Based on the method of background deduction,the full energy peak counts of U,K,and Th are calculated.

THE OPTIMAL DEDUCTIBLE AND COVERAGE IN INSURANCE CONTRACTS AND EQUILIBRIUM RISK SHARING POLICIES

In this paper, we consider the optimal risk sharing problem between two parties in the insurance business: the insurer and the insured. The risk is allocated between the insurer and the insured by setting a deductible and coverage in the insurance contract. We obtain the optimal deductible and coverage by considering the expected product of the two parties' utilities of terminal wealth according to stochastic optimal control theory. An equilibrium policy is also derived for when there are both a deductible and coverage;this is done by modelling the problem as a stochastic game in a continuous-time framework. A numerical example is provided to illustrate the results of the paper.

A Comparison between Deductive and Inductive Approaches for Teaching EFL Grammar to High School Students

This study had the purpose of testingtwo methods for teaching grammar in Englishasa Foreign Language(EFL)class:the deductive and inductive approaches in terms of effectiveness and rapport.This research was conducted in a public high school in Ecuador.Seventy students enrolled in the second year of senior high school participated.One in-service teacher taught the EFL classes during the process of intervention(10 weeks),and two EFL teachers observed all of these classes and recorded the information by filling in observation sheets.The students were administered grammar pretests and post-tests in order to assess their grammar knowledge.The results of the tests showed a significant difference in the scores in favor of the inductive approach.After the statistical analysis of the data obtained from the tests and observation sheets,we concluded that the inductive approach is more effective for teaching grammar in the EFL classroom in terms of instruction and rapport.

基于知识图谱的城市洪涝灾害链推演及时空特性解析

城市洪涝灾害具有链式传播特性,解析城市洪涝灾害链的传递规律和时空演变特征对于阻断灾害链具有重要意义。本研究以郑州“7·20”特大暴雨洪涝灾害中地铁5号线被淹和京广快速路隧道被淹2个事件为案例,构建知识图谱揭示灾害链传递规律。通过复盘灾害链的演变过程,从中识别灾害链中的诱发点、引爆点、扩散点以及放大点,并着重分析致灾机理以及灾害链的时空特性,以灾害曲线形式直观展示不同灾害链的影响程度。郑州“7·20”洪涝灾害典型案例解析表明,两事件存在多个灾害链阻断时机,在救灾过程中应综合考虑灾前、灾中因素的影响,果断采取断链措施,并且要充分发挥应急措施的时效性,及时阻断引爆点和扩散点,降低洪涝灾害损失。该方法能够应用于链式灾害的复盘,指导分析具体事件的致灾机理和救灾切入点。

助力还是阻力:税收优惠政策与企业数字化转型

税收优惠政策在推进企业数字化转型中发挥了助力还是阻力,这是亟须研究的重要课题。基于2008—2021年中国上市公司数据,考察税收优惠政策对企业数字化转型的影响及作用机制。研究发现:税收优惠能有效促进企业数字化转型,且可以通过促进创新产出、缓解债务风险及优化融资环境的路径提高企业数字化转型水平。进一步研究发现,将税收优惠区分研发费用加计扣除和固定资产加速折旧这两种不同优惠方式,加计扣除与加速折旧对企业数字化转型的影响效应具有显著差异,加计扣除与企业数字化转型呈倒“U”型关系,而加速折旧显著促进了企业数字化转型,且两者之间没有形成“1+1>2”的协同效应。异质性检验发现,税收优惠促进企业数字化转型的作用在非国有企业、内部控制质量较高和成熟期企业较为明显。研究结论有利于厘清税收优惠政策助推企业数字化转型的作用机制,促进企业加快数字化转型。

基于GIS与大数据分析的矿压监测预警平台

为响应国家关于加快煤矿智能化发展的号召,针对煤矿GIS“一张图”中巷道路径不能实现精确计算,矿压数据不能实现高效甄别、有效提取的问题,以及矿压预警需要实现在线推演、可视化展示的需求,提出建立基于GIS与大数据分析的矿压监测预警平台。采用GIS“一张图”、巷道结点-路径拓扑算法、多源异构监测数据处理技术、矿压大数据分析技术,搭建成能够实现矿井下复杂情况切实反映、矿压监测数据有效提取、采掘风险在线预测、可视化程度高的矿压监测预警平台。通过在李雅庄矿的实际应用,表明该系统运行稳定可靠,可有效提升煤矿的矿压风险监测预警。

未来5~10年中国医疗保障待遇设计的改革思路

医疗保障待遇包括起付线、报销比例、封顶线等内容。典型国家社会医疗保险报销起付线多设置在人均年收入的3%以内,对门诊、住院和药剂服务设立了不同的支付政策,医疗费用个人自付占可支配收入的比例在0.25%~2%。借鉴国际经验,展望中国社会医疗保险制度未来的发展,建议提高门诊保障待遇,以可支配收入为基数设置报销起付线,不同层级医疗机构实行相同的报销比例,设置个人自付封顶线,取消门诊报销封顶线,门诊和住院共用个人最高自付限额。

水利工程质量监督全过程全方位定量评价模型构建

为促进我国水利工程质量监督管理工作运行的高效化,确保工程监督的有效性和权威性,基于AHP(analytic hierarchy process)原理,针对水利部督查小组的现场检查情况,依据水利部下达的相关文件,结合负分制和一票否决制,将定性问题定量化,构建一套涉及水利工程建设、运行、管理全过程全方位的质量监督管理评价模型,共包含7层2112个指标。在综合试错的基础上,计算得出不同层级和不同指标的权重,然后选用该模型分析评价2020年7个省份受督查水利工程项目的质量管理与安全生产管理监督数据,间接说明模型的实用性和易操作性。评价结果表明:7个省份均在合格以上,整体质量管理情况较好,但得分差异显著,其中最高得分90.6、最低得分65.6,相差25分;不同类型管理评价结果显示,安全生产管理得分普遍高于质量管理得分;各参建单位评价结果显示,建设单位和勘察设计单位的情况最优、评分基本达到满分,而质量检测单位和施工单位得分最低、需重点加强相关监管。评价结果为水利工程监督管理工作提供了科学的数据支撑,构建的评价模型也为水利工程质量监督定量化提供了易实操的普适性工具。

矛盾体分离超演绎方法及应用

作为当前自动定理证明器中常用的推理机制,传统基于二元演绎超归结方法的推理过程限定每次有且只有2个子句参与演绎,这种分离的演绎步骤导致演绎缺失导向性和预判性,演绎效率有待提升。为了提升演绎效率,在理论上,针对传统的超归结方法引入多元演绎思想,提出矛盾体分离超演绎定义和方法,它具有多元性、动态性和导向性的演绎特性;在算法实现中,考虑子句参与演绎具有多元和协同特性,并灵活设定演绎的条件,提出一种具有回溯机制的矛盾体分离超演绎算法。将所提算法应用于Eprover3.1证明器,以国际自动定理证明器2023年竞赛例和TPTP(Thousands of Problems for Theorem Provers)问题库中难度系数为1的问题作为测试对象,在300 s内,应用所提算法的Eprover3.1证明器比原始Eprover3.1多证明了15个定理;当测试相同数量的定理时,所提算法的平均证明时间缩减了1.326 s,能够证明7个难度系数为1的定理。测试结果表明,所提算法能有效地应用于一阶逻辑自动定理证明,提升自动定理证明器的证明能力和效率。

基于Bookmark标准设定方法的数学演绎推理能力表现研究

为了深入分析八年级学生的数学演绎推理能力表现情况,了解不同性别、不同学校地域学生的表现差异.通过Bookmark方法开展标准设定,基于IRT技术获得学生数学演绎推理能力表现的水平比例.结果显示,有30%的学生达到最高水平,有超过17%的学生处在低水平,尚未达到课程标准要求.总体表现中女生成绩略好于男生,但在水平分布上呈现明显差异性,女生较男生更稳定.城市和县镇学生的能力表现明显好于农村地区学生,3类地域的学生水平分布也呈现明显不同,农村地区高水平人数比例最低,且不合格水平人数比例高于高水平学生比例.结果表明需要关注数学演绎推理能力在性别、地域上的表现差异,教育测量评价研究中开展标准设定工作对测评结果分析有重要作用.