DECLARATIVE HYBRID ROUTING PROTOCOLS IN AD HOC NETWORKS

This paper presents adaptive hybrid protocols based on the declarative network and mainly discusses the principle and realization of the Bayesian-estimation based adaptive hybrid protocol in the declarative network, which is well adapted to the Mobile Ad hoc NETwork (MANET). The adaptive hybrid protocol is designed for ad hoc networks which have characteristics like self-organizing, no trusted party, flexibility, etc. The nodes that run the hybrid protocol can automatically select one routing protocol that is suitable for different network environment. The Bayesian-estimation based adaptive strategy, that improves the adaptability and stability of the protocol, succeeds in the Rapidnet, a declarative network engine. The result in the Rapidnet proves that the hybrid protocol and the adaptive strategy are feasible. The experiment on the ns-3 simulator, an emerging discrete-event network simulator, validates that this protocol performs well and reduces communication overheads.

Subject in Declarative Sentence in Business Correspondence Translation:Descriptive Translation Studies on Sing Sing Lounge

Statistics of this Paper derive from a business correspondence translation,Sing Sing Lounge,participated by English ma jors of one higher-educational institution.Facilitated with means of quantitative approach,this Paper,introducing an applicable procedure to analyze translation by students from one Class,is devoted to discover subjects used in declarative sentences of their translations.

Gender difference in the effect of daytime sleep on declarative memory for pictures

Objective:To investigate gender difference in the effects of daytime sleep on item and source memories,which are dissociable elements of declarative memory,and the effects of sleep on recollection and familiarity,which are two processes underlying recognition. Methods:Participants saw a series of pictures with either blue or red background,and were then given a pretest for item and source memories. Then males and females respectively were randomly assigned either to a wake or a sleep condition. In the wake condition,participants remained awake until the posttest;in the sleep condition,participants slept for 1 h until awakened and asked to remain awake until the posttest. Results:Daytime sleep contributed to retention of source memory rather than item memory in females,whereas males undergoing daytime sleep had a trend towards increased familiarity. For females,however,neither recollection nor familiarity appeared to be influenced by daytime sleep. Conclusion:The mechanism underlying gender difference may be linked with different memory traces resulting from different encoding strategies,as well as with different electrophysiological changes during daytime sleep.

Declarative semantics of programming in residuated lattice-valued logic

We give two generalizations of Tarski’s fixpoint theorem in the setting of residuated lattices and use them to establish van Emdem-Kowalski’s least fixpoint semantics for residuated lattice-valued logic programs.

Granularity Analysis for Exploiting Adaptive Parallelism of Declarative Programs on Multiprocessors

Declarative Programming Languages (DPLs) apply a process model of Horn claun es such as PARLOG[8] or a reduction model of A-calculus such as SML[7] and are) in principle, well suited to multiprocessor implemelltation. However, the performance of a parallel declarative program can be impaired by a mismatch between the parallelism available in an application and the parallelism available in the architecture. A particularly attractive solution is to automatically match the parallelism of the program to the parallelism of the target hardware as a compilation step. In this paper) we present an optimizillg compilation technique called granularity analysis which identi fies and removes excess parallelism that would degrade performance. The main steps are: an analysis of the flow of data to form an attributed call graph between function (or predicate) arguments; and an asymptotic estimation of granularity of a function (or predicate) to generate approximate grain size. Compiled procedure calls can be annotated with grain size and a task scheduler can make scheduling decisions with the classilication scheme of grains to control parallelism at runtime. The resulting granularity analysis scheme is suitable for exploiting adaptive parallelism of declarative programming languages on multiprocessors.

A Component-Based Debugging Approach for Detecting Structural Inconsistencies in Declarative Equation Based Models

Object-oriented modeling with declarative equation based languages often unconsciously leads to structural inconsistencies. Component-based debugging is a new structural analysis approach that addresses this problem by analyzing the structure of each component in a model to separately locate faulty components. The analysis procedure is performed recursively based on the depth-first rule. It first generates fictitious equations for a component to establish a debugging environment, and then detects structural defects by using graph theoretical approaches to analyzing the structure of the system of equations resulting from the component. The proposed method can automatically locate components that cause the structural inconsistencies, and show the user detailed error messages. This information can be a great help in finding and localizing structural inconsistencies, and in some cases pinpoints them immediately.

Towards a Declarative Semantics of Inheritance with Exceptions

This paper presents a declarative semantics of compositional inheritancein an object-oriented logic programming' framework wit h explicit exceptions,based on the iterated least Aspoint semantics to normal logic programs. Tak-ing logic objects with exceptions as a ldnd of nonmonotonic theory, the nonmonotonicity of inheritance is achieved, which is of importance for modelingincomplete knowledge and requirement specffications in both artificial intelli-gence and softwa-re engineering.

Optimized Parallel Execution of Declarative Programs on Distributed Memory Multiprocessors

In this paper,we focus on the compiling implementation of parallel logic language PARLOG and functional language ML on distributed memory multiprocessors.Under the graph rewriting framework, a Heterogeneous Parallel Graph Rewriting Execution Model(HPGREM)is presented firstly.Then based on HPGREM,a parallel abstract machine PAM/TGR is described.Furthermore,several optimizing compilation schemes for executing declarative programs on transputer array are proposed. The performance statistics on a transputer array demonstrate the effectiveness of our model,parallel ab- stract machine,optimizing compilation strategies and compiler.

Coupling concepts for simulation:A systematic and comprehensive view and advantages with declarative models

A brief review of the importance of simulation-based engineering and science(including social sciences)is followed by a historic perspective of model-based simulation.Section 2 is on declarative modeling of component systems as well as its advantages for self-documentation and for computer-aided checks and coupling.As an example for declarative modeling,General System Theory(GEST)implementor is given.In Sec.3,basic concepts for coupling of component models,and rules for computer-assisted coupling specification are explained.Section 4 is devoted to possible computerized checks in couplings of declarative models such as:(1)automatic unit checking to avoid meaning-less input/output matching at the time of coupling specification,(2)automatic threshold checking to provide warnings and/or to avoid disasters,and(3)automatic unit conversion for convenience of using library models.Section 5 is about several layers of nested couplings for modeling systems of systems.In Sec.6,two types of variable couplings are discussed:(1)couplings with variable connections(to allow input/output relations of models to depend on time or state conditions)and(2)coupling with variable component models(to allow component(or coupled)models to be switched based on time or state conditions).Section 7 is on the use of multimodels as component models in couplings.Section 8 is on types of inputs and their use in couplings as well as on exter-nal inputs to simulation studies.In Sec.9,conclusions and future work for complex systems are outlined.Especially,the values of simulation systems engineering as well as understanding and avoidance of misunderstanding in cognitive and emotive simulations are stressed.Appendix A is a list of almost 50 types of couplings and Appendix B lists over 50 terms related with couplings in modeling and simulation.To show the richness of“input”concept which is important in specification of input/output relations of component models,Appendix C lists almost 150 types of inputs.Information shared in this article may be useful in developing advanced modeling and simulation software,tools and environments.

Leveraging React Components in Business Process Management (BPM) Applications

As organizations increasingly embrace digital transformation, the integration of modern web technologies like React.js with Business Process Management (BPM) applications has become essential. React components offer flexibility, reusability, and scalability, making them ideal for enhancing user interfaces and driving user engagement within BPM environments. This article explores the benefits, challenges, and best practices of leveraging React components in BPM applications, along with real-world examples of successful implementations.

An In-depth Interpretation of the Universal Declaration of Human Rights With the Common Values of Humanity As the Research Paradigm

Interpreting the Universal Declaration of Human Rights from political,juridical and philosophical perspectives is es-sential for promoting the guiding principles of the Declaration,build-ing consensus on human rights,and advancing human rights practice in the new historical context.To conduct an academic,systematic in-terpretation of the Declaration that conforms to the trends of the times and answers the fundamental questions of the world,it is necessary to find a new research paradigm.The common values of humanity,namely peace,development,equity,justice,democracy and freedom,put forward by Xi Jinping,general secretary of the Communist Party of China(CPC)Central Committee,provide the most explanatory and penetrating scientific paradigm for reaching the issue.This paper an-alyzes and reflects on the views,value foundation and principled(con-tractual)consensus of human rights in the Declaration,and narrates and foresees the far-reaching significance of the three global initia-tives(namely,the Global Development Initiative,the Global Security Initiative,and the Global Civilization Initiative)with the common val-ues of humanity as the soul in advancing the modernization of global human rights governance and building a new form of human rights civilization.

Revisiting the Spirit of the UDHR and Discussing Human Rights Development——Summary of Views from the Seminar Commemorating the 75th Anniversary of the Universal Declaration of Human Rights

On December 4,2023,the China Society for Human Rights Studies hosted a seminar in Beijing commemorating the 75^(th) Anniversary of the Universal Declaration of Human Rights.Participants discussed topics such as the significance of the Universal Declaration of Human Rights,China’s theories and practices in respecting and safeguarding human rights,the three global initiatives and global human rights governance,human rights protection in the digital age,and telling Chinese stories of human rights in the new era.The discussions led to a broad consensus and achieved positive results.

Research Progress and Suggestions on China’s Drug Registration Management Based on CiteSpace Knowledge Maps

Objective To analyze the research status and hot spots in the field of drug registration in China,and to provide some suggestions for the follow-up research.Methods CiteSpace was used to conduct literature quantitative analysis on 684 related articles from 2012 to 2022,and the knowledge map was drawn.Based on this,the main characteristics and development trends of the related studies were summarized.Results and Conclusion The number of articles published was closely related to the regulatory policy of drug registration reform.The authors of these articles did not have good continuity.Besides,research hot spots were closely related to the actual work,which was mainly around the improvement of the review and approval policy,encouraging innovative drug research and development,improving the level of new drug development and other directions.The follow-up studies should further strengthen the continuity of research and inter-agency collaboration.In addition,biomedical registration may become a new research focus in the future.

基于智能文档和XML数据库的RoHS符合性声明研究

近来越来越多的企业借助于IT技术促使自身达到ROHS符合性等环保指令。本文提出了一个通用系统架构,它可以帮助企业快速搭建RoHS符合性声明系统,并符合国际IPC-1752标准。在该架构中,我们用智能文档技术、XML技术、SOAP和XML数据库等技术以获得系统的重用性和健壮性。

A Twenty-Year Follow-up Case Study of an Office Worker Who Returned to Work despite Serious Memory Disorder Caused by Herpes Encephalitis

This study followed a 52-year-old male patient, who had suffered from severe impairment in recent memory due to se- quelae of herpes encephalitis, for 20 years. He returned to his highly intellectual work and performed well despite his doctor’s prediction. While the patient showed consistently poor results on various neuropsychological memory tests, he demonstrated incredible performance at work. This case exemplifies an extreme case that declarative memory is formed with the support of semantic memory, procedural memory, and his strong interests. Additionally, it offers lessons that results on memory tests do not necessarily correspond to the actual level of competence. The focal sites were found on both sides of the medial temporal lobe, predominantly on the left side. The T2-weighted magnetic resonance images (MRI) obtained 9 years after the onset confirmed widespread damage to the left brain including parahippocampal gyrus, hippocampus, spindle gyrus, and amygdaloid complex, with microlesions extending from the right parahippocampal gyrus to its antero-interior rim. However, the damage to hippocampus was presumed to be minor.

药品集中带量采购的地方实践与探索

目的系统收集各地药品集中带量采购(以下简称“集采”)有关文件,比较地方集采的规则方法,为完善相关政策提供参考。方法检索各省(自治区、直辖市、新疆生产建设兵团)医疗保障局、药品和医用耗材集中采购平台等官方网站,收集已发布的药品集采实施方案等文件,比较总结地方集采的实践进展。结果药品地方集采推进迅速,主要形式为省际联盟。联盟采购规则存在差异,主要体现在分组方式和评审方法上。各地在申报价格、约定采购量等方面均遵循国家集采的基本原则。结论今后应鼓励适宜灵活的地方集采结盟,优化联盟集采规则,进一步完善基于联盟集采的药品价格形成机制,不断改进全国药品价格公示与共享信息平台建设。

Towards Integrated Testing Approach: An Application of Cognitive Science and Deep Learning Principle

The use of multiple-choice(MC)question types has been one of the most contentious issues in language testing.Much has been said and written about the use of MC over the years.However,no attempt has ever been made to introduce any innovation in test item types.The researchers proposed a jumbled words test item(JW)based on cognitive science and deep learning principles,and addressed the feasibility of replacing the type of multiple-choice(MC)question with JW to meet the ongoing rapid development of language testing practice.Two research questions were proposed ad hoc,focusing on the co-relationship between JW and MC scores.RASCH-GZ was used to perform item analyses(Rasch,1960).The item difficulty parameters thus obtained were used to compare the two different test items.The sample data metric includes 40 Chinese participants.The findings revealed that correlation analysis revealed that the performance of the same group of subjects taking both JW and MC was not relevant(Pearson Corr=0).This is primarily due to the total elimination of guessing factors inherent in test-takers during JW test performance.Three factors were specified for the design of the JW test:compute program,test difficulty,and score acceptability.These all have three dimensions.Data collected through questionnaires were analyzed using EFA in SPSS V.24.0.KMOs(=0.867)were found to be approximately one and significance at 0.000(0.05),indicating that the construct of theuestionnaire thus designed has better validity for factor analysis.Three important conclusions were obtained,the implications of which could provide impetus for our testing counterparts to practice more precisely and correctly,potentially reshaping our overall language testing practice.Limitations and recommendations for future research were also discussed.

Follow-up Study of Retreatment TB Patients with Sputum Smear and/or Culture Positive Two Years after They were Declared Cured with First-line Anti-TB Drugs in Shandong Province

This study aimed to learn the recurrence rate in the retreatment TB patients with sputum smear and/or culture positive （ss＋ and/or c＋） two years after they were declared cured, and to explore causes of recurrence in order to improve long-time treatment outcome. 5 cities were selected as research locations. Recurrence of TB was judged by chest X-ray examination together with sputum smear and culture examination.

VB中调用Windows API函数检测当前系统环境

本文作者介绍了在VisualBasic中用Declare语句声明所要调用的WindowsAPI的方法 ,以及如何调用API函数来检测当前的系统环境。

President Xi's Congratulatory Letter to the “International Symposium on the 30^(th) Anniversary of the Adoption of the UN Declaration on the Right to Development”

On the occasion of the 30thanniversary of the adoption of the United Nations’ Declaration on the Right to Development,representatives from various countries have gathered in Beijing to attend the "Sharing the Development:Create More Benefits