Extension of Subjective Logic for Time-Related Trust

To describe the dynamic propcrty of trust relationship, wt propose atime-related trust model and extend Joang's subjective logic to fit for time-related trust model.The extension includes prepositional conjunction, disjunction and negation for traditional logic anddiscounting and consensus operators that are evidential operators specially designed for thepropagation and computation of trust relationships. With the extension of subjective logic fortime-related trust, our time-related trust modelis suitable to model the dynamic trust relationshipin practice. Finally an example of reputation assessment is offered to demonstrate the usage of ourtrust model.

Timed automata for metric interval temporal logic formulae in prototype verification system

Based on analysis of the syntax structure and semantics model of the metric interval temporal logic （MITL） formulas, it is shown how to transform a formula written in the real-time temporal logic MITL formula into a fair timed automaton （TA） that recognizes its satisfying models with prototype verification system （PVS） in this paper. Both the tabular construction＇s principles and the PVS implementation details are given for the different type of MITL formula according to the corresponding semantics interpretations. After this transformation procedure, specifications expressed with MITL formula can be verified formally in the timed automata framework developed previously.

Quantum Fuzzy Logic and Time

Recently we proposed the linguistic Copenhagen interpretation (or, quantum language, measurement theory), which has a great power to describe both classical and quantum systems. Thus we think that quantum language can be viewed as the language of science. Further, we showed that certain logic (called quantum fuzzy logic) works in quantum language. In general, it is said that logic and time do not go well together. Then, the purpose of this paper is to show that quantum fuzzy logic works well with time. That is, quantum fuzzy logic has the advantage of being able to clearly distinguish between implication and causality. In fact, we will show the contraposition of the proposition “If no one is scolded, no one will study” (or the negation of “John is always hungry”) can be written in quantum fuzzy logic. However, “time” in everyday language has various aspects (e.g., tense, subjective time). Therefore, it is not possible to understand all of the “time” of everyday language by the “time” of quantum language.

Internal Logic and Significance of Times in Xi Jinping s Important Exposition of Poverty Alleviation

Eliminating poverty is the essential requirement of socialism. Since the 18th National Congress of the Communist Party of China, targeted poverty alleviation has become a major strategy for poverty alleviation and development in China. Xi Jinping s important exposition of poverty alleviation is the theoretical basis and practical guide to direct the effective implementation of China s targeted poverty alleviation strategy. It has gradually developed into an innovative theoretical system for poverty alleviation and development in the new era, with meticulous internal logic and a reputation for the significance of the times at home and abroad. Xi Jinping s thought of targeted poverty alleviation is the development and innovation of the theory and practice of poverty alleviation and development with Chinese characteristics. It is an important guarantee for China to win the battle to get rid of poverty and build a well-off society in an all-round way, and has contributed China s wisdom and China s plan to reducing poverty in the world.

Timed SEFM:面向嵌入式实时控制系统的编程模型

实时任务的功能和其完成时间共同影响嵌入式控制系统的物理行为。传统的进程/线程模型缺乏时间语义,时间属性只能用优先级间接表达,任务的实际完成时间不具有确定性。Henzinger提出的LET(Logical Execution Time)编程模型用协作式的时间触发语义明确描述时间需求,但其所基于的操作系统仍沿用进程/线程模型,仍会引入时间不确定性。结合服务体/执行流模型SEFM(Servant/Exe-Flow Model)和LET模型,定义了一种时间确定的编程模型Timed SEFM,用改进的SEFM模型描述系统的功能行为,用LET描述系统的时间行为。把智能小车控制系统的实现作为研究实例。

一种分析Timed-Release公钥协议的扩展逻辑

在Coffey和Saidha提出的CS逻辑 (CS逻辑将时间与逻辑结构相结合 ,可用于形式化分析Timed release公钥协议的时间相关性秘密的安全性 )的基础上 ,提出了CS逻辑的扩展逻辑 ,它更好地反映了Timed release公钥协议的特性 ,并对一个协议实例进行了有效的形式化分析 .

A New Bandwidth Interval Based Forecasting Method for Enrollments Using Fuzzy Time Series

In this paper, we introduce the concept of (4/3)? bandwidth interval based forecasting. The historical enrollments of the university of Alabama are used to illustrate the proposed method. In this paper we use the new simplified technique to find the fuzzy logical relations.

Logical and Timing Control for Diagnostic Neutral Beam Injection on HT-7

The timing and master control logic （MCL） units are the most important function units of the diagnostic neutral beam （DNB） power supply control system. The units control the operation of nine power supply subsystems of the DNB system, and provide protection for the DNB system from faults such as beam source arc down. Based on the characteristics of the DNB power supply system, the timing and MCL units have been designed, fabricated and tested. Experiments prove that the timing unit is convenient, flexible and reliable, and the MCL is functional.

习近平文化思想的价值、特质与内在逻辑

习近平文化思想坚持马克思主义的立场观点方法,坚守中华文化立场,是习近平新时代中国特色社会主义思想的文化篇,是中国共产党最新的文化思想成果。习近平文化思想明确了新时代文化建设的路线图和任务书,具有鲜明的实践导向性,为新形势下宣传思想文化工作提供了强大思想武器和科学行动指南。习近平文化思想具有丰富的价值意蕴,丰富和发展了马克思主义文化理论,指明和标注了新时代新的文化使命,也为实现中华民族伟大复兴提供行动指南并注入强大精神动力。习近平文化思想展现出了时代特质,坚守人民立场和政治底色、坚持宏微结合和体用贯通,并彰显了民族特性与世界眼光。习近平文化思想坚持和实现了历史性与现实性的统一,文化本体与文化形态的统一,合规律性与合目的性的统一,内在发展和外在保障的统一。把握习近平文化思想的内在逻辑,有利于深刻认识和理解习近平文化思想生成、存在和发展的内外动因。

Adaptive Fuzzy Observer Backstepping Control for a Class of Uncertain Nonlinear Systems with Unknown Time-delay

In this paper, a new adaptive fuzzy backstepping control approach is developed for a class of nonlinear systems with unknown time-delay and unmeasured states. Using fuzzy logic systems to approximate the unknown nonlinear functions, a fuzzy state observer is designed for estimating the unmeasured states. On the basis of the state observer and applying the backstepping technique, an adaptive fuzzy observer control approach is developed. The main features of the proposed adaptive fuzzy control approach not only guarantees that all the signals of the closed-loop system are semiglobally uniformly ultimately bounded, but also contain less adaptation parameters to be updated on-line. Finally, simulation results are provided to show the effectiveness of the proposed approach.

Fuzzy PID Controllers Using FPGA Technique for Real Time DC Motor Speed Control

The design of intelligent control systems has become an area of intense research interest. The development of an effective methodology for the design of such control systems undoubtedly requires the synthesis of many concepts from artificial intelligence. The most commonly used controller in the industry field is the proportional-plus-integral-plus-derivative (PID) controller. Fuzzy logic controller (FLC) provides an alternative to PID controller, especially when the available system models are inexact or unavailable. Also rapid advances in digital technologies have given designers the option of implementing controllers using Field Programmable Gate Array (FPGA) which depends on parallel programming. This method has many advantages over classical microprocessors. In this research, A model of the fuzzy PID control system is implemented in real time with a Xilinx FPGA (Spartan-3A, Xilinx Company, 2007). It is introduced to maintain a constant speed to when the load varies.,The model of a DC motor is considered as a second order system with load variation as a an example for complex model systems. For comparison purpose, two widely used controllers “PID and Fuzzy” have been implemented in the same FPGA card to examine the performance of the proposed system. These controllers have been tested using Matlab/Simulink program under speed and load variation conditions. The controllers were implemented to run the motor as real time application under speed and load variation conditions and showed the superiority of Fuzzy-PID.

The Action Logic of China's Human Rights Development in Three Dimensions

Building a moderately prosperous society in all respects is a milestone in China’s human rights development.It clearly reflects the profound action logic of the CpC leading the Chinese people to fight for and realize the protection of rights.At the level of values,the logic of rights for China’s human rights development is mainly manifested in four aspects:prioritizing the right to subsistence and the right to development in the rights system;importance given to citizenship and democracy by the goal of building a moderately prosperously society in all respects;advocating the right to unity and the right to participate in the common cause of the Chinese people;implementing the responsibility of leaders and managers to safeguard human rights.At the practical level,the protection logic of China’s human rights development mainly includes four links:firstly,gradual upgrading is a reliable procedure for the coordination of the human rights system;secondly,the rule of law is a solid foundation for the steady development of human rights;thirdly,the courage to explore is the important factor for the success of human rights practice;lastly,seeking common ground while shelving differences is the key consensus for mutual learning among human rights civilizations.In terms of time and space,China’s human rights development has achieved world-recognized success,laying a solid foundation for this endeavor to proceed,and providing experience and reference for people all over the world to pursue common human rights ideals.

《资本论》的时间辩证法:资本逻辑的时间叙事及其解放

《资本论》的时间概念与资本批判紧密相连。马克思在该书中分析指出,时间在资本的作用下呈现出具体和抽象的二重性质。具体时间与个体的社会劳动结合在一起,抽象时间则表现为价值的独立运动。资本周转与时间转化交织浸润,资本逻辑的建构体现为从具体转化为抽象的时间规范。作为一种将时间抽象化的强制力量,资本将个体的生命时间统摄于它的结构之内,这导致劳动者无可规避地处于被奴役和支配的异化状态。除了建构时间的抽象统治结构,资本主义还造就了一种瓦解资本逻辑的历史动力——从抽象还原到具体的自由时间。资本增殖的空间来源于劳动者被压缩的可支配的自由时间,只有对资本的批判“代表一个阶级”,劳动者才能真正推翻时间的抽象统治。要完全超越资本,必须要在整个社会范围内解放自由时间。只有在社会主义社会中,时间才能从异化劳动的空间转化为自由发展的空间。马克思在《资本论》中的上述分析,不仅解开了“资本之谜”,也解开了“时间之谜”和“自由之谜”,在揭示资本逻辑限度的同时,为当代社会主义世界中人的自由解放指明了方向。

Assembly Line Balancing Using Fuzzy Logic: A Case Study of a Tricycle Assembly Line

The application of fuzzy logic in balancing a single model tricycle assembly line is presented in this study. MATLAB simulation software was used in the analysis of the primary and secondary data obtained from the assembly line under study. Results obtained from the study show that the efficiency of the line increased from 88.1% to 92.4%. The total idle time was also reduced by 56.5%. This indicates an improvement in the efficiency of the line, reduction of bottleneck, and even distribution of tasks along the line for the company under study.

Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study

A multi-agent based transport system is modeled by timed automata model extended with clock variables. The correctness properties of safety and liveness of this model are verified by timed automata based UPPAAL. Agents have a degree of control on their own actions, have their own threads of control, and under some circumstances they are also able to take decisions. Therefore they are autonomous. The multi-agent system is modeled as a network of timed automata based agents supported by clock variables. The representation of agent requirements based on mathematics is helpful in precise and unambiguous specifications, thereby ensuring correctness. This formal representation of requirements provides a way for logical reasoning about the artifacts produced. We can be systematic and precise in assessing correctness by rigorously specifying the functional requirements.

Single-Stage Vernier Time-to-Digital Converter with Sub-Gate Delay Time Resolution

This paperpresents a single-stage Vernier Time-to-Digital Converter (VTDC) that utilizes the dynamic-logic phase detector. The zero dead-zone characteristic of this phase detector allows for the single-stage VTDC to deliver sub-gate delay time resolution. The single-stage VTDC has been designed in 0.13μm CMOS technology. The simulation results demonstrate a linear input-output characteristic for input dynamic range from 0 to 1.6ns with a time resolution of 25ps.

中国体育产业数字化转型的时代逻辑、问题审视及应对方略

面对百年未有之大变局,数字技术赋能经济社会高质量发展已是大势所趋,同时也为体育产业的数字化转型升级带来了新思路、新方向和新动力,对全面落实体育强国、健康中国以及全民健身等国家战略具有重大意义。运用文献资料等方法,对体育产业数字化转型的时代逻辑、问题审视以及应对方略进行探讨。研究认为,产业数字化浪潮的不可逆转、体育产业高质量发展的时代呼唤以及体育消费转型升级的形势倒逼是中国体育产业数字化转型的时代逻辑。立足体育政策落实、体育市场动力、体育服务消费、体育技术应用等层面对中国体育产业数字化转型进行问题审视,并在此基础上提出健全政策保障体系、创新企业发展模式、培养数字消费群体、深化数字技术应用等推进中国体育产业数字化转型的应对方略。

计及气象因素与分时电价影响的综合能源系统负荷调控策略研究

用能高峰时段,综合能源系统多元负荷受气象因素影响,使其用能需求量短时持续上升,导致供需矛盾加剧;同时,综合能源系统多能耦合转换与蓄放单元的电驱动特点(如冰蓄冷空调、电制冷制冰)致使其用能成本受分时电价影响进一步增加。以供冷季用能高峰时段综合能源系统冷-电供需调控为研究对象,提出一种包含冷负荷需求自身调节与供冷功率主动控制的两阶段递进式调控策略,旨在实现多能供需平衡空间的拓展与用能成本的降低。基于模糊C均值聚类并考虑综合气象因素与分时电价的影响,选取调控时段;在第1阶段构建了温-湿舒适度最佳与冷能需求量最低的多目标负荷调节模型,在第2阶段提出了用能成本最低和运行能耗最小的多目标供冷输出功率主动控制策略;选取某校园综合能源系统实际运行数据进行算例仿真,采用ε-约束法以及多维偏好线性规划方法进行多目标求解,并基于用能舒适度变化的运行能耗、用能成本等指标,对比分析负荷需求在用能高峰时段调控优化前后的效果。结果表明,所提方法在满足用能舒适度的同时,能削减约13%的负荷需求,并降低约1.9%系统用能成本,有效缓解多能供需矛盾,增强系统运行的灵活性。

A Fast Predicating of Nutrient Removal Efficiency in Five Steps Sequencing Batch Reactor System Using Fuzzy Logic Control Model

Removal efficiency of COD, NH4-N and PO4-P and NO3-N in five step SBR processes is widely influenced by hydraulic retention time of Anaerobic/Anoxic/Aerobic/Anoxic/Aerobic step of this system where the hydraulic retention time in each step is influence directly on removal efficiency of this system therefore the operator of this system cannot control on this system without experience or a control model. The major objective of this paper is develop a control model (Fuzzy Logic Control Model) based on fuzzy logic rule to predict the maximum removal efficiency of COD,NH4-N,PO4-P and NO3-N and minimize hydraulic retention time in each step of SBR process where the controlled variables was the hydraulic retention times in the Anaerobic/Anoxic/Aerobic/Anoxic/Aerobic step respectively and the output variables was the COD, NH4-N, PO4-P and NO3-N removal efficiency at constant ratio of C/N/P and sludge age. As a results Fuzzy logic if-then rules were used and MIMO Model was built to control COD, NH4-Nand PO4-P and NO3-N removal efficiency based on hydraulic retention time in each tank of five step SBR process where the three dimension results show that the influence of hydraulic residence time at each step of SBR system on removal efficiency COD, NH4-N, PO4-P and NO3-N. Fuzzy control model provide a suitable tool for control and fast predict of Hydraulic residence time effects on biological nutrient removal efficiency in five-step sequencing batch reactor.

以“两个结合”推进马克思主义中国化时代化的逻辑

百年党史也是党的百年理论创新发展史。在百年党史中,中国共产党始终秉持开放、包容和与时俱进的理论品质,一方面毫不动摇坚持马克思主义,另一方面在不同的历史阶段始终坚持发展马克思主义,积极推进马克思主义的中国化时代化,始终坚持将马克思主义基本原理同中国具体实际相结合、同中华优秀传统文化相结合。“两个结合”深刻阐明了马克思主义在中国得以创新发展的内在机理,彰显和激活了中华优秀传统文化的强大思想伟力。如何把握“两个结合”这个党百年辉煌的成功密钥,深入推进马克思主义中国化时代化,这是中国共产党理论创新的必然选择,有其内在的必然逻辑、实践逻辑和价值逻辑。