Ingredients-based Methodology and Fuzzy Logic Combined Short-Duration Heavy Rainfall Short-Range Forecasting:An Improved Scheme

Short-duration heavy rainfall(SHR),as delineated by the National Meteorological Center of the China Me-teorological Administration,is characterized by hourly rainfall amounts no less than 20.0 mm.SHR is one of the most common convective weather phenomena that can cause severe damage.Short-range forecasting of SHR is an important part of operational severe weather prediction.In the present study,an improved objective SHR forecasting scheme was developed by adopting the ingredients-based methodology and using the fuzzy logic approach.The 1.0°×1.0°National Centers for Environmental Prediction(NCEP)final analysis data and the ordinary rainfall(0.1-19.9 mm h-1)and SHR observational data from 411 stations were used in the improved scheme.The best lifted index,the total precipitable water,the 925 hPa specific humidity(Q 925),and the 925 hPa divergence(DIV 925)were selected as predictors based on objective analysis.Continuously distributed membership functions of predictors were obtained based on relative frequency analysis.The weights of predictors were also objectively determined.Experiments with a typhoon SHR case and a spring SHR case show that the main possible areas could be captured by the improved scheme.Verification of SHR forecasts within 96 hours with NCEP global forecasts 1.0°×1.0°data initiated at 08:00 Beijing Time during the warm seasons in 2015 show the results were improved from both deterministic and probabilistic perspectives.This study provides an objectively feasible choice for short-range guidance forecasts of SHR.The scheme can be applied to other convective phenomena.

Analysis of a Class of Logical Functions over Galois and Z_m Rings

In this paper, the author analyzed some cryptographic properties of a class of logical functions, f(x,y)=(q(x),...,q(x))·y+h(x),over Galois rings and residue rings, presented the relationship between the character spectrum of f(x,y) and the character speetrum of q(x),h(x) and the relationship between the cryptographic properties of f(x,y) and the cryptographic properties of h(x).

Fuzzy logic controller design with unevenly-distributed membership function for high performance chamber cooling system

Fuzzy logic controller adopting unevenly-distributed membership function was presented with the purpose of enhancing performance of the temperature control precision and robustness for the chamber cooling system.Histogram equalization and noise detection were performed to modify the evenly-distributed membership functions of error and error change rate into unevenly-distributed membership functions.Then,the experimental results with evenly and unevenly distributed membership functions were compared under the same outside environment conditions.The experimental results show that the steady-state error is reduced around 40% and the noise disturbance is rejected successfully even though noise range is 60% of the control precision range.The control precision is improved by reducing the steady-state error and the robustness is enhanced by rejecting noise disturbance through the fuzzy logic controller with unevenly-distributed membership function.Moreover,the system energy efficiency and lifetime of electronic expansion valve(EEV) installed in chamber cooling system are improved by adopting the unevenly-distributed membership function.

HAAR EXPANSIONS OF A CLASS OF FRACTAL INTERPOLATION FUNCTIONS AND THEIR LOGICAL DERIVATIVES

In this paper,we study a special class of fractal interpolation functions,and give their Haar-wavelet expansions.On the basis of the expansions,we investigate the H(o|¨)lder smoothness of such functions and their logical derivatives of order α.

LOGICAL SYNTHESIS OF MOLTIVALUED SYMMETRIC FUNCTION BASED ON BINARY FULL ADDERS

This paper discusses the definition and properties of multivalued symmetric functions, points out that a multivalued symmetric function can be decomposed according to the value of the function j. The subfunction Lj corresponding to j must be a symmetric function, and it may be expressed as the sum of products form of degenerated multivalued fundamental symmetric functions. Based on this consideration, the circuit realization for the multivalued symmetric functions based on full adders is proposed.

SPECTRAL ANALYSIS OF SOME INDEPENDENCES OF MULTIPLE-VALUED LOGICAL FUNCTIONS ON THEIR VARIABLES

There are many kinds of special relationships between multiple-valued logical func-tions and their variables, and they are difficult to be judged from their expressions. In thispaper, some sufficient and necessary conditions of the independence and statistical independenceof multiple-valued logical functions on their variables are given. Some conditions of algebraicindependence of multiple-valued logical functions on some of their variables and the way to de-generate a function to the greatest extent are proposed, and some applications of these resultsare indicated. All the results are studied by using Chrestenson spectral techniques.

Spectral Characteristics of the Best Affine Approach of Multi-Output m-Valued Logical Functions

This paper discusses the best affine approach （BAA） of multi-output m-valued logical functions. First, it gives the spectra of rate of accordance between multi-output m-valued logical functions and their affine functions, then analyzes the BAA of multi-output m-valued logical functions and finally gives the spectral characteristics of BAA of multi-output m-valued logical functions.

Logical Function Decomposition Method for Synthesis of Digital Logical System Implemented with Programmable Logic Devices (PLD)

The paper consists in the use of some logical functions decomposition algorithms with application in the implementation of classical circuits like SSI, MSI and PLD. The decomposition methods use the Boolean matrix calculation. It is calculated the implementation costs emphasizing the most economical solutions. One important aspect of serial decomposition is the task of selecting “best candidate” variables for the G function. Decomposition is essentially a process of substituting two or more input variables with a lesser number of new variables. This substitutes results in the reduction of the number of rows in the truth table. Hence, we look for variables which are most likely to reduce the number of rows in the truth table as a result of decomposition. Let us consider an input variable purposely avoiding all inter-relationships among the input variables. The only available parameter to evaluate its activity is the number of “l”s or “O”s that it has in the truth table. If the variable has only “1” s or “0” s, it is the “best candidate” for decomposition, as it is practically redundant.

FAULT DETECTION TEST SET FOR TESTABLE REALIZATIONS OF LOGIC FUNCTIONS WITH ESOP EXPRESSIONS

The circuit testable realization and its fault detection for logic functions with ESOP （EXOR-Sum-Of-Products） expressions are studied. First of all, for the testable realization by using XOR gate cascade, a test set with 2n ＋ m ＋ 1 vectors for the detections of AND bridging faults and a test set with 2n ＋ m vectors for the detections of OR bridging faults are presented. Secondly, for the testable realization by using ）（OR gate tree, a test set with 2n ＋ m vectors for the detections of AND bridging faults and a test set with 3n ＋ m ＋ 1 vectors for the detections of OR bridging faults are presented. Finally, a single fault test set with n ＋ 5 vectors for the XOR gate tree realization is presented. Where n is the number of input variables and m is the number of product terms in a logic function.

Evolution Performance of Symbolic Radial Basis Function Neural Network by Using Evolutionary Algorithms

Radial Basis Function Neural Network(RBFNN)ensembles have long suffered from non-efficient training,where incorrect parameter settings can be computationally disastrous.This paper examines different evolutionary algorithms for training the Symbolic Radial Basis Function Neural Network(SRBFNN)through the behavior’s integration of satisfiability programming.Inspired by evolutionary algorithms,which can iteratively find the nearoptimal solution,different Evolutionary Algorithms(EAs)were designed to optimize the producer output weight of the SRBFNN that corresponds to the embedded logic programming 2Satisfiability representation(SRBFNN-2SAT).The SRBFNN’s objective function that corresponds to Satisfiability logic programming can be minimized by different algorithms,including Genetic Algorithm(GA),Evolution Strategy Algorithm(ES),Differential Evolution Algorithm(DE),and Evolutionary Programming Algorithm(EP).Each of these methods is presented in the steps in the flowchart form which can be used for its straightforward implementation in any programming language.With the use of SRBFNN-2SAT,a training method based on these algorithms has been presented,then training has been compared among algorithms,which were applied in Microsoft Visual C++software using multiple metrics of performance,including Mean Absolute Relative Error(MARE),Root Mean Square Error(RMSE),Mean Absolute Percentage Error(MAPE),Mean Bias Error(MBE),Systematic Error(SD),Schwarz Bayesian Criterion(SBC),and Central Process Unit time(CPU time).Based on the results,the EP algorithm achieved a higher training rate and simple structure compared with the rest of the algorithms.It has been confirmed that the EP algorithm is quite effective in training and obtaining the best output weight,accompanied by the slightest iteration error,which minimizes the objective function of SRBFNN-2SAT.

教育数字化推动教育强国建设的功能逻辑与实践进路

教育与数字技术的融合引领了未来教育发展的新趋势,为人类教育带来更广阔的发展空间和美好愿景。在教育强国建设过程中,教育数字化展现出其独特的技术优势,它既是推动教育强国建设的重要基础和动能引擎,又能为教育强国建设提供根本保障。借助教育数字化的力量,形塑教育要素新样态、助推数字教育模式革新、赋能教育多元体系构建、促进数字教育生态重塑以及扩大数字教育国际影响力,是教育数字化赋能教育强国建设功能演进的内在逻辑。教育数字化有效推动教育强国建设,需要聚焦拔尖创新人才培养,提高教育数字化对教育强国建设的贡献指数;矫正主体认知抵牾,加强教育数字化对教育强国建设的多方协作;增强教育深层变革,释放教育数字化对教育强国建设的巨大潜能;创新教育技术体系,响应教育数字化对教育强国建设的内生需求;健全数字教育制度,保障教育数字化对教育强国建设的持续赋能,从而充分发挥教育数字化重要突破口的作用,整体推进教育高质量发展,助力教育强国建设。

基于改进型滑模变结构的永磁同步电机的无位置传感器矢量控制

针对传统滑模控制采用不连续的符号函数作为滑模面切换函数所引起的抖振问题,提出一种基于改进型滑模变结构的永磁同步电机的无位置传感器矢量控制方法,来削弱抖振,从而改善系统的动、静态性能。首先,设计了改进型滑模控制器和改进型滑模观测器的变结构控制系统。其次,采用连续的开关函数——双曲正切函数作为滑模面切换函数,并通过模糊逻辑控制对双曲正切函数的形状系数进行调整,减弱固定边界层厚度所引起的抖振。然后,运用李雅普诺夫第二定理证明所设计的控制系统的稳定性。最后,与其他方法相比,仿真结果证明了所提方法的可行性和有效性。

基于有限谓词追踪的民机系统需求一致性检查方法

针对民机安全关键系统在正向研发过程中,系统级需求的正确性难以在设计早期全部完成确认的问题,提出一种基于有限谓词追踪的功能需求一致性检查体系。首先,引入一阶逻辑中的谓词追踪,建立系统内部功能需求与交互功能需求形式化规约方法。其次,针对单条、多条需求内容正确性以及需求关系一致性,构建需求一致性检查形式化规约,开展需求自冲突、集冲突与需求关系一致性检验,并生成可解释的检查反例进行需求迭代。最后,以机载平视显示(head-up display,HUD)系统飞行信息符号生成与显示功能为例,验证该方法的正确性与有效性。研究结果表明,基于有限谓词追踪的功能需求一致性检查方法能够提高需求一致性检查效率、降低研发成本,为民机系统级需求确认提供支持。

科技情报机构的智库功能

[目的/意义]支撑决策是科技情报工作的重要使命,当前科技情报机构正积极探索发挥科技智库功能的转型路径。[方法/过程]本文采用文献调查、案例比较等方法,深入分析科技情报机构智库功能的基础条件、典型做法,结合工作实际总结发挥好智库功能的实践逻辑和实现路径。[结果/结论]本文原创提出做好支撑决策的情报研究工作可以遵循的实践逻辑:坚持“从零散转化为结构,从结构整合为系统,从系统升华到体系”的层次渐进认知,贯通“感知-监测-理解-分析-预判”的实践路径,循环迭代,贴近乃至契合决策咨询需求。

基于中国剩余定理的NFC安全认证算法

针对近场通信技术在应用中出现的安全隐患问题,给出一种基于中国剩余定理的算法。算法利用中国剩余定理实现对传送信息进行加密,中国剩余定理基于数学中大素数分解难题,使得攻击者无法进行破解;所有信息加密过程中混入随机数,用于保证消息的新鲜性;算法在进行信息更新时采用伪随机函数计算,因伪随机函数具备的单向性,使得攻击者无法分析出有用隐私信息。将不同算法对比安全分析,表明该算法能够抵抗重放攻击、异步攻击等多种攻击。通过性能角度及仿真实验对多个算法进行分析,结果表明该算法计算时间复杂度低于其他算法。

论我国医疗救助托底功能的制度逻辑

托底保障是我国医疗救助制度的重要功能之一,该功能的确立应具有自身的逻辑自洽。托底功能的内涵逻辑体现在救助对象托底、医疗保障体系托底和医疗救助对象责任托底三个方面。在设定医疗救助托底标准时,除了与医疗救助托底功能所保障的公民权利相匹配外,还应综合考量制约医疗救助托底标准的相关因素。此外,医疗救助托底制度的施行也需遵循一定的逻辑。

资本功能及外部性的理论逻辑与中国式现代化

个别资本将新方法新技术应用于生产,能够提高生产力和增加财富,为劳动者财富占有上的共同富裕提供支持;也能降低个别价值,为其他资本降低工资水平、占有劳动生产的相对剩余价值转化的利润提供可能,从而影响劳动者的收入水平。中国式现代化本质要求实现高质量发展和全体人民(尤其是劳动者)共同富裕,既要发挥资本提高生产力和增加财富的积极作用,也要消除资本占有劳动生产的剩余价值的消极影响,因此必然要求创新产权制度安排,发挥资本功能的积极作用,消除资本功能的不利影响。

资本功能财富增长与共同富裕之间的内在逻辑

资本运用新方法新技术能够发展生产力和增加财富,能为全体人民共同富裕提供财富支持,但并不一定保障全体人民财富占有上的共同富裕。资本与劳动力资本相结合,既有发展生产力和增加财富的功能,又有推进全体人民共同富裕的作用。生产资料资本化为资本所有者股份和劳动力资本化为劳动者股份的新型股份制,能够实现资本和劳动力资本有机结合,能够实现劳动贡献归劳动者所有、资本贡献归资本所有者所得,有利于促进生产力发展、财富增长和全体人民共同富裕,是中国式现代化本质要求的制度创新安排。

智能座舱方向盘收纳隐藏系统功能设计

随着汽车智能技术的发展,人们对驾乘体验的智能化需求日益增多,智能座舱和智能底盘是实现这一需求的关键总成。方向盘迎宾功能是智能座舱体现舒适性和体验性的核心功能,同时,未来高等级智能驾驶汽车实现完全自主驾驶后方向盘还应具有收纳隐藏功能,以进一步拓展良好的驾乘舒适性和体验性。文章研究一种既有传统方向盘迎宾功能,又有收纳隐藏功能的智能座舱方向盘收纳隐藏系统,通过对方向盘收纳隐藏系统的构成、工作原理、控制逻辑等方面的研究,进行方向盘收纳隐藏系统的功能设计,包括电动调节功能、迎宾功能、方向盘翻转功能、电调管柱长距离收纳功能、可拓展功能等,满足了未来智能线控转向系统中的路感模拟装置需具备收纳隐藏的新技术要求。

城市社区去行政化改革的事物、职能和组织维度

近年来,去行政化一直是基层治理改革的主题。部分地方政府探索了“居站分设”“撤街强社”等模式,但由于缺乏综合性,单一线索的改革难免陷入困境。现有文献从国家社会关系和社区职能分类等视角探索去行政化改革,但由于未能全面纳入社区治理的影响因素,因而和社区治理实践存在一定的脱节。在利用事物、职能和组织逻辑的框架透视改革历程后发现,缺乏彼此配合的单一逻辑改革效果有限。住房制度改革和物业服务的市场化开辟了行政控制外的新空间,却面临业主组织支撑力度不强的难题。职能分类和准入制为社区去行政化提供了前提,但缺少组织关系改革的配合,行政性事项仍然会渗透组织边界进入居民委员会。居站分离改革为去行政化提供了组织依托,但由于缺乏系统性思维而出现了分殊。三重逻辑框架和对改革历程的分析启示,未来的去行政化要避免单一逻辑的事物职能改革或者组织改革,坚持“事物职能分类、居站分离和培育居民自治”三策并举的复合型改革,继续梳理制定社区事物职能分类目录,结合目录清单改革城市的社区居站关系,聚焦相关利益和治理环节培育居民委员会自治能力。