上市公司综合评价研究

客观合理地评价上市公司,是投资者、上市公司以及监管机构都非常关注的问题,也是规范发展证券市场的一个重要方面。基于平衡记分卡的原理,提出了我国上市公司的评价指标体系。财务层面的评价采用因子分析法;客户层面、内部层面、学习与创新层面以及综合评价,则是根据模糊三角数的概念构造判断矩阵,利用模糊三角数比较大小的原理进行排序。     

后现代主义与网络文学

后现代主义与网络文学是近年来学术界关注较多的两大学术焦点，文章系统地论述了后现代主义思潮与网络文学的关系，并从去中心与自由、平面化与游戏、复制性与互文、消费性与狂欢四个方面分析了网络文学的后现代主义文化逻辑。     

银行个人住房抵押贷款预警系统构想

在分析银行住房抵押贷款的各种风险因素的基础之上，提出模糊预警模型，给出预警结果。     

博弈逻辑中归纳合理性问题探讨

归纳合理性问题最初是由休谟提出的.对这一问题,哲学家和逻辑学家提出了各种解决途径.在互动的人群的博弈中,由于总是存在某些公共知识,通过若干次博弈,总是有可能达到纳什均衡,因此归纳推理总是合理的.     

基于层次分析法与模糊评价的学科水平评估

在学科建设中,学科水平评估可以采用专家咨询的方法,分别从学术队伍、科学研究、教学与人才培养和工作条件四个方面设计学科水平评估指标体系,运用层次分析法确定指标权重系数,针对评估指标的模糊性,建立学科水平评估模糊综合评价模型,并通过实例分析和计算,证明该学科水平评估体系合理、有效、可行。     

道义逻辑不是坏逻辑——与金承光先生商榷

道义逻辑不是坏逻辑;道义逻辑不是因为实际应用而产生,它不能够即时的被法律逻辑所应用并不表明它毫无作用;即使是在应用领域同样可以有广阔的前景;在知识表达领域,在多智能主体系统领域都可以看到道义逻辑在发挥作用。     

高校思政课要讲好新时代中国的“五个必由之路”

基于新时代党和人民的奋进历程,习近平总书记提出“五个必由之路”的重大论断。“五个必由之路”深刻揭示了新时代中国为什么能够成功,也科学指明了未来我们怎样才能继续成功。“五个必由之路”在对新时代面临的挑战和需要解决的问题的回应中,引领新时代中国取得重大成就,体现了党对中国特色社会主义建设规律认识的深化。高校思政课要深度阐述“五个必由之路”的理论内涵,深刻把握“五个必由之路”的内在联系,深入理解“五个必由之路”的重大意义。高校思政课既要结合新时代的丰富实践,讲好“五个必由之路”的中国故事,也要加强理论阐释,讲好“五个必由之路”的内在逻辑,以解疑释惑。     

湖北自贸试验区的制度创新:实践特征、理论内涵与政策启示

建设湖北自贸试验区是新发展阶段全面深化改革、扩大开放的系统性探索和战略实践,从动态演进论与制度变迁、制度经济学的交易成本论以及公共经济学的公共物品供需视角,对自贸试验区制度创新的理论逻辑与实践意义予以系统研究。研究发现,湖北自贸试验区围绕加快转变政府职能、深化投资领域改革、促进贸易转型升级、推动金融开放创新、创新驱动发展以及服务国家战略等方面展开了一系列制度创新实践,逐步形成由浅入深、由线下向线上线下协同发展、由共性领域向特色领域逐步延伸、从前项到末端统筹安排、借鉴与创新并举以及集中推广与自主运用相结合的改革创新发展路径。研究认为,推动湖北自贸试验区的制度创新,充分发挥其在破解地方深层次结构性发展矛盾和扩展增长赋能空间上的功能内涵,需要在顶层制度设计方面,加强与国内国际双循环新发展格局相互衔接,通过完善监管体系设计、提升行政服务效率来转变政府监管职能和健全市场监管,构建由法律法规、行政规章、规范性文件共同组成的、与国际规范兼容协调的法制框架和政策体系,统筹为国家试制度、出经验的全局性战略目标与谋求为地区经济发展注活力、添动力的局部性现实需求之间的激励导向; 在具体实施路径层面,持续优化开放平台、营商环境和加强口岸智慧功能建设,着力培育和强化大城市、大枢纽、大口岸、大平台、大产业以及一流的营商环境等,构建开放型经济新体制和多维量化评估指标体系,实现自贸试验区制度创新实践探索、经验成效审视验证、赋能社会经济发展以及长远建设规划目标的有机协调统一,助力湖北建设新时代内陆开放新高地。     

On the logic of common belief and common knowledge

The paper surveys the currently available axiomatizations of common belief (CB) and common knowledge (CK) by means of modal propositional logics. (Throughout, knowledge — whether individual or common — is defined as true belief.) Section 1 introduces the formal method of axiomatization followed by epistemic logicians, especially the syntax-semantics distinction, and the notion of a soundness and completeness theorem. Section 2 explains the syntactical concepts, while briefly discussing their motivations. Two standard semantic constructions, Kripke structures and neighbourhood structures, are introduced in Sections 3 and 4, respectively. It is recalled that Aumann's partitional model of CK is a particular case of a definition in terms of Kripke structures. The paper also restates the well-known fact that Kripke structures can be regarded as particular cases of neighbourhood structures. Section 3 reviews the soundness and completeness theorems proved w.r.t. the former structures by Fagin, Halpern, Moses and Vardi, as well as related results by Lismont. Section 4 reviews the corresponding theorems derived w.r.t. the latter structures by Lismont and Mongin. A general conclusion of the paper is that the axiomatization of CB does not require as strong systems of individual belief as was originally thought — onlymonotonicity has thusfar proved indispensable. Section 5 explains another consequence of general relevance: despite the infinitary nature of CB, the axiom systems of this paper admit of effective decision procedures, i.e., they aredecidable in the logician's sense.     

Fuzzy格上的Urysohn度量化定理

当Ｌ是Ｆｕｚｚｙ格时,证明了一个ＣⅡ拓扑分子格（Ｌ,η）可点式ｐ．度量化当且仅当其是正则的;可点式度量化当且仅当其是正则Ｔ１的．