C2-2

 

<script type="text/javascript"></script> <script type="text/javascript"></script>

我的空间 

主页| 空间装扮

博客| 写新文章

相册| 上传照片

好友| 找新朋友

档案| 留言板

ftai08 0 |  我的消息(0/0) |  我的空间  |  百度空间 |  百度首页 <script type="text/javascript"></script> | 退出 <script src="/ui/scripts/webImTip.js?v=1.4" type="text/javascript"></script> <script type="text/javascript"></script>

<script type="text/javascript"></script>

<script></script>

信息技术

细望东洲桃浪暖，雁峰烟雨实堪夸。朱陵洞内诗千首，青草桥头酒百家。石鼓江山锦锈华，西湖夜放白莲花。花药春溪龙现爪，岳屏雪岭鸟喧哗。

 

主页 博客 相册 | 个人档案 | 好友 | 管理中心

文章列表 写新文章   您正在查看 "冲刺正高" 分类下的文章 UML与类管理；访问控制系统的安全特性；类消息机制测试；有许多论文题目-9 2008-10-20 17:18 论题一、基于对象信息的UML程序框架自生成的研究 　　一、面向对象方法学的理论基础 　　二、面向对象体系结构信息管理的设计意义 　　三、UML建模的图元表示及程序内部表示示例 　　四、根据UML图生成面向对象程序 　　五、一个UML图程序框架自生成的实际例子 　　六、面向对象体系结构信息管理系统的优点 　　七、结论 　　此论题的问题，可以轻松地解决。而且，Rational Rose已经有相应的解决方案。一定要参考Rational Rose，但目前只有书籍介绍，和D版软件，没有序列号。 论题二、　　《对象信息管理过程的研究》 　　一、介绍。 　　1、介绍面向对象体系结构。 　　2、面向对象软件系统的设计流程。面向对象软件系统设计的方法学。 　　3、面向对象体系的建模、设计、实现过程中，涉及哪些信息的简介。 　　二、面向对象系统建造各阶段的信息存储体系结构 　　1、建模阶段。主要是UML图，还有模型元素。 见Joseph Schmuller《UML基础、案例与应用》（第三版）人民邮电出版社。 见Wendy Boggs，Michael　Boggs《UML与Rational Rose 2002　从入门到精通》，电子工业出版社 　　2、系统分析与模式设计。常见有23种设计模式。某博士论文所提出的。 见任胜兵老师《软件工程》。 见寇延?]和定海的《面向对象分析和设计》。 　　3、系统实现。 见朱海滨《面向对象技术---原理与设计》。 　　4、系统测试。 　　5、系统维护。 　　三、面向对象信息管理的过程控制策略 　　四、优化存储技术用于面向对象信息管理的例子 　　五、结束语。   =====================================================================   　　要确定在某个方面如何深入。 　　象 《应用UML图保证软件质量的策略研究》、《应用UML图保证可靠性》、 《应用UML图保证软件工程的某些特性》、《应用UML图进行流程优化的研究》。 　　可在以下方面进行深化： 　　分布式系统实现；自动测试生成；需求测试； 《基于UML建模的分布式系统设计与实现》。《UML模型的自动测试生成》。 　　程序框架自动生成的模型及限制；　　建模与模型论；建模与过程控制； 《UML自动生成程序框架的约束机制研究》。《基于UML建模的模型理论研究》。 　　模型可视化，模型精确化，模型分解化。 《基于UML的建模过程控制》。 　　图形对应数据存储；分层图与状态集合；插入删除修改；状态的关联关系； 《UML的图形存储体制研究》。《UML图的层次体系结构研究》。   　　状态图涉及资源特性；状态涉及过程特性，是分步骤的，需要花时间实现的； 《UML　statechart的状态转换研究》。《基于资源分布的UML状态图研究》。 《基于UML状态图的处理机资源分配的研究》。《基于UML状态图的存储资源分配的研究》。 　　状态是按条件触发转换的；状态的转换涉及环境因素，互作用于环境；   　　UML图应用的限制范围，适用范围； 　　图同构；PETRI网； 　　面向复杂的系统时，会出现怎样的情况。 《面向对象建模的过程分析》。《UML时序图的存储与访问研究》（其它各种图：类图，用例图，包图，配置图；状态图，时序图，协作图，活动图）。   论题《二》、一类通用访问控制系统的安全特性研究 　　一、前言 　　二、通用访问控制系统的模型及评价 　　三、通用访问控制系统的安全性问题 　　四、解决通用访问控制系统的安全性的途径 　　五、结论     论题《三》、类消息机制的测试研究 　　一、面向对象消息机制的逻辑体系，通用的软件测试理论 　　二、面向对象的测试逻辑理论 　　三、对面向对象消息机制实施测试的策略 　　四、一个面向对象系统例子及测试用例 　　五、结论 　　是模拟协议处理机制中的消息机制，还是设计多功能计时器模拟器， 或者是模拟存储体系机制？ 　　或者是模拟CA认证中心，或者是进行防火墙模拟？ 　　或者是MCU模拟器？ 　　多功能计时器的模拟，MCU模拟器。 　　图形退化过程控制；特定模型；复杂多因素系统；CA认证中心（网络离散数据）； 　　图形图像变换；FOURIER TRNASFER；LUCAS的模型；根据目标和限制的过程控制； 　　模型一：解决问题FCS与INTERNET的合并（模拟）； 　　模型二：更抽象级别网络（层合并，层混合）作为一个或几个类； 　　总结协议机制的特点、内涵（格式）：交互性，及时性，可再现性，可中断性，传递性，对称性，完整性，一致性。 　　协议测试自动生成；协议测试逻辑（比较宏观意义上的指令系统）。 ----- 　　类消息机制有哪些？ 　　发出者怎么产生消息？接收者怎么响应消息？接收者怎么处理消息？消息和协议的区别？什么样的消息？消息的分类？消息的形式？VC、VB的消息实现机制？ 　　消息机制关于内存的利用。消息机制关于程序循环的利用。对比软中断的问题。 　　消息机制对比内部协议。消息机制对比外部协议。 　　 ----- 　　一般要某种理论的提升，才能在核心期刊发表。考虑复杂系统、多因素的随机过程情况。如光照，如真实物体的运动，如图形退化的过程（准备引入随机过程，《过程论》）。 　　或者是多因素相互作用的模型理论。要求对模型理论有提升。 　　或者是《信号与系统论》。《信号与系统论》的书籍不少。 　　从实际系统出发，研究《过程论》、《模型论》、《信号与系统论》，当然，还有《控制论》。 　　或者，就直接研究软件测试或系统测试的《过程论》。 　　或者，研究软件体系结构中的诸多问题。可从JAVA为基础的体系出发。 　　要求：有精确的数学表达，精密的数学推导。             类别：冲刺正高 | 编辑 <script></script> | 删除 <script></script> | 评论(0) | 浏览(20) <script></script>   认证的零知识证明 2008-10-15 18:53 认证的智能、零知识证明、信息理论与传输信道、程序实现技术。 　　零知识证明至少有几种情况： １、是中介。国际象棋大师问题。 ２、洞穴密码门中，验证者知道出口的信息，能够判断是否知道洞穴中门的密码。 ３、是挑战应答。 ４、同构。 ５、是“知道什么”。而产生式规则变换是知道变换规则。前述则知道一些数字，或者简单的知识。 ６、需要搭建特定的场景。 ７、转化为另一种知识。另一种知识不一定为难题。 类别：冲刺正高 | 编辑 <script></script> | 删除 <script></script> | 评论(0) | 浏览(24) <script></script>   安全与认证、协议的关键词 2008-10-14 10:51 认证协议、协议验证、协议测试、协议与自动机、协议与状态、协议与语言、动态协议与单向函数、协议规则的自调整、协议自生成、协议抽象、协议的外围模拟、协议的完整性、协议包ＰＡＣＫＡＧＥ(ＡＤＡ、ＶＨＤＬ)机制、协议框架（ＦＲＡＭＥＷＯＲＫ__ＶＨＤＬ）、 逻辑：设计逻辑、验证逻辑、广泛使用的逻辑与扩展的逻辑、公理、体系、混合逻辑、逻辑表示形式、逻辑运算____借鉴ＢＯＯＬ逻辑衍生的复杂体系、借鉴其它学科的形式逻辑、逻辑的必须且只须、安全性逻辑、安全性证明逻辑、 可证明安全、可控制安全、可“观察”安全、可比较安全、可裁剪安全（？）、可度量安全、置信度安全、安全性传播（时间、空间、演化、进化）、各类完整性、完整性估算、完整性评价、安全性的集合理论分析、 攻击者、窃听者、篡改者、认证体制或协议设计假设、假设合理性、面向领域和应用的假设、 被动攻击、主动攻击 攻击评价 加密、解密、秘密共享、密钥管理、密钥分发、密钥更改、组合密钥、加解密顺序、加密算法、破解难度、 认证：鉴别、拥有什么（ＩＤ）、ＩＤ的自生成、ＩＤ的演化、知道什么（约定）、能干什么（任务与分解）、专有过程、零知识证明、“人脸认证”与问题求解、一类认证（拥有产生式规则；随机程序语言片断是否符合语言规则；相对虚拟空间传感器的运动；博弈规则）与单向函数重要性、 －－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－ 可证明安全：采用某种适合于安全性要素的完备的逻辑公理体系 可控制安全，可“观察”安全：至少是，设计付诸实施后的安全，脱离设计应用者的控制。理论上的安全，不能代表实践中的安全。 可比较安全：安全需要纵向的比较，也需要横向的比较，以决定安全策略。 可度量安全、置信度安全：不一定是安全性三要素，还会有更深入的、更精确的要素，这些要素的实现，需要量化。量化需要可信的方法。 可裁剪安全：如操作系统，安全性是分等级，没有必要在不必要的场合使用过高的安全性策略和技术。 安全性传播：体系结构的不同层之间的安全性的关系；过去的安全性系统在打安全性补丁时会怎样； 不同子系统之间的安全性的相互关联。 类别：冲刺正高 | 编辑 <script></script> | 删除 <script></script> | 评论(0) | 浏览(11) <script></script>   冲刺正高-002、模型论-2 2008-06-29 08:08 模型罗列 《数据库》，《分布式数据库》。 认证模型。加密解密模型。安全的几种模型。访问控制模型。防火墙几种模型。 模型总体上来说，是个比较虚拟的概念。 有一些要素：1、问题领域，问题空间，2、目标领域，目标空间，3、领域转换的多因素算法，4、模型模拟过程，5、模型分析、建立和测试、评价过程，6、模型所处的系统平台、软硬件平台，7、抽象的理论和指导思想，8、模型的调整和自适应，9、原问题的逐步逼近，10、图形图像的建模方法，11，模型的表示、图形表示。12、基于计算机进行数值、数据、信号处理。 如何下个定义？   类别：冲刺正高 | 编辑 <script></script> | 删除 <script></script> | 评论(0) | 浏览(31) <script></script>   冲刺正高-001、模型论-1 2008-06-29 08:06   迅速模拟原系统。提取原系统的机制和特征。使新模型系统能够模拟将要发生的事件。 模型是必须且只须的。模型系统必须能够迅速演进，模型的扩充和修改。模型系统和原系统的比较。 模型系统和计算机系统的结合，所要求的计算机系统的需求分析。模型的平台无关性。 模型参数的极值。模型涉及的应用范围限制。模型的系统特性。 模型的移植。模型的数据流特征。数据流的异步特征、并发特征。多个数学方程。多因素多方程的互相影响。 多个模型之间的相关性。模型之间的数据流动。数据流动的方向性。模型数据的历史记录。 借用研究过的经济学模型。 原系统的可模拟性估计。模型的建立时间估计。模型建立的代价估计。模型的重建。模型重建的限制条件。 模型参数的表现形式、模型限制条件的表现形式。模型输入参数的限制。 模型的图形图像实现。模型的表示形式。 模型的精确性。 模型的匹配，模型的一致性。模型的验证。模型验证的各方面参数。 模型是动态的（此处研究的），有过程特征，同时具有计算能力、逻辑能力、变换能力。并且，笼统地说，具有一定的复杂性，需要计算机辅助处理。并且需要分阶段分析和设计实现，具有阶段性。 动态模型，是个崭新的概念。不说是动态的，也就是变化发展的，这是目的，同时是手段，以适应变化的系统环境。 适应性。可适应同一领域的相关问题。 模型的缺陷的系列理论。模型的测试。 模型的内部也可由其它模块，包括计算机功能模块组成。 怎样评价模型的可用性？ 怎样表示抽象的模型？怎样证明某种形式的模型可用计算机表示？适合计算机表示的模型有什么特征？有什么规律？有什么必然性？模型的抽象层次问题？ 人工辅助的、基于知识的模型自生成。 用来构造模型的一般性知识有哪些？有哪些构造计算机模型的知识、途径？有哪些构造模型的通用型数据？ 模型的输入激励数据的类型？ 模型设计用计算机语言。 模型处理的内部结构。 模型的分析和研究，必须从工程应用、教育书籍、科学研究论文、课题项目、社会科学（吧？）几个方面进行采集吧。   类别：冲刺正高 | 编辑 <script></script> | 删除 <script></script> | 评论(0) | 浏览(24) <script></script>   <script></script> [首页]  [上一页]  [1] 2

文章分类 编辑   默认分类(6)   冲刺正高(20)   认证基石(6)   参考参考(25)   图形图像(22)   学院征文(2)   大论文(27)   访问控制(6)   网络控制(1)   认证应用(4)   认证问题(9)   安全半月谈(8)   涉猎硬件(2)     文章存档   <script></script> 2009年06月(2)   <script></script> 2009年05月(10)   <script></script> 2009年03月(19)   <script></script> 2009年02月(36)   <script></script> 2009年01月(27)   <script></script> 2008年12月(12)   <script></script> 2008年11月(3)   <script></script> 2008年10月(26)   <script></script> 2008年06月(3)     最新文章评论     <script></script>    什么是RSS？

<script></script> <script src="/ftai/brwstat?key1=5&key2=f050af77bacfb51bb151b9df_e6e50ad76e7d7bdba044df27_f8290cd1a7ec13d5562c847e_271f7b1ea45dd0f21ad5764e_c4cdbf12bf7e10cbc2fd7801_8f0a97238e5f7241ac34de01_"></script> <script></script>

©2009 Baidu

<script></script> <script src="http://msg.baidu.com/ms?ct=18&cm=3&tn=bmSelfUsrStat&mpn=13227114&un=ftai08"></script> <script></script> <script></script>