财务管理课程是高职院校会计和财务管理类专业中开设的一门非常重要的课程。随着全球经济一体化的发展，现代企业管理环境已经发生了变化，引发了企业财务管理的创新，财务管理已经向网络化管理模式发展。但财务管理的教学仍然没有适应社会环境和市场的变化。高职院校应当不断吸纳新理念、新内容和新方法。从教学理念、教学内容、教学方法、社会实践等方面进行教学创新，以期培养出更优秀的财务管理人才。
一、财务管理课程的特点
二、财务管理教学中存在的问题
三、改革财务管理教学的几点建议
【关键词】软件工程形式化技术理论基础
1形式化技术
形式化技术就是将使用由一定的语法规则组成的公式或者符号来代表一定的含义。在软件工程中，这种形式化技术被广泛的使用，但是它们却没有进行精确的定义，仅仅是根据人们的使用习惯，因此现存的可能有很多版本的形式化技术方法。形式化技术是利用数学的方法来解决软件工程中的问题和计算机科学理论研究的一种工具，程序设计语言理论、数理逻辑、集合论、代数理论、构造类型论等这些数学理论都为形式化技术垫定了比较坚实的理论基础。形式化技术最重要的理论工具是数理逻辑。从数理逻辑的角度来看，集合和数理逻辑可建立任何复杂的数学结构，因此它们成为了构造形式化技术比较重要的理论基础。形式化技术形成了不同的软件规约形式语言。
2软件工程各阶段的规约描述
软件的开发周期有需求分析、详细设计、测试、可行性分析、体系结构设计和编码六个部分。形式化技术贯穿于软件开发周期的六个部分，形式化时基于参数化的数学理论形式化定义语义。下面从可行性分析、需求分析、体系结构设计和详细设计几个方法进行说明。
2.1可行性分析
软件生命周期的第一个阶段是可行性分析阶段，在这一阶段要通过大量的数据资料来说明系统的开发是否是可行的。指出项目的建议、风险预测、可行性，为项目的决策提供参考依据。在此阶段，通过将实际问题转化为可行性的研究，形成一定的文档材料，规定专业的属于，说明软件系统进行开发的处理流程、数据流程、输入输出、运行环境和开发环境等等。当前来说，专门用于可行性分析这一阶段的形式化技术还非常少，主要的原因是无法将形式化的符号和自然的语言很好的结合起来，确保使用本软件的用户可以非常清楚明白的理解形式化技术所要描述的意义。Z语言是目前一种不可执行的半形式化语言，它短小且容易阅读，采用非形式化的英语对软件的规约进行解释。
2.2需求分析
需求分析分为信息处理和分信息预处理两个阶段，将可行性分析报告作为输入。元语言是形式化语言中的一种，它是基于集合论的证明规则和谓词演算，给出抽象机状态确定模型，从而生成文档。这种形式化语言，对于程序员来说，容易实现原型而且可读性好，容易掌握。语义的设计是形式化技术中需求分析阶段主要要进行的工作之一。在需求分析这一阶段，ER图是从可行性分析的实际问题中导出来的。通过ER图给出SXL语言的事实和对象，SXL语言有助于开发团队理解和交流。SXL语言、RAISE语言和VDM元语言都是应用于需求分析阶段的比较常用的形式化技术。
2.3体系结构设计
软件设计的第三个阶段是体系结构的设计，在这一阶段是将需求分析转换为要实现的目标软件，并进行各种方案的分析和比较，最终选择较好的方案。在体系结构设计阶段采用过程代数形式化的攻击进行输入、输出的行为描述。TLG语言适合体系结构设计阶段不强调如何做仅仅说明做什么。采用形式化的说明把自然的语言融入到逻辑程序设计范型和数学函数中，这样更容易证明用户需求的一致性。GLIDE是一种半形式化的SSFL，GLIDE的好处是应用范围广，而且抽象的级别比较高，不过也有一定的局限性就是使用的时候需要适当的进行扩充和修改。
2.4详细设计
软件设计的第四个阶段就是详细设计，在详细设计阶段，要与软件系统的形式化描述一致。在详细设计阶段，要为软件系统的各个模块设计相应的内部数据结构和算法，确定最终系统实现的一个精确的描述。Larch语言是用于说明程序功能，可以适当的增强详细设计阶段的处理能力和描述能力。形式化的Trace语言作为软件详细设计阶段的形式化工具，采用将模块实现的抽象数据作为自动机说明每个模块的接口需求。Trace语言与SSFL语言不同的特点是程序自动的生成和验证在同一形式的系统内进行。
3形式化技术的评价
形式化技术在软件工程中有效的提高了开发的效率、改进了软件开发的质量、减少了开发费用。形式化的技术容易在软件的规约上取得一致性，它属于一种非常有效的交流方式。在软件工程中，形式化技术的优势在于语法定义准确、问题抽象、表达无二义性、语义清晰可操纵、描述简洁规范。形式化技术在非功能性的要求上比如安全性、保密性、结构性上利用数学工具更容易进行核查。虽然形式化技术在软件工程的各个阶段已经取得了不错的成就，但是还是存在着一定的局限性，比如缺乏在实际项目中应用的有效工具。程序功能的正确性有时候难以证明，因为形式化技术缺乏定理证明机制的支持。形式化技术的下一个发展方向应该是尽量的把形式化的语言表达的形式进行简单化，让其趋于自然语言，增强它的可理解能力。
4总结
在软件工程中，形式化技术极有好处也有弊端，有很多人支持这种技术，也有人对它持反对态度。在软件工程发展的过程中，形式化的技术也起到了相当大的作用。在四十多年对形式化技术的研究中，很多成功的案例也证明了形式化技术的巨大作用，但是我们也需要清醒的认识到它在实践和工业的应用中所存在的缺陷和困难。
参考文献
[1]陈火旺，罗朝晖，马庆鸣.程序设计方法学基础[M].长沙：湖南科学技术出版社，1987.
[2]陆汝钤.计算机语言的形式语义[M].北京：科学出版社，1992.
[3]李未.数理逻辑基本原理与形式推演[M].北京：科学出版社，2007.
[4]陈意云.程序设计语言理论[M].北京：高等教育出版社，2004.
[5]屈延文.形式语义学基础与形式说明[M].北京：科学出版社，2010.
[6]郑，张乃孝.软件开发中的形式化方法[J].计算机科学，2011.
[7]朱冰，梅宏，杨芙清.软件开发过程中的形式化方法[J].计算机科学，2006.
[8]廖常初.PLC编程及应用[M].北京：机械工业出版社，2008.
[9]崔坚.西门子工业网络通信指南（下册）[M].北京：机械工业出版社，2005.
作者简介
闻寅啸（1986-），男，汉族，江苏省苏州人，助理工程师，研究方向：软件工程。
关键词：电子文档上传下载
“无纸化”的办公环境在向我们靠近，“无纸化”的办公环境可以提高我们办公的速度，提升工作效率。本部分对系统进行了总体的概括描述，使读者对本系统有一个整体的把握。
1基于JAVA电子文档阅览系统的分析
1.1系统分析
做好可行性分析是做好系统设计的先决条件，如果没有完备的可行性分析就做不出好的系统。本部分主要完成的是对系统的可行性分析，主要包括技术、经济和管理上的可行性分析。
1.2背景分析
网上虚拟政府的出现预示着，网络平台将成为政府工作的主要场所，大量的工作将在网上进行，如网上报关、网上纳税、网上各类申报、网上等，网络已成为政府部门之间的纽带，信息的传递，各类信息的查找均可在网上实现。政府是这样的，一个企业的办公工作同样如此，本系统可看作一个机关团体内部办公的一个小功能。
1.3业务流程分析
1.4数据的分析
2功能结构设计[2]
总之，我学习JAVA的三个框架及里边的详细实现机制，个人认为学习软件的流程应该是知道-->会用-->用得熟-->整合、组织-->设计创新。创新应该是最高层次了，但是没有前边的基础，谈创新只能是空谈。要想做出好的软件，对设计模式、软件工程、面向对象等方面知识的灵活运用是不可缺少的。我要努力提高自己的编程水平，将设计一点一点的更多融入自己的开发中。
[1]苏乐年，张学志，李金等.JAVA+SQLServer项目开发实践[M].中国铁道出版社，2006.11，120-175.
[2]李代平等.软件工程分析案例[M].清华大学出版社，2008.5，67-180.
关键词：项目投资；可行性；方案
一、论文研究的目的和意义
二、项目投资可行性研究的界定
可行性分析①（FeasibilityAnalysis）是指在投资决策之前，对拟建项目进行全面的技术经济分析论证并试图对其可行或不可行评价的一种科学方法。在投资项目管理之中，可行性研究分析是在项目投资决策之前，调查、研究与拟建项目有关的自然、经济、社会、技术等各种因素，在此基础上分析投资建设方案。
概括来说，有着以下非常重要的意义：
1.项目投资决策和建设立项的依据；
2.项目评估和向银行申请贷款或筹资的依据；
3.项目设计和工程建设的依据；
4.向当地政府和规划、环保部门申请建设的依据；
5.本工程建设补充基础资料的依据；
6.项目与各有关部门签订合同或协议的依据；
7.核准采用新技术、新设备研制计划的依据；
8.企业安排项目计划和实施的依据。
三、项目投资可行性研究的内容和方法
1.项目投资可行性研究的内容
（1）项目建设的理由与目标。项目建设的理由与目标研究，是根据已确定的初步可行性研究报告，从总体上进一步论证项目提出的依据、理由、背景及预期目标，即进行项目建设的必要性分析。
（2）市场调查与预测。市场预测是对项目产出品和所需主要投入品的市场竞争力、容量、价格，及风险进行分析和预测，有以下主要内容：
①市场现状调查。市场现状调查主要包括调查拟建项目同类产品市场容量、价格，及竞争力现状。
③价格的预测。项目产品价格是测算项目投产后销售收入、生产成本和经济效益的基础，也是考核项目竞争力的重要方面之一。
⑤市场风险分析。市场风险分析是在产品供需、价格变动趋势和竞争能力等常规分析达到一定深度的前提下，对未来国内外市场某些重大不确定因素发生的可能性，及其可能对项目造成的损失程度进行的分析。
（3）建设规模与产品方案。建设规模与产品方案研究是在市场预测和资源评价的基础上，论证遴选拟建项目的建设规模和产品方案，作为确定项目技术方案、设备方案、项目方案、原材料燃料供应方案及投资估算等的依据。
（4）场址选择。可行性研究阶段的场址选择，是在初步可行性研究规划选址已确定的范围内，进行具体坐落位置的选择，习惯上称之为项目选址。
（5）技术方案、设备方案和项目方案。项目的建设规模与产品方案确定后，应进行技术方案、设备方案和项目方案的具体研究论证。
（6）组织机构与人力资源配置。合理、科学地确定项目组织机构和人力资源配置是保证项目建设和生产运营顺利进行，提高劳动效率的重要条件。
（7）项目实施进度。项目建设方案确定后，应提出项目的建设工期和实施进度计划，科学地组织建设各阶段工作，按项目进度安排资金，保证按期建成投产，充分发挥投资效益。
（9）财务评价、国民经济评价和社会评价。财务评价是在国家现行财税制度和市场挤挤价格体系下，分析预测项目的财务效益与用各项费用计算财务评价指标，分析盈利能力、偿债能力，持续发展能力等据以判断项目的财务可行性。国民经济评价是在合理配置资源的原则下，采用影子价格等经济评价参数，从国民经济角度考核项目所耗费的社会资源和对社会的贡献，评价投资项目的经济科学合理性。社会评价是分析拟建项目对当地社会的影响和当地社会条件对项目的适应性和可接受程度，评价拟建项目的社会可行性。
（10）风险分析。项目风险分析是在市场预测、技术方案、工程方案、融资方案及社会评价论证中已通过初步风险分析基础上，进一步综合分析识别项目在建设和运营中潜在的主要风险因素。
2.项目投资可行性研究的方法
运用经济学的基础知识，运用定性分析与定量分析相结合的方法，具体应用中采用内部收益率发、净现值法、投资回收期法和不确定性分析等方法对项目是否可行进行财务评价。
本论文在理论阐述的基础上，对项目投资可行性研究进行了探讨，以期能够为项目投资可行性研究在实际工作的应用提供一点可能的启示和思路，以求在未来有关的研究，克服缺憾，并以科学理论指导来指导项目可行性研究的工作实践。
注释：
①建设部.建设项目经济评价方法与参数[M].中国计划出版社，1993.
参考文献：
[1]戚安邦.项目论证与评估[M].北京：机械工业出版社，2004.
[2]建设部.建设项目经济评价方法与参数[M].中国计划出版社，1993.
（一）无形资产的定义
我国于2007年1月1日起实施的《企业会计准则第6号―无形资产》（以下简称无形资产准则）对无形资产的定义为：企业拥有或者控制的没有实物形态的可辨认非货币性资产。无形资产的特征主要表现在它的无形性、资源性、不确定性、独占性、长期性、高效性六个方面。其中，无形性是无形资产最明显最基本的特征，资源性和高效性体现了无形资产具有巨大的潜在收益。不确定性是指无形资产开发过程以及未来市场收益的风险。独占性和长期性都说明了无形资产是受到法律保护和企业拥有长期持有无形资产的权利。无形资产作为以知识形态存在的重要经济资源在经济增长中的作用越来越大，而且对经济发展起着关键的作用。无形资产本身具有超乎想象的价值，这是有形资产所不能比拟的。
（二）软件企业无形资产的特征
软件企业是指以计算机软件开发生产、系统集成、应用服务和其他相应技术服务为其经营业务和主要经营收入，具有一种以上由本企业开发或由本企业拥有知识产权的软件产品，或者提供通过资质等级认定的计算机信息系统集成等技术服务的企业。
软件企业无形资产的特征：第一，高收益性，无形资产常常给企业带来较其他资产更高的收益或超额利润；第二，不确定性，无形资产产生于创新，但创新过程充斥着巨大风险；第三，价值比重较大，软件企业的无形资产价值占总资产价值的比重较大，体现了软件企业的核心竞争力；第四，人才依附性，以知识形态为主的无形资产是人类智慧的结晶，因此软件企业的人才管理极其重要。
二、软件企业无形资产管理案例分析
我国软件企业无形资产管理存在诸多问题，下面以A软件公司为例，详细分析软件企业无形资产管理存在的问题及解决措施。
（一）A软件公司背景介绍
A软件公司，国有企业，上市公司，电信软件开发及集成供应商，公司主要经营范围为本公司和成员公司自产产品及技术出口业务。属于高新技术、双软认证企业，软件产品销售享受增值税税负超过3%即征即退的税收优惠政策，软件产品的开发属于四技收入，享受营业税免税政策。主要客户是中国联通，公司在中国北方五省及南方三省均有项目，每年新开工项目上百个。公司员工规模达600人，研发团队人员占人数总数30%以上。
（二）无形资产管理存在的问题
虽然A软件公司作为电信软件行业的先驱，撰写并了多项国际电信标准，但多年以来未形成一套从无形资产形成、积累、评估、管理、使用和创新的管理制度，在无形资产管理中出现了许多问题，主要表现在以下几个方面：
（三）A软件公司无形资产管理措施
A软件公司针对无形资产的管理现状，从投资管理，财务管理、使用管理三大环节采取措施，形成对无形资产的闭环管理模式。投资管理从投资可行性分析入手，进行投入产出情况预测，并且加强新产品价值后评估分析。财务管理指根据会计准则的规定建立健全的无形资产核算体系，准确计量无形资产入账价值及分摊金额，并定期报告新产品的投资预算执行及产生效益情况。使用管理即为强化对专利权、非专利权以及技术人才的保护意识。
无形资产管理措施实施后的一个会计年度，从研发部门立项审批到项目阶段性成果评审，从项目预算评审到各阶段考核，研发流程非常清晰，资料完备。年末无形资产账面摊余价值约1500万元，除原账面外购无形资产价值500万元外，均为自主研发形成的无形资产价值。A软件公司已逐渐成长为一个拥有多项自主知识产权的软件企业，企业价值得到了提升，为下一步战略资本扩张带来更多的机会。
三、完善软件企业无形资产管理的措施
（一）无形资产投资管理措施
3.无形资产的投入产出分析。对于开发成功后结转无形资产的新产品，应在其寿命期内进行持续跟踪，每年应进行投入产出分析工作，通过科学地分析体系输出客观、有效的信息，以期达到辅助公司经营决策和战略规划、有效改进经营管理质量的目的。投入产出分析工作主要以损益结果为主线，运用趋势分析法、结构分析法、对比分析法等财务分析方法对新产品进行损益后评估。
（二）无形资产的财务管理措施
企业应严格按照无形资产准则的规定，建立健全无形资产财务管理体系。外部购入的无形资产确认计量可依照常规方法进行核算，在此不再赘述。下面着重探讨软件企业自主研发项目的财务管理措施。
1.研究开发费用的确认。无形资产准则将企业内部研究开发项目的支出分为研究阶段支出与开发阶段支出两部分。对研究阶段或不符合资本化条件的项目成本支出应当予以费用化计入当期损益，对开发阶段的成本支出如在开发完成且开发成果达到预定用途，且同时满足准则规定的五项资本化条件的，将开发阶段支出结转为无形资产。
3.会计核算方法。财务部门根据研发项目管理部提供的《项目立项通知书》，将界定为“研究阶段项目”的支出当期予以费用化；将界定为“开发阶段项目”的支出暂在“开发支出”科目项下归集，待资本化条件满足时进行结转。对研究开发支出进行核算时，需要设置“研发支出―费用化支出”科目和“研发支出―资本化支出”科目。会计核算应对研究开发支出划分为研究阶段支出和开发阶段支出，并对每个项目单独建账核算。研发项目的建账、记账和结转应与项目的实际进度同步。资本化项目结束后，通过对开发成果的检测和专家鉴定，如确认已经完成开发任务且开发成果达到预定用途，即能够直接投入使用或出售。需将开发支出的账面价值全部结转计入“无形资产”科目。
4.会计计量。财务部门应对研究阶段和开发阶段的研发成本进行准确计量，即研究阶段的成本为当期发生的全部研发支出，开发阶段的成本经鉴定可结转至无形资产的成本为开发过程中符合资本化条件后至达到预定用途前发生的全部成本账面价值。会计期末应对无形资产进行摊销，开发项目发生的成本支出予以资本化所形成的无形资产，由项目管理部门组织技术专家对开发成果的技术性进行论证，预测该产品的生命周期，并以此作为无形资产的摊销期限。会计期末，财务部门应与项目管理部门对无形资产价值进行减值测试，对于预期不能为公司带来经济利益的无形资产，应由项目管理部门向公司决策机构提交《无形资产减值测试报告》，经批准后，可将无形资产账面价值和累计摊销转销。
（三）无形资产的使用管理措施
1.非专利技术的保护。非专利技术可采用保密合同或技术合同以及雇佣合同中的保密协议、竞业限制等进行保护。保密协议是一种法律性的保密措施，企业应与接触企业技术、商业机密的员工签订保密协议，协议中应注明员工的保密义务、违约责任及赔偿。用以来约束员工在研制新技术、新产品、新工艺、新设备等创新活动时，自觉做好保密工作。企业还可以从技术手段等多方面入手，做好无形资产保护和保密工作。要运用高科技手段来保护企业的专有技术、计算机软件、营销网络等商业秘密的安全，如限制接触机密权限，外发邮件加密等，防止因保护不当而导致核心技术资料外泄。企业要深刻认识到人才管理的重要性，努力营造一种尊重人才、鼓励创新、信任理解的工作氛围。要克服平均主义、论资排辈等传统观念，形成竞争择优，奖勤罚懒的薪酬考核制度，保留人才，以确保核心技术的安全。
2.专利技术的使用管理。（1）加强专利技术资料的管理。在专利技术开发过程中，对关键技术资料一定要严格管理，避免流失。（2）对开发成功的技术要及时申请专利保护。我国专利法规定的是申请在先原则，权利授予先申请人。（3）无形资产管理部门应将企业内的专利技术整理造册，专利年费上缴要及时准确，避免因过期缴费而丧失权利。（4）制止侵犯企业专利技术的行为。加强市场监控意识，运用法律手段打击侵权行为，维护企业的合法权益。