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 func- tions and their affine functions, then analyzes the BAA of multi-output m-valued logical functions and finally gives the spec- tral characteristics of BAA of multi-output m-valued logical func- tions.

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.

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.

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.

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 2 n + m+ 1vectors for the detections of AND bridging faults and a test set with 2n + mvectors for the detections of OR bridging faults are presented. Secondly, for the testable realization by using XOR gate tree, a test set with 2n + mvectors for the detections of AND bridging faults and a test set with 3n + m+ 1vectors for the detections of OR bridging faults are presented. Finally, a single fault test set with n + 5vectors for the XOR gate tree realization is pre- sented. 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安全认证算法

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

基于姿态与力测量的手功能自动康复评估方法

脑卒中后约70%的患者存在手部功能障碍,需要长期进行康复治疗。康复评估是制定康复治疗方案的科学依据。现有手功能评定方法需要有经验的医生指导患者完成目标任务,其评分机制具有一定的主观性,而且持续时间较长,整个评估过程不仅费力、复杂,还降低了患者的舒适度。目前仍缺乏准确的手功能自动评估系统,开发客观、定量、可靠的测量设备,实现手功能自动评估在康复医学中具有重要意义。因此,提出一种基于柔性阵列式薄膜压力传感器(Flexible Array Pressure Sensor,FAPS)和RGBD相机的自动Fugl-Meyer手功能评估系统。该系统采用Leap Motion双目视觉传感器跟踪手部/手腕的运动姿态,将FAPS分别附着在5种抓握工具上,记录5种抓握方式下手部的力信息。设计包含教学视频的上位机平台,指导患者康复评估动作。分别提取运动姿态和力信息的特征值,设计基于不同条件的逻辑规则分类方法进行每个动作的评定。进行了初步实验,结果证明该系统可用于手部运动功能的康复评估。

基于S-function的模糊逻辑系统控制器Simulink仿真

提出将模糊逻辑系统表达式与模糊控制规则表相结合,并用S-function将其形成模块,再用Simulink对所设计的模糊控制系统仿真,编程快捷、调试方便。

基于模糊多判据融合的单端暂态量保护新方案

针对现有单端暂态量保护方案仅依赖单一故障特征进行故障识别导致可靠性不高的问题,提出了一种基于模糊多判据融合的单端暂态量保护新方案,实现不同单端暂态量保护方案间的优势互补。首先,分析了现有基于高低频暂态能量比值、故障初始零模/线模电压行波到达时间差以及前两个线模电压行波极性关系3种单端暂态量保护方案保护判据的特性及其动作灵敏区,在此基础上构造了相应判据的模糊隶属度函数;其次,针对不同暂态量保护方案的优缺点,基于模糊逻辑将上述3种单端暂态量保护方案进行有机融合以判别故障区段;最后,基于PSCAD/EMTDC的大量仿真,对比分析了上述3种暂态量保护方案以及所提新方案在不同故障位置、不同母线杂散电容、不同过渡电阻以及不同权重系数等条件下的适应性,验证了新方案的有效性。

面向时变复数的模糊归零神经网络算法

【目的】为了求解时变复数西尔维斯特方程(Sylvester equation),提出两种全新的复值模糊归零神经网络(fuzzy logic system for zeroing neural network, FLSVZNN)模型。【方法】首先,在两种复数归零神经网络(complex-valued zeroing neural network, CVZNN)模型的基础上,引入模糊逻辑系统(fuzzy logic system, FLS)来控制信号的处理,从而提出两种FLSVZNN模型;然后,利用李亚普诺夫定理(Lyapunov's theorem)来分析模型的稳定性和收敛速度;最后,通过仿真试验来进一步验证FLSVZNN的优越性能。【结果】在求解时变复数西尔维斯特方程时,相比传统的神经网络模型,使用改进的符号双幂(sign-bi-power, SBP)函数来激活的FLSVZNN模型具有更好的收敛性和稳定性,可使误差函数在0.3 s左右收敛至0。【结论】本研究提出的两种FLSVZNN模型能快速求解时变复数西尔维斯特方程,这可为神经网络模型的建立及工程应用提供参考。