关于公布江苏科技大学2016-2017学年度
学生社团考核结果的通知
各学院/校区团委、学生社团联合会、学生社团：
为进一步规范学生社团管理，推动学生社团健康、有序发展，繁荣校园文化。根据《江苏科技大学学生社团管理条例》相关规定，江苏科技大学学生社团联合会对全校社团开展了2016—2017学年度学生社团学年度考核工作。
经材料审核和答辩评审，授予“航海模型协会”等29个社团“2016-2017学年度五星级社团”称号；授予“扬帆研习社”等7个社团“2016-2017学年度思想理论类优秀社团”称号。
附件1：江苏科技大学2016-2017学年度学生社团星级认定汇总表
附件2：江苏科技大学2016-2017学年度思想理论类社团优秀社团汇总表
共青团江苏科技大学委员会
二○一七年七月三日
附件1：
江苏科技大学2016-2017学年度学生社团星级认定汇总表
附件2：
江苏科技大学2016-2017学年度思想理论类社团优秀社团汇总表
学院 专业 班 学号 姓名 密封线内不要答题 密封线内不要答题 江苏科技大学张家港校区 2013 － 2014 学年第一学期 《工程力学》（64学时） 课程试题（A 卷） 题号 一 二 三 总分 20 21 22 23 得分 一、单项选择题（共10小题，每小题3分，共计30分） 1．图示三铰刚架上作用一力偶矩为m 的力偶，则支座B 的约束反力方向应为（ C ） A. 沿BC 连线 B.沿AB 连线 C.平行于AC 连线 Ｄ.垂直于AC 连线 2、衡量材料塑性变形能力的指标是（ A ） A. 延伸率，截面收缩率 B. 弹性模量，泊松比 C. 延伸率，弹性模量 D. 弹性模量，截面收缩率 3、已知平面图形的形心为C ，面积为A ，对z 轴的惯性矩为 Iz ，则图形对z 1轴的惯性矩是（ D ） A. I z +b 2A B. I z +(a+b)2 A C. I z +(a 2 -b 2 )A D.I z +(b 2 -a 2)A 4、下列表述中正确的是（ D ） A. 主矢和主矩都与简化中心有关 B. 主矢和主矩都与简化中心无关 C. 主矢与简化中心有关，而主矩与简化中心无关 D ．主矢与简化中心无关，而主矩与简化中心有关
5、 图所示阶梯形杆AD 受三个集中力F 作用，设AB 、BC 、CD 段的横截面面积分别为2A 、 3A 、A ，则三段杆的横截面上（ B ）。 A. 轴力相等，应力相等 B. 轴力不等，应力不等 C .轴力不等，应力相等 8、以下关于截面上内力的大小的结论哪一个是正确（ A ）。 A. 与截面的尺寸和形状无关 B. 与截面的尺寸有关，但与截面的形状无关 C. 与截面的尺寸和形状有关 D. 与截面的形状有关，但与截面的尺寸无关 9、电机轴的直径为20mm ，电机功率为5KW ，转速为1000rpm 。当电机满负荷工作时， 轴上的扭矩是（ C ） A. 475.5 m N ? B. 4.755 m N ? C. 47.75m N ? D. 4775m N ? 10、一水平折杆受力如图所示，则AB 杆的变形为（ C ） A. 偏心拉伸 B.纵横弯曲 C.弯扭组合 D.拉弯组合 C
江苏科技大学经济管理学院 《数据库原理与应用》课程考试试卷 班级：姓名：学号： 考试成绩 一、单项选择题（每题1分，共10分） 1．在数据库中，区分不同实体的依据是_____。（） A. 名称 B. 属性 C. 对象 D. 概念 2. 下列叙述正确的为_____。（） A. 主码是一个属性，它能唯一标识一列 B. 主码是一个属性，它能唯一标识一行 C. 主码是一个属性或属性集，它能唯一标识一列 D. 主码是一个属性或属性集，它能唯一标识一行 3. 按指定条件从一个关系中挑选出指定的属性组成一个新关系的运算是（） A.选择 B.投影 C.连接 D.自然连接 4. 一个班级有多个学生，每个学生只能属于一个班级，班级与学生之间是（） A.一对一的联系 B.一对多的联系 C.多对一的联系 D.多对多的联系 5. 一个关系中的主属性（） A.至多一个 B.可多个 C．必须多个 D.可以零个 6. 顾客可到多个商场购物，商场有很多顾客购物，商场与顾客之间的联系方式是（） A.1:1 B,1:n C, m:n D.m:1 7．关系模型有三类完整性约束：实体完整性、参照完整性和用户定义的完整性。定义外键实现的是_____完整性。( ) A. 实体完整性 B. 参照完整性 C. 用户定义的完整性 D. 实体完整性、参照完整性和用户定义的完整性 8．下列不属于并发操作带来的问题是_____。( ) A. 丢失修改 B. 不可重复读 C. 数据冗余 D. 读脏数据 9．假如采用关系数据库系统来实现应用，在数据库设计的_____阶段，需要将E-R模型转换为关系数据模型（） A. 概念设计 B. 物理设计 C. 逻辑设计 D. 运行阶段 10．事务的原子性是指（） A. 事务中包括的所有操作要么都做，要么都不做 B. 事务一旦提交，对数据库的改变是永久的 C. 一个事务内部的操作对并发的其他事务是隔离的
大学专业介绍之计算机专业 一、计算机专业学习方向： 1．掌握电子技术和计算机组成与体系结构的基本原理、分析方法和实验技能，能从事计算机硬件系统开发与设计。 2．掌握程序设计语言、算法与数据结构、操作系统以及软件设计方法和工程的基本理论、基本知识与基本技能，具有较强的程序设计能力,能从事系统软件和大型应用软件的开发与研制。 3．掌握并行处理、分布式系统、网络与通信、多媒体信息处理、计算机安全、图形图象处理以及计算机辅助设计等方面的基本理论、分析方法和工程实践技能，具有计算机应用和开发的能力。 4．掌握计算机科学的基本理论，具有从事计算机科学研究的坚实基础。 二、计算机专业从业方向： 计算机系统结构方面 它适用于从事网络信息安全，多媒体处理，嵌入式技术和计算机网络配置，高性能信息计算等领域的工作。同时有很多私企国企，甚至是跨国公司和国内外知名的大型企业，比如Microsoft。HP，sAP，华为等公司都对该人才的需求量十分巨大。但是近几年行业爱踢行业进入低迷阶段，计算机专业的人数在很多所有专业中的人数是最多的，但是与其他专业相比，社会和用人单位对这类专业的人才需求量也比较大。 计算机软件与理论方面 首先是计算机软件和理论，这一专业可选择的就业方向很多，只要是有关于计算机的工作，他们基本上都可以胜任，而且大多都可以很快的上手，也就是俗话说的可以软硬通吃而且。此方面就业率发展比较平稳，虽然薪酬水平有所下降，但是，还是需要具备一定的职业能力，包括核心技能，行业通用知识，技能和职业专门技能，因为更多的用人单位都更注重高学历和有经验人才的引进。 计算机应用技术与科学系 对于本科、专科毕业的优秀毕业生来说，若他们能够拥有较好的创新能力以及编程开发能力，软件研发能力是十分重要的，这样的人才不妨可以选择以下人才较为稀缺的行业，这样的话，可以大大的避免激烈的就业竞争趋势，而且大多
笔试题（2008常见笔试题） 试题1： 一单词解释(2分/个) 34分 数据数据库关系数据库管理系统授权 取消权限拒绝权限定义变量存储过程 事务触发器继续唯一 主键标识列外键检查 约束 二编写语句(5分/题) 50分（包含笔试题问题和解答答案） 1) 创建一张学生表，包含以下信息，学号，姓名，年龄，性别，家庭住址，联系电话 (学号, 姓名(8), 年龄, 性别(4), 家庭地址(50), 联系电话 ); 2) 修改学生表的结构，添加一列信息，学历 学历(6); 3) 修改学生表的结构，删除一列信息，家庭住址 家庭地址 4) 向学生表添加如下信息： 学号姓名年龄性别联系电话学历 1A22男123456小学 2B21男119中学 3C23男110高中 4D18女114大学 (1,’A’,22,’男’,123456,’小学’) (2,’B’,21,’男’,119,’中学’) (3,’C’,23,’男’,110,’高中’) (4,’D’,18,’女’,114,’大学’) 5) 修改学生表的数据，将电话号码以11开头的学员的学历改为“大专” 学历=’大专’ 联系电话‘11%’ 6) 删除学生表的数据，姓名以C开头，性别为‘男’的记录删除 性别=’男’ 姓名‘’ 7) 查询学生表的数据，将所有年龄小于22岁的，学历为“大专”的，学生的姓名和学号示出来 姓名,学号年龄<22 学历=’大专’ 8) 查询学生表的数据，查询所有信息，列出前25%的记录 25 * 9) 查询出所有学生的姓名，性别，年龄降序排列 姓名,性别年龄 10) 按照性别分组查询所有的平均年龄 (年龄) 性别 三填空(3分/题) 36分（包含笔试题问题和解答答案） 1) 索引分为聚集索引和非聚集索引在一张表上最多可以创建1个聚集索引_索引。但是可以创建_249个非聚集索引索引。
江苏科技大学2012年免试研究生公示来源：江心洲的日志 本部2814名毕业生共保送100人，张家港校区1501名毕业生共保送41人。 拟推荐免试研究生公示 经学生申请、学院推荐，我校2012年拟推荐优秀应届本科毕业生免试攻读硕士学位研究生候选名单已产生，现予以公示，正式推荐名单将从候选名单中确定。对公示名单如有异议，请于10月12日前向学校纪检部门或研究生部书面反映。 反映联系电话：纪检部门84401047 研究生部84402362 附：2012年拟推荐免试研究生候选学生名单 （按姓氏拼音排序） 江苏科技大学研究生部 2011年10月8日 2012年拟推荐免试研究生候选学生名单 （按姓氏拼音排序） 学院类别姓名本科专业 船海学院学院 自定 陈翔船舶与海洋工程 范依澄船舶与海洋工程 顾丽娟船舶与海洋工程 顾思琪船舶与海洋工程 李友竹船舶与海洋工程 孙琳船舶与海洋工程 王月船舶与海洋工程
吴梓鑫船舶与海洋工程严琦船舶与海洋工程杨玲玉船舶与海洋工程张建船舶与海洋工程张克勇船舶与海洋工程张云凤船舶与海洋工程 校选 杭岑船舶与海洋工程胡诚程船舶与海洋工程徐洪彬港口航道与海岸工程 特推马天宇船舶与海洋工程 能动学院学院 自定 贾新旺热能与动力工程 雷洪涛热能与动力工程 李奎热能与动力工程 李雯文轮机工程 任祥翔轮机工程 桑晶晶轮机工程 杨欢欢建筑环境与设备工程
邹晓薇建筑环境与设备工程校选 邓江伟轮机工程 韩龙源热能与动力工程特推赖海清轮机工程 机械学院学院 自定 高健工业设计 李青梅机械设计制造及其自动化 刘琴机械设计制造及其自动化 钱慧洁机械电子工程 苏延浩机械设计制造及其自动化 孙小芹机械电子工程 校选 蒋玲花机械设计制造及其自动化 张丽娟工业设计 学院类别姓名本科专业 电信学院学院 自定 陈荣测控技术与仪器 顾蓉电子信息工程 金银波电子信息科学与技术 雷盼灵自动化
实验一约瑟夫问题 实验学时：3学时 实验类型：设计 实验要求：必修 一、实验目的 熟练掌握线性链表的基础知识； 能够使用C++或其他程序设计语言编程实现线性链表； 能够使用线性链表构造正确而且时间复杂度低的算法解决实际问题； 锻炼程序设计能力。 二、实验内容 M个教徒和N个非教徒在深海上遇险，必须将N个人投入海中，其余的人才能幸免于难，于是想了一个办法：所有人围成一圆圈，从第一个人开始依次报数，每数到第K个人就将他扔入大海，如此循环进行直到仅余M个人为止。设计一个算法，找出这样一个排序：使每次被扔进大海的都是非教徒。并用程序设计语言实现。 三、实验原理、方法和手段 使用循环单链表，将每个人作为一个结点，每个结点的指针域指向下一个人，采用循环链表的遍历对每隔N-1个结点的结点进行标记，直至标记出N个结点为止。该实验亦可用顺序表实现。 四、实验组织运行要求 本实验采用集中授课形式，每个同学独立完成上述实验要求。 五、实验条件 每人一台计算机独立完成实验，有如下条件： （1）硬件：联想高性能PC机； （2）软件：VC++ 6.0、VC++.Net。 六、实验步骤 （1）编写循环链表构造函数Node *Create( )，使链表中每个结点的数据域值为0，并让最后一个结点的指针域指向第一个结点； （2）编写约瑟夫问题函数 Node *Move(Node *H,int n); void Insert(Node *H,int pos,int data); （5）主函数中调用Create，Move和Insert，采用具体数据计算，输出结果。 七、实验程序 // stdafx.h : 标准系统包含文件的包含文件， // 或是经常使用但不常更改的 // 特定于项目的包含文件 // #pragma once #include"targetver.h" #include
1、集合的并、交和差运算 【问题描述】编制一个能演示执行集合的并、交和差运算的程序。 【基本要求】(1) 集合的元素限定为小写字母字符[‘a’..’z’] 。 (2) 演示程序以用户和计算机的对话方式执行。 【实现提示】以链表表示集合。 【选作内容】 (1) 集合的元素判定和子集判定运算。 (2) 求集合的补集。 (3) 集合的混合运算表达式求值。 (4) 集合的元素类型推广到其他类型，甚至任意类型。 2、病人就医管理 【问题描述】病人到医院看病，排队看医生的情况，在病人排队过程中，主要发生两件事：（1）病人到达诊室，将病历本交给护士，排到等待队列中候诊。 （2）护士从等待队列中取出一位病人的病历，该病人进入诊室就诊。 试为医院编制按上述要求进行管理的模拟程序。 【基本要求】程序采用菜单方式，其选项及功能说明如下： （1）排队------输入病人的病历号，加入到病人排队队列中 （2）就诊-------病人排队队列中最前面的病人就诊，并将其从队列中删除。 （3）查看排队------从队首到队尾列出所有的排队病人的病历号。 （4）下班---------退出运行。 3、校园导游咨询 【问题描述】设计一个校园导游程序，为来访的客人提供各种信息查询服务。 【基本要求】 （1）设计学校的校园平面图，所含景点不少于10个，以图中顶点表示校内各景点，存放景点名称、代号、简介等信息；以边表示路径，存放路径长度等相关信息。 （2）为来访客人提供图中任意景点相关信息的查询。 （3）为来访客人提供景点的问路查询，即已知一个景点，查询到某景点之间的一条最短路径及长度。 4、散列表的设计与实现 【问题描述】设计散列表实现电话号码查找系统。 【基本要求】 （1) 设每个记录有下列数据项：用户名、电话号码、地址； （2) 从键盘输入各记录，以用户名（汉语拼音形式）为关键字建立散列表； （3) 采用一定的方法解决冲突； （4) 查找并显示给定电话号码的记录； 【选作内容】 （1) 系统功能的完善； （2) 设计不同的散列函数，比较冲突率； （3) 在散列函数确定的前提下，尝试各种不同类型处理冲突的方法，考察平均查找长度的变化。 5、排序综合
附件 一、软件实习2（数据结构）要求 1. 学生必须仔细阅读软件实习2（数据结构）方案，认真主动完成软件实习2（数据结构）的要求。有问题及时主动通过各种方式与教师联系沟通。 2. 学生要发挥自主学习的能力，充分利用时间，安排好软件实习的时间计划，并在软件实习过程中不断检测自己的计划完成情况，及时向教师汇报。 3. 软件实习2（数据结构）按照教学要求需要两周时间完成，两周中每天至少要上2小时的上机来调试C或C++语言设计的程序。学院安排上机时间学生不得缺席。 二、上交相关内容要求 上交的成果的内容必须由以下三个部分组成，缺一不可。 1. 上交源程序：学生按照课程设计的具体要求所开发的所有源程序（应该放到一个文件夹中）； 2. 上交程序的说明文件：（保存在.txt中）在说明文档中应该写明上交程序所在的目录，上交程序的主程序文件名，如果需要安装，要有程序的安装使用说明； 3. 软件实习2（数据结构）报告，格式如下。 一、封面 课程名：软件实习2 课程号：19ZZ0009b-0 学号： 姓名： 二、目录 如： 1、停车场管理 (1) 2、线索二叉树 (10) 三、内容 1、停车场管理 （一）设计题目 （二）需求分析在该部分中叙述，每个模块的功能要求。 （三）概要设计算法设计说明（包括算法设计思想、算法设计分析、流程图等）、每个程序中使用的存储结构设计说明（如果指定存储结构请写出该存储结构的定义）。 （四）详细设计 各个算法实现的源程序，对每个题目要有相应的源程序（可以是一组源程序，每个功能模块采用不同的函数实现） 源程序要按照写程序的规则来编写。要结构清晰，重点函数的重点变量，重点功能部分要加上清晰的程序注释。 （五）调试分析 测试数据，测试输出的结果，时间复杂度分析，和每个模块设计和调试时存在问题的思考（问题是哪些？问题如何解决？），算法的改进设想。 2、线索二叉树 （一）设计题目 （二）需求分析 …… 四、总结 软件实习2（数据结构）过程的收获、遇到问题、遇到问题解决问题过程的思考、程序调试能力的思考、对数据结构这门课程的思考、在软件实习2（数据结构）过程中对《数据结构》课程的认识等内容。
命题1.8 可数个可数集的并集是可数集. 证明：设可数个可数集分别为012,,, A A A , 其中012{,,,}(0,1,2,)i A a a a i ==. 我们令0i i A A ∞ ==. 把A 的元素按照如下次序排成阵列 00010203101112132021222330313233,,,, ,,,, ,,,, ,,,,a a a a a a a a a a a a a a a a (0.1) 并依据箭头指示的方向顺序对集合A 的元素进行枚举. 不难看出该枚举算法可以保证A 的每个元素在有限步里被枚举到, 由此说明A 是可数的. ■ 命题1.2.2. 实数集R 是不可数集. 证明: 根据上述分析知, 只要证明所有形如(1.2.2)的# 2小数的全体是不可数的. 运用反证法: 如果全体形如(1.1.2)的#2小数是可数的, 则这些数的全体可枚举如下： 00010203 10111213 20212223 303132330.0.0.0.x x x x x x x x x x x x x x x x (0.2) 其中每个ij x 是0或1. 我们利用枚举(2.3)构造一#2小数010.n y y y y =满足: 1i y =如果0ii x =; 0i y =如果1ii x =, 则y 不同于(2.3)所枚举出的全体#2小数中的任意一个, 由此产生矛盾. 此矛盾说明全体#2小数是不能枚举的, 因此它们是不可数的, 所以R 也是不可数的. ■ 例3-1. 证明自然数加法(,)f x y x y =+是原始递归函数. 证明: 首先我们注意到自然数集上的恒等函数I()x x =是原始递归函数，因为11I()P ()x x =. 于是(,)f x y x y =+可以通过递归模式(,0)I()f x x =，(,1)S((,))f x y f x y +=定义. 所以(,)f x y x y =+是原始递归函数. ■ 例3-2. 证明自然数乘法(,)g x y x y =?是原始递归函数. 证明: 我们已经证明了x y +是原始递归的，在此基础上(,)g x y x y =?可以通过递归模式(,0)O()g x x =，(,1)(,)g x y g x y x +=+定义. 所以(,)g x y x y =?是原始递归函数. ■ 命题6.1（可靠性定理）. 每个L 的定理都是L 的重言式. 证明：设A 是L 的定理，则存在L 的证明，即公式序列12,,,n A A A 满足：每个i A
十里长山校区详细规划及建筑设计 方案征集文件 江苏科技大学 2013年4月
目录第一部分方案征集说明 一、项目概况 二、方案征集方式 三、日程安排 四、方案评选 五、费用支付 六、保密程序 七、违约行为规定 八、其它 第二部分设计任务书 一、项目背景 二、设计范围 三、建设规模与资金 四、总体设计要求 五、建筑与配套设施设计内容及要求 六、成果要求 第三部分附件
第二部分设计任务书 一、项目背景 1．学校简介 江苏科技大学是一所省部共建、以工为主、特色鲜明的普通高等学校，学校坐落在风景秀丽的全国历史文化名城——江苏省镇江市，是江苏省重点建设高校，教育部本科教学工作水平评估优秀学校，被教育部批准为卓越工程师教育培养计划高校。学校坚持走特色发展、内涵发展之路，始终坚持为船舶工业、国防工业和蚕业服务，形成了船舶、国防、蚕业三大特色，形成了本、硕、博比较完备的人才培养体系，逐步发展成为一所工、管、农、文、理、经、教等多学科协调发展的有特色的大学。 学校办学历史悠久，源自1933年诞生于黄浦江畔的上海大公职业学校，经历了上海市机电工业学校、上海船舶工业学校等时期，1970年迁至镇江，更名为镇江船舶工业学校,1978年升格为镇江船舶学院，1993年更名为华东船舶工业学院。1999年江苏省江海贸易学校并入，2000年中国农科院蚕业研究所与学校合并。2004年学校更名为江苏科技大学。 学校设有14个学院，56个本科专业（含方向），有2个一级学科博士学位授权点、6个二级学科博士学位授权点、12个一级学科硕士学位授权点、48个二级学科硕士学位授权点；有工程硕士、农业推广硕士、工商管理硕士、会计硕士等4个专业硕士学位培养类型，其中工程硕士有10个培养领域。拥有1个江苏省“国家重点学科培育建设点”、1个江苏省高校优势学科、2个省一级学科重点学科、1个省一级学科重点（培育）学科、4个江苏省“青蓝工程”
江苏科技大学 《数据库应用技术》期中测验试卷 一、选择题（从下列每题的四个选择中选择一个正确的答案。每小题2分，共20分） 1.下述（）不是DBA（数据库管理员）的主要职责。 D A．完整性约束说明B．定义数据库模式 C．数据库安全D．数据库管理系统设计 2.关系数据模型是目前最重要的一种数据模型，它的三个要素分别为（）。B A．实体完整、参照完整、用户定义完整 B．数据结构、关系操作、完整性约束 C．数据增加、数据修改、数据查询 D．外模式、模式、内模式 3.一个公司有若干兼职人员，而每个兼职人员都有可能在多家公司打工，则公司与兼职人员之间具有（）。C A．一对一联系B．一对多联系 C．多对多联系D．多对一联系 4.在关系代数运算中，五种基本运算为（）。 A A．并、差、选择、投影、自然连接B．并、差、交、选择、投影 C．并、差、选择、投影、乘积D．并、差、交、选择、乘积 5.在SQL中，与关系代数中的投影运算对应的子句是（）。B A．WHERE B．SELECT C．FROM D．ORDER BY 6.在关系数据库中，要求基本关系中的所有主属性上不能有空值，其遵守的约束规则是（）。 B A．数据依赖完整性规则B．实体完整性规则 C．用户定义完整性规则D．域完整性规则 7.在关系数据库系统中，为了简化用户的查询操作，而又不增加数据的存储空间，常用的方法是创建（）。 C A．另一个表B．游标C．视图D．索引 8.有一个关系：学生（学号，姓名，系别），规定学号的值域是8个数字组成的字符串，这一规则属于（）。A A．用户自定义完整性约束B．参照完整性约束 C．实体完整性约束D．主键完整性约束 9.为了对表中的各行进行快速访问，应对此表建立（）。D A．约束B．规则 C．视图D．索引 10.数据库管理系统通常提供授权功能来控制不同用户访问数据的权限，这主要是为了实现数据库的（）。D A．可靠性B．一致性C．完整性D．安全性 二、名词解释题(每小题5分，共25分) 1．DBMS数据库管理软件是位于用户和操作系统之间的一层数据管理软件，功能如下： 数据定义功能；数据操纵功能；数据库的运行管理；数据库的建立和维护功能。 2．关系数据库
文档标识及版本号： XX项目标识.IRS V1.0 密级：秘密*5年编制/修订日期：yyyy-mm-dd [规范性]文档名称： XX项目中文名称-接口需求规格说明 接口需求规格说明 《XX项目中文名称》接口需求规格说明 Interface Requirement Specification of XX项目英文名称 编制单位：江苏科技大学新技术研究所 编写：CNISILS项目组XXX 审核：YYY 批准：ZZZ
编写记录 修改记录
目录 1 范围 (1) 1.1标识 (1) 1.2系统概述 (1) 1.3文档概述 (1) 2 引用文档 (1) 3 需求 (2) 3.1接口标识和接口图 (2) 3.2（接口的项目唯一标识符）【原标准中此处编号为3.X，为后续使用方便，故用自动编号】 (2) 3.3需求的优先顺序和关键性【原标准中此处编号为3.Y，为后续使用方便，故用自动编号】 (4) 4 合格性规定 (4) 5 需求可追踪性 (4) 6 注释 (5)
文档模板使用和裁剪说明 使用本文档模板时，首先另存为“<实际文档名>”，然后通过Word的“文档属性”来设置文档属性，包括：文档标识及版本号、密级及保密期限、文档名称、文档类别(中、英文)、项目名称（中、英文）、编制单位、编写人、审批人、批准人等。具体操作方法： Word标题栏的Office按钮菜单→准备→属性→文档属性→高级属性→自定义→在“属性”列表中，选择属性的“名称”，在“取值”框输入要设定的值，然后按“更改”按钮。文档属性设置完成后，选中全部文档内容，执行右键菜单“更新域”操作（文档中的所有文档属性参数引用均被替换为最新设定的取值）→双击任意内容页面的页眉区，选中全部页眉内容，执行右键菜单“更新域”操作（页眉中的所有参数引用均被替换为最新设定的取值）。 本文档模板依据《GJB 438B-2009 军用软件开发文档通用要求》制定，模板中的文档编写说明均引自《GJB 438B-2009 军用软件开发文档通用要求》，并用方括号“【”和“】”括起来，以及使用蓝色文字区分，主要用于指导文档的编写，应在文档编写完成后或正式提交前予以删除（包括删除本说明）。 文档编写者可根据实际需要，对文档内容进行裁剪。按照文档标题顺序与本标准模板规定的标题顺序相同的原则，若裁剪了某章或某条，则在被裁去章条的标题下标识为“本章若无内容，则标识为“本章无内容”，并说明理由。”或“本条若无内容，则标识为“本条无内容”，并说明理由。”，并说明理由。若裁剪的是整章条（包括其所有小条），则仅需在最高层章条的标题下标识为“本章若无内容，则标识为“本章无内容”，并说明理由。”或“本条若无内容，则标识为“本条无内容”，并说明理由。”，并说明理由。
2017江苏科技大学专业排名情况 江苏科技大学优势专业排名 1、船舶与海洋工程推荐指数: 4.8(274人推荐) 2、焊接技术与工程推荐指数: 4.7(181人推荐) 3、港口航道与海岸工程推荐指数: 4.6(153人推荐) 4、轮机工程推荐指数: 4.6(118人推荐) 5、热能与动力工程推荐指数: 4.5(111人推荐) 6、机械设计制造及其自动化推荐指数: 4.6(86人推荐) 7、海洋工程与技术推荐指数: 4.7(60人推荐) 8、电气工程及其自动化推荐指数: 4.7(53人推荐) 9、自动化推荐指数: 4.4(52人推荐) 10、材料成型及控制工程推荐指数: 4.6(45人推荐) 11、经济学推荐指数: 4.0(42人推荐) 12、土木工程推荐指数: 4.7(39人推荐) 13、金属材料工程推荐指数: 4.7(37人推荐) 14、计算机科学与技术推荐指数: 4.6(36人推荐) 15、机械电子工程推荐指数: 4.7(33人推荐) 江苏科技大学专业设置 江苏科技大学是一所省部共建、以工为主、特色鲜明的普通高等学校，学校坐落在风景秀丽的中国历史文化名城江苏省镇江市，是江苏省重点建设高校，教育部本科教学工作水平评估
优秀学校，被教育部批准为卓越工程师教育培养计划高校。2012年江苏省政府与中国船舶工业集团、中国船舶重工集团公司共建江苏科技大学。 截至2014年4月，学校拥有镇江东、南、西3个校区(南校区含独立学院苏州理工学院镇江校区)和张家港(含苏州理工学院)校区，占地2500余亩(约168万平方米)。学校各类在校学生2万余人，其中研究生(含专业学位研究生)2600余人，普通本科生21900余人。学校目标建设成为国内一流船舶特色大学，努力成为中国船舶工业重要的人才培养基地、科技创新平台和学术交流中心。
……………………….…………………………………………………………………………………姓名：杜宗飞专业：计算机科学与技术 学院：数理信息学院学历：本科……………………….…………………………………………………………………………………手机：×××E – mail：×××地址：江苏科技大学
自荐信 尊敬的领导： 您好！今天我怀着对人生事业的追求，怀着激动的心情向您毛遂自荐，希望您在百忙之中给予我片刻的关注。 我是江苏科技大学计算机科学与技术专业的2014届毕业生。江苏科技大学大学四年的熏陶，让我形成了严谨求学的态度、稳重踏实的作风；同时激烈的竞争让我敢于不断挑战自己，形成了积极向上的人生态度和生活理想。 在江苏科技大学四年里，我积极参加各种学科竞赛，并获得过多次奖项。在各占学科竞赛中我养成了求真务实、努力拼搏的精神，并在实践中，加强自己的创新能力和实际操作动手能力。 在江苏科技大学就读期间，刻苦进取，兢兢业业，每个学期成绩能名列前茅。特别是在专业必修课都力求达到90分以上。在平时，自学一些关于本专业相关知识，并在实践中锻炼自己。在工作上，我担任江苏科技大学计算机01班班级班长、学习委员、协会部长等职务，从中锻炼自己的社会工作能力。 我的座右铭是“我相信执着不一定能感动上苍，但坚持一定能创出奇迹”！求学的艰辛磨砺出我坚韧的品质，不断的努力造就我扎实的知识，传统的熏陶塑造我朴实的作风，青春的朝气赋予我满怀的激情。手捧菲薄求职之书，心怀自信诚挚之念，期待贵单位给我一个机会，我会倍加珍惜。 下页是我的个人履历表，期待面谈。希望贵单位能够接纳我，让我有机会成为你们大家庭当中的一员，我将尽我最大的努力为贵单位发挥应有的水平与才能。 此致 敬礼！ 自荐人：××× 2014年11月12日 唯图设计因为专业，所 以精美。为您的求职锦上添花，Word 版欢迎 下载。
论张家港发展 张家港市，一个沿海和长江两大经济开发带交汇处的新兴港口工业城市。张家港位于长江下游南岸，江苏省东南部，北滨长江，与南通、如皋、靖江相望；南近太湖，与无锡、苏州相邻；东连常熟、太仓，距上海98公里；西接江阴、常州，据南京200公里，良好的区位优势带来了许多的发展可能性。 张家港市前身是沙洲县，从86年撤县建市，至06年，在经济方面反映区域经济实力地区生产总值连续翻了“五番半”，集中代表区域经济总体效益的财政收入进入第六次“翻番”，反映区域经济总体发展规模的工业形成“三足鼎立”格局，体现城市发达程度的第三产业迅猛发展，体现人民生活富裕程度的城镇职工工资、农民人均纯收入和居民人均储蓄余额，也随经济高速增长而水涨船高。2010年GDP1610亿元。同时张家港市在全国县城经济百强县（市）中列第三位。 在教育方面同样有着不错的成绩，1984年创办的沙洲工学院，全国第一家县办大学以及江苏科技大学（张家港校区）。有国家级重点中学梁丰高级中学，江苏省四星级中学：张家港塘桥高级中学、沙洲中学、暨阳高级中学、张家港高级中学，其余各高级中学全为省级重点中学，教育软硬件设施极为雄厚。而在科技方面，专利申请大幅增加，种子培育、农作物设施栽培取得新进展除此之外，张家港先后荣获了“国家第一批卫生城市”、“环境保护模范城市”、“全国生态市”、“双拥模范城市”、“中国优秀旅游城市”、“国际花园城市”、“全国文明城市”等90多项国家级、100多项省级荣誉称号。2006年，率先建成首批“国家生态市”，高标准通过“国家节水型城市”考核，荣获“中国人居环境奖”和“中国城市管理进步奖”。2008年获得联合国人居奖。2010年福布斯中国大陆最佳县级城市25强，张家港位列第三名。 为什么张家港能取得这么骄人的成绩？ 经济的发展，首先离不开区位的优势，张家港全境地势平坦，河港纵横，有大小河道6033条，总长4477.3公里，平均每平方公里陆地有河道5.71公里，属北亚热带南部湿润性气候区，气候温和，四季分明，雨水充沛，资源众多，环境优美，是典型的江南"鱼米之乡"。境内天然良港张家港港，不冻不淤，深水贴岸，安全避风。这样的条件为国内海上贸易以及进出口贸易提供了良好的条件，有利于发展开放性经济。 其次，依托张家港港这一内河国际贸易港口，抓住机遇，大力发展如保税区、江苏扬子江国际化学工业园和冶金工业园等园区经济助推工业经济腾飞，同时通过招商引资来促进工业发展，实施规模发展战略提升工业竞争力，形成了诸如东海粮油，沙钢集团的规模化的集团。科技是第一生产力，通过“三百”活动（即：组织百家企业与高等院校、科研院所科技对接；促成百家企业与高等院校、科研院所建立科技合作关系；组织百名专家、教授考察活动），依靠科技创新增强工业竞争力。这点同时也是张家港科技教育发展的重要因素。 重视当地文化历史价值，同样是发展经济，特别是旅游经济的不二途径，境内有"三山一苑"（双山、香山、凤凰山、东渡苑）等主要景区，有诸多历史文化内涵丰富的传说典故。有世纪广场、暨阳湖公园、张家港公园、沙洲公园等游乐场，双山岛旅游度假区建成了全国首家江岛型水上高尔夫球场。还有鉴真东渡启航处古黄泗浦、南沙东山村遗址等名胜古迹。这些山、水、岛、寺、址，构成了张家港市灿烂的历史文化和开发风景旅游资源的优越条件。 同时，在张家港发展过程中，“团结拼搏、负重奋进、自加压力、敢于争先”
操作系统实验 实验一 进程调度 一、 实验目的 多道程序设计中，经常是若干个进程同时处于就绪状态，必须依照某种策略来决定那个进程优先占有处理机。因而引起进程调度。本实验模拟在单处理机情况下的处理机调度问题，加深对进程调度的理解。 二、 实验要求 1． 设计进程调度算法，进程数不定 2． 包含几种调度算法，并加以实现 3． 输出进程的调度过程——进程的状态、链表等。 三、 参考例 1．题目——优先权法、轮转法 简化假设 1） 进程为计算型的（无I/O ） 2） 进程状态：ready 、running 、finish 3） 进程需要的CPU 时间以时间片为单位确定 2．算法描述 1） 优先权法——动态优先权 当前运行进程用完时间片后，其优先权减去一个常数。 2） 轮转法 四、 实验流程图 开始 键盘输入进程数n ，和调度方法的选择 优先权法？ 轮转法 产生n 个进程，对每个进程产生一个PCB ，并用 随机数产生进程的优先权及进程所需的CPU 时间 按优先权大小，把n 个进程拉成一个就绪队列 撤销进程就绪队列为空？ 结束 N Y Y
注意： 1．产生的各种随机数的取值范围加以限制，如所需的CPU 时间限制在1~20之间。 2．进程数n 不要太大通常取4~8个 3．使用动态数据结构 4．独立编程 5．至少三种调度算法 6．若有可能请在图形方式下，将PCB 的调度用图形成动画显示。 五．实验过程： （1）输入：进程流文件（1.txt ），其中存储的是一系列要执行的进程， 每个作业包括四个数据项： 进程名 进程状态(1就绪 2等待 3运行) 所需时间 优先数(0级最高) 进程0 1 50 2 进程1 2 10 4 进程2 1 15 0 进程3 3 28 5 进程4 2 19 1 进程5 3 8 7 输出: 进程执行流等待时间，平均等待时间 本程序包括:FIFO 算法，优先数调度算法，时间片轮转调度算法 产生n 需的时间片数，已占用CPU 的时间片数置为0 按进程产生的先后次序拉成就绪队列链 =0？ 撤销该进程 就绪队列为空吗？ =轮转时间片数？ N Y Y Y 结束 N
江苏科技大学 张家港校区 课程设计说明书 名称服务机器人 2016年6月日至2016年6月日共4 周 专业电气工程及其自动化 班级电气1班 姓名成灏 学号1345533106 指导教师田会峰、赵丽
摘要 现代机器人的诞生标志着人类对于智能机器的梦想开始变成现实，这对人类社会来 说是一场革命。现在，各种类型的机器人正逐渐进入人们的生产和生活，对人类社会产生着日益重大的影响。服务型机器人是作为机器人类型中最为实用而最贴近生活的存在，作为服务型的机器人有室内办公环境服务型机器人、娱乐场所服务型机器人、家用服务型机器人等。今后的发展与应用前景大好、潜力巨大 关键词：服务机器人、类型、应用前景
大纲 摘要 现代机器人的诞生标志着人类对于智能机器的梦想开始变成现实，这对人类社会来 说是一场革命。现在，各种类型的机器人正逐渐进入人们的生产和生活，对人类社会产生着日益重大的影响。服务型机器人是作为机器人类型中最为实用而最贴近生活的存在，作为服务型的机器人有室内办公环境服务型机器人、娱乐场所服务型机器人、家用服务型机器人等。今后的发展与应用前景大好、潜力巨大 关键词：服务机器人、类型、应用前景 一、绪论 课程设计任务背景 机器人由机械部分、传感部分、控制部分三大部分组成．这三大部分可分成驱动系统、机械结构系统、感受系统、机器人一环境交互系统、人机交互系统、控制系统六个子系统现在机器人普遍用于工业自动化领域，如汽车制造，医疗领域，如远程协助机器人，微纳米机器人，军事领域，如单兵机器人，拆弹机器人，小型侦查机器人（也属于无人机吧），美国大狗这样的多用途负重机器人，科研勘探领域，如水下勘探机器人，地震废墟等的用于搜查的机器人，煤矿利用的机器人。如今机器人发展的特点可概括为：纵向上，机器人的种类会越来越多，像进入人体的微型机器人，已成为一个新方向，可以小到像一个米粒 般大小；机器人智能化得到加强，机器人会更加聪明；横向上，应用面越来越宽。由95%的工业应用扩展到更多领域的非工业应用。像做手术、采摘水果、剪枝、巷道掘进、侦查、排雷，还有空间机器人、潜海机器人。机器人应用无限制，只要能想到的，就 可以去创造实现。 课程设计的要求 设计一个机器人系统，该机器人可以是。。。。。，但该机器人应具备的 基本功能为：。。。。。。 具体要求如下：
江苏科技大学 电子信息学院 数据库课程设计 设计题目：仓库管理系统（数据库部分）专业班级 : 通信工程12-1班 学号姓名：汤伟杰 1245711123 指导老师：吴惠英 实验地点：张经管楼A区203
仓库管理系统 1.设计要求： （1）信息要求 一般生产制造型或商品流通型企业需要使用仓库来存储大量的原材料和成品货物， 并且 货物种类繁多。在仓库管理中，商品入库、商品出库、库存查询是最常见的工作。由于这些 业务的繁杂性， 传统的手工记录在应对这些业务时， 常常显得十分笨拙， 而且经常容易出错， 效率也十分低。 因此企业需要通过先进的信息技术来解决这一问题， 为此数据库管理系统就 成了许多企业势在必行的研发课题。 （2）需求分析 ●通过对企业仓库的了解，一般系统的具备以下功能： ●由于操作人员的计算机知识普遍偏低，因此要求系统具有良好 的人机界面； ●方便的货物入库和出库管理； ●能够对联系单位，仓库和货物的资料进行修改； ●在入库操作时，选择相应的货物、单位和仓库进行入库操作； ●能够区分同种货物在不同仓库的存储情况，以免出库时出现错 误；
●根据用户选择的查询条件，提供入库查询，出库查询和库存查 询； ●完善的数据备份和还原功能； ●用户可修改自己的密码； ●管理员可修改用户权限，增加新用户； 2.设计目标： 1.希望通过本数据库达到以下功能 2.系统采用人机对话方式，界面美观又好，信息查询灵活、方便， 数据存储安全可靠。 3.提供多种查询功能，至少包括入库、出库和库存等常用的查询 功能。 4.能够建立完善的基础信息档案，至少包括联系单位、货物和仓 库的档案。 5.设计使用的货物管理功能，至少包括入库和出库管理。 6.多用户输入的数据，进行严格的数据校验。 3.开发及运行环境： 系统开发品台：Microsoft Visual Basic 6.0 开发语言：VC++ 数据库管理系统软件：Microsoft SQL Server 2008 R2 运行平台：Win7 4.数据库描述： 采用SQL server 2008 作为前台数据库
Jiangsu University of Science and Technology Ypnr 7'jir^r and my UtrCHtli iviff Brin^ us to success 1 姓名：______ 专业：______ 学院：数理信息学院学历：本科 机：xxx E -mail：xxx 地址：江苏科技大学
您好！今天我怀着对人生 事业的追求，怀着激动的心情向您毛遂自荐，希望 您在百忙之中给予我片刻的关注。 我是江苏科技大学计算机科学与技术专业的 2014届毕业生。江苏科技大学大 学四年的熏陶，让我形成了严谨求学的态度、稳重踏实的作风；同时激烈的竞争 让我敢于不断挑战自己，形成了积极向上的人生态度和生活理想。 在江苏科技大学四年里，我积极参加各种学科竞赛，并获得过多次奖项。在 各占学科竞赛中我养成了求真务实、努力拼搏的精神，并在实践中，加强自己的 创新能力和实际操作动手能力。 在江苏科技大学就读期间，刻苦进取，兢兢业业，每个学期成绩能名列前茅。 特别是在专业必修课都力求达到 90分以上。在平时，自学一些关于本专业相关知 识，并在实践中锻炼自己。在工作上，我担任江苏科技大学计算机01班班级班长、 学习委员、协会部长等职务，从中锻炼自己的社会工作能力。 我的座右铭是“我相信执着不一定能感动上苍，但坚持一定能创出奇迹” ！求 学的艰辛磨砺出我坚韧的品质，不断的努力造就我扎实的知识，传统的熏陶塑造 我朴实的作风，青春的朝气赋予我满怀的激情。手捧菲薄求职之书，心怀自信诚 挚之念，期待贵单位给我一个机会，我会倍加珍惜。 下页是我的个人履历表，期待面谈。希望贵单位能够接纳我，让我有机会成 为你们大家庭当中的一员，我将尽我最大的努力为贵单位发挥应有的水平与才能。 此致 敬礼！ 自荐人：XXX 2014年11月12日 尊敬的领导: 自荐信
江苏科技大学数理逻辑2020试题、数理逻辑 2020试题 证明：设可数个可数集分别为, 其中、我们令、把的元素 按照如下次序排成阵列并依据箭头指示的方向顺序对集合的元素 进行枚举、不难看出该枚举算法可以保证的每个元素在有限步里被枚举到, 由此说明是可数的、■命题1、2、2、实数集是不可数集、证明: 根据上述分析知, 只要证明所有形如(1、2、2)的小数的全体是不可数的、运用反证法: 如果全体形如(1、1、2)的 小数是可数的, 则这些数的全体可枚举如下：其中每个是或、我们利用枚举(2、3)构造一小数满足: 如果; 如果, 则不同于(2、3)所枚举出的全体小数中的任意一个, 由此产生矛盾、此矛盾说明全体小数是不能枚举的, 因此它们是不可数的, 所以也是不可数的、■例3-1、证明自然数加法是原始递归函数、证明: 首先我们注意到自然数集上的恒等函数是原始递归函数，因为、于是可以通过递归模式，定义、所以是原始递归函数、■例3-2、证明自然数乘法是原始递归函数、证明: 我们已经证明了是原始递 归的，在此基础上可以通过递归模式，定义、所以是原始递归函数、■命题6、1（可靠性定理）、每个的定理都是的重言式、证明：设是的定理，则存在的证明，即公式序列满足：每个或是 的公理，或是由某两个前面的公式和经得到、现在我们施归纳于
公式序列的长度来证明、奠基步：当时，上述序列中只有一个公式，那么必为的公理L1，L2或L3，由例6-2知一定是重言式、归纳推证步：假设命题对小于的证明序列成立、在证明序列中公式是，可分两种情况考虑：情况1、是公理，那么由奠基步的证明即得是重言式、情况2、是由公式经得到，此时不妨设为的形式、由于和是出现在之前的定理，故根据归纳假定知和均为重言式，即对任意赋值，均有和、如果，那么根据赋值的定义就有，此和矛盾、此矛盾说明对任意的赋值必有，故是的重言式、根据归纳法原理命题得证、命题6、2、形式系统是协调的、证明：如果不是协调的，则存在的公式使得并且、由可靠性定理知和都是重言式，即对任意的赋值，和均为，由此而产生矛盾、■命题6、3、的扩充是协调的充要条件为存在一个合式公式不是的定理、证明：如果协调，则对任意公式，和不能同时为的定理，故至少有一公式不是的定理、反之，假定不协调，那么就有公式使得并且、由于是的扩充，那么的定理也是的定理，由例2-2（b）知是的定理, 于是运用推理规则就可得到, 其中为任意公式，这样任意公式都成为了的定理、换句话说，如果有公式不是的定理，那么必是协调的、■在我们通过对的公理集添加公式得到扩充时，必须保证是协调的、下面命题为我们提供了一个途径、命题6、4、设是的协调扩充，是的公式并且不是的定理、则我们把加到的公理中得到的扩充是协调的、证明：设是的公式且不是的定理、现将加入的公理集得到的扩充、如果不协调，则有某公