根据2015年9月学校官网显示，学校有市级研究所（研究中心）2个，现代机械制造技术研究所 等校级研究所。市级研究所（研究中心）：武汉区域经济研究所 、武汉市药物增溶工程技术研究中心 校级研究所：现代机械制造技术研究所 、激光应用技术研究所 、软件技术研究所、人文社会科学教育研究所 等。 馆藏资源根据2015年9月学校官网显示，武汉软件工程职业学院图书馆馆藏图书385余万册，其中纸质图书54余万册，电子图书341余万册，建有清华同方、万方数据等中文数据库。 学术期刊《武汉软件工程职业学院（武汉市广播电视大学）学报》是由武汉软件工程职业学院、武汉市广播电视大学主办的学术性理论刊物。主要刊登专业研究、计算机科学、工程与技术、财政与金融等内容。
谈计算机软件工程的逻辑运用
计分析软件需求，我们应该明确利用软件需要将用户怎样的需求进行满足，怎样分析计算机软件工程的逻辑运用?
摘要: 计算机和逻辑学之间的联系非常密切，当前科学发展的重要趋势就是学科之间的渗透。本文论述了计算机工程技术当中的逻辑运用。计算机工程技术涉及到非常广泛的内容，本文当中只是论述了九三级工程和逻辑学之间的关系，结合软件工程的概念，找到切入点，充分利用逻辑分析合理性，结合逻辑学当中的限制和概括，结合具体的实例阐明逻辑学的作用。
关键词:计算机软件;工程技术;
逻辑运用在软件工程技术的研究方面，分析其合理性主要是理应逻辑方法，在开发组当中，可以将各种角色和职务进行合理的定义，在软件团队发展的过程中，需要将生产效率和软件产品质量进行改进，对于计算机软件工程领域建模深入的研究，运用数学建模知识的过程中，和逻辑发展具有密切的关系，这就是学科之间的交叉和融合的过程。
1软件工程技术当中的逻辑应用
1.1软件定义阶段逻辑应用
定义软件的过程中，需要对于市场减值给予充分的考虑。可以利用简单的方案或者很容易实现的方案。软件开发人员在这一阶段需要将软件的可操作性和不需要操作的内容进行明确，这样有利于将软件的设计目的进行明确，避免对于各种功能盲目的实现，从而对于功能软件必要性的忽略。开发软件的过程中，需要设计出精确的范围文档。但是在设计的初级阶段，开发者并没有明确的定义，这样一来，这款软件功能就没有得到明确，对英语相关的要求没符合，使双方都遭遇很多的麻烦。在概念当中利用逻辑学，在对比和运用的过程中，可以将软件定义进行完善。
1.2应用领域建模逻辑
在领域建模当中，主要是对概念之间和概念类的属性等存在的关联进行论述。第一方面就是复合，指的就是在领域当中出现的图片或者单词，第二方面就是内涵，指的就是定义领域类，和逻辑学内涵之间具有很多的相同点，在领域类定义当中的实例都是进行有效的外延。逻辑学的概念在领域建模当中进行有效的利用，在限制和概括的过程中包含的种属关系，可以对于领域建模内涵进行更好的理解。
2软件开发过程汇总利用逻辑
2.1阶段应用的分析
分析软件需求，我们应该明确利用软件需要将用户怎样的需求进行满足，描述软件需求的时候，需要和软件开发者进行良好的描述，进行有效精确的细化。研发软件的过程中，比较重要的就是需求分析。在实际分析的过程中需要很多的时间，如果没有花费很多的时间，那么很容易就会出现返工和失败，这样一来，软件设计成果和用户的需求就会出现不同，因此在描述数据的过程中，需要以各个数据为基础，利用图形化的方式，将数据模型之间的关系比较直观地反映出来。
2.2规范的应用软件设计
需要在另一个方面进行考虑，转化软件需求，使其成为软件体系的结果，因此概念设计就包括系统接口和全局数据结果以及数据库模式，还可以实现模块的算法。剧目数据结构当中，可以利用更加恰当的方式，进行有效的数据计算，这也就是处在了详细设计的阶段。软件的分析需求和描述阶段是特别重要的，可以发挥出说明的作用。数理逻辑和计算机科学之间的关系非常密切，利用数理逻辑，可以分解人类思维，使其运算变得更加简单和机械，利用机器实现模拟。使用计算机的时候，需要通过程序设计。相关的研究人员需要经过数理路基的相关训练，这样这一类型的设计才会更好的完成。程序在设计的过程中，程序的正确性需要得到保证，在实际计算的过程中，怎样防止出现错误计算的情况，并且及时将错误找出来，利用方法进行改正，这些都是比较重要和程序设计理论有关的内容，树立逻辑和这些内容具有紧密的联系，将这种树立逻辑利用计算机语言进行书写，就是在计算机当中利用树立逻辑。
2.3代码生成过程中的联系
站在逻辑学的角度，在实践过程中的说明和验证不仅需要利用软件规格，还希望利用系统方法和规范，使其生成程序，这就是自动程序的研究领域。E在实际演绎的过程汇总，主要有水平关系和垂直关系两个方面组成，在垂直关系看待这个问题，如果长时间没有登录Login和LockForm，可以正确的运行，LockForm长时间没有登录，但是，MasterForm在登录的过程中，其主界面可以正常的运行，这就说明如果LockForm没有长时间进行登录，但是可以正确的运行，那么Maste登录进去的'主页面就会实现运行。而水平关系可以一一列举其余的代码，这3个程序之间可以调用函数，将某一个公共函数进行直接调动。
3在软件的测试阶段进行应用
设计实现软件的所有模块之后，从而就会进入到软件测试阶段。对于软件工程实现软件测试，主要目的就是将软件当中的BUG找出来，但是不是要测试人员进行修改，经过审核，从而使相应的开发完成修改，完毕之后，才会回归到正常的流程当中，在采取测试之前，需要每个测试人员对于业务功能进行学习，掌握之后，才可以明确软件的缺陷和不足。例如测试网络安全的过程中，需要测试人员把握网络安全知识，测试网管软件的过程中，需要明确简单的配置指令，还要对于业务的基本流程进行熟悉。利用逻辑学进行观察，可以促进测试人员对于业务基本流程进行更好的掌握，使开发人员可以实现纠错，并且将运算进行简化，从而将效率进行提高。
4在软件的维护阶段进行利用
当前科技产品通常情况下都配置了维修站，某个产品在实际应用的过程中有时候会出现一些问题，要想进行及时的反馈和维修，在利用软件的过程中，就要将出现的问题认真的记录下来，这样在日后维修和修改的过程中，可以更好地找到症结。软件用户和设计者之间具有矛盾，这样的矛盾要想避免，需要利用逻辑学知识。软件可靠性是非常重要的，那么开发人员自身需要具备良好的程序设计风格，这样在开发软件的过程中，才可以提供维护服务。当前工作环节和硬件环境不断发生变化，很多机器语言就会缺乏可移植性，要想在计算机当中利用机器语言，那么就需要良好的用户文档，对于后期的维护和发展都发挥着非常重要的作用。
5结论
综上所述，全面的研究计算机软件工程当中的部分阶段，将其余逻辑学的联系进行挖掘，通过一些具体事例从而将应用之间的关系进行解析，这样可以明确逻辑学在其中的有效利用，在开发利用逻辑学的过程中，也拓展了逻辑学的应用。
参考文献
[1]黄武双，李进付.再评北京精雕诉上海奈凯计算机软件侵权案——兼论软件技术保护措施与反向工程的合理纬度[J].电子知识产权，2017(10)：58-62.
[2]于继武.高职院校经济类专业计算机技术基础课程教育的研究——以武汉软件工程职业学院电子商务专业为例[J].吉林省教育学院学报(上旬)，2013(12)：91-93.
[3]孙国菊.计算机专业课考试模式改革的探讨与实践——以辽宁信息职业技术学院软件工程系部分专业课程考核为例[J].辽宁高职学报，2012(11)：43-44.
[4]“节能环保型循环水养殖工程装备与关键技术研究集成系统V1.0”获国家版权局计算机软件著作权[J].中国水产，2015(12)：46.
[5]方建帮.汇聚软件英才打造专业精品——福州大学工程技术学院计算机应用专业侧记[J].中国职业技术教育，2015(3)：57.
文章摘要: 采用索氏提取法对茶花花粉、罂粟花粉、桃花花粉、莲花花粉、黄柏花粉、籽瓜花粉、蒲公英花粉、蚕豆花粉中的粗脂肪进行提取,测定其粗脂肪和游离脂肪酸含量。对粗提物进行甲基衍生化处理,用气相色谱-质谱联用技术进行分离鉴定,测定脂肪酸的相对含量。结果显示八种蜂花粉均含有丰富的脂肪酸,是重要的功能因子。 文章关键词: 蜂花粉 脂肪酸 气相色谱-质谱 文章快照: 量分别为1．897％、0．232％。3_3八种蜂花粉中莲花花粉的饱和脂肪酸含量最高，占总脂肪酸的81．904％。棕榈酸含最最高的是莲花花粉，为78．860％；硬脂酸含量最高的是黄柏花粉，为22．925％。八种蜂花粉中其他的饱和脂肪酸中山嵛酸含量最高的是茶花花粉，占总脂肪酸的14．173％；花生酸含量最高的是黄柏花粉，占总脂肪酸的7．620％。通过对甲基衍生化处理的八种蜂花粉进行GC—MS分析，表明它们均含丰富的脂肪酸，具有多种生理功能。有学者指出，不饱和脂肪酸(PUFAs)／饱和脂肪酸(SFAs)的比例大小可以说明保健价值的高低，这一比例超过1时，对心脑血管病等疾病的保健效果卜分理想【l51。而本实验所研究蜂花粉中除桃花、莲花、黄柏蜂花粉外，其余比值都要超过1，而罂粟花粉这一比值达到9．17，有很大的研究价值。如何使它们应用到蜂花粉保健品的生产中，还有待进～步研究。参考文献：[1】[2】[3】【4】[5][61[7】陈卉．蜂花粉的营养及食疗作用『J1．国土绿化，2007(1)：40．HORROBINDF．Omega-6essentialfattyacids：pathophysiologyandrolesinchinicalmedicine[M]．NewYork：AlanRLissInc，1990：21—53．GILLI，VAL1VETYR．Polyunsaturatedfatryacids，partl：occurrence，biologicalactivitiesandapplications[J]．TrendsinBiotectmology，1997，15(10)：401—409．丁小丽，牛文苗，刘飞．玫瑰蜂花粉脂肪酸的GC．MS分析[J1_中国野牛植物资源，2007，26(3)：64．65．张洪涛，单雷，毕玉甲．n一6和n．3多不饱和脂肪酸在人和动物体内的功能关系[J】．山东农业科学，2006(2)：115．120．马玉平，李德海，王忠萍．多不饱和脂肪酸的生物合成[J】．中国乳品工业，2002，30(2)：27—30．RAPOPORTSl，RAOJS，IGARASmM．Brainmetabolismofnu廿i—tionallyessentialpolyunsaturatedfattyacidsdependsonboththedietandtheliver[]']．Prostaglandins，LeukotrienesandEssentialFattyAcids，2007，77(5／6)：251-261．王萍，张银波，江木兰．多不饱和脂肪酸的研究进展[JJJ．中国油脂，2008，33(12)：42—46．蔡双莲，李敏．多不饱和脂肪酸的研究进展fJ1．生命科学研究，2003，7(4)：289-304．寇秀颖，国萍，脂肪和脂肪酸甲酯化方法的研究IJ1．食品研究与开发，2oo5，26(2)：46—47．潘建国，郑尧隆，段怡．莲化蜂他粉中脂肪酸的GC—MS分析【J】．中国养蜂，2004，55(5)：8-9．李瑞，夏秋瑜，赵松林，等．共轭亚油酸的功能性质及安伞性评价[J1．食品研究与开发，2007，28(9)：168．170．吴克刚，柴向华．DHA对人脑及视力的保健作用『J1．食品研究与开发，2000，2l(2)：41．43．陆开宏，林霞，钱云霞．三角褐指藻不同藻株脂肪酸组成的研究【J1．叶r圉水产科学，2000，7(1)：20．23．吕宪禹．六种食片{豆脂肪酸组成的研究和比较『J1南开人学学报：自然科学版，1995，28(1)：59—62踟…；；【[
武软可以说是一所快速发展中的学校，由很多所学校合并起来的。后台很硬，是govern-ment不是省教育厅哦~自我09年入学到现在环境变化好多，在这良好发展态势下，新进的师弟师妹的前景也越发的好，这个我是深有体会的，有时候真想休他一年学或参军2年回来继续读可能已经升级了的武软。可以说武软是一所完全对得起您老分数的学校。
说说环境，绿化面积挺广，树种挺多，鸟也挺多，但由于学校07年才开始建设所以可能看不到武大、华科那样有历史的学校中的高大的树...行政楼后有一形状像爱心的人工池塘，围绕池塘有许多石凳，风景也很好。一到晚上...嘿嘿...你自个儿YY吧。
说说建筑，以后会再建什么我不清楚，就说说目前的吧。学校有两座实训楼，设备较新，（但是拿俺们系说，前辈们将仪器的精度随离校一起带走了...激光器，光学实验仪器，光电试验箱基本上精度都做不鸟很高，其他的诸如机床，电柜等等设备还算OK）；一座图书馆和信息楼的合体楼；一座功能设置不错的体育馆，但所处位置相当的猥琐...；3个篮球场1个田径场和诸多教学楼和宿舍楼；3个食堂，4个报亭，3个校门，1个学院门诊部，1个变电站，1个公共澡堂，澡堂旁边有个基本没人光顾整日放神曲的发廊，还有一个里面不知道放啥设备的楼，估计是水泵神马的吧；一座经常被叫过去挨训的辅导员办公室所在点——综合楼和2年来就去过2次的学院BOSS们呆的地方——行政楼.......哦，对了还有一驾校练习场。
说说伙食，学校有3个食堂，菜都一样的(超级重口味，辣椒不要钱似的放)，都一老板罩的，三个儿食堂数二食堂条件最差，一到夏天里面根本呆不下，电扇形同虚设你来后会晓得，但来打饭的人也是最多的为啥因为菜多且比一三食堂便宜，打饭的大姐也最热情。伙食标准嘛，惯例上一人一般都只打一个菜加米饭，因为单份的菜已经够吃了，现在最贵的菜是4元RMB，不知道以后会随通货膨胀涨到什么价。学校后街也有不少小吃店，但地沟油泛滥不敢随便吃，偶尔去吃，只好找环境好的，价格稍贵的地方吃。像我有时候喜欢去周黑鸭买两鸭脖加一罐啤酒 回宿舍边看电影边吃...
说说教学，这个就两字“呵呵”（你懂得）。
说说资源，算是不差啦，虽然我以前有抱怨学校图书馆里的书不够精，有很多书感觉就像地摊上摆着卖的。比如哲学方面的书，只有几本像样的其他的书看起来简直是浪费精力和时间并且误人子弟。心理方面也没找到很多有份量的，书名很俗气，内容几乎都是说教式的胡吹烂扯。就只发现几本《梦的解析》这样的经典。
当然这些跟我们学校的专业设置也有关系毕竟武软是一所工科学校。所以在自然科学方面的书还算对得起观众。但是但是，俺发现俺们学校很不公平，图书馆5楼里，他们软件系的淫的专业书是压倒性的多。俺们咧，想找本应用光学的书看下，愣是木找着，只有几本讲电磁波的公式比文字多的光学书，尼玛，那是俺现在这级别看的嘛？有木有？真是羡慕软件学院的娃娃的可借的专业书籍有那么多，比我们系多多了...嫉妒羡慕恨啊~~~~
说说校园网，俺是俺们内栋宿舍楼的网管，俺对校园网算是比一般小朋友要了解那么一点。网速相对稳定，只是用得稍稍有些蛋疼，因为封了不少端口。只有在周一~周五的0:00~10:30的时候P2P模式的东东才能玩儿。不过真的不知道网络中心的网管老师们咋想滴，居然把游戏的流量分配的那么多，校园网玩神马游戏都不带延迟的，除了天游那垃圾服务器的街头篮球。
说说生活，情感生活就不谈了，俺不懂介个...社团活动有很多也很丰富，无聊时可以去碰碰运气说不定就找到个有缘人哦。在物资生活上一般不出故障学校晚上11点半断水（水不算钱，但水质不行，只能用来搞卫生用），24小时不断电，每学期没宿舍80度电用完来俺们4栋楼管那充电费，7毛一度。开水房，水瓶2毛桶4毛洗澡3块（单人间，互相看不到小JJ只能隔墙情歌对唱，放心女澡堂子跟男澡堂子不在一起）。校园网30/月，110/学期不限流量，学费一年4000大洋，住宿4人间一年1200钢镚。加上学杂费一年要交6000左右。
说说交通，不是很好，前后大门一共就5辆公交前面718，758后面757 789 788，一般上车都没座位的。
说说学生素质1，有部分是好的，但也有部分是不行的。在图书馆3楼的阅览室里我看过2次有同学往地上吐他嘴里的分泌物。草地上总能发现有人聚餐后留下的垃圾，更可恶的是留瓜子壳和甘蔗渣滓的 很难让清洁工清理，这让那些情侣们晚上怎么在草地上打滚呀？！一楼自习室以前被整的像闹市一样，聚餐的，KTV的，基情四射的，纯情男女欲火焚身的，扯着嗓子拿书本练美声的....不过现在在分贝上管理得还算不错了。在此希望以后有想进武软的师弟师妹们能表现得比我们这些师哥师姐要更有素质。
说说学生素质2，有部分是不行的，但也有部分是好的。因为高素质的人往往是日常行为上比较低调的，所以相对素质不行的孩子的行为不易被人发现。其实不同的学校里，堕落了的学生都是一样的，牛人们各有各的精彩。即便劳资最反感的图书馆一楼乱糟糟的自习室，之所以乱也是因为里面挤满了人的缘故呀，比起那群整日宅宿舍叫着地沟油外卖，闲得对着系统桌面不断右键刷新的童鞋要强多啦。
在武软我认识中的一些有着自己的想法，很有思考能力的并在行动中的人。可能，可能他们当初会对自己来到了一所专科学校而感到沮丧和不再自信又或心中不服输的念头导致没头脑般的表现出一种扭曲的自信。可是，可是人总是会慢慢的更加了解自己，更加了解世界。当在更多的坦然中心中喊着不服输，不怕输的时候，可能心中最想感谢的可能就是自己曾今现在的环境了。
总的说来学校有潜力，什么公务员考试，军队士官培训，省高职篮球联赛开幕式，电大30年校庆典礼，全国示范性软件职业技术学院建设单位，首任院长是市长啊神马的，同类学校中发展态势相对很好的说。
未完待续...
