用法律的观点评价现代规范逻辑

现代规范逻辑的类型和系统是很多的,本文评价其中六个类型的若干系统。六个类型是指:一元规范命题逻辑和二元规范命题逻辑,他们各有冯莱特型、标准型和安德逊型,共计六个类型。一、冯莱特的一元规范逻辑冯莱特1951年的论文《规范逻辑》和著作《模态逻辑》所构建的一元规范逻辑,1964年《规范逻辑的一个新系统》,及其1965年的修正所构建的二元规范逻辑,在规范逻辑发展史上都有重要的意义,也都表现了冯莱特独特的风格,所以是不容忽视的。冯莱特一元规范逻辑的形式语言,是在古典命题演算的形式语言上,增加初始符号O(必须),增加有关O的形成规则,增加P(允许)的定义而构成的。

现代规范化商业银行的标准特征与现实思考

在《中国人民银行法》、《商业银行法》相继出台实施之后,四家专业银行、交通银行和其它各家国内商业银行如何向现代规范化商业银行迈进,正成为经济、金融理论界与金融企业的一个热门话题.而什么是现代规范化商业银行,其标准、特征是什么,与现代规范化商业银行相比,我国多数商业银行(包括交通银行)的现行差距及其产生原因是什么,则更是亟待回答的理论与现实课题.本文就此谈谈自己的浅见.

建立现代规范化商业银行信贷业务运行管理体制

一、在创办现代规范化、国际化的商业银行过程中信贷业务的地位、作用及变化趋势 信贷业务是商业银行的传统业务,在商业银行整个业务运作和业务结构中,它的主体地位是不容置疑的。信贷业务的重要性可以从下述三大方面表现出来:

论古籍文字的现代规范化

本文以中华书局 1 979年版《十三经注疏》影印本中的《论语》为底本 ,以其中的繁体字、异体字、古字、通假字为对象 ,第一次进行了古籍文字现代规范化的尝试。

美国商业银行与交通银行“现代规范化”程度上的差异

一、“股份制”的比较 勿庸螯言,银行的声誉及企业形象是银行的生命。美国商业银行在所有制组织形式上均属股份制,其股票都是可以上市的。股份制商业银行的股票上市与否,虽不能说是衡量商业银行“现代规范化”程度的一条标准,但其间确有着巨大而明显的不同。首先,股份制商业银行的股票如果上市了。

交通银行“向现代规范化商业银行迈进”优秀论文评选得奖名单

交通银行总行于1995年4月1日至10月31日开展的“向现代规范化商业银行迈进”优秀论文评选活动,已圆满结束,在这次论文评选活动中,共收到各分支行推荐的论文502篇。经专家委员会评审并报评审委员会审定,计评出一等奖1篇、二等奖8篇、三等奖20篇、优秀奖50篇、组织奖8项。在这次优秀论文评选活动中,各分支行领导高度重视,全行员工积极参与,结合各自的工作实践,从各个角度撰写了一大批有质量的论文。使评选活动达到了推动全行商业银行理论水平的提高、促进交通银行改革与发展的预期目的。我们希望,经过这次评选活动,全行能够再接再厉,继续为我国商业银行理论研究、为交通银行的改革与发展积极探索,为将交通银行办成具有国际经营管理水平的规范化商业银行而努力奋斗。

关于开展“向现代规范化商业银行迈进”优秀论文评选活动的通知

当前,我国经济体制正处在向市场经济转轨的关键时刻,金融业面临着前所未有的挑战和发展机遇。如何按照市场规则把交通银行办成现代规范化的商业银行,是摆在我们面前的新的重大课题。为了推动这方面理论与实践的研究,加快交通银行与国际接轨的进程,现决定在全行系统开展一次“向现代规范化商业银行迈进”优秀论文评选活动。 一、征文内容

《现代汉语规范词典》(第4版)多人谈

辞书是反映社会文化水平和体现国家文化软实力的一面镜子。语文辞书在中国语言文字规范化工作中具有十分重要的地位和作用,是语言文字规范化体系的重要组成部分。全面贯彻、严格落实《中华人民共和国国家通用语言文字法》,是国家通用语言文字推广普及和规范应用的重要支撑,有利于建构和谐健康的语文生活,传承和弘扬中华优秀传统文化,铸牢中华民族共同体意识。2022年8月20日,由外语教学与研究出版社主办的《现代汉语规范词典》(第4版)发布暨学术研讨会在北京举办,百余位辞书界专家、语文教育专家、一线语文教研员和中小学教师以及词典编修组成员、国际合作方代表与会。与会专家学者就辞书生活、辞书修订与辞书质量、《现代汉语规范词典》的特色及未来等进行了广泛深入的交流研讨。现将部分专家学者的交流研讨内容以《〈现代汉语规范词典〉(第4版)多人谈》为题整理刊发于此,以便读者了解。

李行健和《现代汉语规范词典》

李行健为什么要编词典?李行健为什么言必称“规范”?有了《现代汉语词典》,为什么还要编写出版一本《现代汉语规范词典》?国内词典同质化严重的时代,《现代汉语规范词典》有什么革新创建之举?《现代汉语规范词典》的编写之路上,李行健和他的团队尝到了哪些酸甜苦辣?本文回答了语言学界、辞书界、出版界、教育界以及热心的读者非常关心的这些问题。

现代产品几何技术规范(GPS)的数字化理论基础

现代产品几何技术规范 (generationgeometricalproductspecificationandverification ,GPS)是ISO TC2 13针对产品的设计与制造而规定的一系列宏观和微观的几何技术规范 ,它包括产品的规范过程、生产过程、认证 (检验 )过程以及不确定度的评定和控制。表面模型是ISO TC2 13GPS语言中新提出概念 ,它是实现GPS系统阶段功能的操作基础和系统关联基础 ,表面模型需要由相应的“要素”和“特征”予以定义和描述。ISO TC2 13GPS将工件 要素分为七种恒定类 ,所有的理想要素都属于七种恒定类中的一种 ,且可由其位置要素和本质特征进行定义与描述 ;位置特征则定义了要素之间的关系。第二代GPS系统通过表面模型、恒定类、恒定度、特征等概念的引入和互补应用 ,实现了几何要素从定义、描述、规范到实际检验评定过程中数字化控制功能的飞跃 ,比较有效地解决了产品在“功能描述、规范设计、检验评定”过程中数学表达统一规范的难题。

现代产品几何技术规范(GPS)体系的理论基础及关键技术研究

针对传统的几何公差体系存在的突出问题 ,着重研究探讨新一代GPS标准体系的构成原理、基本准则、内在规律及应用特点 ;在此基础上 ,对该体系的理论基础及关键技术进行深入地研究和探讨 ,揭示并阐述其“一条主线 (规范 模型 )、两种关联 (不确定度与操作算子 )、三个创新 (基于统计优化的不确定度理论及拓展技术、基于对偶性的模型与操作技术、基于应用数学的数字化描述技术 )”的构造模式规律及本质特征 ;进一步明确新一代GPS体系在实现“功能—规范—检验 认证”全过程统一规范和数字化描述与集成控制方面的关键性 (支撑 )技术基础 ;并提出建立我国GPS体系的应对策略。

现代产品几何技术规范(GPS)中基于对偶性的操作技术及其应用

揭示现代产品几何技术规范(geometricalproductspecificationandverification,GPS)中规范过程和检验/认证过程的物象对应关系,以及其表面模型存在着对偶性、操作技术存在着共性的内在规律性;并以几何误差的检验/认证过程为例,阐述利用操作及算子技术实现GPS计量过程数字化的可能性及应用规律;进一步明确基于对偶性的表面模型、操作及操作算子技术,对于实现GPS设计与计量的统一性、与CAx的集成性和数字化功能是至关重要的。

现代产品几何技术规范(GPS)体系及应用分析

现代产品几何技术规范GPS(dimensionalgeometricalproductspecificationandverification)是ISO TC2 13针对产品的设计与制造而规定的一系列宏观和微观的几何技术规范 ,是所有机电产品的技术标准与计量规范的基础。随着全球经济的发展和科学技术的进步 ,尤其是随着CAD CAM CAQ (computeraideddesign computeraidedmanufacture computeraidedquality)的应用和发展 ,新工艺、新技术、新材料的应用以及加工精度从微米到纳米的提高 ,ISO TC2 13GPS也随之发生了巨大的变化 ,已经由以几何学为基础的第一代GPS ,发展到以计量学为基础的第二代GPS。文中在阐述ISO TC2 13GPS标准体系的形成、特点及发展趋势的基础上 ,对其构成思路及矩阵模型进行深入分析和研究 ,进一步揭示出其新一代GPS标准体系的构造模式规律及本质特征。

现代产品几何技术规范(GPS)的不确定度理论及应用技术研究

新一代GPS(generation geometrical product specification)在测量不确定度的基础上扩展了不确定度的概念,将不确定度应用到几何产品的“功能、规范、认证”的全过程。文中着重分析新一代GPS不确定度的构成、相互关系及GPS过程量化统一的内在规律性;明确不确定度与操作算子之间的关系,揭示GPS不确定度理论的概念基础、应用规律及技术经济性;研究新一代GPS基本原则与不确定度之间的关系规律,给出减小GPS不确定度的对策和措施;并在此基础上,以产品质量认证为例,进一步分析研究GPS测量不确定度规范及其应用技术。

社会流行语与现代汉语规范化

本文对社会流行语从语音、语法、词汇三个层面进行了分析,针对社会流行语在语音、语法、词汇方面的主要表现形式分别提出了相应的规范要求。

《现代汉语词典》与《现代汉语规范词典》异形词收录探析

《现代汉语词典》与《现代汉语规范词典》都按有无国家试行标准两大类分别收录处理异形词,但它们在分条立目、对同组异形词推荐词形与非推荐词形的界定、对异形词推荐词形与非推荐词形词语间语义关系的认定及对非推荐词形异形词的标注形式等方面都有差异。差异主要成因在于两者对异形词收录原则有不同理解。相对而言,《现代汉语词典》更强调"从简"、"系统性",《现代汉语规范词典》更强调"理据性"、"规范性"。《现代汉语词典》和《现代汉语规范词典》对异形词所做的整理性收录,正在并仍将对现代汉语异形词表的审定产生积极影响,有助于现代汉语词汇规范化。

略论现代汉语语音规范的确立与发展——构建普通话语音标准立体框架的设想

本文着重回顾现代汉语标准语的语音标准形成与确立的历史发展进程中三个重要的里程碑;探讨有关普通话语音标准确立过程的几个基本理论问题;试图提出普通话语音标准立体框架的总体构建设想,初步探讨这个框架的确立原则。

语料库加工中的规范问题——谈《信息处理用现代汉语词类标记集规范》

本文就制定《信息处理用现代汉语词类标记集规范》阐述我们对于规范问题的看法和做法。规范不是强制的 ,只规范加工结果 ,不规范加工过程。《规范》研制的目的在于为中文信息处理研究提供一套可以作为国家规范的现代汉语词类标记集体系 ,以便各个中文信息处理系统能够使用规范统一的词类标记集。这个《规范》试图解决词类标记的统一问题 ,该《规范》的特点是 :继承性 ,单功能性 ,通用性和可扩充性。本文还主要讨论了关于研制规范的一些原则性问题和小类标记问题 ,最后给出基于《规范》的词性标注在真实语料中的覆盖实验数据。