一、课题的来源及意义
如今，网络电子商务已经得到越来越多的应用，网上购物使得交易的效率提高，节省了人们的宝贵时间，足不出户就可以购买到自己想要的东西，而且网上购物信息量大，且易于查询，大大方便了现在人们的生活。人们在快节奏的生活中寻找快捷的生活方式，其中电子商务技术为人们提供了更加便利的购物方式。随时代的发展，网上业务越来越受到人们的欢迎，其中给人们带来的最大的方便的便是互联网。随之产生的网上购物更是网络中的新秀。只要轻轻一点就会送货上门，真是既方便又快捷!于是网上购物逐渐被越来越多的人们所认识，成为了当今红火的商业形式之一。本课题“网上书城”就是网络电子商务的一种。
随着Internet的发展，传统的商品购物运作模式被打破了，网络提供了一种新技术上的可行性的方案：利用Internet的技术和协议，建立各种网上商店，而本网上书店系统，正是通过互联网，将一个虚拟都呈现在用户面前：客户在网上与供应商联系，利用网络进行会计结算和支付服务。从而通过简单、廉价、快捷、低成本的电子通信方式的通讯手段，将买家与卖家、书商和合作伙伴紧密结合在了一起，消除时间与空间带来的障碍，从而使买卖双方不谋面地进行的各种商贸活动。从而大大的节约了交易成本，扩大了交易范围。而在实际的生活中，这种方案已经被广泛的运用到了实际的商业活动中了，人们将这种交易模式称为：电子商务。电子商务通过信息网络以电子数据信息流通的方式，其内容包含两个方面：一是电子方式，二是商贸活动。
网上书店正是以商贸方式展开的，电子商务可以在全中国范围内进行并完成的各种商务、交易、金融等相关的综合服务活动。它是传统的计算机网络应用技术、信息处理技术和商务运做技术相互渗透的结果。
在网上书店买书，可以查到所买图书的更多信息，因为网上书店是一个网站，它有它独特的售书方式和功能。如用户注册会员功能等，会员类型有：高级会员、金牌会员等。有的网上书店有会员积分设置，如达到一定积分时自动成为高级会员，高级会员会有优惠和特别的服务。还有就是支付方式了，一般网上书店都有三种类型的支付方式：汇款类支付、在线支付、其他支付方式，其中在线支付只要到支付平台开户后，将所获开户信息填入即可。当在网上书店购书后，用户所购图书都在网站上有记录，方便用户查询。
二、国内外发展状况
总体发展状况
目前，网络正以一种前所未有的冲击力在影响着人类的活动，包括人类的生产和日常生活。网络的诞生和发展，颠覆了传统的信息传播方式，冲破了存在于传统交流方式中时间和空间的种.种壁垒，极大地改变了人类从物质到精神、从形式到内容、从生产到生活的各种活动，并且给人类带来了新的机遇和挑战。21世纪可以说是电子商务的世纪。电子商务通过大幅度地降低交易成本、增加贸易机会、简化交易流程、提高服务质量、改善物流电子商务网站等，极大地推动了全球经济的发展，并在很大程序上影响着我们的生活方式和工作方式。
网上书店系统，是为了迎合现在人们的生活而设计的。随着网络的覆盖面的增广，上网的人们也就越来越多了，在网上购买图书是一种潮流，随着现在网上书店大量的出现，人们更喜欢的在网上购书，这样大大节约了出行的时间，而且服务也不比现实的差，网上书店的主要目标是满足人们足不出户购物的需求，只需在网上书店是先订货，然后在一定时间内送货上门或通过邮寄的方式送货，货到再付款。很多人看到了书这种商品网上销售的诸多好处：方便购买、金额小、风险小、用户容易决定;信息的完整性以及很少出现质量问题和退货现象等。完全符合人们的理念。使人们避免了挑选图书的烦琐过程，让人们在购物过程中变得轻松，快捷，方便。从而在网络上建立一个虚拟的购物书店，让人们在网络上进行购书的行为。伴随着网上购物以及网上书店的出现，从而使得人们避免了挑选图书的烦琐过程，让人们在购物过程中变得轻松，快捷，方便。
国内网上书店系统发展现状
我国电子商务的发展还处于初级阶段，需要进行市场培育与诱导。电子商务将是未来的经济增长点，它所带动的电子商务的技术、产品、服务的发展将会给不同的行业带来大量的新的机会。电子商务的快速发展以及上网人数的剧增，为企业创造了许多网络商机。此网上书店系统是为了跟上世界电子商务的发展潮流，缩短与发达国家之间的差距，每个人都应该从不同的角度积极了解电子商务、参与电子商务，尽快适应飞速发展的信息社会的需要。
中国大陆已经注册的网上书店大约有100多家，有网站的有50多家，但已经投入运营能够买到书的只有十来家。最近据一家媒体的调查，能够买到书且服务到位的也只有大洋网、旌旗席殊等几家。
很多人看到了书这种商品网上销售的诸多好处：方便购买、金额小、风险小、用户容易决定;讯息的完整性以及很少出现质量问题和退货现象等。尽管全球最大的网上书城亚马逊股票惨跌，尽管各家书店都承认目前的亏本经营状况，但这并未阻挡投资者对网上书店“钱”景的期待。
最早的网上书店是由上海图书城投资50万元於1998年底成立的上海网上书城，该网站经理李列群坦言告诉记者，运营一年多，业绩很不理想，现在网上书城的交易额还不到整个上海图书城交易额的千分之一。据他分析，除了传统购书习惯的因素，频宽不够，上网的速度很慢，也影响了人们上网购书。
当前国内网上书店已呈现出百家争鸣之势，一片蓬勃景象，知名网上书店如当当网上书店、亚马逊网上书店、卓越网上书店、淘宝网上书店等，经过前几年网购潮流的冲洗，中国网民数量比5年前增长了十几倍，很多人都有了网上购物的体验，整个电子商务环境中的交易可信度、物流配送和支付等方面的瓶颈也正被逐步打破。
国内网上书店系统存在的问题
国内网上书店的目的主要有：利用图书销售盈利、效仿亚马逊提高无形资产价值、以拉广告赚钱、紧跟电子商务潮流等，其中，前两种占大多数。然而，实际情况是网上书店并未达到预期的效果，有的根本没什么访问量，有的虽然访问人数众多，但成交有限、营销平淡，同时网上广告也并未被广大商家认同。于是，这些书店不得不面临生存危机，究其原因，主要有：
1)电子商务的概念并未深入人心。即使是经常上网的人，也不一定就有网上购物的消费习惯。目前，电子商务的热潮很大程度上是商家和IT界炒作的结果和一相情愿的表现。
2) 网络普及率不高。虽然目前国内上网人数已达400万，但相对于12人口来讲，只占，上网计算机数达146万台，但人均只有[3] 。
3) 网上购书优势不明显。网上购书的优势在于选择面大、价格便宜、交易方便、节省时间和精力等。但国内网络速度慢、费用高，图书折扣率低，结算、配送周期长，并未让读者体会到网上购书的方便。
4) 网络的最大优势在于开展信息服务，而信息服务的“不完善、低质量”正是国内网上书店的一大败笔。经营者往往过于注重图书数量的丰富，而对图书及其相关知识和信息的提供、介绍不够。比如，书籍介绍不足或是过于简明扼要，书评太少，相关新闻严重匮乏等。
5)结算方式落后。目前，我国的银行结算体系是企业和银行可直接网上转账，但银行和银行之间还是传统的结算方式，异地汇款，银行间的复杂结算造成汇款到达要10天以上，书店再邮寄出去，顾客要一个月后才能拿到书。更有一些小的网上书店尚不具备网上支付能力，只能让读者采用邮购等传统的异地购书方式。
6)图书配送周期长、成本高。由于不能形成一张遍布全国的“图书配送网”，使各书店不得不自己建库存(若不建库存，又恐怕履行定单得不到保证)，然后进行邮寄。然而，邮费成本又太高。例如，南京的时空书店为了确保图书安全送到读者手上而又不给读者增加额外负担，所有书都按“挂号印刷品”邮寄，其费用全部由公司承担，可叹该公司的一片苦心。再例如，某君曾在网上购一本书，价值元，使用北京快递送货方式，总价竟达元，光运费就18元，超过了书钱，还不如打车去购买呢!在电子商务比较发达的国家，在网上购书比在实地购书还要便宜5%—10%，真正做到了省钱省事，而我国居高不下的邮费，令消费者咋舌。
7)安全保障问题令人担心。书店担心读者提交定单却不付款，或收到假定单，而读者更担心付款后收不到书，或自己的金融信息被别人窃取等。
网上书店系统开发的紧迫性
在家里“逛商店”已然是人们生活中时髦的事和一大新的潮流。随着人们对网络购物接受度的提高，互联网时代。以及物流支付等配套服务更加完善，网络购物渗透率也随之有了较大提升。淘宝网、诚信通、京东商城等各类网购平台如雨后春笋般蓬勃发展。
由于网上书店存在的种.种便利条件及优势，传统书店也受到一定的竞争威胁，为此，新华书店也推出了网上书店，并已运营成熟。网上书店已经成为将来另一主流趋势，网上书店系统的开发的紧迫性也就不言而喻。
三、研究的目标、研究内容、研究方法和手段
研究目标
本课题的研究目标是：围绕网上书店系统各性能的实现和简易方便易操作的网络页面为核心进行研究。
目的：通过各网上书店网站的调研，了解网上书店系统需要实现的功能，通过电子信息化的手段对书店的进存销等环节进行管理，以达到人力与设备费用的减少，服务能力的提高，管理信息服务的改进，工作人员利用率的提高等目标。通过对别的同类型的网站的观察，我认为其他的系统界面过于花哨，容易扰乱消费者的视线，使消费者忽略此系统原有功能，浪费消费者的宝贵时间。本次开发致力于页面简洁，规范，功能齐全的网上书店管理系统。
核心：在与其他同类网上书店实现相同功能的基础上，做到最简单操作，最优化页面。从而减少成本投入，提高产品性价比。
研究内容
确定网上书店系统的开发目标，对网上书店系统功能进行详细分析。
需求分析：
一本系统在功能设计时应充分考虑到实际需求所制定了完善的功能，“淡淡书城”网上书店系统主要分四个模块，包括：登录模块、订单信息管理模块、图书信息管理模块、用户信息管理模块。其中每个模块能够实现的相关功能有：
登录模块：用户身份验证，该模块主要包括用户登录和注册，用户登录后可根据数据库中角色类型判断为普通用户或管理员，普通用户可查询图书信息和购买图书，管理员可对用户信息以及图书信息进行修改过增加删除图书信息;用户可以通过注册成为普通用户，成为新用户后才可以下订单。
订单信息管理模块：用户购买图书需要下订单，订单信息管理模块主要实现了管理员可以查看和修改用户的订单信息;普通用户只能查看和管理自己的订单信息。
图书信息管理模块：图书信息管理模块主要实现了管理员可以在网上书店添加图书信息，对图书进行分类管理，也可以修改书店中已有的图书信息，同时可查看图书信息和搜索图书信息;而普通用户只能查看图书信息和搜索图书信息。
用户信息管理模块：管理员可以对已有用户信息修改和删除，可设置为普通用户或VIP用户，还可以向数据库添加新用户;用户可通过注册成为新用户。
设计：
采用结构化程序设计方法进行算法设计，画出程序流程图;进行数据结构设计、数据库设计、功能模块设计、页面设计。
软件测试：
进行单元、集成测试，采用白盒或黑盒测试方法。
3.研究方法和手段
方法：采取原型化的瀑布式开发方法。
手段：通过在图书馆和网上查阅与参考现有网上书店系统相关的书籍和文献资料，逐步完善。
四、可行性分析
为了了解本网上书店系统是否可行,将利用可行性分析来探讨。可行性分析是针对各项可行性做出初步的分析。一般软件领域的可行性分析主要考虑四个方面：经济可行性、技术可行性、社会环境可行性和操作可行性。
经济可行性
经济可行性分析中最重要的内容之一是成本与效益分析。对于一个基于计算机系统的研制项目要在经济方面评价其是否合理，成本与效益分析要估计出研制开发的花费并与收益衡量比较。
这个系统的经济效益能不能超过它的开发成本。基于的网上图书管理系统是使用开发的中小型数据库应用程序，设计过程需要的人力是极其有限的。但系统投入使用后，将大大减少人工管理的工作量，提高工作效率，其经济效益是显而易见的。
技术可行性
Visual 提供了一个统一的、紧密集成的可视化编程环境，简化了开发应用程序的过程，缩短了使用方法的时间。利用Visual 可以非常轻松地创建具有自动伸缩能力的可靠地应用程序和组件。而且微软的优秀成果C#语言保持了C/C++所特有的强大功能和控制能力。与C++十分相似的模型和，具有与COM+服务完全的交互性和完全支持能力，能够轻松地迁移现有的代码。数据库方面SQL20xx已经可以满足一般的数据要求，甚至有些大型数据的处理都可以达到要求。如今计算机普及程度日益推广，计算机配置日新月异，能承载此系统的机器就如办公地机器都可以达到要求。所以说本系统具有技术可行性。
社会环境可行性
由于网上书店存在的种.种便利条件及优势，传统书店也受到一定的竞争威胁，为此，新华书店也推出了网上书店，并已运营成熟。网上书店已经成为将来另一主流趋势，设计和实现网上书店系统,是非常有现实意义的。
操作可行性
本系统操作界面简单，分为前台和后台两个主界面：前台是结合了技术：主要是实现人机的交互，网页操作简单，用户即可根据所需选择相应的服务;后台结合了SQL Server技术，是针对管理员而设的。前后台设计合理，操作简单，即具备基本的电脑使用和维护知识的人都可以进行操作。
综上所述，无论从经济可行性、技术可行性、社会环境可行性还是操作可行性来说开发深蓝员工管理系统都是可行的。
五、进度安排
第1周、查阅相关资料，调查国内外发展状况，写调研报告。
第2周、查阅相关资料填写进度表，并对所选课题的可行性作出分析。第3周、完成调研报告，进行系统的可行性分析及需求分析，查阅外文翻译
研究的理论依据：
在总体目标指出：通过义务教育阶段的数学学习，学生能积极参与数学学习活动，对数学有好奇心与求知欲。在数学学习活动中获得成功的体验，锻炼克服困难的意志，建立自信心。
研究的现实背景：
学生在学习活动中存在这样一种事实，就是不同层次的中学生对学习数学存在着不同程度的学习困难，直接影响着学生对学习数学的兴趣，更不必谈好奇心与求知欲，也无法建立自信心，制约着学生在数学方面的提高与发展。
北京教育科学研究院组织的北京20xx学习障碍国际研讨会中指出：根据北京教科院学习障碍研究中心最近对北京部分地区中小学校进行的抽样调查显示，10%左右的学生认为自己存在不同程度的学习困难。这些孩子智力正常，但学业成绩不良，专家指出，他们需要特别的帮助。这部分学生会与同龄人在学习上拉开差距。是哪些非智力因素导致了他们学习上的障碍？这些非智力因素的出现影响着中学生对数学得学习，因此，对中学生数学学习困难调查与分析的研究很有必要。
研究对象与范围：
研究对象界定：本校中学生（农村中学）。
关键概念界定：数学学习困难（对数学学习态度不良，目的不明确、呈现一种漫无目的的学习倾向，缺乏学习热情和自觉性、自制性和坚持性差）。
研究的内容：
（1）学生能力影响数学学习困难的调查。数学基础情况如何？课前是否预习？预习效果如何？课堂上注意力是否集中？听课效果如何？课后作业是否独立完成？作业质量情况如何？课外习题是否主动完成？
（2）学生自身认识影响数学学习困难的调查。学生的学习目标是否明确？学习态度是否端正？受某些不良因素影响，能否树立正确的学习价值观？有无对学习数学的情感？
（3）教师的教学方式影响学生数学学习困难的调查。教师是影响学生对一门学科是否感兴趣的首要因素。教师如何对待数学学习困难的学生？如何衡量数学学习困难生的发展？如何衡量数学学习困难生的学习方式？如何衡量数学学习困难生的学习能力？
（4）学生家长认识影响学生数学学习困难的调查。家长认同的成才标准是什么？家长对孩子的期望值多高？家长如何认识读书无用论？家长如何看待孩子的数学成绩？
（5）社会环境影响学生数学学习困难的调查。网络游戏对学困生的影响。打工热潮对学困生的影响。
研究的方法和途径。观察法、调查法、经验总结法、个案研究法。
观察法：
（1）确定观察的目的。在校期间，学生学习数学的举动。
（2）确定观察对象。部分中学生。
（3）制定观察计划。课前、课上、及课后对学习数学的表现。
气象信息服务计算机软件技术的应用
近几年来，随着社会的不断进步，计算机软件技术也在不断发展，已经在各个领域被推广使用，并取得了显著的成效，推动了社会的发展。同时，计算机软件技术也被用于气象信息服务行业，气象信息服务对于我国国民经济的发展、农业的发展有着非常重要的影响，而且我国对于气象信息服务也非常重视，气象服务的范围也在不断的扩展，各项服务也越来越多元化。所以加强计算机软件技术在气象信息服务方面的使用，有利于改善传统的气象业务管理方式和服务形式，突破气象服务在技术上的局限，提高气象信息服务的广度和深度，进而推动气象行业的发展。
一、气象信息服务的现状
我国的气象信息服务经过多年的研究与发展，目前已经初步形成天基、空基和地基相结合的比较全面的综合观测系统，可以实现从地面到高空以至太空、从区域到全球空间尺度、从大气物理参数到大气化学微量成分、以及涵盖海洋、陆地、生态、环境相关领域的长期不间断的、一体化综合观测。同时从20世纪80年代以来，我国天气与气象信息服务就有了很大的发展，初步建立了以数值预报为基础的新一代天气预报系统，以及与之相适应的天气预报业务技术体系，建立了包括全球中期预报，有限区域数值预报，热带气旋路径数值预报，沙尘暴、空气质量和污染扩散传输数值预报，海浪数值预报在内的比较完整的天气理预报业务系统。气象业务的发展已经从传统的手工绘制天气图、以预报员经验为主的预报方式，过渡到现在的以数值预报产品为基础的、人机交互气象信息加工处理系统为平台的新型的天气预报方式。21世纪的气象信息服务对于各种台风路径、区域性暴雨、沙尘暴等灾害性的天气预警，更加的准确和及时，为人们的人身安全和财产安全提供了又一保障。但同时我国的气象信息服务仍然还存在着一些不足需要改进，例如缺乏精细化管理，与发达国家的预报水平相比还比较落后以及对气候变化的应变能力较弱等问题。
二、在气象信息服务中运用计算机软件技术的意义
计算机软件技术的应用是建设气象信息服务系统必不可少的重要内容，计算机软件技术的运用推动气象信息服务向高科技、科学化方向发展。因为气象信息是根据最近的天气形势，以及卫星云图和天气图的分析，结合有关气象资料、地形、季节特点、群众经验等综合研究之后得出的。所以在这一过程中，气象局需要收集很多资料和数据，然后将这些数据进行分析总结，进而得到气象预测所需要的数据信息，同时，还要求能够对数据信息进行及时迅速的处理，对于数据信息的准确性有着很高的要求，这样才能更快地反馈给人们群众真实的天气状况，达到对天气预报的目的，想要同时达到这些目的，必须加强先进的计算机软件技术在气象信息服务中的应用。在气象信息服务中运用计算机软件技术，能够在第一时间内将采集的数据进行汇总，按照一定的程序进行分析，得出人们想要的信息，同时这种方式，改变了传统人工预测天气误差大的现象，使得气象信息的准确性更高，传播更快，信息数据的传播范围更广。应用先进的计算机软件技术构建的服务平台，与气象信息服務进行有效的融合是非常必要的，对于我国气象信息服务的发展有着不可忽视的影响，也是我国气象信息服务未来的主要发展方向。
三、如何加强计算机软件在气象信息服务中的运用
现代化社会的发展，也是信息化的发展，数字化、信息化已经成为这个时代的发展标签。而气象信息作为推动社会经济发展的基础信息，它的科学化、数字化对社会的发展具有重要意义。
（一）结合气象信息服务的特点，选择合适的计算机软件
计算机软件的发展，标志着我国开始进入信息化的时代，同时随着现代化高科技的发展，计算机技术为了满足各领域对于数字化技术的发展要求，计算机软件的种类非常多，不同类型的计算机软件有着不同的功能，也被用于不同的生产领域。对于气象业务来说，它的需求紧跟着人类的需求，例如人们的出行、旅游、生活和工作等。为此气象部门就需要收集大量的信息，需要大型的数据处理平台，这时计算机软件的优势就体现出来了，比如美国软件公司研制开发的GHOST软件，支持多种形式文件系统，同时对存储文件的压缩率比较高，可以节约存储空间，进而气象部门可以利用此软件来存储大量的数据信息。
（二）充分利用气象信息服务计算机软件技术
目前，我国的气象信息服务已经开始使用计算机软件技术，并取得了很好成效，作为气象工作的一个辅助性的工具，计算机软件技术在提高气象服务工作人员的工作效率和工作质量方面发挥着重要的作用。所以，气象部门要充分利用计算机软件技术的优势，进而简化气象服务的工作，为气象部门工作人员查阅信息提供便利，进而实现操作的现代化。
（三）利用计算机软件技术，为气象业务提供便利的通道
气象预报的分析技术在经过多种软件的综合精细化监测之后，提高了天气预测的准确性，减少了信息误差。同时，高速局域网技术、单光纤或多光纤通道传输、ATM技术的网络宽带等技术为媒体视频终端技术提供支持，为气象业务的精细化管理和应急处理提供了更加便利的通道。
四、结语
计算机软件技术在我国气象信息服务中的应用，是气象信息服务发展的必然需要，也是气象信息服务未来发展的一个重要趋势。在气象服务中使用计算机软件技术，不仅有利于保证气象信息服务的工作质量，同时有利于人们实时的获取准确的气象信息，对社会经济的发展具有积极的影响。
摘 要：在软件的可信性属性中包含着保密性，加密技术和访问控制是将保密性提供出来的传统方式，但端到端的保密性不能够被其提供出来。针对此种保密性，信息流控制策略可以对信息系统的信息传播来完成此项工作。因此，为了能够使这方面的技术被更多的研发部门和技术人员所掌握，文章通过对基于计算机语言机制的信息释放策略进行阐述，为信息保密性的提升提供有一定的帮助作用。
关键词：计算机程序 语言机制 信息释放策略
在可信计算研究中，软件的可信性是其中非常重要的内容。并且，随着时代的发展和科学技术的不断进步，对于系统中隐蔽通道出现的信息漏洞情况能够及时的予以发现，对于信息释放策略进行研究和探讨是非常重要的。计算机语言程序机制是对这方面进行研究的有效出发点，能够确保研究的程序更加透彻清晰，因此，值得广大研究人员予以借鉴和应用。
1 具体的二维信息释放策略分析
信息的二维释放策略
程序语言
在对地点和内容的信息释放策略进行研究的过程中，主要以某种安全性较强的顺序语言为主，其主要有命令C和表达式e构成，有一定的保密性级别会存在于此语言的各个变量和常量中，有高保密H和低保密L存在于其中，低保密语言针对攻击者语言而将需要完全公开，但是，必须要有一定的保密性存在于高保密性H数据中。将L定义为常量的保密性级别，进而可以利用F来获取变量的保密性级别。{L,H}=SC将集合表示出来，在此集合中
语义条件分析
攻击者能力的假设会联系到每一种安全策略。不但，观察程序运行的功能会存在于攻击者中，一些时候还能够将攻击代码注入到其中，对程序的执行过程带来影响，但不能够有释放语句存在于限制攻击者注入的代码中。一旦能够将释放语句注入到其中，这样任何一种高保密性的信息都能够被攻击者所获取，在对这种语言进行释放的过程中，可对完整性的代码进行使用。
假设从C开始对程序进行储存，并且运行于M中，将可观察时间的顺序N生成出来，对于无干扰策略有程序C给予满足，其中我们能够觉察到所有的高保密信息都不能够被攻击者利用观察事件进行获取，有着一定的固定性会存在于攻击者的知识中，与攻击者最初的知识是一致的。
二维信息在多线程环境中的释放
现阶段，都是在顺序式程序语言环境中对信息释放策略进行了研究和阐述，并且只能对单进程序进行适应，在并发式多线环境中很难被适应。同时，在现代程序语言中，对多线程又为其中的主要特征，对于职责分离的安全性原则又能够通过其被提供出来，就那些有较高安全性的系统而言，意义非常重大。
语言模型分析
文章以程序语言MWhite为基础进行研究，将降低和提升线程安全级别、动态创建多线程的原语加入到了其中。例如，只有一个单核的CPU会存在于多线程序环境中，线程在进行通信的时候，对内存共享的方式进行利用，有两种线程能够被其所支撑，即为高保密线程和低保密线程;同时，也会有两个部分的线程池存在于其中，即为高保密线程池和低保密线程池。对于安全级别不同的线程调度器应该分别的予以对待，这样不会根据敏感信息去观察不同线程中交叉出现的可观测事件，除了需要将原语增加到命令操作语义中之外，其它的都和上述的阐述相同。
确定调度形式
在对可信释放策略进行研究的过程中，假设有一定的安全性存在于调度器中，信息泄露的情况没有出现在其中，就是按照无干扰安全策略确定出调度器，可以按照{V，Q}来配置调度器，调度器的储存用V进行表示，能够有效的相交于各个线程的储存。调度器的程序用Q进行表示，在存储调度器的过程中，对于向又一次调度中分配线程 可以出现的转移次数用q进行表示，当用变量t表示了待调度的线程集合之后，这样就可以用tH和tL分别表示高密度线程组合集合和低保密线程组合的集合。对线程unhide和hide进行使用，这样在线程tH和tL之间能够相互切换，前运行的线程能够利用变量r进行表示，对于低保密级别的线程是否会被调度用变量g进行表示，防止高保密性级别线程中的内部信息会被低保密线程级别所观测到。当L成为了变量g的值时，这样就都能够有效的调度和释放出高保密和低保密级别的线程。当H为g的值时，就只能够调度高保密级别的线程。
2 释放三维信息的措施
语义和语法
顺序式命令安全类型语言为文章可信释放策略的主要特征，都有安全级别L存在于其中的各个变量和常量中，因为完整性和保密性是紧密相联的。因此，对于两个属性在安全级别L中应该一同进行分析和考虑。用V表示变量，用n表示常量，对于逻辑运算符合二元的算术符可以用op进行表示，安全级别即为L,变量到安全级别的映射即为F,例如变量x的安全级别就可以利用F(x)进行表示。
1. 病毒入侵微机的途径与防治研究
2. 微机黑屏故障与防治研究
3. NAT技术在局域网中的应用
4. 基于Socket的网络聊天系统开发与设计
5. 计算机网络故障的一般识别与解决方法
6. 访问控制列表ACL在校园网中的应用初探
7. 常用动态路由协议安全性分析及应用
8. 数字证书在网络安全中的应用
9. 计算机病毒的攻与防
10. ARP欺骗在网络中的应用及防范
11. TCP安全问题浅析
12.网络入侵手段与网络入侵技术
13. VPN技术在局域网中的应用
14. IDS技术在网络安全中的应用
15. Dos与DDos攻击与防范措施
16. DHCP安全问题及其防范措施
17. 校园网规划及相关技术
18. 企业网组建及相关技术
19. 网吧组建及相关技术
20. 无线网现状及相关技术
21. 代理服务器相关技术
22. ip地址相关技术
23. 综合布线及其相关技术
24. 搜索引擎原理及发展趋势
25. TCP/IP协议简要分析
26. 无线家用局域网组建
27. 教学网页的设计与应用
28. 教学互动网站的.设计与实现
29. 个人网站的设计与实现
30. 电子商务网站的设计与实现
31. 基于ASP的动态网站设计与实现
32. 论网上商店的设计方法
33. 留言板设计与实现
34. 企业公司网站的设计与实现
35. Flash动画设计及制作
36. 基于flash的聊天室的设计
37. 基于FLASH的多媒体课件设计与开发
课题研究的背景和意义
目前，大多数中职学生存在学习基础普遍薄弱，行为习惯较差，专业课管理难度较大等特点，我校是国家级数控实训基地，也是安康市机械类技能大赛的赛点，所以提高数控技术应用专业课的教学质量是我们专业老师必须思考的问题，虽然《项目教学法在中职专业课(数控技术应用专业)教学中的实践研究》在县级已结题，但在实施研究过程中，发现针对中职学生职业核心能力，如何设计项目子课题，是目前需要解决的问题，因此，在我校数控车专业课进一步研究项目教学，打破我校传统的教学模式，构建“做中学，做中教”的新型教学模式，从而为我校打造高效课堂作尝试研究
课题名称的界定和解读
项目教学是将数控技术专业课程按数控车操作工分为8个技能单元，每个技能单元作为一个教学项目，实行理论、实践一体化的单元式教学，每个单元教学都以学生岗位技能完成一个作业来结束。通过由课题组教师设置的虚拟情景或任务项目，在教师指导学生实际操作训练中，在发现问题、解决问题的过程中获得经验，实现职业技能训练和职业行为养成的一体化，促进学生独立工作和合作学习的一体化，使教师成为学生学习过程的策划者、组织者和咨询者，真正突出学生学习的主体地位，提高学生的综合职业能力。
课题研究的步骤和举措
一、研究方法：
拟在201 级数控技术专业开展项目教学，抽取20xx级一个班为研究对象，采用问卷调查法、实践研究法等多种研究方法，在数控车实践教学中尝试项目教学法。
二、研究步骤
1.准备阶段：学习项目教学---课题研究资料---修订课题研究各种制度
2.项目制定：选取适合数控车教学的典型案例
3.项目计划：抽取试点班学生参与项目实施，构建新型师生关系。
4.项目实施：运用“做中学，做中教”教学理念，开展各项目实施
5.成果展示：项目完成后，形成学生自评、互评，让学生获得成功的喜悦，逐步建立学生强大自信心。
6.总结与推广：将项目教学法的经验推广到其他专业
三、措施
1.加强各项目成员的学习，提高课题研究的效率
2. 及时进行总结和整理资料
课题成果的预期和呈现
课题成果的主件：结题报告1份,全面反映课题组成员研究过程、措施、方法和研究成果。
论文：反映课题组成员研究心得
随笔：反映课题组成员在研究过程中遇到的问题
设计：反映数控车项目设计的具体过程
课件：反映数控车项目设计的具体实施
案例：反映数控车项目设计的典型案例
作品：反映数控车项目实施时学生技能成果
反思：反映数控车项目实施时题组成员的总结
照片：反映课题组成员在研究过程中的场景
证书：反映课题组成员在研究过程中业务能力的提高
一、选题的目的及研究意义
伴随着经济发展、人口增加、城镇化进程的步伐加快，我国取得了举世瞩目的骄人成绩，然而随之而来的是各种污染现象、污染事故的发生，大气、水体、噪声等污染严重影响着人们的生活，制约着社会的进步。在各类污染中，水污染和人们的关系最为密切，我们的水资源严重短缺并遭受着各类污染的侵袭，降低了水体的使用功能，严重破坏了生态环境，影响了人们的生活，社会的发展，因此，解决水污染问题成为一项十分重要的课题。近年来各种类型、各种规模的污水处理厂的建立，能够有效地减少水污染的发生，有利于进行污水的集中处理。城市的生活污水能够有序的排进处理厂处理，减少受纳河流的自净负荷。一些工厂、公司的生产污水有路可去，减少了工厂的运行负担，使一些小工厂在新的环境要求下能够继续运行下去，有利于城市工业可持续发展。综合各方面的因素考虑，污水处理厂的建立是解决水污染问题的一种最为有效的方法。
对城市污水进行处理，通过工艺流程的设计和各环节的处理，使污水达到排放标准，保护环境，保障人们健康生活。该市人口较多，污水处理量较大，水中含氮磷及有机物较多，因此需建设污水处理厂对该市的污水进行处理，并且所选择的工艺必须能够有效解决水中有机物的处理。据此在设计中，应提出污水处理厂的处理工艺流程以及处理过程中各构筑物的类型与数量，进行处理设备及构筑物的工艺设计计算并绘制污水处理厂平面图、高程图及主要构筑物单体平、剖图。
二、国内外相关领域的研究现状、发展趋势等
1 活性污泥法
国内外城市污水处理厂目前普遍采用的工艺有：SBR间歇式活性污泥法、循环式活性污泥法(CAST或CASS)、AB法、A/O生物脱氮活性污泥法、A2/O生物脱氮除磷工艺、氧化沟法(循环混合式活性污泥法)等工艺。
⑴ SBR法(Sequencing Batch Reactor)
序批式反应池(SBR)属于“注水—反应—排水”类型的反应器，其操作流程由进水、反应、沉淀、出水和闲置五个基本过程组成，所有处理过程都是在同一个设有曝气或者搅拌装置的反应器内依次进行，混合液始终留在池中，从而不需另设沉淀池。曝气池兼具沉淀的作用，厌氧、好氧也在同一池进行。通过调节每个工序的时间，可达到除磷脱氮的效果。其工艺系统组成简单;耐冲击负荷;反应推动力大，运行操作灵活;可通过计算机自动控制，易于维护管理。
⑵ 循环活性污泥工艺(cyclic activated sludge technology)
CAST工艺是SBR工艺的一种变形，池体内用隔墙隔出生物选择区、兼性区和主反应区三个区域，整个工艺的曝气、沉淀、排水等过程在同一池内周期循环运行，省去了常规污泥处理工艺中的二沉池和污泥回流系统。其建设费用、运转费用低;有机物去除率高;污泥产量低、性质稳定;运行管理简单，不易发生污泥膨胀。
⑶ AB法(Adsorption—Biooxidation Process)
吸附—生物降解工艺，简称AB法，整个污水处理系统共分为预处理段、A段、B段三段，在预处理段只设格栅、沉砂等处理设备，A段由吸附池和中间沉淀池组成，B级由曝气池和二沉池组成，A、B级各自拥有独立的污泥回流系统。该工艺处理效果稳定，具有抗冲击负荷能力。
⑷ A2/O法
A2/O法同步除磷脱氮机制由两部分组成：一是除磷， 污水中的磷在厌氧状态下释放出聚磷菌，在好氧状况下又将其更多吸收，以剩余污泥的形式排出系统。二是脱氮，缺氧段由于兼性脱氮菌的作用，利用水中BOD 作为氢供给体将来自好氧池混合液中的硝酸盐及亚硝酸盐还原成氮气逸入大气，达到脱氮的目的。其总的水力停留时间少于其他同类工艺;在厌氧(缺氧)、好氧交替运行条件下，丝状菌不能大量增殖，无污泥膨胀之虑，SVI值一般均小于100;污泥中含磷浓度高，具有很高的肥效;运行中勿需投药，运行费用低。若降低污泥浓度、压缩污泥龄、控制硝化，以去除磷、BOD5和COD为主，则可用A/O 工艺。
⑸ 氧化沟法
氧化沟是延时曝气法的一种特殊形式，一般采用圆形或椭圆形廊道，池体狭长，深度较浅，在沟槽中设有机械曝气和推进装置，池体的布置和曝气、搅拌装置都有利于廊道内的混合液单向流动。多数情况下，氧化沟系统需设二沉池。在流态上介于完全混合和推流之间，有利于活性污泥的生物凝聚作用，而且可以将其区分为富氧区、缺氧区，有以进行硝化和反硝化，取得脱氮的效果;可考虑不设置初沉池，原污水经过格栅和沉砂池预处理，已经有效防止污水中无机沉渣沉积，有机性悬浮物在氧化沟内能够达到好氧稳定的程度;BOD负荷低，因此对水温、水质、水量的变动有较强的适应性，污泥产率低，具有较大的脱氮潜力，运行费用较低。
2 生物膜法
生物膜法包括生物滤池、生物转盘、生物接触氧化池、曝气生物滤池及生物流化床等工艺形式。通过微生物附着生长在滤料或填料表面上，形成生物膜，污水与生物膜接触后，污染物被微生物吸附转化，污水得到净化。目前所采用的生物膜法多数是好氧工艺，其对水质、水量变化的适应性强，处理效果好，同其他方法组合应用可实现更高效率的处理效果。
3 UNITANK法
UNITANK工艺是一种三沟式氧化沟的变形，它是由三个矩形组成的，其中两侧的矩形池即可做曝气池，又可做沉淀池，中间一个矩形池只做曝气池。污水可以进入三个池中的任意一个，采用连续进水、周期交替运行。在自动控制下使各池处在好氧、缺氧及厌氧的交替状态下，实现有机物及氮磷的去除。但它的容积利用率低，设备闲置率高，除磷功能差，并且不适用于大型的城市污水处理厂。
4 生物处理法新进展
无论是好氧处理技术还是厌氧处理技术，生物法都可以利用微生物的新陈代谢，以污染物质为营养，实现对污染物质的降解。它的二次污染小，对生活污水的处理有着自己独特的优势。随着工艺生产技术的发展，污水中成分更加复杂，有机物质更难降解，这就必然要求进行处理工艺的改革。
⑴ 活性污泥法的新发展
通过长期的研究实践，活性污泥法已成为一种比较完善的工艺，目前对活性污泥法的改进主要是在曝气方式上的改进，或是朝多功能方向发展，将活性污泥法与其他工艺相结合，提高处理效果。用常规手段很难再生物学上有较大的发展，目前对活性污泥法的重点研究方向主要是膜分离技术和分子生物学技术的应用。
⑵ 生物膜处理法的新进展
目前在普通生物膜法的基础上，出现了高负荷生物滤池、塔式生物滤池、生物转盘和生物接触氧化等。近几年来，又出现了一些新型的生物膜法处理技术，如生物流化床，活性生物滤池，另外还有空气驱动的生物转盘、生物转盘和曝气池相结合、藻类转盘等。由于生物膜法的生态系统中可以生长藻类、后生动物等，甚至可以生长硝化菌及反硝化菌等，因此可以用来脱氮等。
⑶ 厌氧生物处理法的新发展
厌氧生物处理法是利用厌氧微生物在无氧的条件下对有机物进行降解的技术。由于处理效率低、处理速度慢，且厌氧菌对环境要求严格不易控制等缺点，厌氧生物处理法一直处于污泥处理阶段。近年来，由于能源危机及严重的环境污染，厌氧生物处理由于其产物具有能源物质而得到人们的重视，一大批新的厌氧生物处理技术相继诞生，如厌氧生物滤池、厌氧转盘、厌氧流化床法，以及上流式厌氧污泥反应器(UASB)等，厌氧生物处理法正朝着能处理低浓度有机污水，能够脱氮除磷，运行维护简单费用低的方向发展。
三、对本课题将要解决的主要问题及解决问题的思路与方法、拟采用的研究方法(技术路线)或设计(实验)方案进行说明
(一)、原始资料
(1)污水水质
CODmg/L BOD5 mg/L SS mg/L 总磷 mg/L pH 色度
处理前 420 220 200 8 6~9 ≤ 30倍
处理后≤ 60≤ 20≤20≤≤30倍
(2) 基本资料
某城镇现有常住人口90000人。该镇规划期为十年(20xx-2020)，规划期末人口为120000人，生活污水排放定额为250升/人·天，污水处理厂排放标准为_国家标准。 预计规划期末镇区工业污水总量为20000吨/日，同时，要求所有工业废水排放均按照《污水排入城市下水道水质标准》(CJ18-86)执行。现规划建设一城市污水处理厂，设计规模为50000吨/日，污水处理厂排放标准为_国家标准。
气象及水文资料风向：多年主导风向为东南风。水文：降水量多年平均为每年728mm;蒸发量多年平均为每年1200mm;地下水位，地面下6~7m。年平均水温：20℃。厂区地形污水厂选址区域海拔标高在19~21m左右，平均地面标高为20m。平均地面坡度为～ ，地势为西北高，东南低。
(二)本课题研究方案
本项目污水处理的特点：(1)污水以有机污染物为主，BOD/COD=;，可生化性较好，重金属及其他难以生物降解的有毒有害污染物一般不超标;(2)污水中主要污染物指标BOD、COD、SS值都比较低，属普通城市污水;(3)进水中总磷含量高于污水综合排放标准一级标准，需添加除磷工艺。针对以上特点，以及出水要求，现有城镇污水处理技术的特点，以采用生化处理最为经济。由于总磷超标，处理工艺尚用除磷。根据处理规模(5万吨/天)，进出水质﹑出水质要求，污水处理厂既要求有效地去除BOD5，又要求对污水中的COD﹑磷进行适当处理。本课题可供选择的工艺：如A2/O 工艺，A/O 工艺，SBR 及其改良工艺，氧化沟工艺，以及水解好氧工艺，生物滤池工艺等。
四、有关参考文献资料
1.高廷耀，顾国维，周琪主编。水污染控制工程。北京：高等教育出版社，20xx
2.张自杰主编。废水处理理论与设计。北京：中国建筑工业出版社，20xx
3.李圭白 张杰主编。水质工程学。北京：中国建筑工业出版社，20xx
4.金兆丰 余志荣主编。污水处理组合工艺及工程实例。北京：化学工艺出版社，20xx
5.组织编写(第二版)。水处理工程典型设计实例。北京：化学工业出版社，20xx
6.南国英 张志刚主编。给水排水工程专业工艺设计。北京：化学工业出版社，20xx
7.韩洪军主编。污水处理构筑物设计与计算。哈尔滨：哈尔滨工业大学出版社，20xx
8.娄金生主编。水污染治理新工艺与设计。北京：海洋出版社，1999
9.王凯军主编。城市污水生物处理新技术开发与应用。北京。化学工业出版社。20xx.
10.谢新民，张海庆，尹明万主编。水资源评价及可持续利用规划理论与实践。郑州：黄河水利 出版社，20xx
11. 程杰瑢，周琪，蒋文举主编。环境工程设计手册。北京：高等教育出版社，20xx
12. 鞠兴华,王社平,彭党聪.城市污水处理厂设计进水水质确定方法探讨[J].中国给水排水,20xx,23(14):35一44.
13张波.生物脱氮除磷工艺系统的几个重要问题[J].青岛建筑工程学院学报,1998,21(1):16~19
14张波,高廷耀.倒置A2/0工艺的原理与特点研究.中国给水排水[J],20xx,16(7):11~15
15.崔玉川等.城市污水厂处理设施设计计算。北京：化学工业出版社，20xx
