Towards a Categorical Framework for Verifying Design and Implementation of Concurrent Systems

Process-oriented design and implementation of concurrent systems has important benefits. However, the inherent complexity of concurrent processes’ communication imposes challenges such as verifying consistency between the process-oriented design and implementation of a concurrent system. To deal with such a challenge, we use Galois connections, Failures and Category Theory to construct a formal framework for designing, implementing, analyzing and verifying consistency of concurrent systems. For the purpose of illustrating the framework, a running concurrent system is designed by Communicating Sequential Processes, implemented by a process-oriented programming language Erasmus.

On the Category of L-fuzzifying TOP

In this paper, the category of L-FTOP and the relations with the categories of TOP,L α-FTOP are discussed.

Category Theoretic Properties of the A. Rényi and C. Tsallis Entropies

The problem of embedding the Tsallis, Rényi and generalized Rényi entropies in the framework of category theory and their axiomatic foundation is studied. To this end, we construct a special category MES related to measured spaces. We prove that both of the Rényi and Tsallis entropies can be imbedded in the formalism of category theory by proving that the same basic partition functional that appears in their definitions, as well as in the associated Lebesgue space norms, has good algebraic compatibility properties. We prove that this functional is both additive and multiplicative with respect to the direct product and the disjoint sum (the coproduct) in the category MES, so it is a natural candidate for the measure of information or uncertainty. We prove that the category MES can be extended to monoidal category, both with respect to the direct product as well as to the coproduct. The basic axioms of the original Rényi entropy theory are generalized and reformulated in the framework of category MES and we prove that these axioms foresee the existence of an universal exponent having the same values for all the objects of the category MES. In addition, this universal exponent is the parameter, which appears in the definition of the Tsallis and Rényi entropies. It is proved that in a similar manner, the partition functional that appears in the definition of the Generalized Rényi entropy is a multiplicative functional with respect to direct product and additive with respect to the disjoint sum, but its symmetry group is reduced compared to the case of classical Rényi entropy.

From Zi Wei （滋味） to Qi Yun（氣韵）, and Yi Jing （意境）： Rethinking of Chinese Traditional Artistic Category System

The Chinese traditional aesthetic culture not only pay attention to the overall sense of He Xie （Harmony, 和谐）, and pay attention to a kind of artistic conception as Zi Wei （滋味）, Qi Yun （氣韵）, and YiJing （意境） as well. Mr. JI Xian-lin had tried to start from Zi Wei （滋味）, a new comprehension to open a new understanding on Chinese aesthetics. Hence, we embark from the Chinese aesthetic culture and its basic spirit, the humanistic connotation of Zi Wei （滋味）, which sounds with the basis, put forward it into a Music-Dance Spirit （乐舞精神） in Chinese art through this unique view, has made a new thinking to the Chinese traditional aesthetic artistic category system.

A Method for Detecting and Recognizing Yi Character Based on Deep Learning

Aiming at the challenges associated with the absence of a labeled dataset for Yi characters and the complexity of Yi character detection and recognition,we present a deep learning-based approach for Yi character detection and recognition.In the detection stage,an improved Differentiable Binarization Network(DBNet)framework is introduced to detect Yi characters,in which the Omni-dimensional Dynamic Convolution(ODConv)is combined with the ResNet-18 feature extraction module to obtain multi-dimensional complementary features,thereby improving the accuracy of Yi character detection.Then,the feature pyramid network fusion module is used to further extract Yi character image features,improving target recognition at different scales.Further,the previously generated feature map is passed through a head network to produce two maps:a probability map and an adaptive threshold map of the same size as the original map.These maps are then subjected to a differentiable binarization process,resulting in an approximate binarization map.This map helps to identify the boundaries of the text boxes.Finally,the text detection box is generated after the post-processing stage.In the recognition stage,an improved lightweight MobileNetV3 framework is used to recognize the detect character regions,where the original Squeeze-and-Excitation(SE)block is replaced by the efficient Shuffle Attention(SA)that integrates spatial and channel attention,improving the accuracy of Yi characters recognition.Meanwhile,the use of depth separable convolution and reversible residual structure can reduce the number of parameters and computation of the model,so that the model can better understand the contextual information and improve the accuracy of text recognition.The experimental results illustrate that the proposed method achieves good results in detecting and recognizing Yi characters,with detection and recognition accuracy rates of 97.5%and 96.8%,respectively.And also,we have compared the detection and recognition algorithms proposed in this paper with other typical algorithms.In these comparisons,the proposed model achieves better detection and recognition results with a certain reliability.

Latent Categories of Mental Health Literacy in Patients with Coronary Artery Disease and Their Relationship with Quality of Life

Objectives: This study aims to explore the latent categories of mental health literacy among patients with coronary artery disease and examine their associations with quality of life. Design: A cross-sectional quantitative design was used. Methods: The study sample consisted of 208 patients with coronary artery disease from five wards in the Department of Cardiology at a tertiary hospital. Data were collected using a general information questionnaire, the Chinese version of the Multiple Mental Health Literacy Scale and the Chinese Cardiovascular Patient Quality of Life Assessment Questionnaire. The data were analysed with Mplus (v.8.3) and SPSS (v.25.0). Results: The mental health literacy of the 208 patients was categorised into four latent categories: low literacy (n = 28, 13.5%), high knowledge-low resources (n = 53, 25.5%), low knowledge-high resources (n = 63, 30.2%) and high literacy (n = 64, 30.8%). A significant difference in quality of life was observed according to mental health literacy category (P Conclusion: The quality of life of patients with coronary artery disease is significantly influenced by their levels of mental health literacy. Targeted interventions addressing the various profiles of mental health literacy should be implemented to improve the quality of life for patients with coronary artery disease.

Beyond Gender Perspectives:A More Comprehensive Examination of Yang Yi’s Translation of Wuthering Heights

The renowned translator Yang Yi passed away in 2023.Many scholars argue that,influenced by their biological gender,female translators often employ translation methods in adherence to feminist translation or reflect characteristics typical of female translators.This study examines the translation of Wuthering Heights by Yang Yi,focusing on whether there is a definite influence of gender on translator behavior.While existing literature primarily analyzes Yang Yi’s work through a feminist lens,this research takes a broader approach.By considering the translator’s social background and translation practice,this paper challenges the assumption that her work strictly aligns with feminist translation theories.Instead,this study emphasizes the importance of considering diverse factors when interpreting translated works,moving beyond a singular gender-based standpoint.

ASTERIX Category017数据格式分析与应用

文章介绍了ASTERIX标准协议的结构框架,依据实例详细给出了ASTERIX Category017数据格式的解析过程,并阐述了该格式协议在S模式二次雷达协同监视组网中的重要应用。

A Study on the Correlation Between LIWC Word Categories and Chinese Composition Writing Performance of Fourth,Fifth,and Sixth Grade Students

This study focuses on the analysis of the Chinese composition writing performance of fourth,fifth,and sixth grade students in 16 selected schools in Longhua District,Shenzhen during the spring semester of 2023.Using LIWC(Linguistic Inquiry and Word Count)as a text analysis tool,the study explores the impact of LIWC categories on writing performance which is scaled by score.The results show that the simple LIWC word categories have a significant positive influence on the composition scores of lower-grade students;while complex LIWC word categories have a significant negative influence on the composition scores of lower-grade students but a significant positive influence on the composition scores of higher-grade students.Process word categories have a positive influence on the composition scores of all three grades,but the impact of complex process word categories increases as the grade level rises.

“Instruction-Category” Approach of Test Suite Construction for Oven Embedded System

Being different from testing for popular GUI software, the “instruction-category” approach is proposed for testing embedded system. This approach is constructed by three steps including refining items, drawing instruction-brief and instruction-category, and constructing test suite. Consequently, this approach is adopted to test oven embedded system, and detail process is deeply discussed. As a result, the factual result indicates that the “instruction-category” approach can be effectively applied in embedded system testing as a black-box method for conformity testing.

Asterix Category021协议的应用与分析

介绍了Asterix Category 021协议的数据项内容、用户应用程序框架(UAP)的结构、报文数据块的布局,以及ADS-B系统应用该协议的方式,分析了该协议的实例应用和协议报文的解析,提出了处理报文的思路。研究与分析结果可为如何使用Asterix Category 021协议生成与解析报文提供参考。

YI酸锌及其互配物作为PVC热稳定剂的性能研究

以YI酸和氧化锌为原料,制备了YI酸锌。对产品进行了物化常数检测;将YI酸锌与YI酸钙、硬脂酸钙、亚磷酸三苯酯进行了互配,通过热老化箱实验法、刚果红试纸法对YI酸锌及其互配系统进行了综合评价。结果表明,YI酸锌对PVC具有优异的热稳定性能;当稳定剂加入量为2份时,YI酸锌/硬脂酸钙的最佳比例为4/6,YI酸锌/硬脂酸钙/亚磷酸三苯酯的最佳比例为2/3/5。

润滑剂YI对聚氯乙烯塑料流变性能的影响

采用毛细管流变仪，考察润滑剂ＹＩ用量对ＰＶＣ流变性能的影响。实验表明，流体非牛顿指数ｎ＜１，并随ＹＩ用量增加而下降。ＹＩ使ＰＶＣ熔体粘度大幅度减少，在硬质ＰＶＣ中，ＹＩ用量在０．６～１．０ＰＨＲ作用最明显；在软质ＰＶＣ中，当剪切速率γ＞５００ｓ－１时，少量ＹＩ就能使熔体粘度下降。并测定了不同ＹＩ用量ＰＶＣ的流动活化能，随ＹＩ用量增加，Ｅη略有下降。

Asterix Category 033协议的分析与应用

介绍了Asterix Category 033协议的数据项组成、编码的内容以及在监视应用中的关键作用,研究了该协议的CRC编码方式以及报文的组装方式,提出了每个数据项的内容在监视终端和地面接收处理基站中的处理方法。所研究和分析成果为Asterix Category 033协议生成与解析报文提供了依据。

Categories of the Garden Architectural Oddment and Its Application in Gardens

The definition,content,functions and properties of the garden architectural oddment were elaborated; by focusing on its classification from the content and analyzing the typical representations,the application of the garden architectural oddment was discussed to explore broader uses in the garden planning,and create more architectural oddments that are human-centered,coordinated with the environment,endowed with artistic beauty and close to life.

基于特征加权的Category ART网络及应用

特征加权是特征选择的一般情况,它能更加细致地区分特征对结果影响的程度,往往能够获得比特征选择更好的或者至少相等的性能。该文采用自适应遗传算法来优化Category ART网络的特征权值,提出了一种改进的Category ART网络FWART。在UCI标准数据集上的实验表明,FWART网络获得了比Category ART网络更好的泛化能力。将该网络应用在地震震型预报上,取得了很好的预报效果。

Making the category of entwined modules into a braided monoidal category

The question of how the category of entwined modules can be made into a braided monoidal category is studied. First, the sufficient and necessary conditions making the category into a monoidal category are obtained by using the fact that if （A, C, ψ） is an entwining structure, then A × C can be made into an entwined module. The conditions are that the algebra and coalgebra in question are both bialgebras with some extra compatibility relations. Then given a monodial category of entwined modules, the braiding is constructed by means of a twisted convolution invertible map Q, and the conditions making the category form into a braided monoidal category are obtained similarly. Finally, the construction is applied to the category of Doi-Hopf modules and （α, β ）-Yetter-Drinfeld modules as examples.

Construction of semisimple category over generalized Yetter-Drinfeld modules

Let H be a commutative, noetherian, semisimple and cosemisimple Hopf algebra with a bijective antipode over a field k. Then the semisimplicity of YD（H） is considered, where YD （H） means the disjoint union of the category of generalized Yetter-Drinfeld modules nYD^H（ α, β） for any α, β E Aut Hopf（H）. First, the fact that YD（H） is closed under Mor is proved. Secondly, based on the properties of finitely generated projective modules and semisimplicity of H, YD（H） satisfies the exact condition. Thus each object in YD（H） can be decomposed into simple ones since H is noetherian and cosemisimple. Finally, it is proved that YD （H） is a sernisimple category.

A Modular Representation of K-root-and Jacobson Structure Theorems for Additive Categories

In this paper,we give definition and moduler representation of Kothe root for additive cate gories.Using these results,get inner representation of J-root and fully homomorph class of Jscmisimple additive categories.

基于分类技术的搜索引擎排名算法——CategoryRank

提出了一种基于分类技术的搜索引擎新排名算法CategoryRank。该算法能够借助类别信息,更加准确地计算网页的排名得分,提高搜索引擎排名的准确性。算法基于任意两个网页之间的类别信息,对链接图进行了分析和计算,并且与PageRank等算法进行相比,该算法能够更加准确地模拟用户浏览网页的习惯。同时针对Web中的每个网页,算法计算出它的类别属性,直接体现了该页面针对不同用户的重要程度。最后,把该算法的离线模型和在线模型统一起来,阐明了算法在搜索引擎排名中的运行机制。