- 年份
- 2024(6794)
- 2023(9728)
- 2022(7587)
- 2021(7067)
- 2020(5817)
- 2019(13252)
- 2018(13046)
- 2017(25731)
- 2016(13673)
- 2015(15087)
- 2014(14894)
- 2013(14005)
- 2012(12047)
- 2011(10372)
- 2010(9740)
- 2009(8442)
- 2008(7673)
- 2007(6195)
- 2006(5015)
- 2005(4116)
- 学科
- 济(54928)
- 经济(54879)
- 管理(38690)
- 业(37073)
- 企(30158)
- 企业(30158)
- 方法(27319)
- 数学(24875)
- 数学方法(24486)
- 农(15756)
- 中国(15102)
- 财(14013)
- 业经(12898)
- 农业(10488)
- 地方(10418)
- 制(9178)
- 务(9063)
- 财务(9002)
- 财务管理(8983)
- 贸(8822)
- 贸易(8819)
- 学(8745)
- 易(8607)
- 企业财务(8533)
- 技术(8426)
- 环境(7884)
- 理论(7707)
- 产业(7651)
- 和(7435)
- 发(7364)
- 机构
- 学院(176142)
- 大学(175369)
- 济(73792)
- 管理(73151)
- 经济(72518)
- 理学(64606)
- 理学院(64034)
- 管理学(62855)
- 管理学院(62533)
- 研究(52217)
- 中国(39059)
- 京(34383)
- 财(32190)
- 科学(31328)
- 财经(26817)
- 中心(26190)
- 业大(26037)
- 农(25840)
- 经(24704)
- 江(24230)
- 经济学(23521)
- 所(23119)
- 范(21743)
- 师范(21509)
- 经济学院(21438)
- 研究所(21382)
- 财经大学(20319)
- 农业(20142)
- 北京(20094)
- 院(19671)
- 基金
- 项目(132116)
- 科学(106275)
- 基金(98557)
- 研究(96765)
- 家(85372)
- 国家(84717)
- 科学基金(75051)
- 社会(64007)
- 社会科(60890)
- 社会科学(60875)
- 基金项目(52443)
- 省(51344)
- 自然(48389)
- 自然科(47355)
- 自然科学(47347)
- 自然科学基金(46476)
- 教育(44910)
- 划(42890)
- 资助(38923)
- 编号(38852)
- 重点(29495)
- 部(29344)
- 成果(29246)
- 发(28320)
- 创(28251)
- 国家社会(27564)
- 创新(26450)
- 教育部(25897)
- 科研(25850)
- 人文(25593)
共检索到236581条记录
发布时间倒序
- 发布时间倒序
- 相关度优先
文献计量分析
- 结果分析(前20)
- 结果分析(前50)
- 结果分析(前100)
- 结果分析(前200)
- 结果分析(前500)
[期刊] 财会月刊
[作者]
张颖敏
XBRL链接库用于表示XBRL财务元素之间的关系,具有可选性。本文探讨添加不同链接库形式化表示后的系统推理的效率问题,并通过对个别利润表实例证明该优化方法是有效的,能降低形式化表达的规则数,提高逻辑推理的效率。
[期刊] 财会月刊
[作者]
李闻一 杨诚 杨寅
本文首先介绍了XBRL的概念与理论,并给出了基于XBRL财务报表的实现流程。接着,详细分析了实现流程中XBRL分类标准扩展元素链接库模块的实现,并简单介绍了实现流程中XBRL分类标准的制作和使用、公司财务数据获取、基本财务报表生成以及XBRL实例文档上报和分析等模块的实现。最后,提出了一个基于XBRL的链接库,并对基于XBRL链接库的财务报表进行分析研究。通过对XBRL链接库的研究和运用,企业可以提高财务报表编制的效率,可以快速根据自己公司的需要实时扩展元素,并结合XBRL数据为企业提供财务报表分析和决策信息。
关键词：
财务报表分析 XBRL链接库 分类标准
[期刊] 会计之友
[作者]
孙凡 苏垚开
为了提高机器对自然语言的理解能力,以语义形式化为切入点,研究了基于可扩展商业报告语言(XBRL)的自然语言语句的形式化标注问题。研究表明,自然语言句子的语义表达模式灵活多样,其语义需要分别从词汇意义、语法意义、其他意义等方面加以理解;XBRL的技术体系结构具有可扩展性,通过扩充基础规范,重构分类标准,增加新元素,基于XBRL技术可对自然语言的语句进行形式化标记,进而提高机器对自然语言的理解能力。
关键词：
自然语言语句 形式化标注 XBRL
[期刊] 会计之友
[作者]
孙凡 苏垚开
为了提高机器对自然语言的理解能力,以语义形式化为切入点,研究了基于可扩展商业报告语言(XBRL)的自然语言语句的形式化标注问题。研究表明,自然语言句子的语义表达模式灵活多样,其语义需要分别从词汇意义、语法意义、其他意义等方面加以理解;XBRL的技术体系结构具有可扩展性,通过扩充基础规范,重构分类标准,增加新元素,基于XBRL技术可对自然语言的语句进行形式化标记,进而提高机器对自然语言的理解能力。
关键词：
自然语言语句 形式化标注 XBRL
[期刊] 中国远程教育
[作者]
宁玉杰
本文介绍在Authorware多媒体开发软件中,利用DLL动态链接库调用Windows函数的程序设计和方法,进而可使Authorware直接对I/O口读写,使Authorware的功能更完善。
[期刊] 当代财经
[作者]
覃家琦 王敬
本文将经济理论从形成到发展的过程进行了完整而清晰的形式化,提出了历史理论、经验性理论、逻辑性理论、定义式理论、解释性理论等理论形式概念,给出了理论演变的阶梯循环图,并对相关一些实际问题如理论文献、数学工具、理论积累、计量经济学的性质、范式等进行了回答。
关键词：
演绎逻辑 归纳逻辑 理论形式
[期刊] 中南林业科技大学学报
[作者]
陈振庆
UML活动图是一种特殊的状态机,被认为最适合描述软件过程建模,但其缺乏精确的语义,不利于对模型进行形式化分析和验证。针对传统描述逻辑无法表达动态行为和时序特征的不足,提出了一种基于时态描述逻辑的UML活动图形式化规约方案,讨论了时序描述逻辑时序扩展部分的语法和语义,研究了UML活动图的静态语义和动态语义的ALCQIUS形式化规约,通过具体应用实例说明所提方案的可行性。
[期刊] 经济科学
[作者]
曲振涛 王福友
深化国有企业改革，是我国建设社会主义市场经济体制过程中遇到的最大问题。但由于认识上的偏差，实践中国有企业改造被普遍公司化，而公司创制又被普遍形式化，致使人们对公司制度的希望在现实中失落或变得难以实现。作者在本文中从法学的角度试图解决如下问题：公司制度...
[期刊] 中国图书馆学报
[作者]
黄华军 曾新红 林伟明 陈若韵
本文旨在为国内外分类法拥有者快速实现现有分类法的Web版、Web Service术语服务、Linked Data化和自动分类等网络共享服务提供参考和支持。以《中国图书馆分类法》第四版为例,采用CNKOS对分类法进行语义化描述,使用Lucene全文检索引擎、Ext Js插件、Axis SOAP引擎和URL Rewrite等关键技术实现了分类法共享服务(CLSS)原型系统。经验证明所有功能模块运行和调用都符合预期效果。实践证明该套解决方案可投入使用,而且其他分类法类型的中文知识组织系统均可依此方法快速完成相应的部署。但是,对于部分复杂的自动分类需求,如要获得更为准确的分类号还需更深入的研究或人工辅...
[期刊] 中国图书馆学报
[作者]
曾新红
以SKOS Core为基础,以实现中文叙词表和分类法等传统受控词表的全描述为目标,研究传统中文知识组织系统的语义描述规范。其中,针对中文KOS描述需求中SKOS能够描述的部分,研究制定用SKOS描述的具体规范;对于现有SKOS词汇无法描述的部分,则利用RDF/RDFS/OWL的建模结构,基于SKOS的数据模型进行了本地(CKOS)扩展。本研究是国家图书馆知识组织标准规范的组成部分,同时也是中文知识组织系统形式化语义描述标准体系研究的基础。
[期刊] 会计研究
[作者]
陈潇怡 欧阳电平
企业内控信息化实施需要运用信息技术手段将内控理念、内部控制制度规范、流程、措施固化到信息系统中,将企业信息系统转化、提升为一个集成了企业内控需求的信息化管理平台。企业内控信息化实施是一个复杂庞大的系统工程,需要有科学规范的方法、工具和技术以保证内控系统实施的质量。领域分析和形式化方法是计算机软件工程中对软硬件系统进行分析、规范、建模、证明的方法和技术,将其应用于企业内控信息化实施,可以在内控系统运行前,通过基于数理逻辑证明的方法快速有效地发现系统设计和实施中存在的缺陷和漏洞,降低企业内控系统低效或失效的风险。本文以销售业务为例讨论了领域分析与形式化方法的内控信息化实施过程。
[期刊] 情报理论与实践
[作者]
姜永常
本文基于Brookes文献中的知识节点及Swanson文献间的隐性关联概念,提出了一种基于知识元本体语义链接的知识网络实现流程。文中给出了文献单元和Web信息的知识元认知抽取方法,知识元本体的结构建立和语义互联,以及利用Protégé技术实现基于知识元语义链接的知识网络构建步骤。
关键词：
知识元 语义链接 知识网络 本体
[期刊] 统计与决策
[作者]
秦红斌
20世纪50年代以来成为主流的新古典经济学派,在方法论个人主义的指导下,利用经济人假设及瓦尔拉斯一般均衡体系构建了一座宏伟的经济学大厦,对现实经济作出了许多深刻的洞见。文章认为,随着主流经济学中数学形式化的日趋严重及其对经济学研究和教育的垄断,这种分析范式的弊端也日益明显,并使其研究日益远离现实。
关键词：
主流经济学 经济人假设 数学形式化
[期刊] 情报理论与实践
[作者]
刘耀 穗志方 胡永伟 赵庆亮
本文提出了基于NLP理论与方法,结合传统图书馆资源组织方式(分类法、主题词法)与领域本体构建技术,搭建辅助构建及标注一体化平台,进而实现语义元数据体系构建与资源组织语义化过程同步实施的解决方案,这一思想与方法的提出与实现,可以有效地促进图书馆资源语义化进程,使语义自动标注与知识服务成为可能。
关键词：
信息资源 语义化 语义标注 知识工程
[期刊] 清华大学学报(自然科学版)
[作者]
邓辉 石竑松 张宝峰 杨永生 刘晖
对安全功能要求的错误理解会在IT产品中引入内在的安全缺陷。半形式化方法可提高描述安全功能要求的准确性,增强设计的合理性,从而有助于降低引入安全缺陷的风险。因此,该文将重点研究产品安全策略及设计规范的半形式化描述及验证方法。首先,论述了通过分析安全功能接口,从安全功能要求中提取安全策略,以及从模块设计中提取设计规范的一般方法,给出了降低耦合性的子系统和模块划分规则;其次,通过选择和改进现有的半形式化工具,给出了描述安全策略以及设计规范的半形式化方法;最后,以IC卡芯片产品的测评为例,通过对部分安全策略以及设
关键词：
安全策略 设计规范 半形式化
文献操作()
导出元数据
文献计量分析
导出文件格式：WXtxt
删除
