一般借款资本化练习实例
一般借款资本化练习实例
（1）先算资本化率：按照一定的期间来计算资本化率，不一定是以年为单位，可能是一个月，可能是一个季度等等，总之只要是一个完整的期间就可以计算资本化率。
（2）再计算累计资产支出加权平均数：所谓的加权平均数就是该笔被工程占用的支出在该期间内实际存在的时间占这个资本化期间的比例。比如一笔支出是在年初支出的，那么该笔支出在当年的加权平均支出权数＝12/12；如果该笔支出是在三月初支出的，那么该笔支出的加权权数＝10/12。
一般借款还需要注意的是资本化利息支出不能扣除闲置资金的利息收入，因为既然是一般借款，没有占用的部分自然和在建工程没有任何关系，所以闲置资金的利息收入是冲减企业当期的财务费用的。这点处理和专门借款是有区别的，要特别注意一下。
【例题3·计算及会计处理题】甲公司为建造固定资产于2008年1月1日专门发行的2年期公司债券，实际收到款项2 072.59万元，债券面值2 000万元，每半年付息一次，到期还本，半年票面利率5％，半年实际利率4％。此外2008年7月1日取得一般借款为600万元，3年期，半年利率为3.5％。甲公司6月30日和12月31日计提利息费用、摊销溢折价金额，并计算应予以资本化金额。该固定资产的建造于2008年1月1日正式开工兴建。有关支出如下：
（1）2008年1月1日，支付工程进度款2 072.59万元；
（2）2008年4月1日，因工程进行质量检查而停工；
（3）2008年5月31日，工程重新开工；
（4）2008年10月1日，支付工程进度款300万元；
（5）2009年3月1日，支付工程进度款100万元；
（6）2009年5月1日，支付工程进度款100万元；
（7）2009年6月1日，支付工程进度款100万元；
（8）2009年6月30日，工程完工达到预定可使用状态。
要求：计算2008年6月30日、12月31日和2009年6月30日应确认的资本化利息费用、利息调整的金额，并编制相关会计分录（结果保留两位小数）。
【答案】（1）2008年6月30日
实际利息费用＝2 072.59×4％＝82.90（万元）
应付利息＝2 000×5％＝100（万元）
利息调整＝100－82.90＝17.10（万元）
借：在建工程82.90
应付债券—利息调整17.10
贷：应付利息100
（2）2008年12月31日
①专门借款
实际利息费用＝（2 072.59－17.1）×4％＝82.22（万元）
应付利息＝2 000×5％＝100（万元）
利息调整＝100－82.22＝17.78（万元）
②一般借款
利息资本化金额＝300×3/6×3.5％＝5.25（万元）
应付利息＝600×3.5％＝21（万元）
利息费用化金额＝21－5.25＝15.75（万元）
③合计
利息资本化金额＝82.22＋5.25＝87.47（万元）
利息费用化金额＝15.75（万元）
借：在建工程82.22
应付债券—利息调整17.78
贷：应付利息100
借：在建工程 5.25
财务费用15.75
贷：应付利息21
（3）2009年6月30日
①专门借款
实际利息费用＝（2 072.59－17.1—17.78）×4％＝81.51（万元）
应付利息＝2 000×5％＝100（万元）
利息调整＝100－81.51＝18.49（万元）
②一般借款
利息资本化金额＝（300×6/6＋100×4/6＋100×2/6＋100×1/6）×3.5％＝14.58（万元）应付利息＝600×3.5％＝21（万元）
利息费用化金额＝21－14.58＝6.42（万元）
③合计
利息资本化金额＝81.51＋14.58＝96.09（万元）
利息费用化金额＝6.42（万元）
借：在建工程81.51
应付债券——利息调整18.49
贷：应付利息100
借：在建工程14.58
财务费用 6.42
贷：应付利息21
第十一章借款费用 一、单项选择题 1、A公司为建造厂房于2×12年4月1日从银行借入2000万元专门借款，借款期限为2年，年利率为6%，不考虑借款手续费。该项专门借款在银行的存款利率为年利率3%，2×12年7月1日，A公司采取出包方式委托B公司为其建造该厂房，并预付了1000万元工程款，厂房实体建造工作于当日开始。该工程因发生施工安全事故在2×12年8月1日至11月30日中断施工，12月1日恢复正常施工，至年末工程尚未完工。该项厂房建造工程在2×12年度应予资本化的利息金额为（）。 A、20万元 B、45万元 C、60万元 D、15万元 2、甲公司2007年1月1日发行面值总额为10 000万元的债券，取得的款项专门用于建造厂房。该债券系分期付息、到期还本债券，期限为4年，票面年利率为10%，每年12月31日支付当年利息。该债券年实际利率为8%。债券发行价格总额为10 662.10万元，款项已存入银行。厂房于2007年1月1日开工建造，当日发生支出100万元。2007年度累计发生建造工程支出4 600万元。经批准，当年甲公司将尚未使用的债券资金投资于国债，取得投资收益760万元。2007年12月31日工程尚未完工，该在建工程的账面余额为（）。（计算结果保留两位小数） A、4 692.97万元 B、4 906.21万元 C、5 452.97万元
D、5 600万元 3、甲公司20×2年1月1日为建造一生产线，向银行借入200万美元的专门借款，期限为三年，年利率为6%，利息按季计算，年末支付。此外该生产线建设中占用一笔一般借款，此借款为20×0年借入，金额100万元，年利率5%，利息按年计算支付。20×1年12月31日和20×2年1月1日的市场汇率均为1美元＝6.80元人民币，20×2年3月31日的市场汇率为1美元＝7.0元人民币。假设20×2年第一季度属于资本化期间，则第一季度外币借款汇兑差额的资本化金额为人民币（）。 A、61万元 B、60万元 C、40万元 D、0 4、A公司为建造办公楼于20×2年1月1日借入专门借款1 500万元，年利率8%。此外，该公司在建造该办公楼过程中还占用了两笔一般借款：其中一笔借款是20×1年3月1日取得的，金额1 000万元，借款期限为4年，年利率为6%，利息按年支付；另一笔借款是20×2年7月1日取得的，金额为2 000万元，借款期限为5年，年利率为9%，利息按年支付。该项工程于20×2年1月1日开始动工兴建，资产支出情况如下：1月1日1 000万元，6月1日1 400万元，8月1日600万元，当年未建造完毕。假设不考虑专门借款闲置资金投资收益。A公司20×2年借款费用资本化的金额为（）。 A、172.78万元 B、165.31万元 C、182.35万元 D、178.13万元
昆明理工大学 制造技术工程实训 实习报告答案 Edited by XiaoXiong 2012/05 专业_______________ 班级_______________ 学号_______________ 姓名_______________ 说明：本答案是经本人参考《制造技术工程实训》一书，总结并整理的，希望对大家有所帮助。其中如果读者发现有错的地方，欢迎批评指正。 制造技术工程实训
实习报告 一、工程材料基础知识 （一）工程材料 1、工程材料按其性能可分为结构材料和功能材料。前者通常以力学性能为主，兼有一定的物理、化学、性能。而后者是以特殊物理化学性能为主的功能材料。工程上通常按化学分类法对工程材料进行分类，可分为金属材料、陶瓷材料、高分子材料、复合材料。 2、组成合金的结构形式有固溶体、金属化合物、机械混合物三种。刚和铁的基本组成元素是铁和碳，统称为铁碳合金，其中碳含量大于2.11%为铁，小于2.11%为钢。 3、何为碳素钢、合金钢和铸铁？分别说明其特点？ 碳素钢是指碳含量小于2.11%和含有少量硅、锰、硫、磷等杂质元素所组成的铁碳合金，简称碳钢；合金钢是在碳钢的基础上加入其它金属（如硅、锰、铬、镍等）元素的铁碳合金；铸铁是含碳量大于2.11%的铁碳合金。 碳素钢价格低廉，工艺性好，广发应用与机械制造中；合金钢按加入合金元素的不同，具有不同的性能（高耐磨性、耐蚀性、耐低温、高磁性等），按用途可分为结构钢、特殊性能钢；铸铁按其碳的存在形态可分为灰口铸铁和百口铸铁。 4、常用的非金属材料有哪几类？各有何性能特点？
常用的非金属材料有种：工程塑料、复合材料、工业橡胶、工业陶瓷等。 工程塑料具有密度小、耐腐蚀、耐磨减模型好、良好的绝缘性能以及成型性等优点，此外还有强度硬度较低、耐热性差、易老化和儒变等缺点； 复合材料具有较高的比强度和比模量、较好的疲劳强度、耐蚀、耐热、耐磨、减震的特点； 工业陶瓷：高硬度、高耐磨、高弹性模量、高抗压强度、高熔点、耐高温、耐腐蚀、脆性大等特点； 合成橡胶:耐热、耐磨、耐老化；耐寒；耐臭氧 （二）材料处理技术 1、热处理工艺主要是通过控制加热、保温、冷却，从而改变材料的表面或内部组织结构，最终达到改善工件的工艺性能和使用性能的目的。常用的热处理方法有：退火、正火、回火、淬火、调质。 2、说明一下热处理工艺的主要目的： 退火：降低硬度，改善切削加工性能；消除残余应力，稳定尺寸；减少变形与裂纹倾向细化晶粒，调整组织，消除组织缺陷。 回火：消除工件淬火产生的残余应力，防止变形与开裂，调节性能获得工艺所求力学性能和加工性能，稳定组织与尺
学习中心 姓名学号 西安电子科技大学网络教育 2012学年上学期 《软件形式化方法》期末考试试题 （综合大作业） 考试说明： 1．大作业于2012年06月09日下发，2012年06月23日交回。 2．试题必须独立完成，如发现抄袭、雷同均按零分计。 3．试题须手写完成，卷面字迹工整，不能提交打印稿。 一填空题（每空2分，合计30分） 1. 现代软件工程的软件定义包括、和。 2. 软件危机是指在计算机软件的开发和维护过程中所遇到的一系列严重的问题，其产生的原因主要包括：、、、；其本质特征是软件的和。 3. 模式是Z语言规格中一个重要的元素，模式是由、和 组成。 4. 形式化方法研究如何把（具有清晰数学基础的）严格性（描述形式、技术和过程等）融入软件开发的各个阶段；包括形式化规格、和三种活动，在软件开发的形式化规格中包含的三种规格为、和。 二有限状态机（10分） 对于图中所示有限状态机的状态转移图，给出其关系矩阵和状态转移表。
三Petri网（10分） 对图中所示Petri网进行化简。 四进程代数（10分） （1）计算进程PHONE的迹 PHONE = ring → answer → hungup→ STOP （2）给出迹投影结果
【例题】甲公司拟在厂区内建造一幢新厂房，有关资料如下： （1）2009年1月1日向银行专门借款5 000万元，期限为3年，年利率为6%，每年1月1日付息。 （2）除专门借款外，公司只有一笔一般借款，为公司于2008年12月1日借入的长期借款3 000万元，期限为5年，年利率为8%，每年12月1日付息。 （3）由于审批、办手续等原因，厂房于2009年4月1日才开始动工兴建，当日支付工程款2 000万元。工程建设期间的支出情况如下： 2009年6月1日：1 000万元； 2009年7月1日：3 000万元； 2010年1月1日：1 000万元； 2010年4月1日：500万元； 2010年7月1日：800万元。 工程于2010年9月30日完工，达到预定可使用状态。其中，由于施工质量问题工程于2009年9月1日～12月31日停工4个月。
（4）专门借款中未支出部分全部存入银行，假定月利率为0.25%。假定全年按照360天计算，每月按照30天计算。 要求：根据上述资料，计算有关借款的利息资本化金额和费用化金额，并编制相关会计分录。 『正确答案』 本题处理思路如下： ①本题开始资本化的时点为2009年4月1日，停止资本化的时点为2010年9月30日。但在2009年9月1日～12月31日，因施工质量问题非正常停工4个月。因此，要据此判断2009年借款利息资本化月数为5个月和费用化月数为7个月。 ②两个关注的问题： 专门借款，关注闲置专门借款的存款利息收入。 一般借款，关注何时占用一般借款和占用的一般借款金额。
【2009年】 （1）计算2009年专门借款利息金额：
题1 甲公司于2007年1月1日从建行借入三年期借款1000万元用于生产线工程建设，年利率8％，利息按年支付。其他有关资料如下： （1）工程于2007年1月1日开工，甲公司于2007年1月1日支付给建筑承包商乙公司300万元；2007年1月1日至3月末，该借款闲置的资金取得的存款利息收入为4万元。 （2）2007年4月1日工程因纠纷停工，直到7月1日继续施工。第二季度取得的该笔借款闲置资金存款利息收入为4万元。 （3）2007年7月1日又支付工程款400万元。第三季度，甲公司用该借款的闲置资金300万元购入交易性证券，获得投资收益9万元，已存入银行。 （4）2007年10月1日，甲公司从工商银行借入流动资金借款500万元，借期1年，年利率6％。利息按季度支付，10月1日甲公司支付工程进度款500万元。 （5）至2007年末该工程尚未完工。 要求： （1）判断专门借款在2007年的资本化期间。 （2）按季计算2007年与工程有关的利息、利息资本化金额，并进行账务处理。（以万元为单位） 【答案】 （1）判断专门借款的资本化期间：2007年资本化期间为2007年1月1日－12月31日，但4月1日－6月30日应暂停资本化。 （2）按季计算2007年与工程有关的利息、利息资本化金额，并进行财务处理： ①第一季度： A:专门借款利息＝1000×8％/4＝20（万元）
B:利息资本化金额＝利息费用－闲置资金取得的利息收入＝20－4＝16（万元） 借：在建工程―生产线16 银行存款 4 贷：应付利息20 ②第二季度（暂停资本化）： A:专门借款利息＝1000×8％/4＝20（万元） B:计入财务费用的金额＝20－4＝16（万元） 借：财务费用16 银行存款 4 贷：应付利息20 ③第三季度： A:专门借款利息＝1000×8％/4＝20（万元） B:利息资本化金额＝20－9＝11（万元） 借：在建工程―生产线11 银行存款9 贷：应付利息20 ④第四季度： A:专门借款利息＝1000×8％/4＝20（万元）应全部资本化。
借款费用资本化处理分析 首先介绍了借款费用的资本化确认，然后说明了借款利息资本化金额的确定方法，最后通过实例对借款利息资本化的计量方法有了更加深刻的理解。 标签： 借款费用；借款利息；资本化 1 借款费用资本化的确认 （1）与建造或生产某项资产直接相关的借款费用，在该荐资产支付使用或完工之前计入该项资产的成本。其他借款费用在筹建期间的计人开办费，在生产经营期间计人当期损益。其中所说的资产包括：必须经过建造过程才能达到预定用途的固定资产；正常生产期在12个月以上的产品，但不包括经常和大量重复生产的产品。 （2）与建造或生产某项资产直接相关的借款，在使用前因暂存银行或进行短期投资而取得的利息收人或投资损益，也应计人该项资产的成本。 2 借款利息资本化金额的确定 一般借款利息费用资本化金额=累计资产支出超过专门借款部分的资产支出加权平均数×所占用一般借款的资本化率； 所占用一般借款的资本化率=所占用一般借款加权利率=所占用一般借款当期实际发生的利息之和÷所占用一般借款本金加权平均数； 所占用一般借款本金加权平均数=∑（所占用每笔一般借款本金×每笔一般借款在当期所占用的天数/当期天数）。 3 举例分析 （1）例题说明。 某公司拟在厂区内建造一幢新厂房，有关资料如下：2009年1月1日向银行专门借款5000万元，期限为3年，年利率为6％，每年1月1日付息；除专门借款外，公司只有一笔其他借款，为公司于2008年12月1日借入的长期借款6000万元，期限为5年，年利率为8％，每年12月1日付息；由于审批、办手续等原因，厂房于2009年4月1日才开始动工兴建，当日支付工程款2000万元。工程建设期间的支出情况如下：2009年6月1日：1000万元；2009年7月1日：3000万元；2010年1月1日：1000万元；2010年4月1日：500万元；2010年7月1日：500万元。工程于2010年8月30日完工，达到预定可使用状态。
2016年会计网上继续教育试题及答案-借款费用 一、单选题 1、A公司从银行专门借入一笔款项，于2006年2月1日采用出包方式开工兴建一幢办公楼，2007年10月18日工程按照合同要求全部完工，10月31日工程验收合格，11月10日办理工程竣工结算，11月20日完成全部资产移交手续，12月1日办公楼正式投入使用。则公司专门借款利息停止资本化的时点应当为2007年（）。 A、10月18日 B、10月31日 C、11月10日 D、12月1日 【正确答案】A 【您的答案】D 2、甲公司为股份有限公司，2009年7月1日为新建生产车间而向商业银行借入专门借款4 000万元，年利率为4％，款项已存入银行。至2009年12月31日，因建筑地面上建筑物的拆迁补偿问题尚未解决，建筑地面上原建筑物尚未开始拆迁；该项借款存入银行所获得的利息收入为39.6万元。甲公司2009年就上述借款应予以资本化的利息为（）万元。 A、0 B、0.4 C、40.4 D、80 【正确答案】A 【您的答案】D 3、下列各项中，不属于借款费用准则中的资产支出的有（）。 A、计提的在建工程人员的工资及福利费 B、企业赊购工程建设所用物资而承担的带息债务 C、企业为建设工程项目而转移的非现金资产
D、支付的工程人员工资 【正确答案】A 【您的答案】C 4、关于停止资本化的时点，下列表述中错误的是（）。 A、如果购建固定资产需要试运行，则在试运行结果表明资产能够正常运转时，认为资产已经达到预定可使用状态，借款费用应当停止资本化 B、所购建固定资产各部分分别完工，但每一部分都必须等到整体完工后才可使用，企业只要该部分完工，就应当停止资本化 C、继续发生在所购建固定资产的支出金额很少或几乎不再发生 D、所购置的固定资产与设计要求基本相符，即使有个别与设计要求不相符，也不会影响其正常使用 【正确答案】B 【您的答案】B[正确] 5、在确定借款费用资本化金额时，与专门借款有关的利息收入应（）。 A、冲减借款费用资本化的金额 B、冲减所购建的固定资产成本 C、计入当期财务费用 D、计入营业外收入 【正确答案】A 【您的答案】A[正确] 6、在资本化期间内，对于专门借款闲置资金产生的利息收入或投资收益应（）。 A、计入营业外收入 B、计入投资收益 C、冲减财务费用 D、冲减借款费用资本化的金额 【正确答案】D
学习中心_________ 姓名_____________ 学号 西安电子科技大学网络教育学院 模拟试题三 《软件形式化方法》期末考试试题 （120分钟） 题号一二三四五六七总分 题分 得分 一、填空题。（20分） 1. 软件危机是指在计算机软件的过程中所遇到的一系列严重的问题，应对软件危机的方式分为两种方法：和。对于软件开发组织和管理的规范化方法中，主要研究、和三个要素。 2. 形式化方法研究如何把（具有清晰数学基础的）（描述形式、技术和过程等）融入软件开发的各个阶段；包括、形式化验证和程序精化三种活动。形式化验证主要技术包含和；程序精化是将与相结合，研究从抽象的推演出具体的面向计算机的。 3. 模式是Z语言规格中一个重要的元素，模式是由、和 组成。 4. Larch方法是软件系统规格的一种；Larch方法的程序规格包括和与目标语言相关的两个部分。 二、利用有限状态机描述“AB协议”。（15分） AB协议包含发送端和接收端两个实体。发送端协议实体从发送方用户获取一个报文，将序号寄存器值赋给报文，然后向接收端协议实体发出报文，发送方发出报文之后启动超时时钟，等待认可报文。如果在给定的时间内未收到认可报文，则重发报文；如果收到认可报文，其序号与发出报文序号相同，则发送端实体从发送方用户获取下个报文。接收端协议实体在收到报文之后，如果报文无错误，则想发送端实体发送认可报文，然后将报文递交给接收方用户；如果接收的报文有错误或者序号不正确，则丢失报文。假定所用通道不会中断；报文重复n次后最终能够被接收；认可报文只要发出就能正确收到；报文不会损坏；序号寄存器初始化为0 。 三、构造下图所示Petri网的覆盖树。（10分） 四、利用CSP对“生产者-消费者”系统进行规格。（10分） 五、逻辑演算证明。（15分） （1）?(Q∨R) ∧(P?Q)├?P （2）(P?(Q?S)) ∧ (?R∨P) ∧Q├ R→S （3）($x)P(x)?("x)(P(x)úQ(x)?R(x)), ($x)P(x), ($x)Q(x)├ R(a)ùR(c) 六、如图中所示的Kripke结构，利用标号算法对公式进行模型检验。（15） （1）E((p ∧r) ?p) （2）A(p?q) = ?E(?(p?q))
软件工程中的形式化方法研究论文 早期软件系统规模较小,20世纪60年代之前,对软件系统的开发一直通过“手工”方式,具有个人化及技艺化的开发特点60年代中期,计算机的容量和速度有了显著提升,软件系统规模越来越大,软件开发生产率不再能满足现状,软件危机开始爆发60年代后期,针对“软件危机”提出两类解决办法:一是将工程化应用于软件的开发过程,即“软件工程”的出现和发展;二是建立严格的理论基础,采用形式化方法来指导软件开发过程经过近半个世纪的探索和应用,形式化方法这一领域已经取得了大量的研究成果 1形式化方法 1.1形式化方法 软件工程中的形式化方法就是通过严格的符号系统和数学模型来描述和验证一个目标软件系统的行为和特性,包括需求规格、设计和实现等形式化方法所使用的是严格的数学语言,其语法和语义都是无二义的、精确的 1.2主要研究内容 形式化方法的研究主要集中在形式规约(FormalSpecification)和建立在形式规约基础上的形式验证(FormalVerification)两个方 面形式规约是指通过具有精确语义的形式语言对程序功能进行描述 描述结果将作为程序设计和验证的重要依据形式验证是对现有的程 序系统进行验证,检查其是否符合规约的要求传统的验证方式是通过实验对系统进行查错,包括模拟(simulation)和测试(testing)
1.3形式化方法的分类 根据描述方式,可将形式化方法归为两类: (1)模型描述的形式化方法通过构造一个数学模型来直接描述系统或程序 (2)性质描述的形式化方法通过对目标软件系统中不同性质的描述来间接描述系统或程序根据表达能力,可将形式化方法大概分为五类[Barroca*1992]: (1)模型方法——对系统状态和改变系统状态的动作直接给出抽象定义,并进行显式描述该方法的缺陷是不能显式地表示并发 (2)代数方法——通过定义不同操作的关系,隐式地描述操作与模型方法相同,代数方法也不能显式地表示并发 (3)进程代数方法——通过一个显式模型来描述并发过程将并发性归结为非确定性,通过交错语义(interleavingsemantics)来表示系统行为如:CCS,CSP,ACP等 (4)逻辑方法——通过描述程序状态规范和时间状态规范的逻辑方法来描述系统特性,如:CTL,LTL (5)网络模型方法——通过独立描述网络中的每一个节点,显式地给出系统的并发模型如:Petri网 2软件方法学 2.1软件危机 60年代后期,软件系统的规模逐步增大,程序实现地复杂度也越来越高,可靠性问题成为越来越多人关注的焦点由于软件开发生产率
借款费用练习题 一、单项选择题 1．在确定借款费用资本化金额时，与专门借款有关的利息收入应( D )。 A．计人营业外收入B．冲减所购建的固定资产成本 C．计人当期财务费用D．冲减借款费用资本化的金额 2．企业因资产支出数超过专门借款数，为此于2011年又借入了两笔一般借款，1月1日又借人了200万元，3月1日借入了600万元，资产的建造工作从2010年8月1日开始。假定企业按季计算资本化金额。则2011年第一季度一般借款本金加权平均数为( A )万元。 A．400 B．200 C．800 D．600 3．借款费用准则中的专门借款是指( A )。 A．为购建或者生产符合资本化条件的资产而专门借入的款项 B．发行债券收款C．长期借款D．技术改造借款 4．某企业于2010年10月1日从银行取得一笔专门借款600万元用于固定资产的建造，年利率为8％，两年期。至201 1年1月1日该固定资产建造已发生资产支出600万元，该企业于2011年1月1 日从银行取得1年期一般借款300万元，年利率为6％。借入款项存人银行，工程于2011年年底达到预定可使用状态。2011年2月1 日用银行存款支付工程价款150万元，2011年10月1日用银行存款支付工程价款150万元。工程项目于2011年3月31日至201 1年7月31日发生非正常中断。则2011年借款费用的资本化金额为( D )万元。 A．7．5 B．32 C．95 D．39．5 答案解析：2010年专门借款可资本化期间8个月，专门借款利息资本化金额=600×8%×8/12=32万元；一般借款可资本化期间为7个月（2月1日～3月31日，8月1日～12月31日），一般借款累计资产支出加权平均数＝150×7/12＋150×3/12＝125万元，一般借款借款费用的资本化金额＝125×6％＝7.5。2008年借款费用的资本化金额=32+7.5=39.5万元 5．生产经营期问，如果某项固定资产的购建发生非正常中断，并且中断时间连续超过3个月的，应当将中断期间所发生的借款费用，记人( Ｄ)科目。 A．长期待摊费用B．在建工程成本 C．营业外支出D．财务费用 ６．下列符合资本化条件的资产所发生的借款费用在予以资本化时，要与资产支出相挂钩的是( Ｃ)。 A．专门借款利息B．专门借款的辅助费用 C．一般借款利息D．外币专门借款的汇兑差额 ７．某企业于2010年7月1日为建造厂房，从银行取得3年期借款300万元，年利率为6％，按单利计算，到期一次归还本息。借人款项存入银行，工程于2011年年底达到预定可使用状态。2010年10月1日用银行存款支付工程价款150万元并开始厂房的建造，2011年4月1日用银行存款支付工程价款150
第十四讲形式化方法--程序的正确性验证 一、概述 计算机的程序是一种静态的对象，但它所描述的问题（问题的解）却是一个动态的对象。所谓的程序设计就是用程序设计语言中的语句改变程序中数据对象的状态，构造所描述问题的动态行为。这是不自然的，程序所描述的动态行为也无法直接用程序本身的静态结构进行正确性证明。 形式化规约（formal specification）是需求阶段的形式化说明，是用户需求的严格描述，其一般形式用Hoare逻辑描述[1]如下： ├{Φ}P{Ψ} <1> 其中Φ和Ψ分别表示初始和结束断言条件，其含义是：“假如初始状态d I满足条件Φ，那么程序结束并且终结状态d f必须满足Ψ”。 设D＝D1×……×D n为程序P的状态空间，其中，D j(j=1,……,n)表示程序中数据对象的值域。显然，由Φ和Ψ断言条件所确定的合法初始和结束状态的集合是D的一个子集。 执行函数E：Φ×P→Ψ定义如下： 无定义对合法的初始状态d i，程序P不结束 E（P,d I）= 终结状态d f对合法的初始状态d i，程序P结束 程序的正确性即为： ├{Φ}P{Ψ} iff <2> ?d i(├Φ(d i)→(├程序P结束 and ├Ψ(E(P,d i)))) 总地来讲，验证一个程序的正确与否有两种办法，一种是程序的测试，另一种是程序的正确性证明。 1．程序的测试与程序的验证 对给定的一个合法的初始状态d i，当程序执行结束时其终结状态为d f，那么，Φ(d i)和Ψ(d f)都应该被满足。这一点可用下式表示： {d i}P{d f} <3> 所谓程序的测试就是验证测试用例{d i}P{d f}，即验证程序对d i的执行结果是否为d f。由于合理的初始状态是无限的，因此，对程序验证来讲，测试不是一个完备的方法。测试被认为是一种尽量发现错误，但并不能保证程序中没有错误[2]的方法。对大数应用来讲，它是可满足的；但对有些应用来讲，测试是一种不能满足的验证方法，例如：航空、航天等领域的软件系统。 显然，对要求绝对正确的软件，测试是一种不能采用的方法。无论白盒测试还是黑盒测试都是在无限集合{(d i,d f)|?d i,?d f, d i和d f满足{d i}P{d f}中选择有限的一些(d i,d f)对进行验证，而各种测试方法只是选择(d i,d f)的策略不同而已。 因此，验证程序是否完全正确要寻求另外的解决途径。那就是程序的正确性验证。 2．形式语义与程序的正确性验证 程序的正确性验证应该具有严密的推量过程，以保证程序每步执行结果都是希望的结果，而与程序执行的某个初始状态无关。程序的正确性证明现有三种方式：操作语义、指称
借款费用标准答案
————————————————————————————————作者：————————————————————————————————日期：
第五章借款费用 一、单项选择题 1．B 2．D 3．A 4．D 5．B 6．C 7．C 8．A 9．B 10.B 11．D 12．D 13．A 14．D 15．D 16．A 17．D 18．A 19．A 20.D 二、多项选择题 1.AB 2．ABCE 3．ABDE 4．ABCDE 5．ABD 6.ACE 7．ACE 8．ABD 9．ABC 10．BC 11．ABC 1 2. ABD 1 3. AC 1 4. AC 15. ACD 16. ACD 17. ABC 18. ABDE 19. ABD 20. ABCDE 三.判断改错题 1．× 2．√ 3．× 4．× 5．√ 6．× 7．× 8．× 9．× 10．×11．√ 12．× 13．× 14．√ 15．√ 16．√ 17．√ 18．× 19．√ 20．× 21. √ 22. √ 四、分录题 1．【答案】 （1）1.1 借：生产成本 71000 贷：原材料 50000 应付职工薪酬 15000 银行存款 6000 （2）次年7.1 借：生产成本 5400（60000×6%×1.5） 贷：应付利息 5400 （3）次年7.1 借：库存商品 76400 贷：生产成本 76400 （4）次年12.31 借：财务费用 1800（60000×6%×0.5） 贷：应付利息 1800 2．【答案】（1） 专门借款： 2010年专门借款应予以资本化的金额=1000×8％×6/12=40（万元） 一般借款资本化金额（按三个月做） 2010年2月1日发生的资产支出中有585(702-117)万元占用了一般借款。因为该工程项目发生非正常中断的期间超过了3个月，所以4月30日至8月31日应停止借款费用的资本化。在计算资本化金额时，可先计算2月1日至4月30日的资本化金额，然后再计算9月1日至11月30日的资本化金额，两者之和即为2007年度该项目应予以资本化的金额。 2010年2月1日至4月30日一般借款按资产累计加权平均数计算资本化的金额=[585×3/3+88．5×2/3+(20+8.5)×1/3]×6％×3/12=9.8025万元 2010年9月1日11月30日一般借款按资产累计加权平均数计算资本化的金额
形式化方法 Formal Methods (实例研究) 裘宗燕北京大学数学学院2006年2－6月 2006年4月 2 实例1：实时内核 问题简介 实时内核 进程状态和内核数据结构（原文档） 内核状态 后台处理 中断处理 总结 2006年4月 3 简介 ?嵌入式系统得到越来越广泛的应用 ?需要一个小操作系统提供进程调度和中断处理功能?嵌入式系统应用有时是安全攸关和生命攸关的?下面的研究是用Z 描述了一个X 光治疗仪的内核?原系统包含大约50 页汇编代码，生成的目标代码将近1K ?本研究发现原内核实现有可能出现死锁，当时中断都被禁止，处理器空等待进程的运行 –由于实时和并行，这种错误很难通过测试查出并排除 –原来的系统错误并没有威胁到病人安全，一个原因是安装了一个限时硬件，以防控制计算机的软件或硬件错误–但这种错误有可能由于系统的修改或者升级而产生严重的后果?这里介绍简化后的这个实时内核规范 2006年4月4 内核基本情况 这是一个典型的用于嵌入式系统的实时内核：?支持后台处理进程和中断处理器 ?若无中断发生，将有一个后台进程被作为当前进程，处于运行中 ?当前进程一直运行到自己显式释放处理器，这时调度器将选择另一进程作为当前进程 ?每个后台进程有一个就绪标志，调度器只在就绪进程中选择 ?如果一个或几个中断激活，就根据它们的优先级（用一个数表示）选出其中最紧急的中断，令相应的中断处理器运行 ?中断激活的条件是它们的优先级高于当时已激活的中断，当相应的处理器发出自己已结束的信号时，该中断离开激活状态 ?后台进程可以注册到某个优先级，使自己变成一个中断处理器 图1：内核实现的数据结构（取自原文档） 进程，链接成一个环 中断控制下的进程 调度器控制下的进程 ready = true ready = false 当前活动进程 图2：进程状态 被迫转换（其他进程导致）自主转换（自己执行命令） 中断控制下的进程 调度器控制下的进程 箭头反了
一般借款费用资本化的确认标准和计量方法 '\r\n 【摘要】根据新企业 准则的规定，符合资本化条件的资产在建造或生产过程中，如果占用了一般借款应将其相应的借款费用予以资本化。但如何确认在资产建造过程中占用了一般借款、如何计量应予以资本化的一般借款费用，却是比较困难的，文章就此作一探讨。 一、一般借款费用资本化问题的提出 中国《企业会计准则第十七号——借款费用》首次提出了一般借款费用资本化问题，并明确规定：“企业发生借款费用，可直接归属于符合资本化条件资产的购建或生产的，应予以资本化，计入相关资产成本。”“为购建或生产符合资本化条件的资产而占用了一般借款的，企业应当根据累计资产支出超过专门借款部分的资产支出加权平均数乘以所占有的一般借款的资本化率，计算确定一般借款予以资本化的利息金额”。从该规定中不难看出，借款费用资本化涉及到两个方面的问题：一是建造或生产的资产符合资本化条件，即为资产建造或生产的资产支出已经开始；借款费用已经发生；使资产达到预计可使用状态或可销售状态所必需的建造或生产活动已经开始。二是符合资本化条件的资产建造或生产过程中的资产支出涉及到相关借款，而且相关借款发生的相应费用可以直接对象化，即借款费用可直接归属于符合资本化条件的资产。 对于一般借款，由于其在用途上的非专用性、占用形态上的多样性，决定了确认符合资本化条件的资产建造或生产过程中是否占用一般借款、如何计量占用一般借款的数量和资本化的一般借款费用金额是比较困难的。从会计准则的要求讲，为购建或生产符合资本化条件的资产占用了一般借款，其相应的借款费用才可能够资本化。显然，资产建造过程中是否占用一般借款是是否将一般借款费用资本化的质的问题，而确定占用一般借款的数量和相应的资本化率是对一般借款费用资本化的量的规定性问题。 二、一般借款费用资本化的确认 一般借款的来源渠道可能是单一的、明确的和有限的，而一般借款具体占用形态却是复杂的，存在着实体占用形态在同一时点上多形态共存的特点，即可能同时占用在诸如存货（不构成资本化对象的存货）、应收账款、现金、银行存款等各种形态。但从符合资本化条件的资产建造过程中动用企业资产（主要是流动资产）的角度看，可能动用的是一般借款转存的银行存款，也可能是动用由一般借款转化形成的流动资产的其他形态，如存货等。由于企业资金来源多渠道性和资产占用形态复杂性的存在，使得资产的占用形态与一般借款之间并不一定存在明显的一一对应性关系。这种非对应性导致了一般借款占用和一般借款费用资本化的确认相对于专门借款而言也较为复杂。在企业会计准则中并未明确规定一般借款在符合资本化条件的资产建造或生产过程中被占用的确认标准，只是规定了“为建造或生产符合资本化条件的资产而占用了一般借款的，企业应当根据累计资产支出超过专门借款部分的资产支出加权平均数乘以所占用的一般借款的资本化率，计算确定一般借款应予以资本化的利息金额”。显然，企业会计准则只规定了在事实上已经占用了一般借款的前提下一般借款费用资本化的计量问题，并未规定判断是否占用了一般借款的标准。而符合资本化条件的资产建造或生产过程中是否占用一般借款是一般借款费用能否资本化的前提。因此，要判断一般借款费用是否予以资本化就必须首先确认在资产建造或生产过程中是否占用了一般借款。笔者认为，确定符合资本化条件的资产建造或生产过程中一般借款是否被占用至少应考虑以下几个方面的问题：
准则专题-借款费用 总共82题共100分 显示全部试题仅显示答错试题仅显示未答试题仅显示答对试题 一. 单选题（共31题,共28.7分） A.一般借款的实际利率 B.一般借款的名义利率 C.一般借款的利率 D.一般借款的加权平均利率 2. 甲上市公司股东大会于2007年1月4日作出决议，决定建造厂房。为此，甲公司于3月5日向银行专门借款5000万元，年利率为6%，款项于当日划入甲公司银行存款账户。3月15日，厂房正式动工兴建。3月16日，甲公司购入建造厂房用水泥和钢材一批，价款500万元，当日用银行存款支付。3月31日，计提当月专门借款利息。甲公司在3月份没有发生其他与厂房购建有关的支出，则甲公司专门借款利息应 A.3月5日 B.3月15日 C.3月16日 D.3月31日
A.支付与工程有关职工薪酬 B.向工程承包商支付工程进度款 C.将自己生产的产品用于符合资本化条件的资产的建造 D.承担不带息债务、 4. 借款存在折价或者溢价的，应当按照（）确定每一会计期间应摊销的折价或溢价金额，调整每期利息 A.名义利率法 B.实际利率法 C.加权利率法 D.平均年限法 A.专门借款当期实际发生的利息费用 B.专门借款当期实际发生的利息费用-尚未动用的借款资金存入银行取得的利息收入 C.专门借款当期实际发生的利息费用-尚未动用的借款资金存入银行取得的利息收入或进行暂时性 D.专门借款的金额×资本化率
6. 甲企业2008年发生了借款手续费10万元，发行公司债券佣金6万元，发行公司股票佣金80万元，借 A.216 B.256 C.346 D.336 A.予以资本化 B.予以费用化 C.在资产达到预定可使用或可销售之前发生的，予以资本化 D.视具体情况而定 A.劳动纠纷 B.施工技术要求 C.发生安全事故 D.资金周转困难
借款费用资本化的条件 利息资本化（capitalization of interests） 将借款利息支出确认为一项资产，但不包括用于存货生产的借款利息。 会计准则规定，借款费用应予资本化的资产范围是固定资产，只有发生在固定资产购置或建造过程中的借款费用，才能在符合条件的情况下予以资本化。发生在其他资产（如存货、无形资产）上的借款费用，不能予以资本化。应予资本化的借款范围为专门借款，即为购建固定资产而专门借入的款项，不包括流动资金借款。 会计制度规定只有在同时符合以下3个条件时，利息才能开始资本化：资产支出已经发生；借款费用已经发生；为使资产达到预定可使用状态所必要的购建活动已经开始。 会计制度规定，当所购建的固定资产达到预定可使用状态时（资产已经达到购买方或建造方预定的可使用状态），应当停止其借款费用的资本化。所购建固定资产是否达到预定可使用状态，可按以下几方面进行判断：（1）固定资产的实体建造（包括安装）工作已经全部完成或者实质上已经完成；（2）所购建的固定资产与设计要求或合同要求相符或基本相符，即使有极个别与设计或合同要求不相符的地方，也不影响其正常使用；（3）继续发生在所购建固定资产上的支
出金额很少或几乎不再发生；（4）如果所购建固定资产需要试运行，则在试生产结果表明资产能够正常生产出合格产品时，或试运行结果表明能够正常运转或营业时，就应当认为资产已经达到预定可使用状态。 会计准则规定利息资本化金额的确定应与发生在固定资产购建活动上的支出挂钩（外币借款产生的汇总差额不必与资本支出相挂钩）。在应予资本化的每一会计期间，利息的资本化金额按如下公式计算： 每一会计期间利息的资本化金额＝至当期末止购建固定资产累计支出加权平均数×资本化率； 累计支出加权平均数＝∑？眼每笔资产支出金额×每笔资产支出实际占用的天数（月数）÷会计期间涵盖的天数（月数） 资本化率＝专门借款当期实际发生的利息之和÷专门借款本金加权平均数。 长期借款核算使用是为了总括地反映和监督长期借款的借入、应计利息和归还本息的情况，企业应设置“长期借款”科目。该科目的贷方登记借款本息的增加额，借方登记借款本息的减少额，贷方余额表示尚未偿还的长期借款本息。
第十七章借款费用 一、单项选择题 1. 甲企业2008年发生了借款手续费10 万元，发行公司债券佣金6 万元，发行公司债券产生债券溢价50万元，发行公司股票佣金80 万元，借款利息200 万元。则借款费用为()万元。 A. 216 B.256 C.346 D.336 2. 导致固定资产购置或建造过程的中断超过3 个月时，可以继续资本化的情况是()。 A. 劳动纠纷 B.施工技术要求 C.发生安全事故 D.资金周转困难 3. 不应暂停借款费用资本化的情况是()。 A. 由于劳务纠纷而造成连续超过3 个月的固定资产的建造中断 B. 由于资金周转困难而造成连续超过3个月的固定资产的建造中断 C. 由于发生安全事故而造成连续超过3个月的固定资产的建造中断 D. 由于可预测的气候影响而造成连续超过3个月的固定资产的建造中断 4. 恒通公司为建造办公楼于2008年4月1日从银行借入2 000万元专门借款，借款期限 为 2 年，年利率为6%，不考虑借款手续费。该项专门借款在银行的存款利率为年利率3%，2008年7 月1 日，恒通公司采取出包方式委托东大公司为其建造该办公楼，并预付了1000 万元工程款，办公楼实体建造工作于当日开始。该工程因发生施工安全事故在2008年9月 1 日至12月31日中断施工。该项厂房建造工程在2008年度应予资本化的利息金额为()万元。 A. 20 B.45 C.30 D.15 5. A公司为建造一厂房，于2006年12月1日向银行借入五年期借款2 000万元，年利率为6%。2007年1 月1 日开始建造该项固定资产，并发生支出1 000万元，2007年4月1 日又发生支出 1 000万元。2007年7月1日又为该厂房建设发行期限为三年，面值为 1 000 万元，年利率为9%，到期一次还本付息的债券，发行价为 1 000万元。同日又发生支出600 万元。2007年10月1日发生支出为400万元。该固定资产于2007年12月31日完工交付使用。假定A 公司利息资本化金额按年计算。2007年未动用的借款资金存入银行取得的利息收入为5万元。A公司该项工程应予资本化的借款费用金额为()万元。 A. 120 B.160 C.165 D.0 6. 甲股份有限公司为建造某固定资产于2008年1 月1 目按面值发行3年期每年末付息到期还本的公司债券，债券面值为12 000万元(不考虑债券发行费用)，票面年利率(与实际利率相等)为3%。该固定资产建造采用出包方式。2009年甲股份有限公司发生的与该固定资产建造有关的事项如下：I月1日，工程动工并支付工程进度款 1 117万元;4月1日，支付工程进度款1 000万元;4月19日至8月7日，因进行工程质量和安全检查停工;8月8日重新开工;9 月1 日支付工程进度款 1 599万元，该工程至2009 假定借款费用资本化金额按年计算，每月按30 天计算，未发生与建造该固定资产有关的其他借款，另假定甲公司在资本化期间的专门借款的闲置资金未创造收益，则2009年度甲股份有限公司应计入该固定资产建造成本的利息费用金额为()万元。 A. 371.6 B.529.5 C.720 D.360 7. 甲公司为建造固定资产于2008年1 月1日借入3年期、年利率为7%的专门借款3 600 万元。此外，甲公司在建造固定资产过程中，还占用了11月1日借入的1年期、年利率为6%的一般借款 1 800万元。甲公司无其他借款。该工程于当年 1 月 1 日开始建造，至10月末累计发生工程支出 3 200 万元，11 月 1 日发生工程支出 1 600 万元，12 月 1 日发生工程支出600 万元，年末工程尚未完工。甲公司2008年一般借款利息资本化的金额为()万元。 A. 16 B.15 C.16.5 D.2.5 8. 甲公司20X7年1月1日发行面值总额为10 000万元的债券，取得的款项专门用于建造厂房。该债券系分期付息、到期还本债券，期限为 4 年，票面年利率为10%，每年12月31 日支付
软件设计开发本栏目责任编辑：谢媛媛Computer Knowledge and Technology 电脑知识与技术第5卷第19期(2009年7月)形式化与UML 结合的建模方法及其应用 舒良春，肖美华 （南昌大学计算中心，江西南昌330031） 摘要：首先阐述了形式化方法与可视化方法的优缺点，并在此基础上提出软件体系结构形式化与可视化UML 互补的建模方法，主要探讨UML 和Z 结合的建模过程，并用一个系统开发实例进行展示。 关键词：UML ；Z ；形式化方法；软件体系结构建模 中图分类号：TP311文献标识码：A 文章编号：1009-3044(2009)19-5167-03 Combination of Formalization and UML Modeling Method and its Application SHU Liang-chun,XIAO Mei-hua (Computing Center,Nanchang University,Nanchang 330031,China) Abstract:First of all,express the advantages and disadvantages of the formalization and visualization methods,then based on this,bring for -word the software architecture method ,focused on the modeling process of the combination of UML and Z ,and finally use an example to display. Key words:UML;Z;formalization methods;software architecture modeling 在目前通用的软件开发方法中，其描述通常还是非形式化的方法和工具。然而这种非形式化的方法并不能很好地描述不同组成系统之间的一些特性，已经难以适应软件体系结构研究的进一步发展。因此，在软件体系结构的研究过程中必须要有能显示描述、有独立性的形式化研究工具。形式化方法作为一种严格以数学为基础的方法，能够清晰、精确、抽象、简明地规范和验证软件系统及其性质，帮助发现其它方法不容易发现的系统描述的不一致，不明确或不完整，有助于增加软件开发人员对系统的理解，因而形式化方法能够极大地提高软件的安全性和可靠性。 UML 作为一种通用的对象建模语言，经过了十几年的不断使用、修改、发展和完善，现在逐渐趋于成熟，已成为在软件工业中占支配地位的建模语言，并在许多领域的软件开发中得到应用。但UML 对软件体系结构建模时，缺少分析体系结构所需的准确语义，多视角建模视图之间也存在不一致性，这使得对模型难以进行一致性检查和正确性分析，进而限制了它的有效性。并且。这些非形式化特征使开发者无法从中看出设计的优劣，不利于对系统优劣的度量，不能帮助开发人员评估和改进。 因此，UML 结合形式化的建模方法是解决UML 非形式化缺陷的重要途径之一，并将对软件系统的开发具有重大的研究价值。本文将在对前人关于软件体系结构的形式化方法分析研究的基础上，结合可视化的UML 技术，构造一种新的软件体系结构建模方法。1软件体系结构建模方法概述 形式化描述和可视化描述是目前主要的两类软件体系结构描述方法。其中，形式化描述以体系结构描述语言ADL 为代表，可视化描述以统一建模语言UML 为代表。[1] 1）形式化描述软件体系结构 软件工程中的形式化方法就是依靠数学模型和计算来描述和验证一个目标软件系统的行为和特性，包括需求规格、设计和实现等，其最根本的一点就是建立在严格的数学基础上。使用形式化方法可以帮助开发者获得对其所描述的系统的深刻而正确的理解，发现并及时更正设计中的错误和缺陷。软件开发中的形式化方法主要是形式化规范说明语言，目前广泛应用的一些形式语言，如Z 、VDM ，B 、CSP 、Temporal Logic 、ITL 、Petri 图等，这些形式化方法在功能上各有侧重，可以互补。 z 语言是由英国Oxford 大学程序研究组PRG 的Jean Raymond Abrial 、Bernard Sufrin 等人设计的一种基于一阶谓词逻辑和集合论的形式规格说明语言，它采用了严格的数学理论，可以产生简明、精确、无歧义且可证明的规格说明[2]。z 语言是一种功能很强的形式规格说明语言，可以保证其书写的规格说明文档的正确性，同时还能保证有很好的可读性和可理解性。Z 语言是迄今为止应用最为广泛的形式化语言之一，软件企业在软件开发，特别是大型软件的开发中经常采用z 语言进行需求分析，以产生形式化、精确的需求规格说明。本论文实例分析中的××省电力公司EHR 人力资源系统是一个大型的人力资源管理系统，因而将采用Z 语言这样一个最为适宜的形式化方法。 2）可视化描述软件体系结构 UML 是一种将软件开发过程中出现的各种模型用可视化图形来描述的语言，它融合了多种面向对象开发方法的优点，采用统一的图形和符号从多个视角描述软件系统的各种抽象模型，获得了国际标准化组织的认可，并被国际软件界广泛接纳。但是随着软件规模和复杂性不断增大，UML 的不足就逐渐暴露出来了。这是由于复杂系统的建模往往需要严格的语义分析，而UML 却缺乏准确的语义，这使得对软件体系结构的可构造性建模能力较弱，缺乏形式化语义，对体系结构的描述只能到达非形式化的层次，不利于系统的求精和验证。 收稿日期：2009-04-09 基金项目：2008年江西省研究生创新专项资金省教育厅资助项目-网络协议安全性分析及支撑工具研究（YC08A032） ISSN 1009-3044Computer Knowledge and Technology 电脑知识与技术Vol.5,No.19,July 2009,pp.5167-5169E-mail:xsjl@https://www.sodocs.net/doc/ee17784568.html, https://www.sodocs.net/doc/ee17784568.html, Tel:+86-551-569096356909645167