孟德尔在时属奥匈帝国的小城Brünn地方刊物发表《植物杂交实验》的1866年,摩尔根（Thomas H Morgan,1866-1945年）诞生于美国内战后破落的南方原显贵家族.摩尔根实验室的工作不仅是遗传学的一大步,而且是美国科学的里程碑,代表新...孟德尔在时属奥匈帝国的小城Brünn地方刊物发表《植物杂交实验》的1866年,摩尔根（Thomas H Morgan,1866-1945年）诞生于美国内战后破落的南方原显贵家族.摩尔根实验室的工作不仅是遗传学的一大步,而且是美国科学的里程碑,代表新世纪美国在生物学上开始系统性地领先世界.摩尔根本人通过自己的研究丰富了遗传学，通过教育培养了美国和世界的科学家．展开更多
This survey article illustrates many important current trends and perspectives for the field and their applications, of interest to researchers in modern algebra, mathematical logic and discrete mathematics. It covers...This survey article illustrates many important current trends and perspectives for the field and their applications, of interest to researchers in modern algebra, mathematical logic and discrete mathematics. It covers a number of directions, including completeness theorem and compactness theorem for hyperidentities;the characterizations of the Boolean algebra of n-ary Boolean functions and the bounded distributive lattice of n-ary monotone Boolean functions;the functional representations of finitely-generated free algebras of various varieties of lattices via generalized Boolean functions, etc.展开更多
This paper reviews the authors research since 2018 on Mendels gene assumption. The main conclusion is that Morgans misreading of Mendels gene assumption would lead to the inevitable Copernican-like revolution (geocent...This paper reviews the authors research since 2018 on Mendels gene assumption. The main conclusion is that Morgans misreading of Mendels gene assumption would lead to the inevitable Copernican-like revolution (geocentrism replaced by heliocentrism) in genetics. The evidence for this judgment comes from written records in Morgans The Theory of the Gene. The result of Mendels experiment proposed the second question of genetics (template question), aim at which he assumed the gene was the element controlling individual specification. This led to dualistic genetics (two elements forming the germplasm). However, the gene located by Morgan was germplasm able to give rise to the individualthe answer to the first question of genetics. It ushered in gene-monistic genetics. The confirmation of the gene as DNA has opened a new era of physical verification of gene intension. The inability of DNA to build 3,5-phosphodiester bonds revealed that the gene has neither the ability to produce individuals nor is it self-replicating;consequently, the basis of gene monistic genetics completely collapsed. Instead, the universal fact that the eggs transcriptase initiates DNA (genome) transcription giving rise to the individual (unless accidents occur) confirms that Mendelian dualistic genetics is scientific genetics.展开更多
Introduction: Hemorrhoidal disease is a common pathology and its surgical treatment is based, among other things, on pedicular resection after failure of medical and instrumental treatment. The aim of this study is to...Introduction: Hemorrhoidal disease is a common pathology and its surgical treatment is based, among other things, on pedicular resection after failure of medical and instrumental treatment. The aim of this study is to analyze the epidemiological, clinical, therapeutic and evolving aspects of hemorrhoidal disease at the stage of surgical treatment at the University Hospital Center of Brazzaville. Patients and Methods: We conducted a retrospective and descriptive study carried out from January 2020 to December 2021, a 24 months period, in the Digestive surgery department of the University Hospital Center of Brazzaville. It concerned patients who underwent a surgical procedure for hemorrhoidal disease. Results: 21 cases were collected, representing a hospital frequency of 2.3%, with a sex ratio of 4.3 in favor of men. The average age of patients was 42.2 ± 11.9 years. The symptoms were mainly proctalgia, mass sensation and rectal bleeding. We recorded five cases (19.1%) of hemorrhoidal thrombosis and 16 cases (80.9%) of hemorrhoidal prolapse including 12 cases requiring manual integration (Goligher grade III) and four irreducible permanent cases (Goligher grade IV). The Grade III prolapse was associated with a polyp in one patient and with posterior anal fissure in another patient. Out of the 21 patients, 14 underwent a tripedicular hemorrhoidectomy according to Milligan and Morgan. Two patients underwent mono- and bipedicular hemorrhoidectomy with resection of associated lesions and five patients underwent emergency thrombectomy. The outcome was favorable for all our patients. The average length of hospital stay was 1.5 ± 2.1 days. Conclusion: In the event of failure of medical and instrumental treatment, the hemorrhoidal cure according to Milligan and Morgan is the surgical treatment of reference for hemorrhoidal disease at the University Hospital Center of Brazzaville.展开更多
Background: When continuous scale measurements are available, agreements between two measuring devices are assessed both graphically and analytically. In clinical investigations, Bland and Altman proposed plotting sub...Background: When continuous scale measurements are available, agreements between two measuring devices are assessed both graphically and analytically. In clinical investigations, Bland and Altman proposed plotting subject-wise differences between raters against subject-wise averages. In order to scientifically assess agreement, Bartko recommended combining the graphical approach with the statistical analytic procedure suggested by Bradley and Blackwood. The advantage of using this approach is that it enables significance testing and sample size estimation. We noted that the direct use of the results of the regression is misleading and we provide a correction in this regard. Methods: Graphical and linear models are used to assess agreements for continuous scale measurements. We demonstrate that software linear regression results should not be readily used and we provided correct analytic procedures. The degrees of freedom of the F-statistics are incorrectly reported, and we propose methods to overcome this problem by introducing the correct analytic form of the F statistic. Methods for sample size estimation using R-functions are also given. Results: We believe that the tutorial and the R-codes are useful tools for testing and estimating agreement between two rating protocols for continuous scale measurements. The interested reader may use the codes and apply them to their available data when the issue of agreement between two raters is the subject of interest.展开更多
The variety ddpM of de Morgan algebras with double demi-pseudocomplementation consists of those algebras （L; ∧ , ∨ , , , ＋ , 0, 1） of type （2, 2, 1, 1, 1, 0, 0） where （L; ∧ , ∨ , , 0, 1） is a de Morgan alge...The variety ddpM of de Morgan algebras with double demi-pseudocomplementation consists of those algebras （L; ∧ , ∨ , , , ＋ , 0, 1） of type （2, 2, 1, 1, 1, 0, 0） where （L; ∧ , ∨ , , 0, 1） is a de Morgan algebra, （L; ∧ , ∨ , , ＋ , 0, 1） is a double demi-p-lattice and the operations x → x , x → x and x → x ＋ are linked by the identities x = x , x ＋ = x ＋ and x ＋ = x ＋ . In this paper, we characterize congruences on a ddpM-algebra, and give a description of the subdirectly irreducible algebras.展开更多
The traditional program refinement strategy cannot be refined to an executable program,and there are issues such as low verification reliability and automation.To solve the above problems,this paper proposes a nonline...The traditional program refinement strategy cannot be refined to an executable program,and there are issues such as low verification reliability and automation.To solve the above problems,this paper proposes a nonlinear program construction and verification method based on partition recursion and Morgan’s refinement rules.First,we use recursive definition technique to characterize the initial specification.The specification is then transformed into GCL(Guarded Command Language)programs using loop invariant derivation and Morgan’s refinement rules.Furthermore,VCG(Verification Condition Generator)is used in the GCL program to generate the verification condition automatically.The Isabelle theorem prover then validates the GCL program’s correctness.Finally,the GCL code generates a C++executable program automatically via the conversion system.The effectiveness of this method is demonstrated using binary tree preorder traversal program construction and verification as an example.This method addresses the problem that the construction process’s loop invariant is difficult to obtain and the refinement process is insufficiently detailed.At the same time,the method improves verification process automation and reduces the manual verification workload.展开更多
An algebraic structure A is said to have the endomorphism kernel property if every congruence on A, other than the universal congruence, is the kernel of an endomorphism on A. In this paper, we consider the EKP （that...An algebraic structure A is said to have the endomorphism kernel property if every congruence on A, other than the universal congruence, is the kernel of an endomorphism on A. In this paper, we consider the EKP （that is, endomorphism kernel property） for an extended Ockham algebra A. In particular, we describe the structure of the finite symmetric extended de Morgan algebras having EKP.展开更多
The program construction process is based on rigorous mathematical reasoning,which leads to a fully correct algorithmic program via step-by-step refinement of the program specifications.The existing program constructi...The program construction process is based on rigorous mathematical reasoning,which leads to a fully correct algorithmic program via step-by-step refinement of the program specifications.The existing program construction methods'refinement process is partly based on individual subjective speculation and analysis,which lacks a precise guidance method.Meanwhile,efficiency factors have usually been ignored in the construction process,and most of the constructed abstract programs cannot be run directly by machines.In order to solve these problems,a novel program construction method for the sequence statistical class algorithms based on bidirectional scan induction is proposed in this paper.The method takes into account the efficiency factor and thus improves the Morgan's refinement calculus.Furthermore,this paper validates the method's feasibility using an efficiency-sensitive sequential statistics class algorithm as a program construction example.The method proposed in this paper realizes the correctness construction process from program specifications to efficient executable programs.展开更多
Phosphorus (P) fertilization is frequently needed for profitable crop production. Modified Morgan P (MMP) is a soil test P used to estimate plant available P in soils. The critical values of MMP for P fertilization an...Phosphorus (P) fertilization is frequently needed for profitable crop production. Modified Morgan P (MMP) is a soil test P used to estimate plant available P in soils. The critical values of MMP for P fertilization and maintenance recommendations are based on the P concentrations measured by a common colorimetric molybdenum blue method although other P quantification methods have also been used for MMP measurements. In this study, we collected 120 surface soil samples of Caribou Sandy loam under potato cultivation or its rotation crops from Maine, USA, and 72 soil samples of Cecil sandy loam with cotton/corn crops under conventional tillage and no-till management with chemical and poultry litter fertilization in Georgia, USA. The MMP levels in all 192 dry samples were greater when they were measured by an inductively coupled plasma (ICP)-based method, compared to the corresponding data produced from colorimetry. Our results show the two sets of data were positively and significantly correlated (r = 0.93, P –1 with standard deviation of 12.9, compared to the average of colorimetric MMP level of 14.9 mg P kg–1 with standard deviation of 8.8. Based on the observations in this work, both colorimetric and ICP-based methods can be used for P fertilizer recommendation, but a conversion factor should be applied for ICP data as the current recommendation systems are based on colorimetric M&R data.展开更多
文摘孟德尔在时属奥匈帝国的小城Brünn地方刊物发表《植物杂交实验》的1866年,摩尔根（Thomas H Morgan,1866-1945年）诞生于美国内战后破落的南方原显贵家族.摩尔根实验室的工作不仅是遗传学的一大步,而且是美国科学的里程碑,代表新世纪美国在生物学上开始系统性地领先世界.摩尔根本人通过自己的研究丰富了遗传学，通过教育培养了美国和世界的科学家．
文摘This survey article illustrates many important current trends and perspectives for the field and their applications, of interest to researchers in modern algebra, mathematical logic and discrete mathematics. It covers a number of directions, including completeness theorem and compactness theorem for hyperidentities;the characterizations of the Boolean algebra of n-ary Boolean functions and the bounded distributive lattice of n-ary monotone Boolean functions;the functional representations of finitely-generated free algebras of various varieties of lattices via generalized Boolean functions, etc.
文摘This paper reviews the authors research since 2018 on Mendels gene assumption. The main conclusion is that Morgans misreading of Mendels gene assumption would lead to the inevitable Copernican-like revolution (geocentrism replaced by heliocentrism) in genetics. The evidence for this judgment comes from written records in Morgans The Theory of the Gene. The result of Mendels experiment proposed the second question of genetics (template question), aim at which he assumed the gene was the element controlling individual specification. This led to dualistic genetics (two elements forming the germplasm). However, the gene located by Morgan was germplasm able to give rise to the individualthe answer to the first question of genetics. It ushered in gene-monistic genetics. The confirmation of the gene as DNA has opened a new era of physical verification of gene intension. The inability of DNA to build 3,5-phosphodiester bonds revealed that the gene has neither the ability to produce individuals nor is it self-replicating;consequently, the basis of gene monistic genetics completely collapsed. Instead, the universal fact that the eggs transcriptase initiates DNA (genome) transcription giving rise to the individual (unless accidents occur) confirms that Mendelian dualistic genetics is scientific genetics.
文摘Introduction: Hemorrhoidal disease is a common pathology and its surgical treatment is based, among other things, on pedicular resection after failure of medical and instrumental treatment. The aim of this study is to analyze the epidemiological, clinical, therapeutic and evolving aspects of hemorrhoidal disease at the stage of surgical treatment at the University Hospital Center of Brazzaville. Patients and Methods: We conducted a retrospective and descriptive study carried out from January 2020 to December 2021, a 24 months period, in the Digestive surgery department of the University Hospital Center of Brazzaville. It concerned patients who underwent a surgical procedure for hemorrhoidal disease. Results: 21 cases were collected, representing a hospital frequency of 2.3%, with a sex ratio of 4.3 in favor of men. The average age of patients was 42.2 ± 11.9 years. The symptoms were mainly proctalgia, mass sensation and rectal bleeding. We recorded five cases (19.1%) of hemorrhoidal thrombosis and 16 cases (80.9%) of hemorrhoidal prolapse including 12 cases requiring manual integration (Goligher grade III) and four irreducible permanent cases (Goligher grade IV). The Grade III prolapse was associated with a polyp in one patient and with posterior anal fissure in another patient. Out of the 21 patients, 14 underwent a tripedicular hemorrhoidectomy according to Milligan and Morgan. Two patients underwent mono- and bipedicular hemorrhoidectomy with resection of associated lesions and five patients underwent emergency thrombectomy. The outcome was favorable for all our patients. The average length of hospital stay was 1.5 ± 2.1 days. Conclusion: In the event of failure of medical and instrumental treatment, the hemorrhoidal cure according to Milligan and Morgan is the surgical treatment of reference for hemorrhoidal disease at the University Hospital Center of Brazzaville.
文摘Background: When continuous scale measurements are available, agreements between two measuring devices are assessed both graphically and analytically. In clinical investigations, Bland and Altman proposed plotting subject-wise differences between raters against subject-wise averages. In order to scientifically assess agreement, Bartko recommended combining the graphical approach with the statistical analytic procedure suggested by Bradley and Blackwood. The advantage of using this approach is that it enables significance testing and sample size estimation. We noted that the direct use of the results of the regression is misleading and we provide a correction in this regard. Methods: Graphical and linear models are used to assess agreements for continuous scale measurements. We demonstrate that software linear regression results should not be readily used and we provided correct analytic procedures. The degrees of freedom of the F-statistics are incorrectly reported, and we propose methods to overcome this problem by introducing the correct analytic form of the F statistic. Methods for sample size estimation using R-functions are also given. Results: We believe that the tutorial and the R-codes are useful tools for testing and estimating agreement between two rating protocols for continuous scale measurements. The interested reader may use the codes and apply them to their available data when the issue of agreement between two raters is the subject of interest.
文摘The variety ddpM of de Morgan algebras with double demi-pseudocomplementation consists of those algebras （L; ∧ , ∨ , , , ＋ , 0, 1） of type （2, 2, 1, 1, 1, 0, 0） where （L; ∧ , ∨ , , 0, 1） is a de Morgan algebra, （L; ∧ , ∨ , , ＋ , 0, 1） is a double demi-p-lattice and the operations x → x , x → x and x → x ＋ are linked by the identities x = x , x ＋ = x ＋ and x ＋ = x ＋ . In this paper, we characterize congruences on a ddpM-algebra, and give a description of the subdirectly irreducible algebras.
基金Supported by the National Natural Science Foundation of China(62262031)Science and Technology Key Project of Education Department of Jiangxi Province(GJJ2200302,GJJ210307)the Graduate Innovative Special Fund Projects of Jiangxi Province(YJS2022064)
文摘The traditional program refinement strategy cannot be refined to an executable program,and there are issues such as low verification reliability and automation.To solve the above problems,this paper proposes a nonlinear program construction and verification method based on partition recursion and Morgan’s refinement rules.First,we use recursive definition technique to characterize the initial specification.The specification is then transformed into GCL(Guarded Command Language)programs using loop invariant derivation and Morgan’s refinement rules.Furthermore,VCG(Verification Condition Generator)is used in the GCL program to generate the verification condition automatically.The Isabelle theorem prover then validates the GCL program’s correctness.Finally,the GCL code generates a C++executable program automatically via the conversion system.The effectiveness of this method is demonstrated using binary tree preorder traversal program construction and verification as an example.This method addresses the problem that the construction process’s loop invariant is difficult to obtain and the refinement process is insufficiently detailed.At the same time,the method improves verification process automation and reduces the manual verification workload.
文摘An algebraic structure A is said to have the endomorphism kernel property if every congruence on A, other than the universal congruence, is the kernel of an endomorphism on A. In this paper, we consider the EKP （that is, endomorphism kernel property） for an extended Ockham algebra A. In particular, we describe the structure of the finite symmetric extended de Morgan algebras having EKP.
基金Supported by the National Natural Science Foundation of China(62262031)the Jiangxi Provincial Natural Science Foundation(20232BAB202010)+1 种基金the Science and Technology Project of Education Department of Jiangxi Province(GJJ210307,GJJ2200302)the Cultivation Project for Academic and Technical Leader in Major Disciplines in Jiangxi Province(20232BCJ22013)。
文摘The program construction process is based on rigorous mathematical reasoning,which leads to a fully correct algorithmic program via step-by-step refinement of the program specifications.The existing program construction methods'refinement process is partly based on individual subjective speculation and analysis,which lacks a precise guidance method.Meanwhile,efficiency factors have usually been ignored in the construction process,and most of the constructed abstract programs cannot be run directly by machines.In order to solve these problems,a novel program construction method for the sequence statistical class algorithms based on bidirectional scan induction is proposed in this paper.The method takes into account the efficiency factor and thus improves the Morgan's refinement calculus.Furthermore,this paper validates the method's feasibility using an efficiency-sensitive sequential statistics class algorithm as a program construction example.The method proposed in this paper realizes the correctness construction process from program specifications to efficient executable programs.
文摘Phosphorus (P) fertilization is frequently needed for profitable crop production. Modified Morgan P (MMP) is a soil test P used to estimate plant available P in soils. The critical values of MMP for P fertilization and maintenance recommendations are based on the P concentrations measured by a common colorimetric molybdenum blue method although other P quantification methods have also been used for MMP measurements. In this study, we collected 120 surface soil samples of Caribou Sandy loam under potato cultivation or its rotation crops from Maine, USA, and 72 soil samples of Cecil sandy loam with cotton/corn crops under conventional tillage and no-till management with chemical and poultry litter fertilization in Georgia, USA. The MMP levels in all 192 dry samples were greater when they were measured by an inductively coupled plasma (ICP)-based method, compared to the corresponding data produced from colorimetry. Our results show the two sets of data were positively and significantly correlated (r = 0.93, P –1 with standard deviation of 12.9, compared to the average of colorimetric MMP level of 14.9 mg P kg–1 with standard deviation of 8.8. Based on the observations in this work, both colorimetric and ICP-based methods can be used for P fertilizer recommendation, but a conversion factor should be applied for ICP data as the current recommendation systems are based on colorimetric M&R data.
