云南高校图书馆联盟文献共享服务平台- FORMALITY

FORMALITY: 作品数：13被引量：3H指数：1; 导出分析报告; 相关领域：自动化与计算机技术电子电信更多>>; 相关作者：王常亮赵乾陈光刘伟超陈跃跃更多>>; 相关机构：中国科学技术大学国防科学技术大学合肥工业大学广东财经大学更多>>; 相关期刊：《铁路通信信号工程技术》《中国集成电路》《Journal of Computational Mathematics》《Computers, Materials & Continua》更多>>; 相关基金：国家自然科学基金中国博士后科学基金更多>>

Improving Machine Translation Formality with Large Language Models: 《Computers, Materials & Continua》2025年第2期2061-2075,共15页Murun Yang Fuxue Li; Preserving formal style in neural machine translation (NMT) is essential, yet often overlooked as an optimization objective of the training processes. This oversight can lead to translations that, though accurate, lac...; 关键词：Neural machine translation FORMALITY large language model text style transfer style evaluation reinforcement learning

The Instability in the Dimensions of Spline Spaces Over T-Meshes with Nested T-Cycles被引量：1: 《Numerical Mathematics(Theory,Methods and Applications)》2019年第1期187-211,共25页Chongjun Li Pengxiao Wang; This work is supported by the National Natural Science Foundation of China(Nos.11471066,11572081,11290143,11601064);Fundamental Research of Civil Aircraft(No.MJ-F-2012-04);the Fundamental Research Funds for the Central Universities(DUT15LK44).; This paper studies on the dimensions of spline spaces over some given T-meshes.Using the smoothing cofactor-conformality method,we study the instability in the dimensions of the spline spaces over T-meshes with 2-nest...; 关键词：Spline space smoothing cofactor-conformality method instability in the dimension T-mesh T-cycle

On the Stylistic Awareness of English Majors' Undergraduate Thesis Writing: 《读与写（教育教学刊）》2017年第4期1-,36,共2页刘娟; The paper discusses the stylistic features of English academic papers from three aspects of formality,objectivity,and conciseness with the purpose to provoke undergraduates’stylistic awareness.This paper also provide...; 关键词：English academic papers stylistic awareness OBJECTIVITY FORMALITY CONCISENESS

Positive curvature, symmetry, and topology: 《Frontiers of Mathematics in China》2016年第5期1099-1122,共24页Manuel AMANN; We depict recent developments in the field of positive sectional curvature, mainly, but not exclusively, under the assumption of isometric torus actions. After an elaborate introduction to the field, we shall discuss ...; 关键词：Positive sectional curvature torus actions Euler characteristic Hopf conjecture index theory Wilhelm conjecture geometric formality

Formal or Informal? The Dispute Settlement Mechanisms of China's Free Trade Agreements: 《Journal of Shanghai Jiaotong university(Science)》2016年第1期44-50,共7页赵军胡妤; the Chinese Education Ministry Key Research Program(No.14JJD810017);the China Postdoctoral Science Foundation(No.2015M581553); The dispute settlement mechanism(DSM) has long been the focus of attention because of its significant role in the institutional construction of China's free trade agreements(FTAs). Thus, this paper is to make an analy...; 关键词：free trade agreements(FTAs) dispute settlement mechanism(DSM) INFORMALITY FORMALITY

轨道交通设备中FPGA芯片等效性验证方法: 《铁路通信信号工程技术》2016年第1期72-76,共5页陈光郑桂燕刘伟超; FPGA芯片综合及布局布线后的功能验证对于保证设计可靠性有重要意义,目前常用的后仿真验证方法存在两个问题,一个是复杂度大时间较长,另一个是异常状态的测试覆盖率不足。提出利用等效性检查进行功能验证的方法,并给出主流厂商芯片的验...; 关键词：等效性检查 FPGA验证 Formality软件 CONFORMAL LEC软件

ON THE PROBLEM OF INSTABILITY IN THE DIMENSIONS OF SPLINE SPACES OVER T-MESHES WITH T-CYCLES被引量：2: 《Journal of Computational Mathematics》2015年第3期248-262,共15页Qing-Jie Guo Ren-Hong Wang Chong-Jun Li; Acknowledgments. This work is partly supported by the National Natural Science Foundation of China （Nos. 11290143, Ul135003, 11471066, 11271060, 11301052）, Fundamental Research of Civil Aircraft （No. MJ-F-2012-04）, and the Fundamental Research Funds for the Central Universities （Nos. DUT13LK07, DUT13LK45, DUT14YQ111）.; The T-meshes are local modification of rectangular meshes which allow T-junctions. The splines over T-meshes are involved in many fields, such as finite element methods, CAGD etc. The dimension of a spline space is a ...; 关键词：Spline space Smoothing cofactor-conformality method Instability in the dimension T-meshes.

An Analysis of the Social Distance Factor Affecting Language Use: 《校园英语》2015年第6期200-201,共2页闫宇; The social distance is the main social factor that influences language use.This paper explores how the social distance affects language use in different ways based on solidarity,status and formality,in order to achiev...; 关键词：SOCIAL DISTANCE LANGUAGE use SOLIDARITY status FORMALITY

Formality Degrees of Language from the Perspective of Register: 《海外英语》2014年第13期242-243,共2页朱峡; The three variables—field,mode and tenor form the integrated system of a register which has the function of reflecting culture and language features.Via the analysis of the three dimensions of register,it intends to ...; 关键词：REGISTER field mode TENOR DEGREE of LANGUAGE forma

Extending Extreme Programming User Stories to Meet ISO 9001 Formality Requirements: 《Journal of Software Engineering and Applications》2011年第11期626-638,共13页Malik Qasaimeh Alain Abran; For software organizations needing ISO 9001 certification, including those that have adopted agile methodologies, it is important that their software life cycle processes be able to manage the requirements imposed by ...; 关键词：Extreme Programming ISO 90001 AGILE PROCESS Improvement Certification PROCESS

FORMALITY