检索结果-南通市图书馆

计算机研究与发展 1992年第5期29卷 37-43页

作者：陈有刚东北财经大学人工智能研究所大连116023

计算机科学中的形式化可分为描述概念的形式化、证明定理的形式化、定义语法的形式化、编译语言的形式化和处理文本的形式化等等.本文重点讨论将逻辑语言编译为ALGOL语言的形式化生成.

关键词：计算机科学逻辑语言形式化

在线全文

学校读者我要写书评

暂无评论

我国行政法院设置及相关问题探讨

中国法学 1995年第1期 60-67页

作者：陈有西浙江省高级人民法院研究室

经过立法后四年多的实践,我国行政诉讼制度正在出现令人担忧的局面。其根本原因,是我们立了一个很好的法,却没有随之建立良好的执法保障机制。立法意图和执法效果间出现了巨大的失衡。没有法院的独立地位,就不可能有实质意义上的行政诉... 详细信息

经过立法后四年多的实践,我国行政诉讼制度正在出现令人担忧的局面。其根本原因,是我们立了一个很好的法,却没有随之建立良好的执法保障机制。立法意图和执法效果间出现了巨大的失衡。没有法院的独立地位,就不可能有实质意义上的行政诉讼。而市场经济的运作必须要在各主体间确立一个超脱公正的裁判。设立行政法院不会导致三权分立,不会削弱党的领导,只会使社会主义民主政治制度更加完善,不用大动现有法院体制就能做到。本文主张撤销各基层法院中的行政审判庭,设立与中级法院同级的行政法院审理初审案件,上级行政上诉法院的体制也作相应改变。此举将根本改变现在行政诉讼所面临的困境,保障市场经济所需要的法治原则得以实现。

关键词：行政法院行政诉讼制度行政审判庭法院设置法院体制行政案件《行政诉讼法》相关问题基层法院依法行政

在线全文

学校读者我要写书评

暂无评论

面向表达式并行运算的计算机系统结构

计算机研究与发展 1989年第9期26卷 31-37页

作者：陈有刚东北财经大学信息系

本文提出一种新型的计算机系统结构,它用一条表达式指令取代一串单运算的指令列,并可以实现表达式的并行运算.因而,有可能从总体上提高计算机的计算速度.

关键词：计算机系统结构表达式并行运算

在线全文

学校读者我要写书评

暂无评论

关于人民出版社建社历史的再探讨

中国出版 2011年第19期 66-71页

作者：陈有和人民出版社

1921年中国共产党在上海召开了第一次全国代表大会，会后创建了党领导的第一个出版机构——人民出版社。这是中共党史上的一件大事，也是近现代中国出版史上的一件大事，但对它及其后来历史的研究，长期以来并没有引起党史学界及出版界... 详细信息

1921年中国共产党在上海召开了第一次全国代表大会，会后创建了党领导的第一个出版机构——人民出版社。这是中共党史上的一件大事，也是近现代中国出版史上的一件大事，但对它及其后来历史的研究，长期以来并没有引起党史学界及出版界的重视，所论文章也寥寥无几。今年是建党90周年，也是人民出版社建社90周年，我曾先后撰文，就人民出版社的建社历史阐述了自己的观点，现再就一些重要的历史节点补充点意见，不妥之处，还望各位同行及方家指正。

关键词：人民出版社历史第一次全国代表大会中国共产党 1921年中国出版史出版机构中共党史

在线全文

学校读者我要写书评

暂无评论

法院机构优化设置问题探讨

中国行政管理 1994年第3期 7-12页

作者：陈有西

法院机构设置问题，除了《人民法院组织法》的规定外，专题性的研讨还比较薄弱。而工作实践中，这方面存在的问题不少，无论是审判部门，还是综合部门，上下之间机构和职能交叉不清；同级法院内部的机构分设相差很大，有的互相重迭，扯... 详细信息

法院机构设置问题，除了《人民法院组织法》的规定外，专题性的研讨还比较薄弱。而工作实践中，这方面存在的问题不少，无论是审判部门，还是综合部门，上下之间机构和职能交叉不清；同级法院内部的机构分设相差很大，有的互相重迭，扯皮严重，法警问题、书记员问题、法医问题关系不顺，内耗不小。本文从高级人民法院的机构设置问题入手，对此作些探讨，也兼及其它各级法院。

关键词：最高法院机构设置机构优化高级法院法院组织法书记员设置问题司法行政行政管理系统审判监督

通过非线性解耦实现绕欧拉特征轴旋转的姿态控制系统

在线全文

学校读者我要写书评

暂无评论

宇航学报 1995年第3期16卷 81-87页

作者：陈有余北京航空航天大学

利用四元数反馈，就不需要测量三个欧拉角，从而避免结构上和原理上所带来的麻烦，而且可以实现绕欧拉特征轴的大角度机动。绕欧拉特征轴旋转的角行程是最短的。但是，要实现这种机动，姿态控制系统必须是解耦的。

关键词：非线性解耦欧拉特征轴姿态控制系统航天器

在线全文

学校读者我要写书评

暂无评论

苏联图书馆的情报潜力

黑龙江图书馆 1991年第4期 69-70页

作者：陈有进北京图书馆

图书馆满足社会文献情报需求的能力在很大程度上取决于图书馆馆藏和目录资源的状况。鉴于情报在社会物质生产方面的作用不断增强,应把作为社会情报资源部门的图书馆从整体上列入诸如原料、能源等国家资源之列。

关键词：苏联图书馆情报工作

在线全文

学校读者我要写书评

暂无评论

分形艺术与服装面料图案设计

纺织学报 2003年第3期24卷 88-89页

作者：陈有卿长沙大学艺术系长沙410008

分形艺术是数学与艺术的完美统一,用分形艺术设计服装面料能创造出令人赞叹的艺术效果,介绍分形图案的获取,以及将分形图案制作成无缝拼贴以满足印染图案设计的要求。

关键词：分形艺术服装面料无缝拼贴图案设计

在线全文

学校读者我要写书评

暂无评论

近年来我国法院改革运作状态

中外法学 1994年第4期6卷 69-73页

作者：陈有西北京大学高级法官班

在我国经济体制改革正在深入,立法机关加快立法,依法治国的程度日益提高的大背景下,近年来我国人民法院在执法工作指导思想、法律政策、工作重点、审判方式、内部体制、法官培养、国际司法协作和交流等方面也都有了许多的变革与发展。... 详细信息

在我国经济体制改革正在深入,立法机关加快立法,依法治国的程度日益提高的大背景下,近年来我国人民法院在执法工作指导思想、法律政策、工作重点、审判方式、内部体制、法官培养、国际司法协作和交流等方面也都有了许多的变革与发展。有些变革甚至是历史性的。从宏观上对这些脉络进行一些回顾整理,对社会各界了解法院近年来的运作和发展,从而从一个侧面审视我国法制建设的进程和发展趋势,谅会有所裨益。

关键词：我国法院最高法院人民法院审判方式改革行政审判高级法官经济审判惩办与宽大独立审判错案追究制

在线全文

学校读者我要写书评

暂无评论

工会社会化维权模式的义乌实践

毛泽东邓小平理论研究 2010年第6期 60-63页

作者：陈有德浙江省义乌市人大义乌市总工会

工会维权机制，不仅仅是民营企业的问题，更是市场经济条件下所有企业面临的问题。随着“民生问题”的浮现，“体面劳动”的追求，更是包括国际企业、国有大中型企业要面对的问题。在我国经济转型时期。如何构建和谐的劳动关系．工会应... 详细信息

工会维权机制，不仅仅是民营企业的问题，更是市场经济条件下所有企业面临的问题。随着“民生问题”的浮现，“体面劳动”的追求，更是包括国际企业、国有大中型企业要面对的问题。在我国经济转型时期。如何构建和谐的劳动关系．工会应当发挥重要的作用．这就要按照中国特色社会主义工会建设的新思路，需要政府职能部门从“稳定大局”的视野去冷静分析和思考。

关键词：工会维权机制维权模式社会化中国特色社会主义国有大中型企业实践义乌市场经济条件