实时嵌入式软件时间抽象状态机的扩展

针对时间抽象状态机(TASM)存在的不足, 对TASM进行扩展, 增加数组数据类型、while循环处理规则以及“%”, “&”, “|”, “^”, “>>”和“<<”等运算符, 定义扩展后TASM的语法和语义。采用扩展后的TASM为实际的实时嵌入式软件需求建模, 通过实验, 验证了采用扩展后的TASM为实时嵌入式软件需求建模的有效性。     

科技名词审定工作的性质、任务和组织

全国科技名词委成立30余年来,科技名词规范化工作取得了很大成绩,审定公布的规范科技名词在科研、教学、生产、经营、新闻出版等单位都得到了广泛应用,为科技创新发展发挥了重要的基础性作用。新时期,开展科技名词审定工作的客观环境已经发生了巨大变化,这项工作正在面临更多新的挑战和问题。深化对审定工作性质、任务和工作方法的认识,对与时俱进推动科技名词规范化工作具有重要意义。     

刍议网络互连技术

介绍了网络互联的定义和目的,且根据覆盖范围的不同,对网络联系进行了分类,并对划分的类型进行了详细的介绍。然后,根据OSI/RM参考模型的层次划分标准,把网络互联可以分为四个层次,并且对这四个层次都进行了简单的介绍,同时,还对相应的设备进行了简单的介绍,最后对网络物理层互连设备中的两种设备中继器和集线器,数据链路层互连设备中的两种设备网桥和交换机,网络层互连设备以及应用层互连设备等进行了详细的介绍,为了解网络互联技术提供了良好的基础。     

一种增量部署式的未来互联网QoS保证架构

为解决IP网络难以提供保证网络服务质量的机制这一难题,提出了一种增量部署式的网络服务质量保证体系结构SoIP,该体系结构在现有IP网络之上采用软件定义网络技术构建一层以SDN为基础的覆盖网络,并利用该覆盖网络的集中控制特点增强边缘网络的服务质量保证水平.面向网络应用需求和用户等级提出了以区分服务为基础的资源调控机制,设计了为SoIP实现整个体系架构协同运行的耦合机制,解决了网络可达性和服务质量映射问题.最后通过仿真试验对体系结构的有效性以及可行性进行了验证.     

简论异体字的界定

对异体字的定义作出简单界定：异体字是为记录同一词而造的,在使用过程中功能没有发生分化的或同一个字由于书写变异而形成的一组形体不同的字符;也特指跟通常写法（即规定的正体）有同音同义关系而写法不同并被淘汰的字。     

积分学的理论结构

本文给出定积分非传统性的定义,并依此建立起一种积分学的简明逻辑理论体系。     

工作流系统中路由图构造问题

针对工作流系统中的过程定义构造问题 ,结合实际的公文流转问题进行讨论 .提出系统工作模型 ,给出相应的路由图文法 .最后 ,利用实例验证了文法的正确性 .     

从术语定名定义的原则看“HBeAg阳性慢性HBV感染”的应用问题

《慢性乙型肝炎防治指南(2022年版)》将“HBeAg阳性慢性HBV感染”与“HBeAg阴性慢性HBV感染”推荐作为“正名”分别代替以往慢性HBV感染自然史的“免疫耐受期”与“免疫控制期”。文章根据术语定名定义的规则、汉语言规范、专业概念构成体系等,对其推荐与使用的合理性进行探讨。     

南极涛动

利用最新的重分析资料,首先对南半球海平面气压场进行了经验正交函数数展开分析和相关分析,分析的结果表明南极涛动的南半球中、高纬地区大惊工大气运动最突出的特征,而且表出现很强的纬向性。     

动能是系统的!不是质点的!

阐明动能是系统的,单一质点没有动能。动能定义式的参考系是由系统自身决定的,不能在系统外选参考系．